| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·诊断的产生 | 第11-12页 |
| ·诊断产生的必要性 | 第11页 |
| ·什么是诊断 | 第11-12页 |
| ·怎样进行诊断 | 第12页 |
| ·诊断方法 | 第12-13页 |
| ·传统的诊断方法 | 第12-13页 |
| ·基于模型的诊断 | 第13页 |
| ·基于模型诊断的发展 | 第13-14页 |
| ·本文主要工作 | 第14-15页 |
| 第2章 离散事件系统中基于模型的诊断 | 第15-23页 |
| ·离散事件系统 | 第15-18页 |
| ·什么是离散事件系统 | 第15-16页 |
| ·离散事件系统的建模 | 第16-18页 |
| ·同步积 | 第18-19页 |
| ·常见的离散事件系统的诊断方法 | 第19-23页 |
| ·按诊断时间划分 | 第19-20页 |
| ·按对象不同划分 | 第20-21页 |
| ·不同的编译技术 | 第21-23页 |
| 第3章 用 CNF 进行离散事件系统中基于模型的诊断 | 第23-39页 |
| ·相关定义 | 第23页 |
| ·系统建模 | 第23-24页 |
| ·CNF 的同步积运算 | 第24-28页 |
| ·同步积运算算法 | 第25-26页 |
| ·同步积运算演示 | 第26-28页 |
| ·诊断器的计算 | 第28-35页 |
| ·不可观测转移的隐藏 | 第29-33页 |
| ·故障传播 | 第33-35页 |
| ·用归结方法进行诊断 | 第35-37页 |
| ·诊断算法 | 第35-36页 |
| ·诊断算法演示 | 第36-37页 |
| ·算法分析 | 第37-39页 |
| 第4章 用 BDD 进行离散事件系统中基于模型的诊断 | 第39-46页 |
| ·系统建模 | 第39页 |
| ·BDD 抽象算法 | 第39-41页 |
| ·BDD 诊断算法 | 第41页 |
| ·用 BDD 进行诊断实例 | 第41-44页 |
| ·两种方法的比较 | 第44-46页 |
| 第5章 总结与展望 | 第46-48页 |
| ·总结 | 第46页 |
| ·展望 | 第46-48页 |
| 参考文献 | 第48-50页 |
| 致谢 | 第50页 |