An active FTA constructing method, qualitative and quantitative as well as module analysis of FTA based on Binary Decision Diagram (BDD) was researched in this thesis.

• 本文研究了动态建造故障树的方法，以及基于BDD的故障树定性分析、定量分析和模块分析方法。 主要做了以下几方面的工作：