检索结果-南通市图书馆

基于系统调用接口的Windows驱动程序漏洞挖掘方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机应用与软件 2025年第1期42卷 359-366页

作者：毕野川彭建山林志强战略支援部队信息工程大学网络空间安全学院河南郑州450001

面向Windows内核和驱动程序的模糊测试有无效种子变异和效率不高的问题。在基于系统调用接口的模糊测试的基础上使用Intel Processor Trace提供代码覆盖率进行驱动程序的漏洞挖掘,并通过维持接口参数数据结构进行针对性的数据变异,实现... 详细信息

面向Windows内核和驱动程序的模糊测试有无效种子变异和效率不高的问题。在基于系统调用接口的模糊测试的基础上使用Intel Processor Trace提供代码覆盖率进行驱动程序的漏洞挖掘,并通过维持接口参数数据结构进行针对性的数据变异,实现驱动程序的模糊测试框架——kifuzzer。实验证明,kifuzzer比其他针对ioctl(input/output control)的驱动程序挖掘方法效率大幅提高。

关键词： Windows内核安全漏洞挖掘驱动程序 ioctl的模糊测试

在线全文

学校读者我要写书评

暂无评论

基于惯性预测的遥感场景舰船多目标跟踪模型

系统工程与电子技术 2025年第1期47卷 41-51页

作者：潘超凡李润生胡庆包全福保永强信息工程大学数据与目标工程学院河南郑州450001 中国人民解放军61191部队浙江杭州310000 中国人民解放军95806部队北京100076 北京航天遥感国际科技发展有限公司北京100076

遥感场景下的舰船目标跟踪具有重要的战略意义和经济价值,如何克服遥感视角下舰船朝向任意性、近岸舰船密集排列等问题对跟踪性能的影响是一项具有挑战性的任务。针对遥感场景下舰船等大长宽比目标的多目标跟踪(multiple-object trackin... 详细信息

遥感场景下的舰船目标跟踪具有重要的战略意义和经济价值,如何克服遥感视角下舰船朝向任意性、近岸舰船密集排列等问题对跟踪性能的影响是一项具有挑战性的任务。针对遥感场景下舰船等大长宽比目标的多目标跟踪(multiple-object tracking,MOT)任务,提出一种基于惯性预测的多目标跟踪器(inertial predicting multiple-object tracker,IPMOT)。首先,利用检测-跟踪(tracking-by-detection,TBD)范式级联检测器和跟踪器有效避免训练过程对时序关系的依赖,通过公开的目标检测数据集实现对检测器的训练,解决跟踪数据集缺乏的问题。其次,针对TBD范式在检测阶段存在的漏检严重影响跟踪性能的问题,构建惯性跟踪模型(inertial tracking model,ITM),通过多步预测来实现检测器漏检时的跟踪保持,并利用角度修正消除边界处角度突变的影响。最后,为实现所提算法的模型训练和性能测试,制作舰船MOT(ship MOT,SMOT)数据集。实验结果表明,所提模型在MOT精度(MOT accuracy,MOTA)和识别F1分数(identity F1 score,IDF1)指标上分别提升3.9%和7.2%,在IDs和Frag指标上的表现有明显改善,具有较好的跟踪精度和稳定性。

关键词：遥感场景舰船目标多目标跟踪惯性预测检测-跟踪范式

维普期刊数据库博看期刊

面向杂凑密码算法的专用指令加速器的设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2025年第2期61卷 363-371页

作者：王轩刘勤让陈磊魏帅范旺杨恒郑州大学网络空间安全学院郑州450002 战略支援部队信息工程大学信息技术研究所郑州450002 井芯微电子技术(天津)有限公司天津300457

物联网的快速发展对嵌入式设备的系统性能和数据安全性的要求越来越高,传统的通用嵌入式处理器对密码算法的实现效率不高,不能很好满足性能需要,此外嵌入式设备还有着低功耗的场景需求。为解决以上问题,在Xilinx ZYNQ ZC706嵌入式开发... 详细信息

物联网的快速发展对嵌入式设备的系统性能和数据安全性的要求越来越高,传统的通用嵌入式处理器对密码算法的实现效率不高,不能很好满足性能需要,此外嵌入式设备还有着低功耗的场景需求。为解决以上问题,在Xilinx ZYNQ ZC706嵌入式开发平台上设计了一个低功耗的面向杂凑密码算法的专用指令加速器,该加速器包含有取指译码单元、执行单元和数据访存单元,通过多任务数据并行和专用指令实现计算加速;并设计令牌机制解决指令执行时的数据冲突问题;在高层次综合(high-level synthesis,HLS)工具的基础上通过存储优化改进访存机制,有效提高带宽利用率。实验结果表明,加速器的工作频率为100 MHz,该ARM+FPGA方案相较于单ARM方案可达3倍以上的加速效果,而且运行功耗仅为2.23 W,该加速器也可定制化拓展,有较好的灵活性。

关键词：嵌入式应用加速器设计专用指令高层次综合数据并行

基于FRT-MLVD的无源雷达机动目标徙动补偿算法

在线全文

学校读者我要写书评

暂无评论

通信学报 2019年第7期40卷 95-103页

作者：赵勇胜胡德秀靳科刘智鑫赵拥军战略支援部队信息工程大学数据与目标工程学院

无源雷达机动目标长时间相参积累过程中,目标的运动参数会引起距离徙动和多普勒徙动,导致回波信号能量分散和检测性能恶化。为实现含有第二加速度的变加速运动目标相参积累,提出了一种基于频域序列反转变换(FRT)和改进吕分布(MLVD)的相... 详细信息

无源雷达机动目标长时间相参积累过程中,目标的运动参数会引起距离徙动和多普勒徙动,导致回波信号能量分散和检测性能恶化。为实现含有第二加速度的变加速运动目标相参积累,提出了一种基于频域序列反转变换(FRT)和改进吕分布(MLVD)的相参积累算法。首先,利用 FRT 去除信号的距离徙动,将回波能量积累至同一距离单元;然后,利用 MLVD 对该距离单元内的回波进行处理,估计出目标加速度和第二加速度;在补偿目标的加速度和第二加速度引起的多普勒徙动后,利用 Keystone 变换(KT)校正目标速度引起的线性徙动,实现距离和速度的估计。仿真结果表明,所提算法可有效补偿无源雷达中机动目标的距离徙动和多普勒徙动,对变加速目标的积累效果和检测概率显著优于现有算法。

关键词：机动目标相参积累无源雷达频域序列反转变换改进吕分布 Keystone 变换

在线全文

学校读者我要写书评

暂无评论

约束准则下扩展时差直方图脉冲分选配对方法

西安电子科技大学学报 2019年第6期46卷 102-111页

作者：刘智鑫赵拥军战略支援部队信息工程大学数据与目标工程学院

由于现有的多站时差分选方法存在虚警、漏警率高,超低重频脉冲分选正确率低,且不具备稳健单脉冲分选能力的问题,提出一种约束准则下的扩展时差直方图脉冲分选配对方法。该方法首先引入约束准则对脉冲进行参数匹配,获取有效的时差分布;... 详细信息

由于现有的多站时差分选方法存在虚警、漏警率高,超低重频脉冲分选正确率低,且不具备稳健单脉冲分选能力的问题,提出一种约束准则下的扩展时差直方图脉冲分选配对方法。该方法首先引入约束准则对脉冲进行参数匹配,获取有效的时差分布;而后采用扩展和递归运算依次完成各辐射源脉冲的分选与配对。经约束限制后,无关脉冲配对机会降低了,从根本上减少了虚假时差和噪声时差,并有效地抑制了虚假目标的产生。仿真结果表明,与现有算法相比,该算法能在不同时差测量误差条件下提高对各类型脉冲的分选正确率,同时降低虚警率和漏警率,实现了对脉冲数极少的超低重频脉冲和单脉冲的准确分选与配对.

关键词：电子侦察脉冲分选配对时差约束准则

在线全文

学校读者我要写书评

暂无评论

存在站址误差下的时频差稳健定位算法

雷达学报（中英文） 2020年第5期9卷 916-924页

作者：高向颖赵拥军刘智鑫刘成城战略支援部队信息工程大学数据与目标工程学院郑州450001

针对现有算法定位精度低,稳健性差的问题,该文基于误差校正的思想,改进了经典两步加权最小二乘(TSWLS)算法的步骤2,提出一种站址误差条件下基于到达时间差(TDOA)和到达频率差(FDOA)的高精度、稳健动目标无源定位算法。所提算法的步骤2... 详细信息

针对现有算法定位精度低,稳健性差的问题,该文基于误差校正的思想,改进了经典两步加权最小二乘(TSWLS)算法的步骤2,提出一种站址误差条件下基于到达时间差(TDOA)和到达频率差(FDOA)的高精度、稳健动目标无源定位算法。所提算法的步骤2对步骤1中引入的辅助变量进行泰勒展开以构建误差校正方程,避免了经典两步加权最小二乘算法中的矩阵缺秩问题和非线性运算,提高了算法的稳健性和定位精度。理论分析表明,在小噪声条件下该算法定位精度可达克拉美罗下界(CRLB)。仿真结果表明,在常见量级的站值误差及测量误差下,相比于现有算法,该文算法具有更强的稳健性和更优的抗噪性。

关键词：动目标定位到达时间差(TDOA) 到达频率差(FDOA) 站址误差误差校正稳健性

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2019年第10期41卷 2358-2365页

作者：赵勇胜胡德秀刘智鑫赵拥军赵闯解放军战略支援部队信息工程大学数据与目标工程学院

延长积累时间可以有效提高无源雷达的目标探测能力,但是对于高速机动目标,其速度、加速度、第二加速度等因素导致现有的检测算法在积累过程中发生距离徙动(RM)和多普勒频率徙动(DFM),使得目标检测性能恶化。该文针对无源雷达中变加速运... 详细信息

延长积累时间可以有效提高无源雷达的目标探测能力,但是对于高速机动目标,其速度、加速度、第二加速度等因素导致现有的检测算法在积累过程中发生距离徙动(RM)和多普勒频率徙动(DFM),使得目标检测性能恶化。该文针对无源雷达中变加速运动目标的长时间相参积累问题,提出一种基于相邻互相关函数(ACCF)-参数化中心频率-调频率分布(PCFCRD)-Keystone变换(KT)的相参积累算法(ACCF-PCFCRD-KT)。首先给出无源雷达中变加速运动目标的回波模型,分析了目标速度、加速度和第二加速度对相参积累的影响。针对目标第二加速度引起的多普勒频率弯曲,采用ACCF降低了距离和多普勒频率徙动的阶数,而后利用PCFCRD估计出目标加速度和第二加速度参数,在补偿了目标加速度和第二加速度引起的2次和3次徙动后,利用KT校正目标速度引起的线性徙动,并实现目标回波的积累。仿真结果表明,该算法可有效补偿无源雷达中目标运动导致的RM和DFM,对变加速机动目标的积累效果显著优于现有算法。

关键词：无源雷达相参积累机动目标相邻互相关函数参数化中心频率调频斜率分布 Keystone变换

在线全文

学校读者我要写书评

暂无评论

基于多级阻塞的稳健相干自适应波束形成

电子与信息学报 2019年第7期41卷 1705-1711页

作者：唐敏齐栋刘成城赵拥军解放军战略支援部队信息工程大学数据与目标工程学院

针对期望信号波达角(DOA)估计误差较大时相干波束形成性能下降的问题,该文提出一种基于多级阻塞的稳健相干自适应波束形成算法。该算法首先定义阻塞矩阵,推导多级阻塞原理,并利用其滤除阵列接收信号中的期望信号;然后给出空间中只存在... 详细信息

针对期望信号波达角(DOA)估计误差较大时相干波束形成性能下降的问题,该文提出一种基于多级阻塞的稳健相干自适应波束形成算法。该算法首先定义阻塞矩阵,推导多级阻塞原理,并利用其滤除阵列接收信号中的期望信号;然后给出空间中只存在期望信号时,子阵与全阵间阵列流型的映射关系,据此推导全阵扩展变换,并证明其在干扰信号存在条件下的有效性;最终利用扩展变换获取全阵最优权矢量,实现相干波束形成。该算法对期望信号波达角估计误差稳健,且无需干扰信号来向的先验信息,同时可以有效避免阵列孔径的损失。仿真分析验证了算法的优越性和理论分析的有效性。

关键词：信号处理稳健波束相干干扰波达角估计误差多级阻塞

在线全文

学校读者我要写书评

暂无评论

服务于空天协同对地观测的语义信息模型构建

地球信息科学学报 2022年第8期24卷 1421-1431页

作者：卢万杰刘伟牛朝阳谢丽敏吕亮战略支援部队信息工程大学数据与目标工程学院郑州450001 战略支援部队信息工程大学地理空间信息学院郑州450001

空天协同对地观测技术快速发展,通过空天协同对地观测的语义信息建模获取信息和知识是服务于对地观测任务执行和规划制定的重要手段之一。为有效获取空天协同对地观测平台运行状态信息并服务于对地观测任务,提出构建服务于空天协同对地... 详细信息

空天协同对地观测技术快速发展,通过空天协同对地观测的语义信息建模获取信息和知识是服务于对地观测任务执行和规划制定的重要手段之一。为有效获取空天协同对地观测平台运行状态信息并服务于对地观测任务,提出构建服务于空天协同对地观测的语义信息模型。首先,设计空天协同对地观测平台领域本体,围绕时空关系和传感器对象建模,针对典型应用需求制定空天协同对地观测规则;然后,构建空天协同对地观测领域内时间和空间关系的语义描述,结合静态和动态场景语义表达,实现对空天协同对地观测场景的语义描述;最后,构建语义信息服务实验系统,验证模型与方法的效果。结果表明,所提模型与方法能够有效描述与展示空天协同对地观测平台的运行状态和执行任务情况,有助于对地观测任务规划和决策制定。

关键词：空天协同对地观测领域本体语义模型对象建模观测规则信息描述实验系统