混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

卫星导航天线阵的载波联合跟踪算法

测量卫星导航信号在天线阵各阵元上的载波相位之差可用于卫星波达方向解算,但传统的各阵元独立跟踪算法在干扰条件下无法实现高精度跟踪且容易失锁。针对此问题,通过将天线阵各阵元的载波相位分解为公共的平均载波相位和低动态的残余载波相位,提出了一种联合载波跟踪算法。该算法利用平均载波相位为每个阵元共有的特点,通过对全部阵元的联合处理来提高其跟踪精度,同时通过缩小环路噪声带宽来提高残余载波相位跟踪精度。理论分析与仿真结果表明,该算法提高了波达方向解算所需的阵元间载波相位差的测量精度及跟踪灵敏度,四阵元天线阵在典型应用条件下,跟踪灵敏度提高4d B,相同载噪比下载波相位差测量精度提高3倍。     

Super-Weapons and Subversion: British Deterrence by Deception Operations in the Early Cold War

This article examines British deception operations in the early Cold War. It illustrates how, in the years before Britain could threaten atomic retaliation, Britain’s deception organisation, the London Controlling Section (LCS) was tasked with conducting operations to deter the USSR and China from starting a war or threatening British interests. It introduces a number of their ploys – some physical and military, others subversive and political. It argues that the LCS faced significant challenges in implementing its deceptions. Repeating the great strategic successes of the Second World War was extremely difficult; what remained for the Cold War were more limited deceptions.     

多全球导航卫星系统联合的探月飞行器轨道定位分析

针对探月飞行器月球公转轨道上的卫星导航定位问题,以高轨道飞行器卫星导航定位的研究为基础,采用多全球导航卫星系统联合定位的方法进行仿真。分析了载波功率与噪声功率密度比为15d BHz的弱信号捕获门限下,各系统联合定位时波束主瓣和旁瓣的可用性,同时对各系统联合情况下的精度因子值进行分析。仿真结果表明:当接收到的卫星天线辐射的主瓣和旁瓣信号均高于载噪比门限时,全球导航卫星系统的三系统或四系统的联合能满足实时定位条件;而旁瓣损耗不加以补偿时,接收信号载噪比低于门限并导致任意联合方式均无法完成定位。各系统联合的精度因子分析表明:单系统或双系统联合的几何精度因子变化剧烈,四系统联合相比三系统联合的几何精度因子下降16.93%;三系统联合定位方案中,美国全球定位系统、中国的北斗卫星导航定位系统与欧洲的伽利略卫星导航定位系统联合方案的几何精度因子值变化最平稳,为最佳选择。理论分析和仿真结果为探月飞行器定位技术研究和星载多系统接收机设计提供参考。     

柱体大攻角入水弹道建模与仿真

基于CFD计算获得了柱体大攻角入水过程流体动力特性,进而建立了大攻角入水弹道模型,使用流场-弹道耦合计算结果验证了模型的适用性和精度,然后仿真分析了入水攻角和速度对入水弹道的影响规律。该模型能较准确地预测柱体大攻角入水弹道,对研究发射平台安全性问题和空投鱼雷等入水攻击性武器的入水弹道预测问题等有较强的指导意义。     

飞航导弹故障飞行落点概率计算方法

针对飞航导弹故障飞行落点概率难以准确计算的问题,通过分析导弹的各个分系统的故障机理重新提出五种故障模式,依据逐系统串联的原理建立了故障模式的概率分配计算模型;在对发射、飞行和故障后坠落等阶段进行分析的基础上建立各故障模式的仿真模型;最后应用蒙特卡洛方法对某型导弹故障飞行落点的概率分布进行了仿真计算。     

一种基于压缩Fisher向量的目标检索方法

当前,视觉词典法(Bo VW,Bag of Visual Words)是解决目标检索问题的主要方法,但传统的Bo VW方法具有词典生成时间效率低、检索内存消耗大等问题。针对这些问题,提出了基于压缩Fisher向量的目标检索方法,该方法首先将Fisher核机制用于目标检索,它能自动降低目标图像背景带来的不利影响,然后,采用位置敏感哈希(LSH,Locality Sensitive Hashing)对Fisher向量进行压缩编码以降低计算复杂度和内存开销,使之适用于大规模数据库。实验结果表明,新方法只用几百比特就能表征一幅图像内容,对大规模目标检索有很好的适用性,且较之当前主流的压缩视觉词典法具有更高的准确率。     

一种强干扰环境下的相干弱目标DOA估计算法

提出了一种强干扰环境下相干弱信号的DOA估计算法。该算法通过修正的Toeplitz矩阵实现了对相干弱信号的解相干,然后将强干扰信号对应的特征矢量从信号子空间中剔除,最后利用MUSIC算法对弱信号进行DOA估计。所提算法不需要预知强干扰信号方位信息,对非平稳噪声有较好的抑制性能。此外,相对JJM算法,该算法具有更高的估计精度和正确概率,对强干扰信源具有更好的抑制性能。     

多波束相控阵天线角跟踪性能及测试方法

针对目前对多波束相控阵天线角跟踪性能测试研究较少的问题,首先分析了多波束相控阵天线的单脉冲和差测角方法,并对波束滑动、波束穿越及信号频率变化对角跟踪性能的影响进行了仿真分析。类比传统的雷达精度校飞试验,提出了基于飞艇的角跟踪性能测试方法,对角跟踪精度及误差范围进行测试,并利用STK软件实现了可视化。仿真分析表明,该方法可以实现对多波束相控阵天线角跟踪性能的评定并具有较高的工程应用价值。     

White hull or white elephant? Soft power and the Chinese hospital ship,the Peace Ark

Although soft power is now seen as an indispensable foreign policy tool, its efficacy has rarely been put to a rigorous empirical test. Using data from HARMONIOUS MISSIONs 2010, 2011 and 2013, this article seeks to examine the degree to which the soft power engagement missions of the Chinese hospital ship, the Peace Ark, has advanced Chinese interests. Although any conclusions drawn must be considered preliminary, as so little time has passed between the ship's visits and the current analysis, this research indicates that these missions’ impact on advancing Chinese interests was at best limited. Although observations from a single set of cases are unlikely to settle the debate between soft power advocates and detractors, it is hoped that this research will serve as a catalyst to further empirically based research on this topic.