基于Pandora时序规则的Markov链紧缩算法研究

作     者：赵逸群 戴冠帮 陈玉钰 ZHAO Yi-qun;DAI Guan-bang;CHEN Yu-yu

作者机构：中国人民解放军第五七二〇工厂安徽芜湖214007 

出 版 物：《飞机设计》 (Aircraft Design)

年 卷 期：2017年第37卷第2期

页      码：68-72页

摘      要：在对动态系统进行安全性分析时,为避免所生成的Markov链出现组合爆炸问题,考虑系统各组件失效事件发生的时序状态,引入三种Pandora时序逻辑门来描述时序信息,其重要目的就是剔除冗余的Markov链,在保证正确进行可靠性分析的基础上,形成紧缩的Markov模型。

主 题 词：故障树 时序逻辑 状态机 

学科分类：0711[理学-心理学类] 07[理学] 071102[071102] 

D　O　I：10.19555/j.cnki.1673-4599.2017.02.017

馆 藏 号：203230626...