用递归BDD技术分析故障树

研究了二元决策图(BDD)技术在故障树分析中的具体运用。针对传统故障树分析方法只能得到顶事件的割集而常规不交化割集策略又太过烦琐的弊端,以同时实现故障树顶事件的结构函数及其不交化割集的形式为要求,分析了BDD技术的原理和方法。在用递归方法实现顶事件BDD的基础上,提出了用继承技术自动实现不交化割集。在具体的例证中验证了BDD技术优于传统故障树分析的原因。

利用改进的二元决策图的因果图推理

因果图的经典推理算法是NP难的,因此需要寻找高效的推理算法。对二元决策图进行改进,并提出一种因果图向改进的二元决策图转换的方法。利用改进的二元决策图推理省略了割集不交化的过程,得到不交化割集,减小推理复杂度。

基于故障树分析的档案信息风险评估方法的研究

随着信息化的发展,档案信息系统面临着网络安全的威胁,构建基于风险评估的档案信息系统符合国家信息安全保障的政策和要求。本文提出一种档案信息风险评估方法,使用故障树分析法实现系统风险计算、采用不交化最小割集进行风险定性分析和顶事件概率分析。该方法为档案信息系统提供了一种快速、有效的定性和定量的风险评估模式。

多种故障树求解方法的测试与分析

在完善故障树分析中主要参数最小割集、最小路集、不交化最小割集和不交化最小路集之间相互转化运算的基础上,建立了故障树的定性、定量分析的多种方法,提出了不同结构故障树选择适用方法所应遵循的原则。这些方法和选用原则的合理应用能有效的降低FTA的“NP”困难,为FTA的简化提供了新的途径。

一种基于模糊集的故障树分析方法

传统的故障树分析方法中，需以底事件失效概率估算值代替其精确值，从而忽略了估算误差的影响。本文定义失效可能性空间上的模糊集，提出了运用扩张原理计算顶事件失效概率模糊集的数值方法，根据底事件失效概率的分布，以较小的时间代价有效描述了顶事件失效概率的分布。本文用C＋＋语言对算法进行了实现。

基于因果图基本事件矩阵的研究

因果图在故障诊断应用中,一阶割集表达式对于故障诊断无明显优势且对于复杂系统的最终割集和不交化割集的表达式求解不直观。文章引入基本事件矩阵,通过矩阵元素的规则抽取得出最小割集。该方法省略了求一阶割集的步骤,简化集合运算,给出了快速求出最终割集和不交化割集的新方法。最后,应用于实例中所得出的结果符合实际情况。

基于BDD的新因果图算法及在银行外部欺诈风险中的应用

【目的】针对因果图传统推理方法中不交化割集的推理过程太过繁琐的问题,提出利用二元决策图(BDD)的推理方法。【方法】首先将因果图转化为标准化因果树,再转化为BDD结构,然后通过搜索路径直接得到简化的不交化割集。【结果】理论分析表明,该方法避开了求解最终割集的过程以及去除冗余的不交化割集的过程,从而降低了因果图推理中的计算复杂度。【结论】将新方法应用于银行外部欺诈风险实例中进行分析,通过与传统推理过程相比较,新方法更高效。