软件漏洞分析中的脆弱点定位方法

针对二进制程序漏洞成因复杂难以分析的问题,提出运用污点分析的软件脆弱点定位方法,并实现了一个工具原型Sword Checker。以动态污点追踪为基础,依据漏洞模式通过特征匹配来定位软件中的脆弱点,运用二分查找定位影响脆弱点的敏感字节。实验表明,使用Sword Checker能够精确快速识别定位软件中三种类型的脆弱点,已成功分析了多个已公开漏洞的成因,并已辅助挖掘出几个未公开漏洞。     

基于物联网与三维可视化的弹药库实时监测系统

为满足部队弹药库监测的信息化、智能化、实时化、可视化应用需求,提出一种基于物联网与三维可视化技术的弹药库实时监测方案。通过综合分析弹药库实际监测需求以及应用特点,充分利用Zig Bee无线传感器网络,依托云架构下的数据采集、传输、存储、分析、展示技术,构建多平台可视化弹药库实时监测系统。详细阐述了弹药库监测系统的架构、功能和设计方案,为建设新型弹药库实时监测提供了新的思路与方向。     

基于OFDM的宽带混沌干扰信号产生技术

根据OFDM调制特点,并结合混沌序列伪随机以及初值敏感特性,提出了一种基于OFDM技术的宽带自适应多目标混沌干扰系统。该系统可灵活实现干扰频带控制,并能根据目标特征灵活调整功率谱形,还可以实现多目标同时干扰。该系统选用混沌序列作为基带干扰源,具有类随机性能好、计算量小、序列数量众多等优点。仿真结果表明:该系统具有灵活的干扰频带和功率控制能力以及优异的时频遮盖性能,可用于对多目标进行自适应干扰。     

面向大规模地理矢量线数据的多层级实时可视化技术

针对主流方法难以满足多层级实时可视化的需求,提出面向大规模地理矢量线数据的多层级实时可视化技术。建立面向多层级瓦片绘制的自适应可视化模型,设计像元四叉R(pixel quad R, PQR)树空间索引和基于PQR树的自适应可视化算法,分别用于支撑模型的数据组织和可视绘制。在10亿规模数据集上的实验表明：该技术在0.57 s内可计算任一层级上的可视结果,并且计算耗时大幅小于主流方法。当数据规模急剧增长时,该技术在各显示层级上仍具有较好的可视性能,最低可视速率超过100张/s,大幅优于主流方法。该技术在单机条件下即可支撑大规模地理矢量线数据的多层级实时可视化,在空间大数据探索分析领域具备较好的应用前景。     

滑阀副配磨参数微机控制测量系统的研究

本文论述了滑阀副配磨参数的测量原理,提出了微机控制的滑阀副配磨参数测量系统,介绍了系统的硬件与软件设计,给出了测量系统的实验结果,并对测量系统进行了误差分析,最后得出几点结论。     

基于能力匹配的网络化防空作战联盟生成研究

作战联盟用于描述网络化防空作战的组织框架,其生成问题是研究网络化防空作战协同的基础。首先从任务、联盟表达、能力含义等方面对防空作战联盟问题进行了描述;然后从防空作战节点与面临任务在能力上的供需关系出发,建立匹配、匹配域、能力裕度等相关观念,并依据防空作战联盟形成的不同准则,分别建立基于能力裕度最大和基于执行节点数最少两个NADOC生成问题的约束优化模型;最后通过案例对模型进行了验证分析。     

无动力运载器出水过程误差分析

无动力运载器在出水过程中受海浪的扰动作用,运动参数会产生一定的偏差。针对海浪随机性的特点,应用波能谱理论,在P-M谱基础上构建了随机海浪模型,并使用四元数法建立运载器水弹道数学模型,解决了运载器垂直出水姿态角存在的奇异性问题,通过采用二元切片法给出波浪力的计算公式。最终在Matlab/Simulink仿真工具箱下建立了运载器仿真模型,就不同海况与主浪向角影响下运载器出水的运动参数偏差进行了仿真计算,分析了其变化规律。仿真结果表明,运载器在4级海况以下各项运动参数都满足出水要求,对运载器的设计与使用具有一定的参考意义。     

某高低机蜗轮磨损寿命计算研究

针对某型火炮高低机蜗轮蜗杆因磨损产生不自锁的现状,通过分析蜗轮表面磨损形貌,采用Archard磨损理论,根据蜗轮蜗杆传动的实际情况,推导出磨损计算公式并结合有限元方法,对蜗轮的磨损寿命进行计算,为预测火炮故障和实现精确化保障打下基础.     

关于军事科技新闻报道

信息时代下的新闻媒体正以全新的形态全方位展示着科技事件,而军事科技新闻报道也愈发因其针对性强、关注度高而成为军事新闻的重要分支。文章就如何写好军事科技新闻报道,从知晓军事科技新闻内涵、将军事科技新闻写成老百姓的日常读本、严控新闻报道中的军事秘密三个方面谈了一些自身体会。     

具有适应值预测机制的遗传算法

针对适应值计算费时的优化问题,提出一种具有适应值预测机制的遗传算法:为了有效控制预测适应值的准确度和预测频率,建立了一个基于可信度概念的适应值预测模型,引入可信度流失机制以减少预测误差的传播和累积,引入冗余个体剔除机制以减少计算消耗。利用3个基准函数对算法进行收敛性和有效性的测试,测试结果表明算法对于3个测试函数均能获得满意的最优解,并且都能减少60%以上的真实适应值计算次数。