%0 Journal Article
%T An Efficient Approach to Diagnosing a System with Value Propagation Model<br>基于值传递的快速故障诊断
%A ZHANG Xue-Nong
%A JIANG Yun-Fei
%A CAI Yong-Ming
%A <br>张学农
%A 姜云飞
%A 蔡永铭
%J 计算机科学
%D 2007
%I 
%X 本文提出了一种基于值传递的系统模型，重新定义了诊断，该定义与Reiter经典的诊断定义等价。在此基础上，给出了一种线性时间找到一个极小诊断的算法，该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出诊断的同时，还给出了系统与该诊断对应的当前行为的一种合理解释。最后，给出了该方法与诊断测试结合实现系统修复的方法。
%K Value propagation
%K Model-based diagnosis
%K Minimal diagnosis<br>值传递
%K 基于模型诊断
%K 极小诊断
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C79F1DC33BFAB8553E0DECC80EE24955&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=E158A972A605785F&sid=4133DDB79B497495&eid=11CEECA6DA9E4AC5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=18