基于时态失效逻辑的割序集模型量化方法

被引:5
作者
王波 [1 ]
刘东 [1 ]
李艺 [1 ,2 ]
机构
[1] 装备学院重点实验室
[2] 装备学院科研部
关键词
可靠性; 动态故障树; 割序集; 时态逻辑; 量化方法; 时态区间;
D O I
暂无
中图分类号
N945.17 [系统的可靠性和可行性];
学科分类号
071102 ;
摘要
针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻辑的统一量化方法。示例结果表明,该方法计算较为精确,便于操作。
引用
收藏
页码:268 / 271
页数:4
相关论文
共 2 条
[1]   割序集模型中顺序失效符完备推演规则研究 [J].
王波 ;
刘东 ;
李艺 ;
宋楠 .
装备指挥技术学院学报, 2011, 22 (04) :87-91
[2]  
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis[J] . Boudali,Hichem,Crouzen,Pepijn,Stoelinga,Marielle.IEEE Transactions on Dependable and Secure Computing . 2010 (2)