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

被引：7

作者：

周经伦 ^{[1
]}

周忠宝 ^{[2
]}

彭宝华 ^{[1
]}

任培 ^{[1
]}

机构：

[1] 国防科技大学信息系统与管理学院

[2] 湖南大学工商管理学院

来源：

系统工程学报 | 2009年 / 03期

关键词：

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

D O I：

暂无

中图分类号：

TB114.3 [可靠性理论];

学科分类号：

1201 ;

摘要：

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

引用

页码：380 / 384

页数：5

共 5 条

[1]

系统安全性分析[M]. 中南大学出版社 , 周经伦等编著, 2003

[2]

系统可靠性工程基础[M]. 科学出版社 , 梅启智等编著, 1987

[3] Mathematical foundations of event trees [J].