基于贝叶斯网络的复杂系统动态故障树定量分析方法

动态故障树的贝叶斯网络分析方法存在局部组合爆炸和备件门节点失效时间仅能是指数分布的不足.首先,给出动态故障树转换为离散时间贝叶斯网络的方法,该方法使用一个确定性函数来替代条件概率表,避免了局部组合爆炸.然后,根据备件门的失效机理和对应的贝叶斯网络结构特征,解决了备件节点失效时间仅能是指数分布的限制.最后,提出一种基于动态故障树的贝叶斯网络精确推理算法,基于该算法给出了系统失效分布、组件重要度等概率计算.实验结果表明,该方法能有效地分析和评估安全攸关系统的概率特性.     

雷达发射机的故障树分析

应用故障树分析法,对某型雷达发射机故障树进行了分析,得出导致发射机不能正常工作的概率,然后对每个底事件的概率重要度进行了分析．设计人员在设计过程中会根据此分析对底事件加以重视,这样发射机的可靠性和安全性在设计阶段就会得到本质上的提高。     

一种代币智能合约的两段式模型检测方法

针对代币智能合约的形式化验证方法中模型检测存在的状态空间爆炸问题,提出了一种两段式模型检测方法。使用图转换规则对智能合约建模,利用工具生成模型状态空间。第一阶段对部分状态空间进行分支时序逻辑验证后,第二阶段先使用前一阶段的状态验证信息构造马尔可夫链,使用集束搜索结合马尔可夫链对余下状态进一步筛选,再进行验证。实验结果表明,该方法能够有效减少需验证状态数量,解决状态空间问题,完成合约验证。     

基于故障树的雷达软件安全性检验研究

对于雷达软件测试来说,安全性测试是其中的难点和关键。目前,我国雷达软件的安全性测试仍存在一些问题,本文在此背景下,从需求分析和测试设计两方面,对软件安全性测试进行了分析,并将故障树分析法结合在其中,该方法经实验证明简捷、可行。     

一种基于事件通道的分布交互仿真技术

采用CORBA构造分布交互仿真系统是目前比较流行的方法，但存在容易死锁，编程困难等问题。针对这些问题，我们提出了一种基于事件通道的分布交互设计方案，并以机群系统为仿真平台，在Orbix上实现了该技术，该方案可有效地避免死锁，保证了系统的实时性和可靠性，并简化编程。     

粘土矿物EDAX能谱仪定量分析方法的研究

粘土矿物EDAX能谱仪是粘土矿物化学成分分析重要技术之一。与传统化学分析方法相比，扫描电子显微镜加X射线能谱仪分析速度快，谱图直观，微区定位分析准确，样品用量少，损伤小，但对于粉末及颗粒样品的化学成分定量分析精确度较低，尤其是主量元素的定量分析与经典化学分析方法比较分析误差较大。为进一步改进和完善EDAX粘土矿物化学成分定量分析技术，我们初步建立了专门用于粘土矿物（粉末）EDAX定量分析的标样库，并综合使用TEM／SEM粉末试样制备技术改进了目前普遍采用的EDAX粉末样品制备技术。     

岩石矿物中氧化铁电子探针价态定量分析方法的研究

本文主要论述利用标准曲线法测定矿物中价态铁含量的电子探针定量分析方法。电子探针定量分析含氧化铁矿物时,氧化铁的成分只能以＂FeO＂形式给出全铁的含量,而不能准确地把＂Fe2O3＂和＂FeO＂各自的百分含量分开,这就给地质研究人员对于地质环境,矿物的成因,成岩作用及成岩后生作用等方面的研究带来很多困难。根据地质研究的需要,作者进行了此方法的研究及实验。利用天然菱铁矿和赤铁矿配制含有不同比例的FeO和Fe2 O3的标准样品。用电子探针测定这些标样中铁元素的Lα和Lβ的强度值,经过ZAF法修正,得到ILα/ILβ的强度比值,由Lα和Lβ线系的强度比和标样中价态铁的浓度比绘制成标准曲线。样品中铁元素的价态值,根据电子探针定量分析＂FeO＂数据及ILα/ILβ的比值,由此曲线求得FeO和Fe2O3的定量分析结果。     

一种滞后控制的马尔可夫链计算方法

提出了一种带有滞后控制结构的马尔可夫链状态概率及应用中相关性能参数的数学计算方法。根据马尔可夫归一化特性,分解马尔可夫链状态图,先计算整体简化状态,再计算局部状态,最后推导出整个马尔可夫链状态概率的计算公式。带滞后控制结构的马尔可夫链在各个领域都有非常广泛的应用,以它在低轨道卫星通信中信道资源的分配模型为例,通过比较模拟仿真的各个性能参数值和计算所得参数值,验证了提出的马尔可夫链分解计算方法的正确性。     

基于事件触发的通信业务量仿真方法

经典的排队论分析方法一般通过建立Markov链模型,对其稳态参数进行求解,但在Markov链状态数较多时,该求解平衡方程的过程将变得较为困难,甚至于无法求解。采用基于事件调度的离散系统仿真方法,给出了一种排队系统的仿真方法,并对一个排队系统进行了蒙特卡罗(MonteCarlo)仿真。仿真结果证明,该方法求解迅速,结果误差较小。     

基才层次故障树的地面电源诊断优化方法研究

导弹地面电源系统是一个集成度高、结构复杂的综合系统,采用传统的故障树分析方法,存在故障树复杂,分析量大等问题。针对该地面电源系统的复杂性,结合常规的故障树分析方法和层次化分析方法的优势,提出了层次故障树的分析方法,在构建故障诊断树后,将其应用到该电源系统的故障诊断策略优化中,达到了很好的效果。     

实用故障树定量分析原理与应用实例

阐述了实用故障树定量分析原理。并介绍了相应的实例。基于Fortran PowerStation平台．利用Fortran编程计算出结果,得出了具有实用性的结论。对于常见的可靠性问题,具有普遍的指导意义。     

模糊故障树分析方法新探

应用模糊数学的基本概念和方法，在经典故障树分析方法的基础上将模糊集合理论引入其中，将普通事件拓展为模糊事件。给出了模糊故障树的概念，并且对模糊故障树进行了定性和定量分析。最后给出应用实例。     

中波HgCdTe光导探测器组件的故障树和失效研究

讨论了近室温工作的HgCdTe中波光导探测器组件的可靠性问题,包括组件封装失效、引线键合失效和探测器的性能衰减等。通过收集探测器组件的失效信息,对其失效物理化学机制、制造工艺和探测器参数进行了分析,建立了组件的故障树(FTA),为探测器组件的失效分析提供了理论依据。由FTA定性分析得出探测器组件FTA的最小割集;计算了顶事件的失效几率。通过计算底事件概率重要度,得出组件封装失效是探测器组件失效的主要故障途径;同时实验发现,失效组件探测器的少子寿命值有较大的衰减,这可能起源于失效探测器的表面钝化层退化。     

改进的模糊事故树分析方法

针对传统模糊事故树分析中语言值转换途径和模糊重要度计算方法的不足,进行了相应的改进。新的语言值转换途径使语言值所对应的概率数量级合理化,避免了专家评价语言值的单一化。新的模糊重要度计算方法解决了中值法中最小割集所含基本事件模糊重要度相同的问题,考虑了基本事件发生概率的不同对系统顶事件的影响。最后,引用了简单的实例,证明了改进的可行性,为模糊事故树分析方法的改进提供了一种有益的思路。     

采用变频器故障树为训练样本的BAM神经网络故障诊断方法

研究故障树分析(FTA)和双向联想记忆(BAM)神经网络在故障诊断中的应用,提出了一种融合FTA和BAM的故障诊断方法.利用FTA得到系统所有的故障模式,进而由故障模式和根据维修经验的故障分析归纳出BAM的学习样本,即故障模式和故障分析之间的对应.BAM通过联想记忆矩阵并行联想,得到诊断结果,扩展综合故障诊断能力.用上...     

故障树分析法在控制器中的应用

叙述了故障树分析法在控制电路中的应用。根据分析结果,识别故障危险源,评价系统危险、风险,并采取改进措施以提高产品的可靠性和安全性。     

基于故障树分析法的水洞可靠性研究

通过分析暂冲式水洞的系统结构,建立了系统的故障树;利用最小割集法对故障树进行定性分析,找到了系统所有可能的故障模式,得到了系统的34个一阶、34个二阶最小割集;总结出各种设备故障和人为因素所造成的故障,是造成本系统故障的两个主要因素;以控制系统故障树的定量分析为例,得到了计算系统可靠度及各底事件的重要度的方法,进而分析出一阶最小割集中的故障是整个系统的最薄弱环节;并提出了提高系统可靠性的相应措施.     

有效提高半导体设备可靠性的故障树分析法

通过对故障树分析法的运用,建立了半导体设备系统的故障树.对该故障树进行了定性分析和定量分析,求解出故障树的最小割集.分析了该系统的薄弱环节,并采取补救措施.通过对采取措施前后故障树顶事件发生概率和系统可靠度的计算、分析、比较,证明了故障树分析法是一种有效可行的提高半导体设备可靠性的分析方法,该方法也适用于其他设备仪器.