Skip to Main content Skip to Navigation
Journal articles

An optimized procedure to generate sums of disjoint products

Abstract : This article describes an efficient procedure, the so-called Semi-Optimal Disjunction Approach (SODA), to generate a sum of the disjoint products (SDP) from a set of minimal products representing either the minimal s–t paths of reliability networks or the minimal cutsets of the coherent fault trees. The proposed procedure involves the concept of multiple-variables inversion or grouped-variables inversion. The process is improved by carrying out a reprocessing of the initial formula which reduces the number of terms of the result, and hence the overall computation time. A previous version of this article was submitted to RESS by the fall of 1993 and was accepted up to minor reversions a year later. Unfortunately, the final redaction has been delayed since then. The present version takes into account some other articles published in between and includes new ideas that improve the implementation of the proposed algorithm. At least on classical test examples, SODA produces shorter formulae than the other SDP methods known by the authors.
Document type :
Journal articles
Complete list of metadatas
Contributor : Jean-Baptiste Vu Van <>
Submitted on : Thursday, September 26, 2019 - 11:46:55 AM
Last modification on : Wednesday, October 14, 2020 - 4:12:16 AM

Links full text




Eric Chatelet, Yves Dutuit, Antoine Rauzy, Tarek Bouhoufani. An optimized procedure to generate sums of disjoint products. Reliability Engineering and System Safety, Elsevier, 1999, 65 (3), pp.289-294. ⟨10.1016/S0951-8320(99)00010-1⟩. ⟨hal-02297597⟩



Record views