Substitution (logic)とは 意味・読み方・使い方

A substitution sentence erasure section 24 substitutes and erases the substitution sentence in the logic circuit converted into the RTL format.例文帳に追加

代入文削除部２４はＲＴＬ形式に変換した論理回路中の代入文を置換して削除する。 - 特許庁

A substitution logic block selects cache lines for substitution out of the cache lines of one of the two groups in an allocation cycle.例文帳に追加

置換論理ブロックは、割り振りサイクル中に２群のうち１群のキャッシュ・ラインからキャッシュ・ラインを置換のために選択的に選ぶ。 - 特許庁

The protection logic part outputs a substitution data to an operation of the data processor, i.e. an alternative operation in case of the protection violation.例文帳に追加

保護違反の場合のデータ処理装置の動作つまり代替動作に対して、保護論理部は、置換データを出力する。 - 特許庁

To provide an actuator control system B which can easily rewrite control logic and control constants of a control program of an electronic control unit into control logic and control constants of a substitutional control program modified by a substitution controller.例文帳に追加

電子制御ユニットの制御プログラムの、制御ロジックや制御定数を、代行制御装置で変更した、代行制御プログラムの制御ロジックや制御定数に容易に書き替えることができるアクチュエータ制御システムＢの提供。 - 特許庁

The arithmetic and logic units 7-1 to 7-n calculate a row spare line or a column spare line used for substitution of row or column, in which a defective memory cell exists, by different systems from addresses of all defective memory cells and addresses of all row and column spare lines.例文帳に追加

演算回路７−１〜７−ｎは、全ての不良のメモリセルのアドレス，全ての行・列スペアラインのアドレスから、不良のメモリセルのある行または列の代わりとして使用する行スペアラインまたは列スペアラインを、それぞれ異なる方式で算出する。 - 特許庁

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

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