动态的主动复制协议的研究与设计

从软件容错的角度出发 ,将组通信技术引入到主动复制技术中 ,以组通信中的虚拟同步机制为基础 ,提出一个新的基于协调者的主动复制协议。该协议保证 ,当协调者进程发生失效时 ,能够动态地选择一个新的协调者 ,并保证所有副本进程的状态是一致的 ;且该协议具有响应时间短、效率高等优点。     

容错局域网通信功能的设计与实现

本文提出了一种在网络工作站实时通信中实现容错的理论,详细叙述了设计方法,并对其可靠性、实时性、并行性等问题进行了分析.     

容错局域网的理论及设计

本文提出了“容错局域网”的设计思想,并详述了其设计方法.该系统的设计成功,解决了网络实时通信过程中的有关技术问题.     

无人飞行器Ad Hoc网络中容错节点移动控制算法

针对无人飞行器Ad Hoc网络的容错设计需求,基于UAV节点的可控移动特性,提出了一种基于强化边启发的节点移动控制算法.首先采用文化基因算法对给定通信网络对应的拓扑图进行搜索,求解使图获取顶点2 -连通属性所需新增的最小成本强化边组合.以强化边为启发,将连接的节点移动到彼此通信范围内来实现强化边,同时以这些节点为leader,采用基于一致性算法的leader-follower控制算法移动其他关联节点,使变化后的网络为顶点2-连通,从而实现网络容错.仿真实验结果表明算法的可行性与有效性,节点总的移动距离少于用于对比的块移动算法和紧缩算法.     

基于网格的分布式仿真系统容错机制

针对分布式仿真的需求,在网格的基础上构建了通用的分布式仿真容错系统。该系统由三部分组成:仿真资源状态监控模块、数据保存模块及错误恢复模块。其中仿真资源状态监控基于网格的MDS实现;数据保存(包括进程空间、进程间交互关系的保存)及错误恢复基于检查点机制在用户空间实现。就所增加的容错机制跟仿真系统原有功能模块的关系进行了分析。最后,基于网格及上述容错模块设计并实现了一个C/S模式的容错代理,用来实现仿真系统的自动容错。     

基于SWOT分析的军队审计容错免责机制完善路径研究

军队审计容错免责机制是在审计权限范围内对符合容错免责情形的事由减轻或免于问责并及时纠正的稳定工作机制,是审计问责态势下应对“为官不为”问题的合理路径。本文基于SWOT法分析认为,当前审计环境下建立军队审计容错免责机制的优势在于独立的经济监督地位、专业的经济监督力量和广泛的经济监督对象,劣势在于单一的认定主体、缺失的法律规范和匮乏的免责素质,机遇在于利好政策的出台、国家审计的实践经验和军队审计的职能定位,威胁在于制度规范笼统、审计风险扩大和资源矛盾加剧。在此基础上,本研究基于W-T（劣势-威胁）的战略选择,提出完善军队审计容错免责机制的现实路径,即：明确机制定位,科学界定边界;完善制度规范,形成法律依据;完备容错清单,转变审计模式;优化容错环境,降低容错风险。     

基于迭代学习观测器的卫星姿态滑模容错控制

为解决卫星上反作用飞轮存在安装偏差、故障及外部干扰情况下的姿态控制问题,提出了一种基于迭代学习观测器的姿态容错控制方法。该方法通过设计迭代学习观测器,以较小的计算量实现对执行机构发生的故障以及安装偏差进行精确的估计。并利用观测器的观测结果设计滑模控制器,使处于外部干扰条件下的卫星系统在执行机构发生故障的情况下可以快速稳定地完成姿态机动任务。进一步基于Lyapunov稳定性定理证明了迭代学习观测器及控制器的全局渐近稳定性。针对反作用飞轮存在不确定性及故障的情况下进行仿真,仿真结果表明,与同类容错控制方法相比,所提方法可以更加快速精确地对故障进行估计并完成姿态控制。     

一种改进型联邦滤波器设计方法及其应用研究

提出了一种基于局部反馈校正的无重置联邦滤波器的设计方法,和 Carlson 提出的无重置联邦滤波器相比较,该联邦滤波器在保证组合导航系统的容错性能不变的同时可以提高系统的导航精度.将提出的这一方法用于船用组合导航系统设计中,通过计算机仿真,并同Carlson 提出的无重置联邦滤波器的仿真结果相比较,证明了该方法的优点.     

一种柔性容错TTCAN协议调度算法的设计与应用

CAN总线在当前的武器信息装备中已经得到广泛的应用,其采用的基于优先级的非破坏性逐位仲裁机制,在通信实时性和可靠性等方面存在一定缺陷。针对上述问题,引入了基于时间触发的TTCAN协议,在分析当前流行的TTCAN协议调度算法的基础上提出了4点优化方案,设计出一种新型容错调度算法,并以某型坦克为应用背景进行了实例验证。     

非线性短时延网络控制系统的容错控制器设计

针对一类存在短时延的非线性网络控制系统,提出了一种基于观测器的传感器失效完整性控制方法。首先利用模糊T-S模型对系统进行模糊建模,在此基础上,提出模糊控制器与模糊观测器的协同设计方法,然后应用李亚普诺夫函数法和线性矩阵不等式（LMI）法,给出了闭环模糊系统在传感器故障时具有完整性的充分条件。数值仿真算例表明,该方法是可行和有效的。