多矢量水听器低频近场目标协同定位算法

针对水下小平台难以实现低频近场目标定位的问题,研究了基于多个矢量水听器的协同定位算法。算法将多个矢量水听器视为不同的观测点,利用矢量水听器阵列流型特点估计出目标相对于不同观测点的方位角,根据这些方位角信息利用正交矢量算法对近场目标进行定位,避免了多维搜索过程,减少了计算量。仿真结果表明,算法能够准确地定位低频近场目标,有效地提高定位精度。     

磁悬浮列车的定位和测速技术研究

在介绍磁悬浮列车定位和测速技术特点基础上,着重论述了轨枕计数法、交叉感应回线法和脉宽编码感应式绝对定位法在磁悬浮列车定位测速中的应用,给出了实现的原理与方法,并分析了误差来源,并介绍了相关试验结果。在以上分析的基础上,结合我国磁悬浮列车的发展情况,提出适合我国现阶段的定位测速方案。     

离子推力器栅极组件热态间距测量系统研制

为了完成LIPS-300离子推力器三栅极组件在真空、高温环境中微小热态间距的高精度测量,设计了一套使用远距显微镜的非接触摄像测量系统。基于拍摄的图像,运用交互式分区方法获得多个圆形合作标志稳定、清晰的边缘,利用合作标志和标定片完成图像放大系数标定、图像畸变校正以及栅极热态间距亚像素级测量。精度验证实验表明,本系统在非加热情况下测量精度优于6μm,在加热情况下测量精度优于12μm。大气环境下的加热实验结果显示屏栅和加速栅温度差越大,栅极热态间距的减小量越大,当温差最大为150℃时热态间距减少量达到最大,即420μm。同时,由于安装环的热变形影响,栅极在热稳态时热变形量下降、在冷却期时产生负位移现象,测量结果与国外同类实验趋势一致。系统满足栅极组件热态间距测量的需求。     

多站时差与多参数联合分选定位方法

多站电子侦察系统中,两个观测站接收到的脉冲信号到达时间差可以用于分选和定位。针对复杂信号脉间信息关联性弱,不能对脉冲数极少的信号进行分选的问题,提出一种多站时差与多参数联合分选定位新方法。该方法利用时差窗先验信息,将主站和所有副站脉冲同时进行多站时差和多参数联合预分选,并将预分选结果按位置进行融合,得到最终分选和定位结果,能对脉冲数极少的信号进行分选定位,甚至可实现单个脉冲的分选定位。仿真结果表明了该方法的有效性。     

地球静止轨道粗定位的北斗系统接收机快速定位方法

传统全球导航卫星系统信号发射时间的整毫秒恢复算法,在接收机概略位置未知时存在计算量剧增而无法应用的问题。利用北斗系统混合星座中GEO卫星电文速率高的这一特点,提出一种基于GEO粗定位的北斗接收机快速定位的方法。在接收机概略位置完全未知的情况下,使用已获取完整信号发射时刻的纯GEO星座进行粗定位,根据解算获得的概略位置对非GEO卫星发射时刻毫秒整数时间进行恢复,利用所有可见卫星进行精确定位。使用国际全球连续监测评估系统测站观测伪距对算法进行验证,国内测站可100%实现伪距恢复,完成快速定位。仿真遍历中国区域用户,在仿真伪距增加均值为0,标准差为6m噪声,截止仰角为0°时,中国附近区域实现快速定位概率均大于98.68%,其中约80%的中国附近区域可以100%实现卫星信号传输时间恢复并完成快速定位。     

基于高精度景象匹配的SAR平台定位方法

提出一种利用SAR图像与光学基准图高精度匹配实现SAR平台定位的方法。利用成像中间时刻SAR平台与SAR图像中心线上物点在水平面的投影共线的特性,在图像中心线上均匀选取若干点作为匹配点,并与光学基准图进行高精度景象匹配获取它们的物点坐标;根据这些物点坐标估计出图像中心线在当地水平面投影的直线方程;利用直线信息和斜距高度信息计算SAR平台在水平面上的投影点位置,进而计算得到成像中间时刻SAR平台的空间位置。为了进一步提高匹配精度,分别提出对正侧视和斜视SAR图像匹配区域进行几何粗校正的方法。还分析了不同误差因素对平台定位精度的影响,并给出精度估计公式。仿真和实际图像实验结果表明,方法正确可行,具有较高的定位精度,具备工程实用价值。     

测速定位系统的研究

测速定位系统是高速磁浮列车牵引和运行控制基础,与轮轨列车的系统相比,存在着如悬浮间隙波动、长定子轨道接缝及非接触式绝对位置读码等可能影响系统正常运行的特殊问题.为了降低悬浮波动对相对位置检测的影响,提出了利用悬浮间隙归一化处理相对位置检测信号的方法,使输出统一变换为8mm悬浮间隙下的信号,达到了磁极相角精度2.8°的检...     

周期平稳通信信号时差估计

研究了一种利用信号谱相关特性对周期平稳通信信号进行时差估计的方法。研究表明,谱相关时差估计方法较之经典的广义互相关(GCC)法具有更强的抗干扰能力,在多辐射源环境下,该方法可以无模糊地估计各个辐射源的时差。     

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

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

一种单站无源定位方法及其可观测性分析

利用非线性系统可观测性定理分析了径向加速度信息在目标运动分析(TMA)中的可观测性问题,得到径向加速度观测所能确定的目标状态参数及其需要满足的观测条件,从而证明一种联合径向加速度和角度信息的单站无源定位方法的可行性,并分析其可观测条件和可观测度。通过计算机仿真验证了讨论的结果。