基于故障树最小割集的故障诊断方法研究

利用故障树分析原理,对基于故障树最小割集的诊断方法进行了研究。在给出故障树顶事件和底事件概率描述的基础上,计算了故障树最小割集的重要度,并在量级上进行了分析比较,为系统的故障源搜寻提供了具体有效的测试步骤。并给出了应用实例。     

一种动态故障树顶事件发生概率的近似算法

本文提出了一种动态故障树顶事件发生概率的近似算法,该算法不需要把动态故障树转化为马尔可夫链,而是直接分析故障树模块,并用梯形公式得到近似数值解。最后通过一个实例说明了该方法的有效性。     

Visio故障树图并行转换方法研究及实现

为使不同人员建立的故障树图能够互相交流使用,并简化故障树分析软件的开发,降低开发成本,提高软件质量,对故障树图结构进行了分析,提出转换后用于表示故障树的格式。同时对VDX文件结构进行研究,提出了将VDX文件转换为上述格式的中间格式及转换算法,进而对其并行化以提高执行效率,给出了并行前后的耗时对比及提升倍率。另外再通过两个转换方法说明这种格式与目前较常用的故障树分析方法之间衔接的方式,并给出了算法流程。     

一种基于Petri网模型求解故障树最小割集的算法

Petri网作为一种动态的图形化建模工具,可用于表达系统的逻辑关系和描述系统的动态行为,文中利用Petri网的这一特点对故障树进行建模,并在此基础上提出了一种新的求解故障树最小割集的算法,最后以实例说明了这一求解过程.该算法与以往方法相比,提高了执行效率,且可同时得到最小路集,为系统的可靠性分析工作提供了一种新的途径.     

基于故障树分析法的软件测试技术研究

将安全性评估领域广泛应用的故障树分析法引入软件测试中,融合基于软件故障概率分析和风险分析的方法,对软件测试的故障树建模进行了重点研究.提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量分析,并将分析结果指导和应用于软件测试实践中.     

基于故障树的发射车故障诊断技术研究

针对目前发射车电气系统故障定位复杂、缺少快速定位分析手段、问题排查必须依赖研制专家、排故时间长的问题,设计了一种基于故障树的诊断机制对发射车进行故障诊断。建立了发射车故障树,设计了基于算法和规则的配置方法将检测数据与故障树节点相关联,采用基于最小割集的快速诊断推理技术,完成了对发射车的故障自动诊断。试验结果表明,该方法实现了发射车电气系统故障的快速自动诊断定位,诊断定位准确,具有较好的实用性。     

基于案例推理和故障树分析法融合的飞机故障诊断

本文简述了案例推理和故障树诊断两种方法,提出将它们进行融合诊断的思想。一方面,将案例推理得到的、但在故障树中却不存在的底事件加入到故障树,完善了故障覆盖面;另一方面,由案例库统计得到的故障树最小割集重要度,使故障定位更精确,由故障树分析法完成的成功的诊断实例,再添加到案例库中。     

基于故障树最小割集和最小路集的诊断方法研究

利用故障树的原理和方法,对基于故障树最小割集和最小路集的诊断方法进行了研究。首先给出了故障树最小割集和最小路集的数学描述,在此基础上开发了基于故障树最小割集和最小路集的诊断推理策略,最后提出了测点配置和优化的方法。     

基于故障树的机车故障诊断系统设计

给出基于故障树的机车故障诊断系统设计方案.采用公式形式将故障树的结构信息保存在文本文件中,在运用故障树进行推理诊断时,提出基于Java语言SWING包中JTree控件解析保存故障树的结构与节点信息的方法,从而方便快速完成故障推理.给出基于模块化故障树及割集计算方法,为大型故障树诊断与定性分析提供了较好的解决方案.     

基于模块化分解的故障树分析方法

传统故障树分析算法存在诊断成本高和耗时长的问题,为此,在研究故障树结构中的特殊规律的基础上,采用深度优先最左遍历算法对故障树进行模块化分解,减小故障树分析的规模。结合if-then-else运算符,将最左底层模块子树转化为相应的二元决策图结构。运用深度优先最左遍历算法得到该二元决策图结构中的割集和最小割集,用相同故障概率的基本事件替代最左底层模块子树得到新故障树。采用自底向上、从左至右的递归综合分析思想,获得系统元件故障发生的概率,实现对故障树的分析。对故障实例的分析诊断结果表明,该方法可有效提高诊断速度,减少诊断成本。     

基于BDD算法的系统安全性分析

随着现代武器系统越来越趋于大型化和复杂化,采用事故树方法进行系统安全性分析的难点问题也日益突出,本文研究了基于BDD的FTA优化求解算法,并采用此方法对某系统进行了相关安全性分析。     

一种故障树向BDD的转化方法

针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的（LNPC）方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。     

基于BDD算法的某系统事故发生概率分析

随着现代武器系统趋于大型化和复杂化,利用事故树进行系统安全性分析日益困难。本文重点研究了基于BDD的FTA优化求解算法,并利用贝叶斯方法研究小样本的独特优势,提出蒙特卡洛仿真方法求解底事件发生概率,进而利用BDD求解系统顶事件发生概率的方法。     

基于故障树理论的网络故障分析系统研制

本论文把故障树分析技术应用于计算机网络故障诊断中,提高了网络管理的可靠性、稳定性、灵活性、故障诊断速度及正确性,实现网络故障快速诊断、预测和维护,保证网络具有高服务质量和高可靠性。     

PMS故障树分析中的变量排序策略库研究

研究阶段任务系统(PMS)故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均性能分析,并在此基础上对策略库本身进行互补性和完备性分析。实例分析表明,应用该策略库可以为各种结构特征的大规模PMS故障树快速有效地生成系统二进制决策图。     

FTA法在导弹武器系统分析中的应用

导弹武器系统(MWS)是一个高可靠性系统,因而可靠性是导弹武器系统的重要性能指标之一,同时也是导弹武器系统效能分析的基础,对其进行系统的考查具有重要意义.由于实物仿真条件的种种限制,计算机仿真方法便成为导弹武器系统可靠性研究的有效途径.首先简要介绍了一种常用的可靠性仿真方法--故障树分析(FTA)法并建立其在系统可靠性仿真中的分析流程,建立了一种导弹武器系统的故障树模型并进行了蒙特卡罗仿真,得到了系统各单元的单元重要度及模式重要度.通过对仿真结果的分析得出了导弹武器系统在使用期对于组成单元的非结构的可靠性调整并不能提高系统整体性能的结论.     

基于故障树分析与组合测试的测试用例生成方法

随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。     

基于键合图模型的新型故障树故障诊断方法

针对传统故障树的生成及应用缺陷,研究了基于键合图模型的新型故障树故障诊断方法.该方法根据系统键合图模型推导出时间因果图,进而建立系统故障树,由此产生一个用于反映系统行为变化的假设故障集合;同时,推理预测每个故障的后效特征,并与观测特征相比较,修正假设故障集,最终定位故障源.仿真结果验证了此故障诊断方法应用的可行性和故障诊断的准确性,具有广泛的应用前景.