| 一种基于动态故障树的SBDD方法 |
| |
| 引用本文： | 张晓策,燕雪峰,周勇. 一种基于动态故障树的SBDD方法[J]. 计算机科学, 2017, 44(9): 195-199 |
| |
| 作者姓名： | 张晓策 燕雪峰 周勇 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院 南京211106,南京航空航天大学计算机科学与技术学院 南京211106,南京航空航天大学计算机科学与技术学院 南京211106 |
| |
| 基金项目： | 本文受十三五重点基础科研项目(JCKY2016206B001),江苏省六大人才高峰项目(XXRJ-004)资助 |
| |
| 摘 要： | 在分析基于Pandora的动态故障树时,SBDD方法未考虑各底事件间复杂的关系,造成生成的SBDD中存在无效分支,即计算的不交化割集中存在无效割集。针对该问题,提出了一种基于动态故障树的SBDD方法,可以动态删除无效节点,避免无效分支的产生。该方法主要包括两个方面:基于结构式排序方法的关系式排序方法和动态优化SBDD生成算法。关系式排序方法的基本思想是利用故障树的结构关系和底事件间的关系给底事件赋予不同的排序优先级。在底事件排序队列的基础上,使用动态优化SBDD生成算法来生成SBDD。在计算过程中,该算法动态删除无效的节点,使结果中不存在无效割集。实验结果表明,在相近的时间内,使用基于动态故障树的SBDD方法生成的SBDD规模更小,不交化割集数目更少且不存在无效割集。
|
| 关 键 词： | Pandora 动态故障树 SBDD方法 动态优化SBDD生成算法 关系式排序方法 |
| 收稿时间： | 2016-08-16 |
| 修稿时间： | 2016-12-05 |
Method of SBDD Based on Dynamic Fault Tree |
| |
| ZHANG Xiao-ce,YAN Xue-feng and ZHOU Yong. Method of SBDD Based on Dynamic Fault Tree[J]. Computer Science, 2017, 44(9): 195-199 |
| |
| Authors: | ZHANG Xiao-ce YAN Xue-feng ZHOU Yong |
| |
| Affiliation: | College of Computer Science and Technology,Nanjing University of Aeronautics & Astronautics,Nanjing 211106,China,College of Computer Science and Technology,Nanjing University of Aeronautics & Astronautics,Nanjing 211106,China and College of Computer Science and Technology,Nanjing University of Aeronautics & Astronautics,Nanjing 211106,China |
| |
| Abstract: | |
| |
| Keywords: | Pandora Dynamic fault tree Method of SBDD Generation algorithm of SBDD Relation sorting method |
|
|
点击此处可从《计算机科学》下载全文 |
|
