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

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

基于方差的全局敏感性方法在空战效能分析中的运用

全局敏感性分析方法,是分析输入不确定性对输出影响的主要方法。介绍了基于方差的全局敏感性分析方法的概念和特点,对其敏感性指标定义和基于蒙特卡洛的计算方法进行了详细说明。结合作战效能分析中参数相关的特点,提出相关输入的抽样方法。利用上述方法对一种空战效能模型的输入和主要假设进行分析,得到了输入变量的重要度排序和变量间的主要交互效应。

空军对地攻击战役解析模拟系统

以空军武器装备体系在对地攻击战役中的作战效能评估为背景,用解析法对空军对地攻击战役进行了建模研究。首先,分析了空军对地攻击战役中攻守双方参战的各种武器装备和影响因素。其次,将空军对地攻击战役按"战役—作战阶段—日作战任务—出动波次—作战行动—战术活动"划分为6个层次,并根据层次结构建立效能评估指标体系。再次,将所有战术活动划分为8个基础活动类型,并用解析法建立相应的战术活动模型。最后,简要介绍了基于以上方法和模型的空军对地攻击战役作战模拟平台。

一种故障树分析的新算法

本论文中，首先引入ＢＤＤ（ＢｒｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍｓＢＤＤ）的概念，介绍由故障树到ＢＤＤ的转化算法—递归法，及ＢＤＤ进行故障树分析的方法。

受顶点数限制的最短路问题及其算法

本文提出若干受顶点数限制的最短路问题。引入非支配路的概念,用双标号和取字典序最小方法,给出求解问题的多项式算法。

计算机辅助安全性分析

本文概述了计算机辅助安全性分析技术的状况，针对其中存在的问题，提出了一个基于安全性基础数据库及支持工具的计算机辅助系统安全性分析软件平台的框架，说明了其组成部分及功能，分析了该软件平台实现的技术难点。

基于ESD的动态系统安全性建模与实现

事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足。在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法。对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件。最后,给出了一个实例以说明其有效性。

非单调关联故障树顶事件失效概率的新算法

提出了一种计算非单调关联故障树顶事件失效概率的新方法，其基本思想是利用ＢＤＤ进行故障树中顶事件的不交化工作，可避免求ＰＩＳ和ＰＩＳ的最小覆盖的运算过程，为有效解决其运算的ＮＰ困难问题提供了一条新的途径。

攻击机对防空雷达的首攻概率研究

通过分析攻击机的辐射源定位/攻击过程,研究了攻击机水平轰炸防空雷达的首攻概率。首先分析了攻击机发现目标过程,并给出了相应的发现目标概率计算模型;其次,具体分析了攻击机水平轰炸防空雷达的进入目标过程,并给出相应的进入目标概率计算模型;最后,通过相关示例对模型中的主要因素进行了分析,证实了模型的有效性。

面向视觉的调色板技术

本文是讨论如何同屏显示多幅２５６色或真彩色图象的词色板技术问题，文章首先提出调色板问题，然后简要介绍几种已提出的调色板技术，通过分析其优劣，结合实际情况，最后提出面向视觉的调色板技术。

用重要性抽样法估计单调关联系统不可靠度

本文首先叙述了基于单调关联故障树模型成败型仿真的重要性抽样的基本原理，然后通过设计几种执行重要性抽样的试验方案，总结得到了在实践中执行重要性抽样若干有益的规则，最后的小结简述了似然比的概念在仿真研究中的重要应用。

卫星动量轮的污染数据的Bayes参数估计

由于试验条件等的限制,在寿命试验中,所获得的数据可能是污染数据。这时,采用传统方法分离污染项并对产品的寿命进行估计非常困难。针对指数型寿命数据受正态污染的情况,建立定数截尾情况下的数据模型,并采用Bayes方法对模型进行统计分析;在验前分布确定方面提出运用Bootstrap方法确定超参数。实例分析表明,Bayes方法对有污染情况寿命数据的统计推断是有效的。

基于联合事件概率定义的序列失效分析

基于Petri网的失效序列分析能较好拓展序列失效分析的应用范围。针对一种基于Petri网序列失效分析方法,通过仿真手段对其有效性进行检验,检验表明该方法对系统运行时间不敏感。对此,提出了一种基于联合事件概率定义的序列失效分析方法,给出了计算失效序列发生概率的精确解。从中也可得出启示:对于近似计算方法,为严谨周密起见,需对其有效性检验。

基于退化与寿命数据融合的产品剩余寿命预测

产品的剩余寿命预测是其维修、更换和备件策略制定的重要依据。目前的寿命预测方法一般仅利用产品自身的性能退化数据,当性能退化数据较少时,剩余寿命预测结果精度难以保证。针对性能退化过程为具有随机效果的Wiener过程的产品,对其进行寿命预测时,采用Bayes方法融合产品的历史寿命信息和该产品自身的性能退化信息,得到性能退化参数的Bayes估计,进而得到该产品的剩余寿命分布,从而提高剩余寿命分布的预测精度。金属化膜脉冲电容器剩余寿命预测分析实例表明了该方法的有效性。

自愈式金属化膜脉冲电容器耗损失效模型

自愈式金属化膜脉冲电容器广泛应用于各类激光装置的能源系统中,它的可靠性直接影响到系统的可靠性与运行费用。在参考国外相关研究方法的基础上,分析了金属化膜脉冲电容器的失效机理,提出了一种新的耗损失效模型Gauss Poisson模型,该模型将电容器的损耗分成自然损耗和突发损耗,与脉冲电容器传统的寿命分布模型Weibull模型相比具有预测更为精确的特点,而且基于该模型的寿命试验具有设计简单、时间较短、费用较低等优点,是一种较好的退化失效模型,应用前景较为广阔。

通信网可靠性研究综述

本文从通信网可靠性的概念、可靠性分析与设计方法角度系统地总结了近几十年来国内外在通信网可靠性方向的研究进展 ,指出了在此方向进行研究的难点和需要解决的关键问题 。

贝叶斯网络推理算法综述

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

基于离散时间贝叶斯网络的动态故障树分析方法

提出了一种基于离散时间贝叶斯网络的动态故障树分析方法.首先给出优先与门、顺序相关门、备件门、功能相关门等动态逻辑门向离散时间贝叶斯网络的转化方法,在得到动态故障树对应的离散时间贝叶斯网络之后,再利用贝叶斯网络推理算法计算、诊断和预计顶事件概率、重要度等常规分析结果.对数字飞控计算机系统进行的分析表明,该方法能够保证较高的求解精度,其相对误差均保持在0.4%以内,而且易于扩展到多态和非确定性逻辑关系的情形.

武器装备体系作战能力评估框架

通过对武器装备体系及其作战能力评估的有关问题进行讨论,探索一种可行的体系整体作战能力评估的思路。首先给出了武器装备体系及其作战能力和作战效能的概念,研究了装备作战能力指标的聚合关系及其处理方法。然后分析了以往利用解析法进行作战能力评估的缺陷,提出了折合系数的概念,进而提出了一种武器装备体系作战能力评估框架。

基于性能退化数据的金属化膜电容器可靠性评估

在对激光惯性约束聚变试验装置所用金属化膜脉冲电容器进行可靠性分析时 ,利用假设其寿命分布为Weibull分布的传统可靠性分析方法所得结果不能满足工程要求 .作者通过分析电容的退化机理 ,给出了一个该型电容器的寿命分布模型 ,模型的求解是利用电容器的退化数据进行的 ,它具有比Weibull分布模型更为精确的特点 ,在工程实践中使用该模型对该型电容器进行可靠性分析可以大量的节约试验成本且结果精度更高 .