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

To provide a test data generating program, a test data generating device, and a test data generating method, capable of improving exhaustiveness in validation for logic verification.例文帳に追加

論理検証における検証網羅性を向上させることが可能なテストデータ生成プログラム、テストデータ生成装置及びテストデータ生成方法を提供することを目的とする。 - 特許庁

To provide a method, a logic and a system for directed falsification for a circuit for alleviating or eliminating inconvenience, a problem or both of them regarding circuit verification.例文帳に追加

回路検証に関する不都合、問題点あるいはその両方を軽減または解消する回路のための有向ファルシフィケーション方法、論理及びシステムを提供する。 - 特許庁

To provide a method for generating fine particles where sufficient fine particles can be easily generated, to provide a fine particle generator, to provide a fine particle unit, and to provide a verification system for purification.例文帳に追加

十分な微粒子を簡易に発生させることができる微粒子発生方法、微粒子発生装置、微粒子ユニットおよび清浄化検証システムを提供する。 - 特許庁

To provide a card verification method and device for preventing the unauthorized use of a card due to robbery or forgery, and for surely performing personal identification.例文帳に追加

本発明の目的は、盗難、偽造によるカードの不正使用を防止し、確実に本人認証が可能なカード認証方法及びその認証装置を提供することにある。 - 特許庁

To provide a method for easily constructing a design supporting system which is provided with a design verification supporting device to be used for verifying the design of an object to be designed and a design changing device for changing the design and the design supporting system to be constructed by this method and a design verification supporting device to be used for this system.例文帳に追加

設計対象の設計の検証を行うために用いられる設計検証支援装置と設計変更を行う設計変更装置とを備える設計支援システムを容易に構築することができる構築方法、その方法によって構築される設計支援システム、及びそのシステムに用いられる設計検証支援装置の提供。 - 特許庁

TIME CERTIFICATION APPARATUS, TIME CERTIFICATION REQUEST ACCEPTING APPARATUS, TIME CERTIFICATION METHOD, TIME CERTIFICATION REQUEST ACCEPTING METHOD, TIME CERTIFICATION PROGRAM, TIME CERTIFICATION REQUEST ACCEPTANCE PROGRAM, TIME CERTIFICATION VERIFICATION PROGRAM, AND PROGRAM RECORDING MEDIUM例文帳に追加

時刻証明装置、時刻証明要求受付装置、時刻証明方法、時刻証明要求受付方法、時刻証明プログラム、時刻証明要求受付プログラム、時刻証明検証プログラム、およびプログラム記録媒体 - 特許庁

DOCUMENT PREPARATION SYSTEM, METHOD AND PROGRAM, RECORDING MEDIUM STORING ITS PROGRAM AND DOCUMENT VERIFICATION SYSTEM, METHOD AND PROGRAM, AND RECORDING MEDIUM STORING ITS PROGRAM例文帳に追加

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

To provide a portable electronic device, a method for controlling the portable electronic device, and an IC card which can increase the efficiency of a time which is taken for signature verification processing without impairing safety, and to provide a method for controlling the portable electronic device and the IC card.例文帳に追加

安全性を損なうことなく署名検証処理に要する時間を効率化することのできる携帯可能電子装置、携帯可能電子装置の制御方法及びＩＣカードを提供する。 - 特許庁

To provide a DNA marker widely applicable to discriminating BT-type male sterile cytoplasm and normal cytoplasm, capable of carrying out efficient seed purity verification, thus intended for specifically detecting a rice strain having the normal cytoplasm, to provide a method for discriminating the BT-type male sterile cytoplasm and normal cytoplasm using the marker, and to provide a method for verifying seed purity.例文帳に追加

高純度のハイブリッドイネ種子の生産においては、ＢＴ型雄性不稔細胞質を有する雄性不稔系統の種子純度を高く維持することが、極めて重要である。 - 特許庁

The layout correcting method for performing timing verification of a circuit including a dummy metal, and correcting the layout of the circuit when a timing violation is detected by the timing verification, includes respective steps for setting the cost in a dummy metal and changing the arrangement of wirings of the circuit including the dummy metal while taking the cost into consideration.例文帳に追加

ダミーメタルを含む回路のタイミング検証を行い、タイミング検証によりタイミング違反が検出された場合に回路のレイアウトを修正するレイアウト修正方法は、ダミーメタルにコストを設定し、コストを考慮しながらダミーメタルを含む回路の配線の配置を変更する各段階を含むことを特徴とする。 - 特許庁

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

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

The organism verification method is effective for the verification of an organism especially with an antifouling paint as a substance to be inspected and can evaluate the avoidance response strength of aquatic biota against an antifouling paint and further the antifouling performance of the antifouling paint, based on a decrease in the survival rate and nest-making activity of Tanaidacea.例文帳に追加

この生物検定方法は、特に防汚塗料を被検物質とした生物検定に有効であり、タナイス類の生存率及び造巣活動性の低下に基づいて、防汚塗料に対する水中生物の忌避反応強度、ひいては該防汚塗料の防汚性能を評価することが可能である。 - 特許庁

To provide a layout creation device and layout creation method of a semiconductor integrated circuit for changing the process of layout verification processing for verifying a plurality of layered layout data as necessary, and for reducing the labor of layout verification processing, and for improving the quality of layout data based on a manufacturing process for manufacturing a semiconductor device with a multi-layered structure.例文帳に追加

多層構造の半導体装置を製造する製造プロセスに基づいて、複数層のレイアウトデータを検証するレイアウト検証処理のプロセスを適宜変更し、レイアウト検証処理の負担を軽減し、レイアウトデータの品質を向上させる半導体集積回路のレイアウト作成装置及びレイアウト作成方法を提供する。 - 特許庁

To provide a nonvolatile memory device and a method of programming the same, in which program time can be decreased by determining the propriety of program fail through a verification line, without adding a circuit to a page buffer of a nonvolatile memory element, and at the same time, by executing a cache program and intelligence-type verification.例文帳に追加

不揮発性メモリ素子のページバッファーに回路を追加せずに検証ラインを介してプログラムフェイルの可否を判断し、知能型検証を遂行させることによってキャッシュプログラムと知能型検証を同時に遂行するようにしてプログラム時間を減らすことができる不揮発性メモリ素子及びプログラム方法を提供する。 - 特許庁

To provide a page buffer wherein verification and reading of a program can be performed by a wired-OR system and which has a cache function, to provide a nonvolatile semiconductor memory device comprising the same and to provide its driving method.例文帳に追加

ワイアードオア方式でプログラム確認読み出しが可能であり、キャッシュ機能を有するページバッファとこれを含む不揮発性半導体メモリ装置、およびその駆動方法を提供する。 - 特許庁

To solve the problem that, when verifying a certificate, a suitable certificate verification method is made different by environmental parameters such as performance of a service enjoying device or a server device, the communication velocity of a network, and the like.例文帳に追加

証明書を検証する場合，サービス享受装置やサーバ装置の性能や，ネットワークの通信速度等の環境パラメータによって適する証明書検証方法が異なる。 - 特許庁

In the parameter verification method utilizing a mobile and a base station, wireless system parameters are altered arbitrarily by a mobile data collection tool and wireless communication is performed by these wireless system parameters.例文帳に追加

移動機と基地局を利用したパラメータ検証方法であって、移動機データ収集ツールにより無線系パラメータを任意に変更し、その無線系パラメータにより無線通信を行う。 - 特許庁

Test specification showing a verification method can be created by an examiner so as to be visually recognizable, for example, in the format of a sequence figure through a UML modeling tool 50 (tool 50).例文帳に追加

試験者は、ＵＭＬモデリングツール５０（以下、ツール５０）を介して、検証方法を表すテスト仕様を例えばシーケンス図の形式で視覚的に認識可能に作成することができる。 - 特許庁

To provide a verification method or the like of charge-up damage, which uses an antenna rule applicable both to macro or the like and the whole semiconductor integrated circuit, by handling the wiring and the non-wiring separately.例文帳に追加

配線と非配線とを分けて扱い、マクロ等にも半導体集積回路全体にも適用できるアンテナルールを用いるチャージアップダメージの検証方法等を提供できる。 - 特許庁

To provide a data processing system capable of operational verification of data transfer, debug, and the like in mutual authentication process even when the operator has no idea of an encryption processing method in the mutual authentication.例文帳に追加

相互認証の暗号化処理方法を知らない者であっても相互認証処理におけるデータ転送の動作確認やデバッグ等を行うことができる装置を提供する。 - 特許庁

To provide a method of automatically and precisely determining a material defect section without any visual verification even if the material defect section occurs on the surface of a steel rail for a track.例文帳に追加

軌道用鋼製レールの表面に材質異常部が生じた場合でも、これを目視確認を伴うことなく自動、且つ、高精度に判定することを可能とする方法を提供する。 - 特許庁

To provide a communication device which performs operation verification by using a communication device connected to a network when a network failure occurs, and also to provide a communication method, and a communication control program.例文帳に追加

ネットワークに接続されている通信装置を用いてネットワーク障害時の動作検証を実行することができる通信装置、通信方法及び通信制御プログラムを提供すること - 特許庁

To provide a message comparison decision method, device and program, allowing efficient verification of difference in message contents between signal files wherein encoded messages are mixed.例文帳に追加

符号化されたメッセージが混在する信号ファイル同士のメッセージ内容の差異を効率的に検証することができるメッセージ比較判定方法、その装置及びそのプログラムを提供する。 - 特許庁

A verification is conducted by comparing the portions estimated to be defective by the two measurement methods and the estimated defective points are inspected by a Raman spectrometric method in a first inspection device 20.例文帳に追加

２つの測定方法で、欠陥部分と推定される部分を比較することで検証を行い、欠陥部分と推定したポイントを第１の検査装置２０のラマン分光法で検査する。 - 特許庁

To provide a novel method and apparatus for generating a net list, capable of easily and surely generating a net list for circuit verification without editing operation of a circuit diagram or the like.例文帳に追加

回路図面の編集作業などを行うことなく、回路検証用のネットリストを容易且つ確実に生成できる新規なネットリスト作成方法およびネットリスト作成装置の提供。 - 特許庁

To provide an yearly information processing verification method and a semiconductor capable of checking the normal operation of software or the like, when yearly setting information is changed.例文帳に追加

年設定情報の変更を行なった場合にソフトウェア等が正常に稼動することを確認することができる年情報処理検証方法および半導体装置を提供する。 - 特許庁

To provide a method for variable area electron beam lithography, by which the verification of the output data of an electron beam lithography system can be performed relatively easily without relying upon the outputting order of the data.例文帳に追加

描画装置の出力データの検証を比較的簡単に、データの出力順に依存せずに行うことができる可変面積型電子ビーム描画方法を実現する。 - 特許庁

To obtain a debug device and a program verification method, capable of verifying behavior limited to a focused circuit without having to reedit a ladder program.例文帳に追加

本発明は、ラダープログラムを編集し直すことなく、着目した回路に限定して動作を確認することの出来るデバッグ装置およびプログラム確認方法を実現することを目的とする。 - 特許庁

To provide a circuit verification device and method, capable of verifying functions of a logical circuit including an asynchronous sequential circuit by more reliably assuming a metastable state.例文帳に追加

メタステーブル状態をより確実に想定して、非同期順序回路を含む論理回路の機能を検証することができる回路検証装置及び回路検証方法を提供する。 - 特許庁

To provide a debugging device and method, using a hardware emulator capable of always making an instruction execution interval between a verification target circuit and a duplication circuit a prescribed number of instructions.例文帳に追加

検証対象回路と複製回路との間の命令実行間隔を常に所定命令数にすることのできるハードウェアエミュレータを用いるデバッグ装置およびデバッグ方法を提供する。 - 特許庁

This method includes processes of: dispersing the tasks and the seeds over the grids including a plurality of nodes; and executing the verification instance at the node in the grid by the task by using the seed.例文帳に追加

方法は、複数のノードを含むグリッドにわたってタスク及びシードを分散させる工程、及び、シードを用いて、タスクによってグリッド内のノードで検証のインスタンスを実行する工程も含む。 - 特許庁

In a compatible method for multiple spanning tree protocols of the present invention, a verification module is first provided between a standard multiple spanning tree (MST) module and a LLC layer and Ethernet (R) driver module.例文帳に追加

本発明のマルチスパニングツリープロトコルの互換性方法は、まず、検証モジュールが標準のマルチスパニング（MST）モジュールとLLC層とイーサネット（登録商標）駆動モジュール間に提供される。 - 特許庁

To provide a terminal device capable of collecting data for isolating a failure part from a terminal side at a failure after verification, and a system, method and program for isolating a network failure cause.例文帳に追加

認証後の障害時に端末側から障害箇所の切り分けのためのデータを集めることのできる端末装置、ネットワーク障害原因切り分けシステム、方法およびプログラムを得ること。 - 特許庁

To provide a device or a method for executing and supporting facilitation of compensation and verification works of opening/shorts/load compensations by using a substrate for an impedance compensation.例文帳に追加

インピーダンス補正基板を用いた開放／短絡／負荷補正の補正及び検証作業を容易に行えるよう実行及び支援する装置または方法を提供することである。 - 特許庁

A multi-step signing system and method uses multiple signing devices (11, 13, 15, 17, 19) to affix a single signature which can be verified using a single public verification key.例文帳に追加

多数の署名装置（１１、１３、１５、１７、１９）を用いるマルチステップ署名システム及び方法は単一の公開照合鍵をもちいて照合される単一の署名を添付する。 - 特許庁

To provide a design support program and method capable of effectively performing verification of operation of conveyance mechanism control software at an abnormal time such as jam occurrence etc.例文帳に追加

ジャム発生等の異常時における搬送機構制御ソフトウェアの動作検証を効率良く行うことができる設計支援プログラム及び設計支援方法を提供すること。 - 特許庁

To provide a method of performing the verification of the value of data in a data coordination program by use of information acquired from a system that is to be data writing designation.例文帳に追加

本発明は、データ連携プログラムにおいて、データの値の検証を、データを書き込む先となるシステムから情報を取得し、その情報を用いて行う方法を提供することにある。 - 特許庁

To provide a signal transmission function verifying apparatus and a signal transmission function verifying method for facilitating procedures when comparing the conversion result to the call control signal of a transmission signal for verification.例文帳に追加

伝送信号の呼制御信号への変換結果を比較して検証する時の手順を容易にすることができる信号伝送機能検証装置及び方法を提供すること。 - 特許庁

To provide a simple data migration method and device for simplifying verification by migrating data without stopping this system between new and old systems capable of using common data.例文帳に追加

共通のデータを利用できる新旧システム間で、システムを停止することなくデータの移行を行うことができ、簡易にして検証の容易なデータ移行方法および装置を提供する。 - 特許庁

This PE element design verification method consists of preparing a PE model capable of expressing the stress component of a PE element as the weight of a distortion component of a 1st constitutional element in the PE element.例文帳に追加

圧電素子の設計検証法は、圧電素子の応力成分をその圧電素子の第1の素子構成要素のひずみ成分の重み付けとして表す圧電素子モデルを作成することからなる。 - 特許庁

The logic verification method is provided with: a means of determining whether the output of a functional block test is an input to another functional block test; and a means of making the output be the input to the other functional block test.例文帳に追加

機能ブロックテストの出力が他の機能ブロックテストの入力となるかどうかを判定する手段と、出力を他の機能ブロックテストの入力とする手段を設ける。 - 特許庁

To provide an operation composition verification device and method, allowing a person to easily understand a signal waveform without affecting behavior of operation composition.例文帳に追加

動作合成の振る舞いに影響を与えることなく、人が容易に信号波形を理解することを可能にする動作合成検証装置及び方法を提供することを課題とする。 - 特許庁

This system and method allows a user to add masking regions to the dynamic range of a screen for selectively ignoring the region range of user interface layout expected to change during a verification process.例文帳に追加

ユーザが、検証プロセス中に変化することが予想されるユーザインタフェースレイアウトの領域範囲を選択的に無視するために、画面の動的範囲にマスキング領域を追加する。 - 特許庁

To provide an information processing apparatus and method, a program and a recording medium, for executing verification processing of matching of an index database defined to a hierarchical database.例文帳に追加

階層型データベースに対し定義される索引データベースの整合性の検証処理を実行する情報処理装置、情報処理方法、プログラムおよび記録媒体を提供すること。 - 特許庁

To provide a fingerprint sensor, a fingerprint verification apparatus and a fingerprint reading method which reduces a load in data transfer processing and selectively outputs data required for generation of a fingerprint image.例文帳に追加

データ転送処理における負荷を低減し、指紋イメージの生成に必要なデータを選択的に出力する指紋センサー、指紋照合装置および指紋読み取り方法を提供する。 - 特許庁