| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-23页 |
| ·研究背景和现状 | 第11-20页 |
| ·产品配置概念 | 第11-14页 |
| ·产品配置方法 | 第14-15页 |
| ·基于约束的产品配置问题 | 第15-18页 |
| ·产品配置研究现状 | 第18-20页 |
| ·论文主要工作 | 第20-21页 |
| ·论文组织安排 | 第21-23页 |
| 第二章 理论基础 | 第23-48页 |
| ·约束满足问题（CONSTRAINT SATISFACTORY PROBLEM） | 第23-36页 |
| ·概念 | 第23-25页 |
| ·定义 | 第25-26页 |
| ·发展 | 第26-28页 |
| ·应用 | 第28页 |
| ·问题求解方法 | 第28-36页 |
| ·基于假设的真值维护系统（ATMS） | 第36-47页 |
| ·非单调推理 | 第36-37页 |
| ·基本原理 | 第37-46页 |
| ·ATMS 的主要应用 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 第三章 ATMS 求解基于约束的产品配置问题的研究 | 第48-68页 |
| ·CSP 模型与ATMS 模型介绍 | 第48-49页 |
| ·CSP 模型与ATMS 模型的映射分析 | 第49-54页 |
| ·CSP 知识表示和ATMS 知识表示的映射分析 | 第49-52页 |
| ·CSP 推理技术和ATMS 推理技术的映射分析 | 第52-54页 |
| ·ATMS 对约束满足问题的求解方法 | 第54-61页 |
| ·回溯求解问题 | 第54-55页 |
| ·回溯算法框架 | 第55-56页 |
| ·简单回溯和回跳回溯 | 第56-60页 |
| ·回溯法的效率分析 | 第60-61页 |
| ·利用ATMS 解决经典CSP 问题（八皇后问题） | 第61-67页 |
| ·八皇后问题描述 | 第62页 |
| ·八皇后问题的分析和求解 | 第62-67页 |
| ·本章小结 | 第67-68页 |
| 第四章 基于ATMS 的产品配置模型的设计 | 第68-80页 |
| ·架构平台的整体设计 | 第68-69页 |
| ·设计思想 | 第68页 |
| ·体系结构 | 第68-69页 |
| ·用户界面层 | 第69-72页 |
| ·问题求解转化层 | 第72-73页 |
| ·ATMS 知识库管理层（ATMS 引擎） | 第73-79页 |
| ·ATMS 数据结构的实现 | 第73-77页 |
| ·ATMS 算法的实现 | 第77-79页 |
| ·本章小结 | 第79-80页 |
| 第五章 基于ATMS 的产品配置系统的实现 | 第80-90页 |
| ·ATMS 引擎的优化 | 第80-81页 |
| ·电脑产品配置实例 | 第81-89页 |
| ·场景说明 | 第82-83页 |
| ·数据录入 | 第83-84页 |
| ·界面演示 | 第84-88页 |
| ·对nogoods 优化的分析比较 | 第88-89页 |
| ·本章小结 | 第89-90页 |
| 第六章 结束语 | 第90-92页 |
| 参考文献 | 第92-95页 |
| 致谢 | 第95-96页 |
| 攻读硕士期间的科研及学术论文 | 第96-97页 |
| 科研项目 | 第96页 |
| 学术论文 | 第96-97页 |
| 附录1：电脑配置原始数据 | 第97-101页 |
| 附录2：电脑配置NOGOODS 库（优化前） | 第101-102页 |
| 附录3：电脑配置NOGOODS 库（优化后） | 第102页 |
