基于冲突的离散事件系统诊断方法

被引：4

作者：

王晓宇 ^{[1
,2
]}

欧阳丹彤 ^{[1
,2
]}

赵剑 ^{[1
,2
]}

耿雪娜 ^{[1
,2
]}

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学教育部符号计算与知识工程重点实验室

来源：

吉林大学学报(工学版) | 2013年 / 02期

基金：

浙江省自然科学基金;

关键词：

人工智能; 基于冲突诊断; 离散事件系统; 动态诊断;

D O I：

10.13229/j.cnki.jdxbgxb2013.02.015

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

提出了一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率,离线计算模型中事件与状态的后验概率,从而处理不完全观测导致的不确定性,增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上,在线计算观测与模型的冲突,在模型中提取符合观测的轨迹,推导系统运行状况,判断故障,并给出故障路径。将基于冲突的诊断方法扩展到离散事件系统的诊断上来,避免了对无关事件的搜索及判断,从而降低了诊断搜索空间,便于计算更大规模的系统模型。

引用

页码：380 / 385

页数：6

共 5 条

[1] A method of combining SE-tree to compute all minimal hitting sets [J].

ZHAO Xiangfu and OUYANG Dantong School of Computer Science and Technology Jilin University Changchun China ;

Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun China .

Progress in Natural Science, 2006, (02) :169-174

[2] 动态系统基于模型诊断的研究进展与展望 [J].

赵相福 ;

欧阳丹彤 .

仪器仪表学报, 2005, (S2) :599-602

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

栾尚敏 ;

戴国忠 .

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

[4]

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)

[5] Diagnosis of large active systems [J].

Baroni, P ;

Lamperti, G ;

Pogliano, P ;

Zanella, M .

ARTIFICIAL INTELLIGENCE, 1999, 110 (01) :135-183

← 1 →