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

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

压制干扰条件下雷达组网检测概率建模与仿真

如何评价雷达组网系统在多压制性干扰环境下的检测性能是雷达电子战研究的热点问题之一.推导了以"信干比"表征的多压制性噪声干扰环境下的雷达距离方程,提出了利用"信干比"与检测概率的近似推算关系来研究噪声干扰环境下雷达组网系统检测概率分布图的一种新思路,并建立了相应的检测概率模型,在"三对三"对抗条件下进行了仿真.仿真结果不...     

基于HLA的装备保障模拟训练联邦

针对当前我军装备保障模拟训练软件系统存在的互联、互通和互操作性差的问题, 在详细分析HLA特点和我军战役装备保障力量编组的基础上, 构建了基于HLA的装备保障模拟训练联邦体系结构, 并指出了HLA联邦中仿真子系统和传统仿真子系统的不同。最后, 探讨了建设HLA仿真联邦的一些方法。     

军事侦察与刑事侦察浅析

当前学术界对军事侦察与刑事侦察的概念界定尚存争议。军事侦察权是部队与生俱来的一种权力,正是因为它与部队相伴而生,熟悉军事侦察的内容,理解军事侦察概念、属性并为其准确定位尤为重要。它直接影响着军事侦察权的行使。同时,准确把握军事侦察与刑事侦察的区别和联系,对部队正确执行任务和依法履行职责也具有重要的理论和实践意义。     

越野汽车非线性悬架系统建模与仿真研究

针对越野汽车的行驶条件,对传统线性被动悬架、非线性被动悬架和非线性主动悬架的动态特性进行了研究。建立了悬架系统的动力学模型,采用统计线性化方法对非线性弹簧悬架进行求解,利用MATLAB／SIMULlNK工具箱对悬架模型进行了动力学仿真。仿真结果表明：非线性弹簧悬架模型比传统的线性悬架模型更符合越野汽车悬架系统的振动运动,而采用基于线性二次型最优控制方法的主动控制非线性悬架,则能获得更好的行驶平顺性和操纵稳定性。     

低轨微小卫星姿态控制方案

针对轨道高度低于500km微小卫星姿态控制问题,从充分利用环境力矩的角度出发,提出一种主动磁控+气动稳定力矩的姿态控制方案.该方案较好地解决了局部稳定控制律的全局稳定问题.仿真结果表明:特征距离d∝是影响该控制方案的主要因素.d∝值越大,对控制越有利,但随着d∝值的增大,卫星总体设计难度也会加大,因此实际中应选择合适的...     

空间飞行器非共面机动策略研究

非共面机动问题是航天领域的经典问题,寻找轨道面变换的最优机动策略是研究的重点.对低轨道冲量变轨、高轨道冲量变轨和低轨/高轨冲量变轨的轨道面变换策略进行研究,建立了具体的轨道变换模型,运用遗传算法寻找到了最省燃料的轨道面变换策略.通过仿真,该机动策略相对其他2种能明显降低燃料消耗,实现轨道面的变换.     

关于综合大学背景下加强师范教育实习基地建设的思考

教育实习基地建设工作质量直接影响着教育实习工作的质量。文章就综合大学背景下如何加强师范教育实习基地建设的问题,主要从教育实习基地建设的基本原则、有效途径、关键点等方面进行了思考。     

DPA方法对加密系统的FPGA旁路攻击研究

差分功率分析(DPA)方法可有效地对加密的集成电路芯片进行攻击解密,它绕过了加解密算法繁琐的数学分析,从而获取密码和信息。以DPA攻击嵌有DES算法的芯片为例,论述了搭建实验平台,获取功率消耗数据并用统计学和密码分析学的方法推导分析得出结论,从而成功破解加密系统。     

基于卷积核剪枝的遥感目标检测模型压缩方法

针对基于卷积神经网络的遥感目标检测模型压缩问题,基于卷积核剪枝理论,设计了卷积通道剪枝的方案,对YOLOv3模型进行精简压缩.提出卷积通道的概念并将BN层系数作为卷积通道的评估因子,使用L1正则化将评估因子稀疏化,将评估因子值较小的卷积通道剔除,再对各卷积层中的参数进行微调,从而达到模型压缩的目的.使用该方法对自制的典型遥感目标检测数据集进行目标检测实验,在剔除90％参数的情况下,测试精度下降率在10％以内.实验结果表明该方法能以较小的精度损失为代价,节省大部分的储存空间和计算量.