容错计算机技术中的几个新概念

本文提出了容错计算机中的系统资源概念，给出了容错系统的容错裕度，错误容量，容错度和容错效率的定义，建立起系统可靠度，容错度和容错效率的关系，运用这些关系可方便地对系统可靠性参数进行取舍，指导系统设计。     

分布、实时、容错一体化设计方法研究

针对分布式航天器系统的运行环境和特点，对嵌入式系统在空间环境、实时、容错、分布上的需求进行了分析，提出了分布、实时、容错一体化的嵌入式系统设计方法，从满足实时要求下的实时容错能力、免疫与自愈相结合的综合容错能力、单节点的容错与节点间容错相结合的分布容错能力和多种容错方法集成等4个方面，对设计方法进行了阐述。     

分布式计算集群容错系统的设计与实现

为了提高分布式计算集群系统的可靠性，增强系统的容错能力，使系统在局部出错的情况下仍能稳定正常运行，建立了一个容错系统模型，该模型采用两级容错机制即节点级容错和任务级容错。此模型为分布式计算集群系统下的容错的进一步研究建立了基础。     

结合容错攻击和内存区域统计的ASLR绕过方法

ASLR是防御漏洞攻击的重要保护机制，而容错攻击是绕过ASLR的主要方法之一，即利用容错机制重复尝试搜索内存中的敏感信息。针对目前容错攻击的搜索算法耗时长导致实用性不强的问题，提出了一种结合容错攻击和内存区域统计的ASLR绕过方法。通过软件逆向深入分析容错攻击的原理，包括操作系统和浏览器等软件的容错机制内部实现和容错攻击实现方法；分析进程内存空间分布，统计不同区域的系统DLL分布的平均比例，选定最大概率内存区域搜索DLL并定位关键基址，从而绕过ASLR保护，实验结果证明该方法相对现有方法极大缩短了平均耗时和最大耗时，提高了容错攻击的实用性；探讨了容错攻击更多的应用前景。     

Ada异常处理机制在容错可重用部件中的应用

软件容错是提高软件可靠性的重要手段，可重用软部件必须提供软件容错的措施，本文将Ａｄａ提供的异常处理机制作为容错的工具，分析了用这种工具实现多版本程序设计、恢复块技术和防卫式程序设计等容错技术的途径，介绍了在可重用部件中构造异常处理程序直接实现软件容错的方法，最后还讨论了异常处理机制在容错软件中的应用准则。     

基于CORBA消息服务的容错机制研究

CORBA逐渐成为面向对象分布式应用中间件的主要标准，但是CORBA当前没有为容错提供相应的机制，该文在比较各种容错方法的基础上，讨论了一种基于异步消息服务回调和查询模型的容错方法，该方法使服务对象的副本可以并行地处理客户请求，提高了容错的性能，该方法具有对服务对象透明，可以满足用户不同容错要求等特点，文中还给出了这种方法在为遗留应用增加容错能力时的应用实例。     

协同系统中可扩展的动态容错模型研究及实现

针对协同系统的特点以及其对可靠性、实时性和性能等方面的要求，提出了一种可扩展的动态容错模型xDFT（Extensible Dynamic Fault Tolerance Model，xDFT）．本容错模型将容错支持结构和容错机制结合在一起：在本模型中首先定义了一种可扩展的、动态容错支撑结构；基于此，提出了一种容错机制．xDFT模型能够根据系统负载状况设定服务节点的负载阈值，改变服务冗余度，不仅提高了服务效率，而且以一种简单有效的方式实现了负载平衡．     

铁路信号计算机联锁控制系统容错技术研究

容错技术是保证安全性和可靠性的关键手段之一。本文介绍了铁路信号系统中常用的容错技术及其原理，然后介绍了自行研制开发的基于RTLinux的容错计算机联锁控制系统，并且详细讨论了系统的容错技术实现方法。     

多微机实时控制系统的容错技术

文章介绍了容错技术的概念和意义，说明了在多微机实时控制系统中容错技术应用的重要性，并介绍了几种容错设计的方法。     

基于COTS的容错服务器及其故障恢复技术

通过融合COTS技术和传统容错技术设计实现了一种高性能、高可靠的容错服务器，该服务器基于成熟的软硬件，开放性好，容错对用户透明，成本低，扩展能力强。该文详细介绍了服务器的体系结构、工作模型、容错机制及其前向故障恢复技术。     

软件容错技术初探

对软件容错中的时间容错和信息容错作了介绍，并探讨了软件容错技术的两种典型结构模型：恢复模块法和Ｎ重版本程序结构。对以上两种方法的可靠性进行了分析。     

双微机型调速器电液控制系统的容错技术研究

研究了双微机型调速器电液控制系统的容错控制技术，分析了硬件重组、控制律重构和信号重构3种容错方法，理论分析和试验结果表明；容错控制可以进一步提高系统的可靠性。     

TMR计算机系统分布与容错工作方式间的切换

ＦＴ－ＨＩＴ是我们自行研制的三模冗余航天容错计算机。系统采用硬件三模冗余结构和主要由软件实现容错的冗余管理模式，具有容错计算和分布处理两种工作方式，保证了航天容错计算机的高可靠性和强大的处理能力。本文主要论述其容错和分布两种工作方式间的切换机理并给出具体的实现算法，算法对于一     

组合事务块及其在C语言和FOXPRO中的实现

高级程序设计语言（如Ｃ语言）和数据库系统的嵌套使用，作为一种有效的数据操纵和管理结构，目前在传统的离线或在线事务处理系统，以及智能控制系统中得到了广泛应用．这些应用的特点之一是要求系统具有很高的可靠性．文中提出了一种称为组合事务块的新颖容错原语，详细论述了它在Ｃ语言和ＦＯＸＰＲＯ中的实现方案．本质上，组合事务块是一种将数据容错、程序容错及算法容错结合起来的混合容错机制．文中还分析了组合事务块在冗余处理机上的执行时间，并用软件实验验证了它的容错特性．     

基于Petri网的交互式双机容错模型

传统的服务器容错模型大多采用复制和冗余机制，给系统造成大量垃圾．本文分析了数据库的体系结构，给出一个具有三层交互式的Petri网容错模型．实现了客错机制和容错策略的分离，体现了系统的动态特性．     

双机容错热备系统综述

本文介绍了双机容错热备系统的概念，给出了实现双机容错热备系统的软、硬件需求，综述了常见的几种双机容错热备系统的工作模式，最后，给出了双机容错热备系统在微机网上的应用前景。     

设备故障容错控制专家系统及应用

本文将故障诊断与容错技术相结合，设计了一种对设备故障能进行自动监测、诊断和容错控制的专家系统。重点介绍该专家系统的结构特点，知识获取和组织，故障容错控制策略及实现方法。最后给出了一个应用实例。     

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

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

基于可进化硬件的容错技术及其原理

可进化硬件客错技术是一种模仿生物进化过程的容错方法。随着进化算法的发展和可编程器件的应用，现已成为世界各国容错计算技术领域新的研究方向。可进化硬件容错技术不是采用传统的静态冗余技术实现容错，而是利用可进化硬件本身固有的特性实现客错。本文重点论述了可进化硬件技术的两个基本要素，即进化算法和可编程器件；并分析了可进化硬件的容错原理和实现方法。     

执行器故障时变系统的PID迭代容错控制

对存在执行器故障的连续线性时变系统，给出了PID型迭代学习容错控制律的收敛条件。对连续时变故障系统设计了一种PID迭代学习容错控制律，在[λ]范数意义下给出了故障系统PID型迭代容错控制器收敛的充要条件；基于Schur补原理和不等式变换，将容错控制器收敛条件转换成线性矩阵不等式，当迭代学习收敛速度设定时，基于线性矩阵不等式能快速确定最优迭代控制增益，避免了迭代控制增益设置的盲目性。旋转控制系统的数值仿真，验证了PID迭代容错控制器优良的容错性能和跟踪性能。