计算机科学 ›› 2015, Vol. 42 ›› Issue (2): 177-181.doi: 10.11896/j.issn.1002-137X.2015.02.038

• 软件与数据库技术 • 上一篇    下一篇

离散事件系统部分可诊断性分析

陆伟,张龙妹,朱怡安   

  1. 西安财经学院信息学院 西安710100;西北工业大学软件与微电子学院 西安710072,西安科技大学通信与信息工程学院 西安710054,西北工业大学软件与微电子学院 西安710072
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受航天支撑技术基金(2013-HT-XGD),国家自然科学基金(61103003)资助

Partial Diagnosability Analysis of Discrete-event Systems

LU Wei, ZHANG Long-mei and ZHU Yi-an   

  • Online:2018-11-14 Published:2018-11-14

摘要: 针对离散事件系统部分可诊断性问题,提出一种量化评价与分析方法。该方法以树状结构的故障模型为基础,引入可诊断度与可诊断深度指标,能够从可诊断故障覆盖程度与精确程度两个方面对系统可诊断性进行评价,其优点是评价结果量化表示,能为部分可诊断系统的进一步评价、分析与对比提供参考。此外,还讨论了故障模型对系统可诊断度与可诊断深度两个评价指标的影响,并给出了故障模型构造的一般原则。实例分析与讨论结果表明,所提出的可诊断度与可诊断深度指标能够准确反映系统在特定故障模型下的部分可诊断状态。所提出的部分可诊断性评价方法能为基于离散事件模型的复杂系统设计与评价提供依据,并能够进一步为智能、自适应和自愈系统的设计提供参考。

关键词: 离散事件系统,可诊断性,故障模型,系统评价

Abstract: A quantitative evaluation and analysis method was proposed for partial diagnosable discrete event systems.The proposed method is based on the fault model which is depicted as a tree structure in this paper.Two indicators,diagnosable degree and diagnosable depth,were introduced in the method which can evaluate the diagnosability of systems in cover range and precision respectively.The advantage of the method is that the quantitive values of the evaluating result can be used to analyze and compare different systems which are all partial diagnosable.Furthermore,the impact of different structures of fault model on diagnosable degree and diagnosable depth was discussed and some general principles for constructing fault model were given.The results of analysis and discussion on an example show that the diagnosable degree and diagnosable depth indicators can reflect the diagnosable status of the system accurately when the system is partial diagnosable.The proposed method is useful for designing and analyzing complex systems based on discrete event model and can be helpful for designing and analyzing intelligent systems,self-adaptive systems and self-hea-ling systems.

Key words: Discrete event systems,Diagnosability,Fault model,System evaluation

[1] Dai L.Introduction to discrete event systems[J].IEEE Transactions on Automatic Control,2001,46(2):353-354
[2] 赵相福,欧阳丹彤.离散事件系统基于模型诊断的研究进展[J].计算机科学与探索,2011,5(2):114-127
[3] Sampath M,et al.Diagnosability of discrete-event systems[J].IEEE Transactions on Automatic Control,1995,40(9):1555-1575
[4] Contant O,et al.Diagnosability of Discrete Event Systems with Modular Structure[J].Discrete Event Dynamic Systems,2006,16(1):9-37
[5] Zhou C,et al.Decentralized modular diagnosis of concurrent discrete event systems[C]∥9th International Workshop on Discrete Event Systems.Goteborg,Sweden,2008:388-393
[6] Lafortune S,Chen E.A Relational Algebraic Approach to theRepresentation and Analysis of Discrete Event Systems[C]∥Proceedings of American Control Conference.Boston,MA,USA,1991:2893-2898
[7] 单锦辉,徐克俊,王戟.一种软件故障诊断过程框架[J].计算机学报,2011,34(2):371-382
[8] 朱荣,徐拾义.软件测试中故障模型的建立[J].计算机工程与应用,2003,39(17):69-71
[9] Kwong R H,Yonge-Mallo D L.Fault Diagnosis in Discrete-Event Systems:Incomplete Models and Learning[J].IEEE Transactions on Systems,Man and Cybernetics,2011,41(1):118-130
[10] Fijany A,Barrett A C,Vatan F.A fast model-based diagnosis engine[C]∥2012 IEEE Aerospace Conference.Big Sky,MT,2012:1-11
[11] Mahulea C,et al.Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets[J].IEEE Transactions on Systems,Man and Cybernetics,2012,42(4):970-984
[12] 王晓宇,欧阳丹彤,赵剑.不完备模型下的离散事件系统诊断方法[J].软件学报,2012,23(3):465-475

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!