学术探索
学术期刊
学术作者
新闻热点
数据分析
智能评审
利用结构信息的故障诊断方法
被引:53
作者
:
栾尚敏
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院软件研究所
栾尚敏
戴国忠
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院软件研究所
戴国忠
机构
:
[1]
中国科学院软件研究所
[2]
中国科学院软件研究所 北京
来源
:
计算机学报
|
2005年
/ 05期
关键词
:
故障诊断;
诊断集;
极小冲突集;
算法;
时间复杂性;
D O I
:
暂无
中图分类号
:
TP277 [监视、报警、故障诊断系统];
学科分类号
:
140102
[集成电路设计与设计自动化]
;
摘要
:
基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.该文利用系统的结构信息,给出了求极小冲突集的一个算法,证明了算法的正确性,分析了算法的复杂性;然后介绍了如何由极小冲突求得诊断.其次,还给出了利用结构信息直接求诊断的一个算法,证明了其正确性.最后与相关工作进行了比较.该文给出的算法,对于一些特殊结构的系统可在多项式时间内结束.
引用
收藏
页码:801 / 808
页数:8
相关论文
共 4 条
[1]
基于模型的诊断问题分解及其算法
[J].
论文数:
引用数:
h-index:
机构:
李占山
;
姜云飞
论文数:
0
引用数:
0
h-index:
0
机构:
吉林大学计算机科学与技术学院,中山大学计算机软件研究所,长春工业大学图书馆长春吉林大学符号计算与知识工程教育部重点实验室长春,广州,长春
姜云飞
;
论文数:
引用数:
h-index:
机构:
王涛
.
计算机学报,
2003,
(09)
:1171
-1176
[2]
基于模型诊断的元件替换与替换测试
[J].
论文数:
引用数:
h-index:
机构:
姜云飞
;
李占山
论文数:
0
引用数:
0
h-index:
0
机构:
中山大学计算机软件研究所!广州,吉林大学计算机科学系!长春
李占山
.
计算机学报,
2001,
(06)
:666
-672
[3]
用辩论刻画含约束的诊断空间
[J].
论文数:
引用数:
h-index:
机构:
陈荣
;
论文数:
引用数:
h-index:
机构:
姜云飞
.
计算机学报,
2001,
(03)
:303
-307
[4]
含约束的基于模型的诊断系统
[J].
论文数:
引用数:
h-index:
机构:
陈荣
;
论文数:
引用数:
h-index:
机构:
姜云飞
.
计算机学报,
2001,
(02)
:127
-135
←
1
→
共 4 条
[1]
基于模型的诊断问题分解及其算法
[J].
论文数:
引用数:
h-index:
机构:
李占山
;
姜云飞
论文数:
0
引用数:
0
h-index:
0
机构:
吉林大学计算机科学与技术学院,中山大学计算机软件研究所,长春工业大学图书馆长春吉林大学符号计算与知识工程教育部重点实验室长春,广州,长春
姜云飞
;
论文数:
引用数:
h-index:
机构:
王涛
.
计算机学报,
2003,
(09)
:1171
-1176
[2]
基于模型诊断的元件替换与替换测试
[J].
论文数:
引用数:
h-index:
机构:
姜云飞
;
李占山
论文数:
0
引用数:
0
h-index:
0
机构:
中山大学计算机软件研究所!广州,吉林大学计算机科学系!长春
李占山
.
计算机学报,
2001,
(06)
:666
-672
[3]
用辩论刻画含约束的诊断空间
[J].
论文数:
引用数:
h-index:
机构:
陈荣
;
论文数:
引用数:
h-index:
机构:
姜云飞
.
计算机学报,
2001,
(03)
:303
-307
[4]
含约束的基于模型的诊断系统
[J].
论文数:
引用数:
h-index:
机构:
陈荣
;
论文数:
引用数:
h-index:
机构:
姜云飞
.
计算机学报,
2001,
(02)
:127
-135
←
1
→