同値関係の英語

接着空間レベル処理ブロック１４０は、複数のプログラムの上に同値関係を規定し、同値関係で対応づけられたプログラムモジュールを接着した接着空間を設計する。例文帳に追加

An adhesion space level process block 140 specifies an equivalent relationship over the plurality of programs and designs an adhesion space to which a program module associated with each other by the equivalent relationship adheres. - 特許庁

メタデータ管理装置１２は、サービス要素の意味的メタデータと、その意味的メタデータ同士の同値関係および継承関係のリンクの情報とを、与えられた意味的メタデータを用いて意味的に同値関係にあるサービス要素を検索できるように記憶する。例文帳に追加

In this metadata management system, a metadata management device 12 stores information about a link of succession relation and equivalence relation of the mutual semantic metadata and the semantic metadata of the service element such that the service element having semantically equivalent relation can be retrieved by use of the given semantic metadata. - 特許庁

そして、マッピング装置１４は、導出された同値関係のリンクをメタデータ管理装置１２に追加する。例文帳に追加

The mapping device 14 adds a link of the derived equivalence relation to the metadata management device 12. - 特許庁

セル操作情報が格納されていなければ（Ｓ３０のＮ）、セルを同値関係に基づいて接合し、統合セルを生成する（Ｓ４０）。例文帳に追加

If the cell operation information is not stored (S30: N), cells are jointed to each other based on the same value information, for generating a joint cell (S40). - 特許庁

マッピング装置１４は、メタデータ管理装置１２に記録されている意味的メタデータの、互いにリンクされていない２つの部分を比較対象としてオントロジマッピングを行って同値関係を導出する。例文帳に追加

The mapping device 14 performs ontology mapping by comparing two portions of the semantic metadata recorded in the metadata management device 12 not linked to each other to derive the equivalence relation. - 特許庁

レセプタクル、または、プラグに貼付された無線タグ１００、２００から発信されたレセプタクルとプラグのロケーション情報を分離し、双方が同値か否かで、ケーブル接合関係の正誤を判定する。例文帳に追加

The location information of the receptacle and the plug transmitted from the wireless tags 100, 200 stuck to the receptacle or the plug are separated, and the correctness of cable connection relation is judged based on whether both information is identical or not. - 特許庁

観測ベクトル選択部１はゲートと探知データの相関より目標がどのケートに存在するかを決定し、クラスタ新設統合部２は探知データが既存のクラスタにあるか否か及び同値関係によりクラスタの新設や統合を行う。例文帳に追加

An observation vector selecting part 1 determines which gates the targets are present at by the correlation between the gates and the detection data, and a cluster newly-forming and integrating part 2 newly forms and integrates clusters by the presence or absence of the detection data in existing clusters and equivalence relationship. - 特許庁

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

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