基于冗余的软件容错技术研究

来源 :武汉大学 | 被引量 : 0次 | 上传用户:Chinaxfhl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可靠性是软件的重要质量指标之一,软件容错技术是软件可靠性技术中非常重要的一项.软件容错技术包括很多方面的技术,主要有故障检测、故障恢复、冗余技术等.该文主要对基于冗余的软件容错技术进行了研究,并对以结构冗余为基础的两种典型软件容错结构进行了分析.在对软件容错结构NVP进行改进的基础上,提出了一种新的软件容错结构:多版本阶段编程结构,NVPP.
其他文献
监控视频中的异常行为检测与目标跟踪是模式识别领域长期以来的研究热点之一。近年来,随着各种视频监控设备的日益普及,现有检测与跟踪算法的性能已有了长足进步。但是,由于
在目前广泛应用决策支持系统的企业中,大规模流水线型生产企业是其中重要的一类.而这类企业的决策支持系统中最核心的一环就是分规格成本核算.由于很多国有企业保留着传统的
该文对航天型号软件配置管理的理论、技术和工具进行了研究.首先作者针对中国航天型号软件的特点进行了综合调研,完成了型号软件配置管理工具的需求分析工作,接下来进行了由
该文对软件静态分析技术进行了深入的研究,分析了软件静态分析技术的起源和发展,特别讨论了手工静态分析技术与计算机自动静态分析技术的不同特点和关系,对静态分析技术的发
绘制技术是将几何模型转变成人们视觉上清晰直观图像的手段,它的研究内容非常广泛,该文主要集中研究如下三个方面:一、辐射度技术及其工程应用,辐射度技术是全局光照的主要算
随着Internet技术的成熟和计算机应用的广泛深入,越来越多的企业选择通过互联网进行产品的宣传和介绍。目前,常见的作法是在一些知名的网站运用它们已设计好的固定模式来进行产
该文首先阐述了基于CSCW技术的协同创作系统CAS的特点,并通过比较目前CAS并发机制几种常用的方法,选用了实现复杂度较小的加锁方法.针对目前加锁法较难解决的封锁粒度选择问
该文主要研究了数学内容的MathML表现形式的标记表示和识别.第一,实现了数学内容到其MathML代码的自动转换输出,并生成其对应的XHTML文件的数学内容处理系统MMPS(Mathematica
该文建立了一个用于指导相异性设计的系统管理模型框架,并对模型框架中与相异性设计紧密相关的三个关键模型问题作了进一步研究,模型包括相异性模型、设计方法模型和过程活动
该文从新特征挖掘、特征鲁棒处理、与识别基元集相关的特征选取三个方面研究适合鲁棒语言识别的声学特征提取与处理方法,主要的研究工作包括:(1)提出了基于最小分类错误的特