高可用双机容错服务器的研究与设计

为了保证服务器对外服务的持续性,提高服务器的可靠性,双机容错服务器是一种较好的解决方案.通过引入集群技术设计了高可用双机容错服务器的硬件容错体系,使用自检和心跳等多种软件容错技术实现了运行于该容错服务器之上的容错管理系统,最后对该容错系统给出了可用性分析.  

考虑测试与运行差别的软件可靠性增长模型

软件可靠性增长模型中测试阶段和操作运行阶段环境的不同导致了两个阶段故障检测率的不同．在随机过程类非齐次泊松过程（NHPP）中的经典模型G—O模型基础上，考虑运行剖面和测试剖面的不同，对测试阶段和操作运行阶段的故障检测率进行了转化，得到了较好的刻画测试阶段和操作阶段失效率差别的模型（TO—SRGM）．最后，通过实例用最小二乘法对此模型的参数进行了估计．实验结果表明，在某些失效数据集上TO—SRGM的拟和效果比G—O模型和PZ—SRGM好．  

考虑测试环境和实际运行环境的软件可靠性增长模型

软件可靠性增长模型中测试阶段和操作运行阶段环境的不同导致了两个阶段故障检测率的不同.非齐次泊松过程类软件可靠性增长模型是评价软件产品可靠性指标的有效工具.在一些非齐次泊松过程类模型中,有些学者提出了常量的环境因子,用来描述测试环境和运行环境的差别.实际上,环境因子应该是随时间变化的变量.考虑了运行阶段和测试阶段环境的不同,根据实测数据得到了变化的环境因子,并且根据测试阶段的故障检测率和变化的环境因子,转化得到了操作运行阶段的故障检测率.考虑到故障的排除效率和故障引入率,从而建立了一个既考虑运行环境和测试环境差别,又考虑故障排除效率和故障引入率的非齐次泊松过程类软件可靠性增长模型（PTEO-SRGM）.在两组失效数据上的实验分析表明,对这组失效数据,PTEO-SRGM模型比G-O模型等模型的拟合效果和预测能力更好.  

容错的移动代理框架及执行

容错是移动代理系统实现的重要条件。介绍了基于暂存复制和基于空间复制分类方法。对移动代理的容错研究需要解决的关键问题:只一次原则,提出了基于事务处理领导者选举的容错方法。  

USB HOST&HOST Controller剖析与实现

USB接口被广泛地应用在计算机外设接口地设计中 ,尤其是嵌入式系统和穿戴计算机系统 .为了减小系统的体积 ,提高系统的集成度 ,可以利用 System On Chip技术将 USB主机控制器集成在微处理器中 ,构成片上系统 ,这就需要自行设计 U SB主机控制器的核 (Core) .本文系统地剖析了 U SB主机控制器的原理和结构 ,并针对 OHCI从系统级上给出了一个典型的 U SB主机控制器的具体实现  

TS-1．1小卫星星务计算机RAM纠检错电路的设计与实现

星载嵌入式容错计算机的可靠运行在很大程度上依赖于系统中存储模块的可靠设计。本文针对空间环境的故障形式，提出了采用EDAC（纠检错设计）技术对哈大工研制的TS－ 1．1小卫星存储模块进行设计的方法，介绍了利用纠检错处理芯片进行的对EDAC控制电路的优化设计，并可靠地实现了应用于TS－1．1卫星系统中的存储模块容错设计。  

FLASH MEMORY（快速擦写存储器）在航天计算机中的应用

阐述应用在航天计算机中用ＦＬＡＳＨＭＥＭＯＲＹ构成的固态盘工作原理、关键技术。  

嵌入式故障注入器HFI-4的研究与设计

管脚级故障注入是对原型系统进行可信性验证的一种常用的方法。本文提出了一个基于嵌入式注入方式的管脚级故障注入工具HFI-4的设计方案，并重点讨论了设计过程中遇到的方向控制、同步控制、结果回收等几项关键技术的解决方案。  

一般阶段任务系统的任务可靠性分析

研究一般PMS的任务可靠性分析.首先给出一个五元组分析模型,该模型能够有效描述阶段持续时间是随机分布的、阶段内行为特性符合马尔可夫再生过程的一般PMS;为了降低计算复杂度,分析模型的求解过程由两个步骤组成,首先利用马尔可夫再生过程理论,给出一般PMS的阶段内随机过程分析公式和简化计算方法;然后给出一般PMS任务可靠性分析公式和简化计算方法.应用该分析模型和求解方法,可以有效地对一般PMS进行可靠性分析.  

参数化优化的仿人机器人相似性前向倒地研究

提出了一种基于运动相似性的仿人机器人前向倒地动作设计方法.首先,分析了运动相似性并提出了关键姿势同步转换方法; 其次,为机器人前向倒地运动四级倒立摆建立了相似性变换条件下的动力学约束方程与关联的物理条件约束; 再次,引入参数化优化控制与强化技术,对机器人的触地过程进行了参数化优化.实验结果表明了该方法的有效性.