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

Forward Checking (FC) is one of the most popular algorithms used to solve Constraint Satisfaction Problems.発音を聞く 例文帳に追加

前進チェック法(FC)は制約満足化問題を解くのに使われる最も一般的なアルゴリズムの一つである. - コンピューター用語辞典

The method and system specifies a custom document as a constraint satisfaction problem (CSP) to generate the specified document using an existing constraint solving algorithm.例文帳に追加

本願発明に係る方法及びシステムは、既存の制約解決アルゴリズムを用いて特定ドキュメントを作成するために制約充足問題（ＣＳＰ）としてカスタムドキュメントを特定する。 - 特許庁

NURSE SCHEDULING SYSTEM CAPABLE OF RE-SCHEDULING, AND METHOD OF SOLVING PROBLEM OF CONSTRAINT SATISFACTION WITH DYNAMIC WEIGHT USED FOR THE SYSTEM例文帳に追加

再スケジューリング可能なナーススケジューリングシステム及び、これに用いるための動的重み付き制約充足問題解決方法 - 特許庁

To provide a test data generation device and method that enable generation of test data capable of controlling processing branching by arriving at and solving a constraint satisfaction problem.例文帳に追加

処理の分岐を制御できるようなテストデータを制約充足問題に帰着して解くテストデータの生成を可能にする。 - 特許庁

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 を有する。 - 特許庁

To provide a systematic and generic method for defining objective functions with respect to constrained optimization problems, constraint satisfaction problems, and free optimization problems.例文帳に追加

制約付き最適化問題、制約充足問題、及び自由最適化問題についての目的関数を定義するための系統的且つ一般的方法の提供。 - 特許庁

A problem of re-scheduling when change of schedule is requested from any user 1 is expressed as a problem of constraint satisfaction with dynamic weight, and a new schedule, which has a small number of change from the former schedule, is decided on the basis of the method of solving the problem of constraint satisfaction with dynamic weight mounted in the scheduling agent 5.例文帳に追加

いずれかのユーザ１からスケジュールの変更が要望された場合の再スケジューリングの問題を、動的重み付き制約充足問題として表現し、スケジューリングエージェント５に実装した動的重み付き制約充足問題の解決手法に基づいて、以前のスケジュールからの変更点の少ない新たなスケジュールの決定を行う。 - 特許庁