計算可能モデルの英語

モデル検査においてプロパティの設定漏れの可能性を検出するとともに、計算コストを減少するモデル検査プログラム、モデル検査方法、モデル検査装置を提供する。例文帳に追加

To provide a model inspection program, a model inspection method and a model inspection device, allowing detection of possibility of omitted setting of a property in model inspection, and allowing reduction of calculation cost. - 特許庁

配置モデルが指定した基準平面と接触するような配置を配置モデルと基準平面を指定することにより、事前計算なしにモデル配置を可能とした三次元形状モデルの配置装置を提供する。例文帳に追加

To provide a three-dimensional shape model arrangement device which can arrange an arrangement model without prior computation by designating the arrangement model in which an arrangement may get in contact with a reference plane designated by the arrangement model and the reference plane. - 特許庁

扱うモデルによらずに、また、計算量を低減させて、早い段階で安定して所定のモデル(例えば認識モデル)の局所最適状態に到達させることの可能な学習装置を提供する。例文帳に追加

To provide a device for study enabling a prescribed model (for example, a recognition model) to stabilize itself at an early stage and reach a local optimal state independently of a model to be handled and also by reducing a calculation amount. - 特許庁

タイヤモデルを用いてタイヤ特性を解析する際に解析精度を維持したまま、タイヤモデルの作成時間および演算処理における計算時間の短縮化を実現することが可能なタイヤモデル作成方法を提供する。例文帳に追加

To provide a tire model preparing method for realizing the shortening of the preparation time of a tire model and a calculation time in arithmetic processing while maintaining analytic precision at the time of analyzing tire characteristics by using a tire model. - 特許庁

走行軌跡計算手段３２は車両の各代表点の走行軌跡を計算し、衝突判定手段３３は配置モデルの対象物と各代表点の走行軌跡の交叉を計算して、衝突可能性の有無を判定する。例文帳に追加

A trajectory computation means 32 computes the trajectory of each representative point of the vehicle, and a collision determination means 33 computes the intersection of the object of the arrangement model and trajectory of each representative point to determine the possibility of collision. - 特許庁

データ関係モデルの採用は、応用述語計算法に基づく普遍的データ準言語の開発を可能にする。例文帳に追加

The adoption of a relational model of data permits the development of a universal data sublanguage based on an applied predicate calculus.発音を聞く  - コンピューター用語辞典

この関係モデルは、応用述語計算に基づくユーザオリエンテッド言語の形式的定義を可能にする。例文帳に追加

The relational model allows the formal definition of an user oriented language, based on applied predicate calculus.発音を聞く  - コンピューター用語辞典

十分高速に計算することが可能でありかつ必要な精度に補償される車両モデルを構築する。例文帳に追加

To construct a vehicle model, capable of calculating with a sufficiently high speed and ensured of necessary accuracy. - 特許庁