Dissertation > Excellent graduate degree dissertation topics show

Research on Variable Ordering Methods of Binary Decision Diagram

Author: SunYan
Tutor: DuSuGuo
School: Shanghai Jiaotong University
Course: Management Science and Engineering
Keywords: Fault Tree Analysis Binary Decision Diagram Variable Ordering Method Modules
CLC: C934
Type: Master's thesis
Year: 2008
Downloads: 44
Quote: 0
Read: Download Dissertation

Abstract


With the development of technology, people have great demands for the safety and reliability of a system. Fault Tree Analysi(sFTA) has been widely used for quantitatively and qualitatively analysis on the reliability of a system. An efficient way to analyze a fault tree is Binary Decision Diagram (BDD) method, which can take advantage of computer technology to automatically deal with a large scale fault tree. However, in order to use this method, the fault tree has to be converted into a BDD format first. During the conversion process, the variable ordering problem is a key issue for a good BDD’s generation. Although there are several ordering methods available, no one method has been found suitable to all kinds of the fault trees. In this paper, a novel ordering method, named as Progressive Neighbor First, is proposed. Based on existing methods, this new method emphasizes the logical relationship of the basic event variables. And during the process of the BDD conversion, it will choose the basic event variables that have been fixed statically in a dynamical way, allowing different ordering on each path of the diagram. After detailing the principle and steps of this method, it has been programmed with C language for widely use. Compared with the existing best BDD ordering heuristics, the proposed scheme can achieve performance improvement on 75% of test cases. This thesis also introduces the concept of modules. The proposed new method and modules are combined as Modular Progressive Neighbor First ordering method, which improves the possibility of converting large scale fault tree into BDD.

Related Dissertations

  1. Reliability of Ventilation System Based on Failure Modes, Effects Analysis Andfault Tree Analysis,TD724
  2. S modular modular employee training system,F407.61
  3. Study on Intelligent Diagnosis of Measuring Radar,TN957
  4. Investigation on Analyzing of Security of Power Generation Equipments,TM307
  5. A Hierarchical Symbolic Simulator for Analog Circuit Design,TN710
  6. Reproductive Characteristics of the Rare Plant Ammodendron Argenteum (Pall.) Kuntze.,S793.9
  7. J2EE-based ATM bank alarm monitoring system design and implementation,TP311.52
  8. Elevator control cabinet testing and fault diagnosis technology,TU857
  9. Design of Vital Computer’s Output Module and Its Reliability and Safety Research,TP309
  10. Security Monitoring System for Transformers in Rural Areas,TM76
  11. Research on Risk Evaluation of Municipal Underground Gas Pipeline,TU996.7
  12. Research for Traffic Signal Controller,U491.51
  13. Application of Data Mining Technology in Property Management,TP311.13
  14. Alias Analysis Based on Binary Decision Diagram,TP311.11
  15. The Study of Digital Array Antenna Transmitting Digital Beam Sweeping Technology,TN958
  16. Research on Intelligent Fault Diagnosis and Its Application in Inverter,TN773
  17. New Progress of Symbolic Simulator Applications on CMOS Analog Circuit Design Automation,TN432
  18. Research on Embedded Audit Module Approach in the Application of CA under IT Environment,F239.1
  19. Chinese Road Natural Area Based on the GIS-Landform and Software System,P208
  20. Some Notes on Endomorphism Rings of Quasi AP (AGP)-Injective Modules,O153.3
  21. On φ-Projective Modules, φ-Injective Modules and φ-Flat Modules,O153.3

CLC: > Social Sciences > Management > Decision Sciences
© 2012 www.DissertationTopic.Net  Mobile