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