弹载双基前视SAR俯冲段成像制导路径优化研究

弹载双基前视合成孔径雷达(Missile-Borne Bistatic Forward-Looking Synthetic Aperture Radar,MBFL-SAR)可实现俯冲段全程二维高分辨率成像,还可实现导弹间的协同作战,提高制导精度。针对此构型下发射机轨迹直接影响双基成像分辨率的问题,分析了MBFL-SAR构型下的俯冲段二维分辨率特性,结合导弹的运动特性,在二维分辨率及导弹运动学对弹道的约束下,把导弹的三维加速度变化量作为优化变量,构建了与场景内分辨率夹角相关的目标函数,利用参数自适应的改进遗传算法进行发射机弹道优化仿真。与现有的基于线性衰减模型的轨迹设计方法相比,本文所提的轨迹优化方法可更好地满足高分辨率成像的要求。

面向MBFL的测试用例约减策略

基于变异的错误定位(MBFL)是最近提出的一种自动化程序错误定位技术,错误定位精度高,但伴随着庞大的执行开销,严重制约了其在工业领域的应用.研究人员主要从减少变异体数量、减少测试用例数量和优化变异体的执行过程三个方面优化MBFL的执行效率.前两种方法被广泛研究并取得很好的定位效果,但对MBFL测试用例方面的研究较少,且存在错误定位精度损失的问题.为解决该问题,本文提出了一种基于信息熵的测试用例约减方法(IETCR).IETCR首先计算出测试用例的信息熵,然后根据信息熵对测试用例进行排序,最后选择少量有价值的测试用例执行变异体.在SIR中6个程序100个版本上的实验结果表明,IETCR能够约减56.3%~88.6%的MBFL执行开销,而且几乎保持与原始MBFL相同的错误定位精度.

弹载双基前视SAR构型参数优化设计方法

弹载双基前视合成孔径雷达(missile-borne bistatic forward-looking synthetic aperture radar,MBFL-SAR)构型,可实现接收平台俯冲段全程二维高效高分辨成像。相比于机载、星载双基构型,弹载双基构型具有不易受攻击、轨迹设计灵活、合成孔径时间短等优势。但是由于导弹机动性较强,对成像时间要求较高,这使得传统的机载/星载双基构型设计方法不适用于弹载前视双基构型。本文首先在MBFL-SAR几何模型基础上,基于梯度方法分析该构型的分辨率计算方法;然后,结合二维分辨率的特点,分析构型参数对二维分辨率的影响规律,提出一种参数降维的构型设计方法,在提高构型参数设计效率的同时,能够有效缩短成像时间;最后,通过基于典型工作参数的仿真实验验证了该方法的有效性。

基于高阶变异的多错误定位实证研究

错误定位是软件调试中最昂贵的活动之一.基于变异的错误定位(MBFL)技术假定被大多数失败测试用例杀死的变异体能够很好地定位错误的位置.之前的研究表明MBFL在单错误定位上有很好的定位效果,但关于MBFL在多错误定位上的表现没有被深入研究过.近年来,高阶变异体被提出用于构造难以被杀死的复杂错误,但高阶变异体是否能提升MBFL的错误定位精度是未知的.本文中,我们研究了一阶变异体和高阶变异体在多错误定位场景下的表现.进一步,我们依据不同的变异位置将高阶变异体划分成3类:准确高阶变异体、部分准确高阶变异体和不准确高阶变异体.探索哪类变异体在错误定位上更有效.基于5个程序上的实证研究,我们发现在多错误定位场景下,高阶变异体比一阶变异体有更好的定位效果.更进一步,我们发现不同种类的高阶变异体的影响是不容忽视的.具体而言,准确高阶变异体比不准确高阶变异体有更高的贡献.因此研究人员应提出更有效的方法生成这类变异体用于未来的MBFL研究.

The Proof of Boolean Algebraic Properties of MBFL

It is well known that Zadeh's fuzzy logic is not a Boolean algebra because it does not satisfy the Law of Excluded Middle or the Law of Contradiction, but the two-valued propositional logic does. On the other hand, a recently proposed measure-based fuzzy logic(MBFL) satisfies all the axioms of Boolean algebra. In this paper, a complete and thorough proof is given for this.