不完备模型下的离散事件系统诊断方法
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金(60973089, 60873148, 60773097, 61003101); 吉林省科技发展计划项目基金(20101501, 20100185, 20090108, 20080107);教育部博士点专项基金(20100061110031); 浙江省自然科学基金(Y1100191); 欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12); 吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)


Discrete-Event System Diagnosis upon Incomplete Model
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求.在因果不完备条件下,提出用因果图联系部件,解决分布式诊断中由于部件独立建模而导致的不彻底诊断,提高了诊断的精确性.通过实验验证,两种条件下的诊断方法均能在相应的不完备模型中得到预期诊断结果,并对模型进行局部修订,提高模型的完备性.

    Abstract:

    There are two properties of incomplete: the incomplete of model definition and causality. With the condition of incomplete model definition, the method of constraint between online observation and the off-line model are proposed to process disordered and undefined events to obtain practical trajectory. Contrast to no being diagnosed by a complete model, this method expands the applicative scope and breaks the model limitation. On condition of causality incomplete, the usage of causal diagram to connect components is proposed. This method solves the halfway diagnostic problem caused by setting models separately, meanwhile enhancing accuracy. It has been tested that the diagnostic way under those two conditions brings out expected results according to certain incomplete models. It also reformulates model partially and improves the model maturity.

    参考文献
    相似文献
    引证文献
引用本文

王晓宇,欧阳丹彤,赵剑.不完备模型下的离散事件系统诊断方法.软件学报,2012,23(3):465-475

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-12-24
  • 最后修改日期:2011-01-31
  • 录用日期:
  • 在线发布日期: 2012-03-05
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号