基于归约的几何约束组件的实现

The Implementation of Geometric Constraint Component Based on Reduction

本文开发了一个几何约束组件，描述了组件的基本结构，建立了几何的约束模型，利用图理论及最大归约算法实现了几何约束的归约过程，最后给出了约束的有效性检验以及约束求解的方法。

A geometric constraint software component based on reduction has been implemented in this paper. It depicts the component's infrastructure, the geometric constraint data model, the process of reduction. Finally, it represents the method of consistency testing of constraint and the method of constraint solution.