Reliability Analysis of a Multi-State Truly-Threshold System Using a Multi-Valued Karnaugh Map

07/26/2023
by   Ali Muhammad Ali Rushdi, et al.
0

This paper deals with the Boolean-based analysis of a prominent class of non-repairable coherent multistate systems with independent nonidentical multistate components. This class of systems is represented by a multistate coherent truly threshold system of several states, which is not necessarily binary-imaged. The paper represents such a system via Boolean expressions of system success or system failure at each non-zero level, which are in the form of minimal sop formulas, or disjoint sop formulas. These are expressions that are directly convertible to expected values. Several map representations are also offered, including a single multi-value Karnaugh map.

READ FULL TEXT
research
02/12/2022

Optimal Redundancy Allocation in Coherent Systems with Heterogeneous Dependent Components

This paper is concerned with the optimal number of redundant allocation ...
research
12/24/2021

Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving

Many practical engineering systems and their components have multiple pe...
research
01/09/2023

Implementations of two Algorithms for the Threshold Synthesis Problem

A linear pseudo-Boolean constraint (LPB) is an expression of the form a_...
research
08/07/2022

Adaptivity Gaps for the Stochastic Boolean Function Evaluation Problem

We consider the Stochastic Boolean Function Evaluation (SBFE) problem wh...
research
01/21/2020

Bisimilar Conversion of Multi-valued Networks to Boolean Networks

Discrete modelling frameworks of Biological networks can be divided in t...
research
07/13/2023

Short Boolean Formulas as Explanations in Practice

We investigate explainability via short Boolean formulas in the data mod...
research
06/11/2016

The Opacity of Backbones

A backbone of a boolean formula F is a collection S of its variables for...

Please sign up or login with your details

Forgot password? Click here to reset