基于控制分配的多操纵面战机故障容错控制

针对一类含有未知执行器故障的飞行控制系统,提出了一种基于自适应控制分配的容错控制方法.该方法充分利用了多操纵面战斗机的冗余特性,通过在线自适应调整控制分配矩阵,解决了未知故障情形下的容错控制问题,且无需调整基本控制律.分配矩阵的调整规则由李亚普诺夫(Lyapunov)稳定性方法获得.通过一个多操纵面战斗机ADMIRE模型的仿真,验证了该方法的有效性.     

非相似余度飞控计算机

从容错的角度介绍了Boeing777和A320的数字飞行控制计算机系统。Boeing777和A320的飞控计算机都采用了非相似的余度技术,能容忍软件和硬件的共态故障,但在每个计算机的功能分配和整个飞控计算机系统的余度结构编排等方面体现了各自的特点。用广义随机Petri网描述了Boeing777余度结构和容错动态过程,并进行了系统的可靠性计算和容错度分析。针对中国"大型飞机"容错飞控系统的设计作了分析和建议。     

一种基于TTP/C协议的容错策略研究

组成员协议(GMP)是基于TTP/C的一种软件容错策略.在传统的GMP策略中,故障的节点都会将自己从本地成员表中删除,在有n个节点的系统中,出现(n-3)次连续的故障后,可能会导致GMP策略无效.研究了一种新型的GMP容错策略,可对瞬态故障的节点进行恢复,使其在(3n 1)个时间段内重新返回到系统中,增强了系统的容错鲁棒性.     

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

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

具有SDRAM容错和检错功能的PowerPC 高性能处理单元设计

介绍一款PowerPC架构的高性能嵌入式处理单元设计.利用PowerPC体系结构内建的差错检测和报告机制,采用CPLD设计和实现了三模冗余(TMR)SDRAM存储器模块,不但提供高速存储器的容错能力,还具有差错检测能力,提高了处理单元的可靠性.介绍一个分布式容错计算机的实例,并分析了该方案的优点.     

动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。     

基于被动复制方式的容错CORBA模型

容错CORBA(Common object request broker architecture,公共对象请求代理体系结构)是OMG(Objectmanagement group,对象管理组织)为了给分布式系统带来容错特性而对通用CORBA所作的一个扩展。文中首先介绍了基于被动复制方式的容错CORBA模型——PFORBUS,针对其中主服务器的重要性,该模型提出了一个主服务器选择算法,该算法基于三角模糊数对不同服务器的可靠性进行评价,从而找出可靠性评价值最高的服务器作为主服务器。然后详细介绍了PFORBUS模型在该算法支持下的相关工作,包括系统初始化、正常工作流程及主服务器失效后的处理等。最后对该模型采用不同主服务器选择算法的情况进行了仿真,并取得了较好的效果。     

网格环境下基于移动代理的两级环调度模型

网格环境下基于移动代理的两级环调度模型主要由网格任务管理中心、网格资源节点、网格用户、用户作业组成。网格任务管理中心依据网格用户提交的作业动态生成两级环,即超级环和普通环。两级环中资源节点由超级环管理节点、普通环管理节点和普通环资源节点构成。不同节点充分利用移动代理的自主迁移能力共同维护任务的正常运行。通过对两级环模型的事件响应时间延迟、系统可靠性、负载平衡、作业运行时间的分析和仿真,证实该模型能够有效利用网格计算资源、均衡资源负载。