n/k(G)表决冗余多阶段任务系统可靠性优化模型

提出采用多阶段任务系统（phased mission systems, PMS）冗余故障树模型和PMS冗余二元决策图（binary decision diagram, BDD）模型来描述冗余多阶段任务系统;通过递归法实现PMS冗余故障树模型到PMS冗余BDD模型的转换,从而得到整个PMS的最小割集;在分析n/k(G)表决冗余模块在PMS中可靠度计算模型的基础上得到整个PMS的可靠性计算模型。以费用最小为目标,构建多阶段任务系统可靠性冗余优化模型,并应用微粒群算法对模型进行求解。算例通过一个三个阶段n/k(G)表决系统来阐述该方法的应用,并验证了模型的合理性及算法的有效性。     

证据理论与贝叶斯网络相结合的可靠性分析方法

针对可靠性分析中存在的认知不确定性问题,将证据理论引入到贝叶斯网络。给出了存在认知不确定性时故障树向贝叶斯网络的转换方法,以及基于信任测度和似然测度求解顶事件发生概率的方法。研究了三种重要度的求解方法,同时提出了一个重要概念--认知重要度,给出了其实际意义和计算方法。最后,运用所提出方法对某导弹发动机进行了可靠性分析,结果表明,该方法增强了贝叶斯网络处理不确定性信息的能力,简单有效且可以得到更丰富的信息。     

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

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

基于有效状态空间的多状态网络可靠性评估

鉴于应用d-最小割(路)集计算多状态网络可靠度精确值的算法中基于最小割(路)集求解d-最小割(路)集及容斥原理的复杂性,提出一种不需要d-最小割(路)集计算网络可靠度精确值的算法.该算法按一定规则分割状态空间,在此基础上生成有效状态空间,通过迭代计算直接获得可靠度精确值;同时通过删除边的无效状态、对最小割集进行分组,有效减小计算量;通过有序树执行该算法简单、易操作.实例表明算法的计算结果是正确的,且计算量较小,证明了其正确性和有效性,但同时也表明算法所需存储空间较大.     

基于故障树分析的鱼雷可靠性评定方法

针对鱼雷系统特点,建立了基于故障树分析的系统可靠性评定模型,该模型除了可克服常规金字塔式可靠性评定方法所存在的缺陷外,还可更直观、直接地反映系统功能结构及故障状态,适用于含重复单元、非串联或非并联的各种复杂系统。重点研究了故障树分析的贝叶斯近似评定方法,并对鱼雷系统进行了可靠性评定实例分析,结果表面所提出的基于故障树可靠性评定方法较传统可靠性评定方法更方便、更直观。     

改进的动态故障树转化为二元决策图的成分组合算法与应用

动态故障树分析是可靠性领域的重要分析方法之一,树状结构能够直观反映系统失效逻辑关系,提出一种针对动态故障树的混合分析方法。将动态故障树进行模块化,对于动静态模块按照门的种类分离,改进了现有的静态故障树转换为二元决策图的成分组合法,从而直接得到静态树模块最小割集,按照动态门的种类定义割集序列,对于动态故障树模块按照割集序列求解,将两部分结果合并得到整棵故障树的最简割集序列。最后经过实验验证,算法能够快速有效完成对动态故障树定性分析。     

矿井通风网络最小独立路集不交化可靠度的计算

运用可靠性工程理论及不交型积之和定律 ,在大型网络系统可靠度计算的基础上 ,提出了矿井通风网络系统最大线性无关最小独立路集予以真子集涤除的不交化可靠度计算的实现方法 .根据不交化可靠度计算法 ,当最小独立路集按所含网络分支的多少进行升序排列时 ,还可进一步减少中间过程的计算量 ,从而达到最佳不交化简化计算的效果 .实例分析表明 :采用升序排列的最小独立路集并按不交型积之和定理予以真子集涤除的不交化处理后 ,不仅计算值等同于一般网络分析中用全概率公式计算的矿井通风网络系统可靠度 ,而且 ,计算工作量大为简化 .     

基于技术成熟度的确信可靠性分配方法

可靠性分配是在产品设计阶段完成, 以保证系统指标满足要求的一项重要工程活动。现有基于概率测度的可靠性分配方法分配至单元的指标无法在小样本条件下进行验证。为此, 提出一种以不确定随机系统为对象、以确信可靠度为核心的可靠性分配方法。该方法以技术成熟度为工具, 实现系统的单元的类别的划分和可靠性机会成本函数的构造, 进而提出系统确信可靠度优化分配模型及其求解算法, 实现了最小成本下系统可靠性指标的合理分配。以船舶双燃料供气系统为例, 开展了确信可靠性分配工作, 验证了方法的有效性。     

多值故障字典的测点选择与序测试设计

序贯测试问题是目前的一个研究热点。由于时间复杂度太高,传统的序贯测试算法对于测点数大于12的系统无能为力。为此,将序贯测试问题拆分为测点选择与序测试设计两个问题。测点选择问题用A^*算法解决:运用M进制编码规则,首先给出了启发函数的计算方法,然后给出了能够得到所有最小测点集的改进的A^*算法。序测试设计问题用AO^*算法解决:对二值哈夫曼编码规则进行推广得到了多值编码规则,根据此规则给出了AO^*算法启发函数的计算方法。提出的方法更符合可测性设计的设计流程,试验和复杂度分析表明该方法能显著降低传统方法的时间复杂度。     

非马尔科夫可修表决系统可靠性数字仿真

本文设计了求解任意非马尔科夫可修表决系统可靠性指标的仿真算法,通过仿真计算可以获得系统任意瞬态可靠性指标。文中给出了几种不同情况的仿真实例。文末对本文算法进行了检验。     

Extended research on software hybrid testing combining reliability and directed testing

The software reliability testing has many disadvantages in practice,such as high complexity of constructing operational profiles and poor fault detection efficiency.Oppositely,the directed testing with a high fault detection rate is incapable of estimating reliability quantificationally.To solve this problem,a hybrid testing combining reliability and directed testing as well as a reliability model based on the order statistic(OS) model were presented by Mitchell.An extended research on Mitchell’s work is proposed.Firstly,the most proper distribution of the fault’s failure rate which tends to be lognormal is suggested,and a detailed form of the OS model based on lognormal and the corresponding parameter estimation method are proposed,respectively.Secondly,an implementing framework for the hybrid testing is proposed.Finally,the hybrid testing and the OS model are applied on a real website system.The experimental results indicate:the hybrid testing has more efficient fault detection power and lower testing cost than the reliability testing;compared with three traditional software reliability growth models,the OS model has a best or pretty estimation or prediction power for each data set;and for the failure data set collected from hybrid testing,the OS model also achieves an acceptable estimation result.     

大型网络系统可靠度计算新方法

在大型网络系统可靠度的不交最小路集算法基础上，提出大型网络系统可靠度的不交最小路集算法的实现新方法。由于直接采用两节点之间弧表示逻辑运算，编程实现过程直观而简便，根据需要可以提供网络系统的全部最小路集、全部最小割集和系统可靠度，并且采用Fortran90语言和C＋＋语言编程，为大网络系统的可靠度和不可靠度分析提供了计算模块。     

多状态系统故障树的一种生成方法

介绍一种多状态系统故障树生成方法．首先对传统的可靠性框图方法加以改进,提出一种新的框图分析方法．然后在可靠性框图分析的基础上,依据判定表,自动生成故障树．本方法适合多状态系统可靠性分析     

装备体系多阶段任务可靠性高效解析算法

体系作战任务可靠性的实时评估是未来作战的必然要求。为了实时计算装备体系多阶段任务可靠性,基于k/n(G)表决模型,设计了一种考虑冗余的可靠度高效解析算法。在体系结构分析及任务概述基础上,建立了冗余故障树以及由冗余故障树转化的二元决策图(binary decision diagram,BDD)模型。针对传统可靠性解析计算算法复杂度高的问题,本文利用递归算法改进了k/n(G)表决模型的计算过程,提高了计算效率。以航空装备体系远程目标打击任务为例,数值计算表明,本文的改进解析算法有效得出了体系多阶段任务可靠度计算结果,且相比传统算法运算效率得到显著提高,有利于应用到体系作战任务可靠度实时计算评估,指导任务统筹和规划。     

基于双机联合故障检测的双机热备系统可靠性和安全性研究

分析了基于独立故障检测单元的双机热备系统存在的问题,提出了一种基于双机联合故障检测的双机热备系统方案,通过主、备单元的自检和它检实现故障检测功能。利用马尔可夫过程,对基于独立故障检测单元和基于双机联合检测方案的双机热备系统分别进行可靠性建模和仿真计算,分析其可靠性和安全性指标。根据仿真结果对两种方案的可靠性、安全性和经济性水平进行了分析比较,比较结果表明,两种方案的优劣与β值以及系统资源利用情况有关,当β≥0.8并且系统有较多空闲资源时,基于双机联合故障检测方案的双机热备系统完全可以达到甚至超过基于独立故障检测单元方案的双机热备系统可靠性和安全性水平,并且结构更为简单,成本更低。     

模糊情形下基于贝叶斯网络的可靠性分析方法

确定性的可靠性分析方法在描述模糊情形下的逻辑门与事件时表现出了局限性.为能在模糊情形下进行可靠性分析,利用贝叶斯网络对不确定性问题具有良好描述能力和推理能力的特点,提出一种基于贝叶斯网络的可靠性分析方法.该方法在采用贝叶斯网络进行系统可靠性建模基础上,提出了一个重要的概念:置信割集;并给出了计算强割集的算法.这种基于贝叶斯网络的可靠性分析方法能较好地刻画系统中存在的模糊性,丰富了割集理论,使可靠性分析更加接近实际.最后,举例说明了算法的有效性.     

捷联惯导四面体冗余配置的双轴旋转调制方法

传统捷联惯导采用三轴正交配置,存在单一传感器故障直接引发整个系统失效,且导航误差随时间累积快等问题。为解决这些问题,提出了一种将四陀螺冗余配置和双轴旋转调制相结合的捷联惯导导航方法。构建多指标约束的冗余优化准则,通过器件级配置方式,设计了基于四面体结构的四陀螺冗余配置方案,并在此基础上引入八次序双轴旋转调制方法,调制3个轴向的等效陀螺漂移。仿真结果表明,所提方法能够实现系统可靠性和导航精度的双重提升,具有重要的工程应用价值。