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

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

降落伞充气时间的计算方法

文章介绍了各类降落伞充气时间的计算方法。对密致伞，将质量守恒方程与物-伞系统的运动方程相结合推导出计算充气时间的数学模型并应用于一个算例。对开缝伞，提供了计算充气时间的经验公式。对采用收口技术的伞也提供了计算充气时间的经验公式。     

遥测时间零点的分析

本文分析了引起遥测时间零点延时的各种因素,提出了数据处理中四种时间零点方案,并给出了遥测时间零点之前数字量脉冲的修正方法。用本方法处理的数据,使制导工具误差系数分离结果有了较大改进。     

工藤-藤川彗星图片选——发现

彗星一直部是天文爱好者最喜欢和最有作为的观测领域之一．说来也是机缘巧合．新年伊始就有一颗亮度达到肉眼可见程度的彗星要与天文爱好者见面。这颗新彗星是由两位日本业余天文学家各自独立发现的。     

中国地区MAGSAT卫星标量和矢量磁异常图

使用MAGSAT卫星资料,编绘中国及邻近地区的卫星磁异常图(10°N—60°N,70°E—140°E)。为了提取地壳异常场,必须从观测资料中消除主磁场、磁层场,感应场和电离层场。本文选用GSFC(12/83)地磁场模型,消除主磁场,磁层场和感应场。为了进一步消除电离层场的影响,改善相邻轨道磁异常的一致性,用纬度的二次多项式拟合每一条轨道的初始地壳异常,并从初始地壳磁异常值减去这一拟合值,从而获得最后的地壳异常值(△X,△Y,△Z,△F)。把研究地区分成1°×1°的网格,将每个网格内的磁异常进行平均,以获得网格中心点的异常值。根据这些网点值绘制中国及邻近地区的卫星标量和矢量磁异常图。等值线间隔为2nT。为了检验卫星磁异常图的可靠性,将卫星资料分成黎明组、黄昏组和联合组,分别进行处理和绘制卫星磁异常图。结果表明:根据上述资料绘制的卫星磁异常图有很好的一致性。中国地区的卫星磁异常值位于—10nT—10nT。卫星磁异常与区域构造特征有较好的一致性;塔里木地台、扬子地台和中朝地台是正磁异常区,西藏高原是负磁异常区。卫星磁异常反映出下地壳磁化强度的横向不均匀性。     

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

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

NIM4#铯冷原子喷泉钟新一代时间频率基准

回顾了NIM4 #钟实现 5 μK冷原子云 ,74cm原子喷泉和 0 95Hz线宽Ramsey跃迁实验 ,报道了 9 19GHz微波锁定到铯原子秒定义跃迁 ,频率稳定性达到 (5 - 7)× 10 -15(15 0 0 0s)。目前我们正在进行不确定度评估 ,可望不确定度进入 10 -15量级 ,建立我国新一代时间频率基准装置。     

固定容差参数的阵列天线方向图综合法

研究了设计参数具有固定容差的阵列天线方向图综合法;给出了阵列天线方向图容差优化的数学模型;提出了求解容差优化最坏情况问题的离散化方法;建立了直线阵列天线容差区内误差任意分布的物理模型,并采用修正正多面体优化方法对激励幅度具有容差的侧射天线阵进行了综合。当设计参数偏离其标称值时,文中的综合方法可以使天线性能的偏差最小。     

大气湍流光学长曝光像的数值计算

在介绍大气湍流光学长曝光像的两个模型——高斯模型(空间域模型)和统计平均光学传递函数模型(空间频率域模型)的基础上，推导两模型之间的关系与差别，并应用两模型数值计算了扩展目标通过大气的长曝光成像结果。此外，还应用高斯模型给出了自适应光学系统校正后的远场光斑。     

聚焦脉冲激光大气传输热晕效应的数值分析

利用激光大气传输四维程序对序列脉冲激光大气传输热晕效应进行了数值计算和分析。对于均匀大气路径上聚焦传输序列脉冲激光进行数值仿真计算得到,风场渡越时间内的脉冲数Np在2~6之间有利于传输;然后对实际大气模式下序列脉冲激光进行了数值计算,得到的平均脉冲数-NP可以在一定条件下对序列脉冲激光进行定量表征的结论。