基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

卫星控制系统故障仿真技术研究

首先分析卫星控制系统可能发生故障的各种原因、现象及防止故障的各种措施,讨论仿真技术在卫星故障诊断和对策中应用,然后介绍卫星故障仿真的工具－卫星飞行控制模拟系统。     

基于全解耦奇偶方程的动态系统执行器故障检测与识别

给出了基于全解耦奇偶方程的动态系统执行器故障的检测与识别方法。讨论了全解耦奇偶向量的产生方法,给出了全解耦奇偶向量的存在条件,并结合卡尔曼滤波方法得到了故障模型参数的估计方法。最后给出了仿真实例。结果表明,全解耦奇偶方程方法能估计出动态系统执行器故障模型。     

基于四元数估计角速率的陀螺故障定位

当卫星速率积分陀螺的配置冗余度不满足一致性检验条件时，不能单纯利用硬件冗余实现陀螺的故障定位。鉴于角度和角速度敏感器的输出通过卫星运动学相关，本文利用姿态测量敏感器的输出来诊断陀螺故障。首先根据姿态测量敏感器的输出得到卫星姿态四元数，进而根据四元数动力学方程得到粗略的姿态角速度信息，并将此角速度作为输出信息用于对卫星动力学方程的滤波，从而得到较精确的角速度信息，为单冗余度陀螺组件的故障定位提供解析冗余信息。利用四元数方法可以避免出现奇点。仿真结果证明了该方法的有效性。     

基于Transputer的小卫得图像星上智能处理

介绍了“航天清华一号”微小卫星星上图像智能处理的方案，包括云检测和图像压缩两个部分，并介绍了硬件结构。详细讨论了灰度阈值法云检测技术、分析了当前流行的一些图像压缩技术，具体介绍了一种简单而有铲的新的压缩技术ａ－ＭＰＢＴＣ。     

多普勒雷达导引头信号处理技术

概述防空导弹多普勒雷达导引头信号的基本形式、主要特点、检测原理及其滤波系统；介绍了多普勒雷达导引头信号处理的一些常用技术。     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。     

相检宽带测频仪器的扩展使用

基于“相位重合点”检测方法的相检宽带测频等新技术已经越来越多地应用于各种晶体振荡器的调试、高准确度测频和频标比对中，一般情况下，以这些技术设计的仪器会获得比同类型普通仪器高一千多倍的测量准确度，而在使用得当时还会获得更高的准确度并且会有更广泛的用途，在对这类仪器的原理作更深入分析的基础上，探讨了对它们的各种扩展使用方法，对于有关新技术的推广应用具有很大的实用价值。     

金牌动力的背后——航天六院研制长征火箭发动机纪实

世界权威统计机构的一项研究表明：造成国际航天发射故障的原因,其中高达38.5%是由火箭发动机所引起。然而迄今为止,在中国航天发射的故障率统计中,由发动机引发的故障率却是零。这项记录一直被世人视为世界航天史上的一项奇迹。创造这项奇迹的人,来自陕西西安,来自中国航天科技集团公司第六研究院（以下简称航天六院）,一个被世人誉为“中国航天动力之乡”的地方。[编者按]     

哥伦比亚号失事对中国航天的启示

坚定不移地发展我国载人航天技术 探索和征服宇宙是全人类的共同理想,发展航天技术、认识宇宙空间是人类社会发展和科学技术发展的必然趋势,挫折和困难都不会阻挡人类在探索宇宙空间的前进步伐。在人类科学探索的进程中,总是需要付出很大的代价甚至生命,失败