モデル検査器の英語

モデル検査器１１５は、検査規則記憶部１２３を参照し、酩酊定義記述適用後の情報モデルが、検査規則を満たすか否かを判断する。例文帳に追加

A model inspection unit 115 refers to an inspection rule storage part 123, and determines whether or not an inspection rule is satisfied by the information model after applying the instruction definition description. - 特許庁

本システムは、セマンティック規則のセットを使用してＸＭＬデータモデルを妥当性検査するように適合された妥当性検査器をさらに含む。例文帳に追加

The system includes also an adequacy inspecting device adapted to inspect the adequacy of the XML data model, using the set of semantic rule. - 特許庁

状態遷移を動作規則から自動的に合成するとともに、合成された状態遷移が動作シナリオと矛盾しないかどうかのモデル検査器による検証結果を同時に出力し、モデル検査のための検証モデルと検証式はいずれも自動的に生成する。例文帳に追加

To automatically synthesize a state transition from an operation rule, simultaneously output a verification result by a model inspection device about whether the synthesized state transition is not contradictory to an operation scenario, and automatically produce a verification model and a verification formula for model inspection. - 特許庁

この研修センターには、研修設備として、BWR運転シミュレータ（PCシミュレータ）、非破壊検査実習機器、蒸気発生器伝熱管体積検査（ECT）装置、主要機器モデル、電気設備モデル、e-ラーニング（PWR系統の学習）、ループ試験装置（異常事象模擬ロープ、プロセス計装ループ）、状態監視試験設備及び座学用教室が設けられている。例文帳に追加

This center provides the training facilities for BWR operation simulators (PC simulators), non-destructive test training equipment,eddy current test (ECT) equipments for steam generator tubing, 3-Dimentional cut models of NPP major components, electrical and instrumentation training facilities, the e-learning system (to study the PWR system), loop test devices (incident simulating loop and process instrumentation loop), condition monitoring testing facility and classrooms for lecture. - 経済産業省