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

Routes of conduction passes of all the power-down modes are searched based on the result of the logic verification (S106).例文帳に追加

全てのパワーダウンモードについて、その論理検証の結果に基づいて導通パスの経路探索を行う（Ｓ１０６）。 - 特許庁

A verification simulator 32 performs simulation different from the actual equipment simulation based on the data read from the files 21 and 22.例文帳に追加

検証シミュレータ３２は、ファイル２１，２２から読み込んだデータに基づき、実機とは別のシミュレーションを行う。 - 特許庁

Then, the degree of feeling to the user, etc. are determined based on the verification result and the retrieval result.例文帳に追加

そして、上記の照合結果及び検索結果に基づいて、利用者に対して抱く感情度を決定する。 - 特許庁

A dividing part 13b divides a block obtaining a division result value into two parts of a "verification data calculation part" and a "verification data embedding part" based on a designation of a designating part 13d.例文帳に追加

分割部１３ｂは、指定部１３ｄの指定に基づき、除算結果値の得られたブロックを、「検証データ算出部分」と「検証データ埋め込み部分」の２種類の部分に分割する。 - 特許庁

In a static verification procedure, static verification of the circuit description 51 is executed based on the property 52, and a reachable state number 11 and a reached state number 12 are calculated.例文帳に追加

静的検証手順では、プロパティ５２に基づいて回路記述５１の静的検証を実行するとともに、到達可能な状態数１１と到達した状態数１２とを算出する。 - 特許庁

A verification part 24 calculates an entire processing time by performing the timing verification based on the respective execution orders of the probable events as of the combination selected in such a manner.例文帳に追加

検証部２４は、このように選択された組み合わせについて、あり得る事象の実行順序のそれぞれに基づいて、タイミング検証を行うことで全体の処理時間を計算する。 - 特許庁

To provide an attendance verification system which performs comparison, using biological information, based on the bodies of students for accurately verifying student identifications and perform attendance verification for lectures.例文帳に追加

学生の身体に基づいた生体情報を用いて照合を行うことにより、正確に学生本人を確認して講義の出欠確認を行う出欠確認システムを提供すること。 - 特許庁

The nonvolatile storage device adaptively changes the erasing verification level and the writing verification level based on at least one of the state of the erasing operation and the state of the writing operation.例文帳に追加

不揮発性記憶装置は、消去動作の状況及び書き込み動作の状況の少なくとも一方に基づき消去ベリファイレベル及び書き込みベリファイレベルを適応的に変化させる。 - 特許庁

Verification information generated based on both a verification factor generated as a random number by a server device 3, and transmitted to terminal equipment 2 and a file whose access right is held by a user by the terminal equipment 2 is transmitted to a server device 3, and stored in a verification information storage means 32 of the server device 3 together with the verification factor.例文帳に追加

サーバ装置３で乱数として生成され端末装置２に送信された検証因子と、端末装置２にてユーザがアクセス権を有するファイルの両方に基づいて生成された検証情報が、サーバ装置３に送信され、検証因子と共にサーバ装置３の検証情報格納手段３２に格納される。 - 特許庁

A base line vector candidate calculation part 230 calculates a base line vector primary candidate based on the integer value bias candidate, and a base line vector residue verification part 240 selects a base line vector secondary candidate by double difference residue verification, and a base line vector formed angle verification part 250 selects a base line vector tertiary candidate by formed angle verification.例文帳に追加

基線ベクトル候補算出部２３０は整数値バイアス候補に基づいて基線ベクトル一次候補を算出し、基線ベクトル残差検定部２４０は二重差残差検定により基線ベクトル二次候補を選定し、基線ベクトルなす角検定部２５０はなす角検定により基線ベクトル三次候補を選定する。 - 特許庁

A inter-card verification means verifies inter-card connections based on the component information and the inter-card connection net list information.例文帳に追加

カード間検証手段は、部品情報及びカード間接続ネットリスト情報から、カード間接続検証を実施する。 - 特許庁

PROGRAM VERIFICATION DEVICE TO EXTRACT CHECKING PROGRAM TO VERIFY PERIPHERAL AND SIMILAR FUNCTIONS BASED ON CONFIRMATION AND INSPECTION ITEM FOR MODIFICATION例文帳に追加

修正確認検査項目を元に周辺・類似機能を確認する検査プログラムを抽出するプログラム検査装置 - 特許庁

A person-based album can thus be created without expansion, display and verification of each individual's image file.例文帳に追加

従って、各画像ファイルを個別に展開して表示させて確認しなくても、人物毎のアルバムを作成することができる。 - 特許庁

In this regard, the element decoder 50 generates verification mode information under control of a control circuit 60 and selectors 1208, 1209 and 12010 perform selection based on the verification mode information and switch the operation mode to system verification mode.例文帳に追加

このとき、要素復号器５０は、制御回路６０により検証モード情報を生成し、この検証モード情報に基づいて、セレクタ１２０_8，１２０_9，１２０_10による選択動作を行わせることによって、システムの検証を行うための検証モードへの切り替えを行う。 - 特許庁

To provide a logical verification system which does not need all hierarchy of HDL description included in a circuit of logical verification, also does not need extensive increase of storage capacity based on a large scale circuit, and can reduce time of the logical verification.例文帳に追加

論理検証を行う回路に含まれる全ての階層のＨＤＬ記述を必要とせず、回路の大規模化に伴い大幅な記憶容量の増加を行う必要が無く、かつ、論理検証の時間を減少させることが可能な論理検証システムを提供する。 - 特許庁

The detection circuit detects the assertion verification start, and the computer 100 determines the determination timing of the assertion result, and the decision circuit performs the result decision of the assertion verification, and the computer 100 performs the assertion verification based on the result decision in the determination timing.例文帳に追加

検出回路によってアサーション検証開始を検出し、コンピュータ１００が、アサーション結果の判断タイミングを決定し、判定回路がアサーション検証の結果判定を行い、コンピュータ１００が、判断タイミングにおいて結果判定を元にアサーション検証を行う。 - 特許庁

The processing of comparing a game machine control program verification code 121a calculated based on a normal game machine control program 121c with the control program verification code newly calculated based on the game machine control program 121c stored in the storage means 121 at the time of verification is periodically or repeatedly executed or is executed based on command signals.例文帳に追加

正規の遊技機制御プログラム１２１ｃを基に算出した遊技機制御プログラム検証コード１２１ａと検証時に記憶手段１２１が記憶している遊技機制御プログラム１２１ｃを基に改めて算出した制御プログラム検証コードとを比較する処理を、定期的或いは繰返し実行するようにし、又は、指令信号に基づいて実行するようにした。 - 特許庁

Meanwhile, the terminal 1 replies a key code KR to a server 2, verifies the key codes KS and KR at a verification part 8 and downloads data (Bx) to the user based on verification results.例文帳に追加

一方、端末装置１では、キーコードＫＲをサーバ２に返信し、照合部８においてキーコードＫＳとＫＲの照合を行い、該照合結果に基づいてユーザに対するデータ（Ｂｘ）のダウンロードを行う。 - 特許庁

When the result match, a coverage checker 31 checks that the verification item 11 is satisfied based on the event information from the verification result of the function simulator 17.例文帳に追加

その結果が一致する場合には、カバレッジチェッカー３１によって、機能シミュレータ１７の検証結果にもとづくイベント情報をもとに、検証項目１１が満たされたかどうかをチェックする構成となっている。 - 特許庁

A design change display processing part 42 displays a possible range and a prohibited range of design change based on design change verification information of a design change verification data base 50 when changing the design.例文帳に追加

設計変更表示処理部４２は設計変更時に設計変更検証データベース５０の設計変更検証情報に基づいて設計変更の可能範囲と禁止範囲を表示させる。 - 特許庁

Then, the sheet laminate 10 is cut based on the verification results of the positions of the positioning marks 23 and 25 with the reference data.例文帳に追加

次に、位置決めマーク２３、２５の位置を参照データと照合した結果に基づいてシート積層体１０を切断する。 - 特許庁

A verification device 3 generates distribution data HST by a distribution data generation part 15 based on imaged data IMG of a subject 21.例文帳に追加

照合装置３は、被検者２１の撮像データＩＭＧを基に分布データ生成部１５で分布データＨＳＴを生成する。 - 特許庁

To provide an assembly model for service- or component-based applications that are distributed on a smart device, and to provide a verification algorithm for assembling.例文帳に追加

スマートデバイス上に分散されるサービスまたはコンポーネントベースのアプリケーションのための組み立てモデルと組み立ての検証アルゴリズム。 - 特許庁

In an obstacle detection portion 4, an obstacle is detected and the position is estimated based on a result of the plane assumption verification portion 3.例文帳に追加

障害物検出部４では、平面仮定検証部３の結果に基づいて、障害物を検出しその位置を推定する。 - 特許庁

To unitarily and efficiently prepare data for simulation while using a circuit diagram for verification based on a net list without depending on a tool.例文帳に追加

ツールに依存せず、ネットリストベースの検証用回路図を用いて一元的、かつ、効率的にシミュレーション用データを作成する。 - 特許庁

An execution sequence verification means verifies the execution sequence of the software in the mobile terminal, based on the request signal.例文帳に追加

実行順序検証手段は、要求信号に基づいて、携帯端末におけるソフトウェアの実行順序を検証する。 - 特許庁

The device 1 for creating logic circuit verification data comprises a verification data retrieval part 41 for retrieving and extracting, based on input and output timing designation data 23 designating an input and output timing of the logic circuit, data of verification points from input verification point data 25; and a verification data alignment part 42 for aligning and outputting the data of verification points extracted by the retrieval part 41 while adding information of timing.例文帳に追加

論理回路検証データ生成装置１は、論理回路の入出力のタイミングが指定された入出力タイミング指定データ２３に基づいて、入力された検証ポイントデータ２５から検証ポイントのデータを検索して抽出する検証データ検索部４１と、入出力タイミング指定データ２３に基づいて、検証データ検索部４１により抽出された検証ポイントのデータにタイミングの情報を付加して整列して出力する検証データ整列部４２とを有する。 - 特許庁

In this verification device 20, a domain specialization model (a verification target) generation part 24 generates the domain specialization model (the verification target) wherein a specification of a specific system is described according to a domain specialization model grammar from a UML (Unified Modeling Language) model 13 (the verification target) wherein the specification of the system is described in UML based on a "UML model To domain specialization model mapping rule".例文帳に追加

検証装置２０において、ドメイン特化モデル（検証対象）生成部２４は、「ＵＭＬモデルＴｏドメイン特化モデルマッピングルール」に基づいて、特定のシステムの仕様をＵＭＬで記述したＵＭＬモデル１３（検証対象）から、当該システムの仕様をドメイン特化モデル文法に従って記述したドメイン特化モデル（検証対象）を生成する。 - 特許庁

In a system verification system, a function checker 29 compares a verification result of a test program 23 by an instruction level simulator 25 to a result from a function simulator 17 verifying an HDL 13 based on event information representing the verification item 11 related to operational specification.例文帳に追加

たとえば、テストプログラム２３を命令レベル・シミュレータ２５により検証した結果と、動作仕様に関する検証項目１１をイベントで表現したイベント情報にもとづいて、ＨＤＬ１３を検証した機能シミュレータ１７の結果とを機能チェッカー２９により比較する。 - 特許庁

A content output device outputs, to the media, encrypted content and an encryption key applicable to the use processing of the encrypted content, and a management server generates a media ID verification value, which is a verification value based on the media ID as a media identifier, and transmits the media ID verification value to the media.例文帳に追加

コンテンツ出力装置は、暗号化コンテンツと、暗号化コンテンツの利用処理に適用する暗号鍵を前記メディアに出力し、管理サーバは、メディアの識別子であるメディアＩＤに基づく検証値であるメディアＩＤ検証値を生成してメディアに送信する。 - 特許庁

A verification device comprises: a configuration-file storage part 14 for storing lists 21 and 22 in which a scenario and a parameter used for verification of a semiconductor integrated circuit are described; and a transfer data generating part 35 for generating transfer data 43 used for the verification based on the lists 21 and 22.例文帳に追加

半導体集積回路の検証に用いるシナリオとパラメータとが記述されたリスト２１、２２が格納された設定ファイル記憶部１４と、前記リスト２１、２２に基づき検証に用いる転送データ４３を生成する転送データ生成部３５とを具備している。 - 特許庁

The acoustic characteristics correction server has acoustic verification means verifying whether or not a parameter of the equalizer is set properly based on reproduction sounds obtained by reproduction of a sound source reference data for parameter adjustment by the loudspeaker, and acoustic adjustment means setting the parameter of the equalizer based on the verification result of the parameter verification means.例文帳に追加

音響特性補正サーバは、スピーカーがパラメータ調整用の音源参照データを再生した再生音に基づいて、イコライザのパラメータの設定が適切になされているか否かを検証する音響検証手段と、パラメータ検証手段の検証結果に基づいて、イコライザのパラメータを設定する音響調整手段と、を備える。 - 特許庁

Furthermore, the digital signature verifying apparatus 20 applies NTRU signature verification, in a determined order corresponding to processing in the digital signature generating apparatus, to a verification polynomial that is a second normal polynomial resulting from normalizing a signature polynomial as a signature based on L, or verification polynomials, resulting from sequentially deforming the second normal polynomial based on the r(x).例文帳に追加

また、デジタル署名検証装置２０は、Ｌに基づき、署名である署名多項式を正規化した第２の正規多項式である検証多項式、或いは上述のｒ（ｘ）に基づき第２の正規多項式を順次変形した検証多項式を、デジタル署名生成装置での処理に対応する既定の順序でＮＴＲＵ署名検証する。 - 特許庁

The speed verification part 232 records the speed as an excessive speed when the speed based on the reverse voltage is also abnormal.例文帳に追加

速度検証部２３２は、逆起電圧に基づく速度も異常であった場合には、当該速度を超過速度として記録させる。 - 特許庁

To provide a pattern inspection device for enabling the verification based on an image containing the data related to the shape in the thickness direction of a wiring pattern.例文帳に追加

配線パターンの厚さ方向の形状に関する情報を含む画像に基づくベリファイを可能にするパターン検査装置の提供。 - 特許庁

Then, the net list and rule matching verification means verifies the net list and the connection rule based on the conversion net list and the developed rule.例文帳に追加

そして、ネットリスト・ルール整合検証手段は、変換ネットリストと展開後ルールとに基づいて、ネットリストと接続ルールとの検証を行う。 - 特許庁

Based on the pass signals P1 and P2, the verifying circuit 22 passes verification of data read from the memory blocks where replacement is performed.例文帳に追加

検証回路２２は、パス信号Ｐ１，Ｐ２に基づき、置換が行われているメモリブロックから読み出されたデータの検証をパスする。 - 特許庁

A determination part 204 determines whether the manual operation is conducted or not based on operation information of the terminal during the verification event.例文帳に追加

判定部２０４は、検証イベント中における端末の操作情報に基づいて、手動操作がなされているか否かを判定する。 - 特許庁

A design verification device comprises: a storage section storing logic circuit data and layout data on the layout pattern of the logic circuit data; a factor recognition section recognizing the connection relation to elements based on the layout data; and a comparison verification section.例文帳に追加

設計検証装置は、論理回路データとそのレイアウトパターンに関するレイアウトデータとを記憶した記憶部と、レイアウトデータに基づいて、素子の接続関係を認識する要素認識部と、比較検証部とを備える。 - 特許庁

A pleading required to be verified which contains a verification based on "information and belief" or upon "knowledge, information, and belief" or lacks proper verification, shall be treated as an unsigned pleading.例文帳に追加

宣誓を要する訴答書面は，その宣誓が「情報及び確信」若しくは「認識，情報及び確信」に基づいたものであるとき，又は適正な宣誓を欠くときは，無署名の訴答書面として取り扱われる。 - 特許庁

A verification simulator includes a storage part for storing the information of a model in which the operation of a device is described and a simulation processing part for performing the simulation processing of a verification target device based on the model and test input information.例文帳に追加

検証シミュレータは、デバイスの動作が記述されたモデルの情報を記憶する記憶部と、モデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行うシミュレーション処理部を含む。 - 特許庁

The layout verification apparatus includes: a voltage potential recognition processing section that recognizes the voltage potential of a conductive layer based on graphic data of a layout; and a reference verification section of voltage potential dependence design that verifies the layout of the semiconductor apparatus based on the recognized potential of the conductive layer.例文帳に追加

本発明の一態様は、レイアウトの図形データに基づいて、導電層の電位を認識する電位認識処理部と、認識された前記導電層の電位に基づいて、前記半導体装置のレイアウトを検証する電位依存設計基準検証部とを備えたレイアウト検証装置である。 - 特許庁

To provide a method for evaluating environmental pollutant reduction measures for quantitatively carrying out verification based on initially planned or continuous feedback.例文帳に追加

当初計画あるいは継続的なフィードバックによる検証を定量的に行う、環境汚染物質削減対策の評価方法の提供。 - 特許庁

A mikan diet is based on scientific verification to a certain degree, and it is thought that some effect is expected depending upon the individuals. 例文帳に追加

ミカンダイエットはある程度は科学的な検証にも基いており、人によっては実際に効果を期待出来る場合もあると考えられる。 - Wikipedia日英京都関連文書対訳コーパス

The system reads out the text 46 within the range that can be browsed from the text storage file 7 based on the verification result, and transmits it to the browsing terminal 3b.例文帳に追加

この照合結果に基づいて、テキスト保管ファイル７から閲覧可能範囲のテキスト４６を読出して閲覧端末３ｂへ送信する。 - 特許庁