「operation verification」に関連した英語例文の一覧と使い方(9ページ目) - Weblio英語例文検索

To provide a failure operation verification device capable of accurately verifying an operating condition of each computer in occurrence of every failure.例文帳に追加

障害毎に、当該障害の発生時における各コンピュータの動作状況を的確に検証することができる障害時動作検証装置を提供する。 - 特許庁

To provide a screen transition design support device supporting design work of screen transition including return transition to reduce man-hours necessary for verification of operation.例文帳に追加

戻り遷移を含む画面遷移の設計作業を支援し、動作の検証に要する人手工数を低減することができる画面遷移設計支援装置を提供する。 - 特許庁

When unlocking operation is carried out in a vehicle, an in-vehicle device carries out cabin interior verification for checking whether the portable machine is present in the vehicle (S101).例文帳に追加

車両において施錠操作が行われた際、車載装置は、車室内に携帯機が存在するか否かを確認するため、車室内照合を実行する（Ｓ１０１）。 - 特許庁

To provide an interference verification device and method, a program and a recording medium capable of verifying interference between a tool deviating from an operating position during an operation and components.例文帳に追加

作業中に作業位置を逸脱した工具と部品との干渉を検証することができる干渉検証装置、方法、プログラムおよび記録媒体を提供する。 - 特許庁

To solve such a problem that conditions for an input value for generating a detected fault has to be verified by manual operation when performing dynamic program verification.例文帳に追加

動的プログラム検証を行う場合、検出された障害を発生させるための入力値に対する条件を人手により検証しなければならない。 - 特許庁

The accurate verification of the setting of the cycle is operated from the output result, and production adjustment such as the change of the cycle, the change of the term of delivery and the change of the operation cessation date is executed.例文帳に追加

この出力結果からサイクルの設定等の正確な検証を行って、サイクルの変更、納期変更、操業休止日の変更等の生産調整を行う。 - 特許庁

Vehicle doors 11-15 are unlocked when verification of the ID code is oked and operation of a holder of the portable device 1 relative to the vehicle doors 11-15 is detected and conditions that the vehicle doors 11-15 are unlocked are satisfied.例文帳に追加

そして、ＩＤコードの照合がＯＫとなり、かつ携帯機１の保持者の車両ドア１１〜１５に対する操作を検出して、車両ドア１１〜１５のアンロックを行う条件が成立すると、車両ドア１１〜１５をアンロックする。 - 特許庁

If the predetermined door 6 in an open state is closed, the electronic latching mechanism 10 carries out latching irrespective of the operation of the request switch 6a or the verification of the ID signal.例文帳に追加

開状態にある所定のドア６を閉状態にすると，リクエストスイッチ６ａの操作の有無や，ＩＤ信号の照合一致を前提とすることなく，電磁ラッチ機構１０がラッチされる。 - 特許庁

The hardware verification is executed by supplying a clock for operation from a signal generating device 2, and measuring a signal waveform by a signal observing device 3, and operating the supply of input data and the fetch of output data by a data input/output device 4.例文帳に追加

ハードウェア検証は、信号発生装置２から動作用のクロックを供給し、信号観測装置３で信号波形を観測し、データ入出力装置４で入力データの供給及び出力データの取り込みをおこなう。 - 特許庁

The verification logic part 23 includes a retry function with which, when comparative mismatching between the systems occurs, the arithmetic data is read from the save area in each system and the CPUs 21 and 22 perform arithmetic operation again.例文帳に追加

照合論理部２３は、両系比較不一致が発生した場合に、各系において、退避エリアから演算データを読み出して、ＣＰＵ２１，２２で再演算をさせるリトライ機能を備えている。 - 特許庁

Since the evaluation/verification mode and the normal operation mode are automatically switched, the forgetting of switching or unrequired switching is prevented and mode switching can be easily and surely executed.例文帳に追加

このようにして、評価・検証モードと通常動作モードとのモード切換えを自動的に行うので、切換え忘れや不所望な切換えをなくし、モード切換えを、容易かつ確実に行うことができる。 - 特許庁

Therefore, data for external verification are encodable by using a key specific to a data processing block without causing inconsistency to a result of program operation of the data processing block.例文帳に追加

したがって、データ処理ブロックのプログラム動作の結果に不一致を生じさせずに、データ処理ブロック固有の鍵を用いて外部検証用のデータを符号化することが可能となる。 - 特許庁

To make it possible to easily execute the storage/verification of data loaded from an external device at the activation of a program by software processing any time required during the operation of the program and to easily specify a troubled position therefore.例文帳に追加

起動時に外部装置からローディングしたデータの保持検証を、稼働時にソフトウェア処理でいつでも必要なときに容易に行うことを可能とし、これによって不具合箇所の特定を容易に行うことができる。 - 特許庁

In performing mutual authentication in conformity with the SSL/TLS protocol, a server executes key acquiring processing (RSA deciphering after receiving Client Key Exchange, DH discrete logarithm operation or the like) after successfully executing signature verification processing (Certificate Verify).例文帳に追加

ＳＳＬ／ＴＬＳプロトコルに準拠して相互認証を行う場合に、サーバにおいて、鍵取得処理（ClientKeyExchange受信後のＲＳＡ復号化、ＤＨ離散対数演算など）を署名検証処理（CertificateVerify）が成功した後に行う。 - 特許庁

By means of a circuit simulator 9, results of operation verification carried out by using the respective net lists 4a, 4b, and 4c are stored in first-third characteristic libraries 5-7.例文帳に追加

回路シミュレータ９により、各ネットリスト４ａ，４ｂ，４ｃを用いて、動作検証を行なった結果は、第１〜第３特性ライブラリ５〜７に格納される。 - 特許庁

The circuit operation simulation device receives a pattern of a transfer unit from a regulated interface, and gives it to the logic circuit of verification object at a regulated signal time.例文帳に追加

回路動作摸擬装置は規定のインターフェースにより転送単位のパターンを受け取り、検証対象論理回路へ規定の信号タイミングにより与える。 - 特許庁

To provide a watt-hour meter inspection apparatus capable of performing a series of required inspections on wiring systems associated with the installation of watt-meters, voltage, phase rotation, verification of operation of the watt-hour meters, etc.例文帳に追加

電力量計の設置に伴う配線方式、電圧、相回転および電力量計の動作確認等の一連の必要な検査をすることができる電力量計検査装置を提供する。 - 特許庁

An event generating part 203 generates a verification event in a game device for verifying a player's manual operation from a game progress in the game device.例文帳に追加

イベント発生部２０３は、ゲーム装置におけるゲームの進行状態に基づいて、プレイヤによる手動操作を検証するための検証イベントをゲーム装置にて発生させる。 - 特許庁

A verification part 13 stores log information every time when the instruction sequence is executed, and compares the log information with an expected value stored in an expected value storage part 132 to verify the operation of the branch prediction circuit 21.例文帳に追加

検証部１３が、命令列が実行される毎にログ情報を記憶し、該ログ情報と期待値記憶部１３２に記憶された期待値とを比較して、分岐予測回路２１の動作を検証する。 - 特許庁

In this case, when operation verification is carried out when the source instrument 11 is connected to a sink instrument 12-N, it is unnecessary to connect the sink instrument 12-N.例文帳に追加

この場合、ソース機器１１とシンク機器１２−Ｎとが接続されたときの動作検証を行うときには、シンク機器１２−Ｎを接続する必要はない。 - 特許庁

A delay control circuit 5 generates a delay signal obtained by delaying the input signal 3 by the delay amount measured in the delay amount measuring circuit during operation verification of the D type F/F 10.例文帳に追加

遅延制御回路５は、Ｄ型Ｆ／Ｆ１０の動作検証の際に、入力信号３を遅延量測定回路６が測定した遅延量だけ遅延させた遅延信号を生成する。 - 特許庁

In this constitution, only data corrected in the verification mode are reverified, thus the efficiency of the verifying operation can be improved.例文帳に追加

このような構成では、ベリファイモードで修正したデータのみが再ベリファイされるだけなので、ベリファイ作業効率を顕著に向上させることができる。 - 特許庁

To solve the problem that in recording operation of an optical disk device, write time is increased when a result of verification is unsuccessful and write is retried.例文帳に追加

光ディスク装置が記録動作において、ベリファイの結果が不合格となってライトリトライをすることにより、ライト時間が増大する問題を改善する。 - 特許庁

The delay time of the verification section is calculated by using a delay time MIN table 11 prepared at the minimum temperature in an operation guarantee range at first (step S11).例文帳に追加

まず、検証区間の遅延時間を、動作保証範囲内の最低温度で作成された遅延時間ＭＩＮテーブル１１を用いて計算する（ステップＳ１１）。 - 特許庁

This elevator landing operation panel 100 includes a card reader 110 for card verification, and an UP sensor 120 and a DOWN sensor 130, which are article detection sensors, are provided above and below the card reader 110.例文帳に追加

エレベータ乗場操作盤１００はカード認証用のカードリーダ１１０を備え、カードリーダ１１０の上下に物体検知センサであるＵＰ用センサ１２０とＤＯＷＮ用センサ１３０とを備える。 - 特許庁

To provide a pseudo call for a load test and a result-verifying information generation method, capable of easily generating data for verification and the pseudo call for the load test corresponding to a load after operation.例文帳に追加

稼動後の負荷に相当する負荷テスト用擬似呼及び検証のためのデータを容易に生成可能な負荷テスト用擬似呼・結果検証用情報生成方法を提供する。 - 特許庁

To provide a reference fail bit verification circuit in which a time required for data erasing operation can be shortened and a nonvolatile semiconductor memory device including the same.例文帳に追加

データ消去動作にかかる時間を短縮させうる基準フェイルビット確認回路及びこれを含む不揮発性半導体メモリ装置を提供する。 - 特許庁

The remotely controlled device 11 verifies the use right practice telegram 9, and outputs an operation telegraph 12 to the device 13 only when the verification result is successful.例文帳に追加

遠隔被制御装置１１は、利用権行使電文９を検証して、検証結果が合格の場合のみ制御対象機器１３へ操作電文１２を出力する。 - 特許庁

A driving position ECU 20 is provided with a simultaneous recognition presence/absence determining section 27 for determining whether both a key operation free system 3 and a short range wireless communication system 13 recognize ID verification establishment.例文帳に追加

ドライビングポジションＥＣＵ２０に、キー操作フリーシステム３及び近距離無線通信システム１３がともにＩＤ照合成立を認識しているか否かを判定する同時認識有無判定部２７を設ける。 - 特許庁

Then the delay time of the verification section is calculated by using a delay time MIN table 12 prepared at the maximum temperature in the operation guarantee range (step S12).例文帳に追加

次いで、検証区間の遅延時間を、動作保証範囲内の最高温度で作成された遅延時間ＭＩＮテーブル１２を用いて計算する（ステップＳ１２）。 - 特許庁

To provide a program provision device and an onboard information system, suitable for operation verification and provision of a program developed for the onboard information system.例文帳に追加

車載情報システム用に開発されたプログラムの動作検証および提供に好適なプログラム提供装置およびそれによって提供されたプログラムを実行する車載情報システムを提供する。 - 特許庁

When the driving position setting device 19 starts operation, the simultaneous recognition presence/absence determining section 27 confirms whether the two systems 3, 13 recognize the ID verification establishment.例文帳に追加

ドライビングポジション設定装置１９が動作を開始するとき、同時認識有無判定部２７は２つのシステム３，１３がともにＩＤ照合成立を認識しているか否かを確認する。 - 特許庁

The delay added RTL generation section 2 generates an RTL description which is added a delay value calculated by the delay operation part 1 to the verification object circuit (RTL) 5.例文帳に追加

遅延付加ＲＴＬ生成部２は、遅延演算部１により演算された遅延値を検証対象回路（ＲＴＬ）５に対して付加したＲＴＬ記述を生成する。 - 特許庁

For example, a gate voltage is set lower than that at the time of the ordinary writing operation and a reference voltage at the time of verification is also set low as the writing voltage conditions at the time of performing the writing before the erasing.例文帳に追加

例えば、消去前書き込みを行う際の書き込み電圧条件として、通常書き込み動作時よりもゲート電圧が低く設定され、ベリファイ時のリファレンス電圧も低く設定される。 - 特許庁

More specifically, more than 250 cases are supported in the whole country for the projects managed by legal councils such as bus operation for verification purposes, purchase of busses and other vehicles, and projects to increase users. 例文帳に追加

具体的には、バス等の実証運行・バス車両等の購入、利用促進事業など、法定協議会が行う事業に対して、全国２５０件以上の支援を行っている。 - 経済産業省

Verification by analysis, surveillance, testing and inspection is carried out to ensure that the physical state and the operation of a nuclear installation continue to be in accordance with its design, applicable national safety requirements, and operational limits and conditions.例文帳に追加

その評価は、十分に記録され、その後運転経験及び重要かつ新たな安全に関する情報に照らして更新され、並びに規制機間の権限の下で検討を受ける。 - 経済産業省

Further, while reducing the photomask verification time by reducing the number of times of executing the optical intensity simulation, those having no effect on the manufacture of a semiconductor or on the operation or the characteristics of a semiconductor element are excluded from the photomask verification result so that only the fatal defect is detected, thereby reducing the time and the number of processes related to the correction of layout pattern CAD data.例文帳に追加

加えて、光強度シミュレーションの実施回数を削減することにより、フォトマスク検証時間の削減を図りつつ、さらに半導体製造上、あるいは半導体素子の動作、特性に影響を与えないものをフォトマスク検証結果から除外し致命的な欠陥のみを検出し、レイアウトパターンＣＡＤデータの修正に関わる時間、工数を削減する。 - 特許庁

This logic verification method includes: easily starting an operation without carrying out any complicated setting by using a master model or a slave model instead of an actually connected logic circuit; controlling a transfer start time and generating complicated circumstances which are not intended by a designer; and carrying out verification under conditions which are severer than a real manner.例文帳に追加

実際に接続される論理回路の代わりにマスタモデルやスレーブモデルを使用する事で、複雑な設定無しで容易に動作を開始させる事が出来、しかも、転送開始時間を制御する事も可能となり、設計者が意図していなかった複雑な状況を発生させ、実際以上に厳しい条件での検証を行うことを可能とした。 - 特許庁

In a multiple signature system, multiple-signature information and multiple-verification key information are generated by an arithmetic operation in a GDH group by using the product of signature keys between adjacent nodes, and adjacency between nodes is represented by public multiple-signature information and public multiple-verification key information that are the summation of the generated information.例文帳に追加

多重署名システムは、隣接するノード間で署名鍵の積を用いてＧＤＨグループ内の演算により多重署名情報及び多重検証鍵情報を生成し、これらの総和である公開多重署名情報及び公開多重検証鍵情報により、ノード間の隣接関係を表現する。 - 特許庁

As a number-of-interface deciding device 100, information obtaining units 112-118 for respectively obtaining data directional characteristic information J2, clock information J4 showing frequency of the system operation, verification mode information J6 per each verification item, and access information J8 related to the time when inputting/outputting the data are provided.例文帳に追加

インタフェース数決定装置１００ として、データ方向性情報Ｊ２、システム動作の周波数を示すクロック情報Ｊ４、検証項目ごとの検証モード情報Ｊ６、データの入出力が行なわれている時刻に関するアクセス情報Ｊ８をそれそれ取得する情報取得部１１２ 〜１１８ を設ける。 - 特許庁

To provide a logic verification support system for detecting an inconsistent place in a state transition graph of a logic circuit, for storing a temporarily detected inconsistent place in a storage area, and for clearly describing even a state which should not exist as an operation as a verification item.例文帳に追加

本発明の課題は、論理回路の状態遷移グラフ中で矛盾する箇所を検出するのみでなく、一旦検出された矛盾箇所を記憶領域に保持しておき、動作として存在してはならない状態についても検証項目として明示的に記述する論理検証支援システムを提供すことを目的とする。 - 特許庁

To provide an LSI design verification apparatus and an LSI design verification method that can verify whether results of an operation simulation in an upstream design phase and results of an RTL simulation in a downstream design phase match in an intermediate stage of the RTL simulation or in an LSI circuit to be verified.例文帳に追加

設計上位の動作シミュレーションの結果と設計下位のＲＴＬシミュレーションの結果とが、ＲＴＬシミュレーションの途中の段階において、又は検証対象となるＬＳＩの回路内部において整合しているかどうかを検証し得るＬＳＩ設計検証装置及びＬＳＩ設計検証方法を提供することにある。 - 特許庁

To provide a preliminary verification device for an automatic train control, capable of creating a signal from an ATC ground system corresponding to an actual running condition, and capable of checking operation of the software of an ATC mounted device under a condition corresponding to the actual running in the preliminary verification of the automatic train control for managing the safety of the train running.例文帳に追加

列車走行の安全を司る自動列車制御の事前検証において、実際の走行状況に相当するＡＴＣ地上システムからの信号を作成でき、ＡＴＣ車載装置のソフトウェアの動作チェックを実際の走行に相当する条件下で行うことが可能な自動列車制御の事前検証装置を提供する。 - 特許庁

To provide a verification support device and a computer program, which detects a recognition object section which is an object of recognition processing, in an output data for outputting a moving image and/or sound, and which supports correctness verification operation for a speech recognition result on a unit data which is an output data for each detected recognition object section.例文帳に追加

動画及び／又は音を出力させる出力データに対し、認識処理の対象となる認識対象区間を検出し、検出した認識対象区間毎の出力データである単位データについてなされた認識処理の結果に対する正誤確認作業を支援する確認支援装置及びコンピュータプログラムを提供する。 - 特許庁

A programmable circuit 102 is mounted with a design object circuit 106 operating synchronously with the clock signal of an operation clock creation circuit 104, and includes assertion trigger detection circuits (detection circuits) 107_1 to 107_n for creating the signal of assertion verification start to the circuit 106 and assertion condition decision type circuit (decision circuit) 108_1 to 108_n for performing the result decision of the assertion verification.例文帳に追加

プログラマブル回路１０２は、動作クロック生成回路１０４のクロック信号に同期して動作する設計対象回路１０６を実装し、回路１０６に対するアサーション検証開始の信号を生成するアサーショントリガ検出回路（検出回路）１０７＿１〜１０７＿ｎおよびアサーション検証の結果判定を行うアサーション条件判定式回路（判定回路）１０８＿１〜１０８＿ｎを含む。 - 特許庁