一种新的软件容错方法及应用*

首次提出了一种基于数据流分析技术的软件容错新方法,简要地介绍了软件容错技术, 指出数据错是一切控制系统软件失效的根源与最终表现, 以及对数据采取强有力容错措施的必要性.深入地论述了数据流分析方法在软件容错中的应用, 得出了最小充分卷回定理与备查点数据范围定理, 从而解决了时间冗余容错途径中必须回答的两个基本问题.此外, 还给出了恢复块定义有效的充分条件.最后以电信系统为应用实例简要论述了这种新方法的实施策略.本文提出的方法在简单地扩展后可被广泛应用于各种容错软件的设计中.     

相异性软件组件选择算法设计

利用重用技术进行软件容错设计是改进软件可靠性快捷而有效的方法，该方法实现的关键是设计出一个能够从大量备选者中提取具有最大相异性定量值的软件组件，以构造软件版本的相异性组件选择算法，为此，给出了两个基于软件相异性参数来挑选软件组件的选择算法，分析、比较了不同参数与算法输出结果的关联关系。上述算法实现简单，较好地解决了容错设计过程中软件组件的选择问题。     

有关数据通讯中的软件容错技术

介绍在由多台单片计算机组成的无线电数据遥测系统中，为克服干扰的影响，使数据通讯能够正常进行，所采用的各种软件容错技术，并介绍和讨论程序设计的方法。     

网络系统中的容错设计

较全面地分析了网络系统中的容错设计的问题,提出了一系列有效提高系统容错能力的硬件措施与软件措施.     

基于响应系统的软件容错支撑系统及其仿真研究

首先提出将容错功能与实时功能相结合的响应系统概念及基于响应的软件容错支撑软件系统,其我一致命缺点即双重错误的基于一致性恢复块的软件容错方案,最后通过由４台微机构成的仿真系统验证了基于响应系统的软件容错支撑软件的可行性。     

8086双机容错系统的软件设计

双机容错系统软件主要包括容错管理软件和自检软件，该软件重点解决了程序回卷和对ＣＰＵ，ＲＡＭ，ＲＯＭ的自诊断等问题，通过与容错系统硬件配合完成检测，屏蔽，重试，诊断重构等容错过程。     

相异性软件组件选择算法设计

利用重用技术进行软件容错设计是改进软件可靠性快捷而有效的方法,该方法实现的关键是设计出一个能够从大量备选者中提取具有最大相异性定量值的软件组件,以构造软件版本的相异性组件选择算法,为此,给出了两个基于软件相异性参数来挑选软件组件的选择算法,分析、比较了不同参数与算法输出结果的关联关系.上述算法实现简单,较好地解决了容错设计过程中软件组件的选择问题.     

航天容错计算机系统的设计与实现

介绍了三模容错的高可靠性计算机的研制和实现，包括容错机结构，系统降级与升级，多重表决机制，同步通讯，系统管理软件等关键技术，这些技术具有重要的推广价值。     

计算机容错技术与应用

随着计算机应用的深入,系统的容错问题也日渐突出。本文分析了最新的计算机容错技术,讨论了在企业级容错的三个层次,在此基础上介绍基于Ｕｎｉｘ和ＷｉｎｄｏｗｓＮＴ平台的实施方案。     

CMM在我国的现状和发展

扼要介绍了软件能力成熟度模型，从实施和评估两方面陈述它在我国以及我省的现状和发展。研究了我国软件企业在实施过程中，碰到得问题。并就这些问题，提出了近一步提高我国软件开发组织的软件过程能力的建议。     

线控转向汽车直流电机的故障诊断与容错控制

针对线控转向汽车容错控制研究的需要,建立了线控转向系统的直流电机模型.根据电机模型,用最小二乘法离线辨识相应的参数值,再以自适应渐消卡尔曼滤波技术为基础,在线估计相应参数,通过二者的残差,实现电机的故障诊断与容错控制.并在以上的研究基础上,对提出的故障诊断与容错控制方法进行了实车试验验证,结果表明:该方法可应用于线控转...     

Web Services组合的容错方法

Web服务组合的可信性是Web服务研究中的一个重要方面,容错处理则是提高服务可信性的核心技术。针对Web服务的特点提出了Web服务组合的容错基本框架,并在此框架下提出了Web服务容错方法。最后通过实验验证了方法的可行性。     

分布式多层结构WEBGIS中实现负载平衡、容错能力的研究

在近年来的客户机／服务器（C／S和B／S）发展过程中，多层结构，分布式数据库技术的发展进步是其重要的特征之一，其中Microsoft的MTS技术、CORBA技术、Inprise的MIAS技术等便是其中的代表。作者在开发基于多层结构的分布式地图数据库系统中，通过比较以上技术和和实践，实现了系统的容错力与平衡负荷能力。本文主要介绍多层分布多系统中容错能力与平衡负荷能力的概念和运用Inprise提供的MIDAS技术的解决方案。     

基于模型的飞行控制软件测试用例的生成

采用虚拟原型技术Statemate工具,应用功能图建立飞行控制器的“自顶向下”的功能层次模型,应用状态图详细描述飞行控制软件的功能行为。通过仿真验证了飞行控制软件系统功能的正确性。在此基础上产生数据可靠、一致性好的实际飞行控制软件的测试用例,避免了人为产生测试用例的随意性与多样性。基于软件虚拟原型技术的软件验证与测试技术特别适合测试那些没有按此方法开发出来的嵌入式软件。     

机械故障诊断模拟实验系统的研制——监测系统的软件设计

故障诊断对于现代化大型机械的正常运转及经济效益有着极为重要的作用。为了方便机械故障诊断方面的科研实验,并辅助学院本科生及硕士的教学工作,培养学生综合实验的能力,研制了本旋转机械系统故障诊断的模拟系统。论文介绍了该系统监测部分软件的功能模块、设计原则、人机交互界面以及容错设计等,既可用于科研,也可用于教学实验。     

元数据驱动的可重用通信软件的设计

软件重用在降低软件开发成本、提高软件生产率以及提高软件可靠性方面有着巨大的潜力．在大多数程序设计语言中,严格的类型匹配是设计重用软件的最大障碍,重用应建立在抽象的数据类型之上．基于这一思想,文中介绍了元数据的概念和元数据的抽象方法,给出了基于元数据技术设计和实现的ＴＣＰ／ＩＰ通信软件程序．     

软件发展与社会进步

软件是赋能技术，渗透到人类社会活动的各个方面，软件的发展与社会的进步息息相关．文中对软件发展与社会进步的关系做一简要论述以后，着重讨论软件与经济发展以及软件与科学技术进步之间的关系，并扼要地阐述软件技术自身的发展概况及其特征．     

滑模观测器在水下机器人推力器故障诊断中的应用

水下机器人运行在未知复杂的海洋环境下,一旦发生事故就可能造成巨大的财产损失,这就要求水下机器人具有应付突发事件的能力,即自动故障诊断和实现容错控制的能力．将滑模观测器应用于水下机器人推力器故障诊断,通过滑模观测器输出与实际传感器的输出构造残差信号．从残差中提取故障信息,实现推力器故障的检测与分离．提出采用模糊诊断方法分析残差信号,克服了阈值判断法误报率高的弱点．仿真结果表明,提出的方法可以区分系统的状态变化和状态异常,能有效诊断出哪一个推力器发生故障以及故障发生的时刻．该方法为水下机器人执行器的故障诊断提供了一种可选方案。