| 提要 | 第1-7页 |
| 第1章 绪论 | 第7-10页 |
| ·研究背景及现状 | 第7-8页 |
| ·论文主要工作 | 第8页 |
| ·论文结构 | 第8-10页 |
| 第2章 诊断求解概述 | 第10-21页 |
| ·诊断求解算法研究现状 | 第10-11页 |
| ·诊断基本定义 | 第11-12页 |
| ·诊断求解方法 | 第12-19页 |
| ·基于一致性原理的冲突求解（传统的诊断方式） | 第13-14页 |
| ·基于逻辑语义的诊断 | 第14-16页 |
| ·基于约束的诊断 | 第16-17页 |
| ·多故障分层诊断 | 第17-18页 |
| ·极大故障情况下的极小诊断 | 第18-19页 |
| ·算法分析和比较 | 第19-21页 |
| 第3章 基于组件与端口关系的诊断求解 | 第21-32页 |
| ·基本定义 | 第21-24页 |
| ·基于部件和终端输出求解算法 | 第24-28页 |
| ·诊断求解算法 | 第24-26页 |
| ·基于部件和终端输出求解算法分析 | 第26-28页 |
| ·实例 | 第28-30页 |
| ·诊断系统系统架构及实现 | 第30-32页 |
| ·系统主要架构及功能 | 第30-31页 |
| ·使用语言及开发环境 | 第31-32页 |
| 第4章 基于组件和终端关系的诊断在替换测试中的应用 | 第32-37页 |
| ·替换测试的基本概念 | 第32-33页 |
| ·替换测试算法 | 第33-35页 |
| ·基于组件和终端关系的诊断在替换测试中的应用 | 第35-37页 |
| 第5章 测试结果及分析 | 第37-44页 |
| ·测试结果分析 | 第37-42页 |
| ·其他电路抽象结果比较 | 第42-44页 |
| 第6章 相关工作分析与结论 | 第44-47页 |
| ·相关工作分析 | 第44-45页 |
| ·未来与展望 | 第45-47页 |
| 参考文献 | 第47-50页 |
| 致谢 | 第50-51页 |
| 摘要 | 第51-53页 |
| ABSTRACT | 第53-54页 |