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

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

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

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

早期碰摩转子径向运动信号的仿真分析

针对早期碰摩时转子振动特征与其他旋转机械常见故障(如不对中)特征相重复的问题,研究转子径向运动信号中蕴含的早期碰摩故障特征。建立了转子动力学模型并求解得到仿真转子振动信号,从中计算出转子径向运动信号(径向运动速度、径向运动加速度)并进行了分析。结果表明:发生早期碰摩时,径向运动速度、径向运动加速度信号会在碰摩点处发生瞬间剧烈波动,可用来指示碰摩部位;频谱中高频成分大大增加,大部分情况下高频代替转频成为主要成分。这些特征与正常状况有显著区别,可望用于早期碰摩故障的诊断。     

基于功能-原理-行为-结构的产品模块化设计方法

把机械产品的迭代设计分解拓扑模型与模块化设计方法相结合,提出了基于功能-原理-行为-结构的机械产品模块化设计方法.主要讨论了基于功能-原理-行为-结构的产品迭代设计分解原理;分析了设计分解过程中功能→原理←→行为→结构→功能的演进的纵向迭代过程;探讨了产品设计分解的横向动态建模方法;产品迭代设计分解过程引入模块化方法,建立了基于功能-原理-行为-结构的复杂机械系统模块化设计基本方法.     

面向磁场有限元分析的舰船模块化几何建模技术研究

运用模块化思想,完成了舰船结构模块和功能模块的划分,并通过对功能模块的变参,实现了自动生成船舶各个组成部件几何模型的建模系统。最后,以某舰几何模型为基础对该舰磁场分布进行有限元分析计算。结果表明,该方法计算精度较高,能够较好反映舰船空间磁场的分布。     

随动系统实时仿真模型实现及应用

提出了一种新型随动系统实时仿真模型的实现方法。该方法利用实时工具将基于Matlab／Simulink建立的随动系统模型转换成C语言代码，并进一步封装，使之能方便地应用于实时仿真系统。通过典型实例对实时性和准确性进行分析的结果表明，该方法是可行的。     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

《国防科技》期刊文献计量分析对打造一流军事学科技期刊的启示

当前我国期刊建设面临前所未有的重大机遇和艰巨挑战。本文基于CNKI数据库对《国防科技》2013—2019年发表文献的特征、研究热点和趋势等进行文献计量分析及可视化展示。研究结果显示，“军事”和“武器工业与军事技术”是本刊的核心研究领域，“军民融合”“武器装备”和“外军”是研究热点，“无人”“信息”“大数据”和“智能”是主要关注的技术方向。综合同类期刊在国防科技领域的研究热点，如“生物安全”“5G”“定向能”“脑科学与认知科学”和“深远海科学”等，结合期刊2020年选题重点，最后从夯实质量、提升学术和追求卓越几个层面对期刊发展建设方向进行了展望。     

高原环境对弹丸动态稳定性的影响

分析了高原环境低空气密度对弹丸动态稳定性的影响。给出了弹道坐标系中的力方程组和非滚转弹体坐标系中的力矩方程组,并通过线性化方法得到弹丸角运动的状态空间模型。列出了角运动状态矩阵的四个特征根,并利用复数平方根计算方法得到特征根实部的表达式。提出弹丸动态稳定性稳定因子的新定义,并证明新的动态稳定条件与传统的动态稳定条件是一致的。讨论了低空气密度对尾翼稳定弹和旋转稳定弹动态稳定性的影响,并通过仿真说明弹丸在高原条件和平原条件下的动态稳定性存在差异。     

基于n-宗派的C2组织协作性量化分析

C2组织的协作性是目前信息化战争研究中的一个热点。利用"社会网络分析方法",对C2组织的指挥控制关系网络模型进行"n-宗派"分析,可以有效地揭示组织的子结构特征以及定量地研究组织的协作性。分析了指挥控制关系网络模型n-宗派中"n"的现实意义,设计了"宗派协作指数"和"组织协作指数"的计算方法和公式。结合示例,以2-宗派为例说明了C2组织协作性量化分析的步骤和过程。研究表明,基于n-宗派的C2组织协作性量化分析具有可操作性和现实意义。