检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]四川大学软件学院,成都610064 [2]西安卫星测控中心,西安710043
出 处:《科学技术与工程》2013年第25期7357-7363,共7页Science Technology and Engineering
基 金:国家自然科学基金项目(11273072)资助
摘 要:提出一种利用组件逻辑结构关系直接求解所有最小诊断的方法。该方法将系统的最小诊断求解分解为离线建立规则和在线确定诊断两个步骤。方法的本质属于溯因诊断。以Poly-box系统为例验证了方法的正确性,同时对方法的诊断解的完备性、可采纳性、重用性进行了分析说明。针对方法中的规则建立效率低下的问题,提出了两点改进措施,并仍以Poly-box系统为例进行了对比验证,结果表明,改进的方法提升了诊断规则的建立效率。A method using components logic connection to resolve all minimal diagnoses is put forward. The method, whose attribute is abductive diagnosis, divides the resolve process of all minimal diagnosis into two steps: build diagnosis rules off-line first and gain the diagnosis on-line second. The correctness of this method is proved by using Poly-box system, while some characters of the conclusion are shown by analysis. To enhance the efficiency of rule-building, two improve measures are proposed, and the conclusions have proved that the efficiency is truly im- proved.
关 键 词:组件逻辑结构关系 基于模型的诊断 最小诊断 溯因诊断
分 类 号:TP183[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222