欠（过）约束几何约束求解问题完整化算法的研究

中文摘要	第1-4页
Abstract	第4-7页
第1章 绪论	第7-20页
·CAD 的发展历史	第7-8页
·智能 CAD 的发展历史	第8-9页
·几何约束求解技术的引入	第9-11页
·几何约束求解基本概念	第11-15页
·几何约束求解的主要方法	第15-19页
·基于数值计算的几何约束求解方法	第15-16页
·基于符号计算的几何约束求解方法	第16-17页
·基于规则的几何约束求解方法	第17-18页
·基于图论的几何约束求解方法	第18-19页
·论文结构	第19-20页
第2章 几何约束求解问题欠、过、完整约束性的判定	第20-27页
·欠、过、完整约束性的判定算法	第20-21页
·基于偶图的判定算法	第21-26页
·偶图的 DM 分解	第21-23页
·基于偶图的判定算法	第23-25页
·实例说明	第25-26页
·本章小结	第26-27页
第3章 欠（过）约束几何约束求解问题的完整化算法	第27-41页
·欠约束几何约束求解问题的完整化算法	第27-35页
·几何约束的优先级	第27-32页
·欠约束几何约束求解问题完整化的方法	第32-34页
·欠约束几何约束求解问题的完整化算法	第34-35页
·过约束几何约束求解问题的完整化算法	第35-39页
·一致性与非一致性的判定	第35-37页
·过约束几何约束求解问题完整化的方法	第37-38页
·过约束几何约束求解问题的完整化算法	第38-39页
·欠（过）约束几何约束求解问题的完整化算法	第39页
·本章小结	第39-41页
第4章 实例分析	第41-53页
·作图实例	第41-52页
·本章小结	第52-53页
结论与展望	第53-54页
参考文献	第54-59页
致谢	第59页