二维几何约束求解器

2D Geometric Constraint Solver

开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法。

The paper reports on the development of a 2D geometric constraint solver, which is a major component of a new generation intelligent CAD system. The solver takes a graph and rule oriented approach and achieves interactive speed. The paper presents the geometric constraint model and its graph representation, then discusses in detail the algorithms of geometric reasoning based on reduction, describes the architecture of the solver and its basic capabilities.