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

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

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

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

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

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

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

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

The document, its content components, and its layout requirements are represented as elements of the constraint satisfaction problem which results in an automated document layout for a set of the content components when solved.例文帳に追加

ドキュメント、そのコンテンツコンポーネント、及びそのレイアウト要件は、組を成すコンテンツコンポーネントのための自動化済みドキュメントレイアウトを解決時にもたらす、制約充足問題の要素として表現される。 - 特許庁

To provide a method of deciding a stable schedule restricted in change of solution to the minimum by suggesting a re-scheduling system based on the problem of constraint satisfaction with dynamic weight, in regard to a nurse scheduling system.例文帳に追加

ナーススケジューリングシステムにおいて、動的重み付き制約充足問題に基づく再スケジューリング方式を提案し、解の変更を最小限に抑えた安定したスケジュールを決定する手法の提供 - 特許庁