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