基于顺序二元决策图的动态故障树分析

针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的布尔运算规则,利用顺序二元决策图和扩展的布尔运算获取动态故障树的失效路径,并给出多单元顺序事件的发生概率。以某弹药为实例,考虑不完全覆盖问题,针对指数分布与非指数分布2种情形进行了动态故障树分析,结果表明该方法具有计算高效、精度高、适用性广泛等优点,为复杂动态系统的可靠性分析提供了理论基础。     

应用故障模式规避提高卫星运行可靠性方法研究

可靠性指系统在各种可能条件下正常运行的能力,系统可靠性是系统工程研究的重要内容.卫星及其运行环境的特殊性导致其运行可靠性研究难以应用可靠性工程通常使用的概率和统计学方法.通过研究应用故障模式规避(FMA)方法提高卫星运行可靠性,识别了单边和双边故障模式,定义了故障模式及其规避过程的数学表述,提出了用于故障模式规避的扩充非关联控制因素约束边际区间、自主选择故障模式状态空间、故障模式状态空间预测、故障模式隔离和关联控制因素与故障模式策略,给出了相应的案例.     

空间计算机冗余架构可靠性分析比较

采用冗余架构,是改善和提升空间计算机可靠性的一个重要途径。目前在工程中对不同架构可靠性的对比,尤其是相对复杂的架构,多仅限于形式上的粗略分析,缺乏定量比较。对6种典型空间计算机冗余架构(双机冷备、双机热备、TMR、动态重构TMR、2+1三机、四机)分别建立马尔可夫链数学模型,推导出上述各冗余架构可靠度的计算公式,并以一个虚拟的5年期任务为背景,对这些架构的可靠度进行了仿真计算、分析和比较。仿真结果表明:具有冷备资源的冗余方案可获得相对高的系统可靠性;让故障节点具有从故障中恢复正常功能的能力和短的修复时间,能大幅提升系统可靠性。     

基于自适应重要抽样的可靠性分析方法

基于自适应重要抽样(AIS,Adaptive Importance Sampling)的可靠性分析方法,能够克服基于蒙特卡洛方法分析小概率事件时存在的效率低、精度差问题.为解决显性失效方程不存在时寻找失效点困难问题,首先利用条件递归寻找失效点,并使之尽可能在失效面附近;以该失效点为采样中心,抽取失效样本,并不断调整采样中心,使失效样本不断靠近设计点;然后利用这组失效样本估计重要抽样函数的参数,再执行自适应迭代过程,直至失效概率的误差缩小到允许误差限内.最后通过两个典型案例对方法进行应用验证,仿真结果表明在没有失效方程的情况下,能够通过仿真方法很快找到失效点,表明对于不存在显性失效方程的系统,该方法同样适用.与蒙特卡洛方法的对比结果表明该方法在仿真效率上具有较大优越性,且失效概率越小,这种优越性越明显.      

提高卫星热控系统的可靠性对策

为提高卫星（特别是长寿命卫星）热控系统的可靠性,探讨了在热控设计中涉及该系统与卫星总体关系和空间环境影响等方面应采取的对策,特别是对一些长寿命卫星常用的星体外表面涂层的性能衰退现象作了较深入的介绍;对今后关于热控系统可靠性的研究提出了建议。     

四模冗余拜占庭容错计算机可靠性分析

为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力.采用马尔可夫链分析四模冗余拜占庭容错计算机几种可能容错方案的可靠性,可以看出系统采用何种容错方案取决于系统停机失效概率和不安全失效概率之间的关系.该方法可以为四模冗余拜占庭容错计算机设计提供参考.     

嵌入式软件可靠性测试平台仿真器分系统研究

研究了嵌入式软件可靠性测试平台中仿真器分系统的实现问题．首先介绍了软件可靠性仿真测试平台的功能及组成框架,然后以通用性和可扩展性为前提,对实现仿真器分系统的关键技术进行了探讨,着重对任务调度功能的实现进行了深入研究,提出了一种新的图型任务链的调度方法．实验结果表明,仿真器分系统的这些实现方法具有较高的可靠性、易扩展性和实用性．     

嵌入式软件可靠性测试平台仿真器分系统研究

研究了嵌入式软件可靠性测试平台中仿真器分系统的实现问题.首先介绍了软件可靠性仿真测试平台的功能及组成框架,然后以通用性和可扩展性为前提,对实现仿真器分系统的关键技术进行了探讨,着重对任务调度功能的实现进行了深入研究,提出了一种新的图型任务链的调度方法.实验结果表明,仿真器分系统的这些实现方法具有较高的可靠性、易扩展性和实用性.      

基于随机相关的电子部件二元加速退化可靠性评估

针对加速应力下电子部件二元相关退化可靠性分析难题,提出一种基于随机相关的可靠性分析方法。采用考虑个体差异的Wiener过程模型建立边缘退化过程模型,并基于加速因子不变原则建立了模型参数与加速应力的关系;构建了基于Copula函数的随机相关模型,采用两阶段贝叶斯参数估计方法进行参数估计,综合运用散点图、偏差信息准则（DIC）值以及Kendall τ的非参数估计值等方法进行随机相关模型选择,并采用蒙特卡罗仿真方法进行可靠度计算。最后采用实例验证了所提方法有效性,为考虑个体差异的贮存可靠性评估提供了技术支撑。      

基于学科链的卫星系统工程方法与实践

目前,绝大多数的卫星系统都是按照分系统来设计的,这种方法的弊端在于分系统内部重复的功能模块对整星而言是冗余的。因此,为了摒除按照分系统设计的卫星系统缺点以提高系统可靠性,我们设计了一个全新的卫星系统,其基于学科功能链。按照学科功能链,我们将卫星系统划分为控制学科链、结构热学科链、电子学学科链、载荷学科链,显著提高了卫星系统的性能、可靠性和功能密度,同时有效降低了研制成本,缩短了研制周期。最终,基于学科链的卫星系统已成功应用于北斗导航全球系统的首发卫星上。本文阐述了基于学科链设计的核心思想和四个主要的学科链内涵。     

基于GA-BP贝叶斯算法的可靠性分析近似模型

研究了GA-BP(Genetic Algorithm-Backpropagation)贝叶斯算法在可靠性仿真中的应用.GA-BP贝叶斯算法是一种新型前馈神经网络训练算法,它建立在遗传算法(GA)、L-M(Levenberg-Marquardt) BP算法以及贝叶斯方法这三者的基础上.由于该算法的训练目标是获取对应于后验分布最大值的权值向量,并且在搜索过程中融入了遗传算法,因此能够使前馈神经网络具有更佳、更稳定的泛化性能.在可靠性仿真中,采用GA-BP贝叶斯算法来构造前馈神经网络近似模型,再用它来替代复杂费时的数值仿真程序进行Monte Carlo模拟,就能够在计算成本得到有效控制的同时获取随机输出变量的概率分布情况.     

不完全覆盖系统的动态故障树定量分析方法

针对含备份结构的动态系统可靠性分析以及不完全覆盖问题,提出了一种温备份门的可靠性计算方法。该方法引入阶梯函数和脉冲函数来描述备份结构的动态失效特征,在考虑不完全覆盖的基础上计算了温备份门的可靠性,最后以某机载电子设备为例,建立了系统的动态故障树,论证了该方法的可行性,并与不考虑不完全覆盖的方法进行了比较,同时对系统进行了灵敏度分析,该方法计算结果更合理,为动态系统可靠性定量分析奠定了一定基础。      

基于多值决策图的温储备系统可靠性建模方法

温储备系统是冷储备与热储备系统的推广,在实际中有广泛应用。针对不可修温储备系统的可靠性建模问题,已有基于多值决策图(MDD)的系统可靠性建模方法。该方法以系统中的单元故障为建模对象,分别构建故障级MDD与系统级MDD,进而获得系统可靠度的解析表达式。然而,该表达式中不同维度积分相互混杂,计算给定时刻的系统可靠度需要首先梳理系统可靠度的表达式,以利用数值方法求解其中的积分。为实现系统可靠度的程序化计算,在已有研究基础上提出将系统级MDD按故障数分解为一系列子决策图,通过对MDD中边的概率重新赋值获得每一子决策图的发生概率,得到系统可靠度的规范形式,形成一套完整的系统可靠度计算方法。      

独立子树等效时变可用度分析

在复杂系统可用度分析中,采用深度和广度遍历算法将复杂动态故障树分解为独立子树,推导和证明了独立子树等效时变可用度参数模型,建立了各独立子树同构的马尔可夫状态转移链.通过求解降维微分方程获得故障子树的时变可用度参数,采用由下至上的递归处理算法快速实现复杂系统的可用性定量分析,既解决了复杂系统可用度计算的"组合爆炸"问题,又通过考虑时变参数保证了可用度解算的精度.实例分析表明,采用独立子树等效时变可用度分析方法在有效的分解下,其误差可以很小.      

基于顺序失效符的动态故障树形式规约

首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.     

产品性能可靠性评估的时序分析方法

针对航空航天产品高可靠性、长寿命的特点,通过综合时序模型对随机序列自拟合性强与短期预测精度高的优点,提出了两类基于性能退化数据的产品可靠性评估时序模型方法.首先,从性能退化量分布的角度出发,在假设退化量分布类型不随时间变化的前提下,利用时间序列建立了性能退化分布参数的分析模型,进而根据可靠度与性能退化量分布的关系进行可靠性评估.然后,从退化轨迹的角度出发,对所有样本的退化轨迹进行时序分析与建模,外推伪失效区间与伪失效寿命值,进而采用完全寿命试验数据的统计方法进行可靠性评估.最后,对某金属材料疲劳裂纹扩展数据进行可靠性评估与寿命预测,结果表明该方法具有良好的稳健性.