第一章 绪论
1.1研究背景及意义
1.2国内外研究现状
1.2.1离散事件系统的故障诊断
1.2.2离散事件系统的不透明性
1.3本文主要研究与章节安排
第二章 DES的基本概念
第三章 模糊离散事件系统基于验证器的模式故障诊断
3.1模糊离散事件系统(FDES)
3.2 FDES的模式故障可诊断性
3.3 FDES模式可诊断性验证器的构造
第四章 分层离散事件系统的不透明性
4.1分层离散事件系统(HDES)
4.1.1 HDES
4.1.2 HDES的标准化
4.2 HDES的不透明性
4.2.1假正交状态化及不透明性
4.2.2 HDES的K延迟不透明性
4.3.2 PH-K-opaque验证器
4.4 K延迟不透明性验证器的复杂性分析
总结与展望
参考文献
攻读学位期间发表论文
声明
致谢
