基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

过航点舰载弹炮结合武器系统发射判定模型

针对基于过航点对弹炮结合武器系统进行火力分配中未求解过航点坐标和未考虑毁伤概率等因素,以及基于勾径点模型对弹炮结合武器进行火力分配方法过于简化、未充分考虑武器系统火力防区对弹炮发射判定的影响等问题,建立基于过航点的弹炮发射判定模型,提出了基于过航点的弹炮结合武器发射判定问题的解决方案,经仿真分析,与上两种算法对比,具有一定的改进。     

平面杆系任意截面内力算法构造及其应用

讨论了受任意集中力、集中力偶和线性分布力作用的平面杆系结构内力分析技术.遍历单元的轴向和横向荷载特征点,生成该单元的“轴向荷载教组”和“横向荷载数组”,以此为基础,构造内力计算的“特征点截面法”和“特征点递推算法”,并进行了分析.分析结果表明:两种算法适合包含梯形分布的复杂荷载组合,是一种实用的平面杆系内力计算技术,可...     

一种基于Cache的AES计时模板攻击方法

采用面向字节、分而治之的攻击思想,将AES主密钥按字节划分为若干子密钥块,为每个子密钥块的所有候选值搭建Cache计时信息模板,并采集未知密钥AES算法的Cache计时信息,使Pearson相关性算法与模板匹配,成功地恢复AES-128位密钥。实验结果表明：AES查找表和Cache结构缺陷决定了AES易遭受Cache计时模板攻击,而模板分析理论在时序驱动攻击分析中是可行的。     

综合火控系统对地轰炸精度分析仿真

针对航空轰炸武器火控系统精度分析问题,分别建立了数值微分算法和蒙特卡洛算法模型,并开发了仿真分析软件.给出了两种模型的推导过程,以及微分步长的优化方法.利用本算法软件对某型火控系统进行精度分析仿真,并对多组典型投弹条件的仿真结果进行分析.结果表明,两种算法优势互补,能有效地对火控系统进行精度分析,对改进系统设计、提高系...     

防空作战战场态势的定量化分析模型

在防空作战中,战场态势的分析非常重要,它是辅助决策的基础。针对战场态势的问题,以集对分析的同异反联系度为基础,构造了战场态势的分析模型,进行了深入探讨。最后,通过实例计算表明了分析模型对于评估战场态势的可行性和有效性。     

基于AutoSEA的船舶噪声统计能量分析仿真

应用统计能量分析法(SEA)预测中高频段船舶噪声.统计能量理论分析表明,增加左右侧底层板厚度和减小隔振器弹簧刚度有利于降低潜艇机舱内的空气噪声和辐射噪声.运用AutoSEA建立了一个潜艇模型,AutoSEA仿真结果和SEA理论分析结果相一致,证明在船舶噪声预测中可运用统计能量分析法以及AutoSEA.     

任意张角水平对称天线的矩量法计算

以任意张角的水平对称天线为研究对象,应用矩量法对其进行计算,给出了利用矩量法求解天线问题的一般思路.基于Pocklington积分方程和Galerking法,采用分域积 Dirac函数展开及点匹配模式,计算得出此类天线的电流分布、输入阻抗和辐射方向图,并对不同张角和电长度的水平对称天线进行了比较,在实际使用中可根据不同通信要求对天线进行选择.     

稀土永磁减振器特性的数值模拟分析

简要介绍了目前稀土永磁减振器的研究现状和单质量稀土永磁减振器的结构与工作原理,运用大型有限元软件ANSYS对稀土永磁减振器的工作过程进行数值模拟,分析其在工作过程中的磁通密度、磁力线分布、力学特性以及它们之间的相互关系。研究表明:稀土永磁减振器具有较好的非线性减振效果;ANSYS在模拟稀土永磁减振器工作过程时,能形象直观的反映其在工作过程中的各种特性参数。     

空中目标威胁评估技术

对空中目标进行威胁评估是防空C3I数据融合系统中非常重要的一个模块,威胁评估准确程度将对防空作战的结局产生重大影响。文中首先构建了威胁评估的指标体系,基于模糊隶属函数对各指标进行了量化处理。然后在分析威胁隶属度构成的向量满足比较序列的前提下,应用灰色关联度分析对空中目标进行威胁评估与排序。最后给出了一个实例,得到的结果与专家群体评议后的结果完全一致。