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

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

基于动态贝叶斯网络的动态故障树分析

针对传统的动态故障树Markov链分析方法的不足,研究了优先或门、顺序相关门、功能相关门、存在公共备件的备件门和层叠功能相关门向动态贝叶斯网络的转化方法以及基于动态贝叶斯网络的顶事件概率、重要度等计算方法.用该方法对心脏辅助装置进行了分析,通过与Markov链、离散时间贝叶斯网络分析的结果比较表明,基于动态贝叶斯网络的建模分析方法可以有效地避免组合爆炸,而且能够保证较高的求解精度.     

建设项目随机离散型工期-成本优化算法的改进

针对建设项目随机离散型工期-成本优化问题的求解,一般采用遗传算法为外循环、蒙特卡罗模拟算法为内循环的双层循环算法框架. 为减少内层循环中按期完工概率约束条件检验所耗费的计算资源,根据按期完工概率估计值（采用蒙特卡罗模拟方法）的概率特性,提出一种计算资源的高效、动态分配策略,以提升现有算法的计算效率. 通过算例验证,本文建议的改进优化算法可高效、稳定地求解建设项目随机离散型工期-成本优化问题.     

基于贝叶斯网络的概率安全评估方法研究

针对传统的事件树/故障树分析方法的局限性,提出了基于贝叶斯网络的系统概率安全评估方法.该方法采用了一体化的建模思想,将故障树和事件树转化为贝叶斯网络进行分析,不仅可以得到常用的安全性分析结果,还可以得到其他有用的信息,非常便于推理和诊断.而且该方法还可以处理多态、相依、非单调和非确定性逻辑关系,有很强的适用性.通过1个油井平台瓦斯泄漏实例说明了该方法的有效性,并与传统的故障树/事件树分析方法和基于二元决策图的分析方法进行了比较.     

基于贝叶斯网络的动量轮可靠性建模与评估

卫星动量轮具有小子样、长寿命特点,无法进行大样本寿命试验评估可靠性水平,但是可以获得大量的专家经验、地面调试数据等验前信息,因而提出了一种基于贝叶斯网络的动量轮可靠性建模与评估方法.首先,采用贝叶斯网络学习算法,融合各种验前信息,建立动量轮可靠性模型;在此基础上,利用贝叶斯网络推理方法,评估动量轮可靠性,分析动量轮故障;最后通过实例分析表明方法的有效性.     

贝叶斯网络在可靠性分析中的应用

针对故障树分析方法在可靠性分析中的局限性,研究了贝叶斯网络在可靠性分析中的应用,给出了故障树向贝叶斯网络转化的方法,以及基于贝叶斯网络求解顶事件发生概率、最小路集、最小割集和底事件重要度的算法.最后对大亚湾核电站紧急停堆失效进行了分析,并与故障树分析的结果进行了比较,结果表明,基于贝叶斯网络的建模分析方法可以得到更丰富的信息.     

概率安全评估方法综述

概率安全评估是系统安全性工程的一项重要内容,是合理决策和改进设计的基础.本文对现有文献中的概率安全评估方法进行了总结、分类,对各种方法的建模框架进行了阐述,并指出了其存在的缺陷.最后指明了需要进一步研究的方向.     

贝叶斯网络推理算法综述

贝叶斯网络是一种有效的不确定性知识表达和推理工具,概率推理是其重要研究内容之一。经过二十年的发展,贝叶斯网络已经有一些比较有效的精确和近似推理算法。对迄今为止的贝叶斯网络推理算法研究进行综述,从复杂度、适用性、精度等方面对它们进行比较分析,指出每种算法的关键环节,为实际应用中算法选择和研究提供参考。     

攻击机首次进入目标概率研究

通过分析攻击机近距离轰炸地面目标的作战过程,采用解析法研究了攻击机的首次进入目标概率。分析了机载光电探测设备的探测区域,给出了攻击机首次进入目标概率的顶层模型和最大目标观察距离计算方法。分析了攻击机的进入目标过程,以攻击机水平投掷制导炸弹和俯冲投掷普通航弹为例,给出了最小进入目标航向距离的计算方法。通过示例对上述模型中的主要因素进行了分析验证。     

维纳过程寿命预测的一种自助法

针对传统的维纳过程寿命预测方法未能有效考虑产品总体和个体之间的差异问题, 提出了解决该问题的一种自助法. 首先, 利用正态分布来描述产品总体维纳过程退化模型 的漂移参数和扩散参数; 然后, 对个体的性能退化参数进行自助估计并得到多组自助样本; 最后, 根据个体退化参数的自助样本对总体退化参数的分布进行估计, 获取其多组自助样本 并对总体的寿命进行预测. 通过对某航天长寿命产品的实例分析验证了该方法的有效性.