SIMULATION METHOD AND DEBUG METHOD FOR VERIFYING ROUTINE EXECUTING ORDER OF PROCESSOR, DEBUGGER PROGRAM, AND ITS RECORDING MEDIUM プロセッサのルーチン実行順を検証するシミュレーション方法並びにデバッグ方法、デバッガプログラム及びその記録媒体 - 特許庁
The assertion language that RST developed is used to specify the condition that an assertion statement is verifying.
RSTで開発した表明言語は、ある表明ステートメントが実証される条件を規定するのに用いられる。 - コンピューター用語辞典
To provide a metal detecting apparatus capable of easily demagnetizing specimens and verifying their demagnetization. 試験体についての消磁及びその確認を簡易にできる金属検出装置を提供することを目的とする。 - 特許庁
To provide a technique for verifying a network connection between a medical diagnostic system and a remote service facility. 医療診断システムと遠隔のサービス施設と間のネットワーク接続性を検証する技術を提供する。 - 特許庁
METHOD, DEVICE AND COMPUTER PROGRAM FOR VERIFYING TRANSMISSION TO APPROPRIATE SERVER ACTING AS HOST OF WEB SERVICE INSTANCE ウエブ・サービス・インスタンスがホストする適切なサーバに送られていることを検証する方法、装置、およびコンピュータ・プログラム - 特許庁
To provide an effective method and apparatus for verifying whether a platform is included within a data center or not. データセンタ内にプラットフォームが含まれているか検証するための効果的な方法及び装置を提供すること。 - 特許庁
DEVICE AND METHOD FOR VERIFYING MULTI-CYCLE PATH AND COMPUTER READABLE STORAGE MEDIUM WITH VERIFICATION PROGRAM STORED THEREIN マルチサイクルパス検証装置、検証方法及び検証プログラムを記憶したコンピュータ読み取り可能な記憶媒体 - 特許庁
To simplify a test for verifying operation of a control device and also simplify verification of operation using the test. 制御装置の動作の検証のためのテストを簡易化し、かつ、テストを利用した動作の検証を簡易化する。 - 特許庁
A second calculating section in the certifying apparatus calculates X_2=e(h(m)^r, t) and transmits X_2 to the verifying apparatus. 証明装置の第2計算部は、X_2=e(h(m)^r,t)を計算し、X_2を検証装置に送信する。 - 特許庁
Moreover, a verifying means 4 verifies the word recognized result, and outputs the final character string recognized result. さらに、検証手段4により単語認識結果を検証し、最終的な文字列認識結果を出力する。 - 特許庁
.In addition to the credit card, the spoofer was aware of the appropriate ID, password, or similar verifying information that should have been kept secret from others.
クレジットカード以外に決済用に付与され、本人しか知り得ないID・パスワードなどが使用された場合 - 経済産業省
To provide a falsification verifying data embedded document whose falsification is difficult and an image thereof, a document output apparatus for outputting the document embedded with the falsification verifying data or its image, and a method thereof, and a document input apparatus for discriminating the presence/absence of falsification in the document embedded with the falsification verifying data or its image, and a method thereof. 改ざんが困難な改ざん検証データ入り文書およびその画像、改ざん検証データ入り文書またはその画像を出力する文書出力装置およびその方法、ならびに改ざん検証データ入り文書またはその画像における改ざんの有無を判別する文書入力装置およびその方法を提供。 - 特許庁
To provide a pattern verifying method, used in a double patterning method in which after a first pattern is formed in a film to be processed, a second pattern is formed in the film to be process, verifying a pattern in consideration of a superposition error. 被加工膜に第1のパターンを形成してから被加工膜に第2のパターンを形成するダブルパターニング法に用いられ、重ね合わせ誤差を考慮してパターンを検証することができるパターン検証方法を提供する。 - 特許庁
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. 計測条件生成装置100は、複数のタスクからなるアプリケーションプログラムの検証をするプログラム検証装置によりアプリケーションプログラムの機能を検証する際の複数のタスクに対する計測条件を自動生成する。 - 特許庁
To provide a verifying data generating device capable of verifying an exact time and position without requiring complicated procedures by a user and using a simple system configuration, and to also provide an authenticating data generating device. 利用者が煩雑な手続きを行うことなく、また簡単なシステム構成による正確な時刻、位置の証明を行うことができる証明用データ生成装置および認証用データ生成装置を提供することを目的とする。 - 特許庁
To obtain a logic verifying device with a path delay inspecting function added thereto and a logic verifying method for efficiently generating a logic verification pattern only by specifying a critical path found from a timing verification result. タイミング検証結果よりわかったクリティカルパスの指定を行うことだけで、論理検証パターンを効率よく作成することのできるパス遅延検査機能付加論理検証装置及び論理検証方法を得ることを目的とする。 - 特許庁
To provide a digital watermark generating apparatus, along with an electronic-watermark verifying apparatus, a method of generating an digital watermark, and a method of verifying a digital watermark, capable of detecting information alteration executed by a malicious third party. 悪意のある第三者によって行われる情報に対する改ざん行為を検知することが可能な、電子透かし生成装置、電子透かし検証装置、電子透かし生成方法及び電子透かし検証方法を提供すること。 - 特許庁
To provide a method for verifying a photographic print and a photograph, and a system for verifying a photograph which provide easy and sure verification, and to prevent verification errors in a photographic printing service. 本発明は、写真プリントサービスにおいて簡便・確実に照合を行うことができ、かつ照合ミスを防止することができる写真プリント、写真の照合方法、及び写真の照合システムを提供することを課題とする。 - 特許庁
For those samples, the management’s assessment can also be used as audit evidence, after verifying the adequacy of the management’s assessment methods, and verifying part of the management’s work results.
当該サンプルについて、経営者が行った評価結果についても、評価方法等の妥当性を検証し、経営者による作業結果の一部について検証した上で、経営者の評価に対する監査証拠として利用することができる。 - 金融庁
For those samples, the management’s assessment can also be used as audit evidence, after verifying the adequacy of assessment methods results of the management’s assessment, and verifying part of the management’s work.
当該サンプルについて、経営者が行った評価結果についても、評価方法等の妥当性を検証し、経営者による作業の一部について検証した上で、経営者の評価に対する監査証拠として利用することができる。 - 金融庁
To provide a verifying method for verifying validity as to whether to follow data constraints about a database for a railroad signal system capable of handling many control elements as data and defining various data formats with ease. 多くの制御要素をデータとして扱え、多様なデータ形式を容易に定義できる鉄道信号システム用データベースに対して、データの制約条件に従っているか妥当性の検証を行う検証方法を提供する。 - 特許庁
And data read out with a word line potential being that at the time of program verifying are compared with data read out with a refresh verifying potential, write-in is performed by a write-in circuit 16 for a memory cell in accordance with this compared result. そして、プログラムベリファイ時と同じワード線電位にて読み出されたデータと、リフレッシュベリファイ電位にて読み出されたデータとを比較し、この比較結果に応じてメモリセルに対して書き込み回路16により書き込みを行う。 - 特許庁
To easily surely take a data interface in the construction of a system for verifying a logic circuit. 論理回路を検証するシステムを構築するに際し、データインタフェースを簡易かつ確実に採ることができるようにする。 - 特許庁
To provide an architecture verifying apparatus to be used as a tool for supporting the analysis of the architecture of a system LSI. システムLSIのアーキテクチャの解析を支援するためのツールとして使用されるアーキテクチャ検証装置を提供する。 - 特許庁
METHOD AND DEVICE FOR VERIFYING PLURAL DIGITAL SIGNS TOGETHER AND RECORDING MEDIUM WHERE SAME METHOD IS RECORDED 複数のディジタル署名を一括して検証する方法及びそのための装置とその方法を記録した記録媒体 - 特許庁
The blind signature verifying apparatus 30 verifies whether or not σ≠1, α is an element of G_2 and e(σ,w×α)=e(g_1, g_2^m×u×v^β) is established. ブラインド署名検証装置30は、σ≠1,α∈G_2,e(σ,w・α)=e(g_1,g_2^m・u・v^β)が成立するか否か検証する。 - 特許庁
To provide a method for verifying and maintaining connection sustainability about a system using an RM-WS protocol. RM−WSプロトコルを使用するシステムについての接続生存性を検証し、維持するやり方を提供すること。 - 特許庁
To prevent security from being lowered without complicating processing even when a more improved and complicated verifying method is used. より高度で複雑な認証方法を用いた場合でも、処理が複雑化することがなく、セキュリティが低下することがない。 - 特許庁
To realize a medium capable of certifying a required region without any waste and a method for verifying the same. 必要な領域を無駄なくサーティファイすることが可能となる媒体およびその検証方法を提供すること。 - 特許庁
To provide a stored data managing device capable of verifying identity of inputted data to outputted data. 入力データと出力データとの同一性を確認して保証することができる蓄積データ管理装置を提供する。 - 特許庁
To provide a device and method for verifying seal impression with higher accuracy. 印章の照合精度をより向上させることができる印章照合装置及び印象照合方法を提供すること。 - 特許庁
In a first step, 'applying erasure pulse' and 'verifying' are performed, and threshold voltage of all memory cells in a block are made 3 V or less. 第1の段階では「消去パルス印加」と「ベリファイ」を行って、ブロック内の全メモリセルの閾値電圧を3V以下にする。 - 特許庁
To provide a mask layout pattern verification device and its method for precisely verifying rectangular layout pattern data. 矩形レイアウトパターンデータに対する検証を高精度に行なえるマスクレイアウトパターン検証装置および方法を提供する。 - 特許庁
To provide a flow sensor capable of accurately verifying suction regardless of original pressure variations of a vacuum source. 真空源の元圧変動に関わらず正確に吸着確認を行うことができる流量センサを提供すること。 - 特許庁
To achieve the automatic generation of a hardware model into which an assertion for verifying software operating on a CPU is inserted. CPU上で動作するソフトウェアを検証するためのアサーションが挿入されたハードウェアモデルの自動生成を実現する。 - 特許庁
An authentication verifying part 109 of a field server 101 checks authentication information received from a portable terminal 131. フィールドサーバ101の認証検証部109は、携帯端末131から受信した認証情報をチェックする。 - 特許庁
To flexibly generate a large amount of test data used for verifying a document file retrieval system at low cost. 文書ファイルの検索システムの検証のために用いられるテストデータを、安価に且つ柔軟に、大量に作成する。 - 特許庁
To provide a shift indicator capable of concurrently verifying the shift position of a gear shift device and the range of an automatic transmission. シフト装置のシフト位置と、自動変速機のレンジとを同時に確認できるシフト装置の表示装置を提供すること。 - 特許庁
METHOD FOR CREATING TRACE INFORMATION USING ORTHOGONAL CODE, METHOD FOR VERIFYING TRACEABILITY, TERMINAL UNIT, AND CONTROL SERVER 直交符号を用いてトレ−ス情報を生成する方法、トレ−サビリティの検証の方法、端末装置および管理サーバ - 特許庁
To facilitate a user to add a design rule, when verifying whether a control model is suitable for design rules. 制御モデルが設計ルールに適合するか否かを検証するにあたって、ユーザによる設計ルールの追加を容易にする。 - 特許庁
Thereby, the write time can be shortened, and verifying read and normal read can be performed at high speed. これにより書き込み時間を短縮でき、また、ベリファイ読み出しおよび通常読み出しを高速に行うことができる。 - 特許庁
INFORMATION MEDIATION SYSTEM USING EXERCISE STATUS MONITOR DEVICE HAVING FUNCTION FOR PERSONAL AUTHENTICATION AND FOR VERIFYING THAT THE PERSON WEARS THE DEVICE 本人確認および本人装着確認機能を備えた運動状態モニター装置を用いた情報仲介システム - 特許庁
To prevent unauthorized use by verifying the identity of a browse request between a request reception device and a content delivery device. リクエスト受付装置とコンテンツ配信装置との間で閲覧リクエストの同一性を確認し、不正利用を防止する。 - 特許庁
DEVICE, METHOD, PROGRAM FOR ASSURING DOCUMENT ORIGINALITY AND DEVICE FOR VERIFYING DOCUMENT ORIGINALITY 文書原本性保証装置、文書原本性保証方法、文書原本性保証プログラム及び文書原本性検証装置 - 特許庁
SHEET-SHAPED DISTORTION SENSOR AND METHOD FOR VERIFYING PROGRESS OF DAMAGE IN CONCRETE STRUCTURE コンクリート構造物の損傷進行確認面状歪センサー及びコンクリート構造物の損傷の進行を確認する方法 - 特許庁
A reliability verifying section 40 verifies the reliability of the time authentication station, based on the received time stamp. 信頼性検証部40は、受信したタイムスタンプ情報に基づいて時刻認証局の信頼性を検証する。 - 特許庁
To improve reliability of control logic by verifying the result state in the case that improper operation is performed. 不適正操作が行われた場合の結果状態を検証することにより制御ロジックの信頼性を向上させる。 - 特許庁
PORTABLE TERMINAL VERIFICATION SYSTEM CAPABLE OF VERIFYING THAT ENCRYPTION FUNCTION FOR ENCRYPTING PIN IS IMPLEMENTED IN PORTABLE TERMINAL PINを暗号化する暗号化機能が携帯端末に実装されていることを確認できる携帯端末検証システム - 特許庁
To provide a cache apparatus capable of verifying the validity of a download request received from a terminal device. 端末装置から受信したダウンロード要求の正当性を検証できるキャッシュ装置を提供することを目的とする。 - 特許庁
To satisfy both of protection of the content of data and a verifying operation related with whether data have been correctly output. データの内容の保護と、データが正しく出力されているか否かに関する検証作業との両立を実現する。 - 特許庁