离散事件系统关联性动态诊断的研究与实现

摘要	第1-4页
Abstract	第4-7页
第1章 绪论	第7-14页
·背景和意义	第7页
·国内外研究现状	第7-11页
·研究目标和范围	第11-12页
·论文结构介绍	第12-13页
·本章小结	第13-14页
第2章 离散事件系统的动态诊断	第14-25页
·动态系统和可诊断性	第14-17页
·基于规划的动态诊断	第17-20页
·可满足性的动态诊断	第20-24页
·本章小结	第24-25页
第3章 关联性动态诊断方法	第25-36页
·系统的表示	第25-26页
·诊断的形式定义	第26-27页
·关联性动态诊断模型	第27-34页
·关联性动态诊断和极小诊断	第34-35页
·本章小结	第35-36页
第4章 关联性动态诊断的算法实现	第36-51页
·实验用例介绍	第36-38页
·系统存储形式	第38-39页
·主要算法实现	第39-46页
·关联性动态诊断算法	第46-48页
·复杂度分析	第48-50页
·本章小结	第50-51页
第5章 关联性动态诊断的测试实验	第51-57页
·求解所有诊断	第51-53页
·求解极小诊断	第53-55页
·比较与分析	第55-56页
·本章小结	第56-57页
第6章 总结与展望	第57-59页
·结束语	第57-58页
·下一步的工作	第58-59页
参考文献	第59-63页
致谢	第63页