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

A verification unit 222 acquires expiration information of an electronic certificate from a certificate authority 4 and confirms the validity of the electronic certificate and confirms whether a signature object has been altered or not to verify signed electronic data and stores the verification results in the memory 23.例文帳に追加

検証部２２２は、電子証明書の失効情報を認証局４から取得し、当該電子証明書の有効性を確認するとともに署名対象に改ざんがないかを確認して署名済み電子データの検証を行い、検証結果を記憶部２３に記憶させる。 - 特許庁

To provide a verifier which is put on a forgery preventive medium 1 composed of a retardation film 13 on a light reflecting film 12 to inspect the reflected light to verify the true or false, or authenticity, and which can clearly observe a changes in the brightness regardless of the intensity of ambient light.例文帳に追加

光反射膜１２の上に位相差膜１３を設けて構成される偽造防止媒体１に重ね、その反射光を検査して、真偽又は真贋を検証する検証器であって、周辺光の強度によらず明暗の変化を明瞭に観察することができる検証器を提供する。 - 特許庁

To provide an image verifying method and an image verifying apparatus that verify an origin of a captured image without using additional information and a special circuit by using, as an image signal to be verified, a captured image signal having, as electronic watermark information, defective pixel position information of image capturing elements and defective pixel interpolation method.例文帳に追加

撮像素子の欠陥画素位置情報と欠陥画素補間方法とを電子透かし情報とする撮像画像信号を検証対象画像信号とすることで、撮像された画像の出自を付加情報や特別な回路や処理を有することなく検証する。 - 特許庁

A state control section 13 can verify a state change in the verification environment, such as power source ON/OFF and Link UP/DOWN without a person in charge of verification going up to the installation place of the communication apparatuses by controlling a power supply converter 40 a link switch 50 to change states of the verification environment.例文帳に追加

また、状態制御部１３が、電源コンバータ４０、リンクスイッチ５０を制御して検証環境の状態を変化させることで、検証担当者が通信機器の設置場所まで行くことなく、電源ＯＮ／ＯＦＦ、ＬｉｎｋＵＰ／ＤＯＷＮなどの検証環境の状態変化を検証することが可能となる。 - 特許庁

To aim to build a logic verification environment in which execution of a complex request to a competitive resource can be arbitrarily and reliably generated so as to verify operations of an arbitration device for arbitrating requests in a system in which multiple processors independently perform access to the competitive resource.例文帳に追加

複数のプロセッサが、競合リソースへ独立してアクセスを行うシステムにおいて、リクエストを調停する調停装置の動作を検証するために、競合リソースへの複雑な要求の実行を、任意にかつ確実に発生可能とする論理検証環境を構築することを目的とする。 - 特許庁

A user terminal which is going to search the attribute value restores the mask ID answered from unspecified many user terminals including other user terminals using the attribute value which is desired to be searched, and can correctly verify when a signature is returned together with the mask ID if the attribute values agree.例文帳に追加

属性値を探索しようとするユーザ端末は、他のユーザ端末を含む不特定多数のユーザ端末から返信されるマスクＩＤを探索したい属性値を用いることにより復元し、マスクＩＤと共に返信される署名を、その属性値が一致したときに正しく検証できる。 - 特許庁

This system is provided to photograph the face image of a user identified by ID identification based on ID information inputted by the user in an input terminal 2, and to verify the identity of the user by a face recording server 3 according to face collation using the face image.例文帳に追加

この発明は、入力端末２においてユーザが入力したＩＤ情報によるＩＤ認証で認証されたユーザの顔画像を撮影し、その顔画像を用いた顔照合により顔記録サーバ３で当該ユーザが本人であるか否かを確認するようにしたものである。 - 特許庁

To provide a method for recording information to an optical disk which can accurately read individual information included in bar codes and precisely verify information to be written with information written in any optical disks having data-bearing surfaces of multilayer or monolayer.例文帳に追加

記録面が複層、又は単層のいかなる光ディスクにおいても、正確にバーコードに含まれる個別情報を読み取り、書き込むべき情報と書き込まれた情報との照合を正確に行うことができる光ディスクヘの情報記録方法及び情報記録装置を提供する。 - 特許庁

The NOR flash memory reading method is used in an embedded Linux operating system to verify cyclic redundancy check values, and then determine whether repeated readout of journaling file system data is continued, based on a threshold of the number of repeated readout operations set for a counter in advance.例文帳に追加

本発明は、ＮＯＲフラッシュメモリの読み取り方法を提供し、組込み式Ｌｉｎｕｘオペレーションシステムで使用され、巡回冗長検査値を照合し、カウンタに予め設けられた繰り返し読み取り回数の閾値により、ジャーナリングファイルシステムデータの繰り返し読み取りを継続するか否かを決定する。 - 特許庁

In operation of write-verify in which it is determined whether programming is performed appropriately for a memory cell or not during write operation, the number by which a page latch circuit 175 is not reset by a page latch data read-out circuit 178, that is, the number of memory cells by which write is not yet finished is counted by a counter 179.例文帳に追加

書き込み動作中に、メモリセルに適正にプログラムされているか判定する書き込みベリファイ時に、ページラッチデータ読み出し回路１７８によってページラッチ回路１７５がリセットされていない数、つまり書き込みが終了していないメモリセルの数をカウンタ１７９でカウントする。 - 特許庁

For each path found, a verification scenario is generated to verify transactions of the access-origin hardware block for a case where access to an address range assigned to the access-destination hardware block occurs, and the verification scenario is output being correlated with the path that corresponds thereto.例文帳に追加

そして、探索されたパスごとに、アクセス先のハードウェアブロックに割り当てられたアドレス範囲へのアクセスが発生した場合における、アクセス元のハードウェアブロックのトランザクションを検証するための検証シナリオを作成し、その検証シナリオを当該検証シナリオに対応するパスと関連付けて出力する。 - 特許庁

To provide a method of clarifying the immunological feature of breast adenoma complication MG and easily and rapidly diagnosing the existence of the breast adenoma complication in an MG patient, and to verify the involvement of didydro pyridine receptor antibody (DHPR antibody) in an excitation contraction related defect.例文帳に追加

胸腺腫合併ＭＧの免疫学的特徴を解明し、ＭＧ患者における胸腺腫合併の有無を簡便かつ早期に診断する方法を提供するとともに、興奮収縮連関障害におけるジヒドロピリジン受容体抗体（ＤＨＰＲ抗体）の関与を検証する。 - 特許庁

To provide a removal effect measurement system that can measure removal effects of radioactive iodine in an iodine gas removal air filter by using test methyl iodide gas and that can verify the removal effects of the radioactive iodine in the filter with high reliability and credibility.例文帳に追加

試験用ヨウ化メチルガスを使用してヨウ素ガス除去エアフィルタにおける放射性ヨウ素の除去効果を測定することができ、高い信頼性や高い信憑性でフィルタの放射性ヨウ素の除去効果を検証することができる除去効果測定システムを提供する。 - 特許庁

A latch holding program data and a circuit resetting selectively data of the latch are provided in a program circuit performing program of a memory cell and program-verify, and good threshold voltage distribution can be obtained by activating the reset circuit by an output result of a sense amplifier.例文帳に追加

メモリセルのプログラムとプログラムベリファイを行うプログラム回路にプログラムデータを保持するラッチと、ラッチのデータを選択的にリセットする回路を設け、センスアンプの出力結果によってラッチリセット回路を活性化することにより、良好なしきい値電圧分布を得ることができる。 - 特許庁

When you run a debugging session, the debugger windowsenable you to keep track of variable and expression values as you step through code, examine the call stack of an executing thread, verify source URL's, and switch between sessions if you are running concurrent debugging sessions.例文帳に追加

デバッグセッションを実行するときは、デバッガウィンドウで、コードをステップ実行しながら変数と式の値を追跡したり、実行中のスレッドの呼び出しスタックを確認したり、ソース URL を確認したり、また複数のデバッグセッションを同時に実行している場合はセッション間を切り替えたりできます。 - NetBeans

For example, it is impossible to verify a financial institution's self-assessment of all assets and transactions; there is no guarantee that such verification performed at a certain point will ensure the appropriateness of the management of future financial risks which substantially change in a short period of time. 例文帳に追加

例えば、金融機関の自己査定の検証において、全ての資産や取引を検証することは可能ではなく、一時点でのそうした検証により、短期間で大きく変動する金融リスクについて、将来にわたるその管理の適切性が確保されるとは限らない。 - 金融庁

(Note 2) If serious problems are found in the effectiveness of internal audits, bear in mind that it is necessary to thoroughly verify whether or not there are any problems in the internal control functions, considering that internal audits are processes for examining the appropriateness and effectiveness of internal control functions, etc. 例文帳に追加

（注２）内部監査の有効性に重大な問題が認められる場合には、内部監査が内部管理態勢等の適切性及び有効性を検証するプロセスであることに鑑み、内部管理態勢に問題がないかについて十分な検証が必要となることに留意する。 - 金融庁

There have been a limited number of cases where the inspected firms were not forthcoming in improving the deficiencies identified by the inspections. The SESC will thus systematically verify the improvement of issues pointed out in the previous inspections, and will deal strictly with the cases where similar problems are recurring. 例文帳に追加

過去に指摘されている法令違反行為事項等が依然として改善されていない事例が認められていることに鑑み、前回検査で指摘した問題点の指摘事項の改善状況等について検証し、繰り返し同様の問題点が認められる場合には、厳しく対処する。 - 金融庁

As permanent measures for the short selling of securities, traders are currently obliged to verify and flag whether a sale is a short sale or not, and in principle, the short selling at a price no higher than the latest market price is prohibited. 例文帳に追加

有価証券の空売りについては、現行、恒久的措置として、売付けが空売りであるか否かの別の明示・確認が取引者等に義務付けられているとともに、原則、金融商品取引所が直近に公表した価格以下の価格での空売りが禁止されている。 - 金融庁

A credit rating agency is required to prepare and retain books and documents related to its business in order to contribute to the protection of investors, such as by accurately reflecting the situation of its business and by making it possible to verify the appropriateness of its business, under the law. In addition, the accuracy of statements in business reports is considered an essential element for conducting appropriate administrative supervision. 例文帳に追加

業務に関する帳簿書類は、信用格付業者の業務の状況を正確に反映させ、業務の適切性を検証することを可能とするなど投資者保護に資するために法令によって作成・保存が義務付けられたものである。 - 金融庁

(iv) The applicant's inventory list, balance sheets, income and expenditure statements or profit and loss statements, and other documents to verify that the applicant has the necessary financial base for carrying out the services of private dispute resolution relating to the application, as provided for by a Ministry of Justice Ordinance; 例文帳に追加

四　申請者の財産目録、貸借対照表、収支計算書又は損益計算書その他の当該申請に係る民間紛争解決手続の業務を行うのに必要な経理的基礎を有することを明らかにする書類であって法務省令で定めるもの - 日本法令外国語訳データベースシステム

To verify whether or not the behavior of a data processing system complies with a requested specification by expressing the function of the data processing system on a computer based on a calculation model, and providing the calculation model of the level of abstraction, that is a UT level, with a time concept in the case of developing the data processing system such as an LSI.例文帳に追加

たとえば、ＬＳＩなどのデータ処理システムの開発において、データ処理システムの機能を計算モデルによってコンピュータ上で表現し、その振る舞いが要求仕様にあっているか否かを、ＵＴレベルという抽象度の計算モデルに時間概念を持たせて、検証する。 - 特許庁

The CPU 41 of the navigation device 2 extracts an electronic signature from delivery data delivered from the information delivery system 3, and an 'effective' public key among the respective public keys PK1-PK5 is used in the order of the priority order of usage, to thereby verify the electronic signature successively.例文帳に追加

そして、ナビゲーション装置２のＣＰＵ４１は、情報配信センタ３から配信された配信データから電子署名を抽出し、各公開鍵ＰＫ１〜ＰＫ５のうち「有効」な公開鍵を使用優先順位の順番に使用して、この電子署名を順次検証する。 - 特許庁

The IC card 250 verify the veracity of the hash, on the basis of the electronic signature and hash received from the user terminal 200 and a public key of the authentication supporting server 100, and generates an electronic signature, on the basis of the hash and a private key of the IC card 250, only when the verification is successful.例文帳に追加

ＩＣカード２５０は、利用者端末２００から受信した電子署名およびハッシュ、並びに認証補助サーバ１００の公開鍵に基づいてハッシュの真正性を検証し、検証が成功したときにのみ、ハッシュおよびＩＣカード２５０の秘密鍵に基づいて電子署名を生成する。 - 特許庁

In the measuring apparatus 1 constituted in such a way as to verify the weight of an object to be measured such as postal matters etc. by viewing the display surface of the display 2 from above, standing plates 41 and 42 that can be set up at a lengthwise or widthwise interval are mounted to the measuring pan main body 3.例文帳に追加

上方から表示器２の表示面を見て郵便物等の被計量物の重さを確認するように構成された計量器１において、計量皿本体３に前後または左右に間隔を介して起立可能な起立板４１，４２を取付けた計量器である。 - 特許庁

This linkage assist system is characterized by having a virtual service execution part 39 for editing the service specifications 32 of the services to be linked together, editing data to be linked together, verifying the consistency of the edited linkage data, and virtually executing the services to verify them.例文帳に追加

記連携させるサービスのサービス仕様（３２）を編集し、また、連携させるデータを編集し、前記編集された連携データの整合性を検証し、前記サービスを仮想的に実行させ、検証を行なうサービス仮想実行部（３９）を有することを特徴とする連携支援システムを用いる。 - 特許庁

A writing control circuit WRC verifies every memory cell as to whether a predetermined verification level is satisfied or not, then stores in latch circuits LATA, LATB the number of writing times after verify, for the memory cell to which write is performed by a voltage level higher than a predetermined verification level.例文帳に追加

書き込み制御回路ＷＲＣは、メモリセル毎に、所定のベリファイレベルにあるかどうかを調べるベリファイを行い、所定のベリファイレベルよりも大きい電圧レベルに書き込むメモリセルに対しては、ベリファイ後に行う書き込み回数をラッチ回路ＬＡＴＡ，ＬＡＴＢに記憶する。 - 特許庁

When the driving member returns from the target position to the initial position, the stepping motor 3 is rotated in reverse to return the driving member 2 to the signal detecting area for signal detection and verify that the driving member 2 operates as prescribed, and the stepping motor 3 is rotated normally to set the driving member 2 to the initial position.例文帳に追加

目標位置から初期位置へ復帰する際は、ステップモータ３を逆転動作させて駆動部材２を信号検出領域まで戻して信号検出を行ない、規定の動作を行なっていることを確認した後、ステップモータ３を正転させて駆動部材２を初期位置へセットする。 - 特許庁

In the flash memory performing write-in and erasion of plural times for each memory cell in a screening test and the like, when erasion-verify is passed at the time of initial write-in/erasion (S105), the number of times of applying of a time required for erasion is stored in a storage region set in a flash memory (S107).例文帳に追加

スクリーニング試験等に複数回の書き込みと消去を各メモリセルに対して行うフラッシュメモリにあって、初回の書き込み・消去の際、消去ベリファイがパスしたとき（Ｓ１０５）、消去に要した印加回数又は時間をフラッシュメモリ内に設定した記憶領域に記憶する（Ｓ１０７）。 - 特許庁

Following the receipt of the documents specified in paragraph 2 of this Article, the State Patent Bureau shall verify them within one month from the date of receipt and record the change in the application or in the Register of Trade Marks of the Republic of Lithuania, provided that they meet the requirements laid down by this Law and the Regulations.例文帳に追加

国家特許庁は，2.に規定する書類の受領後，受領日後1月以内にこれらの書類を確認し，出願における又はリトアニア共和国商標登録簿における変更を記録する。ただし，当該書類が本法及び規則に規定された要件を満たす場合に限る。 - 特許庁

(1) Where an application has been accepted for consideration, the Registry of Industrial Property shall verify whether it meets all the formal requirements laid down in the preceding Chapter and whether they have been fulfilled in the prescribed form. The adequacy of the description shall not be the subject of verification.例文帳に追加

(1) 出願が審理のために受理された場合，産業財産登録庁は，当該出願が前章で定める方式要件を満たしているか否か及び所定の方式を満たしているか否かについて審査する。明細書の妥当性は審査の主題とされない。 - 特許庁

3. The officials responsible for receiving the documentation shall record the date, hour and minute of filing together with the file number or incoming number, as appropriate, and shall verify that the application is submitted with the documentation listed thereon.例文帳に追加

(3) 当該書類を受理する責任のある公務員は，書類番号又は受理番号と共に，その書類の受付日を適正に記録しておかなければならないものとし，当該出願がそこに表記された書類と共に提出受理されたことを証明しなければならないものとする。 - 特許庁

If the applicant makes additions or corrections in his application, which cannot be accepted, the Patent Office shall, to the extent as it is bound to verify the correctiveness of the application, decide in an order on the inadmissibility thereof and invite the applicant to correct that defect.例文帳に追加

出願人が，出願において受理することができない追加又は訂正をした場合は，特許庁は，出願の修正の検証がなされる範囲において，その不許可を命令において決定し，出願人にその欠陥を訂正するよう求めなければならない。 - 特許庁

To verify where the actual radiation of an electromagnetic wave from, or how the conditions of an electronic apparatus change by various measures, or what measures are effective and why, or the like, in order to take a counter measures against radiation of the electromagnetic wave of the electronic apparatus with excellent efficiency.例文帳に追加

電子機器の電磁波の放射を良好な効率で対策できるようにするため、実際の電磁波の放射位置は何処なのか、どの対策により電子機器の状態が如何に変化するか、どの対策が如何なる理由により有効なのか、等を検証できるようにする。 - 特許庁

To solve the inconvenience that in order to check which region in an original copy is to be actually read, a user must either compare and verify input coordinates with an original copy image or once read the copy and display/print out it, and neither is able to confirm directly the region to be read.例文帳に追加

実際に原稿のどの領域が対象となるかを確認するためには、使用者が入力座標と原稿画像を比較して確認、あるいは、一度原稿を読取り、ディスプレイ表示／プリントアウトして確認するしかなく、どちらも直接読取領域を確認するものではない。 - 特許庁

A message reception side obtains a corresponding hash value 27 and a common key 29 according to a reception number 28, deciphers the ciphered message 30 to obtain a ciphered message 24 and an open key 25, and compares a generated hash value with the hash value 27 to verify whether or not the data are forged.例文帳に追加

メッセージ受信側は、受付番号２８から対応するハッシュ値２７と共通鍵２９を取得し、暗号化メッセージ３０を復号して暗号化メッセージ２４と公開鍵２５を取得し、生成したハッシュ値とハッシュ値２７とを比較してデータ改ざんの有無を検証する。 - 特許庁

A program sense latch circuit PSL compares a threshold of a memory cell transistor detected through a bit line BL with a reference potential VR in verify-operation, changes a potential of the node NN3 in accordance with that a threshold becomes a value corresponding to multi value data, and indicates outputting a write blocking potential.例文帳に追加

一方、プログラムセンスラッチ回路ＰＳＬは、ベリファイ動作において、ビット線ＢＬを介して検知されるメモリセルトランジスタのしきい値と、参照電位ＶＲとを比較し、しきい値が多値データに対応する値となるのに応じて、ノードＮＮ３の電位を変更して、書込み阻止電位の出力を指示する。 - 特許庁

To provide a nonvolatile semiconductor memory in which variation of memory cell current for a potential at read-out operation can be made smaller than variation of verify-discrimination current, variation of operation speed at read-out operation, and erroneous discrimination of verification can be prevented.例文帳に追加

読み出し時の電位に対するメモリセル電流のばらつきを、ベリファイ判定電流のばらつきよりも小さくすることができ、読み出し時の動作速度のばらつきを抑えることができるとともに、ベリファイの誤判定を防止することができる不揮発性半導体記憶装置を提供する。 - 特許庁

When sectors Sta and St are exchanged as a result of write-and- verify to a disk 16, the presence of a linear defect Dfa is assumed and all sectors between the sectors Sta and St along the radial direction of the disk 16 are exchanged.例文帳に追加

ディスク１６に対してライトアンドベルファイを行なった結果として、セクタＳｔａとセクタＳｔｂが交替された場合に、線状のディフェクトＤｆａがあるものとみなして、ディスク１６の半径方向に沿ってセクタＳｔａとセクタＳｔｂの間にある全てのセクタを交替する。 - 特許庁

At the time, the chip control section 200 gives the first potential to any sector in an erasion block, and gives the second potential updated to residual sectors in the erasion block so that a conduction state does not exist as for memory cells belonging to the erasion block and erasion-verify is performed.例文帳に追加

このときチップコントロール部２００は、消去ブロック内のいずれかのセクタに第１の電位を与え、かつ、消去ブロックに属するメモリセルにおいて導通状態となるものがなくなるように更新した第２の電位を、消去ブロック内の残りのセクタに与えて、消去ベリファイを行なう。 - 特許庁

In the tuning system, a program to change parameters stored into a common memory 31 is provide in a host computer 10, and a program to execute the application programs with reflecting the changed parameters on the application programs is provided in a target appliance 40, so that it is easily allowed to change the parameters and verify executions of the application programs.例文帳に追加

共有メモリ３１に記憶されているパラメータを変更するプログラムをホストコンピュータ１０に設け、変更後のパラメータをアプリケーションプログラムに反映させて実行するプログラムをターゲット機４０に設けることにより、パラメータの変更および実行確認を容易に行うことができる。 - 特許庁

Then, when the worker takes out or restores the chart of a storage place which is indicated by the display lamp, IC tag information of the chart is read, to verify whether the correct chart is taken out/re-stored or not.例文帳に追加

その後、作業者が前記表示ランプで指示された保管場所のカルテを取り出す際か、若しくは前記保管場所にカルテを収納する際に、カルテのＩＣタグ情報を読み取り、正しいカルテが取り出されたか否か、または正しいカルテが再収納されたか否かを検証する。 - 特許庁

Even in the case that the displacements of the pillar 11 are small at the vibration, it is therefore possible for a determining person to verify the displacements of the pillar 11 without performing complicated measuring work from the outside of the wall 10 and highly accurately determine the state of damage of the building 1.例文帳に追加

このため、振動時の柱１１の変位が小さい場合であっても、判定者は、壁１０の外部から煩雑な測定作業を実施することなく柱１１の変位を確認でき、建築物１の損傷状態について精度が高い判定を下すことができる。 - 特許庁

The component transferred to the verifying place is so photographed by a substrate identifying camera 26 put side by side with the sucking nozzle in a component transferring apparatus 17 as to verify the relative sucking position of the sucking nozzle to the component fed to the component feeding place, based on the image information of the component.例文帳に追加

確認箇所に移送された部品が部品移載装置１７に吸着ノズルと並設された基板認識用カメラ２６により撮影され、この部品の画像情報に基づいて部品供給箇所に供給された部品に対する吸着ノズルの吸着位置が確認される。 - 特許庁

Further, the dependence of values of the error function S upon a χ2 distribution is used to verify whether or not the function fy (vS, P) can reproduce the observation values and when so, the current parameter group P is extracted as a parameter group which gives the minimum value of the error function S.例文帳に追加

また、誤差関数Ｓの値がχ^2分布に従うことを利用して関数ｆ_y（ｖ_s，Ｐ）が観測値を再現できているか検定を行い、再現できていると検定された場合には、そのときのパラメータ群Ｐを、誤差関数Ｓの最小値を与えるパラメータ群として抽出する。 - 特許庁