| 第一章 引言 | 第1-11页 |
| ·研究背景 | 第7-9页 |
| ·什么是基于模型的诊断 | 第7-8页 |
| ·基于模型诊断的研究意义 | 第8-9页 |
| ·基于模型诊断的应用领域 | 第9页 |
| ·本文主要工作 | 第9-11页 |
| 第二章 基于模型的诊断 | 第11-17页 |
| ·基于模型诊断的基本思想 | 第11-12页 |
| ·基于模型诊断的基本观点 | 第11页 |
| ·基于模型诊断的基本任务 | 第11页 |
| ·关于全加器的一个例子 | 第11-12页 |
| ·基于模型诊断的诊断过程 | 第12-14页 |
| ·假设产生 | 第12-13页 |
| ·假设测试 | 第13页 |
| ·假设辨别 | 第13-14页 |
| ·基本概念 | 第14-17页 |
| ·基于一致性的诊断 | 第14-15页 |
| ·极小诊断 | 第15页 |
| ·基于一致性的极小诊断 | 第15-16页 |
| ·溯因诊断 | 第16-17页 |
| 第三章 极小冲突集的计算方法 | 第17-34页 |
| ·利用电路的结构信息求电路极小冲突集的方法 | 第17-26页 |
| ·基本概念 | 第17-20页 |
| ·算法基本思想 | 第20-23页 |
| ·算法描述 | 第23-25页 |
| ·关于算法的正确性分析 | 第25-26页 |
| ·基于环境模型和电路系统结构信息求解极小冲突集的方法 | 第26-32页 |
| ·环境模型思想及其基本概念 | 第26-29页 |
| ·算法基本思想 | 第29-32页 |
| ·小结 | 第32-34页 |
| 第四章 诊断的计算方法 | 第34-59页 |
| ·HS-TREE 方法 | 第36-40页 |
| ·算法描述 | 第36-37页 |
| ·HS-TREE 的修剪规则 | 第37-39页 |
| ·HS-TREE 的问题 | 第39-40页 |
| ·HS-DAG 方法 | 第40-42页 |
| ·算法描述 | 第40页 |
| ·修剪规则 | 第40-41页 |
| ·与HS-TREE 算法的比较 | 第41-42页 |
| ·布尔方法 | 第42-45页 |
| ·基本概念 | 第42-43页 |
| ·算法描述 | 第43-45页 |
| ·小结 | 第45页 |
| ·基于遗传算法的方法 | 第45-49页 |
| ·什么是遗传算法 | 第45-47页 |
| ·算法描述 | 第47-49页 |
| ·小结 | 第49页 |
| ·BHS-TREE 方法 | 第49-53页 |
| ·基本概念 | 第49-50页 |
| ·算法描述 | 第50-52页 |
| ·小结 | 第52-53页 |
| ·SE-TREE 方法 | 第53-59页 |
| ·基本概念 | 第54-55页 |
| ·算法描述 | 第55-58页 |
| ·小结 | 第58-59页 |
| 第五章 总结与展望 | 第59-62页 |
| ·总结 | 第59-60页 |
| ·展望 | 第60-62页 |
| 参考文献 | 第62-64页 |
| 摘要 | 第64-67页 |
| ABSTRACT | 第67-71页 |
| 致谢 | 第71-72页 |
| 导师和作者简介 | 第72页 |