一种新的面向参数化绘图的约束管理技术

参数化设计技术是当代ｃａｄ技术的核心．作为该技术基础的几何约束系统的建模与求解，要求对约束进行方便、有效的管理．为此，本文基于自由度分析、图论、稀疏矩阵及非线性方程等理论，提出了几何约束最大归约理论，实现了几何约束系统的最大分解，并以归约树的形式清晰地表达了系统内在的串、并、耦合机制，并成功地应用于参数化绘图系统中至关重要的约束一致性检查、快速求解等约束管理问题.