基于小脑模型关节控制器的无人机集群快速终端滑模容错控制

针对受执行器故障和外界干扰影响的集群无人机（UAV）协同编队控制问题，提出了一种自适应快速非奇异积分滑模（FNISM）容错控制（FTC）方法。为使集群无人机在执行任务时具有良好的协同跟踪性能，通过对无人机实际飞行情况的分析，考虑了无人机编队飞行时的执行器故障和尾涡扰动等对跟踪性能的不利影响。采用小脑模型关节控制器神经网络（CMANN）来估计并消除外部干扰的影响，同时运用CMANN逼近补偿执行器故障。研究表明：所提出的容错控制方案可以保证无人机编队闭环系统在故障情况下的最终一致有界稳定，并且可以通过减小滑模设计参数提高收敛速度，通过增大虚拟和实际控制器参数提高控制精度。4架无人机的集群编队在该方法、基于径向基神经网络（RBFNN）的鲁棒动态面容错控制、比例微分（PD）滑模容错控制3种方法下的对比仿真结果表明该方法在无人机集群编队出现故障时具有更优异的协同控制性能。     

柔性空间机械臂的自适应H∞容错抑振混合控制

针对关节执行器存在部分失效(PLCE)故障的漂浮基柔性空间机械臂系统，提出一种自适应H∞容错抑振混合控制算法。结合拉格朗日法与弹性振动理论推导出了系统的动力学微分方程，并截取反映柔性臂杆主振型的前两阶模态作振动分析。根据奇异摄动原理对系统进行降维，并将其分解为一个刻画刚性臂杆轨迹跟踪的慢变子系统与一个刻画柔性臂杆模态振动的快变子系统；由此设计了由慢变子系统的自适应H∞容错控制器及快变子系统的线性最优减振控制器组成混合控制器。与传统容错控制器相比，所设计的自适应H∞容错控制器具有无需获取故障先验知识的优点。对比仿真结果表明：慢变子系统的容错控制器对于PLCE型关节执行器故障具备较强的鲁棒性，快变子系统的线性最优减振控制器能够将柔性臂杆的振动模态调节至较低水平，从而校验了理论分析的正确性与混合控制策略的有效性。     

一种针对Cache Tag单错及邻位双错的#br# 低开销容错方法#br#

Cache是处理器重要的存储模块，对处理器性能提升有着至关重要的作用.空间环境中，保护Cache免受软错误影响已成为设计新一代高可靠微处理器日益严峻的挑战.设计一种针对Cache Tag单错及邻位双错的低开销容错方法.可以保证Cache访问、Cache行填充和Cache行回写不受单位错误和邻位双错的影响，与传统SEC FastTag容错方法相比，Tag单位及邻位双错容错能力得到提高.通过扩展FastTag结构优化设计，降低SEC DAEC编解码逻辑带来的面积、功耗以及性能方面的开销.以四路组相连写回Cache为目标系统，与传统SEC DAEC容错方法相比，本文提出的方法面积开销降低8.47%，功耗开销降低37.7%，关键路径时延减小0.13 ns.     

基于TESLA协议的BDSBAS电文认证技术

星基增强系统（SBAS）能为航空、航海等生命安全领域提供完好性增强服务，针对SBAS服务的欺骗风险，面向北斗星基增强系统（BDSBAS）发展，提出基于中国商用密码标准算法的时间效应流丢失容错认证机制（TESLA）电文认证方案。阐述SBAS电文认证架构与TESLA认证原理，开展基于中国商用密码标准算法的BDSABS认证电文编排及空中密钥更新（OTAR）的电文播发设计，针对L5I与L5Q开展认证时间间隔和最大认证延迟等指标的理论分析，进一步从OTAR信息权重和解调错误率2方面仿真首次认证时间指标。仿真结果能为基于TESLA协议的BDSBAS电文认证提供一定的理论支持。     

分布式卫星嵌入式计算机系统结构设计方法

针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。     

总线容错机制及其验证方法

卫星系统广泛采用容错技术以提高系统的可靠性,而总线通信的稳定性和可靠性对于系统任务的成功至关重要．工程研制中,通常采用总线容错技术对系统通信故障进行识别和屏蔽．介绍了基于故障仿真技术的总线容错机制验证方法,包括故障规格分析技术、故障用例生成技术和故障仿真技术,利用该方法对某星载软件的总线通信功能进行了容错测试,验证了方法的有效性和实用性．     

基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
     

机载供电系统双余度控制器的容错控制

介绍双发（Twin-engines）系统的战斗机的机载供电系统控制器的设计和实现。机载供电系统控制器是管理飞机的供电系统的航空电子设备,是飞机供电系统的核心设备,肩负飞机安全的使命。为了提高控制器的可靠性和灵活性,放弃传统的模拟方法,使用先进的数字化技术实现对飞机供电、配电系统的管理。在设计中为了提高可靠性,使用主动复制的容错技术,设计了双余度控制器,在发生单通道错误的情况下,整个系统能够正确工作。对机载供电系统控制器容错技术进行了研究,包括双余度系统的管理策略、同步控制机制、余度管理和故障综合、信号比较监控和通道切换逻辑。     

基于可满足性问题求解器的星上FPGA永久损伤容错技术研究

现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案。该方案通过建立FPGA内部资源的功能模型,将容错问题转化为数学上的可满足性问题。并且利用经过改进的GSAT算法对该问题求解,可以获得在功能上与损伤前完全相同的电路结构,及其所对应的FPGA配置文件。将该文件重新下载到FPGA中,可以屏蔽损伤带来的影响,从而达到利用FPGA自身冗余资源容错的目的。通过实验和分析可以看出,本文方案具有对损伤修复成功率高、计算量小和需要内存空间少的特点,因此符合星上计算能力和硬件资源十分有限的实际情况。     

基于自适应动态规划的运载火箭智能姿态容错控制

针对运作火箭主动段发动机摆动执行机构故障下的姿态控制问题,结合自适应动态规划（ADP）方法设计了一种智能容错控制策略。该智能容错控制器主要包括2部分：容错稳定控制部分和优化补偿部分。容错稳定控制部分利用自适应和滑模变结构控制设计,主要维持执行机构故障下姿态控制系统的稳定,保证姿态跟踪误差的有限时间收敛;优化补偿部分采用执行-评价结构,利用ADP的在线学习优势,根据姿态系统的跟踪误差（尤其是系统故障、强干扰导致的跟踪偏差）,设计ADP算法产生补偿控制来进一步优化姿态控制系统的跟踪性能。仿真验证表明,即使存在外部干扰和执行机构故障的情况下,所提方法仍能保证系统稳定且精确跟踪指令信号。