故障容错和系统恢复论文_隗中霞

导读:本文包含了故障容错和系统恢复论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:故障,系统,冗余,重构,故障诊断,异常,计算机。

故障容错和系统恢复论文文献综述

隗中霞^[1]（2011）在《容错系统中故障诊断与故障恢复功能的建模》一文中研究指出容错计算机系统在发生硬件故障或存在软件错误的情况下仍能正确完成指定任务,它采用冗余技术来达到容忍故障的目的,应用于高可靠性系统中。Petri网是一种结构化的事件驱动系统描述工具,它能够充分地描述事件驱动系统局部及局部之间的联系。容错系统都是事件驱动的,因此Petri网能够捕捉容错系统事件的先后、并行、同步、冲突和因果依赖等特征,并以图的形式,简洁、直观的模拟容错系统功能模型流程,分析容错系统的动态性质。Exspect仿真软件适合于可应用Petri网理论来分析问题的领域,是协助Petri网分析问题和解决问题的良好工具。ExSpect软件具有图形化的模型编辑、类型检查和仿真等功能,它提供的一体化的工作平台,可模拟容错系统的运行环境,实现对容错系统功能模型的仿真。本文阐述了叁模冗余容错系统中的故障诊断和永久故障恢复功能模块的实现机制,建立基于Petri网的故障诊断和永久故障恢复功能模型,并用ExSpect软件对叁模冗余容错系统故障诊断和永久故障恢复的Petri网模型进行了仿真实现。本文的主要内容如下：(1)介绍了叁模冗余容错系统的体系结构和容错技术以及Petri网的原理、优点和分析方法,提出用Petri网分析叁模冗余容错系统功能模型是可行的。(2)从理论上阐述了基于Petri网的叁模冗余容错系统故障诊断与永久故障恢复模型,以此为依据建立和分析了叁模冗余容错系统故障诊断与永久故障恢复功能的Petri网模型。(3)运用Exspect仿真软件对容错系统的功能模型进行了仿真并分析了仿真结果,对基于Petri网的叁模冗余容错系统故障诊断模型和永久故障恢复模型的性能进行了有效验证。(本文来源于《湖北大学》期刊2011-05-18）

孙峻朝,杨孝宗^[2]（2001）在《一个多机容错系统MPFTS故障恢复的设计与实现》一文中研究指出本文介绍我们研制的一个多机容错系统MPFTS的故障恢复技术。首先对MPFTS的结构和工作过程进行了概要介绍。在此基础上,分析了该系统不同类型故障恢复的可能性、恢复时机的选择、恢复所要达到的目标等问题。文中详细讨论了利用异常中断返回技术实现系统故障恢复所涉及的数据结构及具体运行过程,并对上电升级重构这种特殊的故障恢复情况进行了分析。(本文来源于《计算机应用与软件》期刊2001年10期）

顾子天^[3]（1992）在《NMR容错系统的一种故障恢复方法》一文中研究指出本文结合一台TMR(Triple Modular Redundancy)容错系统及一台QMR(Quadruple Modular Redundancy)双—双机可重构容错系统,针对国内广泛应用的MCS—51、96系列微控制器,提出了一种在N模冗余(N modular redundancy)系统故障修复方案,并着重介绍了其中信息恢复方法.(本文来源于《镇江船舶学院学报》期刊1992年04期）

故障容错和系统恢复论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

本文介绍我们研制的一个多机容错系统MPFTS的故障恢复技术。首先对MPFTS的结构和工作过程进行了概要介绍。在此基础上,分析了该系统不同类型故障恢复的可能性、恢复时机的选择、恢复所要达到的目标等问题。文中详细讨论了利用异常中断返回技术实现系统故障恢复所涉及的数据结构及具体运行过程,并对上电升级重构这种特殊的故障恢复情况进行了分析。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。