| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-19页 |
| ·研究背景及现状 | 第10-16页 |
| ·故障诊断简介 | 第10页 |
| ·基于模型的诊断方法综述 | 第10-16页 |
| ·本文主要工作 | 第16-17页 |
| ·本文组织结构 | 第17-19页 |
| 第2章 基于静态模型中部件与输出关系的大规模系统诊断 | 第19-41页 |
| ·引言 | 第19-21页 |
| ·基本概念 | 第21-23页 |
| ·基于部件与输出关系的单故障诊断求解 | 第23-29页 |
| ·双层模型 | 第29-31页 |
| ·基于双层模型的多故障诊断求解 | 第31-34页 |
| ·实验结果及分析 | 第34-35页 |
| ·MFMC 诊断方法的改进 | 第35-39页 |
| ·MFMC 相关定义定理 | 第36页 |
| ·缩减观测数和元件数 | 第36-37页 |
| ·极小基数诊断算法 | 第37-39页 |
| ·相关工作及结论 | 第39-41页 |
| 第3章 离散事件系统下的极小测试集的计算研究 | 第41-54页 |
| ·引言 | 第41-42页 |
| ·基本概念 | 第42-45页 |
| ·基于 DES 的离线诊断模型 | 第42页 |
| ·CONJUNCTION 运算与更精细 | 第42-44页 |
| ·应用实例 | 第44-45页 |
| ·CONJUNCTION_1 算法用于极小测试集的计算 | 第45-50页 |
| ·CONJUNCTION_1 算法 | 第45-47页 |
| ·基于 CONJUNCTION_1 算法求取极小测试集 | 第47-50页 |
| ·流行算法比较及实例分析 | 第50-53页 |
| ·CONJUNCTION 算法与 CONJUNCTION_1 算法比较 | 第50-52页 |
| ·GETminOES 算法与流行算法的比较 | 第52页 |
| ·应用实例 | 第52-53页 |
| ·相关工作及结论 | 第53-54页 |
| 第4章 离散事件系统下的模型化简问题研究 | 第54-62页 |
| ·引言 | 第54-55页 |
| ·基本概念 | 第55-57页 |
| ·离散事件系统的模型化简 | 第57-61页 |
| ·问题引入 | 第57-58页 |
| ·化简规则 | 第58-61页 |
| ·结论 | 第61-62页 |
| 第5章 离散事件系统下的可诊断性测试与优化 | 第62-77页 |
| ·引言 | 第62-63页 |
| ·可诊断性 | 第63-65页 |
| ·Twin-Plant 模型 | 第65-66页 |
| ·逆向 Twin-Plant 模型算法 | 第66-72页 |
| ·逆向 Twin-Plant 模型 | 第66-71页 |
| ·可诊断性判断算法 | 第71-72页 |
| ·可诊断性优化算法 | 第72-76页 |
| ·相关工作及结论 | 第76-77页 |
| 第6章 结束语 | 第77-79页 |
| ·本文工作总结 | 第77-78页 |
| ·未来工作展望 | 第78-79页 |
| 参考文献 | 第79-84页 |
| 作者简介及在学期间所取得的科研成果 | 第84-85页 |
| 致谢 | 第85页 |
