利用标志传播求解基于模型的故障诊断

摘要：

基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支.提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断.使用SE-Tree( set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断.此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度.实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题.

关键词：基于模型的诊断、极小诊断、SE-Tree、输出标志

所属期刊栏目：32

分类号：TP18;TN707(自动化基础理论)

资助基金：国家自然科学基金60973089,60873148,60773097,61003101;吉林省科技发展计划项目基金20101501,20100185,20090108,20080107,201101039;国家教育部博士点专项基金2010006111003;浙江省自然科学基金Y1100191;浙江师范大学计算机软件与理论重中之重学科开放基金

在线出版日期：2012-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2857-2862