auxiliary 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 medium verification device for presenting not only comparative verification by visual inspection but objective auxiliary information for verification in short period of time to raise verification accuracy in verification of a verification medium having images comprised of optical members with characteristics that texture and/or colors change according to the observation direction and/or the illumination direction.例文帳に追加

観察方向および／または照明方向により図柄および／または色彩が変化する特性を有する光学部材で構成される画像を有する検証媒体の検証において、目視による比較検証だけではなく、検証のための客観的な補助情報を短時間で提示し、検証精度を上げることが可能な媒体検証装置を提供する。 - 特許庁

The verification key is used as an auxiliary identity verification means during making these transactions, and the user can safely acquire a variable verification key without performing a special operation because the user receives a new verification key each time when the user uses an ATM.例文帳に追加

確認キーは、これらの取引を行う際の補助的な本人確認手段として用いられるが、利用者はＡＴＭを利用する都度新たな確認キーを受け取るため、特別な操作を行なうことなく可変な確認キーを安全に取得することができる。 - 特許庁

To provide an identity verification device capable of issuing a verification key which is used for auxiliary identity verification of a user and is variable for each transaction, by a method with user's convenience taken into consideration in a transaction processing system of Internet banking or the like.例文帳に追加

インターネットバンキングなどの取引処理システムにおいて、利用者の利便性に配慮した方法によって、取引毎に可変の利用者の補助的な本人確認のために用いる確認キーを発行することが可能な本人確認装置を提供する。 - 特許庁

To provide a circuit verification apparatus and a circuit verification method capable of changing operations for a verified circuit, an auxiliary circuit and the like in a programmable element to verify the various circuits, without composing again a logic.例文帳に追加

論理合成を再度行うことなく、プログラマブル素子内の被検証回路及び補助回路等の動作を変更して様々な回路検証を行うことができる回路検証装置及び回路検証方法を提供する。 - 特許庁

To show a simulation device as if the device operates in an actual arithmetic processing cycle even when using an auxiliary simulation model by making easily switchable an actual arithmetic processing simulation model and the auxiliary simulation model according to a verification object.例文帳に追加

検証対象に応じて実演算処理シミュレーションモデルと補助用シミュレーションモデルとを容易に切り換えでき、補助用シミュレーションモデル使用時にも実演算処理サイクルで動作しているように見せること。 - 特許庁

An antitheft system for a vehicle comprises a mobile terminal having particular ID information; a locking controller capable of locking or unlocking a control target installed to a vehicle in response to the results of verification by the mobile terminal; and an auxiliary controller storing ID information of the mobile terminal.例文帳に追加

盗難防止システムは、固有のＩＤ情報を保有する携帯機と、当該携帯機の認証結果に応じて、車両に搭載され制御対象となる装置を施錠又は解錠する施錠制御装置と、前記施錠制御装置との間でデータを送受信し、前記携帯機のＩＤ情報をバックアップデータとして記憶する補助制御装置とを備える。 - 特許庁