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

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

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

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

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

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

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

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

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

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

磁悬挂天平的变结构控制

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

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

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

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

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

推动军事运筹学在军事航天领域的创新发展

在总结军事运筹学在军事航天领域应用概况的基础上,分析了信息化条件下军事运筹学在此领域面临的主要挑战,提出了其创新发展方向,并对其学科建设进行了展望,提出了一些解决措施。     

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

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