基于约束满足问题的配置解释算法研究
| 内容提要 | 第1-7页 |
| 第一章 引言 | 第7-10页 |
| ·本文研究背景 | 第7页 |
| ·解释的研究现状 | 第7-8页 |
| ·本文工作 | 第8-10页 |
| 第二章 约束满足问题与配置 | 第10-17页 |
| ·配置的相关概念 | 第10-12页 |
| ·约束满足问题的相关概念 | 第12页 |
| ·基于约束满足问题的配置 | 第12-14页 |
| ·配置与约束满足问题 | 第12-13页 |
| ·配置与动态约束满足问题 | 第13-14页 |
| ·约束满足问题的求解算法 | 第14-15页 |
| ·约束程序的冲突集合 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第三章 配置解释 | 第17-35页 |
| ·解释的概念 | 第17-18页 |
| ·冲突与解释的应用 | 第18页 |
| ·解释的相关计算方法 | 第18-27页 |
| ·基于TMS 方法的解释 | 第19-21页 |
| ·TMS 系统 | 第19页 |
| ·基于JTMS 的解释 | 第19-20页 |
| ·基于ATMS 的解释 | 第20-21页 |
| ·QUICKXPLAIN | 第21-26页 |
| ·基本概念 | 第21-23页 |
| ·QUICKXPLAIN 的算法描述 | 第23-24页 |
| ·算法的原理 | 第24-26页 |
| ·QUICKXPLAIN 方法分析 | 第26页 |
| ·Jussien 的AOP 方法 | 第26-27页 |
| ·基于决策时约束满足问题表示配置的解释算法 | 第27-34页 |
| ·对QuickXplain 解释方法的分析 | 第27-29页 |
| ·当前决策时约束满足问题表示配置相关概念与定义 | 第29-31页 |
| ·改进的解释算法描述 | 第31-32页 |
| ·一个汽车配置的例子 | 第32-33页 |
| ·改进算法分析 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 求解解释与配置求解 | 第35-45页 |
| ·对原配置器中求解解释算法的分析 | 第35-36页 |
| ·求解解释算法模块设计 | 第36-39页 |
| ·功能设计 | 第36页 |
| ·解释模块基本流程 | 第36-37页 |
| ·求解解释模块的设计类图 | 第37-39页 |
| ·算法在配置中的应用 | 第39-45页 |
| ·解释算法在配置器中的应用分析 | 第39-40页 |
| ·求解解释算法与配置的集成 | 第40页 |
| ·在配置求解前的处理 | 第40-41页 |
| ·改进的配置求解算法 | 第41-42页 |
| ·配置求解相关类的设计 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 实验结果与分析 | 第45-50页 |
| ·求解解释的结果演示及分析 | 第45-48页 |
| ·线性约束实验结果及分析 | 第48-50页 |
| 第六章 结束语 | 第50-51页 |
| ·工作总结 | 第50页 |
| ·工作展望 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 摘要 | 第53-56页 |
| Abstract | 第56-59页 |
| 致谢 | 第59页 |
