基于值传递的快速故障诊断.pdfVIP

计算机科学2007Vo1．34No．4 基于值传递的快速故障诊断 张学农 姜云飞 蔡永铭。 (中山大学软件研究所 广州 510275) (广东药学院网络中心 广州 510224)。 摘 要 本文提 出了一种基于值传递的系统模型，重新定义了诊断，该定义与Reiter经典的诊断定义等价。在此基础 上，给出了一种线性时间找到一个极小诊断的算法，该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出 诊断的同时，还给 出了系统与该诊断对应的当前行为的一种合理解释。最后，给出了该方法与诊断测试结合实现系统 修复的方法。 关键词 值传递，基于模型诊断，极小诊断 An EfficientApproach toDiagnosingaSystem withValuePropagationM odel ZHANGXumNong · JIANG Yun-Fei CAIYong-M ing。 (InstituteofSoftwareResearch，ZhongshanUniversity，Guangzhou510275) (NetworkCenter，GuangdongPharmacenticalUniversity，Guangzhou510224)。 Abstract Thispaperpresentsasystem modelbasedonvaluepropagationandredefinedthediagnosis，whichisequiva一 1entwithReiter’Sclassica1defination．Onthebasesofabove，a-1inear-timealgorithm forfindingoneminima1diagnosis isbroughtout．Itneednotcomputeminimalconflicts．CorrespondingtOtheminimaldiagnosis，itoutputsasuitablein— terpretationofsystem’Scurrentbehavior．Atlast，thispaperpresentsamethodforrepairingsystem byintegratingdi— agnosesandtest． Keywords Valuepropagation，Model—baseddiagnosis，M inimaldiagnosis 推理方法，提高了诊断的效率。ConsoleE“]、HeikoMilde_1] 1 引言 等提出了时态判定树并应用于系统实时诊断。 基于模型诊断口]就是根据系统组成元件之间的连接建立 事实上 ，为了得到真正的诊断，必须对候选诊断进行测 起待诊断系统模型。如果观测到的系统行为与系统预期行为 试 ，可以增加观测或进行元件替换_1。因此 ，基于模型的诊 有差异，说明系统存在故障。利用逻辑推理，能够确定引发故 断通常被理解为不断迭代的诊断产生、诊断测试和鉴别的过 障的元件集合。 程 。 模型构建是基于模型诊断的基础。经典模型¨1采用一阶 Reite将诊断的过程分两步：1)产生所有 的极小冲突集； 逻辑表示系统，描述系统的组成和行为。LucaChittaroE2等 2)求极小冲突集的极小碰集得到极小诊断。然而通过定理证 扩充了经典模型，提出了多错误分层诊断模型，描述元件在各 明器或归结方法计算冲突集的复杂性是指数级的。 种状态下的行为，包括正常状态和各种不同的异常状态。P． Reiter的方法以及其后改进没有显式地考虑系统的值传 BaroniE。]等提出了一种采用有限状态 自动机描述动态系统的 递，值传递隐含在归结过程