几何设计约束的表示与满足问题研究

On Representation and Satisfaction of GeometricalDesign Constraints

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的，本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。

It is important for intelligent CAD systems to have capabilities to solve geometricaldesign constraints.An object-oriented geometrical design constraint representation method is proposed,which can be represented in two ways. Finally, a constraint propagation algorithm used to solve constraintsatisfaction problems is given.