Improved BDD Binary Logic Algorithm: Hidden BDD Algorithm

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This paper first introduces the principle of BDD algorithm, then gives the definition of 1-structure function and 0-structural function, and derives the 1-structure and 0-structure function of each logic gate based on the principle of disjoint of BDD. Next, the concept of hidden BDD is proposed. Then the algorithm flow is proposed, The algorithm does not need to sort the bottom event, nor does it need to construct and optimize BDD, that is, it can directly obtain the top event structure function and use the structure function to perform quantitative calculation. The algorithm can simplify the encoding process, reduce the related steps around the BDD in order to obtain the structure function, and improve the computational efficiency. Finally, a case is given to illustrate the correctness and effectiveness of the algorithm.

Original languageEnglish
Title of host publicationProceedings of 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, QR2MSE 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages749-754
Number of pages6
ISBN (Electronic)9781728114279
DOIs
StatePublished - Aug 2019
Event2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, QR2MSE 2019 - Zhangjiajie, Hunan, China
Duration: 6 Aug 20199 Aug 2019

Publication series

NameProceedings of 2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, QR2MSE 2019

Conference

Conference2019 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, QR2MSE 2019
Country/TerritoryChina
CityZhangjiajie, Hunan
Period6/08/199/08/19

Keywords

  • BDD
  • encoding process
  • hidden BDD
  • structure function
  • top event

Fingerprint

Dive into the research topics of 'Improved BDD Binary Logic Algorithm: Hidden BDD Algorithm'. Together they form a unique fingerprint.

Cite this