卫星如何应对高温大“烤”

<正>我国卫星专家透露,嫦娥一号卫星在完成既定任务后,又做了多项额外的技术验证和科学试验。其中很重要的一项就是验证月球100公里轨道的热环境     

基于匹配模板的雷达信号快速识别系统设计

雷达采用低截获概率(LPI)技术之后,特别是在低信噪比条件下,传统的雷达信号识别方法将暴露出对弱信号无能为力、识别率低等缺陷.针对这些问题,设计了基于匹配模板的雷达信号快速识别系统,介绍了系统设计的基本思路,提出了敏感参数这一概念,保证了正确识别率.以线性调频信号为例制定了相应的匹配识别准则,通过仿真实验验证了该准则的有效性和该系统的可行性.在信号受到噪声污染的情况下,该系统对线性调频信号的识别信噪比可以达到-6dB.     

机载ADS-B技术现状与发展趋势

随着广播式自动相关监视( ADS-B )技术的发展与广泛应用,国外涌现出许多 ADS-B 设备研制商,开发出多种应用于不同平台、具有不同功能构型的 ADS灢B 产品。从搭载平台与功能构型两个视角出发,对国内外机载 ADS-B 产品进行分类;分析航线飞机、通航飞机以及无人机载 ADS灢B 产品的功能与技术特点,并针对当前 ADS-B 系统面临航空器监视应用开发、安全性、密集干扰环境下接收增强、1090ES 链路扩容等难点问题,分析讨论技术途径并提出发展建议。     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

民用飞机系统安全性分析中EWIS部件的考虑

通过对适航规章25.1709的分析,结合AC25.1701,提出了民用飞机系统安全性分析中需考虑EWIS部件的一些方面,并初步研究了具体的分析方法。     

多体分离数值模拟及方法验证

利用自主研发的混合网格Euler／RANs方程解算软件WoF90以及六自由度动力学与运动学方程解算程序,采用脚本语言技术实现网格的自动生成,建立了一套可用于多体分离问题的准定常Euler流动非结构网格方法。通过AEDC算例对非结构准定常Euler方程方法解决多体分离问题进行了计算研究,验证了方法的可行性。