离散事件系统基于模型的增量诊断方法的研究

摘要	第1-5页
Abstract	第5-9页
第1章 绪 论	第9-13页
·诊断简介	第9-10页
·诊断的作用	第10-11页
·诊断的应用	第11-12页
·本文的组织结构	第12-13页
第2章 基于模型的诊断方法	第13-24页
·静态诊断方法	第13-15页
·基于一致性的诊断描述	第13-14页
·溯因诊断描述	第14-15页
·离散事件系统诊断方法	第15-22页
·离散事件简介	第15-16页
·离散事件系统定义	第16-17页
·离散事件系统诊断模型	第17-19页
·离散事件系统诊断方法分类	第19-21页
·离散事件系统基于模型的诊断方法	第21-22页
·可诊断性简介	第22-24页
第3章 基于回溯的增量诊断	第24-36页
·增量诊断方法	第24-25页
·基于非穷举诊断引擎（NEDE）增量诊断	第25-27页
·基于NEDE增量诊断算法	第25-26页
·基于NEDE增量诊断方法实例分析及优缺点评价	第26-27页
·基于回溯的增量诊断	第27-36页
·基于回溯的增量诊断模型	第28-30页
·优先候选诊断选择	第30-33页
·基于回溯的增量诊断算法	第33-36页
第4章 数据结构及实验结果	第36-45页
·主要的数据结构简介	第36-38页
·基于回溯的增量诊断过程演示	第38-43页
·优先候选诊断选择功能实现	第39-41页
·诊断中回溯功能实现	第41-43页
·实验结果分析及对比	第43-45页
第5章 总结与展望	第45-47页
·本文总结	第45页
·工作展望	第45-47页
参考文献	第47-49页
致谢	第49页