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

When running the program on the portable terminals, the identification codes and lock codes are transmitted to the server from the portable terminals, the server verifies the validity of the electronic tickets based on the transmitted codes, if the tickets are valid, the server deliveries images for verification periodically updated to the portable terminals and displays the images.例文帳に追加

携帯端末上で同プログラムを実行すると携帯端末からサーバに識別コードと暗証コードとが送信され、サーバはこれを基に電子チケットの有効確認を行い、有効ならば定期的に更新される確認用イメージを携帯端末へ配信し表示させる。 - 特許庁

The tamper-resistant device 20 includes: a control variable value transmission part 21 transmitting the control variable value to the terminal 10 in response to the control variable value request signal; and an execution order verification part 22 verifying the program execution order in the terminal 10 based on the control variable value request signal.例文帳に追加

耐タンパ装置２０は、制御変数値要求信号に応じて、制御変数値を端末１０に送信する制御変数値送信部２１と、制御変数値要求信号に基づいて、端末１０におけるプログラムの実行順序を検証する実行順序検証部２２と、を備える。 - 特許庁

To provide a semiconductor integrated circuit device which makes a high yield and high reliability possible by enhancing the detection capability of the verification of an OTP (One-Time Programmable) memory using an electric fuse, re-programming and relieving a detected failed bit, and a program method therefor.例文帳に追加

電気ヒューズを用いたＯＴＰメモリのベリファイの検知能力を向上させ、検出された不良ビットを再プログラムして救済することにより、高歩留まり、高信頼性を可能にする半導体集積回路装置及びそのプログラム方法を提供することを目的としている。 - 特許庁

The timing when the plurality of operation clocks inside the semiconductor integrated circuit have a prescribed phase relation is detected by a phase relation detection circuit, and a trigger signal is outputted, and an input timing of a test pattern, a start timing of the verification program and a comparison timing with the expectation data are used as a relative timing based on a trigger timing.例文帳に追加

半導体集積回路内部の複数の動作クロック１、２が所定の位相関係になるタイミングを位相関係検出回路により検出し、トリガー信号を出力して、試験パターンの入力タイミング、検証プログラムの開始タイミング、期待値データとの比較タイミングを、前記トリガータイミングを基準とした相対タイミングとする。 - 特許庁

Then the data transmission passage information is created by using the collected setting information and the program operating information, accessing rights are integrated, and the data transmission passage information of the integrated accessing rights is converted into the data transmission passage information for searching a data transmission passage matched with security verification policy.例文帳に追加

次に、収集された設定情報とプログラム動作情報とを用いてデータ伝達経路情報を生成し、アクセス権を統合し、アクセス権が統合されたデータ伝達経路情報をセキュリティ検証用ポリシーに一致するデータ伝達経路が探索できるようなデータ伝達経路情報に変換する。 - 特許庁

Furthermore, the secure VM executes digital signature generation processing by applying a secret key set for each player to the configuration data of a content code, and executes verification processing for the digital signature by applying a public key set for each player when the data processing program in the content code is executed.例文帳に追加

さらにセキュアＶＭはコンテンツコードの構成データに対して、プレーヤ毎に設定された秘密鍵を適用してデジタル署名生成処理を実行し、さらに、コンテンツコード中のデータ処理プログラムの実行に際して、プレーヤ毎に設定された公開鍵を適用して上記デジタル署名に対して検証処理を実行する。 - 特許庁

To provide a design verification device and method, estimating a motion between components, based on an adjacent situation between the components, to define the motion, without inputting information for defining the motion between the adjacent components for the purpose of verifying design between the components with motion, and a program and a recording medium therefor.例文帳に追加

動きを伴う部品間の設計検証のために、隣接する部品間の動きを定義するための情報を入力しなくても、部品間の隣接状態に基づいて、部品間の動きを推定し、その動きを定義することができる設計検証装置、方法、プログラムおよび記録媒体を提供する。 - 特許庁

To provide a telephone charge sorting display program, that sorts telephone charges for telephone calls via a public line by each call classification and displays the sorted telephone charges and can easily calculate the telephone charges by each speech classification of phone companies under registration or other than this and perform verification of adaptability of the registered telephone companies and selection of revision objects.例文帳に追加

公衆回線を介する電話で通話した電話料金を通話区分毎に区分け表示するプログラムに関し、登録中および登録中以外の電話会社の通話区分毎の電話料金を容易に算出し、登録電話会社の適合性検証と変更候補選出を実行する。 - 特許庁

An information processing device comprises: trap insertion means that shapes a verification target program according to a coverage criterion and inserts a trap; software model inspection means that performs software model inspection on the trap-inserted program to which the trap is inserted by the trap insertion means, and outputs path information satisfying the coverage criterion; and precondition generation means that generates a precondition satisfying the coverage criterion from the path information.例文帳に追加

検証対象プログラムをカバレッジ基準に応じて整形しトラップを挿入するトラップ挿入手段と、前記トラップ挿入手段によってトラップを挿入されたトラップ入りプログラムについてソフトウェアモデル検査を行い、前記カバレッジ基準を満たすパス情報を出力するソフトウェアモデル検査手段と、前記パス情報から前記カバレッジ基準を満たす事前条件を生成する事前条件生成手段と、を備えたことを特徴とする。 - 特許庁

Information on operation done on the data base system 170 is acquired by a data base operation information acquiring means 120 and inputted to the data base system 170 by a dummy application program 160 running on a server; and then the data base system 170 executes it again and both the execution results are compared for verification.例文帳に追加

データベース・システム１７０に対して行われた操作情報を、データベース操作情報取得手段１２０により取得し、取得したデータベース操作情報を、サーバ上で動作する疑似アプリケーション・プログラム１６０によりデータベース・システム１７０に入力することによって、再度データベース・システム１７０に実行させ、両実行結果を比較・検証する。 - 特許庁

In a test pattern load device 30, the test patterns to be executed are divided into a size storable in the memory 11 for storing the test patterns and stored in parallel and horizontal directions in the memory 11 for storing the test patterns, and test program information indicating the location of storage and division information on the number of divisions etc. are reported to a verification processing part 13.例文帳に追加

テストパターンロード装置３０で、実行すべきテストパターンを、テストパターン格納用メモリ１１に格納可能なサイズに分割してこれをテストパターン格納用メモリ１１の水平方向並列に格納すると共に、その格納位置を表すテストプログラム情報及び分割数等の分割情報を検証処理部１３に通知する。 - 特許庁

To provide a computer program for supporting to make a plan of a new vehicle by which plan verification with high accuracy based on planning of the new vehicle by using information regarding the existing vehicle is made to be compatible with degrees of technological progresses to be predicted when a design section actually design and develop the new vehicle in a balanced manner.例文帳に追加

既存車両に関する情報を利用して新型車両の企画を立案することによる高精度な企画検証と、その新型車両を設計部門が実際に設計開発する際に予想される技術的な進歩の度合いとを、バランス良く両立できる新型車両の企画立案支援のためのコンピュータ・プログラムの提供。 - 特許庁

To provide a device, method and program for testing a branch prediction circuit of an information processor, in which verification of the branch prediction circuit can be easily and efficiently performed without performing processing for specifying a branch point and substituting a branch instruction by the other instruction.例文帳に追加

分岐ポイントを特定して分岐命令を他の命令で置き換える処理を行うことなく、容易に、かつ効率的に分岐予測回路の検証を可能とする情報処理装置の分岐予測回路の試験装置、情報処理装置の分岐予測回路の試験方法及び情報処理装置の分岐予測回路の試験プログラムを提供すること。 - 特許庁

Thus, the prepared directory structure is used in a program so that it is possible to operate information processing for registering a work operated in each working process in a process management system, or for collecting or working data by using the process management system, and that it is possible to operate necessary slip outputs or prepared data verification or the like.例文帳に追加

作成されたディレクトリ構造をプログラム中で利用することにより、各加工工程で行った作業を工程管理システムに登録したり、あるいは、工程管理システムを使用してデータを収集したり加工するといった情報処理を行い、必要な帳票出力や、または作成データの検証等を行うことができる。 - 特許庁

An automatic generation program 1-1 automatically generates circuit description data for verification (RTL) 1-13 and a restriction file 1-14 for implement, based on pin information files 1-11 and setting files 1-12 that are input externally and device information 1-21 and macro information 1-22 that are stored as various databases 1-2.例文帳に追加

外部から入力されるピン情報ファイル１−１１及び設定ファイル１−１２と、各種データベース１−２として格納されたデバイス情報１−２１及びマクロ情報１−２２とを元に、自動生成プログラム１−１により検証用回路記述データ（ＲＴＬ）１−１３及びインプリメント用制約ファイル１−１４を自動生成する。 - 特許庁

Comprehensive verification of safety of a nuclear installation is carried out through operational safety inspection, periodic inspection, and periodic safety management review as safety evaluation during its lifetime, and also through the periodic evaluation, periodic operator’s inspection, surveillance tests based on the operational safety program, investigation of incidents and failures and measures to prevent recurrence, and on-site inspection conducted as necessary.例文帳に追加

供用期間中における安全の評価として保安検査、定期検査、定期安全管理審査のほか、定期的な評価、定期事業者検査、保安規定に基づくサーベイランスの実施、事故・故障の調査と再発防止対策、必要に応じて行う立入検査等により、原子炉施設の包括的な安全の確認を行っている。 - 経済産業省

A verification apparatus extracts circuit configurations assuming a conflict state resulting from concurrent operation unique to hardware, specifically, circuit configurations having a priority setting assuming concurrent arrival of requests, from a hardware program as a group of coverage points by semantic interpretation, and measures whether they are activated by logical simulation in percentage.例文帳に追加

ハードウェアならではの同時動作によって発生し得る競合状態を想定した回路構成、具体的には、同時にリクエストが到着することを想定した優先付けが成されている回路構成を、ハードウェアプログラムから意味解釈によってカバレッジポイント群として抽出して、それらが論理シミュレーションによって活性化されたか否か、の百分率として測る検証装置により、達成できる。 - 特許庁

To provide hand-washing equipment, a hand-washing control computer program medium, a method of hand-washing verification service, a hand-washing control display and a hand-washing analysis display that all enable a kitchen worker to wash the hands continuously properly for preventing harmful microorganisms from moving from an article of food to another via hands and containers in feeding facilities and a food service industry.例文帳に追加

本発明の課題は、給食施設やフードサービス産業において、有害な微生物が人の手や容器などを通じてある食品から他の食品に移動すること防止するため、厨房作業員に正しい手洗い作業を常に行わせること可能とする、手洗い設備、手洗い管理コンピュータ・プログラム媒体、手洗い検証サービスの方法、手洗い管理表示及び手洗い分析表示を提供することにある。 - 特許庁

When it is checked that the correction verification is completed, the RV management part 201 performs the automatic release of the software program from the development environment server to the real environment server.例文帳に追加

利用者からのソフトウェアプログラムの改訂要望の起票を受け付けるＲＶ管理テーブル２０１と、本番環境と開発環境のプログラムの差異をチェックし、差異情報を起票された改訂要望に記述する差異チェック部２０２と、実際にリリースの指示があった場合、改訂要望を参照して改訂情報が記述されていれば、修正検証完了とするチェックを行うリリースチェック部２０３と、を備え、ＲＶ管理テーブル２０１は、修正検証完了のチェックがあれば、開発環境サーバから本番環境サーバへとソフトウェアプログラムの自動リリースを行う。 - 特許庁

According to the EU and IMF support program, the financing on the market through issuance of a long-term government bond will be resumed in 2013. In their report91 on the verification of the economic and financial situations concerning the fourth support fund for Portugal implemented in April 2012, the EU and the IMF stress that the country's efforts to make its fiscal condition healthier have been successful. However, since the current long-term government bond yield is still high, there is speculation on the market that the country may give up issuing a long-term government bond for2013 in the future.例文帳に追加

EU・IMF支援プログラムでは2013年から長期国債発行による市場での資金調達を再開することとなっており、EU・IMFは2012年4月に実施した同国への第4回支援融資に係る経済・財政状況の検証報告書で、同国の財政健全化に向けた取組は順調に進んでいると強調しているものの、現在の長期国債利回りはいまだ高水準のため、今後2013年の長期国債発行断念の可能性が市場で取りざたされている。 - 経済産業省

On January 3, 2000, the US Government established an interim final rule implementing the International Dolphin Conservation Program Act and promised (1) to lift the current ban and conditionally accept imports of yellowfin tuna from IDCP members, (2) to allow round haul netters to fish for yellowfin tuna in the Eastern Tropical Pacific Ocean, and (3) to ensure origin and related verification of yellowfin tuna imported from the Eastern Tropical Pacific Ocean. Ecuador, El Salvador, Mexico, Panama, Spain and Venezuela submitted import license applications. The US Government granted applications to Mexico on April 12, 2000, to Ecuador on May 31, 2000, to El Salvador on December 31, 2003, and to Spain on June 9, 2005.例文帳に追加

その後、米国政府は、2000年１月３日に、国際イルカ保護計画法の暫定最終実施規定（Interim final rule implementation）を制定し、⑴国際イルカ保護計画に加盟している諸国（現在輸入禁止）からキハダマグロの米国への輸入を一定の条件下で認める、⑵米国の巻き網漁船による東部熱帯太平洋海域でのキハダマグロの漁獲を認める、⑶東部熱帯太平洋海域から輸入されるキハダマグロの適正な追跡および検証を保証する、との点を公表し、エクアドル、エルサルバドル、メキシコ、パナマ、スペインおよびベネズエラから輸出承認申請を受け、2000年４月12日にメキシコおよび2000年５月31日にエクアドルから、2003年12月31日にエルサルバドルから、また、2005年６月９日にスペインからの輸出を承認した。 - 経済産業省

DATA STORAGE METHOD, DATA STORAGE SYSTEM AND PROGRAM (VERIFICATION OF DATA INTEGRITY IN STORAGE SYSTEM)例文帳に追加

データ格納方法、データ・ストレージ・システムおよびプログラム（ストレージ・システムにおけるデータ完全性の検証）（著作権および商標登録表示本特許文書の開示の一部は、著作権保護を受ける内容を含む。本所有権者は、特許文書または特許開示書のいずれか一つによるファクシミリ複写物には、複写物が特許商標庁の特許ファイルまたは記録として世に出現している限り異論はないが、他の場合に全ての著作権は完全に留保する。）（本明細書で参照するある種のマークについては、出願人またはその譲受人と提携しまたは提携しない第三者の、慣習法上の、または登録された商標である可能性がある。これらのマークを使用するのは、例示によって実施可能な開示を提供するためであり、そのようなマークに関連するもののみに本発明の範囲を制限するように解釈されるべきではない。） - 特許庁