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

各認証構成プロセスをその管理主体が保証し、保証内容を検証者により検証可能として、認証プロセス全体の信頼性を向上させる。例文帳に追加

To increase the reliability of an entire authentication process by enabling each management entity to assure an associated authentication component process and a verifier to verify the assurance contents. - 特許庁

署名の検証ができなくても不正波を受信している可能性が高いことを認証できる、ユーザビリティを向上させた署名検証技法を提供する。例文帳に追加

To provide a signature verification technique with improved usability which can authenticate that there is a high possibility that an illegal wave is received even though a signature can not be verified. - 特許庁

吐出制御等に用いられる色彩情報の信頼性を検証することが可能な液体噴射装置の検証方法、及び、液体噴射装置を提供する。例文帳に追加

To provide a method for verifying a liquid injection device capable of verifying the reliability of color information used for ejection control or the like, and a liquid injection device. - 特許庁

ＦＰＧＡエミュレータの高速性を生かしながら、ハードウェアとソフトウェアの協調検証を可能にした検証支援システムを実現する。例文帳に追加

To realize a verification supporting system in which a coordinative verification between a hardware and a software is made possible while effectively using a high speed property of an FPGA(Field Programmable Gate Array) emulator. - 特許庁

次に区間占有情報１１２と前もって作成された区間占有計画情報１１６と比較し、移動経路計画が現状に適用可能か占有区間整合性検証部１１４にて検証する。例文帳に追加

Then, section occupancy information 112 and prepared section occupancy schedule information 116 are compared with each other and whether or not a moving route schedule can be applied to the present situation is verified in an occupancy section consistency verification part 114. - 特許庁

高速に、且つ設計上の制約を増大させることなく配線のエレクトロマイグレーション耐性を検証することが可能な配線検証方法を提供することである。例文帳に追加

To provide a wiring verification method for quickly verifying the electro-migration tolerance of wiring without increasing any constraint on design. - 特許庁

受託者装置は、バックアップデータを用いて、寄託データとバックアップデータとの同一性を検証可能な情報である検証用データを生成し、これを管理者装置に送信する。例文帳に追加

The bailee device generates data for verification being the information, capable of verifying the identity between the bailor data and the backup data, through the use of the backup data, and transmits the data for verification to the manager device. - 特許庁

複数のファイルから構成される文書のバージョン管理を実現する文書管理装置において、ディジタル署名の作成と検証の処理時間を短縮し、さらに、バージョン間の整合性の検証を可能とする。例文帳に追加

To shorten processing time for production and verification of a digital signature and enable verification of consistency among versions, in a document management apparatus for achieving version management of a document composed of a plurality of files. - 特許庁

電子現金支払・受領・検証システムの検証センターに還流する電子紙幣の数量を削減しつつ電子紙幣の不正使用に対する検出可能性を強化する。例文帳に追加

To strengthen the possibility of detection in the illegal use of electronic paper money while reducing the amount of electronic paper money to be returned to the verification center of the electronic cash paying/receiving and verifying system. - 特許庁

論理検証における検証網羅性を向上させることが可能なテストデータ生成プログラム、テストデータ生成装置及びテストデータ生成方法を提供することを目的とする。例文帳に追加

To provide a test data generating program, a test data generating device, and a test data generating method, capable of improving exhaustiveness in validation for logic verification. - 特許庁

名寄せは今日から預金保険機構で行うことになりますので、そういうことを検証すると、若干、数字が変わってくる可能性はあります。例文帳に追加

As the work of name-based aggregation by the Deposit Insurance Corporation is to begin as of today, it is possible that some numbers may change as a result of those validation procedures.  - 金融庁

小惑星探査機｢はやぶさ｣のおもな任務は，天体から試料を持ち帰るために使用される可能性のある新しい技術を検証することだ。例文帳に追加

The Hayabusa asteroid probe's main mission was to test new technologies that may be used to bring back samples from celestial bodies.  - 浜島書店 Catch a Wave

効率よく半導体集積回路を検証することができ、高品質で流用性の高いテストが可能なテストベンチを提供する。例文帳に追加

To provide a test bench capable of efficiently verifying a semiconductor integrated circuit and performing a test high in quality and diversity. - 特許庁

ハイバネーションによる起動であっても、ソフトウェアの正当性を正しく検証可能な情報処理技術を提供する。例文帳に追加

To provide an information processing technique which can accurately verify the validity of software even in starting by hibernation. - 特許庁

利用者が検証者に対して自分の利用権の正当性を主張可能な認証システムを実現する。例文帳に追加

To realize an authentication system where a user can claim the validity of its own right-to-use from a verification person. - 特許庁

ソフトウェア等との関係において組合せの適合性の検証が可能な見積提供システム及びプログラムを提供する。例文帳に追加

To provide an estimation provision system and a program for verifying adaptability to a combination in a relationship with software, etc. - 特許庁

イベントの連続性を検証可能で、イベントの挿入によっても情報量が増えない改竄防止技術を実現する。例文帳に追加

To provide a falsification prevention technology allowing verification of continuity of an event, and preventing increase of an information amount even by insertion of the event. - 特許庁

このシステムを通じて、コンポーネントの入手可能性が判断され、ランタイム環境に対する必要条件が検証される。例文帳に追加

Availability of the component is determined, and prerequisites against a runtime environment are verified through the service host system. - 特許庁

手動による障害復旧後のデータベース更新の正確性の向上と、過去の障害状況をいつでも検証することを可能にする。例文帳に追加

To enhance the accuracy of updating the database after the manual fault restoration, and to verify the fault situation in the past at any time. - 特許庁

組み込みシステムの開発において、設計の上流段階でリアルタイム性など時間的要素を検証することを可能とする。例文帳に追加

To verify a temporal element such as a real time property in an upstream stage of a design, in development of a built-in system. - 特許庁

構造ができるだけ小さく、可能な限り高い検証確実性が得られるように光電装置を構成することである。例文帳に追加

To compose a photoelectronic device so that its structure is made as small as possible and an ultimate reliability in detection is available. - 特許庁

製品開発や製品設計の時間の短縮を得ることの可能な絶縁性検証システムを提供する。例文帳に追加

To provide an insulation verification system that can shorten time for product development and product design. - 特許庁

分散的な情報処理を実現可能であり、しかもデータの同一性の検証を容易化することができる情報処理装置を提供する。例文帳に追加

To provide an information processor capable of attaining distributed information processing and facilitating verification of identity of data. - 特許庁

紙部品を用いて画面設計が可能となるとともに設計した画面の操作性が検証できるようにした操作画面作成装置を提供する例文帳に追加

To provide an operation screen creation apparatus, which enables screen design using a paper component and operability verification on a designed screen. - 特許庁

光学特性の測定装置の較正及び／または検証を容易に行うことが可能な手段を提供する。例文帳に追加

To provide a means by which the calibration and/or the verification of an optical-characteristic measuring apparatus can be performed easily. - 特許庁

情報記録装置、真正性検証方法およびその方法をコンピュータに実行させるプログラムを記録したコンピュータ読み取り可能な記録媒体例文帳に追加

INFORMATION RECORDER, METHOD FOR VERIFYING AUTHENTICITY AND COMPUTER-READABLE RECORDING MEDIUM STORING PROGRAM TO ALLOW COMPUTER TO EXECUTE THE METHOD - 特許庁

障害原因解析システムで使用する障害原因判定ルールの有効性をリアルタイムに検証可能とする。例文帳に追加

To verify, in real time, effectiveness of a failure cause determination rule used in a failure cause analysis system. - 特許庁

公開鍵証明書と属性証明書の関連性を正確に判定することを可能にする公開鍵証明書作成方法、属性証明書作成方法、証明書関連性検証方法、公開鍵証明書作成装置、属性証明書作成装置、証明書関連性検証装置等を提供する。例文帳に追加

To provide a public key certificate creation method, attribute certificate creation method, certificate relevance verifying method, public key certificate creation apparatus, attribute certificate creation apparatus, certificate relevance verifying apparatus and the like, in which relevance of a public key certificate and an attribute certificate can be accurately decided. - 特許庁

電子透かし埋め込み前のコンテンツを必要とせずに、完全性を高い精度で検証可能にすると共に、コンテンツの連続性を保証することが可能となる汎用性の高い電子透かし技術を得る。例文帳に追加

To obtaine a highly versatile digital watermark technology can verify completeness with high accuracy without necessitating the content before embedding digital watermark, and can guarantee the continuity of the content. - 特許庁

シミュレーション結果の正当性を容易に確認可能とし、シミュレーション再実行の時間を減らして検証時間を短縮可能な論理シミュレーションシステムを提供する。例文帳に追加

To provide a logic simulation system capable of easily confirming the normality of the simulated result and shortening time for verification by reducing time for re-executing a simulation. - 特許庁

プログラムと表明を入力としモデル検査技術を用いたプログラムの検証において、検査対象プログラムの動作コンテキストを与える仮定の誤りの可能性を示すことを可能にする。例文帳に追加

To indicate the possibility of errors in assumption that provides the operational context of a program to be examined, in the verification of a program using model examination techniques where a program and assertions are inputs. - 特許庁

安全性を損なうことなく署名検証処理に要する時間を効率化することのできる携帯可能電子装置、携帯可能電子装置の制御方法及びＩＣカードを提供する。例文帳に追加

To provide a portable electronic device, a method for controlling the portable electronic device, and an IC card which can increase the efficiency of a time which is taken for signature verification processing without impairing safety, and to provide a method for controlling the portable electronic device and the IC card. - 特許庁

利用者により情報の検証が可能で、かつ、信憑性の高い情報を効率的に収集及び公開可能な紹介装置、紹介方法及びプログラムを提供する。例文帳に追加

To provide an introduction device, an introduction method and a program enabling verification of information by a user and efficient collection and disclosure of reliable information. - 特許庁

・検査官は、前回検査における指摘事項のうち、軽微でない事項の改善状況について検証し、実効性ある改善策が策定され実行されているか否か確認する。いない可能性も含めて検証し、双方向の議論を通じて確認する。例文帳に追加

- The inspector should review the status of improvements with regard to the issues pointed out on the occasion of the last inspection that are not minor and determine whether or not effective improvement measures have been developed and implemented.  - 金融庁

提供商品の機能の検証を容易かつ中立的に行うことを可能とすること等により、保険料の決定における確実性や客観性を向上させること等のできる、検証保険管理システム等を提供することを課題とする。例文帳に追加

To provide a verification insurance management system and the like capable of improving the reliability and objectivity in determination of a premium by easily and neutrally enabling verification of the function of provision products. - 特許庁

本発明は、電波の送信対象の詳細な電波反射特性などの動作性能について検証できるとともに、埋設されている電波の送信対象の詳細な設置状態（道路上の場所、深さ、傾きなど）が手軽に検証可能な検査装置を提供する。例文帳に追加

To provide an inspection device capable of verifying on the operation performance such as a detailed radio reflection characteristic of a transmission object of a radio wave, and verifying easily the detailed installation state (the place, the depth, the inclination or the like on a road) of a buried radio transmission object. - 特許庁

また、プログラムＰは、安全性検証部１１ａによって安全性が検証され、その結果に応じてデータアクセス権限設定部１１ｂによってデータアクセス権限が設定されて、端末装置１０に実行可能に組み込まれる。例文帳に追加

The program P is inspected in safety by a safety inspecting part 11a, a data access authority setting part 11b sets data access authority in accordance with an inspection result and it is incorporated in the terminal unit 10 so as to be performing possible. - 特許庁

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

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. - 特許庁

電子署名した電子情報を、長期その有効性を保障しつつ、外部の第三者による検証等を要せず、署名時点の電子署名の有効性を検証可能な、電子情報認証方法・装置・システムを提供する。例文帳に追加

To provide an electronic information authentication method, device and system with which the validation of an electronic signature during writing the signature can be verified without requiring verification or the like by an external third person while the validity of electronically signed electronic information is insured for a long period. - 特許庁

全てのオブジェクトの再構成が完了していない場合にも、更新オブジェクトの相互接続性の確認が可能となった時点で検証試験を実行し、無駄なオブジェクトの再構成を実行することなく更新オブジェクトの相互接続状態を検証する。例文帳に追加

To execute a verification test at a point in time when confirmation of interconnectivity of an update object becomes possible even when reconfiguration of all objects is not completed to verify interconnection state of the update object without executing reconfiguration of an unnecessary object. - 特許庁

本発明の課題は、JSPコンテナや実行用のデータが存在しない環境でJSPからHTMLを生成することを可能とすること、及び、生成したHTMLに対し文法の妥当性検証やアクセシビリティの検証を、チェックツールを用いて行えるようにすることにある。例文帳に追加

To generate HTML from JSP in an environment wherein there is no JSP container or execution data and to perform verification of grammatical validity or verification of accessibility for the generated HTML by means of a check tool. - 特許庁

条件分岐箇所へ到達確認用のコードを埋め込む等の既存技術を用いてモデル検査技術で検証した範囲を網羅度として測定し、検証結果とともにその測定結果を示すことにより、作業者に仮定の誤りの可能性を示す。例文帳に追加

A program verification apparatus measures as a degree of exhaustiveness a range verified by model examination techniques using such an existing technique as embedding arrival confirmation codes in portions of conditional branching, and indicates the measuring result together with the verification result, thereby indicating the possibility of an assumption error to an operator. - 特許庁

内部クロック信号を形成するクロック発生回路の複数通りの動作検証を高い精度で実現し、構成の簡素化を図りつつ、内部クロック信号発生回路の多様な性能を検証を可能にした半導体集積回路装置を提供する。例文帳に追加

To provide a semiconductor integrated circuit device realizing a plurality of kinds of action verification for a clock generation circuit forming an internal clock signal and allowing verification for various kinds of performance of the internal clock signal generation circuit to be carried out while simplifying the structure. - 特許庁

本章ではまず、第1節で、世界における、ヒト・モノ・カネ・ワザ・チエといった製品や要素が還流している状況を、アジアを中心に検証しつつ、これらの還流の中で生まれる「一大消費市場」としてのアジア、「知識創造拠点」としてのアジアの発展可能性について検証する。例文帳に追加

Section 1 of this chapter will examine the status of the reflow of products and production factors such as people, goods, money, skills, and knowledge in the world, particularly focusing on Asia. We also analyze the development potential of Asia as a big consumption market and as a knowledge creation base as a result of this reflow. - 経済産業省

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

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. - 特許庁