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

A linear programming computation part 305 computes linear programming with the constraint equations based on the relative positional relationships and the constraint equations based on the symmetrical placement constraints to decide the placement position of each rectangular element for the closest placement of the plurality of rectangular elements on a plane.例文帳に追加

そして、線形計画法演算部３０５が、相対位置関係に基づく制約式、及び対称配置制約条件に基づく制約式を使用して、線形計画法による演算を行い、平面上に複数の矩形要素を最密に配置する際の各矩形要素の配置位置を決定する。 - 特許庁

This resource access arbitration means 12 gives a constraint equation between variables as the constraint as to a linear programming problem finding an access execution cycle as a variable for a plurality of accesses to the same resource in the loop processing or gives a constraint branch between nodes as the constraint as to a constraint graph representing a processing procedure of the accesses.例文帳に追加

このリソースアクセス調停手段１２は、ループ処理内の同一リソースへの複数アクセスに対して、それらのアクセスの実行サイクルを変数として求める線形計画問題について、その制約条件として変数間の制約式を与えるかまたは、それらのアクセスの処理手順を表す制約グラフについて、その制約条件として節点間の制約枝を与える。 - 特許庁

To perform data input-output processing while synchronizing with the outside in the case of performing simulation based on a constraint type programming language.例文帳に追加

制約型プログラミング言語に基づくシミュレーションを実行中に外部との同期を取りつつデータの入出力処理を行えるようにする。 - 特許庁

The mobile communication system determines an optimum power for maximizing the number of simultaneous connections by using a linear programming method or a non-linear programming method on the basis of a constraint condition for specifying the transmission power being a prescribed power or below and a conditional expression of an inequality for satisfying the quality.例文帳に追加

送電力が一定値以下である拘束条件、品質を満たす不等式の条件式から線形計画法または非線形計画法により、同時接続数を最大にする最適な電力を決定する - 特許庁

An object managing part 1 has a plurality of objects including a model described in a constraint type programming language such as an HCC language, a model image and a model boundary condition.例文帳に追加

オブジェクト管理部１は、ＨＣＣ言語等の制約型プログラミング言語で記述されたモデル、モデルイメージ、及びモデルの境界条件を含むオブジェクトを複数有する。 - 特許庁

Further, the formants are identified by applying dynamic programming to search for the best sequence that optimally satisfies the continuity constraint required by the model.例文帳に追加

また、フォルマントは、モデルによって必要とされる連続性制約条件を最適に満たす最善のシーケンスをサーチする動的プログラミングを適用することによっても識別される。 - 特許庁

We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness. 例文帳に追加

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典

Then a matrix B consisting of M lines and one row is calculated on the basis of a mathematical programming model such that a minimization target: C^t × B; a constraint condition: B^t × A ≥ Z; and elements of the matrix B: included in nonnegative integers (S7).例文帳に追加

そして、最小化目標：Ｃ^t×Ｂ、制約条件：Ｂ^t×Ａ≧Ｚ、並びに、行列Ｂの要素∈ 非負整数、を数理計画モデルとし、Ｍ行１列とする行列Ｂを算出する（Ｓ７）。 - 特許庁

A plan creation device generates a product of traffic volume and travel time within a target area as an objective function, generates constraint conditions by accepting input of road data, traffic volume data, transportation infrastructure improvement candidate data and total budget data, and uses mathematical programming to obtain a transportation infrastructure improvement strategy minimizing the objective function, under each of the generated constraint conditions.例文帳に追加

計画作成装置は、対象領域内の交通量と旅行時間の積を目的関数として生成し、道路データ、交通量データ、交通インフラ改善候補データおよび総予算データの入力を受け付けて制約条件を生成し、生成された各制約条件のもとで、前記目的関数を最小とする交通インフラ改善策を、数理計画法を用いて求める。 - 特許庁

In order to handle a capacity according to the probability distribution as a mathematical programming problem, a satisfaction sale definition equation generating means 102 that defines a satisfaction degree for a request capacity of a demand pair and an expected value lower limit constraint generating means 103 that decides a lower limit of the expected value of the satisfaction degree are provided.例文帳に追加

そして、この確率分布に従う容量を数理計画問題として扱うために、デマンドぺアの要求容量に対する満足度を定義する満足度定義式作成手段102 と、満足度の期待値の下限を定める期待値下限制約作成手段103 を有する。 - 特許庁

In a simulating device for simulating the behavior of a system on a time based, a simulation performing part 3 performs simulation of a model described in the constraint type programming language, access an external function while performing the simulation and also changes the movements of the simulation in accordance with a returned value returned from the external function.例文帳に追加

システムの時間軸上の挙動をシミュレートするシミュレーション装置において、シミュレーション実行部３は、制約型プログラミング言語で記述されたモデルのシミュレーションを実行し、当該シミュレーションの実行中に外部関数を呼び出すと共にその外部関数から返される戻り値に応じて当該シミュレーションの動作を変更する。 - 特許庁

A linear programming problem including constraint conditions to attain a fault recovery rate designated through bypassing is solved by using a routing candidate and the number of request optical paths between node pairs as an input, thereby obtaining the number of optical paths including standby optical paths to be located on each routing candidate so as to minimize the installation cost.例文帳に追加

各ノードペア間のルート候補と要求光パス数を入力として、迂回により指定された障害回復率を達成できるような制約条件を含む線形計画法を解いて、設備コストが最小になるように各ルート候補上に配備すべき予備光パスを含めた光パス数を求める。 - 特許庁

Optional data transfer control processing that can be decided by a program can be realized and the constraint on the number of transfer channels can also be eliminated, for instance, by making the 2nd CPU process data transfer control processing, making the processing possible to be requested by an interrupt, programming processing contents and storing the contents in a memory.例文帳に追加

例えば、データ転送制御処理を第２のＣＰＵの処理とし、その処理を割込で要求可能にし、その処理内容をプログラム化してメモリに格納しておくことにより、プログラムで決定できる任意のデータ転送制御処理を実現でき、転送チャネル数の制約もなくすことが可能になる。 - 特許庁

An optimum detour path is obtained by providing an optimization reference preparing means 101 for setting an objective function that minimizes a link cost, a detour path formation condition preparing means 102, a link capacity calculation condition preparing means 103, a housing condition preparing means 104, and an optimizing means 106 for solving an integer programming problem configured with an objective function prepared by these means and a constraint equation.例文帳に追加

リンクコストを最小化する目的関数を設定する最適化基準作成手段１０１と、迂回パス形成条件作成手段１０２と、リンク容量計算条件作成手段１０３と、収容条件作成手段１０４と、これらの手段によって作成された目的関数、および制約式により構成される整数計画問題を解く最適化手段１０６を備えることにより、最適な迂回パスを得る。 - 特許庁