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

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

容错软件可靠性故障树分析方法

在关键的场合,要求使用容错软件技术(包括非相似设计技术和恢复块技术)实现高可靠计算机系统。对一个计算机系统的可靠性分析可以使用各种技术,而故障树方法是在工程上比较常用的一种技术。故障树技术应用于硬件系统是比较成熟的,而这里针对三余度非相似余度计算机,将故障树技术应用在这个系统上,并给出了最小割集,在每个底事件的可靠性评估之后,就可以评估出整个非相似余度计算机系统的可靠性。     

可靠性设计的新发展——容错技术

本文详细地论述了容错技术的发展和特点,以及容错技术的有关技术问题。容错技术与容错系统代表了微机应用系统的发展方向,它是软、硬件相结合的可靠性设计,是系统工程中一次深刻的变革。     

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

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

机载供电系统双余度控制器的容错控制

介绍双发（Twin-engines）系统的战斗机的机载供电系统控制器的设计和实现。机载供电系统控制器是管理飞机的供电系统的航空电子设备,是飞机供电系统的核心设备,肩负飞机安全的使命。为了提高控制器的可靠性和灵活性,放弃传统的模拟方法,使用先进的数字化技术实现对飞机供电、配电系统的管理。在设计中为了提高可靠性,使用主动复制的容错技术,设计了双余度控制器,在发生单通道错误的情况下,整个系统能够正确工作。对机载供电系统控制器容错技术进行了研究,包括双余度系统的管理策略、同步控制机制、余度管理和故障综合、信号比较监控和通道切换逻辑。     

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

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

非相似余度飞控计算机

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

民机电传飞控系统故障检测与容错技术

现代民机广泛采用数字式电传飞控系统,它有利于飞机减重、飞行品质改善、飞机维护性改善等。民机电传飞控系统需满足严格的安全性与可用性要求,保证飞机取证与运营可靠性。故障检测与容错技术是实现高度安全可靠电传飞控系统的关键。该文阐述了已应用于现代民机的故障检测与容错技术,重点介绍了波音、空客公司故障检测与容错技术应用于民机设计的成功案例,对未来民机容错技术发展进行了探讨与展望。     

RapidIO交换互连与配置管理研究

RapidIO技术以交换机为核心构建互连拓扑系统,基于交换机的RapidIO互连与配置管理是整个RapidIO互连系统实现的关键技术。介绍了基于RapidIO交换的互连技术,阐述了RapidIO交换网络JTAG接口、I2C接口和RapidIO维护包等三种配置管理方法和具体的实现方式,可以完成系统的动态流量调节、容错重构等特性。     

故障注入器功能设计

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

光纤通道数据采集存储系统设计与实现

随着光纤通道技术在军用和民用中大量应用,光纤通道数据的采集存储对光纤网络的监控、测试有重要的意义。本文实现了基于FPGA的四路光纤通道数据采集、存储和转储系统。该系统利用aurora接口连接采集卡与存储卡,通过PCI将存储卡数据转储于主机。本文说明了整个采集存储系统的结构与采集卡的逻辑实现。该系统通过了逻辑功能仿真,并实际测试表明该系统能够对光纤通道数据进行快速的采集,存储和转储。     

燃气轮机排气系统整机环境部件特性修正方法

为了探究外界环境条件对燃气轮机排气的影响,以船舶燃气轮机排气系统和船舶整机系统为研究对象,采用合适的物 理模型对船用燃气轮机排气部件进行阻力特性、流场分布的仿真分析,进一步提出燃气轮机排气系统的修正方法。对国内外相关 的研究现状进行了调研,引出研究内容和研究意义,建立船舶燃气轮机排气系统和整机系统的模型,对模型进行了网格划分,利用 数值仿真技术开展不同工况点和风速风向下燃气轮机排气系统的流场特性仿真计算分析。结果表明：得到不同风速风向下排气 系统的阻力特性,即总压以及总压损失,温度特性以及引射特性。以整机仿真和部件仿真所得到的数据为基准,建立了燃气轮机 排气系统在整机环境从无风到有风的变化条件下的工作特性修正模型。     

Missile Electronic System Hardness Assurance Program

A hardness assurance program suitable for a retaliatory or deterrent missile system is discussed. The program consists of three phases: the establishment of suitable controls and screens to ensure piece part hardness, a supplier data monitoring program to measure hardness related parameters in a timely fashion to obtain advanced warning of potential problems, and a hardness assurance verification testing (HAVT) program to periodically measure the radiation response of parts, circuits, subsystems, and systems on a sample basis to ensure proper functioning in simulated radiation environments. All of the data relevant to hardness assurance is stored in computer memory and routinely interrogated with programs which compare current results with the engineering baseline data and other data from preceding lots. Other computer programs enable statistical estimation of system response to the radiation environment with confidence based on the expanding data base provided by the HAVT program.     

基于Matlab的无人机全过程飞行仿真

为了对小型无人机全过程飞行仿真进行研究,根据无人机飞行控制回路和制导回路,搭建了模块化的系统仿真结构,将Matlab/Simulink和Stateflow有机结合起来,建立了易于维护和扩展的仿真环境。利用仿真环境对无人机的控制规律和制导规律进行了仿真,结果表明了控制规律和制导规律的合理性,以及全过程仿真环境的实用性。     

某大型国产客机发动机空中测试平台引气模拟系统设计

发动机空中测试平台中的引气模拟系统是国产大型客机进行适航验证的关键试验系统,由于在实际中无法建立完整的用气系统实物模型,如何准确复现真实引气工况中关键参数的动态变化过程,已成为国产大型客机引气模拟系统设计中的瓶颈。利用孔板限流方法,开发引气系统控制器,设计和研制一套发动机空中测试平台引气模拟系统;利用地面台架试验进行引气模拟系统验证,并与真实飞机数据进行对比。结果表明：测试发动机的引气模拟系统具有和某大型客机引气系统相同的引气特性,满足大型客机发动机 CCAR33 部取证的引气模拟需求,实现了对发动机引气温度、压力和流量进行调节和监控。     

民用飞机防火系统试验室气流模拟系统设计

在民用飞机防火系统地面模拟试验中,由于气流流量对试验具有重要的影响,因此,需要模拟发动机风扇舱、发动机核心舱、APU舱和货舱在飞行中的气流流量。由于流量的精度对试验结果具有重要的影响,设计一种基于PLC控制的气流模拟系统,基于PID控制算法,通过变频器控制电机带动风机模拟所需的气流,满足地面试验的要求。     

基于FPGA的平台地面电路系统设计

本文围绕如何利用FPGA 技术实现平台地面电路系统功能这一主题进行了详细的系统设计、程序实现、程序仿真及结果分析。首先,依据平台系统的要求提出了基于FPGA的平台地面电路系统的总体设计方案。之后,按照接口电路的工作流程要求和状态控制要求,进行功能化模块设计和程序仿真。重点是按照地面控制回路电路的工作原理进行电路的连续系统设计、仿真、离散系统设计、仿真、分析、程序仿真及结果分析。最终,完成了FPGA的平台地面电路系统的设计。仿真的分析结果表明本设计控制流程正确,控制系统稳定可行,回路各项参数满足平台系统要求。     

电子对抗仿真器的设计

用电子对抗系统仿真器代替真实的设备参与飞机航电系统综合试验, 是为了获得更好的动态效果, 减少测试的复杂性, 降低实际费用。本文在分析电子对抗系统功能的基础上, 提出了仿真器的基本设计方案及软件设计技术, 最后, 介绍了软件测试方法。     

航空发动机反馈神经网络自适应控制方法

根据反馈神经网络控制方法在发动机控制系统中的应用研究,建立了基于反馈网络的发动机控制系统。采用反馈神经网络辨识发动机模型参数,用动态自适应算法对神经网络权值进行了调整,并在飞行包线内各工作点对整个控制系统进行了仿真。结果表明,使用神经网络建立的发动机控制系统具有良好的控制品质和较强的自适应能力。