| 第一章 引言 | 第1-10页 |
| ·研究目的 | 第7-8页 |
| ·研究现状 | 第8-9页 |
| ·本文产生背景 | 第9页 |
| ·本文主要工作 | 第9-10页 |
| 第二章 基于模型诊断 | 第10-17页 |
| ·基本概念 | 第10-14页 |
| ·基于一致的诊断 | 第10-12页 |
| ·核心诊断 | 第12-13页 |
| ·缩减诊断的数目 | 第13-14页 |
| ·诊断的计算 | 第14-15页 |
| ·序列诊断定义~[16] | 第15-17页 |
| 第三章 动态推理和更新机制 | 第17-39页 |
| ·非单调推理简介~[34] | 第17-19页 |
| ·缺省推理~[34] | 第17-19页 |
| ·DRUM-II 框架~[4] | 第19-23页 |
| ·基于模型方法 | 第19-20页 |
| ·计算极小模型 | 第20-21页 |
| ·在限定推理基础上确定蕴含关系~[28,29] | 第21-23页 |
| ·限定推理的其它形式 | 第23-26页 |
| ·固定谓词扩展 | 第23页 |
| ·区分优先级的限定推理≤(p_1)|->…> (p_n)|-~[29] | 第23-26页 |
| ·修改和过滤算法 | 第26-35页 |
| ·语言 | 第26-28页 |
| ·修正不一致的模型 | 第28-29页 |
| ·修正算法 | 第29-31页 |
| ·算法的特性 | 第31-33页 |
| ·一个迭代加深算法 | 第33-35页 |
| ·非单调推理应用 | 第35-39页 |
| ·PMON-限定推理 | 第35-37页 |
| ·Baker 提出的框架~[33] | 第37-39页 |
| 第四章 DRUM-II 实现的基于模型警报关联系统 | 第39-52页 |
| ·应用领域 | 第39-40页 |
| ·基于一致性建模 | 第40-46页 |
| ·建模综述 | 第40-42页 |
| ·详细建模(具体的模型) | 第42-45页 |
| ·对几个例子的讨论 | 第45-46页 |
| ·一种改进的系统描述方法 | 第46-52页 |
| ·基于一致性模型诊断的局限性 | 第46-47页 |
| ·改进的系统描述 | 第47-49页 |
| ·计算诊断 | 第49-52页 |
| 第五章 表诊断 | 第52-63页 |
| ·概述 | 第52页 |
| ·超表推演 | 第52-57页 |
| ·从 DRUM-II 中得出的经验 | 第57-58页 |
| ·形式化 | 第58-61页 |
| ·cuts 技术 | 第59-60页 |
| ·对初始模型应用重命名技术 | 第60-61页 |
| ·表方法的实现和经验总结 | 第61-62页 |
| ·实现表方法的基本证明过程 | 第61-62页 |
| ·诊断任务 | 第62页 |
| ·计算极小n 故障诊断 | 第62页 |
| ·结论 | 第62-63页 |
| 参考文献 | 第63-66页 |
| 摘要 | 第66-69页 |
| Abstract | 第69-73页 |
| 致谢 | 第73-74页 |
| 导师和作者简介 | 第74页 |