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

To provide a data verification apparatus for verifying validity of data without shifting data to a disk device to which a check sum has been added without changing an application program nor the data format of a user file.例文帳に追加

アプリケーションプログラムやユーザファイルのデータ形式を変更することなく、かつチェックサムを付加したディスク装置へデータを移行することなく、データの正当性を検証することができるデータ検証装置を提供する。 - 特許庁

An electronic control device comprising an electrically erasable nonvolatile memory having a plurality of storage areas has, in each storage area, a data storage part 8, a counter 7 enabling a relative determination of whether information in the area is new or old, and a check data part 9 for storing check data for validity verification.例文帳に追加

複数の記憶領域を設けた電気的に消去可能な不揮発性メモリを備える電子制御装置において、各記憶領域内にデータ格納部８と、各領域の情報の新旧を相対的に判定可能なカウンタ７と、有効性検証用のチェックデータを格納するチェックデータ部９とを設ける。 - 特許庁

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 verification procedure for order/order confirmation reply processings, OQA/IQC reply processings, return notification/classification/ check inquiry processings, and material reply processings and bulletin information receiving processings, in a collaboration commerce system.例文帳に追加

コラボレーションコマースシステムにおける、注文／注文確認返信処理、ＯＱＡ／ＩＱＣ返信処理、返品通知／分類／調査問合せ処理、排除構成材料返信処理および掲示情報受信処理の確認手順を提供する。 - 特許庁

When power is input, one of the plurality of storage areas is selected according to information validity verification results based on the check data parts 9 and the values of the counters 7, and information in the storage area is read out and used.例文帳に追加

電源投入時にはチェックデータ部９に基づく情報の有効性検証結果とカウンタ７の値に基づいて、前記複数の記憶領域のうち一つを選択し、当該記憶領域の情報を読み出して使用する。 - 特許庁

A peripheral device interface 116 is prepared from the device driver and check program for controlling behavior models 110-112 of any peripheral device, and thereby the device driver and check program capable of operating on the actual chip can undergo a logic verification using the behavior models 110-112 of the peripheral device.例文帳に追加

デバイスドライバおよびチェックプロから、周辺デバイスのビヘイビュアモデル１１０〜１１２を制御するため周辺デバイスインターフェース１１６を用意することにより、実チップ上で動作可能な該デバイスドライバおよび該チェックプロが、該周辺デバイスのビヘイビュアモデル１１０〜１１２を用いて論理検証できることを特徴とするシステムＬＳＩの論理検証方式。 - 特許庁

Thereafter, a physical checksum verification procedure is carried out on the data block, when the data block is read from the nonvolatile memory (412), and the presence of damage in the data block is determined after carrying out the logical check on the data contained in the data block.例文帳に追加

その後、データブロックが不揮発性メモリから読出されると、物理的なチェックサム検証手順がデータブロック上で行なわれて（４１２）、データブロック内に含まれるデータ上で論理チェックが行なわれた後にデータブロックが破損したかが判断される。 - 特許庁

The electronic transaction verification system preferably digitizes various indices of the token such as the magnetic ink (MICR) line on a presented check or the magnetic strip on a credit card or debit card, and transmits the transaction information data to a central system.例文帳に追加

電子取引認証システムは、提示される小切手上の磁気インク（ＭＩＣＲ）のラインまたはクレジットカードまたはデビットカード上の磁気帯のような、様々なトークンのインデックスをデジタル化し、中央システムに取引情報データを送信することが好ましい。 - 特許庁

A method for erasing the memory cells in a memory array includes a step of applying erase pulses to the bits of the cell groups in a memory array, and a step of making erase verification only in the subgroups of the erased cell groups in order to check whether or not the threshold voltage (Vt) of the memory cell is as low as the erasure verification voltage level(EV).例文帳に追加

メモリアレイ内のメモリセルを消去するための方法であって、メモリセルアレイのセル集団のビットに消去パルスを加える段階と、メモリセルの閾値電圧（Ｖｔ）が消去確認（ＥＶ）電圧レベルまで下がっているか否かを検査するために、消去確認動作を、消去されているセル集団のサブグループだけで実行する段階と、を含んでいる方法である。 - 特許庁

Selective application processing from a plurality of algorithm elements for the security check processing, e.g. hash processing, encrypting/ decrypting processing and electronic signature verification processing, of a program to be downloaded to reconstitution available logic in the radio communication apparatus for software radio (SDR) and selective application of encrypting/decrypting processing keys and electronic signature verification processing keys can be attained.例文帳に追加

ソフトウェア無線（ＳＤＲ）としての無線通信装置内の再構成可能ロジックにダウンロードするプログラムに対するセキュリテイチェック処理、例えばハッシュ処理、暗号化／復号化処理、電子署名検証処理の各アルゴリズムについて、複数アルゴリズムからの選択適用処理、また暗号化／復号化処理鍵、電子署名検証処理用鍵についての選択的適用を可能とした。 - 特許庁

If the request to execute the instruction retry will cause a program stop by an instruction retry mechanism, and if verification is canceled, a parity check circuit 205 for detecting a parity error assumes that no parity error has been detected to deter the execution of the instruction retry.例文帳に追加

パリティエラーの検出をおこなうパリティチェック回路２０５は、命令リトライの実行を依頼すると命令リトライ機構によりプログラムが停止し、検証が中止されてしまう場合にはパリティエラーを検出しなかったものとし、命令リトライの実行を抑制する。 - 特許庁

Then, in timing check processing (step 24), the timing verification device reads a timing list 37 and extracts at least one of a dispersion amount corresponding to each of rise and fall and a correction coefficient for which the correlation of rise and fall is taken into consideration on the basis of the dispersion coefficient extracted in the step 21.例文帳に追加

次に、タイミングチェック処理（ステップ２４）において、タイミング検証装置は、タイミングリスト３７を読み込み、ステップ２１において抽出したばらつき係数に基づいて、riseとfallのそれぞれに対応するばらつき量、及びriseとfallの相関性を考慮した補正係数の少なくとも一方を抽出する。 - 特許庁

To provide a new authenticity discrimination method capable of performing not only the check of existence of a hidden pattern which is performed by an authenticity discrimination method based on conventional technology but also the verification of contents and to provide an authenticity discrimination device suited to the new authenticity discrimination method.例文帳に追加

従来技術における真正性識別方法が、隠しパターンの有無を確認するに止まっていたのを、内容の検証をも可能化する、新たな真正性識別方法を提供すること、および、そのような真正性識別方法に適した真正性識別装置を提供することを課題とする。 - 特許庁

19. In relation to audit procedures for retirement benefit allowance, which the audit client calculated by using package software, the audit team failed to perform those procedures to ascertain the reliability of the software and perform a substantive test, such as vouching or calculation verification on a sample basis, in order to check the accuracy of the year-end allowance balance. 例文帳に追加

・ 被監査会社が市販のパッケージソフトウェアを利用して算定した退職給付債務について、当該パッケージソフトウェアの信頼性を検証するための手続を実施していないほか、期末の退職給付債務額について、退職給付の個人別データのサンプル抽出による関連証憑資料との照合や計算チェック等の退職給付債務計算の正確性を検証する手続を実施していない。 - 金融庁

An accept server 121 of an electronic application system 12 first determines the arrival time of the accepted document in accepting an electronic application document from an applicant terminal 11 or an electronic official document from a terminal 14 of a person in charge, and then performs verification for the correctness and safety of the accepted document by virus check and verifying signature.例文帳に追加

電子申請システム１２の受付サーバ１２１は、申請者端末１１からの電子申請文書または担当者端末１４からの電子公文書の受付時に、当該受付文書の到達時刻をまず確定し、その後にウィルスチェック、署名検証によって、受付文書の正当性および安全性の検証を行い、正当且つ安全であることが検証された場合に、その受付文書を、確定された到達時刻と共に原本として文書管理システム１２２に登録する。 - 特許庁