一种适用于长基线的改进CIR算法

长基线下,受伪距多径和电离层残差影响,传统的CIR法解算载波相位宽巷模糊度时某些历元无法得到正确的结果,基础载波模糊度的搜索范围也较大。分析了CIR法的模糊度误差,提出了基于载波相位平滑伪距并且消除电离层时延的改进的CIR算法,分析了其误差方差,最后利用Compass系统实测数据对短基线和长基线两种情况下CIR法和改进CIR法的解算结果进行比较。实测数据表明,本文提出的算法能够单历元解算超宽巷模糊度和宽巷模糊度,并且能够大大缩小基础载波模糊度的搜索空间。     

To Be or Not To Be: The Development of Soviet Deck Aviation

Few issues were as contentious in the development of the Soviet Navy as the role of aircraft carriers and sea-based aviation. Despite the continued insistence by the highest naval authorities and scientific experts that surface combatants simply could not be protected in the open ocean without the support of ship-borne aviation, Soviet leaders – for a variety of reasons – resisted aircraft carrier development until the final decades of the Cold War. In examining one of the most defining and telling asymmetries of the Cold War at sea, the author argues that while the USSR was economically and technologically capable of building aircraft carriers of any class, bureaucratic infighting, misperceptions of cost and practicality, and the inherent flaws of a totalitarian system ultimately created an impossible gap in capabilities between the two sides. The priorities and direction of Soviet weapons and defense technology development during the Cold War was largely a factor of the military-political situation taking shape at home, and in the world. As a rule, the navy was assigned missions that corresponded to its capabilities at a given point in time, rather than the other way around. Often, the navy lacked the material resources needed to implement its core mission. The availability of these resources, in turn, depended on the country's economic situation, its scientific potential, the technological state of its industry, as well as the subjective influence of political and military leaders on the priorities of technological development. The impact of the country's socioeconomic imperatives was undoubtedly also felt in the sluggish pace of development of ship-borne aviation and aircraft carriers in the USSR.     

一种新的星载高分辨宽测绘带SAR运动目标

本文针对星载多通道高分辨宽测绘带合成孔径雷达系统,提出了一种地面运动目标检测和参数估计方法,该方法首先利用空时自适应处理进行杂波抑制,然后采用传统SAR成像处理得到模糊的运动目标图像,接着利用恒虚警检测技术检测出所有运动目标,包括真实目标和由于多普勒模糊引起的虚假目标,再根据模糊图像的空间位置关系从所有成像目标中检测出运动目标的真实成像位置,最后根据运动目标的斜距历程得到因运动目标速度引起的图像位置偏移,由此估计得到运动目标速度。该方法具有运算量小、检测精度高等优点,星载仿真数据验证了本文方法有效性。     

基本作战样式下航母编队兵力配置方法

航母编队兵力配置是航母编队作战运用的基础内容,从作战任务的角度来研究航母编队兵力配置问题。航母编队基本作战样式可分为对空作战、对海作战、对潜作战和对岸作战4种,航母编队通过基本作战样式的组合来达成作战任务。基于每种作战样式下航母编队兵力执行的作战任务,确定了兵力配置的原则和方法。为研究航母编队兵力配置问题提供了一种可借鉴的思路。     

STCN的对岸打击时间协同冲突消解研究

为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式.根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度.为加快时间协同计划的调整速度,基于检测结果,提出了一种代价最小的冲突消解方法,避免了消解过程中的重复检测问题,提高了效率,使计划调整更加快捷高效.     

半仿真方位高分辨后置处理方法

MVDR自适应波束形成可获得良好的目标方位估计性能,但其方位分辨力仍受限于阵列孔径.为进一步提高目标方位分辨性能,在MVDR自适应波束输出的基础上,提出了一种高分辨后置处理方法.在两目标方位不可分时,仿真构造两个目标的阵列输出空间方位谱,通过搜索两目标的方位和幅值,与真实数据的空间方位谱输出作匹配处理,从而获得目标的方位估计.实验室仿真及海试数据处理验证了该方法的有效性.     

一种利用GPS载波相位姿态测量的方法

GPS初始整周模糊度的求解是利用载波相位进行测量时的关键问题.采用了对系数矩阵进行QR分解的方法,用以降低矩阵的维数.模糊度搜索时,针对Z变换可能会引入多余误差,采用了对称三角分解法对协方差矩阵进行去相关处理.实验与仿真结果表明,定位误差在0.5 cm以内,方位角和仰角误差在0.1°以内.     

基于波束域MUSIC方法的高分辨方位估计

现代声纳系统普遍采用水听器基阵和一定的信号处理来提高对目标的检测和定位能力,而基阵的波束形成则在其中起着核心作用。文中研究了窄带波束域高分辨方位估计技术,分析了波束域MUSIC方位估计的构造过程和具体实现方法。仿真计算表明,基于波束域MUSIC的方位估计算法是一种分辨空间小角域内多个目标的有效方法。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于STN的任务执行过程中的资源冲突自动消解

任务在执行过程中受到各种因素的影响,任务时间可能会偏离预定计划,在资源数量有限的情况下,由于要满足时间的约束,往往会出现时间重叠而发生资源冲突。消解这种资源冲突的一个最直接的方法是及时调整任务计划时间消解潜在的资源冲突。针对任务执行过程中冲突消解人工决策耗时较长的问题,设计了一种基于STN的任务在执行过程中的自动消解方法,通过案例仿真,证明方法是可行的,并且能够比人工决策方式节约时间。