基于三模容错计算机系统的同步策略

同步是冗余容错计算机的关键，本文叙述某航天容错计算机系统采用的上电同步及软件任务级同步：开机同步、任务调度同步、三机表决同步、机间恢复同步等策略，解决了三模容错计算机系统容错工作方式中的机间同步问题。

红外目标/背景仿真计算机接口控制系统

介绍了红外目标/背景仿真的计算机接口控制系统,对总体、硬件及软件作了描述。

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

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

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

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

探测小卫星的星载计算机多级保护系统设计

一般对星载计算机都要求可靠性高，重量轻，体积小，功耗低．对小型探测卫星来说这种要求更强烈，希望硬件设计尽量少用或不用冗余系统来保证可靠性．本文研究尽量少采用硬件冗余而采用看门狗措施来保证星载系统可靠性的方法．看门狗分为软件看门狗和硬件看门狗，分别设在星载机不同位置．根据故障时间的长短，不同看门狗启动不同级别的保护措施．系统采用先处理软件故障，后处理硬件故障，保护级别逐步升级策略可以对单粒子翻转等原因产生的处理器错误和存储器故障采取措施，恢复正常．本文首先提出星载计算机五级保护策略和各保护级别的启动条件，其次对各种看门狗进行设计，最后通过仿真实验来证明这种方案的可行性．

面向半实物仿真的多计算机系统

本文介绍了半实物红外目标／仿真系统的组成原理及计算机体系结构。

三模冗余计算机FT-HIT系统设计与实现

文中论述了作者自行研制的航天容错计算机ＦＴ－ＨＩＴ系统的设计与实现技术．ＦＴ－ＨＩＴ系统采用系统级三模冗余结构和主要由软件实现容错的冗余管理模式，具有对关键任务的容错计算和对非关键任务的分布处理功能．

基于看门狗的星载计算机五级保护系统设计

小卫星要求星载计算机可靠性高、重量轻、体积小、功耗低。针对探测小卫星（ Ｓ Ｅ Ｓ） 的特殊性，我们设计了用８０３８６ 芯片作处理器的星载计算机（ Ｓ Ｃ Ｓ） 系统。由于 Ｓ Ｃ Ｓ 的设计尽量少用硬件冗余，我们采用多级看门狗电路保证星载系统的可靠性，看门狗也用最少的硬件及软件实现。看门狗提供了五级保护措施，根据故障严重程度，保护级别逐步升级。在处理器或存储器出现软、硬件故障后，包括出现单粒子翻转（ Ｓ Ｅ Ｕ） 或死锁现象后，不同看门狗启动不同保护措施，使系统恢复正常。

三模冗余容错计算机通讯系统的设计与实现

介绍了对于通讯系统的三模冗余计算机系统的设计方法。

中文计算机辅助校对系统原理

文字校对是报刊、图书出版工作中的一个重要环节,其任务是根据原稿核对校样、订正差错,以保证出版物的质量。校对通常分为几个校次(毛校、初校、二校、三校、校红等),每一校次又包括校样打印、纸上校对、重新录入等步骤。

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

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

计算机系统开发中的可信性评价概述

本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。

HT-1关节型四足机器人的计算机分层系统结构

提出HT-1关节型四足机器人的计算机分层系统结构方案。第一层是开发层,用来开发四足机器人步态控制软件以及步态仿真系统;第二层是执行层,用来对四足机器人各关节进行并行控制,使机器人仅在执行层控制下行走。这对四足机器人专用计算机减轻重量,小型化具有重要意义。

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

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

计算机自动组卷算法分析

本文分析了计算机自动组卷算法的约束满足特性，并结合一个实际的题库管理系统的设计与实现，从策略上讨论了如何解决自动组卷算法中约束满足问题。

可重构计算和可重构计算机技术

现代的国防、科研及社会的很多方面都需要大量的计算,尤其是国防工业对计算的要求更为严格,为国防工业设计的计算机必须速度快、适应性强、可靠性高[l1。然而,现有的计算机不能高速地处理多种应用、达到高效率,究其主要原因是计算机与应用算法的不匹配[z]。

模块级可重构计算机HIT－FTC2的冗余管理

本文介绍了模块级可重构计算机ＨＩＴ－ＦＴＣ２的冗余管理技术，包括：故障检测，故障屏蔽，故障隔离，系统重构与故障恢复等技术。

统计与规则相结合的计算机音字相互转换技术

本文介绍了一种利用马尔克夫统计文法和自然语言理解技术相结合的计算语言模型进行汉语音节到汉字的机器自动相互转换技术。该技术集成了统计文法和句法分析方法各自的优点,可以实用于计算机大规模真实文本的音字相互转换,并且具有处理语言深度递归现象和远距离约束关系的能力。通过对从两千万语料随机抽取的一百六十万平衡语料的测试表明,音字转换正确率为带声调94.77％,无声调89.05％,字音转换正确率为99％。此项技术已被应用到大词表非特定人孤立词语音识别系统和中文WINDOWS95、WINDOS NT的智能语句输入法上。

数字化战场与可穿戴计算机

简述了数字化战场的提出及发展过程，分析了数字化战场给参战人员带来的影响，指出了实现数字化战场所需解决的主要问题和关键技术。最后针对数字化战场的重要组成部分单兵数字系统提出了我们的解决方案：可穿戴计算机。

计算机网络发展新动向——智能网络开发研究

本文综述计算机网络发展的新动向-智能网络开发研究。确切地说,本文是以中日两国学者自1983年以来进行国际合作,共同开发研究智能网络这一高技术课题为持支环境,并在中日双方经过多次交流与总结成果的基础上,论述智能网络的发展过程,基本概念,定义与分类,系统结构与体系结构的开发及其展望等问题。