面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

地面实验室模拟空间等离子体环境的初步测试

空间等离子体和航天器的相互作用对航天器的安全有重要影响,利用空间实验来研究这些作用的代价很大,可以通过在地面实验室中模拟空间等离子体环境来低成本地研究这些相互作用.本研究通过使用ECR等离子体源期望在地面实验室来近似模拟空间等离子体环境,通过初步测量,我们得到了一个比较均匀的等离子体环境.     

过载约束下的探月飞船再入轨迹的在线设计

研究了以第二宇宙速度返回地球的载人探月飞船的再入制导律设计问题.针对基于落点分析的数值预测-校正算法不能有效满足再入过程的气动过载约束条件的问题,提出一种基于解析计算的常值气动过载算法与基于数值积分的预测-校正技术相结合的融合再入制导方案,在线生成了同时满足过载约束和落点精度要求的再入轨迹.数值仿真表明提出的制导算法不仅能满足达到高精度着陆的要求,还能满足气动过载约束要求.在一定的再入初始条件下,探月返回飞船可以不必采用逻辑复杂的阿波罗式跳跃再入方案.这一方案可为即将展开的载人探月活动制定月-地返回轨道和再入策略提供参考.     

NASA在纳米技术领域的研究和应用进展

NASA一直致力于先进航天技术探索与应用,其中,为推动纳米技术的发展与应用,规划了20年的研究发展计划。相关纳米技术被认为能够精确实现材料的预想性能,并可制备出更小、更具环境稳定性的航天器。文章跟踪介绍NASA在纳米技术领域的研究和应用进展,包括:1)先进结构材料及其应用;2)能量的生成与储存;3)热控制材料及其应用;4)纳米传感器的发展;5)推进剂及推进器的革新等。     

星载测向定位技术研究

针对卫星无源定位系统对辐射源高精度定位的要求,以及日益复杂的电磁环境下时频重叠信号测向定位的难题,提出了单星阵列信号处理测向的方法,并对干涉仪和阵列信号处理测向的性能进行了理论分析和仿真比较,结果显示阵列信号处理测向比相位干涉仪具有更高的精度,在存在模型误差的情况下,基于盲源分离的测向算法比经典子空间投影测向算法具有更高的分辨力。     

基于频率源稳定度的钟差序列生成方法研究

基于频率源噪声特性和幂率谱密度之间的关系,构建了一种通过频率源目标稳定度反向生成虚拟钟差序列模型,利用虚拟钟差序列模型可以快速、高效地生成目标频率源的长期钟差数据。针对不同类型频率源的组合噪声特征,采用传统的噪声模型生成5种频率源噪声,然后利用仿真分析验证虚拟钟差序列生成模型的正确性。通过比对仿真结果可知,基于铷钟、氢钟和铯钟的虚拟钟差序列的稳定度与实测钟差序列的稳定度基本相符,重建虚拟钟差序列能够准确地反映其频率噪声特性,因此,文中采用频率源目标稳定度生成其钟差序列的方法可行、有效。     

Oxygen concentration variation in ullage influenced by dissolved oxygen evolution

To determine the oxygen concentration variation in ullage that results from dissolved oxygen evolution in an inert aircraft fuel tank, the CFD method with a mass transfer source is applied in the present study. An experimental system is also designed to evaluate the accuracy of the CFD simulations. The dissolved oxygen evolution is simulated under different conditions of fuel load and initial oxygen concentration in ullage of an inert fuel tank with stimulations of heating and pressure decrease....     

Approximate Maximum Likelihood Algorithm for Moving Source Localization Using TDOA and FDOA Measurements

 A closed-form approximate maximum likelihood (AML) algorithm for estimating the position and velocity of a moving source is proposed by utilizing the time difference of arrival (TDOA) and frequency difference of arrival (FDOA) measurements of a signal received at a number of receivers. The maximum likelihood (ML) technique is a powerful tool to solve this problem. But a direct approach that uses the ML estimator to solve the localization problem is exhaustive search in the solution space, and it is very computationally expensive, and prohibits real-time processing. On the basis of ML function, a closed-form approximate solution to the ML equations can be obtained, which can allow real-time implementation as well as global convergence. Simulation results show that the proposed estimator achieves better performance than the two-step weighted least squares (WLS) approach, which makes it possible to attain the Cram閞-Rao lower bound (CRLB) at a sufficiently high noise level before the threshold effect occurs.     

宽温度范围大口径高精度变温标准黑体辐射源研制

红外成像探测系统的应用环境越来越复杂,工作适应温度范围低温可达到-50 ℃以下,高温可达到70 ℃以上。为满足相应要求,研制宽温度范围大口径高精度变温标准黑体辐射源,采用细分均匀加热、模糊PID自整定控制算法、双路配气保护等技术,满足高低温需求,同时开展腔型设计、超黑高发射率涂层等相应研究,保证了黑体辐射源的整体性能,确保完成相应功能。研制完成后,在高低温环境下进行了验证试验,可达到以下指标：有效发射率≥0.999,空腔开口直径≥60 mm,温度测量不确定度10 mK（k=2）。经验证,可满足宽温度范围条件红外探测系统的计量要求。     

基于Isight的倾转旋翼飞行器前飞状态翼型优化

倾转旋翼飞行器被认为是下一代旋翼类飞行器的主要发展方向,研究其机翼的气动优化设计,对于提高该类飞行器的飞行性能具有重要意义。以NACA2412为原始翼型,首先,采用Hicks-Henne方法进行翼型参数化,并确定设计变量;其次,采用Isight集成翼型生成、网格划分、流场求解等软件,建立翼型自动优化平台;然后,采用基于最优拉丁超立方设计(Opt LHD)和径向基函数(RBF)的代理模型,并用多岛遗传算法(MIGA)进行机翼优化;最后,将优化后的翼型生成三维机翼,进行气动特性计算。优化过程中,对比两种边界条件的优化结果,以证明所用优化方法的有效性;为了减少计算量,使用动量源方法用作用盘代替旋翼。结果表明:根据机翼展向来流速度分布进行翼型优化,在前飞状态下优化后的机翼的升阻比提高了66.03%。