调度问题的建模方法

生产调度问题有广泛的应用前景，有明显的经济效益与社会效益。但是生产调度问题的研究大多只考虑求解方法，很少涉及建模方法。建模方法主要依靠专家的经验和技巧。本文提供了调度问题的数学描述，这是把调度问题定义为一类约束满足问题。然后以皇后问题为例研究了调度问题的建模方法。由此实例给出了模型的测度，并给出基于约束的建模方法。这种基于约束的建模方法对于建模问题的理论化，形式化，是积极的探索。这可以指导调度问题的数学模型的建立。

Modeling for scheduling problems

Production scheduling problems are useful for economy and society. But the work on production scheduling problems is focused on problem solving, but not on modeling. Normal modeling is based on expertise and skill. The paper presents a model for the scheduling problems. The scheduling problems are defined as a kind of constraint satisfaction problems. As an example of the scheduling problems, the queen problem is discussed for his modeling. Then the measurement of a model is presented and the constraint based modeling method is given.