离散事件系统基于窗口更新增量诊断方法的研究与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 离散事件系统增量诊断的研究综述 | 第9-23页 |
| ·引言 | 第9-11页 |
| ·基于模型的诊断研究 | 第11-13页 |
| ·离散事件系统的研究 | 第13-15页 |
| ·离散事件系统的诊断问题研究 | 第15-19页 |
| ·增量诊断问题的研究 | 第19-21页 |
| ·论文结构介绍 | 第21页 |
| ·本章小结 | 第21-23页 |
| 第2章 离散事件系统诊断问题的描述 | 第23-35页 |
| ·离散事件系统的概念 | 第23-25页 |
| ·离散事件系统的自动机形式 | 第25-27页 |
| ·诊断问题的形式化描述 | 第27-30页 |
| ·系统特性和观察值对诊断的影响 | 第30-34页 |
| ·本章小结 | 第34-35页 |
| 第3章 基于窗口更新的增量诊断方法 | 第35-53页 |
| ·增量诊断的主要思想 | 第35-37页 |
| ·非穷举增量诊断引擎方法 | 第37-41页 |
| ·更新理论 | 第41-44页 |
| ·基于窗口更新的增量诊断 | 第44-51页 |
| ·本章小结 | 第51-53页 |
| 第4章 基于窗口更新增量诊断的实现 | 第53-65页 |
| ·诊断系统主要框架 | 第53-54页 |
| ·系统的设计与实现 | 第54-57页 |
| ·观察值的产生 | 第57-58页 |
| ·部分诊断的产生 | 第58-60页 |
| ·利用部分诊断进行更新 | 第60-62页 |
| ·诊断复位 | 第62-63页 |
| ·算法复杂度分析 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第5章 实验结果及分析 | 第65-75页 |
| ·诊断算法准确性对比与分析 | 第65-67页 |
| ·诊断算法效率对比与分析 | 第67-69页 |
| ·诊断复位次数对比与分析 | 第69-71页 |
| ·诊断窗口对算法的影响 | 第71-73页 |
| ·本章小结 | 第73-75页 |
| 第6章 总结及展望 | 第75-77页 |
| ·全文工作总结 | 第75-76页 |
| ·本文工作展望 | 第76-77页 |
| 参考文献 | 第77-81页 |
| 致谢 | 第81页 |
