一种高可用异构容错系统的混合可用性模型

为解决高可用异构容错系统的可用性评价问题,提出了一种针对高可用异构容错系统的混合可用性评价模型。设计实现异构容错原型系统,包括硬件体系结构框架及软件系统。采用Markov过程与随机Petri网相结合的方式,从可用性量化和系统状态转换两方面构建系统的可用性模型。根据该可用性模型估算系统的高可用指标,并与同构及非容错单机系统进行比较分析。结果表明,该可用性模型能够对异构容错系统进行准确的可用性评价,验证了系统5个9的高可用指标要求。最后总结了影响系统高可用性的主要因素及提升系统可用性的有效方法。     

剖析计算机的双系统启动

介绍硬盘分区的概念,分析几种分区的本质特征与区别,分析双系统的安装顺序和重要启动文件,介绍正确删除双系统的方法。     

计算机容错技术的研究与应用

介绍了容错技术的基本原理及内容,以及容错系统的经历阶段和实现容错功能的关键技术。总结了计算机容错技术在现阶段的应用情况。随着计算机技术的发展,容错技术和容错计算机将成为新的研究发展方向,将会出现初级的容错软件的设计方法,产生应用软件方面的容错设计工具,以及产生一个通用操作系统和硬件相结合的容错方法。     

基于高端容错计算机的故障日志分析系统

高端容错计算机性能评测中,故障库的建立对故障模型、故障传播的研究有着非常重要的意义。该文设计并实现了1个高端容错计算机故障日志分析系统,旨在对日志文件进行故障的抽取和格式化后,构建故障库,并在此基础上运用数据挖掘技术进行关联分析,使系统能够解析尽可能多类型的日志文件。给出了日志分析系统的架构、工作流程及具体实现,并利用该系统对CMU的公共计算机故障集进行统计分析,在其故障库基础上引入极值理论,建立故障分布模型。利用该日志分析系统可建立对高端容错计算机的故障库,从而为相关评测指标的计算、故障模型的建立等提供有效的数据依据。     

同时具有学习效应和恶化效应的机器可用限制性排序问题

针对单机和两台机器的平行机排序问题,建立了工件同时具有学习效应和恶化效应,机器有可用性限制的排序模型.考虑了目标函数为极小化总完工时间的单机、两台机器的同型机问题和两台机器的同类机问题.对于机器在任意时间进行维修的一般情况给出了动态规划算法,通过数值例子说明了算法的有效性,对机器在使用前进行维修的特殊情况给出了多项式算法.     

一种嵌入式二乘二取二容错计算机联锁系统设计

基于嵌入式系统理论和容错系统体系结构,结合故障-安全电路的设计理念,给出了一种嵌入式二乘二取二容错计算机联锁系统的硬件设计.深入阐述了系统硬件电路的设计理论依据和工作原理,同时给出了设计中的元件选型.通过功能测试,系统设计符合故障-安全的设计原则,理论计算表明,其可靠性、安全性达到铁路信号系统要求.     

一类具有执行器故障的马尔科夫跳跃系统容错控制

研究一类转移概率部分已知马尔科夫跳跃线性系统的自适应容错控制问题.所考虑的转移概率情况更具一般性,即转移概率包括完全已知,未知但已知转移概率的上下界和完全未知三种情况.针对执行器失效故障,首先设计自适应故障估计器;而后,基于故障参数的估计值设计鲁棒补偿控制器,保证系统在发生执行器故障时的鲁棒稳定性.在处理未知转移概率时,采用自由权重的方法,以保证所得线性矩阵不等式条件具有更小的保守性.最后,数值仿真算例验证了所提方法的有效性.     

不确定性连续系统是具有完整性的鲁棒容错控制器的设计：Ⅰ.？…

基于一个新的Ｒｉｃｃａｔｉ型方程的解，给出了不确定性连续系统针对执行器发生故障时具有完整性的一种新的鲁棒容错反馈设计方法，该方法简单易行，并用一个示例及仿真结果验证了该方法的有效性。     

一种具有SA预报能力的GPS KALMAN滤波器

对ＧＰＳ定位中的ＳＡ误差作了系统辨识。表明：ＳＡ误差可用时变ＡＲ（ｐ）模型表述，ＡＲ（ｐ）的时变参数可由ＲＬＳ算法结合Ｆ判据建立的ＡＲ（ｐ）模型辨识机获得。用该方法获得的模型对ＳＡ误差进行预报，在剔除野值后精度在１０ｍ之内。还提出了一种将以ＡＲ（ｐ）模型表述的ＳＡ误差加入ＧＰＳ ＫＡＬＭＡＮ滤波器的方法，可得到一种具有ＳＡ预报能力的ＧＰＳ ＫＡＬＭＡＮ滤波器。     

容错控制系统的探讨

对重构容错控制的设计方法从其原理、特征等方面作了叙述，并根据实际系统在计算机上进行了仿真实验。结果表明，故障容错系统有接近原正常系统的动态品质，实为一种提高控制系统可靠性的有效方法。     

具有保性能的容错控制

文章针对执行器故障,给出了一种具有保性能主动容错控制器的设计方法。这种控制器的设计方法是将问题转化为线性矩阵不等式(LMI)问题来解决的,利用MATLAB中LMI工具箱快速得到。该控制器设计方法既没有传统被动容错器保守性问题,也没有主动容错控制器在没有正确的故障检测和分离决策情况下稳定性的危险性问题。换言之,正确的故障检测和分离决策将进一步加强系统的优化性能。最后给出了仿真实例,仿真结果说明该方法是正确可靠的。     

工业控制计算机容错技术研究及应用

本文对计算机容错系统的理论基础、模型结构、组成方法作了详细的论述。研究了冗余容错的体系和分类。最后从工程实践的角度,为了满足三峡巨型发电机励磁调节控制的要求,成功地研制了一种高可靠智能型工业微机励磁调节器。     

具有容错机制的网格监控系统

提出了一种基于JMX实现远程监控的网格监控系统.重点论述具有容错机制的层次式系统架构的实现原理,系统采用模块化结构,通过备用管理节点的自动选择和实时在线启动实现容错机制.测试结果表明,可以减少单点故障造成的影响,提高系统的可靠性.     

Stratus容错服务器在电力营销系统中的应用研究

电力营销信息管理系统是电力公司的业务支撑系统,其服务器系统要求的高可靠性已成为制约电力营销系统实施的关键因素之一;针对传统Cluster集群服务器系统存在的可靠性不足问题,对美国Stratus容错服务器的性能作了深入的技术剖析,结合电力营销系统的特点,提出了基于Stratus容错服务器的高连续可用性的电力营销系统结构,剖析了该方案的经济技术优势;实施应用效果表明,该方案经济性好,可实现连续可用性.     

双计算机容错系统一致性断点释放算法的研究

针对国内目前的容错系统研究现状，选择多机系统中的特例－双机系统作为研究对象，在以一致性断点为最基本的容错机制的基础上，提出了能够获得断点释放算法，详细讨论了这种算法的基本策略及其改进方案．通过分析故障进程的影响，考察了相关进程的发散效应的特点，根据相关进程之间的通信关系来获得断点的最小集合，并用模拟的方法对该算法进行了验证及性能分析．证明了该算法的确能够有效地消除在断点保留过程中所形成的无效数据，释放存储空间．     

LAN 系统的故障容错及其排除方法

对ＬＡＮ网使用过程的常见故障以及操作系统容错技术进行了分析和总结,并提出了避免和解决问题的方法。     

一种具有溢出检测功能的容错乘法器

将剩余数系统算术和冗余二进制表示算术相结合，提出了一种并行实现乘法器的算法，这种算法不仅具有溢出检测功能，而且具有容错能力．另外，该算法是一种相互独立模块结构，因而便于ＶＬＳＩ阵列实现     

具有阶段结构和收获率的时滞捕食-食饵系统的稳定性研究

利用微分方程定性理论,研究了具有阶段结构和收获率的时滞捕食-食饵系统,分析了平衡点的存在性与局部稳定性,并且对系统在正平衡点保持稳定的时滞范围进行了估计.     

线性不确定系统的容错控制

利用H∞鲁棒控制的成果,对一类线性不确定系统提出了一种新的鲁棒容错控制器设计方法·当传感器和执行器在指定子集内发生故障且存在对象扰动和测量噪声情况下,不确定性具有范数有界时,通过构造确定性的辅助系统,求解HamiltonJacobi不等式(HJIs)的正定解,设计了容错鲁棒控制器·该控制器对传感器和执行器故障具有完整性,对扰动和不确定性具有鲁棒性,确保了闭环系统渐近稳定和H∞性能·结果表明该方法为解决一类线性不确定性系统的容错控制问题提供了一条新的途径·