一种硬件监视的关键数据管理算法

为了提高三模冗余容错计算机的故障恢复效率,缩短故障恢复时间,提出并设计实现了一种基于硬件监视的关键数据链表式管理恢复算法,克服了传统容错计算机在故障恢复方面的缺陷.利用系统运行过程中CPU的空闲时间与串行数据交换通道,在不中断系统工作的情况下,对三模冗余容错计算机进行无缝恢复,保证了系统在故障恢复时工作的连续性,同时给出了系统的具体恢复过程和测试结果.实验结果验证了该方法的可行性和可靠性.     

TMR计算机系统FT—HIT的冗余管理技术

ＴＦ－ＨＩＴ是自行研制的３模冗余航天容错计算机系统，系统通过件冗余和主要由软件现容错的冗余管理模式实现系统的容错性能。其冗余管理主要包括：故障检测，故障并蔽 故障隔离等重构与故障恢复等功能。     

TMR计算机系统FT-HIT的冗余管理技术

ＦＴ－ＨＩＴ是自行研制的３模冗余（ＴＭＲ）航天容错计算机系统，系统通过硬件冗余和主要由软件实现容错的冗余管理模式实现系统的容错性能。其冗余管理主要包括：故障检测、故障屏蔽、故障隔离、系统重构与故障恢复等功能     

基于微包协议的三模冗余容错计算机无缝重构算法

提出了一种基于微包传输协议的系统重构算法,制定了系统重构命令协议,设计了关键数据区的一致性管理算法.不需增加额外的硬件资源和系统开销,利用三机之间的数据交换通道,即可实现三模冗余容错计算机的无缝重构,保证系统在故障恢复重构时工作的连续性.同时,完善的重构命令协议使得重构软件的开发可以采用面向对象思想构成标准化的中间件,具有很强的扩展能力,为构建标准化嵌入式三模冗余容错计算机内核奠定了良好的技术基础.     

一个容错计算机的固态存储系统的设计与实现

本文叙述了三模冗余容错计算机固态存储系统的设计和实现，它具有可靠性高、容量大、速度快、重量轻、轻耗低等特点，它解决了容错机的数据的可靠存储和转发处理问题。     

TMR计算机系统冗余单元间的恢复技术

本文以我们自行研制的ＦＴ－ＨＩＴ航天容错计算机为背景、论述三模冗余（ＴＭＲ）计算机系统冗余单元间的运行环境信息恢复技术，包括运行环境信息的保存、信息的传送，以及对故障单元的信息恢复等技术。     

分布式容错计算机系统的一个冗余结点配置

ＦＴ－ＨＩＴ是我们自行研制的一个网络结点机。它采用三模冗余结构，具有容错计算和分布处理功能。本文以ＦＴ ＨＩＴ系统为背景，论述一种分布式容错计算机系统的结点配置技术，包括系统冗余级别的确定，互连结构的选择以及它的冗余管理技术等。     

车载ATP安全技术平台同步机制

车载ATP安全技术平台是基于三模冗余的三取二容错计算机。针对3套计算机系统的同步问题,基于采用公共外时钟同步与时钟漂移变化率有界结合的模型对本地时钟进行偏移和漂移补偿,实现系统本地时钟的同步。在此基础上,软件采用时序控制的方式实现三模系统的任务同步。多次实验结果表明,该同步机制能满足三取二容错计算机在同步技术上的要求。     

面向容错计算机的仲裁系统的设计与实现*

为了解决传统仲裁机制故障覆盖率和故障诊断成功率低的问题,针对容错计算机,提出了一种基于仲裁处理器的仲裁机制,并设计了仲裁系统和仲裁算法.其中仲裁处理器使用三模冗余系统和芯片级的容错设计技术,仲裁算法采用分级方式,同时采用自检测和心跳监测相结合的故障监测机制,有效地解决了单点故障和检测成功率低的问题.最后通过故障注入方式验证了仲裁系统的可用性.     

多机容错操作系统DFTOS的设计与实现

本文介绍了一个适于三模冗余容错计算机系统的系统管理软件ＤＦＴＯＳ，它是一个多机容错操作系统，具有分布处理和容错计算功能，并且与用户具有良好的接口关系，方便用户对系统的使用和开发。     

基于Transputer网络的进程迁移技术研究

进程迁移是分布式系统研究的重要内容，它对实现系统容错和负载平衡起到很重要的作用．本文描述了Ｔｒａｎｓｐｕｔｅｒ网络系统中进程迁移的设计思想、方法及技术实现．首先对所采用的硬件环境及整个容错并行操作系统的层次结构进行了介绍，然后对进程迁移所涉及的关键技术进行了详细讨论．该平台的建立为动态任务调度及容错处理等技术的进一步研究提供了强有力的支持．     

Continuous and high coverage self-testing of dynamically re-configurable systems

The authors present an architecture designed and implemented at the University of Sheffield as a part of a miniature 3D packaging project, TriMorph. This architecture is partially and dynamically re-configurable and the re-configuration technique, described in this paper, is based on the operation of the Unix operating system. This re-configuration technique is used to implement a continuous and high coverage self-test which can be transparent to the main application. The TriMorph architecture is a good testbench for a variety of ideas in the fields of video processing, dynamic testing or fault tolerant design. As an application, a standalone real-time video processing unit is presented.     

实现容错服务器同步的一种方法

对于采用三模冗余技术实现的容错服务器,容错功能的实现是以三个模块间的同步为基础的。本文分析了目前常用的同步点设置方法,基于对容错功能的透明性和实现难易程度的综合考虑,提出了直接在操作系统中设置同步点的方法。     

面向门级网表的VLSI三模冗余加固设计

航天器在宇宙空间易受粒子的影响而产生错误,三模冗余技术是一种有效的容错机制。但是,现有的三模冗余加固设计一般是一款芯片定制一套加固方案,无法做到通用性。提出一种功能无关的VLSI门级网表三模冗余加固通用设计方案。通过对时序器件和组合逻辑器件进行不同的加固设计,实现三模冗余。根据对不同的工艺库的识别与理解,本方案还进行了驱动能力优化等。通过将上述方案工具化,并利用已有的众核处理器网表进行实验评估,全局时序器件加固面积增加为原始网表面积的185%,局部时序器件加固面积增加为原网表的1%~80%,加固方案可按设计需求配置。实验数据表明,加固后的网表中关键路径的平均时延增加为22.15%~22.86%,在设计需求配置下,性能可满足用户要求。     

Distributed fault‐tolerant control design for spacecraft finite‐time attitude synchronization

This paper develops two distributed finite‐time fault‐tolerant control algorithms for attitude synchronization of multiple spacecraft with a dynamic virtual leader in the presence of modeling uncertainties, external disturbances, and actuator faults. The leader gives commands only to a subset of the followers, and the communication flow between followers is directed. By employing a novel distributed nonsingular fast terminal sliding mode and adaptive mechanism, a distributed finite‐time fault‐tolerant control law is proposed to guarantee all the follower spacecraft that finite‐time track a dynamic virtual leader. Then utilizing three distributed finite‐time sliding mode estimators, an estimator‐based distributed finite‐time fault‐tolerant control law is proposed using only the followers' estimates of the virtual leader. Both of them do not require online identification of the actuator faults and provide robustness, finite‐time convergence, fault‐tolerant, disturbance rejection, and high control precision. Finally, numerical simulations are presented to evaluate the theoretical results. Copyright © 2015 John Wiley & Sons, Ltd.     

基于分布式对象的软件开发模式探讨

本文对采用CORBA分布式对象技术开发油田应用软件的模式和开发方式进行探讨，通过分析分布式对象技术特点和油田开发应用环境状况，建立油田开发应用软件开发模式，并提出一种适合于油田开发的基于CORBA分布式对象技术的应用软件开发方式。     

基于IPv6的多传输模式

描述目前网络数据传输的特点,据此提出了一种全新的数据传输方式——基于Ipv6的多传输模式,并设计了具体的处理方式。分析其效率,将其与现有的传输方式进行比较,新的传输方式极大地提高了数据传输的效率。根据目标客户端的多少及路由器转发跳数的多少,该传输效率将提升1.36倍～2.76倍,从而有效地降低整个网络的数据流量。新的传输方式还可以应用于所有一对多或多对多的数据传输环境。     

Super－Object模型：在分布存储器多计算机上实现共享存储器程序设计模式

Ｓｕｐｅｒ－Ｏｂｊｅｃｔ模型提出了一种新的方法，在分布存储器多计算机上实现语言级虚拟共享存储器以支持共享存储器通信模式．Ｓｕｐｅｒ－Ｏｂｊｅｃｔ模型引入新的概念ｓｕｐｅｒ－ｏｂｊｅｃｔ，不同于其它模型，基于ｓｕｐｅｒ－ｏｂｊｅｃｔ，它提出了新的共享数据定位方法，全局地址标识（ｎａｍｅ，ｏｆｆ－ｓｅｔ）．Ｓｕｐｅｒ－Ｏｂｊｅｃｔ模型与Ｆｏｒｔｒａｎ７７结合，我们实现了一个运行时间系统和库调用，支持程序员使用Ｆｏｒｔｒａｎ语言编写并行程序，最后介绍了系统的实现和取得的性能．