变量约束网的建模和推理算法

设计的变量约束网是一个能够综合表达变量间各种约束关系的网络结构。文章中首先介绍了它的结构特征；然后给出了它的建模方法和可在Ｗｉｎｄｏｗｓ下操作的图形建模工具；最后讨论了该约束网的推理算法，即如何通过约束传播完成相关变量的求解，此算法与网络的复杂程度无关。利用文章提出的方法可构造任意复杂的变量约束网，完成对复杂系统的变量求解；与传统的表示方法相比，简化了问题求解过程，从而提高了求解效率。

THE MODELING AND REASONING ALGORITHM OF VARIABLE CONSTRAINT NETWORK

The variable constraint net built in this paper is a network structure, which can represent different kinds of constraint relation between variables. Firstly, its structure and characteristic are introduced. Then its modeling method and graphic modeling tool for Windows are given. Finally, its reasoning algorithm is discussed for resolving the relevant variable by the constraint propagation. The algorithm has no relation with the net sophistication. The above method can be used to construct the sophisticated variable constraint network and complete the variable resolution of the complicated system. Compared with the traditional methods,the presented method simplifies the resolution process and improves the resolution efficiency.