一种实用的自恢复系统

在工业计算机系统中,有时由于某种因素的干扰使工作着的计算机出现某种混乱。怎样使系统运用自身的力量恢复其正常运行呢?这个问题对于一个实际系统的正常运行是至关重要的。本文以“平顶山全微机系统”的转接站为实际背景从软件容错的角度出发,分析并阐述了系统自恢复软件的设计思想以及设计技巧。这些思想和技巧既实用又新颖,具有很强的通用性。     

软件双冗余容错系统的容错能力和性能分析

双冗余是比较常用的冗余容错设计方法.软件双冗余容错系统通过冗余执行完成相同功能的两个软件副本,并检查它们的结果,根据两者结果是否一致来判断是否出现了错误.建立了软件双冗余容错系统的运行时模型,并引入了软件双冗余容错系统的容错能力的概念.根据该模型分析了单个软件副本的容错能力对软件双冗余容错系统的容错能力和性能的影响.分析结果显示,提高单个软件副本的容错能力不仅能够提高软件双冗余容错系统的容错能力,还能够提高系统的性能.但在极端情况下,双冗余容错系统的容错能力也可能会小于单个软件副本的容错能力.     

自调节软件

This paper introduces a new concept——Self-tuning software which has just been put forward recently abroad. It also surveys the development of the new thing.     

冗余机器人系统的自运动控制

研究冗余机器人系统的自运动控制问题，给出一种非连续切换控制算法。该算法可以在保持机器人手端任务向量不变的情况下，使关节构形收敛到期望位置。与以往的算法相比，所提出的算法可以跳出局部最小点，并使关节收敛到期望构形。对三杆平面机器人系统进行的计算机仿真证实了算法的有效性。     

CMM自评估系统辅助软件功能设计

详细地介绍了用于CMM对组织进行自评估的辅助软件功能设计的系统，其中包括系统的主要功能的设计，评估的方式和流程，它作为组织进行软件过程改进的一种手段，在实际的工作中是非常有效的，对软件企业考察组织的现状提供了帮助，仅供参考。     

微型计算机系统软硬件的维护与修理

从软件和硬件两方面论述了微型计算机系统故障的维修方法 。     

战术导弹上计算机自诊断软件的研究

本文扼要分析了战术导弹上计算机自诊断软件的总体轮廓,对于一些重要芯片、部件的诊断程序,给出了设计准则和具体方法。文章还对接口界面、监控程序在诊断中的作用进行了讨论。对于设计编写弹上计算机的诊断软件,本文具有一定参考价值。     

单片微机测控系统软件的容错设计

重点对单片微机测控系统软件容错的设计方法和技术进行讨论。主要方法有：堆栈溢出及中断冲突的预防，软件算法及软件运行的容错，重要信息的保护恢复与纠错，重要模块的安全措施，严格控制状态转移条件，软件标志位的正确使用等。     

单片微机测控系统软件的容错设计

重点对单片微机测控系统软件容错的设计方法和技术进行讨论。主要方法有堆栈溢出及中断冲突的预防,软件算法及软件运行的容错,重要信息的保护恢复与纠错,重要模块的安全措施,严格控制状态转移条件,软件标志位的正确使用等。     

软件容错问题的计算机处理

本文提出一种软件容错技术－－反客为主法。主要讨论了此方法的形式化描述和在程序设计中的应用。     

嵌入式多任务软件混合自容错机制

分析安全关键应用对嵌入式系统自容错能力的需求,进而研究嵌入式系统中关键任务状态的形式化描述方法及任务故障的自监测机制。在此基础上,提出一种基于策略的嵌入式多任务软件混合自容错机制。在该机制中,软件系统在监测各任务实体运行时状态的基础上,可依据不同方法对故障任务进行自恢复处理,并尽量保证系统主要功能的可靠性与稳定性。实验结果表明,该机制有助于从嵌入式软件方面提高嵌入式系统的可靠运行能力。     

水轮机计算机测试系统主程序软件研制

研制的水轮计算机系统主程序软件，按其功能分为工具模块，通用模块及专用模块三部分。工具模块是编制通用模块及和模块的基础，它的水平影响到通用模块及专用模块的水平，必须高度重视，通用模块是各个测试系统软件中具有通用功能的模块，专用模块是为完成测试系统的某一特殊功能设计的模块。     

容错软件生成系统─FTSGS

在软件开发过程中采用避错设计、查错设计和容错设计技术是提高软件可靠性的基本途径。这里介绍了一种采用多个软件模块自动生成技术进行可靠性设计的系统。其主要功能是定义软件开发过程,指导、控制以使软件开发自动化。其目标是提供一个基于面向对象方法学的、高可靠性的软件开发平台。     

软件容错：技术与展望

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始，介绍设计多样性和数据多样性；然后介绍主流的软件容错新技术，如重配置与重恢复、指令复制错误探测、SWIFT等，同时，站在软件容错用于处理嵌入式系统硬件暂态故障的角度对这些技术进行了分析；最后在对它们比较的基础上探讨软件容错技术的可能发展方
向。     

基于软件的故障诊断与系统重构方法

本文提出了一种不使用传统的核心硬件（硬件表决器）,而是用软件的方法实现 载计算机故障诊断与系统重构的方法,为实现这一目的,硬件系统采用多处理机／多总线的体系结构,软件系统采用基于五个层次一致的支撑环境软件系统,为了保证资源的有效利用,管一系列不是根据一次检测结果直接进行故障诊断与系统重构,而是次多次检测出来的错误记入错误记录表中,根据错误记录表的内容进行局部诊断,基于局部诊断结果再进行全局诊断,基     

智能热值测量系统测控软件的容错设计

热值测量具有重要意义。因此,智能热值测量系统的研制是很有必要的。本文介绍智能热值测量系统中测控软件的容错设计,从而提高了系统的容错性。