Novel representations for a coherent threshold reliability system: a tale of eight signal ow graphs

Authors : ALI MUHAMMAD RUSHDI, ALAA MOHAMMAD ALTURKI

Pages : 257-269

View : 12 | Download : 9

Publication Date : 0000-00-00

Article Type : Research Paper

Abstract :A threshold system is a reliability system whose success/failure is a threshold switching function in the successes/failures of its components. A coherent system insert ignore into journalissuearticles values(CS); is one that is causal, monotone, and with relevant components. The coherent threshold system insert ignore into journalissuearticles values(CTS);, typically called the weighted k-out-of-n system, is consequently described by strictly positive weights and threshold. This paper presents recursive relations as well as boundary conditions for eight entities pertaining to a CTS. These are insert ignore into journalissuearticles values(a); expressions of monoform literals as well as disjoint or probability- ready expressions for either system success or failure, and insert ignore into journalissuearticles values(b); all-additive formulas as well as inclusion-exclusion ones for either system reliability or unreliability. These entities are obtained according to the best policy of implementing the Boole{Shannon expansion with respect to a higher-weight component before it is made with respect to a lower-weight one. With this best policy, the success and failure expressions with monoform literals are both minimal and shellable. Each of the eight entities considered is represented by an acyclic insert ignore into journalissuearticles values(loopless); signal ow graph insert ignore into journalissuearticles values(SFG);. The SFG for system success or failure is isomorphic to a reduced ordered binary decision diagram, which is the optimal data structure for a Boolean function. The interrelations between the SFGs demonstrate optimal procedures for implementing insert ignore into journalissuearticles values(a); the probability insert ignore into journalissuearticles values(real); transform of a Boolean function, insert ignore into journalissuearticles values(b); inversion or complementation of a Boolean function, and insert ignore into journalissuearticles values(c); disjointing or orthogonalization of a sum-of-products expression of a Boolean function. The SFGs discussed herein for a CT can be extended to a general coherent system. They reduce to elegant symmetric regular graphs for the special case of a partially redundant system insert ignore into journalissuearticles values(k-out-of-n system);.
Keywords : Reliability, coherent threshold system, weighted k out of n system, recursive relations, boundary conditions, signal ow graph, reduced ordered binary decision diagram