基于Markov链的FSM容软错误设计

随着深亚微米工艺的广泛应用,持续攀升的软错误率对宇航设备的电路可靠性造成了极大影响。针对现有冗余防护技术面积开销大的不足,将概率统计的思想运用到有限状态机（FSM）的软容错设计上,提出了选择部分状态冗余的容错方法。在Markov链模型的基础上,计算出各状态概率,从而为状态冗余提供依据。与未经选择状态冗余的电路相比,以平均增加14.9%的面积开销为代价,这种电路可屏蔽87.6%的时序逻辑单翻转（SEU）。
     

闭环FOG的自诊断及在RSDIMU中的应用

首先阐述了闭环干涉型光纤陀螺(I-FOG)中回路的特点,揭示了它的自诊断能力.由此给出了一种具有自诊断能力的闭环干涉型光纤陀螺并将它应用于一种容错捷联惯性测量单元(RSDIMU)中,针对该单元,设计了一种容错算法.该算法除了利用陀螺的输出外,还引入了它的自诊断信息,从而实现了仪表级的信息冗余,使这种RSDIMU的容错能力由原来的故障运行(FO)-故障运行(FO)-故障安全(FS)上升到FO-FO-FO-FO-FS.用Markov可靠性估计模型对该系统的估计表明,其可靠性也有了很大的提高.      

冗余度机器人动力学优化控制研究

稳定性和终态自运动是动力学优化中的难点.为了解决冗余度机器人动力学优化中的这些困难,深入研究了动力学优化和关节速度间的内在联系和矛盾,提出通过优化关节速度提高动力学优化的综合品质的思想,阐述了在线调节关节速度齐次项,同时改善稳定性和终态自运动的方案.仿真证实所提方案的实用性和有效性.     

赘余桁架结构可靠性的计算方法

 本文在现有的一些国际流行的有关计算赘余桁架结构可靠性方法的基础上加以改进,提出了计算赘余桁架结构可靠性的强度削减一人造外载法。它将结构的失效看作是一个前后相关的失效过程,而不是象以往的算法那样,将结构的失效看作是一些孤立的状态,因而更真实地反映了赘余结构失效的方式和实质,更准确地计算出了结构真实失效概率的上下界。算例结果表明,本文算法是切实可行的。     

ARINC659总线协议容错机制的一种设计与实现

在飞行控制系统中,对系统安全性、可靠性、可用性的要求不断提高,系统的容错控制能力也在不断的发展.ARINC659是一种具有较高吞吐量、严格的故障隔离、数据传输确定特性的数据总线.描述了ARINC659背板数据总线协议规范中使用的两种容错机制,并实现了容错机制,使用verilog语言设计实现并给出了相应的仿真结果,能够有效的实现对一路故障以及部分两路故障的屏蔽保证系统的可靠性.     

面向对象的航空工程试验数据资源管理

针对目前工程试验数据管理中存在的问题，提出了基于面向对象数据模型的航空工程试验数据资源管理系统的设计思想和实现方法，说明了测试数据模型的对象模式，详细描述数据库表的设计，并给出应用实例。     

工业以太网EtherCAT冗余和热插拔技术

EtherCAT是一种实时工业以太网协议,使用冗余技术是实现热插拔和提高通信可靠性的重要手段.首先介绍了实时工业以太网EtherCAT的组成、工作原理和报文结构,研究了使用环型网络拓扑结构实现基于EtherCAT的工业自动化控制系统故障容错及热插拔技术,分别规划了在网口故障、链路故障和节点故障时冗余帧传播机制、故障点定位和恢复策略.开发了链路冗余EtherCAT主站驱动程序,将常规EtherCAT主站驱动程序做了修改,加入链路冗余机制,对上层应用屏蔽了冗余信息和操作.最后完成了冗余和热插拔的性能测试实验,结果表明系统性能优越,运行稳定.     

冗余度机器人力控制的运动学稳定性分析

把非冗余度机器人位置／力混合控制方案引入到冗余度机器人，用线性化的动力学模型对其运动学稳定性进行分析，提出一种改进的基于运动学稳定的冗余度机器人混合控制策略。仿真研究结果证明了所提出方法的有效性。     

机载机电系统可靠性的计算机辅助分析方法

 为了提高机载机电系统的可靠性,机载机电系统常采用余度系统,以达到故障容错,进而实现整个飞机系统的高可靠性和安全性。开发适应于余度间耦合、动态性能降级的ReliaApp可靠性分析评价软件平台,通过有效综合故障模式影响（FMEA）、故障树分析（FTA）和Markov状态转移链法,实现不同容错设计方案的选择、机电系统的可靠性定量评价并给出系统的薄弱环节,为系统的余度配置和改进设计提供软件设计与评估平台,以确保飞机系统的高可靠性和安全性。实例应用表明该软件平台是飞机机载机电系统可靠性设计与评价有效的计算机辅助工具。     

燃气涡轮发动机地面试验传感器数据确认概念与方法研究

本文介绍了燃气涡轮发动机传感器数据确认系统的研究与应用现状,详细阐述了基于发动机和试验系统物理模型的解析冗余检验相关多传感器信号有效性方法,以及基于信号序列统计与时频特征分析的单传感器通道信号有效性的确认方法,提出了传感器数据有效性确认系统的研究框架。