TMR计算机系统瞬时故障的纠错技术

介绍了一种专用于瞬时故障环境的纠错方案；说明了它的体系结构及工作原理；介绍了该系统的工作过程。根据该系统的工作原理，建立了数学模型，计算了该系统的可靠性。把它与具有相同的参数的单机系统、三楼冗余系统的可靠性进行了比较，证明了该系统具有较高可靠性。     

四余度容错计算机开发综合系统Q—DIF的设计

四余度容错计算机综合开发系统Ｑ—ＤＩＦ（ＱｕａｄＲｅｄｕｎｄａｎｔｙＣｏｍｐｕｔｅｒＤｅｖｅｌｏｐｍｅｎｔａｎｄＩｎｔｅｇｒａｔｉｏｎＦａｃｉ１ｉｔｙ），是为四余度容错计算机而研制的开发、综合系统。Ｑ－ＤＩＦ除了提供一般开发综合系统的功能外；还针对四余度容错计算机的特点，提供了四通道（处理机）同步运行、实时多通道参数显示、通道冻结和故障注入等功能，并在Ｗｉｎｄｏｗｓ平台上，给用户提供一个非常好的用户界面。     

星载计算机的单粒子扰动及其加固技术研究

以实践四号卫星有效载荷“单粒子事件动态监测仪’为实践基础,介绍了星载计算机基于软件结合硬件容错抗单粒子扰动的加固技术;并对半年多来在轨运行中探测到的单粒子翻转和闩锁事件进行了初步分析总结。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

一种卫星上的容错数字控制计算机

卫星控制系统用的数字计算机是实时性能很强的控制机,又是信息量较大的数据处理机,同时要求可靠性极高。一般,星载计算机设计成一台双机热备份的容错计算机系统。文章介绍了星载计算机的元器件选择,主机构成及其性能,各种系统软件和应用软件的设计准则,以及整机测试方法等。着重介绍了星载计算机硬件和软件的容错设计。文章最后介绍了星载计算机的使用情况,星载计算机成功地完成了二次飞行试验任务,表明设计思想正确,满足总体技术要求,控制精度高。采用双机热备份系统确实保证了计算机的高可靠性要求。     

INS／GPS组合导航系统的容错研究

本文研究了INS/GPS组合导航系统的容错问题,并提出了一个两级故障检测及分离方案。通过采用该方案,INS/GPS组合导航系统将具有较高的容错能力,并能为用户提供连续、精确的导航信息。     

基于Riccati方程的离散容错控制系统设计

基于离散系统的Ｒｉｃｃａｔｉ方程，提出一种对传感器失效具有完整性的离散控制系统的设计方法，给出了完整性设计方法的设计步骤，并用设计实例验证了该方法的有效性．该方法还可推广用于执行器失效的情况．     

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

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

非平稳信号的双重中值容错平滑算法

平滑是消除或削弱测量数据随机误差时常用的数据处理手段。文章建立了一组新的非平稳数据序列容错平滑算法，其采用两阶段两次滑动中值与滑动均值平滑组合，实现了数据简化与平滑的统一。理论分析和仿真计算结果证实，算法可有效避免斑点型异常数据的不利影响，有效削弱随机误差的影响，改进数据处理精度和数据处理结果可靠性。