Browsing by Author "A3F656BC-1F0A-443C-AAF2-497D62C2089B"
Now showing items 1-6 of 6
-
A reduction approach to improve the quantification of linked fault trees through binary decision diagrams
Ibañez Llano, Cristina; Rauzy, Antoine; Meléndez Asensio, Enrique; Nieto Fuentes, Francisco (01/12/2010) -
Hybrid approach for the assessment of PSA models by means of binary decision diagrams
Ibañez Llano, Cristina; Rauzy, Antoine; Meléndez Asensio, Enrique; Nieto Fuentes, Francisco (01/10/2010)Binary Decision Diagrams are a well-known alternative to the minimal cutsets approach to assess Reliability Boolean models. They have been applied successfully to improve Fault Trees models assessment. However its application ... -
Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models
Ibañez Llano, Cristina; Rauzy, Antoine; Meléndez Asensio, Enrique; Nieto Fuentes, Francisco (01/12/2009)Binary decision diagrams (BDDs) are a well-known alternative to the minimal cutsets (MCS) approach to assess Boolean reliability models. While the application of fault tree analysis can be considered to be consolidated, ... -
Variable ordering heuristics for BDD based on minimal cutsets
Ibañez Llano, Cristina; Rauzy, Antoine (Sin editorial (Hong Kong, China), 18/05/2008)The Binary Decision Diagram technology is a good alternative to the classical minimal cutsets approach to assess Fault Trees and Event Trees issued from Probabilistic Safety Assessment studies of the nuclear industry. A ... -
Variable ordering schemes to apply to the binary Decision diagram methodology for event tree sequences assessment
Ibañez Llano, Cristina; Meléndez Asensio, Enrique; Nieto Fuentes, Francisco (Sin editorial (Estoril, Portugal), 18/09/2006)Binary Decision Diagram (BDD) methodology is the most recent approach to improve Boolean reliability models assessment. The final size of the BDD, and therefore the ultimate benefits of this technique, is very sensible to ... -
Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment
Ibañez Llano, Cristina; Meléndez Asensio, Enrique; Nieto Fuentes, Francisco (01/01/2008)Binary decision diagram (BDD) methodology is the most recent approach to improve Boolean reliability models assessment. The final size of the BDD, and therefore the ultimate benefits of this technique, are very sensitive ...