基于马尔可夫链的空间站推进1553B通信系统可靠性分析

推进功能的正常实现为空间站长期在轨运行提供重要保障。1553B通信系统作为推进功能的重要组成部分,承担着推进系统与外界进行数据交互的任务,其可靠性设计至关重要。为提高1553B通信系统可靠性,分别对包含数据隔离芯片在内的远程终端及其处理器进行双余度冗余设计。本文通过建立故障树对1553B通信系统可靠性进行分析,并引入平均无故障时间、可靠度等定量指标,基于马尔科夫链建立可靠性模型进行定量计算。结果表明,1553B通信系统平均无故障时间增加1.947倍,可靠度增长3.89%,故障概率则下降超98%,由此验证了双余度冗余设计能够有效地提升1553B通信系统的可靠性。     

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

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

基于满意度的贮备多阶段任务系统可靠性优化

分析了多阶段任务系统成功运行的条件;在冷贮备系统的可靠性计算模型的基础上提出了单元是二态,失效率服从指数分布的冷贮备多阶段任务系统的可靠性计算模型;建立了系统可靠度、体积、重量和价格的子满意度函数,并利用层次分析法确定各个子满意度函数的影响因子;构建了基于综合满意度函数的贮备多阶段任务系统可靠性冗余优化模型,应用微粒群算法对模型进行求解.算例通过一个3个阶段的冷贮备系统来阐述该方法的应用,并验证了模型的合理性及算法的有效性.      

飞控系统性能与可靠性一体化设计技术

通过分析性能与可靠性一体化设计国内外相关研究工作的研究成果与不足,提出了性能与可靠性一体化设计(IDPaR,Integrating Design for Performance and Reliability)的研究思路.从产品发生故障的内、外因角度建立了性能与可靠性一体化设计综合模型,提出了性能可靠度的定义和计算方法.并针对典型飞控系统,给出了各类内外影响因素的具体建模方法,总结提出了性能与可靠性一体化设计算法流程和分析方法.最后以某型导弹为案例,进行性能与可靠性一体化设计技术的应用验证.      

基于产品可靠性的工艺系统可靠性模型

以提高产品的可靠性为目的,分析了工艺系统﹑工艺过程产品输出参数﹑产品使用性能﹑产品可靠性四者的关系.在此基础上,提出了基于产品可靠性的工艺系统基本影响关系可靠性模型,介绍了其建模方法.模型考虑了各工序之间的影响,反映了工艺系统与产品可靠性的关系.最终研究了工艺系统可靠度和工序可靠度的定量计算方法,为找出工艺系统的薄弱环节,进行工艺优化进而提高产品的可靠性提供了理论依据.     

结合FMECA可靠性预计法

任何元器件的故障是以一定的故障模式表现出来的。当一个元器件以不同的故障模式发生故障时,设备产生的后果是不同的。结合FMECA(故障模式、影响及危害度分析)深入分析了故障模式的影响及其危害度,以提高可靠性预计的精度。 建立了结合FMECA可靠性预计模型。可预计产品的任务可靠度和致命故障间隔的任务时间。为便于推广,编制了相应的计算机程序并进行了实例运算。还对结合FMECA可靠性预计法和常规可靠性预计法进行了比较。     

飞机系统可靠性的电磁兼容预测研究

对飞机可靠性工程中的有关系统内电磁瘘容性分析和预测程序进行了研究开发，详细论述了天线对天线干扰的传播模型、导线与导线间的耦合模型、电磁场对导线的感应模型、设备对设备的耦合模型以及其编程语言、输入数据处理方法等开发技术。给出其计算结果，并与实验数据作了比较，结果表明，可提高系统的可靠性。     

考虑保障设备故障的装备维修保障模型

为分析保障设备故障及其保障过程对装备保障效能产生的影响,分析了保障设备故障对装备保障活动的影响,详细描述了保障设备在站点间、站点内的保障过程,建立了保障设备站点内的保障过程模型,提出保障设备故障影响等级、附加保障活动等参数来体现保障设备故障对维修活动产生的影响.在此基础上建立了考虑保障设备保障过程的装备维修保障仿真模型,并与传统仿真模型进行对比,通过具体案例分析得出保障设备的保障对装备保障效能的影响.为开展保障设备的保障工作,进行保障设备可靠性维修性参数设计提供了有效的支持.     

修理工带休假的n部件冷贮备可修系统

对由1个修理工和n个部件组成的冷贮备可修系统的可靠性进行了研究,当系统中没有故障部件时,修理工可以进行多重休假,休假时间是一个随机变量;在修理工休假期间,如果系统中在线工作的部件出现了故障,则其中一个冷贮备部件立即代替故障部件成为在线工作部件,故障部件必须等待修理工从休假返回才能得到修理。假定部件的工作时间、部件故障后的修理时间以及修理工的休假时间均为位相型(PH)分布。通过运用Kronecker算子和马尔可夫过程理论,分别推导出系统在瞬态和稳态情况下的几个可靠性指标:可靠度、可用度、故障频度以及修理工忙的概率。通过数值算例对所得结论进行了验证。     

基于多失效模式的扭簧可靠性优化分析

基于广义应力 广义强度分布干涉理论和单一失效模式下扭簧可靠性计算模型,建立了多失效模式下扭簧可靠度优化数学模型,采用规格化加权法进行各失效模式影响相同（等失效效应）和有差异（非等失效效应）两种情况下的扭簧可靠度计算。在给定扭簧结构和工况约束条件下,应用提出的计算模型和技术进行了失效模式影响相同和有差异的基于可靠度最大的扭簧结构优化,与非优化结构的扭簧可靠度的比较,以及这两种情况下的扭簧可靠度比较。结果表明,提出的可靠度优化模型和方法是可靠和有效的,对于航天工程中零部件的可靠性优化分析具有很好的借鉴作用。     

航空航天进口电子元器件质量及可靠性管理系统

航空航天进口电子元器件质量及可靠性管理系统,是适应航空航天型号研制的需要以保证对国外进口电子元器件的质量可靠性要求。文章介绍了该系统的任务、工作过程,并对进口电子元器件数据库若干问题进行了探讨。     

基于MCP的无人机系统可靠性指标分析计算

为计算无人机系统的可靠性指标,论述了现代无人机系统的组成,利用可以收集到的国外无人机外场使用数据,结合无人机系统的不同工作模式,建立了系统的任务可靠性模型,以任务成功概率(MCP)计算为出发点,对无人机系统的平均致命性故障间隔时间(MTBCF)和平均无故障工作时间(MTBF)进行了初步分析计算.      

基于动态贝叶斯网络的可修GO法模型算法

GO法是评价复杂系统可靠性和安全性的有效方法,除了能描述多状态时序特性外,还能表达系统的复杂动态维修行为.针对这种带有动态可修特性的系统GO法模型,提出一种基于动态贝叶斯网络的新算法.首先将GO法模型中的可修操作符和不可修操作符转换成动态贝叶斯网络,然后将整体模型通过贝叶斯软件进行模型求解.新方法结合贝叶斯网络理论的成熟算法和软件,可得到系统可用度随时间变化的曲线和给定时间点的瞬时可靠性指标,并且无需考虑共有信号问题.基于动态贝叶斯网络理论的新算法规则简单统一,便于工程应用.      

N中连续取k好可修系统的模糊可靠性

在假定关键部件具有较高的修理优先权的条件下,讨论了具有1个修理工的可修n中连续取k好系统.利用马尔可夫过程对系统的各状态进行分析,得出了系统各状态的概率.然后利用基于模糊状态的可靠性理论,通过定义系统各状态对模糊成功的隶属函数,得到了可修n中连续取k好系统的模糊可靠性指标的计算公式,并比较其结果与传统可靠性理论的不同之处.模糊可靠度可以反映系统中工作部件的数目对系统性能的影响,它全面刻画了系统的可靠性行为.最后给出了计算示例说明算法.     

基于动态故障树的卫星可靠性分析

针对卫星系统的可靠性问题，提出了一种基于动态故障树的卫星可靠性分析方法。采用马尔可夫链和二元决策图相结合的分析方法，建立卫星的电源、姿轨控和推进3个分系统的动态故障树模型，在此基础上得到卫星的随机故障模型，并综合考虑损耗故障建立卫星可靠性模型。利用蒙特卡洛仿真对随机故障模型进行评估分析，并将其与Weibull分布模型进行性能比较，仿真结果表明该方法能够有效分析卫星的随机故障，具有计算精度高、效率高的优点，并能更有效地模拟卫星部件随机故障的动态行为。     

考虑多因素的可修系统任务可靠性分配方法

在实际工程中,系统常常是由串联、并联、旁联和表决等模型混合而成的复杂可修系统,目前此类系统的可靠性分配方法多采用等分分配等方法,得到的分配结果往往误差较大。本文提出了一种考虑维修、故障逻辑等多因素影响的可修系统任务可靠性分配方法。该方法以系统故障率为待分配指标,首先对包含维修影响的故障率进行转换,然后利用考虑故障逻辑的评分分配法进行分配,最后通过备件系数进行修正,获得分配结果。新方法能够为在实际工程中可修系统的任务可靠性分配提供一种简便易行的方法。      

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

面向可信的航空嵌入式软件开发方法框架

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.