SYNTHESIS OF FAULT TREES - EXAMPLE OF NONCOHERENCE

被引:22
作者
LOCKS, MO
机构
[1] Oklahoma State University, Stillwater
关键词
Boolean logic; Computer aid; Fail-safe systems; Fault tree; Logic; Minimal cut; Minimal path; Nitric acid cooler; s-Coherence;
D O I
10.1109/TR.1979.5220450
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The Lapp & Powers (L&P) fault-tree model of a nitric acid cooling process is explored to a greater level of depth than in the previous round-robin correspondence on the controversy over exclusive-or (XOR) gate G7 in the L&P fault tree. In this paper, the minimalized logic equations for success or failure of G7 are derived, and the subsystem reliability function is calculated. The subsystem reliability vs component reliability function is U-shaped; this is not an abnormality, but a result of the XOR failure logic. The overall system reliability vs component reliability function, however, is J-shaped. Some further comments are made on the relevance of this problem to the study of s-noncoherent and fail-safe systems. Copyright © 1979 by The Institute of Electrical and Electronics Engineers, Inc.
引用
收藏
页码:2 / 5
页数:4
相关论文
共 7 条
[1]   MULTI-COMPONENT SYSTEMS AND STRUCTURES AND THEIR RELIABILITY [J].
BIRNBAUM, ZW ;
ESARY, JD ;
SAUNDERS, SC .
TECHNOMETRICS, 1961, 3 (01) :55-&
[2]   COMMENT ON - COMPUTER-AIDED SYNTHESIS OF FAULT-TREES [J].
HENLEY, EJ ;
KUMAMOTO, H .
IEEE TRANSACTIONS ON RELIABILITY, 1977, 26 (05) :316-316
[3]   UPDATE OF LAPP-POWERS FAULT-TREE SYNTHESIS ALGORITHM [J].
LAPP, SA ;
POWERS, GJ .
IEEE TRANSACTIONS ON RELIABILITY, 1979, 28 (01) :12-15
[4]   COMPUTER-AIDED SYNTHESIS OF FAULT-TREES [J].
LAPP, SA ;
POWERS, GJ .
IEEE TRANSACTIONS ON RELIABILITY, 1977, 26 (01) :2-13
[5]  
LOCKS MO, 1979 P ANN REL MAINT, P44
[6]  
LOCKS MO, 1978, NOTRE DAME J FORMAL, V18, P264
[7]  
[No title captured]