| 提要 | 第1-8页 |
| 第1章 绪论 | 第8-24页 |
| ·研究背景 | 第8-21页 |
| ·故障诊断简介 | 第8-9页 |
| ·基本的故障诊断方法 | 第9-11页 |
| ·离散事件系统的基于模型诊断 | 第11-20页 |
| ·应用简介 | 第20-21页 |
| ·本文主要工作 | 第21-24页 |
| ·本文研究目标与思路 | 第21-22页 |
| ·本文组织方式 | 第22-24页 |
| 第2章 离散事件系统基于模型的诊断方法 | 第24-72页 |
| ·研究现状 | 第24-25页 |
| ·结合时间区间代数的诊断方法 | 第25-38页 |
| ·引言 | 第25-26页 |
| ·带时间的自动机表示 | 第26-30页 |
| ·方法描述 | 第30-37页 |
| ·讨论 | 第37-38页 |
| ·小结 | 第38页 |
| ·基于SCL-D-holons 的分层诊断方法 | 第38-50页 |
| ·引言 | 第38-39页 |
| ·D-holons 与Silent closures 的相关概念 | 第39-45页 |
| ·基于SCL-D-holons 的分层诊断方法 | 第45-47页 |
| ·实例分析 | 第47-49页 |
| ·比较 | 第49-50页 |
| ·小结 | 第50页 |
| ·基于连续的两个时间窗口的在线诊断方法 | 第50-71页 |
| ·引言 | 第50-51页 |
| ·预备知识 | 第51-53页 |
| ·方法描述 | 第53-63页 |
| ·实例分析与应用模拟 | 第63-68页 |
| ·相关工作比较 | 第68-70页 |
| ·小结 | 第70-71页 |
| ·本章小结 | 第71-72页 |
| 第3章 可诊断性 | 第72-91页 |
| ·引言 | 第72页 |
| ·一个扩展的可诊断性定义的分层框架 | 第72-82页 |
| ·可诊断性定义的形式化比较 | 第82-83页 |
| ·由系统模型G 演化的各种有限状态自动机 | 第83-87页 |
| ·FSMs 的形式化表示 | 第84-85页 |
| ·各种FSMs 的比较 | 第85-87页 |
| ·可诊断性方法比较 | 第87-89页 |
| ·本章小结 | 第89-91页 |
| 第4章 不完备模型下的诊断理论研究 | 第91-106页 |
| ·引言 | 第91页 |
| ·自动机、同步与诊断表示 | 第91-94页 |
| ·P-同步积和P-诊断 | 第94-100页 |
| ·相关概念 | 第94-95页 |
| ·同步度p 的影响 | 第95-98页 |
| ·一种理想的优化P-诊断的启发式方法 | 第98-100页 |
| ·根据观测序列完备系统模型的方法 | 第100-104页 |
| ·方法描述 | 第100-102页 |
| ·复杂度分析 | 第102页 |
| ·实例分析 | 第102-104页 |
| ·相关工作和比较 | 第104页 |
| ·本章小结 | 第104-106页 |
| 第5章 结束语 | 第106-109页 |
| ·本文工作总结 | 第106-107页 |
| ·下一步工作 | 第107-109页 |
| 参考文献 | 第109-118页 |
| 攻博期间发表的学术论文及取得的科研成果 | 第118-121页 |
| 发表论文情况 | 第118-119页 |
| 负责/参加科研项目情况 | 第119-120页 |
| 其他学术活动 | 第120页 |
| 获奖情况 | 第120-121页 |
| 致谢 | 第121-122页 |
| 摘要 | 第122-125页 |
| Abstract | 第125-128页 |