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

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

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

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

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

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

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

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

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

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

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

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

一种基于加权DSmT的序列图像目标识别方法

通过对自动目标识别系统研究与分析,将DSmT引入到飞机序列图像识别中,构建基本置信指派及分类规则,提出了一种基于加权DSmT的序列图像目标识别方法,在分析权值选择特点的基础上,根据特征信息的置信指派组合有效权值,并且给出了基于加权DSmT融合规则的序列图像目标识别的流程,仿真结果表明,该方法提高了序列图像目标识别的准确性.     

一种以太网系统监控的双独立互联系统

针对现有技术对高可靠性以太网系统进行监控,具有明显的缺陷和不足之处.提出了一种由用户以太网系统和附加的平衡结构外,总线互连系统组成以太网监控的双独立互连系统.在分析了该系统结构和工作原理的基础上,对系统的可靠度和可用度进行分析计算,为系统的实现提供了重要的依据.     

火灾事故调查认定结论的可诉性研究

火灾事故调查是公安消防机构为了确定火灾事故的原因和性质,依法对事故责任者提出处理意见,同时为研究火灾规律、预防和扑救火灾提供实际依据的一种行为。火灾事故调查认定结论中的火灾原因认定和火灾损失统计在法理上不能提起行政诉讼,在司法实践中法院也不应受理,应在立法上和火灾调查工作中予以明确。