Boolean-based symbolic analysis for the reliability of coherent multi-state systems of heterogeneous components

Other Title(s)

تحليل رمزي مستند للجبر البولاني لمعولية النظم المتسقة متعددة الحالات ذات المركبات غير المتجانسة

Joint Authors

Ghalib, Faris Ahmad Muhammad
Rushdi, Ali Muhammad Ali

Source

Journal of King Abdulaziz University : Computing and Information Technology Sciences

Issue

Vol. 9, Issue 2 (31 Dec. 2020), pp.1-25, 25 p.

Publisher

King Abdul Aziz University Faculty of Computing and Information Technology

Publication Date

2020-12-31

Country of Publication

Saudi Arabia

No. of Pages

25

Main Subjects

Electronic engineering

Abstract EN

This paper is devoted to the Boolean-based analysis of non-repairable coherent multi-state systems with independent non-identical multi-state components.

We adapt several binary concepts and tools such as probability-ready expressions, Boolean quotients, the Boole-Shannon expansion, and the Karnaugh map to the multi-state case.

The paper utilizes algebraic techniques of multiple- valued logic to evaluate each of the multiple levels of the system output as a binary or propositional function of the system multi-valued inputs.

The formula of each of these levels is then written as a probability–ready expression, thereby allowing its immediate conversion, on a one-to-one basis, into a probability or expected value.

The symbolic reliability analysis of two small systems (which serve as standard gold examples of coherent multi-state systems) is completed successfully herein, yielding results that have been checked symbolically, and are also shown to agree numerically with those obtained earlier.

The algebraic techniques used are supplemented by illustrative visualization via multi-valued Karnaugh maps.

Emphasis is placed on the generalization of concepts of coherent binary systems to those of coherent multi-state ones, rather than innovating new unfamiliar stand- alone concepts for these latter systems.

American Psychological Association (APA)

Rushdi, Ali Muhammad Ali& Ghalib, Faris Ahmad Muhammad. 2020. Boolean-based symbolic analysis for the reliability of coherent multi-state systems of heterogeneous components. Journal of King Abdulaziz University : Computing and Information Technology Sciences،Vol. 9, no. 2, pp.1-25.
https://search.emarefa.net/detail/BIM-1326059

Modern Language Association (MLA)

Rushdi, Ali Muhammad Ali& Ghalib, Faris Ahmad Muhammad. Boolean-based symbolic analysis for the reliability of coherent multi-state systems of heterogeneous components. Journal of King Abdulaziz University : Computing and Information Technology Sciences Vol. 9, no. 2 (2020), pp.1-25.
https://search.emarefa.net/detail/BIM-1326059

American Medical Association (AMA)

Rushdi, Ali Muhammad Ali& Ghalib, Faris Ahmad Muhammad. Boolean-based symbolic analysis for the reliability of coherent multi-state systems of heterogeneous components. Journal of King Abdulaziz University : Computing and Information Technology Sciences. 2020. Vol. 9, no. 2, pp.1-25.
https://search.emarefa.net/detail/BIM-1326059

Data Type

Journal Articles

Language

English

Notes

Includes bibliographical references : p. 21-24

Record ID

BIM-1326059