Karnaugh-Map Analysis of a Commodity-Supply Multi-State Reliability System

A multi-state k-out-of-n: G system is a multi-state system whose multi-valued success is greater than or equal to a certain value j (lying between 1 (the lowest non-zero output level) and M (the highest output level)) whenever at least km components are in state m or above for all m such that 1 ? m ? j. This paper is devoted to the analysis of a commodity-supply system that serves as a standard gold example of a non-repairable multi-state k-out-of-n: G system with independent non-identical components. We express each instance of the multi-state system output as an explicit function of the multi-valued inputs of the system. The ultimate outcome of our analysis is a Multi-Valued Karnaugh Map (MVKM), which serves as a natural, unique, and complete representation of the multi-state system. To construct this MVKM, we use “binary” entities to relate each of the instances of the output to the multi-valued inputs. These binary entities are represented via an eight-variable Conventional Karnaugh Map (CKM) that is adapted to a map representing four variables that are four-valued each. Despite the relatively large size of the maps used, they are still very convenient, thanks to their regular structure. No attempt was made to draw loops on the maps or to seek minimal formulas. The maps just served as handy tools for combinatorial representation and for collectively implementing the operations of ANDing, ORing, and complementation. The MVKM obtained serves as a means for symbolic analysis yielding results that agree numerically with those obtained earlier. The map is a useful tool for visualizing many system properties, and is a valuable resource for computing a plethora of Importance Measures for the components of the system.