软件容错及一个N文本容错系统的实现

软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。     

容错技术在风洞试验中的应用研究

以亚音速风洞为监测对象,介绍容错技术在风洞试验中的应用原理和方法。同时对系统的结构特点、软件和硬件的配置、容错功能的实现等进行了分析和讨论     

非相似余度飞控计算机

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

多处理器容错执行软件分析和设计

介绍了多处理器容错执行软件（ＭＴＥ）的设计及其结构特点；阐述了ＭＴＥ软件如何通过任务转移实现系统容错功能及对应用软件的简化，以提高应用软件的维护性和质量。     

用于波音777飞机的主要飞控计算机

飞行控制计算机容错技术本文介绍了在ERA1992年航空电子会议上介绍的波音777的主要飞控计算机。介绍了系统需求软件实施措施,以及容错系统的运行后果,描述了波音777主要飞控计算机系统的整体结构。重点介绍了控制模式和实现一些保护功能的方法。在描述了硬件之后,又描述了软件生命周期过程,包括设计。编码和测试,强调了已实现软件完整性的方法。对容错设计及提供给操作员的优点也作了介绍。用于波音777飞机的主要飞控计算机@刘英华     

卫星姿态控制系统容错控制综述

主要针对卫星姿态系统容错控制研究领域已有的成果进行了回顾。总结了国内外卫星容错控制的现有成果,主要从卫星姿态控制系统的可重构性、单体卫星容错控制和卫星编队容错控制3个部分对相关的研究成果进行了归纳分析。其中,卫星姿态系统的可重构性从重构目标和系统功能要求两方面进行分析;对单体卫星容错控制现状的介绍主要从自适应技术、滑模理论、预设性能、干扰观测器、故障估计观测器几个方面展开;卫星编队容错控制方法从独立容错、协同容错、拓扑重构和组成重构的角度进行阐述。最后进行总结,并展望了卫星姿态控制系统容错控制领域未来可能出现的新问题和研究思路。     

故障注入器功能设计

对于容错计算机的验证 ,必须模拟在系统运行出现故障的情况下 ,容错计算机对故障的检测、隔离和定位能力。所以 ,需要研究故障注入技术。故障注入是通过一定的方法 ,按照一定的控制 ,改变计算机内部硬件或软件的状态 ,使其出现预先定义的故障状态 ,由此触发容错计算机的故障逻辑 ,验证故障逻辑的功能和性能。     

B777飞机信息管理系统（AIMS）综合模块化技术研究

本文分析了B777飞机信息管理系统（AIMS）的硬件和软件特点，重点分析了该系统在硬件和软件上利用余度管理技术实现容错延迟维修的技术特点。最后提出充分利用该系统的数据融合甚至信息融合技术，加强对设备使用和健康状况监控，以期对民航的维修理论和技术有一定的促进作用。     

电力作动器用高可靠性永磁容错电机控制系统的设计及其试验分析

 针对电力作动器的高可靠性要求,结合转子磁钢采用离心结构的六相十极永磁容错电机(FTPMM),提出一种基于电流直接控制法的容错控制系统。当电机绕组或功率管发生断路及短路故障时,系统无需硬件故障辨识信号及软件算法切换就可实现系统的强容错功能,即故障后电机输出转速不变,输出功率与发生故障的相数有关,当电机系统出现一相、两相、三相故障时,电机分别可输出100%、80%、60%的额定功率;设计了一台750 W六相十极永磁容错电机的原理样机及其全数字化控制器,证明了该容错控制策略的正确性及整个电机控制系统的强容错性及可行性。     

电力作动器中永磁容错电机的电感和谐波分析

 针对永磁容错电机大漏感的特点,利用磁矢量有限元法对六相十极永磁容错电机进行分析,得出其绕组自感的组成成分,尤其是电机内漏感分布;同时建立六相十极永磁容错电机的磁路模型,利用磁路法推导出较高精度的绕组自感及其组成部分的解析式,通过有限元验证,该解析式的计算精度在5.6%以内。此解析式可推广到一般的永磁容错电机中去,进而为永磁容错电机的初始设计和性能分析提供了理论依据。最后,对永磁容错电机内谐波漏感进行了量化分析,为后续的电机控制及其热分析打下基础。     

设备运行过程故障容错控制研究

将故障诊断与容错技术相结合,提出了利用检测的故障信息对设备运行中的故障进行容错控制的设计方法,并对几种容错控制方案及其实现进行了分析和讨论,最后给出了一个工程实例。     

容错飞行控制技术的应用研究现状与发展趋势

如何将容错飞行控制理论研究与工程应用紧密结合是值得关注的问题。从解决飞控系统自身故障的余度容错技术、解决飞控系统被控对象故障的容错控制技术和制约主动容错控制发展的故障诊断技术3个方面研究了容错飞行控制在工程应用中的发展现状。分析了容错飞行控制的核心技术和难点问题,对未来容错飞行控制技术的发展提出了思考与建议。     

电力作动器用高可靠性永磁容错电机控制系统的设计及其试验分析

针对电力作动器的高可靠性要求,结合转子磁钢采用离心结构的六相十极永磁容错电机(FTPMM),提出一种基于电流直接控制法的容错控制系统。当电机绕组或功率管发生断路及短路故障时,系统无需硬件故障辨识信号及软件算法切换就可实现系统的强容错功能,即故障后电机输出转速不变,输出功率与发生故障的相数有关,当电机系统出现一相、两相、三相故障时,电机分别可输出100%、80%、60%的额定功率;设计了一台750 W六相十极永磁容错电机的原理样机及其全数字化控制器,证明了该容错控制策略的正确性及整个电机控制系统的强容错性及可行性。     

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

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

潜射导弹中的容错控制技术

分析了容错控制技术在潜射导弹中的重要作用,指出了容错控制技术在潜射导弹 中的应用方向。     

容错技术在直升机可靠性设计中的应用与研究

现代直升机的飞行关键系统如电传操纵系统及给电传操纵系统供电的电源系统,为确保高可靠性高安全性要求（λ〈10-7／飞行小时）,通常都采用由多个（3个或4个）分系统组成的容错系统。首先论述了容错技术及容错系统的组成,然后对容错系统不同构型的可靠性进行了分析,并建立了容错系统的可靠性计算方法。之后,以相应的实例讨论了容错系统可靠性计算时必须考虑的问题。最后简述了相关的设计准则。     

波音机型烤箱通用测试台软件可靠性设计特点介绍

软件可靠性设计是提高元件质量和可靠性的一项重要技术。本文根据对OGT-1型烤箱通用测试台软件的介绍，突出了可靠性设计技术，包括采用结构化的软件设计技术，应用可重用软件、应用容错技术、增强软件坚固性设计技术以及软件检错技术等。     

计算机软件容错技术

论述了软件容错的原理及其在当今系统中的重要性；通过Ａｄａ语言的块结构程序示例，讨论了其在防御系统中的应用以及对未来应用的设想。     

基于软件的无人机故障注入技术研究

故障注入是一种用于容错计算机系统验证的有效技术,其应用效果直接取决于所采用的故障注入方法的正确性。文中采用硬件覆盖和故障模型的方法,模拟无人机系统的硬件故障,并着重讨论了在总线上注入故障的试验策略。然后用软件的方法构造了一个用于测评无人机飞行控制系统容错控制机制的故障注入工具UAVFI_01。在无人机动态测试过程中,故障注入试验结果表明了这种方案的正确性和可行性。     

机载实时容错分布式计算机系统数据网络的设计与实现

主要讨论了"机载实时容错分布式计算机系统"数据网络的设计与实现.在数据网络需求分析的基础上,作者通过对多种网络拓扑结构和网络协议的分析与比较,得到适用于机载实时容错分布式计算机系统数据网络的设计,最后介绍了机载实时容错分布式计算机系统中数据网络的实现.