%0 Journal Article %T 一种新的面向参数化绘图的约束管理技术 %A 陈立平? %A 涂重斌? %A 罗浩? %A 周济? %J 软件学报 %P 394-400 %D 1996 %X 参数化设计技术是当代cad技术的核心.作为该技术基础的几何约束系统的建模与求解,要求对约束进行方便、有效的管理.为此,本文基于自由度分析、图论、稀疏矩阵及非线性方程等理论,提出了几何约束最大归约理论,实现了几何约束系统的最大分解,并以归约树的形式清晰地表达了系统内在的串、并、耦合机制,并成功地应用于参数化绘图系统中至关重要的约束一致性检查、快速求解等约束管理问题. %K 参数化绘图 %K 自由度分析 %K 约束管理 %K 归约 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960702&flag=1