首页> 中文期刊> 《软件学报》 >不完备模型下的离散事件系统诊断方法

不完备模型下的离散事件系统诊断方法

         

摘要

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

    王晓宇; 欧阳丹彤; 赵剑;

  • 作者单位

    吉林大学计算机科学与技术学院;

    吉林长春 130012;

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

    吉林长春 130012;

    吉林大学计算机科学与技术学院;

    吉林长春 130012;

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

    吉林长春 130012;

    吉林大学计算机科学与技术学院;

    吉林长春 130012;

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

    吉林长春 130012;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 自动推理、机器学习;
  • 关键词

    动态诊断; 不完备模型;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号