Mostrar el registro sencillo del ítem
Variable ordering heuristics for BDD based on minimal cutsets
dc.contributor.author | Ibañez Llano, Cristina | es-ES |
dc.contributor.author | Rauzy, Antoine | es-ES |
dc.date.accessioned | 2016-01-15T11:27:39Z | |
dc.date.available | 2016-01-15T11:27:39Z | |
dc.date.issued | 2008-05-18 | es_ES |
dc.identifier.uri | http://hdl.handle.net/11531/5637 | |
dc.description | Capítulos en libros | es_ES |
dc.description.abstract | es-ES | |
dc.description.abstract | 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 key issue in the efficiency of this technique stands in the choice of a good variable ordering. In this article, we explore a new idea for the design of ordering heuristics: the use of minimal cutsets calculated with a classical algorithm in order to group variables. We propose several ordering heuristics to be applied on a sum-of-products. We discuss whether these heuristics could be extended to general formulae. | en-GB |
dc.format.mimetype | application/pdf | es_ES |
dc.language.iso | en-GB | es_ES |
dc.publisher | Sin editorial (Hong Kong, China) | es_ES |
dc.rights | es_ES | |
dc.rights.uri | es_ES | |
dc.source | Libro: International Probabilistic Safety Assessment and Management Conference - PSAM9, Página inicial: , Página final: | es_ES |
dc.subject.other | Instituto de Investigación Tecnológica (IIT) | es_ES |
dc.title | Variable ordering heuristics for BDD based on minimal cutsets | es_ES |
dc.type | info:eu-repo/semantics/bookPart | es_ES |
dc.description.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.rights.accessRights | info:eu-repo/semantics/restrictedAccess | es_ES |
dc.keywords | es-ES | |
dc.keywords | Probabilistic Safety Assessment, Minimal Cutsets, Binary Decision Diagrams, Variable Ordering Heuristics | en-GB |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Artículos
Artículos de revista, capítulos de libro y contribuciones en congresos publicadas.