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

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

作　　者：周经伦[1] 周忠宝[2] 彭宝华[1] 任培[1] 

机构地区：[1]国防科技大学信息系统与管理学院,湖南长沙410073 [2]湖南大学工商管理学院,湖南长沙410082

出　　处：《系统工程学报》2009年第3期380-384,共5页Journal of Systems Engineering

基　　金：十五国防预研资助项目(41319020103)

摘　　要：由于传统的概率安全评估方法难以处理多态系统,本文通过一个煤气泄漏多态系统实例提出了一种基于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.

关 键 词：二元决策图 多态系统 概率安全评估 安全性分析 事故序列 

分 类 号：TB114.3[理学—概率论与数理统计]