「事前検証」に関連した英語例文の一覧と使い方(2ページ目)

Weblio 辞書 > 英和辞典・和英辞典 > 事前検証の意味・解説 > 事前検証に関連した英語例文

>"事前検証"に完全一致する例文のみを検索する

セーフサーチ：オン

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

意味

例文 (65件)

事前検証の部分一致の例文一覧と使い方

該当件数 : 65件

＜前へ 1 2

例文

事前検証済みタグキャッシュ設計を有するコンピュータアーキテクチャにおいて、整数ロードデータアクセス時間に影響を与えることなく記憶および無効化動作を可能にし、旧キャッシュラインを無効化する論理回路を付加する。例文帳に追加

To add a logic circuit for invalidating an old cache line by realizing a storage and invalidation operation without affecting any integral load data access time in a computer architecture having preliminarily verified tag cache design. - 特許庁

画像測定に最適の照明条件を設定し、オフラインティーチングを可能にし、またその条件での照明のシミュレーションをすることにより、設定した条件を事前に検証して、自動測定の信頼性を高められる方法を提供する。例文帳に追加

To provide a method capable of offline teaching by setting optimum illuminating conditions for image measurement and of improving reliability in automatic measurement by simulating illumination under the conditions and previously verifying the set conditions. - 特許庁

多彩なバリエーションにて大量に市場供給されるロッド製品の中から、希望する製品を簡単に検索、抽出することができ、各種のシミュレーションを行えるように構成することにより、性能等を事前に確認、検証することができるロッド製品用電子カタログを提供する。例文帳に追加

To provide an electronic catalog for rod product, with which performance can previously be confirmed and verified by easily retrieving and extracting a desired product from a large amount of rod products supplied to a market by various variations and performing various simulations. - 特許庁

小型で可搬性に優れており、製造工程等から排出される温排水の熱エネルギーを回収するとともに、高温水を生成して製造工程の熱消費設備に供給するシステムの事前評価ができる熱エネルギー回収システムの性能検証装置を提供する。例文帳に追加

To provide a performance verification device of a thermal energy recovery system that is small in size, provides excellent portability, and can evaluate in advance a system that recovers the thermal energy of warm discharging water discharged from a manufacturing process and the like and generates high temperature water for supply to a heat consumption facility in the manufacturing process. - 特許庁

例文

プロセスにクリティカルとなるパターンを事前に抽出し、修正することにより、マスクの再作成をすることなく、短期間にＯＰＣ又はプロセス近接効果補正（ＰＰＣ）後にプロセススペックを達成できるマスクデータの検証、補正方法等を提供する。例文帳に追加

To provide validation and correction methods and the like for mask data for ensuring the process spec after OPC or process proximity effect correction (PPC) in a short period of time without reproducing a mask by preliminarily extracting a pattern which becomes critical in a process and correcting the pattern. - 特許庁

例文

実際に異物混入サンプルを作成することなく、異物の混入の有無を判定するためのパラメータを最適に設定することができ、また、経時的に物性等が変化する物品についても事前の調整・検証を容易に行えるようにする。例文帳に追加

To set most suitably parameters for determining the existence of interminglement of foreign matter without preparing actually a foreign matter intermingled sample, and to easily perform prior adjustment/verification, even for an article whose physical properties or the like change with the passage of time. - 特許庁

レイアウト後の回路セルのユーティリティ（セル占有度）およびネット周辺のユーティリティ（配線密度）に応じて、回路セルおよびネットのディレイにマージンを付加してタイミング検証を行うことにより、再レイアウト後に発生するタイミング違反を事前に予測することを特徴とする。例文帳に追加

The deviation from the timing generated after the re-layout is previously predicted by adding a margin to the delay in the circuit cell and a net for timing verification in accordance with the utility (the degree of cell occupation) of the circuit cell and the utility (wiring density) of the surroundings of the net after the layout. - 特許庁

あらかじめ形式的に記述しておいた仕様（例えばメソッドの事前条件と事後条件）に従って、プログラムの動作状況を自動的に検証、プログラム内の誤っている箇所の範囲、つまり挙動を確認すべき範囲を自動的に絞り込む。例文帳に追加

In the information processor, an operation situation of the program is automatically verified according to previously formally described specifications (e.g. a precondition and a postcondition of a method), and a range of an erroneous position inside the program, that is, a range wherein behavior should be confirmed is automatically narrowed down. - 特許庁

一般消費者はこれら状況を想定して事前に検証器を入手しているとは考えづらく、設けてある真偽判定手段を活用することなく、商品を購入する場合に利用可能な潜像表示方法、真偽判定方法および情報伝達方法を提供する。例文帳に追加

To provide a latent image displaying method, a truth determination method, and an information transmitting method, which can be used in purchasing an article without putting an installed truth determination means to use, while a general consumer is scarcely considered to have procured a verifier in advance on the assumption that those situations might occur. - 特許庁

例文

可視化した電解液の流れから、電極の支持方向を検証する他、電極の形状を事前判断できるようにした、袋穴加工電解加工装置および袋穴加工電解加工装置の電極形状最適化方法を提供する。例文帳に追加

To provide an electrochemical machining device for a hole with a bottom capable of verifying a support direction of an electrode on the basis of a flow of a visualized electrolyte and determining the profile of the electrode in advance, and a method for optimizing an electrode profile for the electrochemical machining device for a hole with a bottom. - 特許庁

例文

認識ソフトウェアを配置することにより、自動検証を受けた被検者のバイオメトリック・データが、ある種の事前設定されたバイオメトリック特性と突き合わせて解釈され、それによって、偽の、または生命のない身体的特徴が検出される。例文帳に追加

The deployment of a recognition software allows an interpretation of automatically verified biometric data of a subject against preset biometric characteristics of a kind, and falsified or dead characteristics of the body are detected. - 特許庁

ＳＭＩがアサートされて認証コードが実行され、認証コードがＩＮＴ１０ｈ命令でビデオＢＩＯＳを呼び出す際には事前にハッシュ値を計算して正当性を検証し、さらに、ベクタ・テーブルをあらかじめ取得しておいたベクタ・アドレスで書き換えて、ＩＮＴ１０ｈ命令で正当なビデオＢＩＯＳが実行されるようにする。例文帳に追加

When an authentication code calls the video BIOS by INT10h instruction, the hash value is computed in advance to verify the validity, and a vector table is rewritten with the preliminarily obtained vector address, whereby the valid video BIOS can be executed by the INT10h instruction. - 特許庁

基地局（ＢＳ）が送信アンテナダイバーシチを使用する広帯域ＣＤＭＡ通信システムの使用方法において、ＢＳの２つのアンテナから受信されたチャネルのチャネル推定をユーザ装置（ＵＥ）が行うことを可能にし、ＢＳに対してＵＥにより事前に信号伝送されたアンテナ位相変移をＵＥが検証可能にする。例文帳に追加

To enable channel inferring of a channel received from two antennas of a base station(BS) by a user equipment(UE) and to enable a verification of UE of an antenna phase transfer signal previously transmitted to BS by UE, in a method for using a wide band CDMA communication system in which the BS uses a transmitting antenna diversity. - 特許庁

ネットワークを経由するなどして、外部からソフトウェアを入力して動作させる場合に、ソフトウェアの提供側がすべてのソフトウェアの組合せを事前に動作検証することができない状況であっても、ソフトウェアの組合せによって動作しないというリスクをより好適に軽減することが可能な情報処理装置を提供することを目的とする。例文帳に追加

To provide an information processor capable of more suitably reducing a risk that the information processor does not operate depending on the combination of software, even when a software provider cannot verify operation of all the combinations of software in advance of inputting software from outside to operate via a network or the like. - 特許庁

例文

検証対象プログラムをカバレッジ基準に応じて整形しトラップを挿入するトラップ挿入手段と、前記トラップ挿入手段によってトラップを挿入されたトラップ入りプログラムについてソフトウェアモデル検査を行い、前記カバレッジ基準を満たすパス情報を出力するソフトウェアモデル検査手段と、前記パス情報から前記カバレッジ基準を満たす事前条件を生成する事前条件生成手段と、を備えたことを特徴とする。例文帳に追加

An information processing device comprises: trap insertion means that shapes a verification target program according to a coverage criterion and inserts a trap; software model inspection means that performs software model inspection on the trap-inserted program to which the trap is inserted by the trap insertion means, and outputs path information satisfying the coverage criterion; and precondition generation means that generates a precondition satisfying the coverage criterion from the path information. - 特許庁