结构抽象分层基于模型诊断的算法改进

提要	第1-7页
第一章 引言	第7-9页
·研究背景及意义	第7-8页
·本文的工作	第8-9页
第二章 基于模型诊断	第9-20页
·基于模型诊断概述	第9-10页
·基于一致性诊断	第10-14页
·溯因诊断	第14页
·诊断算法	第14-19页
·基于冲突测试和候选产生的方法	第15-19页
·探测与测试	第19页
·小结	第19-20页
第三章 分层的基于模型诊断	第20-30页
·概述	第20页
·抽象方式	第20-26页
·行为抽象	第21-24页
·结构抽象	第24-26页
·分层诊断算法	第26-29页
·小结	第29-30页
第四章 分层诊断算法的改进	第30-44页
·问题描述	第30-31页
·抽象方式	第31-36页
·超部件模型的建立	第31-34页
·状态对应	第34-36页
·自动抽象和诊断算法	第36-38页
·抽象方式讨论	第38-39页
·诊断的正确性与完备性	第39-41页
·正确性	第39-40页
·完备性	第40-41页
·改进候选验证方法	第41-43页
·小结	第43-44页
第五章 诊断系统设计与实验结果	第44-47页
·系统设计	第44-46页
·小结	第46-47页
第六章 结束语及展望	第47-48页
·结束语	第47页
·展望	第47-48页
参考文献	第48-50页
摘要	第50-52页
Abstract	第52-55页
致谢	第55页