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

In the device 1 for checking confidentiality, a first observation equivalence decision part 31 decides whether or not execution results show observation equivalence on the basis of the execution result S(d) of the computer system 10 based on one set of data d and an execution result S'(d) of a second computer system 15 based on d' which satisfies equivalence relation with d.例文帳に追加

秘匿性検査装置１において、第１の観測等価性判定部３１は、１組のデータｄに基づくコンピュータシステム１０の実行結果Ｓ（ｄ）と、ｄと同値関係を満たすｄ’に基づく第２のコンピュータシステム１５の実行結果Ｓ’（ｄ）とに基づいて実行結果が観測等価となるか否かを判定する。 - 特許庁

The ladder program optimization apparatus has a program optimization means 402 for replacing device expressions of a plurality of circuit blocks having the same instruction configuration and device type and different device numbers in a program analyzed by a ladder program analysis means 401, to handle them as a common subexpression, and checking whether the replaced program has a reduced program size and maintains processing equivalence even after the replacement.例文帳に追加

ラダープログラム解析手段４０１で解析されたプログラム中の命令の構成とデバイスの種類が等しく、かつ、デバイスの番号が異なる複数の回路ブロックに対して、デバイスの表現を置き換えることによって共通部分式として扱うと共に、置き換えられたプログラムに対して、プログラムサイズが削減され、かつ置き換えの前後で処理の等価性が保たれているかを確認するプログラム最適化手段４０２を設ける。 - 特許庁