基于AOP的系统容错研究

系统容错需要在提供业务逻辑服务的基础上,透明地实现容错的需求．而要透明地实现容错,需要解决冗余资源的确定和管理,失效的检测以及失效的恢复．这些容错需求又将和系统业务逻辑纠缠在一起．所以,如何将系统业务逻辑和容错需求有效地编织在一起,使得系统能以高效、透明的容错能力为用户提供业务逻辑服务,一直是容错系统开发研究所关注的核心问题．AOP的出现,正好为解决容错系统将容错需求与业务逻辑的合理编织问题提供了一种有效的解决途径．本文正是在AOP方法的基础上,利用AOP方法将容错系统的各种业务逻辑定义为核心关注点,而将容错需求定义为不同的横切关注点,进而以不同的方面加以实现,最后以这些方面将业务逻辑有效地编织起来,从而既达成了系统业务逻辑,又满足了透明的容错需求．     

对一类不确定时滞线性系统的鲁棒容错控制研究

通过对线性时滞系统及参数不确定时滞系统的容错控制问题进行讨论,利用Riccati方程和Lyapunov稳定性定理,对此类模型的容错控制问题进行研究,并给出各种故障模式相应的容错条件     

容错推理的逻辑基础

容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。     

Delta算子系统D稳定鲁棒容错控制

研究了Delta算子描述的线性系统基于圆形区域极点配置的鲁棒容错控制(定义作D稳定鲁棒容错控制)问题·利用线性矩阵不等式,给出了Delta算子描述的标称线性系统通过状态反馈实现D稳定容错控制的两个充分条件和D稳定容错控制器的设计方法·利用代数Riccati方程,给出了Delta算子描述的不确定线性系统D稳定鲁棒容错控制的充分条件和D稳定鲁棒容错控制器的设计方法·将连续与离散系统有关该问题的结果统一到了Delta算子框架中·     

利用冗余技术提高软件容错能力

针对于软件的容错问题，提出了利用冗余技术解决容错问题的思想和方案，对于软件开发具有实际意义。     

现代控制系统中计算机的容错问题

本文通过对计算机避错、容错技术的论述，探讨了现代控制系统中的计算机容错问题．     

现代控制系统中计算机的容错问题

本文通过对计算机避错、容错技术的论述，探讨了现代控制系统中的计算机容错问题。     

基于约束软化的满意容错控制-输出反馈情形

现有的满意容错控制成果难以处理非凸非线性约束,无法用于在线重构容错控制器设计,针对一类离散系统的传感器故障,研究容错系统具有上述特性的闭环区域极点指标、二次型保性能指标和控制输入等约束的满意容错控制问题.借鉴预测控制对多种约束的软化处理策略,利用被控输出反馈控制结构和在线非线性优化技术,给出一种根据故障估计信息进行递推控制的主动满意容错控制器的数值化设计算法,并分析闭环容错系统的稳定性.据此设计的满意容错控制器可使闭环容错系统在保证稳定性和控制输入约束条件下具有满意的优化性能.仿真算例验证文中设计算法的有效性.     

多性能指标约束下的模糊容错控制系统设计

研究模糊非线性系统在同时具有区域极点、H∞和方差约束下的容错控制器的设计. 利用分解和等价原理,将模糊非线性系统多性能指标约束下的可靠控制问题,转换为一系列线性极限子系统的容错控制器的设计问题;利用线性矩阵不等式理论,给出多性能指标约束下的线性系统容错控制器设计方法,分析了相容指标的取值范围,并给出相容指标约束下的容错控制器设计步骤.仿真实例验证了结果的有效性.     

微处理机系统可靠性与软件容错技术

本文分析了微处理机系统的可靠性问题,给出了系统可靠性的评价方法和提高可靠性的有效途径,讨论了软件容错技术并结合实例介绍了软件容错的设计方法。实验表明,系统增加了软件容错技术后能大大提高抗干扰能力,降低系统的故障率。     

传感器失效系统的鲁棒容错控制

基于Riccati方程和Lyapunov稳定性理论，研究了时滞线性不确定系统对传感器失效具有完整性的鲁棒容错控制律的设计方法，得到了系统鲁棒可镇定的充分必要条件。在该容错控制器作用下，可以保证系统对传感器故障不敏感，仍能在一定的性能指标下稳定运行。仿真结果表明了本文设计方法的有效性。     

基于软件体系结构的构件可迁移系统容错研究

随着分布式应用的迅速发展,构件可迁移分布式系统由于其构件的可移动性,受到广泛关注。如何保证构件可迁移系统的容错,一直是研究的热点。另一方面,软件体系结构是软件系统的蓝本,对软件的设计与实现有着重要的指导作用。该文提出一种面向体系结构,并适合构件可迁移系统的容错框架。该框架不但能显式刻画软件体系结构,而且能支持构件可迁移...     

具有保性能的容错控制

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

基于Rejuvenation的程序执行时间优化算法

Rejuvenation是为了防止软件老化而提出的一种主动性、预防性的软件容错策略．把定时Rejuvenation策略引入到执行时间有限的单任务程序中，分析了存在老化时，软件Rejuvenation对程序总执行时间所起的影响。仿真结果表明，定时的Rejuvenation策略能有效地避免软件老化带来的突发性失效，从而减少程序的执行时间。     

基于磁盘阵列的双机容错技术在图书馆的应用

介绍了双机容错技术的原理和设计方案,并结合ROSE双机容错软件详细地说明了这项技术在图书馆的实施过程.实践证明这项技术为图书馆各个数据库系统不间断、稳定高效的运行提供了有力的保证.     

民航订票系统

对计算机网络下的民航订票系统的结构和软件进行了设计．并对系统网络结构，用户功能、容错机制、可用票算法以及座位存储控制等技术问题进行了讨论．     

传感器失效不确定中立型时滞系统的鲁棒容错控制

针对一类不确定中立型时滞系统,基于Lyapunov稳定性理论,利用线性矩阵不等式方法,讨论了该类时滞系统对传感器失效具有完整性的鲁棒容错控制器的设计问题.且该控制器存在的充分条件由线性矩阵不等式组的形式给出,可以通过求解一个线性矩阵不等式组获得鲁棒容错控制器.在该容错控制器作用下,可以保证系统对传感器故障不敏感.仿真结果表明了设计方法的有效性.     

多总线系统的最优总线容错性分析与设计

首先建立了多总线系统三种容错性指标与相应的二元图连通度的关系。然后，借助于二元图的最佳连通性，就一般情形，提出了两类多总线系统，它们具有最优总线容借度、最优混合容错度和较优处理机容错度。     

不确定中立型时滞系统的鲁棒容错控制

研究不确定中立型时滞系统的鲁棒容错控制问题，就执行器失效故障和传感器失效故障两种情况，分别给出失效故障时闭环系统仍能渐近稳定的充分条件及控制器设计方法．     

计算机联锁系统的通信可靠性研究

分析了计算机联锁系统中存在的3部分通信及其对联锁系统的不同影响,描述了通过相互隔离的网络结构,避免不同通信间的相互干扰以提高通信的可靠性,并具体阐述了通过容错技术、软件处理提高联锁系统内部通信的可靠性.