航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

历经十年寿命试验的消旋天线机构轴承的可靠性分析

解决了一个计算可靠性问题的特例。分析了消旋天线机构轴承历经10年寿命试验的可靠性问题。并给出了轴承在不同可靠寿命要求下的可靠度(对应不同置信度)。     

波导分支线定向耦合器计算方法

利用模匹配方法和网络理论分析计算了一种卫星天线系统中常用的波导分支线定向耦合器,计算结果与实验结果非常吻合。该方法为波导分支线定向耦合器提供一种有力的设计手段。它可直接用于设计Ku 波段通信卫星天线的波束形成网络,也可以用来设计各种耦合度的波导分支线定向耦合器。     

利用偏馈振子调整测控雷达跟踪通道相移技术研究

提出一种调整雷达跟踪通道相移的方法 ,即在雷达天线主面上配置偏馈振子 ,利用偏馈振子做为校准源调整雷达跟踪和 /差通道间的相移 ,并对该方法的可行性、可靠性及稳定性进行了实验研究。     

空间实验室大面积太阳电池阵技术研究

介绍了空间实验室大面积太阳电池阵的方案构型，并进行了模态分析、热结构耦合分析和动力学仿真分析。生产出了全尺寸的集成演示样机，进行了展开试验、主展开机构的模态试验，以及半刚性太阳电池板和二自由度驱动机构的振动试验。计算和试验结果表明，技术方案是可行的。     

神经网络在未来超分辨雷达中的应用

最新的技术发展已为研制超分辨雷达创造了条件。它能够突破普通雷达基于匹配滤波原理的分辨能力,而实现超分辨。超分辨雷达的巨大计算量通常来自求解非线性最小二乘问题时的多维搜索。本文针对这一问题,研究了雷达信号处理中的两个典型例子:(1)利用阵列处理检测个数已知而方向未知的雷达目标;(2)对波音727飞机进行超分辨距离多普勒成像。说明Hop-field神经网络通过集体运算能够求解各种困难的最优化问题,因而在未来的超分辨雷达中有广阔的应用前景。     

基于在轨热环境的可展开天线反射面精度调整技术

随着宇航事业的发展,网状展开天线的尺寸越来越大,对形面精度要求越来越高(特别是高频段),在轨热环境与地面调整点的热环境差别大,必须采用基于在轨热环境的网面精度调整技术以满足反射面的精度要求。就在轨热环境下的辅助牵引面式网面精度调整技术的理论分析及调整方法进行了探讨,给出了计及在轨热环境的网面形状精度调整的基本理论公式及调整步骤,并对某样机进行了调整计算。计算结果表明,文中的分析、公式、方法是正确的,可行的。     

低轨卫星面阵凝视成像技术研究

文章介绍了面阵凝视成像的工作原理及特点，阐述了低轨卫星对地观测凝视成像面临的像移问题及其解决措施，对像移补偿装置与二维指向机构的结合做了初步探讨。     

航天记录器的发展和转型

概述中国航天记录器近五十年的发展历程,阐述航天记录器技术转型的十年过程,简要介绍目前航天记录器应用的新进展。