|
|
论文:2014,Vol:32,Issue(1):106-110 |
|
|
引用本文： |
|
|
张竞凯, 章卫国, 袁燎原, 刘小雄. 一种基于逻辑代数模型的动态故障树不交化方法[J]. 西北工业大学 |
|
|
Zhang Jingkai, Zhang Weiguo, Yuan Liaoyuan, Liu Xiaoxiong. A Method of Disjoint Cut Sets/Sequences Generation Based on Boolean Algebraic Models for DFTs[J]. Northwestern polytechnical university |
|
|
|
|
|
|
|
| 一种基于逻辑代数模型的动态故障树不交化方法 |
|
| 张竞凯, 章卫国, 袁燎原, 刘小雄 |
|
| 西北工业大学 自动化学院, 陕西 西安 710072 |
| 摘要: |
| 针对动态故障树的逻辑代数模型,提出一种不交化方法:在获得最小割序列或集合的基础上,通过对动态逻辑事件进行"非运算"和"反演"运算,推演出故障树逻辑代数模型的容-斥不交化形式,为其后的动态故障树定量分析提供有效的结构函数表达式。借助一个共享备件的双温贮备(WSP)系统案例的研究,可以体现出该种方法较之传统方法的优越性。 |
| 关键词:
逻辑代数模型
动态故障树
不交化
容斥方法
|
|
| A Method of Disjoint Cut Sets/Sequences Generation Based on Boolean Algebraic Models for DFTs |
|
| Zhang Jingkai, Zhang Weiguo, Yuan Liaoyuan, Liu Xiaoxiong |
|
| Department of Automatic Control, Northwestern Polytechnical University, Xi'an 710072, China |
| Abstract: |
| For the Boolean Algebraic Models of Dynamic Fault Trees,a method of generating their Disjoint Cut Sets/ Sequences is proposed in this paper. This paper is arranged as follows:(1) history and state of the art about Dynamic Fault Tree Analysis(DFTA) are introduced with the list of advantages and disadvantages of the study on DFTA;(2) the basic dynamic events/ sequences are analyzed to generate formulae due to the logical operation of negation;(3) the typical dynamic gates including CSP,WSP and HSP are analyzed to deduce the Boolean Algebraic formulae due to the logical operation of negation and De Morgan's laws;(4) by the foregoing tools of disjoint, the inclusion-exclusion formulae of a two-WSP system sharing one spare are deduced based on the acquisition of Minimal Cut Sequences/ Sets. The advantage of the proposed method is concluded by comparison with the conventional methods. |
| Key words:
Boolean algebra
fault tree analysis
inclusion-exclusion
probability distribution
reliability analysis
disjoint
dynamic fault tree
spare
fornal logic
inverse problems
set theory
mathematical operators
|
|
| 收稿日期: 2013-04-23
修回日期:
|
| DOI: |
| 基金项目: 航空材料基金(20110753006)资助 |
| 通讯作者:
Email： |
| 作者简介: 张竞凯(1981-),西北工业大学博士研究生,主要从事飞行控制系统故障诊断及其专家系统技术研究。
|
|
|
|
|
|
|
|
参考文献: |
|
|
[1] Fussell J B, Aber E F, Rahl R G, et al. On the Quantitative Analysis of Priority-AND Failure Logic[J]. IEEE Trans on Reliability, 1976, R-25(5): 324-326
[2] Dugan J B, Bavuso S J B. Dynamic Fault Tree M odels for Fault -Tolerant Computer Systems[J]. IEEE Trans on Reliability,1992, 41(3): 363-377
[3] Amari S, Dill G, Howald E. A New Approach to Solve Dynamic Fault Trees[C] ∥Annual of the 2003 Reliability and Maintainability Symposium, 2003: 374-379
[4] Boudali H, Crouzen P, Stoelinga M. Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains[C] ∥ Proceedings of 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007: 708-717
[5] Yuge T, Yanagi S. Quantitative Analysis of a Fault Tree with Priority AND Gates[J]. Reliability Engineering & System Safety,2008, 93(11): 1577-1583
[6] Merle G, Roussel J M, Lesage J J, Bobbio A. Algebraic Expression of the Structure Function of a Subclass of Dynamic Fault Trees[C] ∥Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS＇09), 2009, 129-134
[7] Merle G, Roussel J M, Lesage J J. Algebraic Determination of the Structure Function of Dynamic Fault Trees[J]. Reliability Engineering & System Safety, 2011, 96(2): 267-277
[8] Merle G, Roussel J M, Leasage J J. Probabilistic Algebraic Analysis of Fault Trees with Priority Dynamic Gates and Repeated Events[J]. IEEE Trans on Reliability, 2010, 59(1): 250-261
[9] Amari S V, Pham H, Misra R B. Reliability Characteristics of K-Out-of-N Warm Standby Systems[J]. IEEE Trans on Reliability, 2012, 61(4): 1007-1018
[10] Guillaume Merle J M R, Jean Jacque Lesage. Analytical Calculation of Failure Probilities in Dynamic Fault Trees including Spare Gates[C] ∥European Safety and Reliability Conference (ESREL 2010), Rhodes, Greece, 2010: 794-801 |
|
|
|
|
|
|
|
