Checking Correctness of a Symbolic Reliability Expression for a Capacitated Network
Omar Mutab Alsalami, Ali Muhammad Ali Rushdi
Journal of Engineering Research and Reports · pp. 12–29 · Published 6 Nov 2020
10.9734/jerr/2020/v18i217203Abstract
Checking a symbolic reliability expression for a flow network is useful for detecting faults in hand derivations and for debugging computer programs. This checking can be achieved in a systematic way, though it may be a formidable task. Three exhaustive tests are given when a reliability system or network has a flow constraint. These tests apply to unreliability and reliability expressions for non-coherent as well as coherent systems, and to cases when both nodes and branches are unreliable. Further properties of reliability expressions derived through various methods are discussed. All the tests and other pertinent results are proved and illustrated by examples.
Cited by 2
A. Rushdi, Motaz H. Amashah · Journal of Engineering Research and Reports · 2021
O. M. Alsalami, A. Rushdi · Asian Journal of Research in Computer Science · 2021
Related research
- Utilization of the Karnaugh Map in Exploring Cause-effect Relations Modeled by Partially-defined Boolean Functions — shares topic coverage
- Utilization of Eight-Variable Karnaugh Maps in the Exploration of Problems of Qualitative Comparative Analysis — shares topic coverage
- Using Eight-Variable Karnaugh Maps to Unravel Hidden Technicalities in Qualitative Comparative Analysis — shares topic coverage
- Logical Design of n-bit Comparators: Pedagogical Insight from Eight-Variable Karnaugh Maps — shares topic coverage
Article metrics
Real usage data collected on this platform.
10
Page views
0
PDF downloads
0
Outbound clicks
2
Citations
Views over time
Views by country
Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".
Traffic sources
Referring site, by host.
Views and downloads exclude known bots/crawlers. Citations combines this platform's own DOI-resolved index with each external source's own reported total — see Cited by above for individually listed citing works. Last refreshed 0 seconds ago.