1016万例文収録!

「Model-based specification」に関連した英語例文の一覧と使い方 - Weblio英語例文検索


小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > Model-based specificationに関連した英語例文

セーフサーチ:オン

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

Model-based specificationの部分一致の例文一覧と使い方

該当件数 : 21



例文

The considerations are based on the specification formalisms and the model of language definition of LDL 3. 例文帳に追加

この考察はLDL 3の仕様形式と言語定義モデルとに基づくものである。 - コンピューター用語辞典

A model verification code generation part 27 generates a model verification code wherein the specification of the system is described, from the domain specialization model (the verification target) based on a "domain specialization model To model verification code mapping rule".例文帳に追加

モデル検証コード生成部27は、「ドメイン特化モデルToモデル検証コードマッピングルール」に基づいて、ドメイン特化モデル(検証対象)から、当該システムの仕様を記述したモデル検証コードを生成する。 - 特許庁

The data transmission and reception part 24 obtains the terminal machine model information of the terminal 100 from the transmission request of the content, and a terminal specification obtaining part 28 obtains the specification information of the terminal from a terminal specification DB 26 based on the terminal machine model information.例文帳に追加

データ送受信部24は上記コンテンツの送信要求からユーザ端末100の端末機種情報を取得し、端末仕様取得部28はこの端末機種情報に基づいて端末仕様DB26から端末の仕様情報を取得する。 - 特許庁

In this verification device 20, a domain specialization model (a verification target) generation part 24 generates the domain specialization model (the verification target) wherein a specification of a specific system is described according to a domain specialization model grammar from a UML (Unified Modeling Language) model 13 (the verification target) wherein the specification of the system is described in UML based on a "UML model To domain specialization model mapping rule".例文帳に追加

検証装置20において、ドメイン特化モデル(検証対象)生成部24は、「UMLモデルToドメイン特化モデルマッピングルール」に基づいて、特定のシステムの仕様をUMLで記述したUMLモデル13(検証対象)から、当該システムの仕様をドメイン特化モデル文法に従って記述したドメイン特化モデル(検証対象)を生成する。 - 特許庁

例文

A model information updating part 44 updates the model information stored by the storage part, and specified by the model information specification part 42 based on the target information acquired by the target information acquisition part 40.例文帳に追加

雛型情報更新部44が、記憶部により記憶され、雛型情報特定部42により特定された雛型情報を、目的情報取得部40により取得された目的情報に基づいて更新する。 - 特許庁


例文

the version of the specification, claims, drawings and abstract on which the decision of publication and registration of the utility model (Sec. 22, 27(2)) is based; 例文帳に追加

明細書,クレーム,図面及び要約の書類であって,実用新案に係わる公告及び登録の決定(第22条及び第27条(2))の基礎とされたもの - 特許庁

To determine the specification of a suspension model having excellent steering stability based on the practically applicable non-linear suspension characteristic.例文帳に追加

実際に即した非線形のサスペンション特性に基づいて、操舵安定性に優れたサスペンションモデルの仕様を決定できるようにする。 - 特許庁

To reduce work load of a manual preparer for preparing a manual for edit based on the specification of a model.例文帳に追加

モデルの仕様に基づいて編集用マニュアルを作成するマニュアル作成者の作業負担を軽減する。 - 特許庁

To easily perform an adjustment leading to the setting change of a ball discharging rate based on a required game specification for the same machine model or a similar machine model, and to prevent the extension of the development period from being caused regarding a slight alteration of the game specification.例文帳に追加

同一の機種或いは類似する機種において、要求される遊技仕様に基づいて簡単に出球率の設定変更につながる調整を可能とし、当該僅かな遊技仕様の変更に関して、開発期間の延長を招くことを防止する。 - 特許庁

例文

Based on the selectable model database 108 refined, only values of items whose values are undetermined are displayed as selectable choices by a selectable model specification display part 109.例文帳に追加

絞り込まれた選択可能モデルデータベース108にもとづき、値が未決定の項目がとりうる値のみが選択可能な選択肢として選択可能モデル仕様表示部109により表示される。 - 特許庁

例文

In the system model simulator 110, with respect to operations of models A and C of the same specification 1 as a bus model 121, simulation based on mounting information is executed as it is.例文帳に追加

システムモデルシミュレータ110では、バスモデル121と同じ仕様1のモデルA,Cの動作については、そのまま、実装情報に基づいたシミュレーションを実行する。 - 特許庁

To enhance control accuracy by solving a problem that a control result becomes worse when accuracy of a model is bad when model-based control is performed for a control object the control specification and conditions of which are fluctuated.例文帳に追加

制御仕様や条件が変動する制御対象に対してモデルベースの制御を行う場合に、モデルの精度が悪いと制御結果が悪くなる問題を解決し、制御精度を向上させることにある。 - 特許庁

Here, the three-dimensional model creation part 114 creates the three-dimensional model in a direction viewed from the second view point based upon the correspondence specified by the correspondence specification part 113.例文帳に追加

ここで、三次元モデル形成部114は、対応関係特定部113で特定された対応関係に基づき、第2の視点から見た向きの三次元モデルを形成する。 - 特許庁

A power consumption characteristic model creation part 230 creates a power consumption characteristic model with respect to the flow rate in consideration of the non-linearity, based on the device specification data, the control method data, the conduit property data, and the operation result data.例文帳に追加

消費電力特性モデル作成部230は、機器仕様データ、制御方式データ・管路特性データ、および、運用実績データに基づいて、非線形性が考慮された流量に対する消費電力特性モデルを作成する。 - 特許庁

In a step for frequency-analyzing a power supply network model, a power supply network model is formed based on electric characteristics determined according to a specification of semiconductor device (maximum allowable drop value of power supply voltage, power supply current value, operation frequency or the like), and the formed power supply network model is frequency-analyzed.例文帳に追加

電源供給網モデルを周波数解析するステップは、半導体装置の仕様(電源電圧の最大許容ドロップ値、電源電流値、動作周波数等)に応じて求められる電気的特性に基づいて電源供給網モデルを作成し、該電源供給網モデルを周波数解析する。 - 特許庁

The application for a utility model must include: (1) application for granting of the patent with specification of the author (authors) of the utility model and a person (persons), in whose name the patent is requested, as well as the place of their residence or destination; (2) description of the utility model disclosing it fully enough to embody it; (3) the formula for a utility model fully based on the description; (4) draughts if necessary for understanding the essence of a utility model; (5) essay.例文帳に追加

実用新案出願は,次のものを含まなければならない。 (1) 実用新案の創作者,その者の名称で特許が求められる者,その居住地又は本拠地の表示を伴う特許付与の願書 (2) 実用新案を具体化するために十分に開示する明細書 (3) 明細書に十分に基づく実用新案の定型文(4) 実用新案の実体の理解に必要な場合の図面 (5) 要約 - 特許庁

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.例文帳に追加

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

The broadcast data generating device, once receiving specification of a model (HTML file) for screen constitution reads in the file, displays a screen constitution editing part 110, and generates a BML file based on the file.例文帳に追加

本発明に係る放送データ生成装置は、画面構成の雛形(HTMLファイル)の指定を受け付けると、当該ファイルを読み込み、画面構成編集部110を表示し、当該ファイルに基づいてBMLファイルを生成する。 - 特許庁

A creating section 204 creates a virtual mirror image related to a part of a specified three-dimensional model based on the visual point coordinate and direction specified by the specification section 203.例文帳に追加

生成部204は、指定部203によって指定された視点座標および方向に基づいて特定される3次元モデルの一部に関する仮想鏡像を生成する。 - 特許庁

Then, based on the model information, a person in charge of the model is selected by the person in charge selection processing unit 17, the component number of an object part is extracted from an object component number extraction processing unit 18, and specification input instruction information of the part is transmitted to a terminal of the selected person in charge of the model.例文帳に追加

そして、機種情報に基づいて、担当者選択処理部17により機種別担当者を選択、次に対象部品番号抽出処理部18により対象部品の部品番号を抽出し、担当者作業指示処理部19によって、部品の仕様入力指示情報を、選択された機種別担当者の端末へ送信する。 - 特許庁

例文

A control device 11 sets a discrimination condition when discriminating whether a path is set as a verification target to a plurality of paths prescribed by a plurality of states included in a logic model shown by specification data 24 of the circuit description and state transition between the respective states based on input operation from an input device 12.例文帳に追加

回路記述の仕様データ24が示す論理モデル内に含まれる複数の状態及び各状態間の状態遷移により規定される複数のパスに対して、該パスが検証対象とされるか否かを判別する際の判別条件を入力装置12からの入力操作に基づき制御装置11が設定する。 - 特許庁

索引トップ用語の索引



  
Copyright © Japan Patent office. All Rights Reserved.
  
コンピューター用語辞典
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
  
Copyright © Japan Patent office. All Rights Reserved.
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS