开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法,描述了求解器的体系结构 A two-dimensional geometric constraint solver is developed. The solver is the core of the new generation of intelligent CAD system, which uses geometric and reasoning methods based on graphs and rules, which is efficient, stable and practical. The paper presents the geometric constraint model and its constraint graph Said that in-depth introduction of point-based rigid-body geometric reduction algorithm, describes the solver architecture