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

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

径向特征下的改进三角形星图识别算法

三角形星图识别可靠性与可操作性较强,目前仍在广泛使用,但是三角形星图识别算法存在冗余匹配和误识别。通过星点的几何分布构建星点的径向特征量,依据径向特征量对星图进行初始识别,将拍摄星点的识别结果限定在数颗导航星上。在初始识别的基础上,运用三角形星图识别算法再次进行识别,使三角形星图识别更具针对性,同时提高识别的正确性。实验结果表明,采用基于径向特征的改进三角形识别算法,星图识别的准确性和针对性都得到了提高。     

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

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

运用对抗演练法评估边防战术训练初探

战术对抗演练是战术训练的重要方法,已在边防部队实战技能训练中得到广泛运用。侧重挖掘的是战术对抗演练在边防战术训练中的另一个重要作用,即评估战术训练水平的作用,着重从对抗演练法评估边防战术训练的必要性、运用的基本思路及应注意的问题三个方面进行论述。     

给定降质约束下一类DCT域图像水印算法的拉伸系数估计

数字水印是数字作品版权保护的重要技术手段。与噪声污染类似,数字水印的嵌入必然会损失原作品的质量。数字图像的质量直接关系其商业价值,在给定降质约束下自适应地调节嵌入深度是符合产业化标准的数字水印关键技术之一。根据DCT交流系数的拉普拉斯分布模型,推导了DCT域典型水印算法中拉伸系数与信噪比和峰值信噪比之间的理论关系。依据该理论关系,得到了在给定降质约束下一类典型图像水印算法的拉伸系数估计方法,实验结果表明该估计方法具有较高的精度。     

多群体合作型协进化方法的数学建模及分析

采用传统单群体GA中模式复制方程的分析方法 ,对一种多群体合作型协进化方法建模并进行数学分析 ,对于目前尚未解决的协进化过程中的关键问题 ,包括个体适应度的评价方法、群体间合作的回报信贷分配以及由此影响到群体中个体的增长规律等在理论方面进行分析。最后表明 ,数学建模与分析的结果与Potter的实验结论相吻合     

磁悬挂天平的变结构控制

鉴于磁悬挂天平系统强烈的非线性特性及存在的多种不确定性 ,针对非匹配不确定性情况设计了变结构控制器。根据对悬浮时模型受力图的分析及其模型两端电磁力、电流和电压的平衡关系 ,并以Y轴方向受力为例 ,讨论了磁悬挂天平的非线性变结构设计过程。该设计的目的是使镇定误差趋近于 0 ,其设计步骤包括期望性能到期望力的传递、满足滑动模态可达条件的控制力到控制电压的传递、控制电压的求解。同时对设计的结果进行了仿真分析 ,仿真结果表明磁悬挂天平的变结构控制系统具有良好的动态性能     

C2组织指挥控制关系的形式化描述*

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。     

《国防科技》2020年发表文献和建设情况浅析

国防科技是具有基础性、引领性的战略工程,期刊聚焦于这一领域特色鲜明、使命艰巨.本文主要基于CNKI数据库和万方数据库,检索《国防科技》2020年发表的全部论文,对每篇论文的标题、作者、工作机构、基金项目和下载量等文献计量指标进行统计分析;同时,对本年度开展的质量建设相关工作进行回顾性定性阐述,旨在为2021年办刊工作提...     

基于VR的加油装备虚拟样机技术研究

目前,我军加油装备的开发依赖物理样机解决设计中的问题,其信息交流不 便、开发费用昂贵、开发周期长。应用VR技术得到加油装备的虚拟样机,可以代替装备物 理样机解决和交流设计过程中的问题,提高装备的开发水平、整体性能,降低开发成本与开 发周期,实现了加油装备开发的数字化、信息化,综合效益显著。