期刊文献+

基于扩展窗口的时序不完备诊断方法研究

Extended Observation Window for Diagnosing Discrete-event Systems with Incomplete Event Sequence Model
下载PDF
导出
摘要 离散事件系统诊断中,由于系统复杂度较高,对系统建模时要获得系统的完备行为非常困难。传统的诊断方法往往基于模型完备的假设,在模型不完备时会出现得不到诊断解释的问题。针对模型定义不完备中的一种情况——事件顺序定义不完备,提出了一种基于扩展窗口的时序不完备诊断方法,该方法利用相关事件无序信息,在增量诊断时通过动态改变观测窗口大小,结合两个观测窗口的观测序列,在一定程度上解决了不完备的诊断问题。该方法不仅扩展了模型完备条件的约束,得到了合理的诊断结果,而且改进了观测延迟导致的观测乱序情况,扩大了模型诊断的适用范围。最后,通过算法分析和实验结果证明该诊断方法在复杂度较低的情况下能够得到合理的诊断结果。 Most of traditonal approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. Aiming at this situation, we presented an approach to diagnose the incomplete event sequence model. Three aspects of the approach are adding information to the system model, dynamically extending observation window and merging the observations of the two windows. This diagnosis approach not only processes the event sequence model to expand the applicative scope, but also sloves the observation delay in a certain extent. It was tested. The result shows the approach in case of low complexity brings out expected results according to certain incom- plete models.
出处 《计算机科学》 CSCD 北大核心 2015年第10期222-225,共4页 Computer Science
基金 航天支撑技术基金(2013-HT-XGD(10)) 陕西省科学技术研究发展计划项目(2014K05-25) 西北工业大学研究生创业种子基金(Z2014065)资助
关键词 离散事件系统诊断 不完备模型 Discrete-event system diagnosis, Incomplete model
  • 相关文献

参考文献13

  • 1Cassandras C G,Lafortune S. Introduction to discrete event sys-tems[M]_ Springer, 1999.
  • 2Zaytoon J,Lafortune S. Overview of fault diagnosis methods forDiscrete Event Systems[J]. Annual Reviews in Control,2013,37(2):308-320.
  • 3Sampath M, Sengupta R,Lafortune S,et al. Failure diagnosisusing discrete-event models [J 3. IEEE Transactions on ControlSystems Technology. 1996,4(2) : 105-124.
  • 4王晓宇,欧阳丹彤,赵剑.不完备模型下的离散事件系统诊断方法[J].软件学报,2012,23(3):465-475. 被引量:8
  • 5Sampath M, Sengupta R, Lafortune S, et al. Diagnosability ofdiscrete-event systems[J]. IEEE Transactions on Control Sys-tems Technology,1995,40(9) : 1555-1575.
  • 6刘永阔,谢春丽,成守宇,夏虹.核电站分布式智能故障诊断系统研究与设计[J].原子能科学技术,2011,45(6):688-694. 被引量:9
  • 7Chen W H. Online fault diagnosis for power transmission net-works using fuzzy digraph models [J]. IEEE Transactions onPower Delivery,2012,27(2) :688-698.
  • 8Wang D,Feng W, Li J. A hybrid and hierarchy modeling ap-proach to model-based diagnosis [M] // Electrical Engineeringand Control. Springer, 2011 : 173-180.
  • 9Schullerus G,Supavatanakul P,Krebs V,et al. Modelling andhierarchical diagnosis of timed discrete-event systems [J]. Ma-thematical and Computer Modelling of Dynamical Systems,2006,12(6)-519-542.
  • 10Console L,Dupre D T, Torasso P, et al. A Theory of Diagnosisfor Incomplete Causal ModelsCQy/IJCAI. 1989: 1311-1317.

二级参考文献63

  • 1陆光宇.分布式系统快速故障诊断[J].舰船电子工程,2008,28(4):154-156. 被引量:1
  • 2刘永阔,夏虹,谢春丽,阎昌琪.基于模糊神经网络的核动力装置设备故障诊断系统研究[J].核动力工程,2004,25(4):328-331. 被引量:15
  • 3Hamscher W, Console L, de Kleer J. Readings in Modelbased Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
  • 4Console L, Dressier O. Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Proceodings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99). Sweden: Morgan Kaufmann, 1999. 1393-1400.
  • 5del Val A. On some tractable classes in deduction and abduction. Artfticial Intelligence, 2000, 116(1-2) : 297-313.
  • 6del Val A. The complexity of restricted consequence finding and abduction. In: Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-00). USA: AAAI Press/The MIT Press, 2000. 337-342.
  • 7Nordh G, Zanuttini B. Propositional abduction is almost always hard. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (UCAI-05). UK: Professional Book Center, 2005. 534-539.
  • 8Eiter T, Makino K. On computing all abductive explanations from a propositional Horn theory. Journal of the ACM, 2007, 54(5) : article 24, 1-54.
  • 9Stress P. Model-based and qualitative reasoning: an introduction. Annals of Mathematics and Artificial Intelligence, 1997, 19(3-4) : 355-381.
  • 10Console L, Picardi C, Theseider Dupre D. A framework for decentralized qualitative model-based diagnosis. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence ( IJCAI-07 ). India: AAAI Press, 2007. 286-291.

共引文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部