@inproceedings{0df36099be6d4dedbdcadb4428ba04f6,
title = "A new GO methodology algorithm based on BDD",
abstract = "To solve the problems on quick achieving reliability and the minimal path sets (MPS) of a system with GO Methodology, a Binary Decision Diagram (BDD) based new GO methodology algorithm is introduced. This technique can avoid the shared signals and combination explosion problems simultaneously. Detailed steps with a case study are presented to explain the analysis procedure of this technique, firstly, establish the GO model and transform it into a directed acyclic diagram (DAG), logic tree and BDD successively; then minimize the BDD according to the Without Rule; at last, this system reliability and MPS can be achieved. The results of the studied case verify the validity and effectiveness of this algorithm.",
keywords = "Binary decision diagram, GO methodology, Minimal path sets, Minimize, Reliability",
author = "Jian Fan and Yi Ren and Liu, \{Lin Lin\}",
year = "2013",
doi = "10.4028/www.scientific.net/AMR.791-793.1134",
language = "英语",
isbn = "9783037858363",
series = "Advanced Materials Research",
pages = "1134--1138",
booktitle = "Chemical and Mechanical Engineering, Information Technologies",
note = "2013 3rd International Symposium on Chemical Engineering and Material Properties, ISCEMP 2013 ; Conference date: 22-06-2013 Through 24-06-2013",
}