一种结合时间区间代数建模的主动系统的故障诊断方法

计算机科学 ›› 2008, Vol. 35 ›› Issue (12): 137-141.

一种结合时间区间代数建模的主动系统的故障诊断方法

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金重大项目基金（60496320,60496321）,国家自然科学基金（60773097,60873148）,新世纪优秀人才支持计划项目基金,吉林省科技发展计划项目基金（20060532,20080107）,欧盟项目基金TH/AsiaLink/010（111084）和吉林大学“985工程”研究生创新基金（20080115）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断，在原有主动系统的自动机建模的基础上，引入时间区间代数表达更为详细的时间约束信息，构成带有时间的自动机对系统组件建模；同样在所得观测中也加入相应的更为详细的时间信息。由于加上了时间的约束，可使得诊断的解释空间进一步缩小，从而在一定情况下可提高诊断效率。最后讨论了非线性不确定观测或并发等一般情形下的处理方法。

关键词: 基于模型的诊断主动系统离散事件系统时间区间代数自动机

Abstract: Diagnosis of serial event driven active systems with global clock and linear observation was studied. Time interval algebra was introduced for representing detailed time information into automata. And active systems can be mod- eled by this kind of timed

Key words: Model-based diagnosis,Active systems,Discrete event systems,Time interval algebra,Automata

. 一种结合时间区间代数建模的主动系统的故障诊断方法[J]. 计算机科学, 2008, 35(12): 137-141. https://doi.org/