基于虚拟寄存器的控制流错误检测算法

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR（Control Flow Checking Basedon Virtual Register，基于虚拟寄存器的控制流检测）对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器，然后基于这些虚拟寄存器添加特定的控制流28．7％的性能代价和平均检测指令。这些指令可以检测模块间的控制流错误，所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均31．3％的存储代价，而对于控制流错误检测率平均为97．1％，优于目前已存在的各种方法，能够提高航天软件容错能力和可靠性。     

一种星载计算机数据流软故障纠正算法

在太空环境中,由于宇宙射线的存在,计算机系统的存储单元经常发生各种瞬态故障。此类故障通常都使用硬件或从系统角度加以解决,但其成本高重量大。针对此种故障类型提出了一种软件实现的数据流故障纠正算法,该算法通过对程序中变量进行简单编码和解码操作后,可对发生在程序数据空间内的单“位”错误进行检测并进而纠正。故障注入的实验结果表明,对于程序数据段错误,该算法可把错误输出从原始程序的27％～49％降低到0．01％～0．02％,同时故障纠正率接近100％;对于程序堆栈段错误,该算法可把错误输出从原始程序的10％～70％降低到1％～3％,故障纠正率也在73％以上。与其它软件实现的软故障检测或纠正算法相比,实验结果表明该算法实现简单,运算量小,具有较高的错误探测与纠正能力。     

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

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

彗星猎手——“深度撞击”号使命终结

9月20日，NASA正式对外宣布，被称为“彗星猎手”的“深度撞击”号探测器已经“死亡”。“深度撞击”号于2005年发射升空，在8年多的太空旅程中，它曾史无前例地飞近并释放撞击器击中一颗彗星，飞近另外两颗彗星近距离拍摄．还观察了6颗恒星，向地球发回约50万幅照片，一生飞行75．8亿千米，成为迄今为止历史上飞得最远的彗星探测器。     

太空“加油工”

在繁华的都市里,给汽车加油并非新鲜事,而在太空“加油”似乎不可想象．但这或许在不久后也将成为现实。NASA的机器人太空“加油”计划,在2011年9月达到了一个里程碑,国际空间站的机器人已经把太空“加油”验证模块放到它的永久位置——ExPRESS4物流平台上。如果后续试验一切顺利的话,机器人在太空“加油”就指日可待了。     

“开普勒”：探寻类地行星的先驱者

美国东部时间2009年3月6日22时50分（北京时间7日11时50分）,世界首个用于探测太阳系外类地行星的“开普勒”太空望远镜,在美国东南部佛罗里达州的卡纳维拉尔角,搭乘“德尔塔－2”运载火箭升空。此次卫星的发射,由来自科罗拉多大学巨石城分校大气与太空物理学实验室（LASP）的20名学生和16名专家组成的小组,在科罗拉多大学研究园的LASP太空技术大楼里操控。火箭发射65分钟后。“开普勒”太空望远镜开始进入预定轨道,当时它距地球大约721千米（其运行轨道和地球轨道基本重合,绕太阳飞行,一个周期约为5了2天）。它将在这一轨道试运行两个月,随后正式开始执行探索任务。     

航天器的系统组成

由航天运载器携带、从航天发射场升空并在航天测控网站的跟踪测量控制下进入特定太空轨道运动的航天器,称为太空中的人造天体。这种人造天体在太空中的运动基本上遵循天体力学的规律,这是它的一个特点。但仅具有这个特点还成不了“器”(器具)。航天器必须具有满足地面特定需求的功能,才可成为在太空中探测研究太空环境和开发利用太空资源来为人类造福的工具。     

迄今最伟大的8台太空望远镜

2008年10月中旬，美国MSNBC网站公布迄今最伟大的8台太空望远镜，近20年里这些先后进入太空的望远镜好比“太空之眼”，帮助人类对宇宙有了更清晰的认识。     

太空探索公司承认“猎鹰”9火箭发动机曾出故障

太空探索技术公司官员已承认其“猎鹰”9火箭在去年12月8日发射该公司可重复使用的“龙”货运飞船时曾出现发动机故障。这次故障可称为富氧化剂关机。     

通过纯软件的方法测试数字处理器的故障敏感性

对于工作在高辐射太空中的飞行器而言，它不可避免会受到单粒子效应的影响。因此，如何预测飞行器中单粒子效应敏感区域以便加强保护措施是一件很重要的工作。但事实上，要预测单粒子效应对飞行器的影响并不容易。本文给出了一种通过纯软件来评测飞行器系统对单粒子效应的敏感程度的方法——软件故障注入法——这也是评测微电子电路可靠性极具前景的方法。该方法采用高效的汇编语言在汇编级实现，对目标系统不会造成损伤，并且使用方便。试验的结果表明，目标处理器对于单粒子翻转的敏感性大约为1．38％到2．35％，且寄存器的敏感性要高于内存区。     

电磁环境卫星系统及在地震短临预测中的应用

论述了近地空间电磁场和电离层探测的要素及其在地磁模型、电离层模型建立等方面的应用需求,并结合地震短临预测中的具体应用分析,阐述了我国建立近地空间电磁探测系统的初步研究结果,包括电磁环境探测要素、星载探测仪器配置、卫星系统组成设想和卫星平台技术需求等。     

等分压常压累积检漏技术

通过对常用的大气压累积法氦质谱检漏过程的理论分析，指出了该方法可能的系统误差。分析认为：对于表面材料粘附几率较小的被检件，可以采用常用的大气压累积检漏方法进行总漏率的测量，而对于表面材料粘附几率较大的被检件（ 如表面存在大量的有机材料等） ，如采用常用的大气压累积检漏方法进行总漏率的测量必将带来较大的系统误差。最后，提出了消除该系统误差的等分压常压累积检漏技术，并与常用的常压累积法检漏技术进行了比较。     

雷达／红外综合探测系统抗干扰能力的建模

选择目标探测概率这一性能参数衡量雷达/红外综合探测系统的抗干扰能力,建立了压制式干扰情况下该综合探测系统的目标探测能力的数学模型,并通过计算机仿真验证了该模型的适用性。     

卫星用累积检漏法技术研究——三种定量比对校验方法分析

卫星用累积检漏技术是目前世界各国宇航工程检漏工作者较多采用的一种检漏方法，但在使用该方法时必须配备定量比对校验方法。介绍了各国常用的三种定量比对校验方法：标准漏孔比对法、定量气体浓度比对法和定量气体量比对法。对这三种校验方法进行了比较和分析，并从优点、缺点和技术含量三个方面进行了综合评估，认为累积检漏法中的氦质谱检漏仪选用定量气体浓度比对法较合理些。这种方法具有检漏时间短、检测误差小等特点。     

一种变化检测的新算法

变化检测技术是遥感图像应用中的关键技术之一。在分析变化检测算法的基础上，提出了一种新的变化检测算法，该算法主要由三步组成：差图像的优化获取、变化区域的准确检测、目标阴影的修正。仿真结果表明了本文所提算法对变化目标的检测准确可靠，且对背景有较强的鲁棒性。     

基于波段选择的RX改进算法

针对高光谱检测亚像元飞机的问题,提出基于大气吸收谱段的改进RX异常检测算法,实现亚像元检测能力和检测效率的提升.阐述了改进算法的基本原理,对比了10 km高度和地面大气吸收系数的曲线差异,建立了改进算法的检测模型,采用仿真的客用飞机可见-短波高光谱数据和海水背景高光谱数据,获得了信噪比10 dB的高光谱仿真图像.采用经...     

柔性接头的超声脱粘检测研究

针对柔性接头粘接检测存在的难点,分析了柔性接头部件的超声纵波传播规律及超声检测的“61o”现象,采用纵波直探头分析方法,有效地解决了构件厚度不均匀和钢层厚的难点。以回波峰值作为特征量,通过扫描成像来判断一、二界面的粘接状态。试验表明,此法检测精确度较高,达到检测要求。     

光纤捷联惯导系统检漏工艺技术

针对光纤惯导系统检漏方法中存在的问题,优化了检漏工艺流程,改进了检漏设备,设计了检漏工装,并对改进后的检漏工艺方法进行了试验验证。试验证明,该检漏工艺技术可满足光纤捷联惯导系统的检漏需求。     

采用压降检漏法对大型密封容器检漏时的"升压"现象分析

文章首先介绍了压降检漏法的原理,并针对该方法在检测大型密封容器过程中出现的"升压"问题,通过压降检漏法与非真空收集器检漏法的对比试验及理论分析,得出产生该现象的原因是由于被检系统的真实漏率小于压降检漏法的灵敏度而引起的.在检测周期允许的前提下,可通过延长保压时间满足检测要求.     

基于鲁棒故障检测滤波器的传感器故障诊断

本文讨论了鲁棒故障检测滤波器在喷气式发动机传感器故障诊断中的应用。鲁棒故障检测滤波器方法使残差既有干扰解耦特性又有方向特性。该滤波器的设计结合了未知输入观测器原理与Beard故障检测滤波器原理。利用未知输入观测器产生的残差对未知输入(干扰)具有鲁棒性,而特定方向性是基于BFDF技术获得的。最后举例说明了该方法的可行性和有效性。