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

To enhance reliability of data transfer by verifying the correct transfer of a secret key, in a data transfer method where the secret key used for encrypting information data is encrypted by a public key encryption and the information data and the secret key are both transferred.例文帳に追加

情報データの暗号化に用いた秘密鍵を公開鍵暗号方式で暗号化して共に転送するデータ転送方法において、秘密鍵が正しく転送されたことを検証するようにしてデータ転送の信頼性を向上させる。 - 特許庁

This mask pattern verifying device is provided with a processor 1, a keyboard 2, a mouse 3, a storage device 4, and a display device 5, and configured to advance the retrieval of a current path with a constant potential only for prescribed current path length in one step.例文帳に追加

処理装置１と、キーボード２と、マウス３と、記憶装置４と、表示装置５とを備え、同一電圧の電流経路を検索するマスクパターン検証装置は、１ステップで所定の電流経路長だけ検索を進めるようになっている。 - 特許庁

To verify whether or not a part which should not be replaced is changed and to avoid being determined that a latch circuit, etc., not relating to logic is inconsistency in a re-order process when verifying a logical equivalence property of a net list after re-ordering in logical designing of a semiconductor integrated circuit.例文帳に追加

半導体集積回路の論理設計においてリオーダー後のネットリストの論理等価性検証を行うとき、リオーダーによって行われたスキャンフリップフロップ回路の置き換えが論理等価性不一致と判定され、誤ったエラー表示がなされる。 - 特許庁

To provide an electronic data storage system, a history verifying device, an electronic data storing method and a recording medium by which electronic data can be prevented from being fraudulently altered or erased and detecting erasure and alteration of electronic data and capable of securing the original record performance of the electronic data can be secured.例文帳に追加

電子データの改ざん、消去の防止及び検知を可能にするとともに、電子データの原本性を確保することのできる電子データ保管システム、履歴検証装置、電子データ保管方法及び記憶媒体を提供すること。 - 特許庁

To perform the real-time statistic operation of a traffic volume by the unit of an aggregated path corresponding to an autonomous system number (AS number) for verifying the operation of a path setting protocol and analyzing the traffic tendency of the aggregated path by each provider.例文帳に追加

ＩＰネットワーク上で経路設定プロトコルの動作検証や各プロバイダ別の集約経路のトラフィック動向を解析するため、自律システム番号（ＡＳ番号）に対応する集約経路の単位でトラフィック量のリアルタイム統計動作を可能にする。 - 特許庁

A management/preceding calculator 100 divides a processing content into a plurality of sections, preserves processing states at division points in performance, and copies the divided processing contents by each section, so as to transfer the contents to inexpensive verifying calculators 120a, 120z.例文帳に追加

管理／先行計算機１００は、処理内容を複数区間に分割し、実行時に分割点で処理状態を保存するとともに、分割した処理内容を低コストな確認計算機１２０ａ、１２０ｚに一区間ずつ複製して転送する。 - 特許庁

To allow a disconnection/short circuiting of an adjacent pattern from first formed circuit board to be verified, without depending a verifying accuracy on the probing position to a pattern end point and without collecting non- defective product data to be previous decision reference.例文帳に追加

パターン端点に対するプロービング位置によって検査精度が左右されることがなく、また、予め判定基準となる良品データを収集することなく、作成された回路基板の１枚目から隣接パターンの断線・短絡検査を可能とする。 - 特許庁

To provide a quality verification method of an underwater weld section for verifying the quality of a water sealability of the weld section in an underwater welding work, reducing a construction schedule and a construction cost, and improving the reliability of the water sealability.例文帳に追加

水中接合作業においてその接合部の遮水性能の品質確認ができ、工期の短縮、工費の節減が可能となり、かつ遮水性能に対して信頼性を高められる水中溶着部の品質確認方法を提供する。 - 特許庁

To provide a device for evaluating plans to develop and sell products that is useful in verifying an evaluation value for a plan to develop and sell a product, at the stage of planning prior to the execution of the plan.例文帳に追加

商品開発販売計画を実行する前の企画段階において、商品開発販売計画に対する評価値がどのような値になるかということについての検証を行うときに有用な商品開発販売計画の評価装置を提供する。 - 特許庁

To solve the problem that a user is kept waiting for proper contents to be reproduced until the verification result of propriety is obtained and to limit the reproduction of illegal contents without improving the propriety verifying processing performance for contents on a reproducing device side.例文帳に追加

再生装置側のコンテンツの正当性検証処理能力を向上させなくとも、ユーザが正当なコンテンツの再生を正当性の検証結果が出るまでの間待たされるという不都合を解消し、かつ、不正なコンテンツの再生の制限を可能とする。 - 特許庁

A verification means 11c is mounted on the secure module 11 to supply predetermined information to the decryption means 10a and refer to resultantly returned information for verifying the decryption means 10a.例文帳に追加

正当性検証手段１１ｃは、セキュアモジュール１１上に実装され、暗号化処理解除手段１０ａに対して所定の情報を供給し、その結果として返答される情報を参照し、暗号化処理解除手段１０ａの正当性を検証する。 - 特許庁

To verify simultaneously these RAMs by a checker system for a short time by generating a verifying signal for each RAMs of which the number of columns is different, in a semiconductor integrated circuit provided with storage devices such as SRAM, DRAM, or the like of which the number of columns is different.例文帳に追加

カラム数が異なるＳＲＡＭ、ＤＲＡＭ等の記憶装置を備えた半導体集積回路において、これらのカラム数が異なるＲＡＭ別に検証信号を生成して、これ等ＲＡＭを同時にチェッカー方式により短時間で良好に検証する。 - 特許庁

To detect an illegal connection between a higher layer and a lower layer by verifying the connection between the higher and lower layers including their logical connection when the lower layer in the circuit description of a logic circuit is constituted as a black box and the logic is verified.例文帳に追加

論理回路の回路記述における下位階層をブラックボックス化して論理検証するとき、上位階層と下位階層間の接続を論理接続を含めて検証することにより、上位階層と下位階層間の接続不正を検出可能にする。 - 特許庁

An observation characteristic verifying means 4 evaluates observation precision of the radar rainfall amount observed by the individual radar rain gage, using the selected ground rainfall amount observation point, a polar coordinate radar integration rainfall amount image, the index value analysis, ZR analysis and distance characteristic analysis.例文帳に追加

観測特性検証手段４は、個別レーダ雨量計により観測されたレーダ雨量の観測精度を選定された地上雨量観測地点、極座標レーダ累加雨量画像、指標値解析、ＺＲ解析、距離特性解析を用いて評価する。 - 特許庁

The means for verifying the state of ejection 15 is arranged in a case 16 constructing a base member and composes an optical unit having a radiation module 17 for projecting a converging light and a module 18 for receiving the light which receives the converging light from the radiation module.例文帳に追加

この吐出状態検証手段１５は、ベース部材を構成するケース１６内に配置されて収束光を投射する発光モジュール１７と、発光モジュールからの収束光を受光する受光モジュール１８を備えた光学的ユニットを構成している。 - 特許庁

A transmitting station 1 transfers data in the form of a frame containing suitability verification information for verifying the suitability of the frame and a receiving station 2 is provided with a means 11 for receiving the data and confirming the frame on the basis of corresponding suitability verification information.例文帳に追加

送信局１はフレームの妥当性検証のための妥当性検証情報とを含むフレームの形状でデータを転送し、受信局２は前記データを受信し、対応する妥当性検証情報に基づいてフレームを確認する手段１１を含む。 - 特許庁

A verifying system 20 comprises a sensor panel 200 having a thin film transistor (TFT) to constitute a sensor element, a computer 21, a probe 22 for supplying verification signal to the circuit wiring 101, and a selector 23 for switching the supply of the signal to the probe 22.例文帳に追加

検査システム２０は、薄膜トランジスタ（ＴＦＴ）でセンサ要素を構成したセンサパネル２００と、コンピュータ２１と、回路配線１０１に検査信号を供給するためのプローブ２２と、プローブ２２への検査信号の供給を切り替えるセレクタ２３と、を備える。 - 特許庁

To provide a method for verifying the integrity of data from receiving the data until the end of data storage period in long-term archive services, wherein the purpose of the long-term archive services is to prevent data presence denial and to support data integrity and a data origin.例文帳に追加

長期アーカイブサービスの目的は、データの存在否認の防止、データ保全性、およびデータオリジンをサポートすることであり、長期アーカイブサービスは、データを受け入れた時からデータの保管期間の終了時まで、データの保全性を検証する方法を提供する。 - 特許庁

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 an optical correlation system capable of verifying an image to be detected and a plurality of detected images simultaneously with high precision by avoiding overlap between a 0-dimensional light and an optical correlation signal from the detected image on a light receiving surface.例文帳に追加

本発明では、被検出画像からの０次光と光相関信号との受光面上での重なりを回避して検出対象画像と複数の被検出画像とを同時に高精度で認証することができる光相関システムを提供することを目的とする。 - 特許庁

Biometrics information is entered, and the entered biometrics information is integrated into template data, and the template data-integrated biometrics information is authenticated by verifying the template data-integrated biometrics information stored in a reference information storing part with a reference.例文帳に追加

バイオメトリックス情報を入力し、入力されたバイオメトリックス情報をテンプレートデータ化処理し、テンプレートデータ化処理されたバイオメトリックス情報を、基準情報保持部に保持されたテンプレート化されたバイオメトリックス情報を基準に照合して認証処理する。 - 特許庁

To provide a method for verifying pattern data of a semiconductor device for appropriately deciding whether the allowable error of design data of a pattern to be formed in a lithographic process using at least two masks is within an appropriate range or not by the use of simulation.例文帳に追加

少なくとも２枚のマスクを用いるリソグラフィ工程において、形成されるパターンの設計データの許容誤差が適正な範囲内であるか否かをシミュレーションを利用して適正に判断する半導体装置のパターンデータの検証方法を提供する。 - 特許庁

A contract confirming part 36 confirms whether or not the address is a contract address, and advances to a verifying part 38 of an upper limit value when the address is the contract address, and when the address is not the contract address, an ID contract confirming part 40 confirms whether or not the user is a contractor by urging input of contract ID.例文帳に追加

契約確認部３６で契約アドレスかどうか確認し、契約アドレスであれば上限値の検証部３８へ進み、契約アドレスでなければＩＤ契約確認部４０で契約ＩＤの入力を促し、契約者であるか否か確認する。 - 特許庁

To provide a signature generation method and a signature verification method for verifying that video data recorded in real time for a long time is not falsified, and allowing a third party to verify that the data is continuously recorded in a time-series manner, and no block is removed or replaced, or the like.例文帳に追加

長時間、かつリアルタイムで記録される映像データが改ざんされていないことの証明に加え、時系列に連続記録され、中抜きや差し替え等がないことを第三者に証明可能とする署名生成方法、署名検証方法を提供する。 - 特許庁

Accordingly, the distance between the action line of force in parallel with the ball flying direction passing the hitting point and the center of the hitting part can be taken large, thus the quantity of deviation is made noticeable, and the effect of training in a square swing can be improved by verifying those.例文帳に追加

これにより、打撃点を通る飛球線方向に平行な力の作用線と打撃部の中心との距離が大きくとれることとなり偏心量を顕著にでき、これらを検証することによってスクウェア・スウィングの練習効果を向上させることができる。 - 特許庁

A barcode reading tool includes: reading the identity data and the digital signature barcode symbols using a barcode reader; displaying the identity data and the digital signature on a display device; verifying the digital signature; and displaying verification results on a display device.例文帳に追加

バーコード読み取りツールは、バーコード・リーダを使用して、前記身元データ及び前記デジタル署名のバーコード・シンボルを読み取り、前記身元データ及び前記デジタル署名をディスプレイ装置上に表示し、前記デジタル署名を検証し、検証結果をディスプレイ装置上に表示する。 - 特許庁

To provide a method for verifying a semiconductor integrated circuit device to continue function verification without waiting until the failure of a functioning block is finally corrected, and to realize the shortening of the function verification period of the semiconductor integrated circuit device.例文帳に追加

機能ブロックの不具合を最終的に修正するまで待つことなく機能検証を続けることができ、半導体集積回路装置の機能検証期間の短縮化を実現することができる半導体集積回路装置の検証方法を提供する。 - 特許庁

To verify timing of worst or best-case simulation after obtaining the result of highly accurately extracting a parasitic element allowing for wiring shape variations occurring in an LSI at random, when verifying timing allowing for variations in a manufacturing process for a semiconductor integrated circuit.例文帳に追加

半導体集積回路の製造プロセスばらつきを考慮したタイミング検証を行なう際、ＬＳＩ内でランダムに発生する配線形状ばらつきを考慮して高精度に寄生素子抽出の結果を得てワースト又はベストケースシミュレーションのタイミング検証を行なう。 - 特許庁

To provide an information terminal for surely detecting alteration in various programs while shortening a time to start an OS by setting a priority order for verifying the alternation for each of various programs.例文帳に追加

本発明は、各種プログラム毎に改竄の有無を検証すべき優先順位を設定してＯＳを起動するまでの起動時間の短縮を図りつつも、各種プログラムに生じた改竄を確実に検出することができる情報端末を提供することを目的とする。 - 特許庁

To provide a man-machine interface theoretically verifying an internal quantum ratio and biological protoscientific phenomena related to the consciousness or unconsciousness by detecting then internal quantum ratio to which a biological quantum ratio and a nonlocal quantum ratio are related, as a visual motion of the consciousness cognitive science.例文帳に追加

体内量子比および意識・無意識に関わる生体未科学現象を理論的に検証するため、生体量子比、非局所性量子比が関わる体内量子比を意識認知科学的な視的動作として検知できるマンマシーンインターフェースが求められている。 - 特許庁

The control unit outputs an optical signal for testing the dummy signal transmission unit, according to a fault search instruction outputted from a monitoring terminal and confirms the reception of the optical signal for testing via the signal monitoring unit, thereby verifying the alarm information stored in the log memory unit.例文帳に追加

制御部は、監視端末が出力する障害探索指令に応じて、ダミー信号送信部の試験用光信号を出力し、信号モニタ部で試験用光信号の受信を確認することでログ記憶部に記憶されている警報情報を検証する。 - 特許庁

A logic verification system 200 comprises an input section 201, a generating section 202, an input constraint information computing section 203, an output constraint information computing section 204, an input/output constraint information computing section 205, a judging section 206, and a logic verifying section 207.例文帳に追加

論理検証装置２００は、入力部２０１と、生成部２０２と、入力制約情報算出部２０３と、出力制約情報算出部２０４と、入出力制約情報算出部２０５と、判定部２０６と、論理検証部２０７と、を備えている。 - 特許庁

An application under section 26(2) of the Act for a further certificate of registration shall be made in form 26, and shall be accompanied by evidence setting out in full and verifying the circumstances in which the original certificate of registration was lost or destroyed or cannot be produced.例文帳に追加

登録証再発行についての法第26条(2)に基づく申請は様式26を使用して行うものとし，原登録証を滅失若しくは毀損したか又は提出できない事情を詳述し，かつ，証明する証拠を添付しなければならない。 - 特許庁

This system is provided with a virtual plant preparing means 22 for preparing a virtual plant, with which a plant is made into data model, and a simulation means 23 for verifying production conditions and physical distribution conditions at least by making that prepared virtual plant 21 perform production simulation.例文帳に追加

工場をデータモデル化した仮想工場を作成する仮想工場作成手段２２と、その作成された仮想工場２１に疑似生産を行わせて少なくとも生産状況および物流状況を検証するシミュレーション手段２３とを備える。 - 特許庁

To provide an on-vehicle equipment remote controller capable of preventing the taking-away of a portable equipment while a vehicle is in a used state by verifying the location of the portable equipment in the vicinity of the vehicle if the vehicle is in a used state.例文帳に追加

本発明は、車両が使用状態である場合に携帯機が車両の近傍にあることを確認することにより、車両使用状態で携帯機が持ち去られるのを防止する車載機器遠隔制御装置を提供することを目的とする。 - 特許庁

To provide a method or device for displaying data capable of evaluating and verifying whether or not allocation operation is properly executed in allocation control selecting an elevator car for a hall call by an allocation evaluation index containing two or more allocation evaluation items.例文帳に追加

複数の割当て評価項目を含む割当て評価指標により、乗り場呼びにエレベータかごを選択する割当て制御において、割当て動作が適正に実施されているかどうかを評価、検証できるデータ表示方法または装置を提供する。 - 特許庁

An attachment verifying print pattern (S) is formed on a prize-application label (1) in a label attaching process for attaching the label (1) to an article package in order to certify the label (1) as a one attached to the packaged article (6) and good for the prize-winning competition.例文帳に追加

応募された懸賞応募用ラベル（１）が商品包装体（６）に係着されていたラベルであることを認証するために、該ラベル（１）を商品包装体に係着するラベル係着工程において、該ラベル（１）に係着証明印影（Ｓ）を表出させる。 - 特許庁

This makes it possible to achieve the operation verification system without requiring hardware for verifying programs in a way that groups peripheral devices into real devices and virtual devices and to construct in a short time the system that performs level verification and time verification.例文帳に追加

これによって、周辺デバイスを実機デバイスと仮想デバイスに分けたプログラム検証を行うためのハードウェアを必要とせずに動作検証システムを実現することができ、レベル検証と時間検証とを行うシステムを短期間で構築することができる。 - 特許庁

To provide a verification method of electron beam lithography data for surely and rapidly verifying the multiplicity of drawing data after creating the lithography data for multiplex lithography; and to provide a verification device, a verification program, and an electron beam lithographic device.例文帳に追加

多重描画用の描画データを作成した後に、その描画データの多重度について確実且つ迅速に検証できる電子線描画データの検証方法、検証装置及び検証プログラム並びに電子線描画装置を提供することを目的とする。 - 特許庁

To enable the use of elements in a spare region as spare elements after verification of a semiconductor testing apparatus, by electrically providing defective elements, without physically destroying the elements, in a semiconductor device for verifying a semiconductor testing apparatus that tests the semiconductor device.例文帳に追加

半導体装置を試験する半導体試験装置を検証するための半導体装置において、素子を物理的に破壊せずに電気的に不良素子を設け半導体試験装置の検証後スペア領域の素子をスペア素子として使用することができるようにする。 - 特許庁

A content information verification device for generating a parameter file containing a verification result obtained by verifying whether a real content matches a temporary content, and a playlist composing device for composing a playlist by using the obtained parameter file is provided.例文帳に追加

暫定的なコンテンツに実コンテンツが適合するか否かを検証して得られた検証結果を含むパラメータファイルを生成するコンテンツ情報検証装置から取得した前記パラメータファイルを用いてプレイリストを編成するプレイリスト編成装置が提供される。 - 特許庁

(2A) The Registrar may at any time require the applicant to file a certificate by the registering or other competent authority of the country or territory concerned certifying or verifying to the satisfaction of the Registrar -例文帳に追加

(2A)登録官は，何時でも出願人に対し，登録官を納得させるために，証明又は立証についての権限を持つ当該国又は当該地域の登録局又はその他の所轄官庁が発行する次の証明書の提出を求めることができる。 - 特許庁

When accessing normal cell areas 200 simultaneously, in response to the replacement of the memory blocks MB1 and MB2 by redundancy memory cells, the redundancy determining circuit 100 supplies pass signals P1 and P2 indicating memory blocks where replacement is performed to the verifying circuit 22.例文帳に追加

冗長判定回路１００は、通常セル領域２００に同時にアクセスする場合、メモリブロックＭＢ１，ＭＢ２が冗長メモリセルに置換されていることに応答して、置換が行われているメモリブロックを示すパス信号Ｐ１，Ｐ２を検証回路２２に供給する。 - 特許庁

To provide a function capable of changing the verifying method of a user or refusing a data transmission/reception request on the basis of the lapse of time from the last data transmission/reception when a user is to issue the data transmission/reception request to a computer while using a terminal.例文帳に追加

使用者が端末を使用してデータ送受信要求を計算機に発行する際に、前回のデータ送受信からの経過時間に基づき、使用者の認証方法を変化させたりデータ送受信要求を拒否したりすることができる機能を実現する。 - 特許庁

To solve the problem that an increase in the state number of a target results in a significant increase in a man-hour or a time for creating a test scenario for verifying the operation of the target because the number of state transition procedures for defining transition between states is increased with an increase in the number of states.例文帳に追加

ターゲットの状態数が多くなると、状態間の遷移を定義する状態遷移手続の数が状態数の増加と共に膨大になってしまい、ターゲットの動作検証のためのテストシナリオを作成する工数や時間が大幅に増大する。 - 特許庁