Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams
Ali Muhammad Ali Rushdi, Alaa Mohammad Alturki
Journal of Advances in Mathematics and Computer Science · pp. 1–9 · Published 31 May 2017
10.9734/BJMCS/2017/33642Abstract
A prominent reliability model is that of the partially-redundant (k-out-of-n) system. We use algebraic as well as signal-flow-graph methods to explore and expose the AR algorithm for computing k-out-of-n reliability. We demonstrate that the AR algorithm is, in fact, both a recursive and an iterative implementation of the strategy of Reduced Ordered Binary Decision Diagrams (ROBDDs). The underlying ROBDD for the AR recursive algorithm is represented by a compact Signal Flow Graph (SFG) that is used to deduce AR iterative algorithms of quadratic temporal complexity and linear spatial complexity. Extensions of the AR algorithm for (single or scalar) threshold, double-threshold, vector-threshold, and k-to-l-out-of-n systems have similar ROBDD interpretations.
Cited by 5
A. M. Rushdi, M. Rushdi · arXiv.org · 2023
A. M. Rushdi, M. Rushdi · arXiv.org · 2023
A. Rushdi · International journal of mathematical, engineering and management sciences · 2019
A. Rushdi, Abdulghani Bakur Alsayegh · Journal of Advances in Mathematics and Computer Science · 2019
A. Rushdi, Mohamed A. Al-Amoudi · Journal of Engineering Research and Reports · 2019
Related research
- Anxiety and Visual Field Assessment Reliability in Glaucoma Patients — shares topic coverage
- Home Recording And Video Selection: Their use In A Low-Resource Setting For Epilepsy Diagnosis — shares topic coverage
- A study on Clinical Validity and Reliability of the Bengali Language Translated Gastroesophageal Reflux Disease Quality of Life Questionnaire (GERD-QOL) in Gastroesophageal Reflux Disease Patients — shares topic coverage
- Reliability of the General Nutrition Knowledge Questionnaire among Head Teachers from Schools in Uganda — shares topic coverage
- Validity and Reliability of Combination of Observed Practice with Objective Structured Clinical Examination (OSCE) in Midwifery Final Exam — shares topic coverage
Article metrics
Real usage data collected on this platform.
0
Page views
0
PDF downloads
0
Outbound clicks
5
Citations
Views by country
Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".
No views recorded yet.
Traffic sources
Referring site, by host.
No traffic recorded yet.
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.