Constraint Programmingとは 意味・読み方・使い方

The project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.発音を聞く 例文帳に追加

このプロジェクトは強い型付きの制約プログラミング言語の実現を目標とする.この言語は論理型プログラミングと命令型プログラミングの長所を結合するものである. - コンピューター用語辞典

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

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

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.発音を聞く 例文帳に追加

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

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

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

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×Ａ≧Ｚ、並びに、行列Ｂの要素∈ 非負整数、を数理計画モデルとし、Ｍ行１列とする行列Ｂを算出する（Ｓ７）。 - 特許庁

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

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

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

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

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

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