一階論理の英語

又一般ユーザ側からアクセスするためのデータベースの、一般アクセス用階層構造を定義する表示階層定義情報に基づいて、この、一般ユーザからのアクセス時に、前記論理的データベースにアクセスするようにしている。例文帳に追加

Also, on the basis of display hierarchy definition information for defining the hierarchical structure for general access of the database for access from the general user side, the logical database is accessed at access time from the general user. - 特許庁

論理グループノードに加えられた変更は、論理グループノード機能を実行し得るその階層のより低いレベルのすべての物理ノードに自動的に伝播され、それによって各物理ノードの構成ごとに、一度に１つの物理ノードを手動で更新する必要がなくなる。例文帳に追加

Modifications made to a logical group node are automatically propagated to all physical nodes, at lower levels of hierarchy therein, that might run the logical group node function, eliminating the need to manually update each physical node's configuration one physical node at a time. - 特許庁

モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。例文帳に追加

A model parameter determination program causes a computer to execute; a procedure of substituting variables, variables calculated by initial values of model parameters, and differential values of variables into a first-order predicate logic formula; a procedures of substituting assumes values into unknown parameters in the logic formula after the substitution; and a procedure of applying a quantifier elimination method to the formula to obtain the error upper limit value. - 特許庁

論理セル４０３に加えて電源配線４０１とグランド配線４０２との間に１つ又は複数の容量セル４０６，４０７，４０８を備えた基本セル４００等を予め論理合成セルライブラリとして用意しておき、論理合成又はレイアウト設計段階で挿入することで、一律のＤＲＯＰ抑制効果を得る。例文帳に追加

A basic cell 400 equipped with one or more capacity cells 406, 407 and 408 are preliminarily prepared as a logic synthesis cell library between power source wiring 401 and ground wiring 402 in addition to a logical cell 403, and inserted in logical synthesis or layout design steps so that uniform DROP suppression effects can be obtained. - 特許庁

ディレクトリ階層を「論理的に」(シンボリックリングを無視して) 移動することも、物理的に (シンボリックリンクをたどって) 移動することも可能である。 また、階層中の移動の道筋を指示すること・余分なものを取り除くこと・階層の一部を再びたどることが可能である。例文帳に追加

It is possible to walk the hierarchy "logically" (ignoring symbolic links) or physically (visiting symbolic links), order the walk of the hierarchy or prune and/or re-visit portions of the hierarchy.発音を聞く  - JM

ポリシ記述は、ポリシ記述に定義された操作の直後に管理対象システムの状態について成立すべき条件を一階述語論理により記述した事後条件を含む。例文帳に追加

The policy description includes a postcondition wherein a condition to be satisfied about a state of the management target system just after operation defined by the policy description is described by first-order predicate logic. - 特許庁

不変条件記憶部１６１は、管理対象システムの状態について常に成立する条件を一階述語論理により記述した不変条件を記憶する。例文帳に追加

An invariant condition storage part 161 stores an invariant condition wherein a condition always satisfied about the state of the management target system is described by the first-order predicate logic. - 特許庁

一致した場合、加入者階梯交換機１４ａは、この発信を論理電話番号Ｔ２による発信として宛先電話番号Ｘ１（移動端末１２ｂ）に着信させる。例文帳に追加

If there is a match, the exchange 14a allows this transmission to arrive at the destination telephone number X1 (mobile terminal 12b) as transmission due to the logic telephone number T2. - 特許庁