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

A control part 90 makes operation verification of a drive element 80, the position detection element 70, the vibration detection element 50 and the first equalizer 24 based on the output signal and the vibration component signal of the position detection element 70.例文帳に追加

制御部９０は、位置検出素子７０の出力信号および振動成分信号に基づいて、駆動素子８０、位置検出素子７０、振動検出素子５０および第１イコライザ２４の動作検証をする。 - 特許庁

The system is divided into a practical use system and a verification system and the practical use system is provided with a database server (for practical use) 2 having a practical use database 1 for storing data and connected to a practical use operation database client group 10.例文帳に追加

実運用系と検証系とに分けられ、実運用系ではデータを格納する実運用データベース１を持つデータベースサーバ（実運用用）２が具備され、実運用業務用データベースクライアント群１０に接続する。 - 特許庁

The verification simulator includes a storing part which stores information of a model in which operation of a device is described, and a simulation processing part which performs simulation processing of a verifying object device based on the model and test input information.例文帳に追加

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

In the case of performing verification, respective players performs the same operation with nearly the same timings, the occurrence of a problem caused by the individual difference of the players can instantly be found by comparing and observing the picture of the TV monitor.例文帳に追加

検証実行時には、各プレーヤはほぼ同じタイミングで同じ動作を行うので、ＴＶモニタの画像を比較観察することで、プレーヤの個体差による問題が発生した場合は、直ちに発見することができる。 - 特許庁

In performing mutual authentication in conformity with the SSL/TLS protocol, a server executes key acquiring processing (RSA deciphering after receiving Client Key Exchange, DH discrete logarithm operation or the like) after successfully executing signature verification processing (Certificate Verify).例文帳に追加

ＳＳＬ／ＴＬＳプロトコルに準拠して相互認証を行う場合に、サーバにおいて、鍵取得処理（ClientKeyExchange受信後のＲＳＡ復号化、ＤＨ離散対数演算など）を署名検証処理（CertificateVerify）が成功した後に行う。 - 特許庁

To make it possible to easily execute the storage/verification of data loaded from an external device at the activation of a program by software processing any time required during the operation of the program and to easily specify a troubled position therefore.例文帳に追加

起動時に外部装置からローディングしたデータの保持検証を、稼働時にソフトウェア処理でいつでも必要なときに容易に行うことを可能とし、これによって不具合箇所の特定を容易に行うことができる。 - 特許庁

To provide a picture constructing device for a monitoring control system which facilitate software production and operation verification on a man-machine side, can flexibly change actions of software and can quickly and safely product target picture application.例文帳に追加

マンマシン側のソフトウェア作成および動作検証を容易にし、柔軟にソフトウェアの振る舞いを変更可能として、迅速且つ安全に目的の画面アプリケーションを製作可能な監視制御システムの画面構成装置を得る。 - 特許庁

To provide a method for improving accuracy of numerical data based on an image of an analysis object specimen and a clinical examination system for attaining the method, particularly, a system for supporting display, verification and operation of examination data.例文帳に追加

本発明は、分析対象検体の画像にもとづく数値データの精度を向上する方法、および、それを実現するための臨床検査システムに係り、特に検査データの表示・検証および運用を支援するシステム構成に関する。 - 特許庁

This device is divided to a transfer pattern constraint device giving constraint matched to operation of a logic circuit of verification object to randomly generated transfer patterns and a transfer pattern generation device generating transfer patterns at random according to the constraint.例文帳に追加

ランダムに発生する転送パターンに対して検証対象論理回路の動作に合わせた制約を与える転送パターン制約装置と、該制約に従って転送パターンをランダムに発生する転送パターン発生装置とに分ける。 - 特許庁

To remove a redundant wiring and an unneeded input-output terminal by performing layout design after logical design and to make performable the operation verification of a real chip from which wiring delay has been removed.例文帳に追加

大規模集積回路になると、冗長な配線や不要な入出力端子を含み、チップ面積が大きく、多数の配線遅延を含んでおり、最終製品としてレイアウト設計を行って製作した実チップの動作検証を行えない。 - 特許庁

To provide a technology for preparing a "logic circuit operation model" for achieving precision of RTL for achieving a verification purpose, and for setting a simulation execution time in an allowable range even in if a large-scale system.例文帳に追加

検証目的を達成するＲＴＬの精度を達成する正確な「論理回路動作モデル」作成し、かつ大規模なシステムであってもシミュレーション実行時間を許容範囲に収めることが可能である技術を提供すること。 - 特許庁

The operation device with the received authentication information determines the propriety of satisfaction of a prescribed relation between the authentication information and the verification information, so as to authenticate the holding of the bailment data in the assignee device.例文帳に追加

認証情報を受信した運営者装置は、認証情報と検証情報との間において、所定の関係が成立するか否かを判定することで、受託者装置に寄託データが保持されていることを認証する。 - 特許庁

A profiler 4 is provided with a first process (step 6) in which simulation is operated by an operation simulator 3 so that information contents are clearly displayed to a user on the basis of obtained profile information 5 for verification and evaluation.例文帳に追加

プロファイラ４は、動作シミュレータ３によりシミュレーション動作させることにより得られたプロファイル情報５を基にして、情報内容をユーザに分かり易く表示し、検証、評価する第１の工程（ステップ６）を備えている。 - 特許庁

The hardware verification is executed by supplying a clock for operation from a signal generating device 2, and measuring a signal waveform by a signal observing device 3, and operating the supply of input data and the fetch of output data by a data input/output device 4.例文帳に追加

ハードウェア検証は、信号発生装置２から動作用のクロックを供給し、信号観測装置３で信号波形を観測し、データ入出力装置４で入力データの供給及び出力データの取り込みをおこなう。 - 特許庁

Vehicle doors 11-15 are unlocked when verification of the ID code is oked and operation of a holder of the portable device 1 relative to the vehicle doors 11-15 is detected and conditions that the vehicle doors 11-15 are unlocked are satisfied.例文帳に追加

そして、ＩＤコードの照合がＯＫとなり、かつ携帯機１の保持者の車両ドア１１〜１５に対する操作を検出して、車両ドア１１〜１５のアンロックを行う条件が成立すると、車両ドア１１〜１５をアンロックする。 - 特許庁

The inter-module timing verification part verifies whether the operation level description includes a violation of input/output timing where a signal is used as input to one module before the signal is actually output in the other module.例文帳に追加

そのモジュール間タイミング検証部は、動作レベル記述が、実際に信号の出力動作が行われる前に、他のモジュールに対して入力として使用されるような入出力タイミング違反が存在するか否かを検証する。 - 特許庁

Further, while reducing the photomask verification time by reducing the number of times of executing the optical intensity simulation, those having no effect on the manufacture of a semiconductor or on the operation or the characteristics of a semiconductor element are excluded from the photomask verification result so that only the fatal defect is detected, thereby reducing the time and the number of processes related to the correction of layout pattern CAD data.例文帳に追加

加えて、光強度シミュレーションの実施回数を削減することにより、フォトマスク検証時間の削減を図りつつ、さらに半導体製造上、あるいは半導体素子の動作、特性に影響を与えないものをフォトマスク検証結果から除外し致命的な欠陥のみを検出し、レイアウトパターンＣＡＤデータの修正に関わる時間、工数を削減する。 - 特許庁

A programmable circuit 102 is mounted with a design object circuit 106 operating synchronously with the clock signal of an operation clock creation circuit 104, and includes assertion trigger detection circuits (detection circuits) 107_1 to 107_n for creating the signal of assertion verification start to the circuit 106 and assertion condition decision type circuit (decision circuit) 108_1 to 108_n for performing the result decision of the assertion verification.例文帳に追加

プログラマブル回路１０２は、動作クロック生成回路１０４のクロック信号に同期して動作する設計対象回路１０６を実装し、回路１０６に対するアサーション検証開始の信号を生成するアサーショントリガ検出回路（検出回路）１０７＿１〜１０７＿ｎおよびアサーション検証の結果判定を行うアサーション条件判定式回路（判定回路）１０８＿１〜１０８＿ｎを含む。 - 特許庁

To provide a logical circuit operation model generation device which realizes simulation precision which is sufficient for achieving a purpose of verification, completes simulation within a permissible range of time even in a large-scale system, and generates an adequate logical circuit operation model in a short period even if a designer of the circuit is different from the designer of a logical circuit operation model.例文帳に追加

検証目的を達成するに十分なシミュレーション精度を達成し、かつ大規模なシステムであってもシミュレーション実行時間を許容範囲に収めることが可能であり、回路設計者と「論理回路動作モデル」設計者が異なる場合であっても短期間で的確な「論理回路動作モデル」を生成することができる論理回路動作モデル生成装置を提供する。 - 特許庁

When a medium already stored in the storage device 24 will be replaced, operation for replacement is performed on the side of an operation input part 35 for verification of a contents reproducing part 28, and a control part 34 instructs a multiplexing sequence control part 22 of an encoding/virtual multiplexing part 15, and thus an object pointer of packet sequence information is changed.例文帳に追加

記憶装置２４に既に記憶されているメディアの差し替えを行う場合には、コンテンツ再生部２８の検証用操作入力部３５側でその操作を行って制御部３４が符号化／仮想多重化部１５の多重化順序制御部２２に指示することにより、パケット順序情報のオブジェクトポインタを差し替える。 - 特許庁

To provide an automatic transaction apparatus 1 having an operation part 14 and performing a transaction by operating the operation part 14 to enter an identification number for identity verification, in which a real identification number is not stolen even if an identification number is peeped at by the next customer, and damages such as disbursement caused by impersonation can be reliably prevented.例文帳に追加

操作部１４を備え、当該操作部１４を操作して暗証番号を入力し本人確認して取引を行う自動取引装置１において、次の顧客に暗証番号を覗き見されても、真の暗証番号を窃取されることはなく、成りすましにより出金するなどの被害を確実に防止する。 - 特許庁

To realize that an authentication system, which needs an authentication process when reading out data stored in a storage element in a recording medium from a host device, easily verifies operation of the storage element without the authentication process, and does not need a dedicated circuit for verification of the operation of the storage element in the storage medium.例文帳に追加

記憶媒体内の記憶素子に記憶されたデータをホスト装置から読み出す際に認証手続きを必要とする認証システムにおいて、記憶素子の動作検証を認証手続を取ることなく容易に行うことができ、また、記憶媒体内部に記憶素子の動作を検証するための専用回路を不要とする。 - 特許庁

A dual-view display control unit 114b instructs a liquid crystal display controller 115 to switch a display mode from a single view display mode to a dual view display mode when a verification process is succeeded and to simultaneously display a first operation screen and a second operation screen on a liquid crystal panel 111 by the dual view display mode.例文帳に追加

デュアルビュー表示制御部１１４ｂは、認証処理が成功した場合に、表示モードをシングルビュー表示モードからデュアルビュー表示モードに切り替え、デュアルビュー表示モードによって、第１の操作画面及び第２の操作画面を液晶パネル１１１に同時表示できるように、液晶表示コントローラ１１５に指示をする。 - 特許庁

This operation composition verification device has: an operation composition part 600 generating first circuit data having cycle information and an internal signal on the basis of input data 101 including a variable; and a storage means storing correspondence 601 among the variable, the cycle information and the internal signal.例文帳に追加

変数を含む入力データ（１０１）を基に、サイクル情報及び内部信号を有する第１の回路データを生成する動作合成部（６００）と、前記変数、前記サイクル情報及び前記内部信号の対応関係（６０１）を記憶する記憶手段とを有する動作合成検証装置が提供される。 - 特許庁

Periodic operator's inspection and periodic safety management reviewLicensees of reactor operation have voluntarily verified conformance to Technical Standards of the nuclear power generation facilities heretofore, but in accordance with the amendment of the Electricity Business Act in 2003, this voluntary verification action was defined as the “periodic operator’s inspection” by licensees of reactor operation, and the implementation status of the inspection has been verified by the regulatory body since then.例文帳に追加

具体的には、原子力安全基盤機構は、文書審査と実地審査によりこの定期事業者検査の実施体制について、実施組織、検査方法、工程管理、記録管理、協力会社の管理及び教育訓練（法令に定める6項目）の適切性の観点から審査する（定期安全管理審査）。 - 経済産業省

The programming method of the NOR flash memory includes that data stored in a data buffer are programmed to a memory cell and during a program verification operation, a supply of current from a sense amplifier to the memory cell is controlled in accordance with the data stored in the data buffer.例文帳に追加

ＮＯＲフラッシュメモリ装置のプログラム方法は、データバッファに貯蔵されたデータをメモリセルにプログラムして、プログラム検証動作時に、前記データバッファに貯蔵されたデータに応じて感知増幅器から前記メモリセルへの電流供給を制御する。 - 特許庁

According to this, the conception can be designated with a simple operation to register a proper paraphrastic expression, and the designated conception can be extracted from the information extracting dictionary 120 and clearly shown to easily perform the verification of the dictionary.例文帳に追加

これにより、簡単な操作で概念を指定して、適切な言い換え表現を登録すると共に、指定した概念を情報抽出用辞書１２０から抽出して明示することができ、辞書の検証を容易に行うことができる。 - 特許庁

This device wherein an element for detecting a localized plasmon resonance is installed and used has a reaction container, a light source, a light receiving mechanism, a temperature adjusting mechanism, a conversion mechanism for converting light into a signal, and a mechanism for performing operation and verification.例文帳に追加

さらに局在プラズモン共鳴を検出する素子を設置して用いる装置であって、反応容器と光源と受光機構と温度調整機構と光を信号に変換する変換機構と演算および検定する機構とを有する装置。 - 特許庁

An authentication key verification part 11a compares an authentication key B1 read from the recording device 2_1 with an authentication key A1 recorded in a recording part 14_1 of an operation terminal 1_1 to verify whether the authentication key B1 read from the recording device 2_1 is valid or not.例文帳に追加

認証鍵検証部１１ａは、記録デバイス２_1から読み出した認証鍵Ｂ１と操作端末１_1の記録部１４_1に記録された認証鍵Ａ１を比較し、記録デバイス２_1から読み出した認証鍵Ｂ１が有効であることを検証する。 - 特許庁

To provide a simulation analysis system, an accelerator device and an emulator device, allowing easy comparison of verification results of a verified circuit by a programmable device and a CAD simulator, and capable of reducing a time required for cause specification of an operation fault.例文帳に追加

プログラマブルデバイス及びＣＡＤシミュレータによる被検証回路の検証結果の比較が容易であり、動作不良の原因特定に要する時間を短縮することができるシミュレーション解析システム、アクセラレータ装置及びエミュレータ装置を提供する。 - 特許庁

By visually editing the input or output object and the input or output information according to operation on test items or a verification order, a test specification and a manual can be created.例文帳に追加

前記入力対象または出力対象と前記入力情報または出力情報を試験項目の操作または検証の順番に従ってビジュアル的に編集していく事によって試験仕様書およびマニュアルを作成することができる - 特許庁

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

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

To provide a clip tester for extremely improving reliability of verification by generating pseudo failure at timing corresponding to operation timing of a circuit to be tested, and to provide a clip testing device, a clip testing method and a clip testing program.例文帳に追加

被試験回路の動作タイミングに対応したタイミングで擬似故障を発生させることができ、もって、検証の信頼性を極めて向上させることができるクリップテスタ、クリップ試験装置、クリップ試験方法、およびクリップ試験プログラムを提供する。 - 特許庁

An acoustic adjustment process for making the acoustic verification means verify the reproduction sound and making the acoustic adjustment means set the parameter, is started after shipment of the mobile communication terminal by a user's operation of the mobile communication terminal or the acoustic characteristics correction server.例文帳に追加

音響検証手段に再生音の検証をさせ、音響調整手段にパラメータの設定をさせる音響調整処理を、移動通信端末の出荷後に、移動通信端末又は音響特性補正サーバのユーザの操作により開始する。 - 特許庁

The electronic key is composed of an electronic key housing on which a power supply is mounted and an electronic key module arranged to be able to be detachably attached to the electronic key housing and provided with a transmission/reception antenna, signal verification means, and operation control means for the in-vehicle equipment.例文帳に追加

電子鍵を電源が搭載される電子鍵筐体と、この電子鍵筐体に着脱可能とされ、送受信アンテナを具備し信号照合手段と前記車両機器の操作制御手段を具備した電子鍵モジュールとから構成する。 - 特許庁

The logic verification module gives an ID for identifying its own, a read request, and an address to the transmission device, while the transmission device gives the read request and the address to a circuit operation simulation device and stores the ID in the ID storage device at the same time.例文帳に追加

論理検証モジュールは自身を区別するＩＤと共に読み出し要求とアドレスを送信装置に与え、送信装置は回路動作模擬装置に対して読み出し要求とアドレスを与えると同時にＩＤ記憶装置へ該ＩＤを記録する。 - 特許庁

As a result, when even a bit which is determined to have passed verification by a certain cause in the course of the write-in processing of "01", if it is determined to be failed by this operation, a write-in voltage is applied again, and the bit can be made to have a prescribed threshold voltage.例文帳に追加

これにより、“０１”書き込み処理、書き込みベリファイ処理の途中に、何らかの原因でベリファイパスと判定されたビットでも、この動作でフェイルと判定されれば再び書き込み電圧が印加され、所定のしきい電圧にすることができる。 - 特許庁

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

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

Verification of a functional operation of inspected circuit is performed by interconnecting emulators 1 and 2 mounted with two or more circuit parts 103 obtained by dividing the inspected circuit respectively via a bus 10 and performing communication through the bus 10.例文帳に追加

被検査回路を分割して得られた複数の回路部分１０３をそれぞれ実装したエミュレータ１および２をバス１０によって相互接続し、バス１０を通して通信を行うことにより被検査回路の機能的動作の検証を実行する。 - 特許庁

To efficiently create a library as to a characteristic value of a subordinate hierarchical layer of circuit, used when executing operation verification for a circuit having the subordinate hierarchical layer of circuit and a superordiante hierarchical layer of circuit, and to remarkably shorten a library creation time.例文帳に追加

下位階層の回路と上位階層の回路とを有する回路に対する動作検証を実行する際に用いる、下位階層の回路の特性値についてのライブラリを効率良く作成して、ライブラリ作成時間を大幅に短縮できるようにする。 - 特許庁

Particularly the log verification system deletes hashes other than hashes of logs stored after backup operation instead of storing a hash of a backup file, so that the number of hashes to be stored can be suppressed and the total data capacity of all hashes to be stored can be also suppressed.例文帳に追加

特に、バックアップファイルのハッシュを保存する代わりに、バックアップ以後に保存したログのハッシュ以外のハッシュを削除することから、保存するハッシュの数を抑えることになり、保存するハッシュ全体の総データ容量も抑えることが出来る。 - 特許庁

Information on operation done on the data base system 170 is acquired by a data base operation information acquiring means 120 and inputted to the data base system 170 by a dummy application program 160 running on a server; and then the data base system 170 executes it again and both the execution results are compared for verification.例文帳に追加

データベース・システム１７０に対して行われた操作情報を、データベース操作情報取得手段１２０により取得し、取得したデータベース操作情報を、サーバ上で動作する疑似アプリケーション・プログラム１６０によりデータベース・システム１７０に入力することによって、再度データベース・システム１７０に実行させ、両実行結果を比較・検証する。 - 特許庁

An automatic erasure sequence control circuit 254 in an automatic erasure sequencer 208 for controlling an erasure operation of a memory block of the nonvolatile semiconductor memory controls a prior-to-erase write control circuit 256 and an erase/erase verification control circuit 257 at the time of an erase operation and sets a status that automatic erase is now being performed in a status register 207.例文帳に追加

不揮発性半導体メモリのメモリブロックの消去動作を制御する自動消去シーケンサ２０８内の自動消去シーケンス制御回路２５４は、消去動作時には消去前書き込み制御回路２５６および消去／消去ベリファイ制御回路２５７を制御するとともに、自動消去実行中であることをステータスレジスタ２０７に設定する。 - 特許庁

In the image formation device 1 which includes a printing part 13 and an operation display part 12 for printing data transmitted from a plurality of host devices 2-4 through a network line 5, and is equipped with the confidential printing function, the operation display part 12 displays the shortcut icons for switching to the verification screen for confidential printing at one or more initial screens.例文帳に追加

ネットワーク回線５を通じて複数のホスト装置２〜４から伝送される印刷データを印刷する印字部１３と操作表示部１２を備え、親展印刷機能を有する画像形成装置１において、操作表示部１２は、１以上の初期画面に親展印刷用の認証画面に切り替えるためのショートカットアイコンを表示する。 - 特許庁

By an electronic circuit electrically connected to a memory array which is composed of a plurality of memory cells, voltages are applied to a selection gate for constituting the memory cell, a memory gate, a well, a source and a drain to control operation such as the writing, erasing, application of an alleviation pulse, and verification.例文帳に追加

複数のメモリセルから構成されたメモリアレイに対して電気的に接続された電子回路が、メモリセルを構成する選択ゲート、メモリゲート、ウェル、ソース、およびドレインに電圧を印加し、書込み、消去、緩和パルス印加、ベリファイなどの動作の制御を行う。 - 特許庁