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

To verify that the value of written data is right and that unnecessary writing is not performed in a shorter time without the interposition of an human error, in the verification of a writing function to a memory of a DMAC (Direct Memory AccessController) circuit.例文帳に追加

ＤＭＡＣ（ＤｉｒｅｃｔＭｅｍｏｒｙＡｃｃｅｓｓＣｏｎｔｒｏｌｌｅｒ）回路のメモリーへの書き込み機能の検証において、書き込んだデータの値が正しい事と共に、余計な書き込みを行っていない事をより短時間で、ヒューマンエラーが介在する事無く検証できる事。 - 特許庁

To provide a service provision system, an authentication system, a signature formation device, a service utilization device and a verification device in which access is automated, of which the communication means has versatility and which performs an authentication function with high security.例文帳に追加

アクセスの自動化ができ、通信手段が汎用的で、セキュリティが高い認証機能を実現するサービス提供システムと認証システム及び署名生成機器とサービス利用機器と検証機器を提供する。 - 特許庁

To provide a verification apparatus with which work burden of a user and errors by the user are reduced when verifying a function of a device to be verified using packet data including information specific to the device to be verified.例文帳に追加

被検証装置の固有情報を含むパケットデータを使用して被検証装置の機能を検証する場合に、利用者の作業負担を軽減し、かつ誤りを低減することができる検証装置を提供する。 - 特許庁

The computers 1, and 2 are provided with an order management function receiving and storing order data of the product from the other terminal on the network, and a configuration verification function determining whether or not there is any defect in the product configuration in the order data based on the configuration module name of the product in the order data and the configuration-matched data.例文帳に追加

また、コンピュータ１，２が、ネットワーク上の他の端末から製品の受注データを受信して記憶する受注管理機能と、受注データ中の製品構成に不具合がないか否かを，受注データ中の製品の構成モジュール名称と構成適合データとに基づいて判断する構成検証機能と、を備えている。 - 特許庁

When verifying a function of the HDL model 50 designed by a hardware description language, a flag set in a flag setting part 51 of the HDL model 50 is confirmed, and a process having no relationship to prescribed function verification is omitted when a process-omitting flag is set in the flag setting part 51.例文帳に追加

ハードウェア記述言語により設計されたＨＤＬモデル５０の機能検証時に、当該ＨＤＬモデル５０のフラグ設定部５１に設定されているフラグを確認し、フラグ設定部５１に処理省略用のフラグが設定されている場合には、所定の機能検証には関係がない処理を省略する。 - 特許庁

When relaying data between the input devices or the like 32-34 and the POS terminal 30, the input/output control apparatus 12 monitors reception data and if information meeting predetermined conditions (verification conditions) is detected, it is notified to the function-adding server 50, so that an additional function is provided to the input/output control apparatus 12.例文帳に追加

入出力制御装置１２は、入力装置等３２〜３４とＰＯＳ端末装置３０相互間のデータを中継する際に、受信データを監視し、所定の条件（検証条件）を満足する情報を検出したときに付加機能提供サーバ５０に知らせ、付加機能の提供を受ける。 - 特許庁

When executing coverage verification in function simulation of circuit descriptions written in a hardware description language, the lint check result conversion part 11 refers to a check result 22 of lint to the circuit descriptions, extracts an inactive point in the circuit descriptions and converts it into an inactive list 23 having a format for the function simulation.例文帳に追加

リントチェック結果変換部１１は、ハードウェア記述言語で記述された回路記述の機能シミュレーションにおけるカバレッジ検証において、回路記述に対するリントのチェック結果２２を参照し、回路記述における非活性箇所を抽出して、機能シミュレーション用のフォーマットを有する非活性リスト２３に変換する。 - 特許庁

To provide a program development support device for safety controller capable of preventing a programming error such as arranging a function block in an inappropriate position, and in an inappropriate order, when such a programming error arises, to easily find the fact, and also to facilitate parameter verification of an output condition function block in a program after completion.例文帳に追加

ファンクションブロックを誤った位置に配置したり、誤った順序で配置すると言ったプログラミングミスが生じ難く、かつそのようなプログラミングミスが生じた場合には、そのことを容易に発見することができ、しかも完成後のプログラムにおける出力条件ファンクションブロックのパラメータ検証も容易とすること。 - 特許庁

A measurement condition generation device 100 automatically generates measurement conditions for a plurality of tasks in the case of verifying the function of an application program by a program verification device for verifying an application program constituted of a plurality of tasks.例文帳に追加

計測条件生成装置１００は、複数のタスクからなるアプリケーションプログラムの検証をするプログラム検証装置によりアプリケーションプログラムの機能を検証する際の複数のタスクに対する計測条件を自動生成する。 - 特許庁

The automated design specification verification tool automatically determines, for one or more functions defined in a first section of a design specification, whether respective function names are declared in a second section of the same design specification.例文帳に追加

自動化された設計仕様検証ツールが、設計仕様の第１セクションで定義されている１つまたは複数の関数について、各関数名が同一設計仕様の第２セクションで宣言されているかどうかを自動的に判定する。 - 特許庁

The verification program 111 transmits the control code to the learning remote controller 120 on the basis of the scenario data 112, the iteration condition data 113, and the control code information 114 in order to apply function tests to a built-in program 131.例文帳に追加

検証プログラム１１１は、組込みプログラム１３１の機能テストをおこなうため、シナリオデータ１１２、反復条件データ１１３および制御コード情報１１４に基づいて、学習リモコン１２０に対して制御コードを送信する。 - 特許庁

A comparator 133c compares data parts designated by the EPI in the test data pointed out by the erasure pointer and the test data after the erasure on the memory 133a and gives a comparison result CR to the CPU 12 as a verification result of the erasure pointer function.例文帳に追加

比較器１３３ｃは、イレージャーポインターとメモリ１３３ａ上のイレーズ後のテストデータのうち、それぞれＥＰＩの指定するデータ部分を比較し、その比較結果ＣＲをイレージャーポインター機能の検証結果としてＣＰＵ１２に渡す。 - 特許庁

The verification support device 100 includes a function for, when there is a limitation on the number of communication ports between the software simulator 110 and the hardware simulator 120, detecting a busy state of a communication port, and for selecting a proper communication path.例文帳に追加

また、検証支援装置１００は、ソフトウェアシミュレータ１１０からハードウェアシミュレータ１２０への通信ポート数に制限がある場合、通信ポートのビジー状態を把握して適切な通信経路を選択する機能も備えている。 - 特許庁

To solve a problem that LVS (Layout Verification Software) 9 cannot verify whether wiring is correctly branched at every block since circuit connection information extracted by a circuit connection information extraction part 5 is dealt with as a single network even if wiring patterns are divisionally drawn around a plurality of function blocks from a power pad.例文帳に追加

回路接続情報抽出部５により抽出される回路接続情報は、電源パッドから複数の機能ブロックに対して配線を分けて引き回される場合でも１つのネットとして取り扱われる。 - 特許庁

To make efficient and facilitate the function logic verification work of a complicated electronic circuit of large scale by automatically judging the factor of a trouble through back trace with a trouble signal as a start point while utilizing the history of simulation to the virtual model of the electronic circuit.例文帳に追加

電子回路の仮想モデルに対するシミュレーションの履歴を利用し、不具合信号を起点としてバックトレースし、不具合原因を自動的判定することにより、大規模で複雑な電子回路の機能論理検証作業の効率化、容易化を図る。 - 特許庁

A group of ports corresponding to a predetermined function is instructed from a plurality of ports belonging to a logic circuit to be a verification target (12), the instructed port group is structured, and a queue (19) for storing data of ports corresponding to the structure is created.例文帳に追加

検証対象（１２）となる論理回路が有する複数のポートから所定の機能に対応するポートのグループを指示し、指示されたポートグループを構造体化してその構造体に対応するポートのデータを保持するためのキュー（１９）を作成する。 - 特許庁

The image verification device 20 also has a function for reporting attachment information (thumbnail image, shooting date, shutter speed, aperture value, ISO sensitivity, model name, production number, etc.) of the image file with MAC or the image file with digital signature to the verifier.例文帳に追加

また、画像検証装置２０は、ＭＡＣ付き画像ファイル又はデジタル署名付き画像ファイルの付属情報（サムネイル画像、撮影日時、シャッター速度、絞り値、ＩＳＯ感度、モデル名、製造番号など）を検証者に通知する機能を有する装置でもある。 - 特許庁

The operation verification device 100 selects a function corresponding to the operation recorded in the log of a plurality of kinds of functions installed with logic for achieving various kinds of operation to generate a program for the operation test for reproducing the series of operation.例文帳に追加

そして、各種操作を実現するためのロジックが組み込まれた複数種類の関数のうちログに記録された操作に対応する関数を選択することにより、上記一連の操作を再現するための動作テスト用プログラムを生成する。 - 特許庁

To eliminate operation for unnecessary simulation, etc., by accurately measuring a description which is not covered by a verification test and preventing an unnecessary test from being generated when the coverage of test data used to test the function of a logic circuit is evaluated.例文帳に追加

論理回路の機能テストをする際に用いられるテストデータのカバレッジを評価する際、検証テストでカバーされていない記述を正確に計測し、不要なテストを作成することを防ぐことによって、不要なシミュレーション等の作業を省略する。 - 特許庁

The sticker having the verification function is formed by disposing a metal reflection layer on at least a part of the region on the back side of a birefringent transparent layer and laminating a pasting layer for pasting on a desired medium thereon.例文帳に追加

検証機能を有するステッカーを、複屈折性透明層の背面側の少なくとも一部の領域に金属反射層が設けられ、さらにその上には所望の媒体上に貼着させるための貼着層が積層されてなるものとする。 - 特許庁

To provide an information display medium which is provided with the ornamental effect of an OVD (optically variable device), a copy protection effect and a verification function without hiding information printed on the medium, to provide a method for manufacturing the information display medium and to provide an OVD transfer foil and an OVD seal.例文帳に追加

媒体上の印刷情報を隠すことなく、ＯＶＤの装飾効果、コピー防止効果を備え、さらに検証機能を付与した情報表示媒体、製造方法、並びにＯＶＤ転写箔、ＯＶＤシールを提供すること。 - 特許庁

To provide a data transferring method which is provided with an authentication function of a data transmission source, has little load of encryption operation and certificate verification processing at the time of data transmission and reception and can update the risk of losing certificate validity of the data transmission source at the time of data transmission and reception.例文帳に追加

データ送信元の認証機能を備え、データ送受信時の暗号演算や証明書検証処理の負荷が少なく、データ送受信時にデータ送信元の証明書失効リストを更新可能なデータ転送方法を提供する。 - 特許庁

A verification processing part 7 performs access as a bus space through an IEEE 1394 interface 8, an IEEE 1394 serial bus 4, and an IEEE 1394 interface 3 to an object 2 to be verified whose function can be verified by a bus access.例文帳に追加

バスアクセスにより機能検証可能な被検証対象２に対して、ＩＥＥＥ１３９４インターフェース３と、ＩＥＥＥ１３９４シリアルバス４と、ＩＥＥＥ１３９４インターフェース３とを介して、検証処理部７がバス空間としてアクセスする。 - 特許庁

In the verification circuit 14, a function which allows an expected-value comparison of the memory cell data MD to be performed is added, and the expected-value comparison which has to be conventionally performed with a tester from the outside can be simultaneously completed inside the device during data readout.例文帳に追加

ベリファイ回路１４内にはメモリセルデータＭＤの期待値比較を行なえる機能が追加されており、従来なら外部からテスターで行なわなければならなかった期待値比較を、内部でデータ読出し中に同時に完了させることができる。 - 特許庁

To provide a circuit data preparation device for a multi-power-source layout capable of preparing easily circuit data for the multi-power-source layout, based on circuit data for a function verification, without depending on manual work by a designer, and a circuit data preparation method therefor.例文帳に追加

設計者の手作業によることなく、機能検証用回路データを基に多電源レイアウト用回路データを容易に作成することを可能とした多電源レイアウト用回路データ作成装置及びその回路データ作成方法を提供する。 - 特許庁

A monitor means 1300 receives and analyzes an LLT definition notification message transmitted from each function just before performing the instance of the LLT, generates an execution plan based on a calling relation just before the performance of the instance of the LLT, verifies the performance plan, and notifies a transaction request AP function which has started the instance of the LLT of the verification result.例文帳に追加

モニタ手段1300は、ＬＬＴのインスタンスを実施する直前に、各機能から送信されるＬＬＴ定義通知メッセージを受信解析して、ＬＬＴのインスタンスの実施直前の呼出関係に基づく実行計画を生成し、実行計画の検証を行って、検証結果をＬＬＴのインスタンスを起動したトランザクション要求ＡＰ機能に通知する。 - 特許庁

To propose a verification system for preventing the information leakage of biological information in biometrics authentication using a portable communication terminal equipped with an image shooting function, and for achieving the reduction of the labor of authentication processing while securing the precision of authentication.例文帳に追加

画像撮影機能を備えた携帯通信端末を用いたバイオメトリック認証において、生体情報の情報漏洩を防止するとともに、認証の精度保証を行いながら認証処理の負担を軽減して実現可能な照合システム等を提案する。 - 特許庁

To decrease time spent for debugging without increasing waiting time in the event of occurrence of request for verifying a plurality of functions in a verification device of an LSI system in which a plurality of functions are operated simultaneously and each function is controlled by a common interruption control block.例文帳に追加

複数の機能が同時に動作し、それぞれの機能が共通の割り込み制御ブロックで管理されるＬＳＩシステムの検証装置で複数の機能を検証する要求が発生した場合、待ち時間を増やさず、デバッグに費やす時間を減少させる。 - 特許庁

To provide a programming description generation device for hardware verification for generating an operation model to be accurately verified with cycle precision regardless of the sequence of the calculation of calculation formula showing the operation of a function block as descriptions with which hardware is expressed in general-purpose programming language.例文帳に追加

ハードウェアを汎用プログラミング言語で表現した記述として、機能ブロックの動作を示す計算式を計算する順番によらず、サイクル精度で正確に検証する動作モデルを生成することができるハードウェア検証用プログラミング記述生成装置を得る。 - 特許庁

The blind signature is extended to the partial blind signature including information Info input to both of a signature device and signature request device and having the trace function by uniquely generating a part of a fixed value used for issuance and verification procedures of the blind signature from the Info.例文帳に追加

ブラインド署名の発行及び検証手続きで用いる固定値の一部を署名装置と署名依頼装置の双方に入力されている情報Infoから一意的に生成することで、Infoを含み、かつ追跡機能を有する部分ブラインド署名に拡張する。 - 特許庁

To provide a control device for a vehicle having an antitheft function of verifying among a plurality of control devices through a network, in which verification can be reliably started among control devices even when reduction in a battery voltage occurs, for example, when starting an engine.例文帳に追加

ネットワークを介して複数の制御装置間で照合を行う盗難防止機能を備えた車両用制御装置において、エンジン始動時などに発生するバッテリ電圧の低下時でも、各制御装置間で確実に照合を開始できるようにする。 - 特許庁

A conversion test pattern selection part 5 sequentially takes in test vectors included in test patterns stored in a function verification test pattern storage part 1 to select test patterns and test vectors causing the number of failures detectable by the taken in test vectors to equal the total number of failures.例文帳に追加

変換テストパターン選択部５は、機能検証用テストパターン記憶部１に記憶されたテストパターンに含まれるテストベクタを順次取込み、取込んだテストベクタによって検出できる故障数が全故障数と同じになるテストパターンおよびテストベクタを選択する。 - 特許庁

A password for releasing the security function is stored in the column latch circuit 29 and the verification operation between the password stored in the column latch circuit 29 and a security release code stored in a release code storage section 13 is performed by control of a security control circuit 41.例文帳に追加

セキュリティ制御回路４１の制御により、カラムラッチ回路２９にセキュリティ機能を解除するためのパスワードを格納し、カラムラッチ回路２９に格納されたパスワードと解除コード格納部１３に格納されているセキュリティ解除コードとのベリファイ動作を行なう。 - 特許庁

The automated teller machine further has a function of comparing, for verification, the content recording the face image picked up by the imaging means for picking up the user's face image with a face image recorded in advance, for example, when the user has opened the account.例文帳に追加

また、本発明の現金自動取引装置は、前記利用者の顔画像を撮像する撮像手段にて撮像した顔画像を記録した内容と、利用者が取引口座開設時等において予め記録した顔画像を比較検証する機能を有している。 - 特許庁

To provide an anonymity certificate technology including two functions: a function <1> by which a manager apparatus can freely deny an arbitrary user apparatus as a valid user apparatus in anonymity certificate independently from a process of anonymity certificate between the user apparatus and a verifier apparatus: and a function <2> by which an apparatus for user specifying person in charge can specify the user apparatus from data when performing verification.例文帳に追加

匿名証明において、任意のユーザ装置を正当なユーザ装置として認めないことを、ユーザ装置と検証者装置との間の匿名証明のプロセスとは独立に、管理者装置が自由にできるという機能＜１＞と、ユーザ特定担当者装置が、検証時のデータから、ユーザ装置を特定することができるという機能＜２＞を共に持つ匿名証明技術を提供する。 - 特許庁

The apparatus comprises a batch simulation function unit 18 of verifying the possibility of a deadlock in unit occupation on the basis of basic recipe data; a deadlock information database 19 recording and storing a deadlock condition as a result of verification; and a deadlock avoidance function unit 20 for preventing the deadlock in execution of batch manufacture on the basis of the recorded and stored information.例文帳に追加

基本レシピデータをもとにユニット占有においてデッドロックが発生する可能性を検証するバッチシミュレーション機能部１８と、検証した結果、デッドロックが発生する条件を記録・蓄積するデッドロック情報データベース１９と、この記録・蓄積した情報をもとにバッチ製造実行中にデッドロックが発生するのを未然に防ぐデッドロック回避機能部２０を設けた。 - 特許庁

An ECC function verification control circuit 4 verifies the function of an ECC circuit 10 by comparing a bit position where the one-bit error occurs with a bit position where the circuit 10 detects the one-bit error from outputs of the two selectors 6 and 7 and also comparing a data value before the one-bit error occurs with a data value after the circuit 10 corrects the one-bit error.例文帳に追加

ＥＣＣ機能検証制御回路４は、１ビット誤りを発生させたビット位置と、ＥＣＣ回路１０が二つのセレクタ６，７の出力から１ビット誤りを検出したビット位置とを比較し、また、１ビット誤りを発生させる前のデータ値とＥＣＣ回路１０が１ビット誤りを訂正した後のデータ値を比較することにより、ＥＣＣ回路１０の機能を検証する。 - 特許庁

An influence analysis part 3 detects a function group affected by the change in the prerequisite 6 from a change position of the prerequisite 6 detected by the change detection part 2 and the reference information 7 generated by the reference information generation part 1 to specify a verification object.例文帳に追加

影響分析部３は、変更検知部２によって検出される前提条件６の変更箇所と、参照情報生成部１によって生成される参照情報７とから、その前提条件６の変更によって影響を受ける関数群を検出し検証対象に特定する。 - 特許庁

To provide a beam profile verification method by which the profile of a beam is detected with high resolution in such a way that the quantity-of- light data on the beam is expressed by a function and by which the profile of each beam can be verified even in a state that a plurality of beams are superposed on each other.例文帳に追加

ビームの光量データを関数によって表現することでビームのプロファイルを高解像で検出するとともに、複数のビームが重畳している状態でも個々のビームのプロファイルを検証することが可能なビームプロファイル検証方法を提供する。 - 特許庁

To provide a dual system arithmetic processing unit and a dual system arithmetic processing method, which enable automatic restoration using immediately preceding normal arithmetic data by means of a memory verification controller retry function when comparative mismatching between two systems occurs due to a temporary disturbance.例文帳に追加

メモリ照合コントローラリトライ機能を利用して、一時的な外乱による両系比較不一致が生じた際に、直前の正常な演算データを用いて自動復旧させることを可能にする２重系演算処理装置及び２重系演算処理方法を提供する。 - 特許庁

A system LSI 10 having a state machine 11 and a combination circuit 12 for executing predetermined logical processing according to an input signal IN and outputting an output signal OUT is provided with a function verification circuit 20 for detecting abnormality in a state of a signal line 13.例文帳に追加

入力信号ＩＮに従って予め定められた論理処理を行って出力信号ＯＵＴを出力するステートマシン１１と組み合わせ回路１２を有するシステムＬＳＩ１０に、信号線１３の状態の異常を検出するための機能検証回路２０を設ける。 - 特許庁

This function verification device is provided with a register arbitration module 107 by which register writing requests from respective test scenarios 102 and 103 to a model 50 are received successively, and after notification notifying that register writing from a CPU bus model 106 to the model 50 is finished is checked, the succeeding register writing request is processed.例文帳に追加

各テストシナリオ１０２，１０３からのモデル５０へのレジスタ書き込み要求を順次受け付け、ＣＰＵバスモデル１０６からのモデル５０へのレジスタ書き込みが終了したことの通知を確認してから、次のレジスタ書き込み要求を処理するレジスタ調停モジュール１０７を備える。 - 特許庁

To provide forgery preventing printed matter including a latent image surely hard to visually recognize and also by a high function scanner, difficult to copy or forge, and showing a high counterfeit prevention effect, and allowing use of a verification tool for image visualization with line patterns formed thereon usually used for authenticity determination.例文帳に追加

潜像が肉眼では勿論、高性能スキャナーなどでも視認されにくく、偽造、複製が困難で偽造防止効果が高く、且つ、真偽判定のために従来から使用されている万線パターンの形成された顕像化用の検証用具が利用できる偽造防止印刷物を提供する。 - 特許庁

Consequently, even in cases where, for instance, a “division” described in the Inspection Manual has not been physically established, rather than judging the credit agency as being unsuitable on account of this alone, it should be kept in mind that a verification is necessary of whether problems may exist, from the view points such as whether the adequate compliance function with laws and regulation is equipped, or whether appropriate organizational structure is well established for internal checks and balances, in keeping with the characteristics, size and other attributes of the inspected agency. 例文帳に追加

したがって、検査マニュアルに記載のない事項についても、実際の検査において検査対象先の態勢又は業務の状況の実態を把握するために必要と判断される事項については、適宜、検証を行うこととする。 - 金融庁

The functions of the individual LSI 10 are optionally set and changed even when the LSI 10 itself is the same since the function realization part 1 is selected based on a verification result of the ID and the password, the contents of the ID and the password and a time counting result by the timer management part 5.例文帳に追加

ＩＤ及びパスワードの認証結果と、ＩＤ及びパスワードの内容と、タイマ管理部５による時間計測結果とに基づいて、機能実現部１の選択を行うため、ＬＳＩ１０自体は同じであっても、個々のＬＳＩ１０の機能を任意に設定変更できる。 - 特許庁