导　　师： 姜云飞

学科专业： H1202

授予学位： 博士

作　　者： ;

机构地区： 中山大学

摘　　要： 该文对基于模型的诊断的全部诊断过程：模型表示、冲突识别、候选产生等,均给出了改进的算法.首先,对于模型的表示,根据部件之间的拓扑结构分成等价的部件树,这样可以减少部件的数量,从而达到提高计算效率的目的.其次,冲突识别采用env模型,可以提高识别的效率.再次,对于候选的产生,该文提出了三个改进的算法：用bhs-树、布尔代数公式化简、ga算法等,使得计算效率有很大的提高,使基于模型诊断的实际应用成为可能.最后,该文也对基于模型的诊断在实际系统中的应用给出了二个演示程序：计算碰集算法效率的比较,基于模型诊断的电路系统（从冲突识别到候选产生全过程和探测）.该模型虽然仍有许多不足之处,但是对于基于模型的诊断的理论在实际上的应用会起到一定的推进作用.

关 键 词： 模型诊断 等价部件 模型 树 遗传算法

分 类 号： [TP306.3 TP182]

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]