网格环境下基于移动代理的两级环调度模型

网格环境下基于移动代理的两级环调度模型主要由网格任务管理中心、网格资源节点、网格用户、用户作业组成。网格任务管理中心依据网格用户提交的作业动态生成两级环,即超级环和普通环。两级环中资源节点由超级环管理节点、普通环管理节点和普通环资源节点构成。不同节点充分利用移动代理的自主迁移能力共同维护任务的正常运行。通过对两级环模型的事件响应时间延迟、系统可靠性、负载平衡、作业运行时间的分析和仿真,证实该模型能够有效利用网格计算资源、均衡资源负载。     

用于空间站的四重冗余对接控制系统设计

针对空间站所处太空环境的特殊性、对接机构对空间站正常运行的重要性,以及对航天器可靠性要求日益增加的问题,提出在对接控制系统中增加可靠性设计,实现整个机构的高质量、平稳运转。在完成正常控制功能的基础上,在系统中采用了四重冗余的工作机制,包括主备机双热备份、自动/手动控制模式切换、自动控制关闭指令双线发送和工作模式的三取二判断,对四重冗余设计的具体判断流程进行了详细的解释。对控制系统软件进行仿真验证,结果表明：本方法设计的对接控制系统具有高可靠性和故障容错能力。     

航天用SRAM型FPGA抗单粒子翻转设计

采用SRAM工艺的FPGA因其性能优异,在空间领域的应用受到重视;但是在空间环境中,SRAM型FPGA易受单粒子翻转的影响而导致逻辑故障或功能中断。文章提出对该类芯片的配置逻辑部分采用回读比较后刷新、对其BRAM部分采用通用自纠错宏的抗单粒子翻转（SEU）设计方案,在牺牲一定的器件性能的情况下,能达到较好的抗辐射效果。     

输入—输出过程脉冲型故障的统计检测方法与容错检测技术的研究

对于输入-输出系统的脉冲型故障,本文指出了系统运行过程中发生的输出部件故障和输入部件故障与时间序列分析领域AO型及IO型常数据之间的关系,系统地总结了过程故障统计诊断方法(特别是仿Jacknife法、假设检验法和影响分析法)的研究现状及其存在的不足之处,建立了两组容错辨识算法,并基于容错辨识技术提出了分别适用于第一类故障和第二类故障检测与辨识的有效方法。最后,通过仿真计算验证了新方法的有效性。     

实时测控分布式系统的容错调度算法研究

根据目标系统的体系结构和功能分布特性以及实时性要求,文章提出了一种混合式实时容错调度算法,该算法对系统中服务器机组和工作站机组的任务分别实施对称式调度和以处理机负载平衡为目标的调度。当系统执行过程中检测到处理机故障,通过双机切换和冗余任务动态唤醒的办法进行系统重构,实现了目标系统硬实时和软实时共存的容错需求。     

FPGA在高性能数据采集系统中的应用

设计了以FPGA(现场可编程门阵列)为核心逻辑控制模块的高性能数据采集系统，该系统除了可完成24路最大采样频率为100kHz(精度16位)的模拟信号采集和8路宽范围频率信号采集，还具有较强的数字信号处理能力和一定的容错、自检功能。FPGA模块采用VHDL语言设计，在MAX PLUSII集成环境中进行软件设计和系统仿真，本文给出了FPGA主要功能模块的仿真图形。     

一体化智能电磁流量计的研制

介绍了一种集传感器,转换器,积算仪器于一体的就地显示式智能电磁流量计,其研制中采用先进的单片微机芯片,实现在线多种信号采集和数据处理,并采用软件容错技术,大大提高了仪表的可靠性和测量准确度。     

航电系统的处理机重构算法与实现

主要阐述了满足新一代航空电子系统中核心数据综合处理要求的实时操作系统 ;概述了系统软件的三个主要层次的总体结构 ;着重论述了重构处理机的问题 ;并详细讨论了处理机容错重构处理的实施过程。     

改进故障隔离的容错联邦滤波

为了解决重置模式下联邦滤波器中子系统故障对导航系统污染的问题,提出利用故障检测函数构建时变量测噪声的容错联邦滤波结构。通过将故障子滤波器等价为量测噪声趋于无穷大的正常系统,来取代传统的故障隔离方法;推导出了子滤波器对应的最优估计值,用以消除子滤波器估计次优性对故障检测的影响;采用动态信息分配系数,以减少故障信息对全局估计的影响。采用惯性/天文/景象/地形(INS/CNS/SMNS/TERCOM)的组合导航系统进行了仿真验证,结果表明该容错联邦滤波方法在子系统发生故障时的估计性能优于故障隔离方法。因此,所提方法具有提高故障子滤波器精度、保证无故障子滤波器鲁棒性以及全局估计精度的优势,具有较高的实用价值。     

一种复杂空间飞网系统参数优化设计方法

由轻质软绳索编织而成的空间飞网是为非合作目标捕获而提出的空间系统概念,在空间碎片和废弃航天器处理方面具有很大的应用潜力。从平台抛射出后,飞网在空间形成不稳定的网形,且网形变化规律受初始参数设计的影响较大。针对空间飞网系统设计与试验中系统参数匹配问题,本文提出以容错值作为飞网展开性能的定量描述,从捕获任务的层面,建立面向捕获容错的空间飞网系统参数优化数学模型;以抓捕固定距离、确定大小的目标任务为算例,联合Isight优化平台与ANSYS/LS-Dyna求解,得到飞网系统最优参数匹配,算例仿真结果表明结果的适用性;最后,利用试验设计和极差分析方法验证最优点的稳定性。研究的模型与方法为开展空间飞网系统地面及空间试验等工程应用提供理论依据。