SMTLOC:基于多源频谱的SMT求解器缺陷定位

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定位方面的研究,但尚未有系统的工作研究如何自动定位SMT求解器缺陷.因此,提出一种基于多源频谱的SMT求解器缺陷定位方法SMTLOC.首先,对于给定的SMT求解器缺陷,SMTLOC提出一种枚举算法,用以对触发该缺陷的公式进行变异,从而生成一组不触发缺陷,但与触发缺陷的公式具有相似执行路径的证人公式.然后,SMTLOC根据证人公式的执行路径以及SMT求解器的源码信息,提出一种融合覆盖频谱和历史频谱的文件可疑度计算方法,从而定位可能存在缺陷的文件.为了验证SMTLOC的有效性,收集60个SMT求解器缺陷.实验结果表明,SMTLOC的缺陷定位效果明显优于传统的频谱缺陷定位方法,SMTLOC可以将46.67%的缺陷定位在TOP-5的文件内,定位效果提升了133.33%.

基于机器学习的认知无线电网络协作频谱检测

为提高认知无线电频谱感知能力,解决频谱感知节点对频谱占用的错误分类,提出了一种基于机器学习的认知无线电网络协作频谱感知方法。首先,构建了一个认知无线电网络模型,并运用Kullback-Leibler散度,推导出了单个感知节点频谱感知覆盖的解析式。其次,分析了无线传感器网络的频谱感知范围和性能,提出了一种能够覆盖整个主要用户区域的多感知节点布置策略。最后,通过对比实验验证了所提方法的有效性。实验结果表明,所提方案通过多部署一个感知节点SN3能够有效缓解频谱错误分类问题,对于50mW和100mW的主要用户功率电平,其真阳率分别可达99.80%与97.5%,可有效提升频谱感知的精确度。

传输线电磁信息泄漏防护相关噪声方法设计

针对传输线电磁信息泄漏问题,在泄漏数字信号频谱特征研究基础上,采用基带频谱覆盖混淆思想,通过增加冗余同步脉冲数字信号传输,设计传输线电磁信息泄漏防护的相关噪声方法,并对该方法的安全性进行理论证明。在此基础上,结合传输线辐射发射模型对相关噪声的频域发射频谱进行仿真分析。仿真结果表明,该方法可对传输线电磁信息泄漏发射进行有效防护。

异构无人平台不规则区域协同侦察部署方法

针对未来无人化陆战场有人/无人混合编队中异构平台携带多型侦察装备的协同侦察部署问题,提出自适应粒子群-区域最优匹配(PSO-ROM)算法。采用参数自适应和局部变异方法对粒子群优化算法进行改进,并对异构平台中探测性能最优的多个同类型传感器进行优化部署;针对异构平台中的多个其他类型传感器,采用区域最优匹配算法,依次对尚未覆盖的空白区域进行优化部署,直至达到侦察部署目标。实验结果表明,采用PSO-ROM算法进行异构传感器不规则区域部署时,算法执行时间相对于传统粒子群算法平均缩短91%,覆盖率平均提升14.9%,各节点移动距离平均缩短0.65 km。采用PSO-ROM算法开展重要区域的多频谱覆盖时,雷达波段、可见光波段和红外波段的平均覆盖率分别为91.0%、94.3%和96.1%。当覆盖比F达到1.2时,待部署传感器资源的利用率已接近饱和,再增加更多的传感器资源将不会对覆盖率产生明显的改善效果。

一种基于聚类算法的缺陷语句定位技术

由于数据集的不一致,已有的基于频谱覆盖的缺陷定位方法之间的比较并不全面。本研究实现了现有的28种基于频谱覆盖的缺陷定位方法,并在同一数据集上加以比较。提出一种新的基于k-means聚类算法的缺陷定位技术,利用现有的多种方法计算出特征值,对数据集进行聚类并排序,给出一个新的语句的可疑度序列。实验结果表明:该方法可以取得比较好的结果,能够捕获到个别算法的优越性,较为有效地对程序中的缺陷进行定位。