基于COTS技术的高可靠通用容错计算机容错机制研究

本文提出并实现了一种基于COTS部件、容错机制智能实现的、新颖的通用高可靠容错计算机系统。基于容错功能与用户应用相分离的原则，应用自主设计的智能管理模块。实现对COTS部件内部状态的可观察性。详细分析了系统的容错机制。利用提出的故障逃逸模型，分析了系统中的层次化故障检测和保护措施并估计了系统故障覆盖率。     

基于进化硬件的自修复TMR系统设计及其可靠性分析

将进化硬件与传统TMR容错设计思想相结合,提出了一种具有在线自修复功能的自修复TMR系统设计方法。该系统具有多重容错和修复机制:总体采用TMR,可自动检测到故障模块;系统中每个模块均采用组件备份法,可通过组件切换法快速修复模块故障;而模块中每个组件也可通过进化进行修复。因而具有更强的容错能力和更高的可靠性。以具有片内三模冗余的2 bit乘法器为例进行了验证。最后,给出了该系统的可靠性模型,推出了可靠性计算公式,从理论上对该系统的可靠性进行了分析。结果表明:该系统能有效修复stuck-at故障,具有更长的使用寿命和更高的可靠性。     

三模块-单模块容错系统在智能仪表中的应用

随着智能仪表的应用范围不断扩大，用户对其可靠性提出更高的要求，容错技术是增加可靠性的重要手段，三模块-单模块容错系统是容错的重要手段，文中以带微机的数显表为例，介绍了三模块-单模块容错系统的基本原理及其在开发智能仪表中的应用。     

一种用于容错计算机系统整体验证的故障注入试验策略

故障注入是一种有效的用于容错计算机系统验证的技术。分析了系统的层次分解模型在故障注入试验中的作用。提出一种基于动态故障树的容错系统分解模型MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略。这种试验策略已经应用于研制的硬件故障注入器HFI－3中,并对一个航天容错计算机进行了验证,实验结果表明了这种策略的有效性。     

软件容错技术初探

对软件容错中的时间容错和信息容错作了介绍，并探讨了软件容错技术的两种典型结构模型：恢复模块法和Ｎ重版本程序结构。对以上两种方法的可靠性进行了分析。     

基于双DSP的磁轴承数字控制器容错设计

分析并提出了应用于磁轴承的双DSP热备容错控制方案,本方案采用时钟同步技术,由总线表决模块实现系统的容错处理,由硬件判决模块实现硬件故障判断。再根据以上两个判决模块的结果由中心仲裁模块进行复杂的仲裁,并完成切换和完善的报警逻辑,从而实现容错功能,较大地提高了磁轴承控制系统的可靠性。以上所有逻辑均由VHDL语言在CPLD上实现。     

分布式计算集群容错系统的设计与实现

为了提高分布式计算集群系统的可靠性，增强系统的容错能力，使系统在局部出错的情况下仍能稳定正常运行，建立了一个容错系统模型，该模型采用两级容错机制即节点级容错和任务级容错。此模型为分布式计算集群系统下的容错的进一步研究建立了基础。     

基于双DSP的切换及控制系统设计

为了满足重要系统的高可靠性要求,特设计了一种双DSP容错控制系统。本系统中两个DSP彼此独立运行,采用硬件判决模块配合DSP软件进行硬件和软件故障诊断,再根据硬件判决模块的结果由仲裁切换模块来进行仲裁,并完成输出切换和报警功能,从而实现容错控制,显著提高了控制系统的可靠性。     

可重构模块机器人分散容错控制

针对可重构模块机器人的执行器故障,提出一种基于自适应模糊系统的分散被动容错控制方法.该方法不需要机器人动力学模型与模块之间的信息交换,模块控制器分别采用间接和直接自适应方法设计,自适应参数的更新律基于Lyapunov稳定性理论设计,保证了系统的稳定性和H∞跟踪性能.数值仿真结果表明了所提出方法的有效性.     

基于VxWorks的高可用容错系统的设计与实现

文中设计了一种容错系统,该系统是建立在应用程序层之下、操作系统层之上位置结构的中间件。系统由三模冗余与其之间的通信链路组成系统的硬件结构以及由故障检测模块（对节点的检测和对应用程序的检测）、故障处理模块所组成的软件部分构成。基于VxWorks实时操作系统,设计了一种高可用的容错中间件系统,分析了系统的组成原理,给出了基于心跳检测的故障检测机制和N版本编程方法进行故障检测,以及前向和后向任务恢复方法进行故障恢复,并实现了原型系统。试验表明：给出的容错中间件系统具备了基本的容错能力,可有效提高系统的可用性和可靠性。     

城市微观交通流模型综述

车辆跟驰模型和换车道模型是微观交通流模型研究的基础。对GM模型、线性模型、安全距离模型、AP模型、模糊推理模型和神经网络的车辆跟驰模型进行了详细的评述,并提出了现有的车辆跟驰模型存在的问题。并且对判断性换车道模型和强制性换车道模型进行了详细地论述,同时对其进行了评价。     

On models of information retrieval processes

A model called the binary independence model is presented as a generalization of a few models which have applied to the analyses of a clustered search process, some indexing strategies and a relevance feedback process. This model, together with the Swets model, the linked-2-Poisson model, the 2-Poisson model, the binary limited-dependence model, the tree dependence model, the binary dependence model and the non-binary independent model are compared and contrasted. Despite the fact that these models are intended for different applications, three aspects of modelling are identified, based on which, these models are compared. The three aspects are the class concept, the distribution of similarities and the relation between a matching function and its retrieval effectiveness. As results of the comparison between the models, more insight into the models is gained and a set of guidelines are suggested to help a system designer to choose a model.     

多模型控制方法的研究进展及其应用现状

本文探讨了多模型控制算法的发展和现状,对几种主要的发展成熟的算法---多模型预测控制算法---多模型自适应控制算法、交互式多模型算法进行了研究.同时分析了多模型控制算法中模型切换及稳定性、模型集的选取等关键问题.分析了当前多模型控制算法应用的现状和今后的发展方向.     

一种通用访问控制管理模型

目前的访问控制管理模型都是针对某种特定的访问控制模型提出的,不能适应多访问控制模型共存于一个大型系统的情况,一个管理模型不能同时适用于多访问控制模型的主要原因是管理者管理范围定义包含了某种访问控制模型中特有的组件.通过使用各种访问控制模型中共有的主体和权限来定义管理模型中的管理范围,将管理模型与访问控制模型之间的关系抽象为一个用于计算策略相关管理范围的函数,提出了一种能够用来管理不同访问控制模型的通用访问控制管理模型,为了便于模型实际使用,在模型中引入管理空间的概念与实际组织结构相对应,形成分布式访问控制管理结构,同时模型严格区分了管理空间的直接管理者和间接管理者在管理权限上的不同,使得管理者具有一定的自治性.最后讨论了管理模型中的管理规则和语义,证明了模型的完备性,并讨论和分析了针对不同访问控制模型的policy*算法.     

反应知识的层次模型

为在开发计算机辅助合成路线设计系统的过程中能有效地利用已知反应知识,我们提出以反应中心核心,逐步扩展的反应层次模型来描述反应知识。本文首先简要介绍了反应知识的层次模型,再给出了反应怪次模型中的基本概念的定义并以一个示例反应加以说明,最后对其进行讨论,说明了目前的不足并提出了今后改进的方向。     

一种具有随机邻居元胞自动机的混沌特性

研究了一种具有随机邻居的2值元胞自动机模型的动力学性质,给出了其理想状态的动力学模型,分析了该模型的混沌特性,并通过分叉图、Lyapunov指数和Sehwarzian导数解释了模型由倍分叉通向混沌的过程。最后,通过计算对比,分析了非理想状态与理想状态下模型动力学性质的差异。     

基于空间的计算机支持的协同远程教学系统模型

利用空间模型描述了协同教学系统的特点和组成要素;分析了其过程模式攻虚拟教室模型;利用Petri网描述了该系统中用户、异步和同步课程管理模型;设计并实现了相应的系统结构模型。     

几种粗糙集模型的推广研究

通过在经典粗糙集模型中引入函数,得到了一个广义的变精度粗糙集模型和一个广义的概率粗糙集模型。将这两个广义的模型进行比较研究,又得到了一个更广义的粗糙集模型,这个模型既是变精度粗糙集模型的推广也是概率粗糙集模型的推广,对推广模型的性质做了相应的研究。     

面向多智能体的知识查询管理语言模型分析

在多智能体交互的研究中,KQML(knowledge query manage language)通信模型是最具代表性的.通过对KQML通信模型的分析,为实现在知识水平上面向智能体编程所需的通信支持作了一定的阐述.首先,通过建立KQML状态模型和KQML通信的转换模型,分别针对同步和异步通信模型分析了其实现的必要条件.其次,对KQML模型在通信过程中将出现的死锁及资源匮乏问题,从KQML状态转换模型的角度分析了其产生的原因,并指出解决问题的根本途径.最后,指出KQML同步和异步通信的在多智能体交互中的优缺     

逻辑和物理模型同步变更规则研究

目前，绝大多数企业的逻辑模型和物理模型还处于一种初级的手工管理阶段，即使部分企业采用了电子化的管理，也仅局限于对逻辑模型的管理，企业很少将逻辑模型变更与物理模型变更进行同步考虑。文中通过对逻辑模型的各种变更情况进行梳理，制定了一套规则及算法并对规则和算法进行定义，保证了逻辑模型和物理模型的一致性，该规则的定义不仅方便企业对数据的管理，而且保证数据在逻辑和物理的一致性。最后将构建的规则运用到油田企业数据字典的管理中，取得了很好的应用效果。