航天飞行中的稀薄气体动力学

飞船、宇航探测器、航天飞机等复杂外形航天器给气体动力学，包括稀薄气体动力学提出了新的要求。本文简要介绍了为计算过渡领域中气动力与热而发展的基于位置元概念的DSMC方法的通用算法。该方法解决了计算物面通量量的技术难点并已用于模拟圆球、飞船、类航天飞机的绕流。正在进行的航天实践，如麦哲伦飞船对金星的探测、行星大气中的气动制动、伽利略飞船的木星之行、尾屏蔽在太空中获得高真空的实验等等提出了新的气动力问题，稀薄气体动力学和DSMC方法是有力的工具。     

航天飞机防热瓦缝隙气动加热的讨论

本文根据航天飞机防热瓦缝隙流动的特点,从二维定常不可压缩层流的 N-S方程出发,提出了一个简化流动模型,即缝隙的二维流动可近似当作两个准一维沟槽流动的线性迭加,由此给出了缝隙中的热流率与压力、压力梯度和缝隙宽度的变化规律,并利用现有的实验结果作了验证。     

形态图计算中的投影空间维数和投影空间模型

确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题，本文根据态图计算时特征视图拓扑结构等价的特点，指出轴测投影下的投影空间是二维空间，透视投影空间为三维空间，并分别了投影空间模型的建立方法，从而使复杂物体形科计算是简单可行。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

空间积分声光相关器——脉冲信号检测

论述了空间积分声光相关器对脉冲调制连续波信号的瞬时响应，分析了从实时光电检测器中检测出的波形，该波形是脉冲宽度，加权函数参量和与脉冲位置相关的空间衍射光分布的函数。进一步提出了脉冲序列相关时的光分布关系并通过实验加以论证。     

平台摇摆对卡尔曼滤波跟踪精度的影响

通过建立目标相对运动坐标系和目标相对运动观测模型,研究了在平台摇摆影响下,跟踪系统观测到的目标运动状态的变化。在分析捷联垂直基准补偿原理的基础上建立了捷联垂直基准平台摇摆角补偿模型,建立的模型结合捷联垂直基准系统的测量能力对其补偿算法进行了理论推导,使模型适用于实际捷联垂直基准系统。通过建立模型以及仿真研究了平台摇摆作用下卡尔曼滤波跟踪精度的变化,指出了摆造成卡尔曼滤波跟踪精度降低甚至离散的主要原因在于模型误差增大。设计仿真实验验证了结论的正确性,为进一步改进跟踪手段提供了理论参考。     

对空间碎片近距随遇悬停的控制方法及悬停燃耗分析

对空间碎片检视或抓捕操控中的悬停控制及燃耗问题进行了研究。通过C W方程，建立任务星近距随遇定点悬停控制模型，通过设计状态反馈控制器分析定点悬停的可控性以及推控要求，结果表明近距悬停需要与悬停位置相关的两个正交方向上的常值连续推力控制量，以及用于抵抗扰动的三轴向上的反馈变推力控制量。分析了近距随遇悬停的推控分系统配置，建立了长时近距随遇悬停的燃耗及燃耗速率的数学模型，最后分析了既满足安全距离需求、又满足悬停方位需求的最小悬停燃耗模型。     

硅半球深腔结构无损检测技术

半球深腔的加工质量是决定硅基MEMS半球陀螺精度的关键因素之一，及时检测半球深腔的形貌参数并将其反馈至加工过程，是确保高性能MEMS半球陀螺研制成功的重要措施。由于硅半球深腔的深度较大，台阶仪和光学显微成像系统无法对半球深腔的形貌特征进行有效测量。因此,需要将硅深腔结构剖开后采用扫描电镜(SEM)进行检测。这种检测方式时间周期长，且属于破坏性的样本检测，效率和测试精度都较低。提出以硅半球深腔为模具，利用PDMS铸模将硅半球深腔的结构尺寸和表面形貌转移到PDMS凸起的半球模型上，通过检测PDMS半球模型的尺寸结构和表面形貌，即可反推出硅半球深腔的尺寸特征。经实验验证，脱模后的PDMS模型可以准确地反映出半球深腔的尺寸信息，测量结果的不确定度小于5‰，有效解决了硅半球深腔无损检测的难题。     

Real-time object tracking via least squares transformation in spatial and Fourier domains for unmanned aerial vehicles

This paper addresses the problem of real-time object tracking for unmanned aerial vehicles. We consider the task of object tracking as a classification problem. Training a good classifier always needs a huge number of samples, which is always time-consuming and not suitable for realtime applications. In this paper, we transform the large-scale least-squares problem in the spatial domain to a series of small-scale least-squares problems with constraints in the Fourier domain using the correlation filter technique. Then, this problem is efficiently solved by two stages. In the first stage, a fast method based on recursive least squares is used to solve the correlation filter problem without constraints in the Fourier domain. In the second stage, a weight matrix is constructed to prune the solution attained in the first stage to approach the constraints in the spatial domain. Then, the pruned classifier is used for tracking. To evaluate proposed tracker's performance, comprehensive experiments are conducted on challenging aerial sequences in the UAV123 dataset. Experimental results demonstrate that proposed approach achieves a state-ofthe-art tracking performance in aerial sequences and operates at a mean speed of beyond 40 frames/s. For further analysis of proposed tracker's robustness, extensive experiments are also performed on recent benchmarks OTB50, OTB100, and VOT2016.     

MIDACO software performance on interplanetary trajectory benchmarks

A numerical study of the MIDACO optimization software on the well known GTOP benchmark set, published by the European Space Agency (ESA), is presented. The GTOP database provides trajectory models of real-world interplanetary space missions such as Cassini, Messenger or Rosetta. The trajectory models are formulated as constrained nonlinear optimization problems and are known to be difficult to solve.