动态故障树分析方法及其实现
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
9.期刊论文张晓洁.赵海涛.苗强.张伟.黄洪钟.ZHANG Xiao-jie.ZHAO Hai-tao.MIAO Qiang.ZHANG Wei.HUANG Hong-
2.学位论文段珊二元决策图的排序优化及故障树转化方法的研究2008
随着计算机软硬件系统日益复杂,保证系统的正确性和可靠性日显重要,为此提出的许多理论和方法中,模型检测以其简洁明了和自动化程度高而引人注目。 论文介绍了二元决策图的基本原理与研究现状,针对影响二元决策图结构的因素--变量排序进行了深入分析;给出了节点规模优化的排序算法的改进思想;研究了利用动态交换来完成路径数量优化的方法,提出了OSMNP排序优化算法。该算法通过对节点路径的定义和记录,实现了在变量交换中局部路径改变量向全局改变量的转移,从而实现路径数量的优化。论文还研究了基于二元决策图的故障树分析的排序和转化问题,提出一种快速有效的LNPC方法,该方法采用逐渐分解的策略直接完成子事件的排序与组合,一次性地实现故障树到二元决策图的转化与优化,并通过实例验证了其有效性。
15.Girish Keshav Palshikar Temporal Fault Tree 2002
16.Suprasad Amari A New Approach To Solve Dynamic Fault Trees
17.Zhihua Tang.Joanne Bechta Dugan Minimal Cut Set/Sequence Generation for Dynamic Fault Trees 2004
4.期刊论文孙艳.杜素果.SUN Yan.DU Su-guo一种二元决策图底事件排序的新方法-系统管理学报2008,17(2)
故障树分析(Fault Tree Analysis, FTA)是对系统进行可靠性分析的一种有效方法.而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram, BDD)又是其中最有效的方法之一.由于BDI)的节点数在很大程度上依赖于输入的底事件的排列次序,所以从故障树到BDD的转换过程中,需要先对底事件进行排序.而如何对底事件进行有效的排序则成为一个重要且未完全解决的课题.本文提出了一种新的底事件排序法--相邻底事件优先法.其基本思想是利用故障树的相邻关系来给其赋予不同的排序优先级.该排序方法所具备的特点包括:其底事件排序过程是静态的,但在BDD的构造过程中,能动态地对已经排序的底事件进行筛选,同时它还支持在BDD的不同分支采用不同的底事件排序方法.实验证明,与现有的最优方法相比,相邻底事件优先法可有效提高75%的故障树的BDD转化效率.
7.期刊论文张超.马存宝.胡云兰.许家栋.ZHANG Chao.MA Cun-bao.HU Yun-lan.XU Jia-dong求解故障树底事件最优
指标顺序的改进算法-弹箭与制导学报2005,25(1)
底事件指标顺序在基于二元决策图(BDD)的故障树分析过程中影响很大.基于故障树的结构重要度.本文提出了一种求解故障树底事件指标顺序的改进算法,所得到的底事件最优指标顺序不受故障树画法的影响,算法稳健且能使计算量减少一半.
故障树分析是一种核电站常用的概率安全评价方法.对利用二元决策图求解故障树方法中的关键问题--基本事件排序进行了研究.先将故障树转化成二元决策图,然后通过遍历二元决策图直接获取割集.在转化的过程中,基本事件的排序对二元决策图的规模和计算速度有着直接的影响.寻找基本事件的最优排序是该方法的重点.该文提出的三条排序法则,对基本事件的排序有明显的帮助,可使二元决策图结点数减少约二分之一.
11.Kiran Kumar Vemuri.Joanne Bechta Dugan.Kevin J Sullivan A Design Language for Automatic Synthesis of Fault Trees 1999
12.Ragavan Manian.David W Coppit.Kevin J Sullivan.Joanne Bechta Dugan Bridging the Gap Between Systems and Dynamic Fault Tree Models 1999
18.Yong Ou Approximate sensitivity analysis for acyclic Markov reliability models 2003(02)
19.Joanne Bechta Dugan.Salvatore J Bavuso.Mark A Boyd Fault trees and Markov models for reliability analysis of fault-tolerant digital systems 1993
22.孙权基于BDD的故障树分析[学位论文]硕士 1996
23.季会媛动态故障树分析方法研究[学位论文]硕士 2002
24.梅启智.孙惠中系统可靠性工程基础 1992
25.高顺川.冯静.孙权.周经伦基于威布尔分布的动态故障树定量分析方法 2005(05)
26.茆诗松.王玲玲可靠性统计 1984
27.高顺川.周忠宝.郑龙.孙权.周经伦一种动态故障树顶事件发生概率的近似算法[期刊论文]-微计算机信息
2006(16)
28.高顺川.郑龙.孙权.周经伦动态故障树分析平台DFTA的设计与实现
29.章国栋系统可靠性与维修性的分析与设计 1990
1.期刊论文闵苹.童节娟.奚树人.MIN Ping.TONG Jiejuan.XI Shuren利用二元决策图求解故障树的基本事件排序-
清华大学学报(自然科学版)2005,45(12)
5.期刊论文陶勇剑.董德存.任鹏.TAO Yong-jian.DONG De-cun.REN Peng故障树分析的二元决策图方法-铁路计算
机应用2009,18(9)
为了克服故障树方法分析复杂系统存在的不足,引入二元决策图理论,把故障树转化成二元决策图;然后自上而下遍历二元决策图,得到最小割集和顶事件发生的概率.二元决策图转化过程中,基本事件的排序直接影响二元决策图的结构大小.在不改变故障树逻辑关系的前提下,先对故障树进行简化,除去一些冗余的部分;然后从故障树结构重要度的角度,对简化后故障树的基本事件进行排序.实例证明所采用的基本事件排序方法是有效的,能够简化故障树定性和定量分析过程.
13.W Long.Y Sato.M Horigome Quantification of sequential failure logic for fault tree analysis 2000
14.Yong Ou.Joanne Bechta Dugan Sensitivity Analysis of Modular Dynamic Fault Tree 2000
OSMNP算法利用相邻变量交换的有效性能获取最少路径的排序;LNPC算法通过按定义的规则遍历故障树不仅完成底事件的优化排序,同时也有效地实现了故障树向二元决策图的转化,这些研究成果对二元决策图应用的深入有较好的理论意义和一定的实用价值。
3.期刊论文范长征.蒋凡.曾凡平.FAN Chang-zheng.JIANG Fan.ZENG Fan-ping综合故障树分析方法在容错计算机系
4.B M Thomason Boolean difference techniques for time-sequence and common-cause analysis of fault trees 1984
5.M K Smotherman.K Zemiudeh A non-homogendous Markov model for phased mission reliability analysis 1989
6.J B Dugan Fault trees and imperfect coverage 1989
7.F A Patterson-Hine.Joanne Bechta Dugan Modular Techinques for Dynamic Fault-tree Analysis 1992
ura L Pullum.Joanne Bechta Dugan Fault Tree Models for the Analysis of Complex Computer-Based Systems 1996
6.期刊论文张国军.朱俊.吴军.朱海平.Zhang Guojun.Zhu Jun.Wu Jun.Zhu Haiping基于BDD的考虑共因失效的故障
树可靠性分析-华中科技大学学报(自然科学版)2007,35(9)
通过分析显式和隐式方法在求解考虑共因失效的大型故障树可靠性时的不足,提出了一种基于二元决策图的考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的故障树并将其转化为二元决策图,求出系统的不可靠度表达式;然后,通过隐式方法将该表达式转化成包含共因信息的不可靠度或可靠度表达式,并依据求得的表达式进行相应的可靠性分析.最后,针对单调关联故障树和非单调关联故障树两种情况分别给出了它们的详细算例.
20.Joanne Bechta Dugan.Bharath Venkataraman.Rohit Gulati DIFtrEe:A software package for the analysis of dynamic fault tree models 1997
21.Kevin J Sullivan.Joanne Bechta Dugan.David Coppit The Galileo Fault Tree Analysis Tool 1999
8.会议论文王丽军.王志梅基于二元决策图的故障树顶事件发生概率的优化算法2007
故障树分析技术经常用于计算系统顶事件失效的概率。当处理到大规模故障树结构时,传统的故障树分析技术经常在效率和准确性上面临瓶颈。二元决策图技术可以通过计算机高效、精准地计算顶事件的失效概率。本论文主要致力于提供一个基于二元决策图技术的求解故障树顶事件发生概率的优化分析算法。
9.Rohit Gulati.Joanne Bechta Dugan A Modular Approach for Analyzing Static and Dynamic Fault Trees 1997
10.Yansong(Jennifer) Ren.Joanne Bechta Dugan Design of Reliable Systems Using Static&Dynamic Fault Trees 1998(03)
图4.1动态故障树分析平台结构图动态故障树分析平台编辑界面如图4.2所示。
图4.2动态故障捌分析平台编辑界同
动态故障树分析方法及其实现
作者:高顺川
学位授予单位:国防学技术大学
1.参考文献
2.Joanne Bechta Dugan.Salvatore Bavuso.Mark Boud Dynamic fault tree models for fault tolerant computer systems 1992
3.J D Esary.H Ziehms Reliability analysis of phased missions 1975
统中的应用-计算机仿真2006,23(4)
该文运用二元决策图(Binary Decision Diagram)分析传统的静态故障树,运用Markov链分析新兴的动态故障树,由此形成一种创新性的故障诊断方法
:综合故障树(Integrated Fault Tree)分析法.综合故障树分析法运用分而治之的策略处理各种故障,不仅加深了故障诊断、分析的精度,同时也拓展了故障树分析法的运用领域.该文结合实例,运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题;分析结果表明,在容错计算机系统中运用此方法,可以有效地对系统建模和分析系统可靠性.
2.学位论文段珊二元决策图的排序优化及故障树转化方法的研究2008
随着计算机软硬件系统日益复杂,保证系统的正确性和可靠性日显重要,为此提出的许多理论和方法中,模型检测以其简洁明了和自动化程度高而引人注目。 论文介绍了二元决策图的基本原理与研究现状,针对影响二元决策图结构的因素--变量排序进行了深入分析;给出了节点规模优化的排序算法的改进思想;研究了利用动态交换来完成路径数量优化的方法,提出了OSMNP排序优化算法。该算法通过对节点路径的定义和记录,实现了在变量交换中局部路径改变量向全局改变量的转移,从而实现路径数量的优化。论文还研究了基于二元决策图的故障树分析的排序和转化问题,提出一种快速有效的LNPC方法,该方法采用逐渐分解的策略直接完成子事件的排序与组合,一次性地实现故障树到二元决策图的转化与优化,并通过实例验证了其有效性。
15.Girish Keshav Palshikar Temporal Fault Tree 2002
16.Suprasad Amari A New Approach To Solve Dynamic Fault Trees
17.Zhihua Tang.Joanne Bechta Dugan Minimal Cut Set/Sequence Generation for Dynamic Fault Trees 2004
4.期刊论文孙艳.杜素果.SUN Yan.DU Su-guo一种二元决策图底事件排序的新方法-系统管理学报2008,17(2)
故障树分析(Fault Tree Analysis, FTA)是对系统进行可靠性分析的一种有效方法.而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram, BDD)又是其中最有效的方法之一.由于BDI)的节点数在很大程度上依赖于输入的底事件的排列次序,所以从故障树到BDD的转换过程中,需要先对底事件进行排序.而如何对底事件进行有效的排序则成为一个重要且未完全解决的课题.本文提出了一种新的底事件排序法--相邻底事件优先法.其基本思想是利用故障树的相邻关系来给其赋予不同的排序优先级.该排序方法所具备的特点包括:其底事件排序过程是静态的,但在BDD的构造过程中,能动态地对已经排序的底事件进行筛选,同时它还支持在BDD的不同分支采用不同的底事件排序方法.实验证明,与现有的最优方法相比,相邻底事件优先法可有效提高75%的故障树的BDD转化效率.
7.期刊论文张超.马存宝.胡云兰.许家栋.ZHANG Chao.MA Cun-bao.HU Yun-lan.XU Jia-dong求解故障树底事件最优
指标顺序的改进算法-弹箭与制导学报2005,25(1)
底事件指标顺序在基于二元决策图(BDD)的故障树分析过程中影响很大.基于故障树的结构重要度.本文提出了一种求解故障树底事件指标顺序的改进算法,所得到的底事件最优指标顺序不受故障树画法的影响,算法稳健且能使计算量减少一半.
故障树分析是一种核电站常用的概率安全评价方法.对利用二元决策图求解故障树方法中的关键问题--基本事件排序进行了研究.先将故障树转化成二元决策图,然后通过遍历二元决策图直接获取割集.在转化的过程中,基本事件的排序对二元决策图的规模和计算速度有着直接的影响.寻找基本事件的最优排序是该方法的重点.该文提出的三条排序法则,对基本事件的排序有明显的帮助,可使二元决策图结点数减少约二分之一.
11.Kiran Kumar Vemuri.Joanne Bechta Dugan.Kevin J Sullivan A Design Language for Automatic Synthesis of Fault Trees 1999
12.Ragavan Manian.David W Coppit.Kevin J Sullivan.Joanne Bechta Dugan Bridging the Gap Between Systems and Dynamic Fault Tree Models 1999
18.Yong Ou Approximate sensitivity analysis for acyclic Markov reliability models 2003(02)
19.Joanne Bechta Dugan.Salvatore J Bavuso.Mark A Boyd Fault trees and Markov models for reliability analysis of fault-tolerant digital systems 1993
22.孙权基于BDD的故障树分析[学位论文]硕士 1996
23.季会媛动态故障树分析方法研究[学位论文]硕士 2002
24.梅启智.孙惠中系统可靠性工程基础 1992
25.高顺川.冯静.孙权.周经伦基于威布尔分布的动态故障树定量分析方法 2005(05)
26.茆诗松.王玲玲可靠性统计 1984
27.高顺川.周忠宝.郑龙.孙权.周经伦一种动态故障树顶事件发生概率的近似算法[期刊论文]-微计算机信息
2006(16)
28.高顺川.郑龙.孙权.周经伦动态故障树分析平台DFTA的设计与实现
29.章国栋系统可靠性与维修性的分析与设计 1990
1.期刊论文闵苹.童节娟.奚树人.MIN Ping.TONG Jiejuan.XI Shuren利用二元决策图求解故障树的基本事件排序-
清华大学学报(自然科学版)2005,45(12)
5.期刊论文陶勇剑.董德存.任鹏.TAO Yong-jian.DONG De-cun.REN Peng故障树分析的二元决策图方法-铁路计算
机应用2009,18(9)
为了克服故障树方法分析复杂系统存在的不足,引入二元决策图理论,把故障树转化成二元决策图;然后自上而下遍历二元决策图,得到最小割集和顶事件发生的概率.二元决策图转化过程中,基本事件的排序直接影响二元决策图的结构大小.在不改变故障树逻辑关系的前提下,先对故障树进行简化,除去一些冗余的部分;然后从故障树结构重要度的角度,对简化后故障树的基本事件进行排序.实例证明所采用的基本事件排序方法是有效的,能够简化故障树定性和定量分析过程.
13.W Long.Y Sato.M Horigome Quantification of sequential failure logic for fault tree analysis 2000
14.Yong Ou.Joanne Bechta Dugan Sensitivity Analysis of Modular Dynamic Fault Tree 2000
OSMNP算法利用相邻变量交换的有效性能获取最少路径的排序;LNPC算法通过按定义的规则遍历故障树不仅完成底事件的优化排序,同时也有效地实现了故障树向二元决策图的转化,这些研究成果对二元决策图应用的深入有较好的理论意义和一定的实用价值。
3.期刊论文范长征.蒋凡.曾凡平.FAN Chang-zheng.JIANG Fan.ZENG Fan-ping综合故障树分析方法在容错计算机系
4.B M Thomason Boolean difference techniques for time-sequence and common-cause analysis of fault trees 1984
5.M K Smotherman.K Zemiudeh A non-homogendous Markov model for phased mission reliability analysis 1989
6.J B Dugan Fault trees and imperfect coverage 1989
7.F A Patterson-Hine.Joanne Bechta Dugan Modular Techinques for Dynamic Fault-tree Analysis 1992
ura L Pullum.Joanne Bechta Dugan Fault Tree Models for the Analysis of Complex Computer-Based Systems 1996
6.期刊论文张国军.朱俊.吴军.朱海平.Zhang Guojun.Zhu Jun.Wu Jun.Zhu Haiping基于BDD的考虑共因失效的故障
树可靠性分析-华中科技大学学报(自然科学版)2007,35(9)
通过分析显式和隐式方法在求解考虑共因失效的大型故障树可靠性时的不足,提出了一种基于二元决策图的考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的故障树并将其转化为二元决策图,求出系统的不可靠度表达式;然后,通过隐式方法将该表达式转化成包含共因信息的不可靠度或可靠度表达式,并依据求得的表达式进行相应的可靠性分析.最后,针对单调关联故障树和非单调关联故障树两种情况分别给出了它们的详细算例.
20.Joanne Bechta Dugan.Bharath Venkataraman.Rohit Gulati DIFtrEe:A software package for the analysis of dynamic fault tree models 1997
21.Kevin J Sullivan.Joanne Bechta Dugan.David Coppit The Galileo Fault Tree Analysis Tool 1999
8.会议论文王丽军.王志梅基于二元决策图的故障树顶事件发生概率的优化算法2007
故障树分析技术经常用于计算系统顶事件失效的概率。当处理到大规模故障树结构时,传统的故障树分析技术经常在效率和准确性上面临瓶颈。二元决策图技术可以通过计算机高效、精准地计算顶事件的失效概率。本论文主要致力于提供一个基于二元决策图技术的求解故障树顶事件发生概率的优化分析算法。
9.Rohit Gulati.Joanne Bechta Dugan A Modular Approach for Analyzing Static and Dynamic Fault Trees 1997
10.Yansong(Jennifer) Ren.Joanne Bechta Dugan Design of Reliable Systems Using Static&Dynamic Fault Trees 1998(03)
图4.1动态故障树分析平台结构图动态故障树分析平台编辑界面如图4.2所示。
图4.2动态故障捌分析平台编辑界同
动态故障树分析方法及其实现
作者:高顺川
学位授予单位:国防学技术大学
1.参考文献
2.Joanne Bechta Dugan.Salvatore Bavuso.Mark Boud Dynamic fault tree models for fault tolerant computer systems 1992
3.J D Esary.H Ziehms Reliability analysis of phased missions 1975
统中的应用-计算机仿真2006,23(4)
该文运用二元决策图(Binary Decision Diagram)分析传统的静态故障树,运用Markov链分析新兴的动态故障树,由此形成一种创新性的故障诊断方法
:综合故障树(Integrated Fault Tree)分析法.综合故障树分析法运用分而治之的策略处理各种故障,不仅加深了故障诊断、分析的精度,同时也拓展了故障树分析法的运用领域.该文结合实例,运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题;分析结果表明,在容错计算机系统中运用此方法,可以有效地对系统建模和分析系统可靠性.