ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

某火炮电击发装置关键件设计与优化

为有效提升大口径火炮的发射速度,满足大口径火炮电击发底火自动装填装置可靠性设计的要求,提出对大口径火炮电击发装置中连接击针和电击发装置的关键件进行设计与优化,利用有限元软件对关键件进行仿真,并对簧片安装孔深度及厚度等参数进行优化分析,最终设计一种能够长寿命高可靠工作的大口径火炮关键件,能够用于机-电两用击发装置,保证大口径火炮可靠击发。     

平稳小波去噪算法中的参数选择

为研究平稳小波变换去噪算法在工程应用时如何选择小波基、小波系数处理方法和阈值计算方法的参数以取得最优去噪效果,通过仿真实验,对比不同小波基、不同小波系数处理方法及不同阈值计算方法对平稳小波变换去噪算法去噪效果的影响,对算法的参数选择问题进行研究。实验结果表明：相比其他滤波器组,大部分情况下Daubechies 小波基对应的滤波器组去噪效果更好;信号信噪比较低时选用软阈值法,信噪比较高时选用硬阈值法;使用阈值法处理小波系数,信号信噪比不高的情况下应采取固定阈值法来确定阈值,信号信噪比较高时应采取无偏风险估计法。     

伺服电机积分型SMC速度控制策略

为解决伺服电机控制系统输出转速可控性差、波动大、动态响应慢等问题,提出积分型滑模变结构控制策略,设计负载转矩观测器解决控制过程中的负载扰动问题,基于Simulink搭建永磁同步电机速度控制系统仿真模型,搭建电机测试系统台架对控制系统的稳态性能和动态性能进行试验验证。研究结果表明,相比于传统比例积分微分控制和普通滑模变结构控制(Sliding Mode variable structure Control, SMC),所设计的控制策略能够使控制系统达到稳态时速度波动较小,鲁棒性较好,抑制了SMC的抖振现象。     

信息作战模拟系统的设计与实现

本文根据当前新型军事格局和我国未来战争的需求,设计并实现了一个信息作战模拟系统。系统采用层次式结构,根据已有的各种军事模型构建军事作战方案,并对生成的方案进行评估。     

基于全脉冲分段转发的LFM雷达干扰方法

线性调频(LFM)脉冲雷达输出信号时延敏感于输入信号频率,基于此,文中提出了一种基于雷达全脉冲信号分段转发的干扰方法,通过对雷达完整脉冲信号的合理分段并排序转发,在LFM脉冲压缩雷达匹配滤波处理后形成多假目标干扰。利用群延迟原理揭示了脉冲分段转发干扰机理;根据干扰信号频谱和匹配滤波原理,推导了多假目标输出形式;给出了假目标幅度不低于真目标时脉冲分段数计算公式及假目标数目最多时对应的转发次序要求;仿真实验验证了理论分析的正确性。     

基于装备论证的坦克炮武器系统仿真总体设计

以提供装备论证工作有效的参考数据作为出发点,对坦克炮武器系统的仿真作了总体设计,包括系统的功能、仿真内容、仿真程序的功能模块设计。将繁杂的分系统重新组合成为适合计算机编程实现的7个仿真点,并提出了对武器系统精度进行仿真的必要性,给出了初步的算法。     

战场环境下C3I系统效能研究

:C3I系统已成为现代化战争必不可少的重要组成部分 ,其效能分析也越来越受到人们的重视。首先对 C3I系统效能的含义做了分析 ,并在一般效能模型的基础上深入讨论了 C3I系统的作战效能 ,对 C3I系统作战效能的含义和计算进行了研究 ,给出了一种新的评价 C3I系统的方法     

飞行器航路规划算法分析

针对现代军用飞行器任务规划系统航路规划的特点,分析了飞行器航路规划的基本要求,阐述了目前国内外应用和研究的几种航路规划算法:A*搜索算法、遗传算法、粒子群算法、数学规划算法、电势理论法等,并对飞行器航路规划算法的发展趋势进行了展望.