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

SIGNATURE GENERATION METHOD AND SIGNATURE VERIFICATION METHOD, SIGNATURE-GENERATING APPARATUS AND SIGNATURE- VERIFYING APPARATUS, SIGNATURE GENERATION PROGRAM AND SIGNATURE VERIFICATION PROGRAM, AND STORAGE MEDIUM FOR STORING SIGNATURE GENERATION PROGRAM AND STORAGE MEDIUM FOR STORING SIGNATURE VERIFICATION PROGRAM例文帳に追加

署名生成方法及び署名検証方法及び署名生成装置及び署名検証装置及び署名生成プログラム及び署名検証プログラム及び署名生成プログラムを格納した記憶媒体及び署名検証プログラムを格納した記憶媒体 - 特許庁

ORIGINAL NATURE WARRANT SYSTEM, ELECTRONIC SIGNATURE GENERATION INTERFACE METHOD, ORIGINAL NATURE VERIFICATION INTERFACE METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

原本性保証システム、電子署名生成インタフェース方法、原本性検証インタフェース方法、プログラム、及び記録媒体 - 特許庁

To provide a design rule check verification device and a design rule check verification method capable of verifying easily a DRC rule, and capable of confirming easily whether a verification result is correctly executed or not.例文帳に追加

ＤＲＣルールの検証を容易に行うことができるとともに、その検証結果が正しく実施されているか否かも容易に確認することができるデザインルールチェック検証装置およびデザインルールチェック検証方法を提供する。 - 特許庁

To provide a method for accurately preventing verification omission in a short time by providing a means for extracting a function block or a part constituting the function block and generating a coverage file for determining the addition and verification of verification items.例文帳に追加

機能ブロックや機能ブロックを構成する部品を抽出し、検証項目の追加および検証されたことを判断するカバレッジファイルを生成する手段を提供し、短期間で高精度な検証もれ防止手法を提供する。 - 特許庁

To provide a logical verification method and a verification system of an integrated circuit by which generation of input data for causing an event intended by a verifier is facilitated, more efficient and higher quality logical verification is realized.例文帳に追加

検証者が意図した事象を引き起こすための入力データの生成を容易にし、論理検証の効率化及び高品質化を実現することができる集積回路の論理検証方法及び検証システムを提供する。 - 特許庁

To provide a control method for an image forming device, which enables a user to execute verification processing without being aware of communication methods and verification methods when accessing a server device on a network, which performs access control by verification.例文帳に追加

認証によりアクセス制御を行うネットワーク上のサーバ装置にアクセスする際に、ユーザが通信方式や認証方式を意識しなくても認証処理を実行することができる画像形成装置の制御方法を提供すること。 - 特許庁

To provide a behavioral synthesis verification auxiliary device, a behavioral synthesis verification auxiliary method, a program and a recording medium for preventing bugs, setting error or omission.例文帳に追加

バグの混入や設定ミス、設定漏れの発生を抑えた動作合成検証補助装置、動作合成検証補助方法、プログラム、及び記録媒体を提供する。 - 特許庁

To provide a verification device and a verification method capable of shortening the time for verifying the whole tape while precisely positioning the devices such as TCP or COT.例文帳に追加

ＴＣＰやＣＯＴ等のデバイスを精度良く位置決めし、且つ、テープ全体で検証に係る時間を短縮することができる検証装置及び検証方法を提供する。 - 特許庁

To provide a method of verifying asynchronous circuit which simplifies the verification operation in a function simulation on a language level and also shortens its verification TAT.例文帳に追加

言語レベルの機能シミュレーションにおける検証作業を単純化させるとともに、その検証ＴＡＴを短縮化させた非同期回路の検証方法を提供する。 - 特許庁

To provide a user verification technology which is easily operated by a user and has a high effect on unauthorized use prevention regarding a user verification method in an ATM system.例文帳に追加

ＡＴＭシステムにおける利用者認証方法に関し，利用者の操作が簡単で，不正利用防止の効果が高い利用者認証技術を提供する。 - 特許庁

To provide a code verification processing method capable of efficiently providing information by using a display identifier, a code verification processing program and a code display program.例文帳に追加

表示識別子を用いて効率的に情報を提供することができるコード照合処理方法、コード照合処理プログラム及びコード表示プログラムを提供する。 - 特許庁

To provide a logic simulator for preventing an overlapping transaction that has been already issued from being issued again, and to provide a logic circuit verification method and a logic circuit verification program.例文帳に追加

既に発行された重複するトランザクションの再発行を防ぐ論理シミュレータ、論理回路検証方法及び論理回路検証プログラムを提供すること。 - 特許庁

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.例文帳に追加

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

To provide a semiconductor device verification method and circuit verification apparatus in which an ESD protective circuit can be accurately or speedily or easily verified.例文帳に追加

ＥＳＤ保護回路を正確に、または迅速に、もしくは容易に検証することが可能な半導体装置の検証方法および回路検証装置を提供する。 - 特許庁

PARAMETER EXTRACTION METHOD, CIRCUIT OPERATION VERIFICATION METHOD, AND STORAGE MEDIUM HAVING PROGRAM FOR EXECUTING PARAMETER EXTRACTION METHOD例文帳に追加

パラメータ抽出方法及び回路動作検証方法並びに当該パラメータ抽出方法を実行させるためのプログラムを具備する記憶媒体 - 特許庁

VOLTAGE FLUCTUATION ESTIMATING METHOD AND APPARATUS, SEMICONDUCTOR DEVICE OPERATION VERIFICATION APPARATUS, SEMICONDUCTOR DEVICE DESIGNING METHOD, PRINTED CIRCUIT BOARD DESIGNING METHOD, AND PROGRAM THEREFOR例文帳に追加

電圧変動量見積方法、装置、半導体装置動作検証装置、半導体装置設計方法、プリント板設計方法、及びプログラム - 特許庁

IMAGE VERIFICATION DEVICE, IMAGE EMBEDDING DEVICE, IMAGE DETECTION DEVICE, IMAGE EMBEDDING METHOD, IMAGE DETECTION METHOD, COMPUTER PROGRAM, AND PRINTED MATTER MANUFACTURING METHOD例文帳に追加

画像検証装置，画像埋め込み装置，画像検出装置，画像埋め込み方法，画像検出方法，コンピュータプログラム，および印刷物製造方法 - 特許庁

DOCUMENT-PRODUCING DEVICE FOR ALTERATION VERIFICATION, DOCUMENT ALTERATION VERIFYING DEVICE, DOCUMENT-PRODUCING METHOD FOR ALTERATION VERIFICATION, DOCUMENT ALTERATION VERIFYING METHOD, DOCUMENT-PRODUCING PROGRAM FOR ALTERATION VERIFICATION, DOCUMENT ALTERATION VERIFYING PROGRAM, RECORDING MEDIUM STORED WITH THE DOCUMENT-PRODUCING PROGRAM FOR ALTERATION VERIFICATION, AND RECORDING MEDIUM STORED WITH THE DOCUMENT ALTERATION VERIFYING PROGRAM例文帳に追加

改ざん検証用文書作成装置、文書改ざん検証装置、改ざん検証用文書作成方法、文書改ざん検証方法、改ざん検証用文書作成プログラム、文書改ざん検証プログラム、改ざん検証用文書作成プログラムを格納した記録媒体および文書改ざん検証プログラムを格納した記録媒体 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

To provide a cross verification device capable of performing cross verification among a natural language specification, a C-language program and a GUI-base control logic in development of control software for engine, and capable of consequently enhancing the efficiency of the development; a cross verification method; and a cross verification program.例文帳に追加

エンジンの制御ソフトウェアの開発において自然言語の仕様とＣ言語のプログラムとＧＵＩベースの制御ロジックとのクロス検証を行うことができ、結果的に当該開発の効率を高めることができるクロス検証装置、クロス検証方法およびクロス検証プログラムを提供することを課題とする。 - 特許庁

This method is constituted by providing an ISA specification analyzing step S101 to analyze the ISA specification of a processor, a creating step S103 of verification program generation data to create data to be required for generation of the verification program and a verification program generating step S105 to generate the verification program by using the data.例文帳に追加

プロセッサの命令セットアーキテクチャ（ＩＳＡ）仕様を解析するＩＳＡ仕様解析ステップ（Ｓ１０１）と、検証プログラムの生成に必要なデータを作成する検証プログラム生成データ作成ステップ（Ｓ１０３）と、前記データを用いて検証プログラムを生成する検証プログラム生成ステップ（Ｓ１０５）とを有する。 - 特許庁

To provide a text generation method for enabling a user to easily understand the meaning content of a verification property by automatically generating a natural language text expressing the meaning content of the verification property even when no explanation is written in a verification property, and the user does not have any knowledge of verification property description language.例文帳に追加

検証プロパティの意味内容を説明する自然言語文章を自動生成できるようにし、検証プロパティに説明が併記されておらず、また、検証プロパティ記述言語の知識がなくても、検証プロパティの意味内容を容易に理解することができるようにした文章生成方法を提供する。 - 特許庁

To allow even a person not having knowledge related to a preparation method for function verification description to prepare the function verification description regardless of a language used for the preparation of the function verification description or a design of a finite state machine when preparing the function verification description for verifying a simulation result of the finite state machine.例文帳に追加

有限状態マシンのシミュレーション結果を検証するための機能検証記述を作成するにあたり、有限状態マシンの設計や機能検証記述の作成に使用する言語に係わらず、機能検証記述の作成方法に関する知識が無い者であっても、機能検証記述を作成できるようにする。 - 特許庁

METHOD AND DEVICE FOR IDENTITY VERIFICATION, MEDIUM- PREPARING DEVICE, PROCESSING METHOD FOR MEDIUM SAVING INFORMATION, PROGRAM AND RECORDING MEDIUM例文帳に追加

本人確認方法、本人確認装置、媒体作成装置、媒体、媒体保管情報の処理方法、プログラム及び記録媒体 - 特許庁

SYSTEM FOR PROVING THAT PLAIN SENTENCE OF CIPHERED SENTENCE IS PROVIDED WITHIN SECTION, PREPARATION METHOD FOR PROVING SENTENCE AND VERIFICATION METHOD BY THE PROVING SENTENCE例文帳に追加

暗号文の平文が区間内にあることの証明システムと証明文の作成方法、その証明文による検証方法 - 特許庁

VERIFICATION DATA EMBEDDING METHOD, PROGRAM AND APPARATUS, IMAGE TAMPERING DETECTING METHOD, PROGRAM, APPARATUS, AND IMAGE TAMPERING DETECTION SYSTEM例文帳に追加

検証データ埋め込み方法、プログラムおよび装置、画像改竄検出方法、プログラムおよび装置ならびに画像改竄検出システム - 特許庁

METHOD FOR VERIFYING TOP-DOWN ITEM AND MANAGING HISTORY OF VERIFICATION, INFORMATION PROCESSOR, PROGRAM AND RECORDING MEDIUM例文帳に追加

トップダウン案件検証および検証履歴管理方法、情報処理装置、プログラム、および記録媒体 - 特許庁

DEVICE AND METHOD FOR COMPARATIVELY VERIFYING PATTERN AND MEDIUM WITH RECORDED COMPARATIVE PATTERN VERIFICATION PROGRAM例文帳に追加

パターン比較検証装置、パターン比較検証方法およびパターン比較検証プログラムを記録した媒体 - 特許庁

DESIGN ADEQUACY VERIFICATION DEVICE, METHOD AND PROGRAM REGARDING SUPPRESSION OF POWER SOURCE NOISE OF ELECTRONIC CIRCUIT BOARD例文帳に追加

電子回路基板の電源雑音抑制に関する設計妥当性検証装置と方法並びにプログラム - 特許庁

DEVICE AND METHOD FOR CONNECTION VERIFICATION OF LSI AND MEDIUM WITH CONNECTION VERIFYING PROGRAM RECORDED THEREON例文帳に追加

ＬＳＩの接続検証装置、接続検証方法および接続検証プログラムを記録した媒体 - 特許庁

The shift is used for calculation for the alignment beam angle, and the verification method for the FTBA error is improved by the angle.例文帳に追加

該シフトはアライメントビームの角度の算出に使用され、この角度でFTBAエラーの検証方法を改善する。 - 特許庁

TIMING VERIFYING METHOD FOR RANDOM ACCESS MEMORY PART WITH BUILT-IN SEMICONDUCTOR DEVICE AND LOGICAL SIMULATION DEVICE FOR VERIFICATION例文帳に追加

半導体装置内蔵ランダムアクセスメモリ部のタイミング検証方法および検証用論理シミュレーション装置 - 特許庁

To provide a behavioral synthesis device and method which reduces a time and effort of verification.例文帳に追加

検証の手間を減らすことができる動作合成装置および動作合成方法を提供すること。 - 特許庁

To provide a method for easily obtaining a pellicle for sensitivity verification which is attached with a desired number of standard particles.例文帳に追加

所望する個数の標準粒子が付着した感度検定用のペリクルを簡便に得ること - 特許庁

METHOD FOR VERIFYING ELECTRON BEAM LITHOGRAPHY DATA, VERIFYING DEVICE, VERIFICATION PROGRAM, AND ELECTRON BEAM LITHOGRAPHIC DEVICE例文帳に追加

電子線描画データの検証方法、検証装置及び検証プログラム並びに電子線描画装置 - 特許庁

To provide a system and method for supporting verification of data integrity in a disk storage system.例文帳に追加

ディスク・ストレージ・システムにおけるデータの完全性の検証処理を支援するシステムおよび方法を提供する。 - 特許庁

SYSTEM AND METHOD FOR SUPPORTING VERIFICATION OF CIRCUIT FUNCTION, CONTROL PROGRAM AND READABLE RECORDING MEDIUM例文帳に追加

回路機能検証支援システム、回路機能検証支援方法、制御プログラムおよび可読記録媒体 - 特許庁

SYSTEM AND METHOD FOR VERIFYING EFFECTIVENESS OF CERTIFICATE BY USING VERIFICATION SERVER IN PUBLIC KEY INFRASTRUCTURE例文帳に追加

公開キーインフラストラクチャにおける検証サーバを用いた認証書の有効性検証システム及び方法 - 特許庁

Then, a decoding processing method by antenna verification processing is on/off-controlled on the basis of the decision result.例文帳に追加

そして、判定結果に基づき、アンテナベリフィケーション処理による復号処理方法をオン／オフ制御する。 - 特許庁

To solve a problem that operation efficiency is not satisfactory because pre-verification of flow defining data is executed in try and error method by a scanner.例文帳に追加

フロー定義データの事前検証をスキャナでトライアンドエラーにより行うため作業効率が悪い。 - 特許庁

IMAGE OUTPUT DEVICE OPERATION VERIFICATION DEVICE, IMAGE OUTPUT DEVICE OPERATION VERIFYING METHOD, RECORDING MEDIUM, AND PROGRAM例文帳に追加

画像出力装置動作検証装置、画像出力装置動作検証方法、記憶媒体、及びプログラム - 特許庁

To obtain a pattern verification-inspection method by which a pattern dimension of a mask pattern is inspected with high accuracy.例文帳に追加

マスクパターンのパターン寸法を精度良く検査することができるパターン検証・検査方法を得ること。 - 特許庁

KEY GENERATOR, ANONYMOUS SIGNATURE GENERATOR, SIGNATURE VERIFICATION DEVICE, MANAGEMENT DEVICE, ANONYMOUS SIGNATURE METHOD AND PROGRAM例文帳に追加

鍵生成装置、匿名署名生成装置、署名検証装置、管理装置、匿名署名方法及びプログラム - 特許庁

To provide a figure verifying method which can decrease the man-hour for visual verification confirmation.例文帳に追加

目視による検証確認の工数低減を図ることのできる図形検証方法を提供すること。 - 特許庁

To provide a method for generating layout verification data capable of automatically verifying a wiring path.例文帳に追加

配線経路の検証も自動的に行うことができるレイアウト検証用データ作成方法を提供する。 - 特許庁