基于BDD的多态系统概率安全评估方法研究

Research on probabilistic safety assessment method of multi-state systems based on BDD

由于传统的概率安全评估方法难以处理多态系统,本文通过一个煤气泄漏多态系统实例提出了一种基于BDD的多态系统概率安全评估方法.首先将多态事件树中的事故序列用多态布尔表达式进行描述,进而将多态布尔表达式转化为BDD,给出了一种基于不交化思想的BDD定量算法.在此基础上,提出了实用的基于BDD的多态系统概率安全评估步骤,并通过实例说明了BDD定量算法的正确性.

Because of the difficulty of traditional probabilistic safety assessment methods in dealing with multi-state systems, a new method based on binary decision diagrams is proposed by means of an example of gas leak multi-state system. The accident sequences are described by using Boolean expressions, which are subsequently converted into binary decision diagrams. And quantitative algorithm based on disjoint Boolean expression is provided. The applicable steps of probabilistic safety assessment of multi-state systems are summarized and the correctness of the new quantitative algorithm is illustrated by an example.