-
题名离散事件系统弱可预测性的验证算法
- 1
-
-
作者
曹卫华
刘富春
-
机构
广东工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2023年第S02期955-960,共6页
-
基金
国家自然科学基金(61673122)
广东省自然科学基金(2019A1515010548,2020A1515010941)。
-
文摘
对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出了弱可预测性的概念。弱可预测性是对系统未来是否一定会处于故障状态这一情况的预测。相比可预测性,弱可预测性不要求所有故障事件串都是可预测的。对可预测的故障事件串,弱可预测性能够在故障发生之前发出警报,而对不可预测只能诊断的故障事件串,其也能在故障发生之后发出警报。文中构造了证明器来测试系统的弱可预测性,并基于这个证明器给出了测试系统弱可预测性的多项式复杂度的算法,给出了弱可预测性的充分必要条件。
-
关键词
离散事件系统
故障预测
弱可预测性
多项式复杂度
自动机
-
Keywords
Discrete event system
Fault prognosis
Weak prognosability
Polynomial complexity
Automata
-
分类号
TP206
[自动化与计算机技术—检测技术与自动化装置]
-