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

The acoustic characteristics correction server has acoustic verification means verifying whether or not a parameter of the equalizer is set properly based on reproduction sounds obtained by reproduction of a sound source reference data for parameter adjustment by the loudspeaker, and acoustic adjustment means setting the parameter of the equalizer based on the verification result of the parameter verification means.例文帳に追加

音響特性補正サーバは、スピーカーがパラメータ調整用の音源参照データを再生した再生音に基づいて、イコライザのパラメータの設定が適切になされているか否かを検証する音響検証手段と、パラメータ検証手段の検証結果に基づいて、イコライザのパラメータを設定する音響調整手段と、を備える。 - 特許庁

This method of programming a nonvolatile memory element includes steps of: applying a program voltage to a memory cell; applying a supplementary pulse to the memory cell to facilitate stabilization of an electric charge, after the program voltage is applied; applying a recovery voltage to the memory cell after applying the supplementary pulse; and verifying the memory cell by applying a verification voltage after the recovery voltage is applied.例文帳に追加

メモリセルにプログラム電圧を印加するステップと、プログラム電圧印加後、電荷の安定化を促進するように補充パルスを印加するステップと、補充パルスに続いてメモリセルに回復電圧を印加するステップと、回復電圧印加後に、検証電圧を印加して検証するステップと、を含む不揮発性メモリ素子のプログラム方法である。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁

The electronic watermark detecting method is a method to be implemented for image data in accordance with a configuration at an electronic watermark verifying side and includes the steps of extracting ID information embedded in image data according to the electronic watermark embedding method and specifying the bit plane in which the data are embedded, and extracting the data from the specified bit plane.例文帳に追加

電子透かし検出方法は、電子透かし検証側の構成によって画像データに対して実行される方法であって、前記電子透かし埋め込み方法によって画像データに埋め込まれたＩＤ情報を抽出し、データが埋め込まれているビットプレーンを特定するステップと、特定したビットプレーンからデータを抽出するステップとを有する。 - 特許庁

A latch circuit 10 for a scan-path is inserted into a combined circuit deep in logic to be divided into combined circuits 11, 12 having substantially same logical depth between flip flops 1-4 for the scan- path and the latch circuit 10, and a usual flip flop 9 operated in the usual operation is brought into a through condition, so as to shorten a final verifying pattern.例文帳に追加

論理が深い組み合わせ回路にスキャンパス用ラッチ回路１０を挿入して、スキャンパス用フリップフロップ１〜４及びスキャンパス用ラッチ回路１０間の論理の深さが略等しい組み合わせ回路１１、１２に分割すると共に、通常時に動作する通常フリップフロップ９をスルーとすることにより、最終的な検証パタンを短くする。 - 特許庁

A general user is able to verify the approval mark carried by the distributor by a general terminal 10 integrated with a verifying program, and when a Web page carrying the approval mark is different from the Web page decided at approval, it is judged that the approval mark is duplicated or altered, and it is displayed that the approval mark is illegal.例文帳に追加

一般ユーザは、検証プログラムが組み込まれた一般端末１０で配信者が掲載する許諾マークを検証することができ、許諾マークが掲載されているＷｅｂページと、許諾時に定めたＷｅｂページとが異なっている場合には、その許諾マークが複製、偽造等されたものであるとして、許諾マークが不正であることを表示する。 - 特許庁

A method for preventing a service reduction attack against a first wireless communication device by a second wireless communication device in a wireless communication system includes a step of verifying whether or not channel status information sent to a base station by the second wireless communication device corresponds to a true channel of the second wireless communication device using the base station.例文帳に追加

無線通信システムにおいて第２の無線通信デバイスによる第１の無線通信デバイスに対するサービス低下攻撃を防止する方法であって、前記第２の無線通信デバイスによって基地局へ送信されたチャネル状態情報が前記第２の無線通信デバイスの真のチャネルに対応するかどうかを前記基地局によって検証するステップを含む。 - 特許庁

An abnormality detection part 23 determines the possibility of abnormality based on the operating data of each device recorded in the recording part 22, selects at least two or more diagnostic operation menus for verifying the cause of the abnormality from a menu list 24, and makes the operation control part 21 perform a diagnostic operation for the diagnostic operation menu.例文帳に追加

異常検出部２３は、この記録部２２に記録された各機器の動作データに基づいて異常の可能性を判断すると共に、その異常原因を検証するための少なくとも２つ以上の診断運転メニューをメニューリスト２４から選択し、これらの診断運転メニューに対応した診断運転を運転制御部２１に実施させる。 - 特許庁

The method includes: a step for authenticating user account for a network application; a step for verifying the validity of a code which can be viewed on the real object or on accompanying materials of the real object; and a step for granting the user account access to the virtual object for use in the network application in response to the confirmation of the validity.例文帳に追加

ネットワークアプリケーションに対してのユーザアカウントを認証するステップと、実オブジェクト上又は実オブジェクトに付随する資料で見ることができるコードの正当性を検証するステップと、正当性の確認に応えて、ネットワークアプリケーションで用いる仮想オブジェクトへのユーザアカウントのアクセスを許可するステップとを備える方法が提供される。 - 特許庁

When a certificate verification request telegraphic message A101 is received, the certificate verification system apparatus 200 eliminates the need of network access processing and a latency required for the processing when it becomes necessary to confirm the invalid state of a certificate A102, thereby reducing the time required for verifying the invalid state of the certificate A102.例文帳に追加

証明書検証システム装置２００は、証明書検証要求電文Ａ１０１を受理した場合に、証明書Ａ１０２の失効状態を確認する必要が生じた際のネットワークアクセス処理および当該処理にかかる待ち時間を不要とすることで、証明書Ａ１０２の失効状態の検証にかかる時間を低減することができる。 - 特許庁

A priority determination part 1e selects at least one verification information for verifying a processing procedure described in design specifications of a design target, in response to a verification request for the processing procedure, and determines a parameter priority in response to a parameter indicating a condition restricting execution of the processing procedure possessed by the selected verification information.例文帳に追加

優先度決定部１ｅは、設計対象の設計仕様が備える処理手順の検証要求に応じて、処理手順を検証する検証用情報の少なくとも１つを選択し、選択した検証用情報が有する処理手順の実行を制約する条件を示すパラメータに応じてパラメータの優先度を決定する。 - 特許庁

When a dictionary verifying part 104 extracts the expressions of each concept stored in a dictionary 109 for information extraction from given document data, a condition setting part 106 sets whether morphemic analysis is to be performed to the document data for each concept, and stores the setting in the dictionary 109 for information extraction as a collation condition.例文帳に追加

そして、条件設定部１０６は、情報抽出用辞書１０９に格納された各概念がもつ表現を辞書検証部１０４が与えられた文書データ中から抽出する際、その文書データを形態素解析するかどうかを概念ごとに設定し、その設定を照合条件として情報抽出用辞書１０９に格納する。 - 特許庁

The ID card is provided which has a hidden information part having the hidden information, and allows the hidden information to be visualized by housing the card in the card case including the verification function part for visualizing the hidden information and verifying the content of the hidden information, and the card case for housing the ID card is also provided.例文帳に追加

隠し情報を有する隠し情報部が設けられていて、その隠し情報を可視化させてその内容を検証するための検証機能部が設けられているカードケース内に収納することによって隠し情報が可視化できるようになっていることを特徴とするＩＤカードと、そのＩＤカードを収納するためのカードケース。 - 特許庁

To provide a controller part operation verification device, a controller part operation verifying method, a recording medium, and a program which are more useful for users by enabling execution of various tests, such as continuous operation test of a controller part from the remote place, without the need for monitoring the controller part operation verification device in the vicinity.例文帳に追加

コントローラ部動作検証装置の近くで当該装置を監視する必要がなく、離れた場所からコントローラ部に関する連続動作試験などの各種試験を実施することを可能とする等、利用者にとってより利便性の高いコントローラ部動作検証装置、コントローラ部動作検証方法、記憶媒体、及びプログラムを提供する。 - 特許庁

To provide an education support system capable of providing information on education to a user, easily comprehending and verifying the actual conditions of education such as the level of understanding and learning state of users to be erducated, and supporting the education in an organization so as to be effectively and economically carried out.例文帳に追加

教育に関わる情報を単に利用者に提供するだけではなく、教育を受ける利用者らの理解の度合いや学習状況などの教育実態の把握が容易で、それらを容易に検証することができ、組織内での教育を効果的かつ経済的に運用するように支援できる教育支援システムを提供する。 - 特許庁

The second transceiver 4 attached to the second object has a second storage means for storing information relating to the second object and the first object, a verification means for verifying the information received from the first transceiver with the information stored in the second storage means, and a control means for performing prescribed control when verification is successful.例文帳に追加

第２の物体に取り付けられた第２の送受信機４は、第２の物体および第１の物体に関する情報を記憶する第２の記憶手段と、第１の送受信機から受信した情報と第２の記憶手段に記憶された情報とを照合する照合手段と、照合に成功した場合に所定の制御を行う制御手段とを有する。 - 特許庁

To provide a method for easily constructing a design supporting system which is provided with a design verification supporting device to be used for verifying the design of an object to be designed and a design changing device for changing the design and the design supporting system to be constructed by this method and a design verification supporting device to be used for this system.例文帳に追加

設計対象の設計の検証を行うために用いられる設計検証支援装置と設計変更を行う設計変更装置とを備える設計支援システムを容易に構築することができる構築方法、その方法によって構築される設計支援システム、及びそのシステムに用いられる設計検証支援装置の提供。 - 特許庁

It computes an optimum distribution system in cooperation with a voltage and current optimizing processor 9, a power loss minimizing, facility utilization factor equalizing, and supply reservability maximizing processor 10, a remote switch optimum arrangement processor 11, a voltage regulator optimum arrangement processor 12, a breaker optimum arrangement processor 13, and a verifying processor 14 on reliability for supply at accident.例文帳に追加

電圧電流適正化処理部９、電力ロス最小化・設備利用率均等化・供給予備力最大化処理部１０、遠制開閉器最適配置処理部１１、電圧調整器最適配置処理部１２、遮断器最適配置処理部１３、事故時供給信頼度検証処理部１４と連携して最適な配電系統を算出する。 - 特許庁

The presence or absence of electrical tree generation, and the status of electrical tree development are detected by detecting electromagnetic waves radiated by the partial discharging of the epoxy insulating part 21 of the electrical equipment 20a with the antenna 30, and by verifying the magnitude of antenna received voltage, in specific frequency components of 150-400 MHz within the detected electromagnetic waves with the sensor body 40.例文帳に追加

電気機器２０ａのエポキシ絶縁部２１の部分放電で放射される電磁波をアンテナ３０で検出し、検出された電磁波のうちの１５０ＭＨｚ〜４００ＭＨｚの特定周波数成分におけるアンテナ受信電圧の大きさをセンサ本体４０で検証することにより電気トリー発生の有無と進展状況を検出する。 - 特許庁

The verification device used as an operation model during logic simulation for verifying a logic circuit in LSI development is comprised of a means for automatically generating a operation parameter required for generating simulation patterns, and a means for a person in charge of the verification to set the operation parameter, and dynamically switches these means during the simulation.例文帳に追加

ＬＳＩ開発における論理回路を検証するための論理シミュレーションで用いられる動作モデルとなる検証装置に、シミュレーションパターン発生に必要となる動作パラメータを自動生成する手段と動作パラメータを検証担当者が設定する手段の２つを備え、また、その手段をシミュレーション中に動的に切り替えれるようにする。 - 特許庁

In the layout verification method of a semiconductor device for verifying a formation defect which occurs in wiring on a chip layout, an area ratio between the total area of the same node wiring on the chip layout and the total area of a contact hole on the same node wiring is limited and based upon the limitation, propriety is judged to detect the portion where the wiring formation is defective.例文帳に追加

チップレイアウト上の配線で発生する形成不良を検証する半導体装置のレイアウト検証方法であって、チップレイアウト上で同一ノード配線の総面積と同一ノード配線上のコンタクトホールの総面積との面積比を制限し、この制限に基づいて良否判定することにより配線形成不良箇所を検出する。 - 特許庁

In a content management server 4, a digest generator 62 compares a combined digest of the digest generated from the received content C1 and digests of the other contents C2, C3 included in the additional information and a time stamp generating time with a digest obtained by decoding the time stamp, thereby verifying the time stamp added to the content C1.例文帳に追加

コンテンツ管理サーバ４において、ダイジェスト生成部６２は、受信したコンテンツＣ１から生成したダイジェストと付加情報に含まれている他のコンテンツＣ２，Ｃ３のダイジェストとの結合ダイジェスト及びタイムスタンプ生成時刻と、タイムスタンプを復号して得たダイジェストとを比較することでコンテンツＣ１に付加されたタイムスタンプの検証を行う。 - 特許庁

The changing section changes, according to the monitored characteristics of the nonvolatile memory device, at least one of the respective increase ranges of a writing initiation voltage and a writing voltage in the writing processing in which a writing operation and a verifying operation are alternately repeated, so that a time required for the writing processing is in agreement with a desired value.例文帳に追加

変更部は、前記モニタされた前記不揮発性メモリデバイスの特性に応じて、前記書き込み処理に要する時間が目標値に一致するように、書き込み動作とベリファイ動作とが交互に繰り返される前記書き込み処理における書き込み開始電圧の値と書き込み電圧の増加幅との少なくとも一方を変更する。 - 特許庁

Does the Liquidity Risk Management Division review the appropriateness of the urgency level category of funds needs, the judgment criteria and the methods of management, reporting and decision-making in a regular and timely manner or on an as needed basis by conducting an impact evaluation under two or more stress scenarios and verifying the effectiveness of countermeasures from the following viewpoints, and conduct a revision thereof? 例文帳に追加

流動性リスク管理部門は、以下の観点から複数のストレス・シナリオ等による影響度評価及び対応策の実効性についての確認等を行うことにより、資金繰りの逼迫度区分、判定基準、管理手法、報告方法、決裁方法等が適切であるかを、定期的に又は必要に応じて随時、検証し、見直しているか。 - 金融庁

Where a right to priority is claimed under section 40 or 41 there shall be filed, with the application or within three months of the date of filing thereof, a certificate by the competent national authority verifying to the Controller's satisfaction the date and country of filing, the representation of the mark, the goods or services covered by the earlier application and its filing number.例文帳に追加

第40条又は第41条により優先権が主張される場合は，長官の納得するように，先の出願に係る出願日，出願国，標章の表示，商品又はサービス及び先の出願番号を確証する所轄国内当局による証明書が，出願と共に又は出願後3月以内に提出される。 - 特許庁

In addition to the statement of priority and copy of the previous application, there shall be filed with the application, or within 3 months of the filing date of the application, a copy of a certificate issued by a competent authority of the relevant Paris Convention country or WTO member verifying to the Registrar's satisfaction-- 例文帳に追加

先の出願の，優先権の陳述書及び写しに加え，出願と共に又は当該出願の出願日から3月以内に，関連するパリ条約加盟国又は世界貿易機関加盟国の権限を有する当局が発行する証明書であって，次の事項につき登録官が納得するように証明するものの写しを提出するものとする。(2004年L.N.38) - 特許庁

Every application presented to the Commissioner under section 65 or 66 shall (a) set out fully the nature of the applicant’s interest, the facts on which the applicant bases his case and the relief that he seeks; and (b) be accompanied by statutory declarations verifying the applicant’s interest and the facts set out in the application. 例文帳に追加

第65条又は第66条に基づいて長官に対してされる各申請は，次の事項を満たさなければならない: (a) 申請人の利害関係の内容，申請人の事件の根拠とする事実，及び申請人の求める救済を記載すること。(b) 申請書に記載された申請人の利害関係及び事実を証明する法定宣言書を添付すること。 - 特許庁

This apparatus for verifying the design of a semiconductor device controls an initiator 104 to issue transactions based on a parameter file 109 and an event file 110 and has a controller 107 that does not require a target, thereby eliminating the necessity of creating all function models and the necessity of test patterns, and enabling various simulation scenarios to be created easily.例文帳に追加

パラメータファイル１０９とイベントファイル１１０から、イニシエータ１０４のトランザクション発行を制御し、また、ターゲットの不要なコントローラ１０７を備えることにより、すべての機能モデルを作成する必要がなくなり、テストパターンが不要となり、様々なシミュレーションシナリオを容易に作成できる半導体装置の設計検証装置である。 - 特許庁

Data processing is carried out according to the content code under the conditions of acquiring the content code including the program and information to be applied to use the content, performing processing for verifying a digital signature in a content code storage file at the step before performing data processing according to the acquired content code, and confirming the validity of the file.例文帳に追加

コンテンツの利用に適用するプログラムまたは適用情報を含むコンテンツコードを取得し、取得コンテンツコードに従ったデータ処理を実行する前の段階において、コンテンツコードの格納ファイルに設定された電子署名の検証処理を実行し、ファイルの正当性が確認されたことを条件として、コンテンツコードに従ったデータ処理を実行する。 - 特許庁

To provide a selling space planning support system capable of forming an efficient selling space plan based on prediction by hypothesizing and setting various sales fluctuation factors of commodities in a selling space, accumulating traffic line data as purchasing actions of visitors, and verifying and analyzing the relationship between the both to perform a sales prediction.例文帳に追加

売場における商品の種々の売上げ変動要因を仮説設定すると共に、来店客の購買行動としての動線データを蓄積し、これらの関係を検証および分析して売上げ予測を行うことにより、予測に基づいた効率的な売場計画を立案することができる売場計画支援システムを提供する。 - 特許庁

In the method for verifying the menu design of a computer program comprises steps for: recognizing a plurality of menu nodes each associated with at least one attribute; making comparison between attributes of different menu nodes according to a use case, and showing whether there is conflict between the attributes of the different menu nodes as to the use case.例文帳に追加

コンピュータ・プログラムのメニュー設計を検証する方法は、複数のメニュー・ノードを識別するステップであって、各ノードが少なくとも１つの属性と関連するステップと、ユース・ケースに従って、異なるメニュー・ノードの属性を比較するステップと、ユース・ケースに対して異なるメニュー・ノードの属性間に競合が存在するかを示すステップとを含むことができる。 - 特許庁

The method also can include the steps of creating a time stamp in a transmitter station, transmitting the time stamp from the transmitter station to a receiver station, transmitting the time stamp from the receiver station to the transmitter station, receiving the time stamp in the transmitter station, and verifying the continuity of the bearer path.例文帳に追加

またこの方法は、発信局においてタイムスタンプを作成する工程と、そのタイムスタンプを発信局から着信局に送信する工程と、そのタイムスタンプを着信局から発信局に送信する工程と、そのタイムスタンプを発信局において受信する工程と、ベアラ・パスの接続性を検証する工程とを含むこともできる。 - 特許庁

An interface enables verifying of incorporating memory-macro design using a test interface, the test interface enables that an input signal from a tester of a half rate and a narrow word performs all memory macro- operation over width of a wide memory-macro input/output architecture (I/O) by comprising an on-chip test circuit being separated from a memory-macro.例文帳に追加

インターフェイスは、テストインターフェイスを用いて組込みメモリマクロ設計の検証を可能にし、該テストインターフェイスはメモリマクロと別々のオンチップテスト回路を含むことにより、ハーフレートで狭いワードのテスタからの入力信号が、広いメモリマクロ入力／出力アーキテクチャ（「Ｉ／Ｏ」）の幅をわたってすべてのメモリマクロ動作を行なうことを可能にする。 - 特許庁

The electronic device having a power supply means and a circuit board is provided with a voltage measuring circuit measuring a voltage applied to the circuit board and a diagnostic circuit verifying that the measuring circuit operates normally during operation of the electronic device on the basis of a voltage value measured by the measuring circuit and a reference value held in a storage means.例文帳に追加

本発明では、電源供給手段と回路基板とを有する電子装置で、回路基板に供給される電圧を測定する電圧測定回路と、電子装置稼動中に電圧測定回路が正常に動作していることを電圧測定回路が測定した電圧値と記憶手段が有する基準値とに基づき検証する診断回路を持たせた。 - 特許庁

In embodiment of the invention, the programming method of the nonvolatile memory device having a charge storage layer, a memory device, and a system, perform at least one unit programming loop, but each unit programming loop applies a programming pulse to at least two pages, applies time delay to the at least two pages, and applies a verifying pulse to the at least two pages.例文帳に追加

本発明の実施の形態による電荷保存層を有する不揮発性メモリ装置のプログラム方法、メモリ装置、システムは、少なくとも一つの単位プログラムループを遂行するが、各単位プログラムループは少なくとも二つのページにプログラムパルスを印加し、前記少なくとも二つのページに時間遅延を加え、前記少なくとも二つのページに検証パルスを印加する。 - 特許庁

A validity verifying part 25 verifies whether the ZP table in the ZP table storing part 22 is in consistency with the I/T table in the I/T table storing part 24, a message output part 26 outputs a message based on a verification result, and a ZP table output part 27 outputs a finally determined ZP table so as to be applied.例文帳に追加

そして、妥当性検証部２５が、ＺＰテーブル記憶部２２内のＺＰテーブルとＩ／Ｔテーブル記憶部２４内のＩ／Ｔテーブルとが整合するかどうかを検証し、メッセージ出力部２６が、検証結果に基づくメッセージを出力し、ＺＰテーブル出力部２７が、最終的に決定されたＺＰテーブルが適用されるように出力する。 - 特許庁

This system 10 for gathering the activity data to the products 12 displayed inside the sales shop is provided with at least one transaction terminal 18 for identifying the product presented for purchase and printing a detailed receipt and at least one remote price verifier 20 for verifying the price of the product independent of the terminal 18.例文帳に追加

販売店内に陳列されたプロダクト（１２）に対するアクティビティ・データを収集するシステム（１０）は、購入のために提示されたプロダクトを識別して、明細書き領収書を印刷する少なくとも１つの取引端末（１８）と、前記端末とは独立してプロダクトの価格検証を可能とする少なくとも１つの遠隔的な価格検証器（２０）とを備える。 - 特許庁

The communication device comprises a communication part performing communication through a network, a database part storing route certificate data, and a control part performing control to supply address information of a server device managing content, a processing instruction of content and route certificate data for verifying server certificate data of the server device to an external device on the network through the communication part.例文帳に追加

ネットワークを介して通信を行う通信部と、ルート証明書データを格納するデータベース部と、コンテンツを管理するサーバ装置のアドレス情報と、コンテンツの処理命令と、サーバ装置のサーバ証明書データを検証するためのルート証明書データを通信部を介してネットワーク上の外部装置に供給するべく制御する制御部とをもつ通信装置。 - 特許庁

Automatic layout and wiring method of a semiconductor integrated circuit is provided with a step for deciding a wiring route, while a via shape and the number of vias are considered based on information, where layout design is terminated in outline wiring, a step for estimating the number of use wirings for each outline wiring search unit and a step for verifying the result.例文帳に追加

半導体集積回路の自動配置配線方法は、概略配線において、配置まで終了した設計情報に基づき、ビア形状／個数を考慮しながら配線経路を決定するステップと、概略配線探索単位ごとに使用配線本数を見積もるステップと、その結果を検証するステップを備えるようにした。 - 特許庁

The method for screening the compound for preventing, mitigating or treating the pancreatic islet lesion of the pancreas includes verifying the regulatory effect exhibited by a test compound against the expression of 4F2hc induced by the contact of a human peripheral blood mononucleosis or a human established cell line having properties of a human monocyte or a human macrophage, with a macrophage-activating material.例文帳に追加

ヒト末梢血単核球またはヒト単球もしくはヒトマクロファージの性質を有するヒト培養細胞樹立株と、マクロファージ活性化物質とが接触して惹起される４Ｆ２ｈｃの発現に対して被検化合物が示す調節作用を検定することを特徴とする膵臓の膵島病変を予防、緩和または治療する化合物のスクリーニング方法。 - 特許庁

When the RAM-BIST control circuit 101 is operated by a logical simulator 100 to check the RAM macro 102, an address, input data, chip enable and write enable generated by the RAM-BIST control circuit 101 are monitored by an RAM checking area verifying circuit 104, and the decision of an area to be checked is executed in every test sequence.例文帳に追加

論理シミュレータ１００によりＲＡＭ−ＢＩＳＴ制御回路１０１を動作させてＲＡＭマクロ１０２を検査する際に、ＲＡＭ−ＢＩＳＴ制御回路１０１が生成するアドレス、入力データ、チップイネーブル、ライトイネーブルをＲＡＭ検査領域検証回路１０４でモニタし、テストシーケンスごとに被検査領域の判定を行う。 - 特許庁

Furthermore, the digital signature verifying apparatus 20 applies NTRU signature verification, in a determined order corresponding to processing in the digital signature generating apparatus, to a verification polynomial that is a second normal polynomial resulting from normalizing a signature polynomial as a signature based on L, or verification polynomials, resulting from sequentially deforming the second normal polynomial based on the r(x).例文帳に追加

また、デジタル署名検証装置２０は、Ｌに基づき、署名である署名多項式を正規化した第２の正規多項式である検証多項式、或いは上述のｒ（ｘ）に基づき第２の正規多項式を順次変形した検証多項式を、デジタル署名生成装置での処理に対応する既定の順序でＮＴＲＵ署名検証する。 - 特許庁

The control unit performs control to repeat a writing operation for applying a writing pulse voltage to a selected memory cell for data writing, a writing verify operation for verifying whether the data writing is finished or not, and a step-up operation for increasing the writing pulse voltage by a predetermined step-up voltage when the data writing is not finished.例文帳に追加

制御部は、データ書き込みのため選択メモリセルに対し書き込みパルス電圧を印加する書き込み動作、データ書き込みが完了したか否かを確認する書き込みベリファイ動作、及びデータ書き込みが完了しなかった場合に書き込みパルス電圧を所定のステップアップ電圧の分だけ上昇させるステップアップ動作を繰り返す制御を司る。 - 特許庁

A ROM area 3 whereon a verifying soft 31 showing that the disk is a proper disk and not an illegally duplicated disk, the ciphering soft 32 using for the ciphering operation and the deciphering soft 33 using for the deciphering operation are preliminarily recorded and formed, and a recordable area 2 for recording and forming a ciphered file 21, are provided in this information recording medium.例文帳に追加

不正に複製されたディスクではなく当該ディスクが真正なディスクであることを示す認証ソフト３１と、暗号化に使用する暗号化ソフト３２と、復号化に使用する復号化ソフト３３とを予め記録形成したＲＯＭ領域３と、暗号化したファイル２１を記録形成する記録可能領域２とを有している。 - 特許庁

Every time when the commodity 5 passes through the distribution base 1, a base code calculated from the orthogonal code assigned to the distribution base 1, though which the commodity 5 passes, is added to the trace information stored in the RFID 6 adhered on the distributed commodity 5, so as to create the trace information utilized when verifying the traceability of the commodity 5.例文帳に追加

商品５が流通拠点１を通過するごとに、商品５が通過する流通拠点１に割当てられた直交符号から算出される拠点符号が、流通する商品５に張られたＲＦＩＤ６に記憶されたトレ−ス情報に加算され、商品５のトレ−サビリティを検証するときに利用されるトレ−ス情報が生成される。 - 特許庁