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

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

相位调制水声通信同步算法

水声信道中存在大量的脉冲噪声和多普勒频移效应,这会给通信同步带来困难,造成水声通信系统最佳采样位置发生较大偏移,严重影响后续通信算法的处理效果。从复杂水声信道中实现较精确通信同步的目的出发,借助相位调制水声通信系统的特点,综合利用线性调频序列和m序列各自的优势,提出了一种由帧同步、位同步双重机制共同组成的水声通信同步算法,经过仿真、湖试及江试,证明了该算法的有效性。     

非高斯背景噪声下的微弱磁异常信号检测算法

针对传统的OBF分解算法在非高斯噪声下检测性能较差的问题,提出了一种带通滤波结合OBF分解的磁异常信号检测算法.首先,根据磁异常信号的频域特征,设计了Parks-McClellan最优FIR滤波器.通过对舍噪信号的带通滤波,实现对非高斯噪声的近似高斯化,同时最大程度地保留磁异常信号的信息.然后,对滤波后的信号进行OBF...     

基于插值FFT和多信号分类法的间谐波参数检测

为了在短数据且存在白噪声的情况下检测大幅度谐波附近的小幅度间谐波,提出了采用插值FFT和多信号分类法(MUSIC)相结合的间谐波参数检测方法.首先,利用加Hanning窗的插值FFT检测出信号中的主要频率成分;然后,从原信号中减去这部分信号,利用MUSIC方法对剩余信号进行频率检测,得到的两部分频率即认为是原信号中包含...     

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

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

基于SOPC的多路并行同步数字信号采集系统设计

针对某型导弹武器装备在线检测系统的需求,以软、硬件可配置的SOPC（System on a Programmable Chip）嵌入式系统为平台,以较少的硬件资源消耗为前提,应用FIFO缓存和直接存储器传输（Direct Memory Access,DMA）技术,设计数据采集系统,实现对20路并行同步数字信号的快速采集,并利用现代DSP技术对采集的信号进行滤波处理,通过USB总线将处理后的信号送到工控机,基于LabVIEW软件在工控机上实现系统的在线检测功能。     

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

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

电火工品发火信号波形采样研究

针对采样频率选取不当使采集的电火工品发火信号波形失真问题,研究了在实际采样过程中采样频率的取值方法。首先根据发火信号的特征,设计了采样方案;然后利用虚拟仪器软件对发火信号进行频谱分析,确定合适的采样频率和采样点数,进而采集完整的信号波形;最后结合试验数据对采样频率的选取进行了分析,得出了在实际采样过程中采样频率的取值规律。     

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

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

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

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