考虑相位噪声影响的单阵元被动合成阵列算法

考虑到现有单阵元被动合成阵列算法对阵元的运动模型假设过于理想且对相位噪声的适应能力不足,首先,提出一种适用于阵元任意机动方式的单阵元被动合成阵列通用算法,进而通过相位噪声模型分析,给出最大相参时间及有效合成阵元数的选取方法,重建了合成阵列的流形矢量,得到了与相位噪声模型相匹配的改进算法.然后,在相位噪声影响条件下,推导了单阵元被动合成阵列波达方向的理论估计方差下限.仿真分析表明,较未考虑相位噪声影响的算法,改进算法能够有效提高相位噪声影响下的单阵元被动合成阵列测向精度.     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

光电载荷安装误差标校的飞行航路

无人机搭载光电载荷进行安装误差标校时,飞行航路的选择与规划在很大程度上影响着标校算法的收敛性与误差识别结果。为增强标校飞行架次的有效性,提高安装误差可被识别的程度,改善标校算法的收敛性及标校精度,对标校的原理和标校算法进行了理论分析,并利用考察差异函数偏微分的方法找到了标校航路和安装误差标校之间的相互联系,然后结合标校实施过程中所遇到的实际问题提出标校航路规划应遵循的原则,给出了标校航路规划的参考范例。     

基于贝叶斯混合源分离方法的声纳探测误差模型

声纳的探测误差模型是声纳仿真的核心技术。针对现有的声纳误差白噪声模型仿真逼真度低的问题,提出了基于贝叶斯混合源分离方法,建立了声纳的探测误差模型,提高了声纳误差模型的性能。与传统的白噪声仿真方法相比,基于贝叶斯混合源分离方法的声纳误差仿真模型具有较好的逼真度,可以有效地对声纳探测误差进行建模和预测。     

Influence of magnetically constricted arc traverse speed (MCATS) on tensile properties and microstructural characteristics of welded Inconel 718 alloy sheets

The magnetically constricted arc technique was implemented to mitigate the heat input related metal-lurgical problems in Gas Tungsten Arc Welding (GTAW) of Inconel 718 alloy particularly Nb segregation and subsequent laves phase evolution in fusion zone. This paper reports the direct effect of magnetically constricted arc traverse speed (MCATS) on bead profile, tensile properties and microstructural evolution of Inconel 718 alloy sheets joined by Gas Tungsten Constricted Arc Welding (GTCAW) process. The mechanism amenable for the microstructural modification and corresponding influence on the tensile properties of joints is investigated both in qualitative and quantitative manner related to the mechanics of arc constriction and pulsing. It is correlated to the solidification conditions during welding. The relationship between MCATS and Arc Constriction Current (ACC) was derived. Its interaction effect on the magnetic arc constriction and joint performance was analysed. Results showed that the joints fabricated using CATS of 70 mm/min exhibited superior tensile properties (98.39% of base metal strength with 31.50% elongation). It is attributed to the grain refinement in fusion zone microstructure leading to the evolution of finer, discrete laves phase in interdendritic areas.     

基于北斗信号的降雨信息监测方法

为充分挖掘北斗信号大数据资源的应用价值,拓展其在大气海洋领域的应用方向,重点从理论上研究了利用北斗信号的极化相移监测降雨信息问题。结合北斗信号的频率和极化特征,从极化相移的定义出发,分析了北斗信号经过雨区和降雨粒子相互作用的微物理过程,建立了极化相移与降雨强度之间的数学模型;利用数值模拟方法对该数学模型进行分析得出,北斗信号极化相移对降雨强度具有敏感性,这说明了北斗信号监测降雨强度的可行性;还系统研究了雨滴谱分布、雨区路径长度和卫星仰角等关键因素对极化相移的影响,为后续开展实验验证提出了合理化建议。     

高空气球地面充氦气量计算方法分析与试验评估

作为高空气球研究中的一个重要问题,气球在地面发放前充入的氦气量会直接影响其上升速度和驻空高度,进而影响平台的可靠性和稳定性。因此研究充氦气量的准确计算方法十分必要。建立了高空气球上升过程动力学模型,计算了气球初始升速的理论值,用于与实际初始升速对比,为评估充氦气量计算方法提供依据。归纳了三种较为典型的高空气球地面充氦气量计算方法,根据实际开展的飞行试验,分析对比了三种方法的准确性和误差范围。提出了浮力补偿规律,完成了对三种方法的评估。通过研究可以对现有充氦气量计算方法进行有效修正,进而为高空气球的实际飞行提供指导。     

综合孔径雷达系统设计的关键技术

从综合孔径雷达 SAR成像的基理出发 ,分析了 SAR系统中相位误差对 SAR图像质量的影响和系统中产生相位误差的重要因素 ,从而分析了 SAR系统设计的关键技术和实施的基本途径。     

关于算子方程Tx=y扰动分析的一些结果

在Banach空间中给出了一种相容算子方程解的误差估计 ,推广了矩阵扰动分析中的相应结果 .此外 ,利用Hilbert空间中算子M -P广义逆与算子的约化极小模之间的关系 ,给出了一些估计式 ,这些估计式对于分析不相容算子方程Tx =y的极小范数最小二乘解的扰动误差是有用的     

巡航导弹地形跟踪系统仿真的研究

基于预见控制理论,采用零相位误差跟踪控制器,实现巡航导弹的前馈控制,能使导弹飞行良好地跟踪地形,还给出了前馈控制器的设计方法,并对导弹飞行过程作了系统仿真.