求多总线系统容错度的多项式时间算法

求多总线系统容错度的多项式时间算法陈四清，周六丁（重庆大学计算机科学系重庆６３００４４）ＰＯＬＹＮＯＭＩＡＬ－ＴＩＭＥＡＬＧＯＲＩＴＨＭＳＦＯＲＤＥＴＥＲＭＩＮＡＴＩＮＧＴＨＥＦＡＵＬＴ－ＴＯＬＥＲＡＮＣＥＤＥＧＲＥＥＯＦＭＵＬＴＩＢＵＳＳＹＳＴＥＭ...     

容错计算机技术

一、ＰＣ机容错技术思想简介：ＴｅｘａｓＭｉｃｒｏ公司推出的容错系统体系结构ＦＡＵＬＴＴＯＬＥＲＡＮＴＳＹＳＴＥＭＡＲＣＨＩＴＥＣＴＵＲＥ（ＦＴＳＡ～（ＴＭ））首次在基于ＤＯＳ的ＰＣ机上，全面提供了最大的数据保护性和较高的系统可用性及容错能力。容错能力的实现是针对ＤＯＳ操作系统和工业标准结构（ＩＳＡ）本身固有的薄弱点，在基本输入／输出系统（ＢＩＯＳ）一级上利用综合控制的思想着手解决的。在我们开始讨论容错问题之前，先对“容错”这一术语给予定义。容错是指一个系统在运行中其任何一个子系统发生故障时，系统…     

容错多总线多处理机网络的设计

容错多总线多处理机网络的设计李春明（内蒙古工业大学电气工程系呼和浩特０１００６２）孙雨耕（天津大学电力与自动化工程系天津３０００７２）ＴＨＥＤＥＳＩＧＮＯＦＦＡＵＬＴ－ＴＯＬＥＲＡＮＴＭＵＬＴＩＢＵＳＭＵＬＴＩＰＲＯＣＥＳＳＯＲＩＮＴＥＲＣＯＮＮＥＣ...     

容错型令牌总线网性能估计算法

容错型令牌总线网性能估计算法李忠勇，李人厚（西安交通大学自动化系西安７１００４９）ＡＰＥＲＦＯＲＭＡＮＣＥＥＶＡＬＵＡＴＩＯＮＡＬＧＯＲＩＴＨＭＯＦＦＡＵＬＴ－ＴＯＬＥＲＡＮＴＴＯＫＥＮＢＵＳＮＥＴＷＯＲＫ￥ＬｉＺｈｏｎｇｙｏｎｇａｎｄＬｉＲｅｎｈｏ...     

基于MCS8098的容错计算机系统

介绍一台采用硬件冗余组成的ＴＭＲ－ＢＩＴＥ结构的高可靠性容错计算机系统－ＳＣＦＴ－９８的系统设计，系统中三模采用各自独立的时钟，实现系统的任务级同步；采用模块化设计，系统能自动诊断、定位故障，并具有逐步降级的能力。     

计算机控制系统的容错技术

计算机控制系统的可靠性设计是实现柔性智能控制所面临的一个重要课题，而容错技术是系统可靠性设计的关键技术。本文在分析计算机系统可靠性设计的基础上，综述了容错技术的发展、研究的主要内容及实现的主要方法，对常用的几种容错结构进行了比较和评价。指出了对计算机系统进行容错设计必须解决的主要问题。     

用软件实现的故障注入工具评估错误检测机制

故障注入是容错计算机系统可靠性评估的征要手段,本文介绍了软件实现的故障注入工具ＳＯＢＦＩ设计与实现,用ＳＯＢＦＩ对ＲＳ６０００工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估,结果表明,在非容错商用计算机系统中加入简单折软件实现的错误检测机制,也呆以达到很高的错误检测覆盖率。     

分布式容错系统ECI—DFTS的设计与实现

详细介绍了由普通微机和双局域网构成的分布式容错系统ＥＣＩ－ＤＦＴＳ的设计与实现技术。     

软件考试中的CASL汇编语言及其程序设计

全国计算机软件专业技术资格和水平考试中高级程序员级必须掌握的专用汇编语言是ＣＡＳＬ汇编语言。ＣＡＳＬ汇编语言是 ＣＯＭＥＴ模型机的汇编语言,其指令系统简洁精巧,具有足够强的功能,适用于考试,便于阅卷评分。１ＣＯＭＥＴ的硬件结构 ＣＯＭＥＴ是一台字长为 １６位的定点计算机,主存储器按字编址,存储容量为６５５３６个字,地址范围为００００－ＦＦＦＦ（十六进制）。 ＣＯＭＥＴ有５个１６位通用寄存器ＧＲＯ、ＧＲ１、ＧＲ２、ＧＲ３、ＧＲ４,其中ＧＲ１、ＧＲ２、ＧＲ３、ＧＲ４兼作变址寄存器（ＸＲ）, ＧＲ４还兼作…     

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

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

面向在线事务处理的容错计算机系统实例分析

本文分析了几个既可用作在线事务处理，又可用作计算机网络中宿主计算机的容错计算机系统的典型实例，分析的重点是体系结构、组成、系统软件以及同计算机网络通信接口等方面的容错特性。这些典型机器对于要求高可用的面向在线事务处理计算机与计算机通信网络（计算机网络）的容错设计具有良好的参考价值。     

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

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

一种容错系统可靠性分析方法

传统的故障树分析（Fault Tree Analysis,简称FTA）方法是一种基于静态逻辑或静态故障机理的方法,但这种方法对容错系统的可靠性分析已不适用。引入一种新的逻辑门,应用动态故障树分析技术,是解决容错系统的可靠性分析问题的一种有效途径。本文在故障树模型中引入了一种带有公用备件的热备件逻辑门,并给出了这种逻辑门转化为为马尔可夫链的方法。这种具有动态特性的逻辑门引入后所形成的动态故障树模型,扩展了传统故障树对容错系统可靠性分析的适用性。文章以某装备的电子设备系统为例,给出了用这种方法建立的动态故障树模型及其计算系统可靠度的方法和分析结果。     

双模容错计算机的设计与实现

高可靠性的计算机应用环境需要计算机具备容错功能,并要求采用高等级的处理器芯片。该文以高等级的Power PC处理器PC8245为基础,以FPGA为核心,设计双模容错的计算机。由于应用空间限制,该计算机采用了分布式冗余仲裁结构,仲裁逻辑同时运行在主计算机和备份计算机的FPGA中。分析了分布式冗余仲裁算法的有限状态机,论述了通信接口的冗余控制机制。     

网络服务器的容错产品实例分析

本文重点分析了网络服务器的若干个容错产品的体系结构和组成等方面的容错机制。它们对于计算机网络中网络服务器、主机和通信节点机的容错设计都具有良好的参考价值。     

容错前置处理机和网络交换机实例分析

本文重点分析了分别用作计算机网络通信节点机的前置处理机和网络交换机的两个容错计算机的体系结构和组成等方面的容错特性。这些典型范例对于计算机通信网（计算机网络）中网络通信节点机的容错设计具有良好的参考价值。     

神经网络在容错系统可靠性分析中的应用

由于神经网络具有大规模并行、集团运算等特点,以及强大的自适应、自学习、容错和推广能力,从而使神经网络在可靠性工程的许多领域得到应用,本文将循环前馈神经网络应用到容错系统的可靠性分析中,达到了简化容错系统可靠性分析与设计的目的。并且,由于神经网络具有的学习与自适应的功能,使它在分析较为复杂的容错系统的可靠
靠性时,具有更强的竞争力。     

程控电话交换系统中的容错计算机实例分析

重点分析了六个用于典型程序控制电话（电子）交换机系统的容错计算机的体系结构和组成等方面的容错特性，这些典型的计算机或交换机系统分别是ESS系统、DEX系统（D10型）、AXE系统、UDET7116处理机、ERICA计算机系统和D70型数字交换系统。它们对于公共电话网络和基于交换的计算机通信网（计算机网络）的容错设计具有良好的参考价值。     

Active fault tolerant control for switched positive linear systems

The main aim of this paper is to design an active fault tolerant controller for switched positive linear systems. A theorem is proved for fault and state estimation of switched positive linear systems in terms of matrix inequality by considering average dwell‐time approach. By utilizing the theorem results, not only a fast and exact estimation of fault and state is obtained but also the positivity of state estimation is ensured. The feasibility problem is solved by formulating it into a special sequential optimization problem subject to LMI constraints. Based on the fault estimation information, an observer‐based fault tolerant control guaranties the stability and positivity of the closed‐loop system. Finally, a practical example including a data communication network is presented to illustrate the efficiency of the proposed method.     

面向应用级的双机容错系统的设计与实现

市场上存在的一些双机热备份容错系统由于系统监测容错软件本身存在出错的可能性，使得双机热备份系统的可靠性和安全性受到威胁。该文设计并实现的基于代理监测的双机热备份系统，由于容错软件采用4个互相监测和控制的并发进程的结构，解决了由于容错软件本身不稳定带来的安全隐患。