摘要
参数化设计在现代ＣＡＤ技术中占据着越来越重要的地位，几何约束系统的建模、管理与求解是该技术的关键。本文提出了一种基于几何约束网络动态归约的几何推理方法，在参数化建模的同时，实现了对几何约束系统的最大分解，以归约树的形式表达归约结果，清晰地表明了约束系统内部的耦合程度和求解次序。实践表明，该方法在约束一致性检查。
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
1997年第3期256-262,共7页
Journal of Computer-Aided Design & Computer Graphics
