Checking and verifyingとは 意味・読み方・使い方

To provide a method for checking the correctness of scheduling of a circuit and a method for verifying the schedule of the circuit corresponding to the behavior description of the circuit.例文帳に追加

回路のスケジューリングの正当性をチェックする方法、及び、回路のビヘイビア記述に対して回路のスケジュールを検証する方法を実現する。 - 特許庁

The reference signal and/or the characteristic value can be further used for measuring signal offset of the NOx signal (NOx), checking diagnoses (52 and 54) to be executed during the operation of the internal combustion engine (10), and/or verifying validity.例文帳に追加

基準信号および／または特性値は更に、ＮＯｘ信号（ＮＯｘ）の信号オフセットの測定のためにおよび／または内燃機関（１０）の運転中に実施される診断（５２、５４）のチェックおよび／または妥当性確認のために利用できる。 - 特許庁

To provide a bonding condition checking system adopting general sensors as sensor portions without using special displacement sensors for taking in all changes of output signals from the sensor portions and verifying these to thereby reduce the cost and size thereof and assure high reliability.例文帳に追加

専用の特殊な変位センサを使わずに一般的なセンサを採用したセンサ部とし、各センサ部の出力信号の変化を全て取り込み、それを検証することにより、低価格化、小形化を図り、しかも高信頼性を確保することができる接着状態照査装置を提供する。 - 特許庁

To provide a plant monitoring device and an updating method thereof capable of reliably transferring various data in order to a second plant monitoring section by checking and verifying the processing functions of the second plant monitoring section while operating a first plant monitoring section.例文帳に追加

第１プラント監視部を運用しながら、段階的に各種データを第２プラント監視部へ移行し、その際、第２プラント監視部の処理機能を確認、検証することにより、確実で信頼性のプラント監視装置及び更新方法を提供する。 - 特許庁

In an information collecting processing portion 12 in a vehicle safety checking device, a safety standard value indicating the safety of a vehicle, a date of manufacture, and history information of maintenance are stored in a safety information holding table 16 collecting a present value of each item necessary for verifying safety check from each connected equipment 1 to 7.例文帳に追加

情報収集処理部１２は、接続された各機器１〜７から安全確認の検証を行うために必要な各項目の現状値を収集する安全情報保持テーブル１６には、車両の安全性を示す安全基準値、製造年月日、保守点検の履歴情報が記憶される。 - 特許庁

When the RAM-BIST control circuit 101 is operated by a logical simulator 100 to check the RAM macro 102, an address, input data, chip enable and write enable generated by the RAM-BIST control circuit 101 are monitored by an RAM checking area verifying circuit 104, and the decision of an area to be checked is executed in every test sequence.例文帳に追加

論理シミュレータ１００によりＲＡＭ−ＢＩＳＴ制御回路１０１を動作させてＲＡＭマクロ１０２を検査する際に、ＲＡＭ−ＢＩＳＴ制御回路１０１が生成するアドレス、入力データ、チップイネーブル、ライトイネーブルをＲＡＭ検査領域検証回路１０４でモニタし、テストシーケンスごとに被検査領域の判定を行う。 - 特許庁

A logical simulation system is provided with a logical simulator for verifying the computer system, a simulation information file outputted in the middle of executing the simulation by the logical simulator and a check program checking the simulation information file in the middle of executing the simulation and judging the halfway state of the simulation.例文帳に追加

コンピュータシステムを検証するための論理シミュレータと、前記論理シミュレータによりシミュレーション実行途中に出力されるシミュレーション情報ファイルと、前記シミュレーション情報ファイルをシミュレーション実行途中にチェックしてシミュレーションの途中状態を判定するチェックプログラムとを備える。 - 特許庁