基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术,本文研究了双模高可用容错服务器的故障检测机制.首先,通过马尔科夫模型对服务器系统进行了分析,指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响.针对传统使用的故障检测机制成功率较低的问题,提出了一种仲裁检测机制,仲裁系统采用容错方案设计,具有较高的可靠性,在双机无法对故障做出正确判断时,可作为可信的第三方对故障做出准确的定位,有效地提高了系统的检测成功率.在此基础上,一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中,并通过试验证明了其可满足可用性设计要求.     

双模冗余网络服务器仲裁子系统设计

传统的双模冗余容错计算系统具有故障定位不准的致命缺点。本文在传统双模冗余系统的基础上设计了一个高可用的仲裁子系统进行故障定位。该子系统采用高可靠的三模表决的系统结构 ,采用非相似余度三总线进行子系统内部同步通信 ,并且应用SOC芯片和CPLD技术 ,采用热插拔的设计方案 ,从而保证子系统的可靠性和可用性     

一种低成本纳卫星星载计算机容错方法

为了提高纳卫星星载计算机系统的可靠性,减少体积、质量及功耗等多方面因素的影响,文章提出了一种软硬件结合的低成本容错设计方法。将星载计算机硬件采用双机冗余冷备份方案,通过现场可编程门阵列(FPGA)对故障处理器进行仲裁切换;软件容错通过错误检测与纠正(EDAC)信息容错技术的实现,对星载计算机整体程序进行纠错检错,以对抗单粒子翻转事件。结果表明:该方法能够对星载计算机系统进行有效的故障切换处理,并降低单粒子事件的不良影响,可以在纳卫星系统中推广应用。     

故障容错机械臂运动学可靠性设计

从机械臂运动学的角度，定义了故障容错机械臂、故障容错机械臂的阶、通用故障容错机械臂、特定任务故障容错机械臂，论证了通过运动学关节冗余也同样可以提高机械臂系统的可靠性、故障容错机械臂应该具备的自由度数、以及针对不同的任务要求来设计故障容错机械臂的方法。通过将任务空间抽象简化为一系列的特征点，建立与机械臂参数向理想值接近程度相关的罚函数，选择有效的优化算法，设计出了通用一阶故障容错平面位置机械臂、通用一阶故障容错空间位置机械臂、以及特定任务一阶故障容错平面位置机械臂。建立起完整的故障容错机械臂设计方法，对航天机器人的研究具有一定价值。     

分布式容错计算机系统在航天器上的应用

计算机容错技术是提高系统可靠性的强有力手段，卫星星上数据管理系统是高可靠性的分布式容错计算机技术系统，在硬件和软件的设计中，应用了故障检测、故障屏蔽和动态冗余等多种容错技术，本文从理论和工程实践两个方面介绍了各种容错技术在航天器上的应用。     

斜装陀螺系统及其故障检测

分析了陀螺系统构型对卫星可靠性和姿态控制系统性能的影响，基于６个陀螺全部斜装的八面体构型，设计了等价空间故障检测算法。仿真结果表明，采用这种陀螺构型和故障检测算法，系统可检测较小幅度的软故障，从而获得优良的容错性能。     

容错箭载计算机的硬件故障注入方法研究

容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种。硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容错能力进行评价,更适合工程应用。本文研究采用硬件故障注入方法和特定容错测试仪,对容错箭载计算机的容错机制和设计方案进行了正确性验证,为容错箭载计算机的工程应用奠定技术基础。     

小卫星星务计算机的容错体系结构设计

介绍了一种小卫星的星务计算机系统硬件设计方案,并结合应用的要求给出了容错体系结构的设计方案,从冗余结构到容错管理模式,从故障检测和诊断到系统重构,多视角多层面地展现了小卫星容错体系的设计思路,最后还利用模型计算了系统的可靠度指标。     

基于系统特征的自适应被动容错控制及其应用研究

本文在黄金分割鲁棒自适应控制器的基础上，设计了一种自适应被动容错控制器，能在线辨识对象特征模型，在线提取系统动态性能行征和故障特征，对控制系统执行机构和测量部件的某些软故障具有被动容错能力。     

面向空间应用的双核容错微处理器的研究与实现

介绍了用双核微处理器实现的容错微处理器系统SPARC—V8FIS。该系统由两个同构微处理器与支持容错操作的容错管理模块组成。微处理器是基于SPRARCV8规范的32-bit微处理器。容错管理模块提供了错误检测、诊断、从“软故障”中故障恢复，以及当发生“硬故障”时，将系统配置成单一处理器继续执行的机制，以适应空间复杂环境应用。SPARC—V8FIS用较少的硬件实现了所有容错操作，以很低的性能损失达到了很高的系统可靠性。     

微小卫星星务计算机系统的容错控制策略研究

微小卫星系统是一个可靠性要求很高的系统,需要由具有容错能力的星载计算机来控制。针对微小卫星重量、体积、功耗的限制,提出了一种微小卫星的星务计算机系统的可靠性设计方案,设计中采用双模冗余方案搭建系统的容错结构,并根据卫星的运行要求提出了适用于微小卫星的温备份方式容错控制策略,介绍了一些用于支持温备份方式容错控制策略的关键技术。通过分析在微小卫星设计中的适用情况,温备份策略从硬件开销和时间开销两个方面都有利于卫星的设计。在立体测绘微小卫星“试验卫星一号”的星务计算机系统中的应用表明,提出的可靠性设计方案能够提高小卫星的可靠性、安全性以及实时性。     

基于桥接模式的双网络重复使用运载器控制系统冗余技术

根据重复使用运载器因面临恶劣电磁环境而对控制系统提出的可重用、高可靠性要求,提出了一种基于桥接控制器的四余度1773A光纤总线双网络冗余控制系统方案。该方案在实时性、数据处理、缓解信息拥塞、电磁兼容性等方面具有较好的优势,控制系统实现了集控制、传感、通信、网络、故障诊断与容错处理于一体的功能。通过对计算机、综合控制器、伺服机构等关键部组件及系统级总线进行冗余设计,提高了系统的可靠性。     

基于人工免疫的液体火箭发动机故障检测方法研究

为有效提高液体火箭发动机故障检测过程中的及时性、实时性及准确性,基于人工免疫系统中的阴性选择原理研究建立了液体火箭发动机故障检测的阴性选择算法与免疫实值算法,实现了液体火箭发动机稳态工作过程中的故障检测与报警。基于某大型泵压式液体火箭发动机实际试车数据的验证结果表明,研究建立的人工免疫故障检测方法能对发动机稳态工作阶段进行有效准确的故障检测与报警,相对以往传统的检测算法在故障检测时间上有了一定的缩短,对研究基于人工免疫的液体火箭发动机的故障检测与诊断系统提供了依据。     

星载GPS接收机RAIM算法性能及参数影响分析

为提高星载GPS接收机的故障鉴别与故障隔离能力,研究了星载接收机自主完好性监测(RAIM)算法的性能,以及参数选取对性能的影响;给出了RAIM算法的可用性及RAIM算法应用的可靠性衡量指标,并推导了内、外灵敏度的计算方法。设计了2种适合于高动态在轨应用环境的参数场景,并基于这2种场景,利用在轨数据分析了性能之间的相互制约关系及不同参数对性能的影响。仿真结果表明:若定位告警门限取300m,可以保证90%的RAIM算法可用性;对于20m的测量误差,能够保证80%的检测概率。将不同性能与先验参数的影响关系具体化,可为不同环境、背景下RAIM算法在工程应用中的参数选取及性能评估提供参考。     

基于分时融合反馈的联邦滤波算法研究

传统联邦卡尔曼滤波算法的高容错性是以牺牲精度为代价的,为此提出了改进的联邦滤波算法,采用分时融合反馈的联邦滤波信息分配方式,在提高系统容错性的同时兼顾导航精度和实时性,而且无融合反馈阶段延长了故障反应时间,提高了系统对渐变故障的检测能力,取得较为理想的结果.     

多星座组合导航系统自主完好性监测方法研究

提出一种“VGC BIT”的方法分析多故障情况下多星座组合导航系统的自主完好性监测性能。该方法基于现有GPS观测数据构建“准现实”的GPS/Galileo组合导航环境,可有效实现对多故障情况下GPS/Galileo组合系统完好性监测性能的分析。应用该方法计算GPS/Galileo组合导航系统中同时存在1~4个故障时的故障检测(FD)和排除(FDE)可用率。计算结果表明,在北京和上海两地,即使出现分布情况最坏的4个故障星,航路阶段FD和FDE的可用性仍大于99%。     

具有SDRAM容错和检错功能的PowerPC 高性能处理单元设计

介绍一款PowerPC架构的高性能嵌入式处理单元设计.利用PowerPC体系结构内建的差错检测和报告机制,采用CPLD设计和实现了三模冗余(TMR)SDRAM存储器模块,不但提供高速存储器的容错能力,还具有差错检测能力,提高了处理单元的可靠性.介绍一个分布式容错计算机的实例,并分析了该方案的优点.     

Xilinx FPGA自主配置管理容错设计研究

针对SRAM型FPGA在空间辐射环境下容易受到单粒子效应影响的问题,在分析可重配置的Xilinx FPGA的结构和故障模式的基础上,提出一种基于自主配置管理的Xilinx FPGA容错设计方案。综合运用诸如逻辑电路三模冗余、块存储器EDAC校验、动态回读、动态局部重配置及周期全局重配置等方法实现故障的屏蔽、检测和修复。该方案覆盖了FPGA的各种单粒子效应故障模式,并且在芯片内部实现了自主配置管理,具有体积小、成本低、可靠性高的特点。     

空间飞行器推进系统的故障检测

文中采用基于人工智能条件下的专家系统知识，应用门限算法进行故障特性提取和相应的故障推理机制研究，在由大量小发动机组成的空间飞行器推进系统实验中进行应用，通过已有的实验数据，离线回放表明此方法具有实时检测功能，可以解决工程实际问题。