摘要： 几何约束系统的建模及求解是参数化技术的核心但如何对约束进行方便、有效的管理一直是未完全解决的难题，所以在目前所见到的参数化系统中的大多数，难以处理冗余约束、局部过自由度等问题，这严重妨碍了参数化功能的发挥。文中利用自由度分析、非线性代数方程及矩阵理论，提出了一种在几何约束系统中对约束进行动态管理的新方法。并利用这种方法成功解决了冗余约束预报及局部过自由度判断等难题。

关键词: 约束管理, 基, 归约

中图分类号: 

• TP391.72