equivalence operationとは 意味・読み方・使い方

The operation composition device performs an operation composition while performing optimization so that an intermediate point is equivalent only under a condition that the intermediate point is referred to and stores the condition to refer the intermediate point in an equivalence condition storing part 111.例文帳に追加

動作合成装置は、中間点が、参照される条件下でのみ等価となるような最適化をしつつ、動作合成を行い、中間点が参照される条件を、等価条件記憶部１１１に記憶する。 - 特許庁

At the time of performing an arithmetic operation by an electronic circuit in an equivalence testing device, an Euler method and a backward Euler method are alternately performed in each micro-sampling time interval ΔT.例文帳に追加

等価試験装置内の電子回路による演算を、微小サンプリング時間間隔ΔT毎にオイラー法と後退オイラー法を交互に行うものである。 - 特許庁

Corresponding information 13 designates the information for a set of descriptions to be compared for equivalence in the operation level description 12 described in a program language and the RT level description 14 operation-composed therefrom and the information for a set of signals to be compared for equivalent for each set.例文帳に追加

対応情報１３は、プログラム言語で記述された動作レベル記述１２及びそれから動作合成したＲＴレベル記述１４における等価性の比較の対象とする記述の組の情報とこの組毎の等価性の比較の対象となる信号の組の情報とを指定する。 - 特許庁

When communication for timing is carried out, an operation state management part 302 of the device A receives timing demands from the devices B, C, D in the same operation mode, and timing equivalence is carried out between the devices, while the devices E, F in the test mode receive no timing demand from the devices A, B, C, D.例文帳に追加

装置Ａの運転状態管理部３０２は、時刻合わせの通信を行う場合、同じ運転モードの装置Ｂ，Ｃ，Ｄからは時刻合わせの要求を受け付けて、装置間での時刻等価が行われるが、試験モードの装置Ｅ，Ｆは装置Ａ，Ｂ，Ｃ，Ｄからの時刻合わせ要求は受け付けない。 - 特許庁

The searching means S_K acquires the data structure of the graph stored in a graph storage area 140 of a storage device 50, specifies the application place that can apply the conversion operation K, and transmits information of the application place to an equivalence decision means J_K.例文帳に追加

探索手段Ｓ_Ｋは、記憶装置５０のグラフ保持領域１４０に格納されているグラフのデータ構造を取得し、変換操作Ｋを適用可能な適用箇所を特定し、適用箇所の情報を等価性判定手段Ｊ_Ｋへ送信する。 - 特許庁

To improve the arithmetic precision of an equivalent operation in a control amplifier equivalence testing device for performing the same action as that at the time of driving an induction motor by a VVVF inverter, and for outputting an equivalent electric signal to the control amplifier of a VVVF inverter.例文帳に追加

ＶＶＶＦインバータで誘導電動機を駆動する時と同じ作用を行い、等価な電気信号をＶＶＶＦインバータの制御アンプに出力する制御アンプ等価試験装置において、等価動作の演算精度を向上させる事にある。 - 特許庁

An RTL source code 11 and operation specification description template in a template library 13 are converted into internal representation by an internal representation converter 21, the converted internal representation is compared by a comparator/selector 22 to determine the logical equivalence, the operation specification description template is selected and outputted according to the determination.例文帳に追加

内部表現変換器２１でＲＴＬソースコード１１とテンプレートライブラリ１３内の動作仕様記述テンプレートとを内部表現に変換し、変換した内部表現を比較器・選択器２２で比較して論理的等価性を判定し、その判定に応じて当該動作仕様記述テンプレートを選択して出力する。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁