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

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

A description interpretation part 32 of a center device 3 interpreting a destination description generated in the user terminal 1 specifies a description category (either a destination or expanded destination) by examining which destination description dictionary the vocabulary used for the description of the type information belongs to.例文帳に追加

一方、ユーザ端末１で生成された目的地記述を解釈するセンタ装置３の記述解釈部３２では、タイプ情報の記述に用いられている語彙が、どの目的地記述用辞書に属するかを調べることにより、記述カテゴリ（目的地又は拡張された目的地の中のいずれか）を特定する。 - 特許庁

This description verification device is provided with an operation composition means 101 for generating hardware description language from operation description and composite constraints and a description verification means 102 for automatically selecting necessary verification items based on the composite constraints, and for verifying compliance to the composite constraints for hardware description language.例文帳に追加

動作記述と合成制約とからハードウエア記述言語を生成する動作合成手段１０１と、前記合成制約を基に必要な検証項目を自動的に選択して前記ハードウエア記述言語に対する前記合成制約への準拠性を検証する記述検証手段１０２とを備える。 - 特許庁

A network relay device, compatible with the network-type plug and play, is provided with a description preparing part for preparing a device description for describing the service devices included in the network-type plug and play, and for supplying the device description, in response to a request from a client over a network.例文帳に追加

ネットワーク型プラグアンドプレイに対応したネットワーク中継装置は、デバイスユニットに含まれるサービスデバイスを記述するデバイスディスクリプションを作成し、ネットワーク上のクライアントからの要求に応じて前記デバイスディスクリプションを供給するディスクリプション作成部を備える。 - 特許庁

CIRCUIT DESCRIPTION DATA GENERATION DEVICE, METHOD, AND PROGRAM例文帳に追加

回路記述データ生成装置、回路記述データ生成方法、および回路記述データ生成プログラム - 特許庁

ASSERTION DESCRIPTION LANGUAGE GENERATION METHOD AND DEVICE, AND ASSERTION BASE SIMULATION PROGRAM USING IT例文帳に追加

アサーション記述言語生成方法、装置及びそれを用いたアサーションベースシミュレーションプログラム - 特許庁

An image compositing device generates a composited image, based on the compilation description of the template.例文帳に追加

画像合成装置は、このテンプレートの編集記述に基づいて、合成画像を作成する。 - 特許庁

The software generating device 10 generates a driver function for controlling an RTL description.例文帳に追加

ソフトウェア生成装置１０は、ＲＴＬ記述を制御するためのドライバ関数を生成する。 - 特許庁

METHOD AND DEVICE TO CONFIGURE PROCESS CONTROL SYSTEM USING ELECTRONIC DESCRIPTION LANGUAGE SCRIPT例文帳に追加

電子記述言語スクリプトを使用してプロセス制御システムを構成する方法および装置 - 特許庁

And a verifying device 3 as the order machine is generated from the specification description 1.例文帳に追加

そして、この仕様記述１から順序機械としての検証装置３を生成する。 - 特許庁

The current device description is obtained and information to be reflected is acquired from the device information table (step 103, 104).例文帳に追加

現在のデバイスディスクリプションを取得し、デバイス情報テーブルから反映すべき情報を取得する（ステップ103、104）。 - 特許庁

IMAGE INFORMATION DESCRIPTION METHOD, VIDEO IMAGE RETRIEVAL METHOD, VIDEO REPRODUCTION METHOD, VIDEO RETRIEVAL DEVICE AND VIDEO REPRODUCTION DEVICE例文帳に追加

画像情報記述方法、映像検索方法、映像再生方法、映像検索装置、及び映像再生装置 - 特許庁

INFORMATION PROCESSING SYSTEM, BUS ADDRESS GENERATING DEVICE, PERFORMANCE SYNTHESIZING DEVICE, DESIGN ASSISTING SYSTEM, PERFORMANCE DESCRIPTION, PROGRAM, AND METHOD例文帳に追加

情報処理装置、バスアドレス生成装置、動作合成装置、設計支援システム、動作記述、プログラム、及び方法 - 特許庁

To provide a remote control device and system wherein command description is simplified and a command description amount is reduced even in a multifunctional remote controller.例文帳に追加

コマンドの記述を簡略化し、多機能なリモコンであってもコマンドの記述量を少なくした遠隔操作装置および遠隔操作システムを提供する。 - 特許庁

The scanner capability description file is located based on model information to select a lower-level driver corresponding to the input device of an image according to the description of the file.例文帳に追加

機種情報に基づいてスキャナ能力記述ファイルを検索し、その記述に従って画像入力装置に対応する下位レベル・ドライバを選択する。 - 特許庁

A logical source program 11 has a function description block where the function of a logic circuit in a semiconductor device is described and a memory description block which generates a memory.例文帳に追加

論理ソースプログラム１１は、半導体デバイス内の論理回路の機能を記述した機能記述ブロックと、メモリを生成するメモリ記述ブロックとを有する。 - 特許庁

A high-speed scanner 1a sequentially reads the description information of documents consecutively conveyed, and a storage device 5 gives a consecutive number to the description information to store.例文帳に追加

高速スキャナ１ａで連続的に搬送される書類の記載情報を順次読み取り、記憶装置５が連続番号を付与して記憶する。 - 特許庁

The network protocol control part 302 acquires the device description of each service device from the device unit 400 after the network protocol control part 302 and the device unit 400 are started or connected, and produces a whole device description prescribing a device configuration of the whole network device.例文帳に追加

ネットワークプロトコル制御部３０２は、ネットワークプロトコル制御部３０２とデバイスユニット４００とが起動又は接続された後に、デバイスユニット４００から各サービスデバイスのデバイスディスクリプションを取得して、ネットワーク装置全体のデバイス構成を規定する全体デバイスディスクリプションを作成する。 - 特許庁

To provide a program conversion device that converts access description into an optimum assembler code when the access description of an assembler template function being a description format to be developed into an assembler code is included in a source program.例文帳に追加

ソースプログラム中にアセンブラコードに展開される記述形式であるアセンブラテンプレート関数の呼出記述が含まれている場合に、呼出記述を最適なアセンブラコードに変換するプログラム変換装置を提供する。 - 特許庁

To provide a recording/reproducing device which can efficiently store description for operating the device during the device manufacture, into the device.例文帳に追加

本発明は、装置製造上の効率よく装置の使用方法の説明を装置に記録させることができる記録再生装置を提供することを目的とする。 - 特許庁

The device unit 400 holds a device description prescribing a configuration of each service device according to an architecture of the network type plug-and-play.例文帳に追加

デバイスユニット４００は、ネットワーク型プラグアンドプレイのアーキテクチャに従って各サービスデバイスの構成を規定したデバイスディスクリプションを保持している。 - 特許庁

To provide an information editing device capable of performing a contents description task more efficiently.例文帳に追加

内容記述作業をより効率的に行うことができる情報編集装置を提供する。 - 特許庁

RECORDING MEDIUM FOR LOGIC DESCRIPTION DATA, DEVELOPMENT METHOD FOR SEMICONDUCTOR DEVICE, AND LOGIC SIMULATION METHOD例文帳に追加

論理記述データの記録媒体、半導体デバイスの開発方法、及び論理シミュレーション方法 - 特許庁

INTERACTIVE DEVICE HAVING RECORDING/REPRODUCING FUNCTION USABLE WITH ENCODED DESCRIPTION MEDIUM例文帳に追加

コード化された記述媒体とともに使用可能な記録及び再生の機能を備えるインタアクティブな装置 - 特許庁

This image compositing device prepares the composited image on the basis of the edition description of the template.例文帳に追加

画像合成装置は、このテンプレートの編集記述に基づいて、合成画像を作成する。 - 特許庁

Description The XAllowEvents function releases some queued events if the client has caused a device to freeze.例文帳に追加

説明XAllowEventsはクライアントがデバイスを凍結したている場合に、キューに入っているイベントを解放する。 - XFree86

Description TheXDeviceBell request causes the server to ring a bell on the specifiedfeedback of the specified device, if possible. 例文帳に追加

説明XDeviceBell リクエストは、X サーバに可能であれば、指定したデバイスの指定したフィードバックでベルを鳴らす。 - XFree86

See the individual input driver manual pages for a description of the device-specific options.例文帳に追加

ドライバ固有のオプションの説明については、個々の入力ドライバのオンラインマニュアルを参照すること。 - XFree86

Description The XSetDeviceFocus request changes the focus of the specified device and its last-focus-change time.例文帳に追加

説明XSetDeviceFocusリクエストは指定したデバイスのフォーカスと最終フォーカス変更時間(last-focus-change time)を変更する。 - XFree86

Without this option,only a brief description is printed for each device. -1 例文帳に追加

このオプションが指定されていない場合は、各デバイスについての簡単な情報しか出力されない。 - XFree86

The event-driven specification description support device 1 is connected through a network 9 to clients 10.例文帳に追加

イベント駆動型仕様記述支援装置１はネットワーク９を介してクライアント10に結合されている。 - 特許庁

FRAME INFORMATION DESCRIPTION METHOD, FRAME INFORMATION GENERATING DEVICE AND METHOD, VIDEO REPRODUCING DEVICE AND METHOD, AND RECORDING MEDIUM例文帳に追加

フレーム情報記述方法、フレーム情報生成装置及び方法、映像再生装置及び方法並びに記録媒体 - 特許庁

After completing successfully the register processing, the switching device handshakes with the control device, while doing so, the control device sends a data description frame to the switching device, and the switching device determines whether performs a data upgrade operation or not after receiving data description frame message.例文帳に追加

レジスタ動作が成功して終了した後、スイッチングデバイスは、管理デバイスとハンドシェイクを行い、その間、管理デバイスは、データ記述フレームをスイッチングデバイスに送信し、スイッチングデバイスは、メッセージを受信した後、データアップグレード動作を実行するか否かを決定する。 - 特許庁

A design description writing device in the embodiment includes a design description, rewriting instruction data, a rewriting original point position identification part, a time consumption order search part, a time consumption order division part, a design description addition part and an output part.例文帳に追加

本発明の一態様としての設計記述書換装置は、設計記述と、書換指示データと、書換起点位置同定部と、時間消費命令探索部と、時間消費命令分割部と、設計記述追加部と、出力部とを備える。 - 特許庁

To provide a circuit specification description visualization device for obtaining versatility of a circuit specification description and for easily obtaining a correlation between each partial expression in the circuit specification description and a part in a signal waveform.例文帳に追加

回路仕様記述の多義性を把握することができ、且つ、回路仕様記述中の各部分式が、信号波形中のどの部分に対応するかを容易に把握することができる回路仕様記述視覚化装置を提供する。 - 特許庁

In this coverage evaluation device 200, when hardware description information 211 is inputted by an input part 201, a description rule is checked by a deciding part 202.例文帳に追加

カバレッジ評価装置２００は、入力部２０１において、ハードウェア記述情報２１１が入力された場合、判定部２０２において、記述ルールのチェックをおこなう。 - 特許庁

To provide a description verification device and method and a control program and a storage medium for preventing any pseudo error from being generated from a description verification method.例文帳に追加

記述検証手段から擬似エラーが発生するのを防止することができる記述検証装置及び方法及び制御プログラム及び記憶媒体を提供する。 - 特許庁

The content description and the output device description are provided as inputs to the web browser display rendering engine, which generates the rendered content.例文帳に追加

これらのコンテンツ記述および出力機器記述はウェブブラウザ・ディスプレイ・レンダリングエンジンに入力として供給され、ウェブブラウザ・ディスプレイ・レンダリングエンジンはレンダリングされたコンテンツを生成する。 - 特許庁

The control part 201 makes a storage part 204 store an IP address of the DMP device included in the received "Device Description" message.例文帳に追加

制御部２０１は、受信した「Ｄｅｖｉｃｅ Ｄｅｓｃｒｉｐｔｉｏｎ」メッセージに含まれるＤＭＰ装置のＩＰアドレスを記憶部２０４に記憶させる。 - 特許庁

INSTRUCTION DESCRIPTION CORRECTION DEVICE, PROGRAM AND METHOD, AND JOB EXECUTION DEVICE, AND JOB EXECUTION INSTRUCTION PROGRAM例文帳に追加

指示記述修正装置、指示記述修正命令プログラム、指示記述修正方法、ジョブ実行装置、及びジョブ実行命令プログラム - 特許庁

To provide a method for extracting and reporting a foundation field bus device description file for device selection and data verification.例文帳に追加

デバイス選択およびデータ検証のためにファウンデーションフィールドバスデバイス記述ファイルを抽出およびレポートする方法を提供する。 - 特許庁

When description information transmitted from the electronic pen indicates an input to the stroke window, the computer device writes the handwriting stroke over a slide image for the display according to the description information, and when the description information indicates an input to the mark, the computer device moves the slide image to another stroke window.例文帳に追加

そして、コンピュータ装置は、電子ペンから送信される記入情報がストローク画面への入力を示す場合、当該記入情報に基づいて、手書きストロークをスライド画像に上書きして表示し、記入情報がマークへの入力を示す場合、スライド画像を異なるストローク画面へ移動させる。 - 特許庁

(4)The judgment on parts except the claims and the detailed description of the device (the title of the device, the brief description of the drawings and the drawings) It falls under the Article 6bis(iv) or Article 14ter(iv) where an examiner can judge that the description of the drawings or the drawings is prima facie unclear. 例文帳に追加

(4) 実用新案登録請求の範囲、考案の詳細な説明の欄以外の部分（考案の名称、図面の簡単な説明、図面）についての判断 考案の名称、図面の簡単な説明、図面の記載内容が不明瞭であると一見して判断される場合は、本号に該当する。 - 特許庁

A device extraction section 102 extracts description of each device from a control program in which a plurality of devices are described, dependence relations between the devices are described, and a control algorithm for the plurality of devices is defined by the description of the plurality of devices and the description of the dependence relations between the devices.例文帳に追加

デバイス抽出部１０２は、複数のデバイスが記述されるとともにデバイス間の依存関係が記述され、複数のデバイスの記述とデバイス間の依存関係の記述により複数のデバイスに対する制御アルゴリズムが定義される制御プログラムから、各デバイスの記述を抽出する。 - 特許庁

FUNCTION VERIFICATION DEVICE, TEST BENCH, MODEL DESIGNED BY HARDWARE DESCRIPTION LANGUAGE, SIMULATOR PROGRAM AND RECORDING MEDIUM例文帳に追加

機能検証装置、テストベンチ、ハードウェア記述言語により設計されたモデル、シミュレータプログラム及び記憶媒体 - 特許庁