「automatic verification」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

Automatic verification is performed according to verification conditions (ST9).例文帳に追加

検証条件に基づいて自動検証を行う（ＳＴ９）。 - 特許庁

AUTOMATIC VERIFICATION DEVICE OF SEMICONDUCTOR INTEGRATED CIRCUIT AND VERIFICATION METHOD例文帳に追加

半導体集積回路の自動検証装置、検証方法 - 特許庁

AUTOMATIC VERIFICATION SYSTEM FOR VIDEO PLAYBACK APPARATUS例文帳に追加

映像再生装置の自動検証システム - 特許庁

PRELIMINARY VERIFICATION DEVICE FOR AUTOMATIC TRAIN CONTROL例文帳に追加

自動列車制御の事前検証装置 - 特許庁

TEST CASE VALIDITY AUTOMATIC VERIFICATION PROGRAM AND TEST CASE VALIDITY AUTOMATIC VERIFICATION RESULT DISPLAY METHOD例文帳に追加

テストケース妥当性自動検証プログラムおよびテストケース妥当性自動検証結果表示方法 - 特許庁

AUTOMATIC ILLICIT ACCESS VERIFICATION DEVICE AT POWER SAVING TIME例文帳に追加

省電力時の不正アクセス自動検証装置 - 特許庁

VERIFICATION OF TOW CUT FOR AUTOMATIC FIBER PLACEMENT例文帳に追加

自動的なファイバ配置用のトウ切断の検証 - 特許庁

CIRCUIT FOR AUTOMATIC-VERIFICATION-PROGRAMMING NON- VOLATILE MEMORY例文帳に追加

非揮発性メモリを自動照合プログラムする回路 - 特許庁

AUTOMATIC ANNOTATION INSERTION METHOD OF STATIC VERIFICATION TOOL例文帳に追加

静的検証ツールのアノテーション自動挿入方法 - 特許庁

AUTOMATIC ANALYSIS APPARATUS AND DISPENSATION ACCURACY VERIFICATION METHOD例文帳に追加

自動分析装置および分注精度確認方法 - 特許庁

CROSS-TALK VERIFICATION METHOD AND AUTOMATIC ARRANGEMENT WIRING METHOD例文帳に追加

クロストーク検証方法および自動配置配線方法 - 特許庁

AUTOMATIC SIMULATOR CREATION DEVICE AND SIMULATOR VERIFICATION SYSTEM例文帳に追加

シミュレータ自動生成装置およびシミュレータ検証システム - 特許庁

To provide an automatic verification item generation device for achieving efficient verification without omission.例文帳に追加

効率的で漏れのない検証を実現させる検証項目自動生成装置を提供すること。 - 特許庁

AUTOMATIC ASSERTION GENERATOR AND LOGIC CIRCUIT DESIGN VERIFICATION METHOD例文帳に追加

アサーション自動生成装置および論理回路設計検証方法 - 特許庁

AUTOMATIC GENERATION DEVICE OF PROGRAM FOR VERIFICATION, AND METHOD AND PROGRAM THEREOF例文帳に追加

検証用プログラム自動生成装置、その方法及びプログラム - 特許庁

VERIFICATION PROGRAM AUTOMATIC GENERATING METHOD, AND COMPUTER-READABLE RECORDING MEDIUM ON WHICH VERIFICATION PROGRAM AUTOMATIC GENERATION PROGRAM IS RECORDED例文帳に追加

検証プログラム自動生成方法及び検証プログラム自動生成プログラムを記録したコンピュータ読み取り可能な記録媒体 - 特許庁

Thus, the recognized operation mode is confirmed by an automatic verification or a verification to be executed by an operator.例文帳に追加

自動検証、又は操作者により実行される検証で、認識された操作モードが確認される。 - 特許庁

PROPORTIONALITY VERIFICATION REAGENT VESSEL IN AUTOMATIC ANALYZER AND REAGENT KIT USING IT例文帳に追加

自動分析装置の比例性確認試薬容器及びそれを用いた試薬キット - 特許庁

To provide a test case validity automatic verification program and a test case validity automatic verification result display method which can verify test case validity appropriately.例文帳に追加

適切にテストケース妥当性を検証することができるテストケース妥当性自動検証プログラムおよびテストケース妥当性自動検証結果表示方法を提供する。 - 特許庁

AUTOMATIC LAYOUT APPARATUS, LAYOUT MODEL GENERATION APPARATUS, LAYOUT MODEL VERIFICATION APPARATUS, AND LAYOUT MODEL例文帳に追加

自動レイアウト装置、レイアウトモデル生成装置、レイアウトモデル検証装置及びレイアウトモデル - 特許庁

To reduce a verification cost of an uttering content by using an automatic speech detection technology.例文帳に追加

自動音声検出技術を用いて発話内容の検証コストを削減する。 - 特許庁

CREATION AND VERIFICATION METHOD OF SEQUENCE FILE OF AUTOMATIC ENGINE TESTING DEVICE USING ENGINE MODEL例文帳に追加

エンジンモデルを用いた自動エンジン試験装置のシーケンスファイルの作成および検証方法 - 特許庁

By the automatic printer operation verification software to be provided to the maker of a printer and users of the printer and the storage medium recording it, PDL verification data and an automatic verification program capable of efficiently performing verification of many verification items by necessary minimum tests in a short operation verification time, compared with in the past in development of a new model printer are provided.例文帳に追加

プリンタメーカ及びそのプリンタ利用者に提供する自動プリンタ動作検証ソフトウェア及びそれを記録した記録媒体により、新機種プリンタの開発の際に、必要とする最小のテストにより、従来に比べて少ない動作検証時間で多くの検証項目を効率的に行うことができるＰＤＬ検証データと自動検証プログラムを備える。 - 特許庁

To accurately perform automatic verification even though variations occurs in the operation of a video playback apparatus.例文帳に追加

映像再生装置の動作にばらつきが生じても、正確に自動検証できるようにする。 - 特許庁

The measurement of a measurement object utilizing a short distance wireless communication technique to be the object of verification is executed by an automatic measuring system on the side of the verification applicant.例文帳に追加

検定の対象となる、近距離無線通信技術を利用する測定対象の測定を検定申込者側で自動測定システムにより実行する。 - 特許庁

This verification target function automatic selection device outputs a model capable of obtaining a more effective verification result within a given verification time by reconstructing the model of a verification target by use of a return value of a function or a variable getting any value before executing model inspection.例文帳に追加

モデル検査を実行する前に、任意値をとる変数や関数の返却値を利用して、検証対象のモデルの再構築を行うことにより、与えられた検証時間内により有効な検証結果が得られるモデルを出力する。 - 特許庁

To save power in detecting an error position when automatic annotation insertion is executed by using a static verification tool and an annotation.例文帳に追加

静的検証ツールとアノテーションを用いた実行時エラー発生箇所の検出作業を省力化する。 - 特許庁

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

To provide a composite machine of an automatic marking and verifying system for reading a data mark and marking a printed circuit board whose verification has failed.例文帳に追加

データマークの判読と検証不良のプリント基板を標示する自動標示および検証システムの複合機を提供する。 - 特許庁

To automatically impart a deletion information which is effective to hardware description automatic generation to an analog component which does not require logical verification.例文帳に追加

論理検証に必要ないアナログ部品に対して、ハードウエア記述自動生成に有効な削除情報を自動的に付与する。 - 特許庁

Measurement data obtained by the automatic measuring system are electronically signed and transmitted through a communication network to the verification organization.例文帳に追加

この自動測定システムにより得られた測定データは電子署名を施して通信ネットワーク経由で検定機関宛に送信される。 - 特許庁

This electronic key system includes an automatic locking/unlocking function which makes ID verification performed by mutual communication between a vehicle 2 and the electronic key 1, which makes a door lock automatically opened when the ID verification is switched to an established state, and which makes the door lock automatically locked, conversely, when the ID verification is switched to an unestablished state.例文帳に追加

電子キーシステムは、車両２と電子キー１との相互通信によってＩＤ照合が行われ、ＩＤ照合が成立に切り換わるとドアロックが自動で解錠され、逆にＩＤ照合が成立しなくなるとドアロックが自動で施錠される自動施解錠機能を備える。 - 特許庁

In advance of the automatic generation of the verification property 112, an insufficient part or an ambiguous part of the cause result description data can be checked.例文帳に追加

また、検証プロパティ１１２の自動生成に先立って、原因結果記述データの不足箇所やあいまいな箇所もチェックすることができる。 - 特許庁

To provide a storage medium for automatic printer operation verification software to be provided to printer makers and software users by a providing company of business form print software, and a printer operation verification method by printer control file using it.例文帳に追加

帳票印刷ソフトウェアの提供企業が、プリンタのメーカ及びソフトウェアの利用者に提供する自動プリンタ動作検証ソフトウェアの記録媒体と、それを用いたプリンタ制御ファイルによるプリンタ動作検証方法を提供する。 - 特許庁

The calling side tester collates the telephone number from the incoming side automatic answering terminal with the calling telephone number, and when those telephone numbers are made coincident, the tester judges that the verification is non-defective.例文帳に追加

発側試験器は、着側自動応答端末からの電話番号を発信電話番号と照合し、一致していた時、検証良と判定する。 - 特許庁

To provide an OPC automatic correction system capable of efficiently revising a layout pattern in which an error is detected by verification after OPC correction.例文帳に追加

ＯＰＣ補正後の検証でエラーが検出されたレイアウトパターンの修正を効率的に行うことのできるＯＰＣ自動修正システムを提供する。 - 特許庁

To provide a radio communication medium processing system preventing a readout error, realizing reliable verification in a system using a radio communication medium, such as automatic inspection and automatic settlement of articles.例文帳に追加

本発明は、無線通信媒体を利用した物品の自動検品や自動清算などのシステムにおいて、読取ミスを防止して確実な確認が可能となる無線通信媒体処理システムを提供することを目的とする。 - 特許庁

When an instrumental error measurement start signal is output from an automatic verification device, the electronic type water meter starts metering, and after a prescribed water feeding quantity flows, a stop signal is output from the automatic verification device, and the electronic type water meter stops metering and displays a metered value in the instrumental error measurement operation display mode.例文帳に追加

自動検定装置から器差測定開始信号が出力されると、電子式水道メータは計量を開始し、規定の通水量が流れた後に、自動検定装置から停止信号が出力されて電子式水道メータは計量を停止し、計量値を器差測定作動表示モードで表示する。 - 特許庁

To previously conduct data plane through verification to an alternative route, using a backup LSP and also actualize automatic data plane through verifying a work against generation of faults.例文帳に追加

障害の発生に備えて、事前に、バックアップLSPを用いた迂回経路のデータプレーン疎通確認を行うこと、データプレーン疎通確認作業を自動化することを図る。 - 特許庁

To provide an automatic software verification system for reducing man-hours required to create a regression test program necessary during development as a whole.例文帳に追加

製品全体として開発時に必要とされるリグレッションテストプログラム作成に要する工数を低減できるソフトウェア自動検証システムを提供することを目的とする。 - 特許庁

To provide a net list creation method that facilitates an analysis considering physical information at timing verification, and a layout design method that performs automatic placement considering physical information.例文帳に追加

タイミング検証時に物理情報を考慮した分析を容易にするネットリスト作成方法と、物理情報を考慮した自動配置を行うレイアウト設計方法を提供する。 - 特許庁

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 software development device and a method, allowing automatic generation of firmware, and automatic generation or verification of input/output data in time of simulation from a specification, in a software development, especially software development based on the specification.例文帳に追加

ソフトウェア開発に関し、特に仕様書をベースとしたソフトウェア開発において、該仕様書からシミュレーション時における入出力データの自動生成や検証及びファームウェアの自動生成を可能にするソフトウェア開発装置及び方法を提供する。 - 特許庁

To provide a verification system which performs automatic calculation and displays a breaker to be operated by presetting system conditions and setting values of a protective relay and designating a fault point.例文帳に追加

系統条件や保護継電器の整定値を予め設定しておき、事故点を指定することで自動計算して動作する遮断器を表示するようにした検証システムを得ることである。 - 特許庁

The RC extraction technology file automatic controller is provided with a layout verification part 1, a network name file generation part 2, a technology file control part 3, and an RC extraction part 4.例文帳に追加

本発明のＲＣ抽出用テクノロジファイル自動制御装置は、レイアウト検証部１と、ネット名ファイル生成部２と、テクノロジファイル制御部３と、ＲＣ抽出部４とを備える。 - 特許庁