IEEE-1394b互连网络的可靠性建模

对于IEEE-1394b互连的可靠性计算问题,从IEEE-1394b的拓扑结构出发,提出了基于任务的系统可靠性分析方法,建立了IEEE-1394b互连系统的可靠性模型,并给出了系统可靠度矩阵的定义.针对IEEE-1394b协议的特性,提出了IEEE-1394b互连系统的互连矩阵定义.对IEEE-1394b互连系统在航电系统的典型应用进行建模分析,给出其任务路径集和单一路径失效概率,得到了任务路径的可靠度.通过分析中继端口单元对任务路径的影响,得到了中继端口单元对于IEEE-1394b互连可靠性影响最大的结论.      

航电系统SCI环型互连的可靠性建模研究

研究了SCI(可扩展一致性接口)环型互连的可靠性建模问题.结合SCI协议及航电系统ICD(接口控制文件)设计文件,提出了基于消息流的源-目的可靠度概念,建立SCI环型互连系统的可靠性模型,并针对3种环型拓扑进行了可靠性的建模分析,指出该可靠度指标对消息流的制定及航电系统任务的可靠度分配具有重要指导意义.      

FC互连的可靠性建模

对于光纤通道 (FC)互连的可靠性计算问题,从FC的基本模型出发,提出了基于任务的系统可靠性分析方法,建立了FC互连系统的可靠性模型,并给出了系统可靠度矩阵的表达形式.针对FC互连3种基本拓扑结构:点到点、仲裁环和交换网络,根据可靠性模型直接给出了表达式;针对FC组合拓扑结构连通性的特点,在可靠性模型中引入桥端口的概念,给出了组合拓扑结构互连可靠性模型的表示方法;针对FC协议中的交换网络和仲裁环组合拓扑结构互连给出了建模实例,通过分析桥端口对任务路径的影响,得到了桥端口对于FC互连可靠性影响最大的结论.基于任务的可靠性建模和计算方法在航电系统设计阶段对于任务划分和拓扑选择都将起到指导作用.     

航电系统SCI互连的可靠性模型研究

研究未来航电系统关键协议——SCI(可扩展的一致性接口)的可靠性建模问题.从SCI互连的基本模型出发,提出了基于任务的系统可靠性分析方法,建立了系统的可靠性模型,并针对航电系统中SCI的蝶型互连进行了可靠性分析,指明该方法在航电系统设计阶段对于任务划分和拓扑选择都将起到指导作用.      

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

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

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

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

多项式基函数神经网络的结构可靠性分析

研究了多项式基函数神经网络法的结构可靠性计算.当结构的极限状态函数复杂,非线性程度较高,功能函数为隐式时,传统的结构可靠度分析方法计算困难,多项式基函数神经网络法为解决结构可靠性分析提供了一种新方法.基于多项式逼近理论,利用神经网络模拟逼近能力,将多输入多项式作为网络的激励函数,利用激励函数的广义逆矩阵形式计算网络隐层与输出层的连接权值,拟合结构的功能函数.利用可靠度的一阶可靠性方法计算结构的失效 概率.通过实例计算,表明了本方法计算精度高,同时公式简单,易于编程,具有通用普遍性.     

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

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

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

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

虚拟化技术在综合化航电系统中的应用

将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统.     

航空电子WDM网络的实时性能分析

对航空电子波分复用(WDM,Wavelength Division Multiplexing)网络实时性评估问题,采用网络演算理论,提出了一种周期消息在WDM复杂虚拓扑上多跳端对端最大延迟的计算方法.建立了波长路由器WDM网络模型,分析了消息流端对端延迟的组成部分.针对网络演算理论下的WDM网络通信模型,推导了消息经单节点和多节点波长路由器的最大延迟的计算公式.并结合实际航空电子系统对公式进行了修正,解决了突发度过大的问题.最终得到最大延迟的紧密上限.最后在OPNET仿真环境下验证了计算分析方法的有效性.     

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

芯片间时间触发通信综合规划方法及其优化

随着片上系统（SoC）的处理能力逐渐接近传统的综合核心处理模块，航空电子系统向着微小型综合化的芯片间系统发展；时间触发交换式互连可以保证芯片间消息传递的严格时间确定性。考虑芯片间互连交换结构轻量化和收发端口有限的特点，在拓扑、路由和调度时刻等网络资源相互制约的条件下，提出了芯片间时间触发通信综合规划方法，即根据时间触发消息集合和芯片端口配置，同时求解得到芯片间网络拓扑结构、消息路由和调度时刻表的规划结果。其中，采用免疫算法整体优化了各条消息在网络资源分配过程中的求解次序。仿真实验表明，与不考虑整体优化的综合规划方法相比，优化后的规划结果在减少拓扑结构中多余路径开销的同时，避免消息传输路径拥堵，降低消息端到端延迟，保证了消息集的可调度性。      

航空电子WDM网络多信道强实时调度设计

对航空电子强实时网络,提出了一种广播选择型和波长路由型混合波分复用体系结构和其调度结构模型.针对航电多信道强实时消息,提出了多信道负载比例轮转调度方法,以消息的负载比例在多信道上分配权值.分析了子系统内部消息和子系统外部消息在体系结构中调度模式的不同,推导了经过单次调度的子系统内部消息和经多次调度的子系统外部消息的多信道强实时调度约束条件,从而满足了航电系统所有消息的端对端的实时传输.针对航电实际系统,从系统资源和稳定性等角度提出了关键性参数的设计优化方法.最后用一个航电消息集实例进行具体说明.     

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

航空电子环境下FC网络的建模与仿真

机载网络是航空电子系统的重要部分.从航电系统对数据传输的需求出发,研究了光纤通道(FC,Fibre Channel)网络复杂混合拓扑的建模与仿真.在协议分析的基础上,将不同拓扑结构的网络抽象成终端与交换机模型的组合,并分别建模.基于离散事件系统仿真方法构建了适合航空电子环境的FC网络仿真平台,并提供网络吞吐量、延迟和实时性等性能指标的评价方法.仿真结果与实测数据相对比,误差小于10％,验证了模型的有效性.使用仿真模型进行案例分析,对机载FC网络做出性能评价.      

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

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