用时序和逻辑规则形成动态故障树的紧缩Markov链

• 作者: 罗航 谢志萍 郑显举
• 来源期刊: 计算机应用研究
• 关键词: 动态故障树 规则 时序 紧缩马尔可夫链 最小割集 二元决策图
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3022-3025
• 分类号: TP202.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.08.061

摘要

针对枚举底事件的所有时序状态来形成Markov链的弊端,借鉴静态故障树的最小割集(minimum cutset,MCS)思想,考虑形成紧缩的Markov链(即最简顺序割集).其重要目的是剔除冗余的Markov链,在保证不影响系统失效分析的同时减小状态空间,最大限度地避免陷入组合爆炸的危险.其显著特点在于用时序规则和逻辑规则来描述动态逻辑门.以此为基础,用BDD( binary decision diagram)技术首先形成基于逻辑规则的动态系统的MCS,其次对每个MCS运用时序规则,组合成必要的Markov链.实际例证表明,将MCS和时序恰当地结合起来,能够有效地获取动态故障树的紧缩Markov链.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢志萍	成都电子机械高等专科学校计算机工程系	14	82	6.0	8.0
2	郑显举	成都电子机械高等专科学校计算机工程系	7	19	3.0	4.0
3	罗航	电子科技大学自动化工程学院	10	191	6.0	10.0