割序集模型中顺序失效符完备推演规则研究

被引：3

作者：

王波 ^{[1
]}

刘东 ^{[2
]}

李艺 ^{[3
]}

宋楠 ^{[1
]}

机构：

[1] 装备指挥技术学院研究生管理大队

[2] 装备指挥技术学院重点实验室

[3] 装备指挥技术学院科研部

来源：

装备指挥技术学院学报 | 2011年 / 22卷 / 04期

关键词：

可靠性; 动态故障树; 割序集; 顺序失效符; 推演规则;

D O I：

暂无

中图分类号：

TB114.3 [可靠性理论];

学科分类号：

1201 ;

摘要：

割序集(cut sequence set,CSS)模型是基于动态逻辑门顺序失效机制建立的动态故障树(dynamic fault tree,DFT)分析方法。为将模型中CSS初级形式转化为最小割序集(minimal cut sequence set,MCSS),研究了顺序失效符(se-quence failure symbol,SFS)的完备推演规则。从完备性出发,提出了SFS的12条规则,并给出了规则的完备性证明和实例应用。SFS完备推演规则解决了自动获取复杂动态系统MCSS的问题,是CSS模型定性分析的进一步形式化描述。

引用

页码：87 / 91

页数：5