基于模型诊断的分步求解

被引：16

作者：

张学农 ^{[1
]}

姜云飞 ^{[1
]}

陈蔼祥 ^{[1
]}

张立成 ^{[2
]}

机构：

[1] 中山大学软件研究所

[2] 广东药学院网络中心

来源：

软件学报 | 2008年 / 03期

关键词：

基于模型的诊断; 诊断分解; 分步推理;

D O I：

暂无

中图分类号：

TP301.6 [算法理论];

学科分类号：

080201 [机械制造及其自动化];

摘要：

对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.与利用变量假定例化值分解诊断问题的方法相比,该算法能提高了效率并且扩大了适用范围.

引用

页码：584 / 593

页数：10

共 7 条

[1]

利用结构信息的故障诊断方法 [J].

栾尚敏 ;

戴国忠 .

计算机学报, 2005, (05) :801-808

[2]

基于模型的诊断问题分解及其算法 [J].

李占山 ;

姜云飞 ;

王涛 .

计算机学报, 2003, (09) :1171-1176

[3]

基于模型诊断的元件替换与替换测试 [J].

姜云飞 ;

李占山 .

计算机学报, 2001, (06) :666-672

[4]

含约束的基于模型的诊断系统 [J].

陈荣 ;

姜云飞 .

计算机学报, 2001, (02) :127-135

[5]

广义因果理论的基于模型的诊断 [J].

欧阳丹彤 ;

姜云飞 .

计算机研究与发展 , 1999, (01)

[6]

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks.[J].Yannick Pencolé;Marie-Odile Cordier.Artificial Intelligence.2005, 1

[7]

Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis [J].

Portinale, L ;

Magro, D ;

Torasso, P .

ARTIFICIAL INTELLIGENCE, 2004, 158 (02) :109-153

← 1 →