同値性の英語

数学で,移動律という,同値の概念を規定する性質例文帳に追加

in mathematics, a relation prescribing a concept of the same numerical value, called transitive law発音を聞く  - EDR日英対訳辞書

イベント同値分割機能は、テスト対象のシステムのイベントごとに複数のパラメータ値の直積を計算し、パラメータ値の組合せである組合せインスタンスを複数生成し、組合せインスタンスの共通性からイベントインスタンスをイベント同値クラスに集約する。例文帳に追加

An event equivalence partitioning function calculates a direct product of a plurality of parameter values of a test target system on an event basis, generates a plurality of combined instances indicating the combinations of the parameter values, and from the commonality of the combined instances, aggregates the event instances into an event equivalence class. - 特許庁

好ましくは、ベース基板１３と反り防止基板１４とは、略同値の線膨張率を有し、さらに、ヤング率が１ＧＰａ以上２０ＧＰａ以下の弾性を有する。例文帳に追加

The base substrate 13 and warp prevention substrate 14 preferably have a nearly identical coefficient of linear expansion and an elasticity of which Young's modulus is between 1 GPa and 20 GPa. - 特許庁

入出力部から受け付けたデータを表にし、データ同値性判定部で条件を満たすセルがある場合には、それらのセルを結合して表示する。例文帳に追加

Data received from an input and output part is put into a tabular form, and when presence of cells satisfying a condition is determined in a data equivalence determination part, these cells are connected and displayed. - 特許庁

比較条件データＤ３は、ジョブの比較を行うときの比較条件、すなわち、ジョブごとに複数存在する属性値のうち、どれとどれをどのような優先順位で比較キーにするかと、比較キーのうち少なくとも１つについての同値条件と、を含んでいる。例文帳に追加

Comparison condition data D3 contain comparison conditions at the time of comparing jobs, namely, which of plural attribute values existent for each job are to be defined as compare keys in which priority and equivalent condition concerning at least one of compare keys. - 特許庁

周期性を有する画像データに対して、１周期内の複数画素を用いてユニットを構成し、ユニットを符号化の単位として、同値連続になり易いようにユニットを切り出し、高速かつ高圧縮率が得られる符号化を行う。例文帳に追加

To carry out encoding with high-speed and high compression rate by forming the units using a plurality of pixels belonging to within one period for digital image data having a periodic property and cutting out the units, so that the same values can continue using the units as units of encoding. - 特許庁

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

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. - 特許庁