first-order logicとは 意味・読み方・使い方

For signal wiring formed on each different wiring layer in order to interconnect a first logic element and a second logic element arranged on a semiconductor integrated circuit and interconnected through vias, timing analysis is performed between the first logic element and the second logic element (S02), an a decision is made whether a signal propagation delay time satisfies a specified reference value or not (S03, S04).例文帳に追加

半導体集積回路に配置される第１論理素子と第２論理素子を互いに接続するために、異なる配線層にそれぞれ形成され、且つビアを通して互いに接続する信号配線に対して、前記第１論理素子と前記第２論理素子間のタイミング解析をおこない（Ｓ０２）、信号伝播遅延時間が所定の基準値を満たすか否かを判定する（Ｓ０３、Ｓ０４）。 - 特許庁

Furthermore, if the low-order instruction extension condition exists, a part of a second arithmetic and logic unit component is extended by utilizing a block of the VLIW used for the second arithmetic and logic unit component by the first arithmetic and logic unit component usually.例文帳に追加

更に、下位命令拡張条件が存在するならば、通常は第１の算術論理ユニットコンポーネントによって第２の算術論理ユニットコンポーネントのために利用される超長命令語のブロックを利用することによって、第２の算術論理ユニットコンポーネント部分が拡張される。 - 特許庁

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.例文帳に追加

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

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.例文帳に追加

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

The three-level power conversion device is constituted of a switching leg formed of a series connecting body which is formed of first, second, third, and fourth switching elements, a gate logic 1 which applies prohibition gate processing to a reference gate signal in order to feed gate signals to the switching elements, and an addition protector 2 which adds a protection operation to an output of the gate logic 1.例文帳に追加

第１、第２、第３及び第４のスイッチング素子の直列接続体から成るスイッチングレグと、スイッチング素子のゲート信号を供給するため、基準ゲート信号に禁止ゲート処理を施すゲートロジック１と、ゲートロジック１の出力に保護動作を付加する付加保護手段２とで構成する。 - 特許庁

A logic circuit for executing the XOR operations can be changed over so as to be connected to the first bus and the second bus in order to execute the XOR operation between data in a buffer, and data transferred from one-side memory to the other-side memory.例文帳に追加

ＸＯＲを実行するロジックは、バッファ内のデータと、メモリの一方から他方のメモリに受け渡されるデータとのＸＯＲ演算を行うために、第１バスおよび第２バスに接続するように切り替えることができる。 - 特許庁

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.例文帳に追加

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

Since comparative levels vary, the ratios different from each other are set in order to maintain the specified ratio of the first and second periods of the logic levels of the binarized data according to the boost levels of the regenerative signal and the optimum boost level is determined from the difference between the respective comparative levels and is set in the signal forming section 30.例文帳に追加

再生信号のブーストレベルに応じて、２値化データの論理レベルの第１、第２の期間の比を一定に保つためにコンパレートレベルが異なるため、互いに異なる比を設定し、それぞれのコンパレートレベル差から、最適なブーストレベルを求め、信号生成部３０に設定する。 - 特許庁