| 提要 | 第1-6页 |
| 第一章 绪论 | 第6-20页 |
| ·引言 | 第6-7页 |
| ·CAD 的历史回顾 | 第7-9页 |
| ·参数化技术以及变量化技术 | 第9-11页 |
| ·约束求解 | 第11-17页 |
| ·本文的研究内容 | 第17-20页 |
| 第二章 参数化的基于约束的几何模型求解器构架 | 第20-27页 |
| ·系统构架背景知识 | 第20-24页 |
| ·几何约束求解器的构架 | 第24-25页 |
| ·系统特征 | 第25-27页 |
| 第三章 约束求解器的设计与实现 | 第27-65页 |
| ·可行性分析 | 第27-29页 |
| ·需求分析 | 第29-41页 |
| ·总体设计 | 第41-52页 |
| ·详细设计 | 第52-57页 |
| ·测试 | 第57-65页 |
| 第四章 结论及展望 | 第65-67页 |
| ·主要结论 | 第65-66页 |
| ·后续工作展望 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 摘要 | 第70-73页 |
| ABSTRACT | 第73-77页 |
| 致谢 | 第77页 |