基于程序状态变迁的ASLR机制脆弱性分析方法

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

临近空间高空气球囊体材料的蠕变试验和数值分析

蠕变是临近空间高空气球囊体材料的重要特性。设计了蠕变试验架,对一种典型的临近空间高空气球囊体材料的蠕变特性进行测试,获得了该材料在常温下的蠕变数据。根据一般高分子材料的蠕变模型,结合测试得到的蠕变数据,分析高空气球囊体材料的蠕变计算模型,确定相关参数。通过有限元分析,仿真了高空气球囊体材料的蠕变量。通过对比根据蠕变模型计算的蠕变量、有限元仿真分析的蠕变量与蠕变试验得到的实际蠕变量,验证了针对DPE-3薄膜建立的蠕变模型和仿真分析的准确性。所采用的蠕变试验测试方法和计算分析结果可为临近空间高空气球的设计和分析提供参考。     

卫星移动通信信道模型及仿真

对移动卫星通信的三种典型信道进行了完整的理论分析.通信信号在不同的信道参数条件下,经过瑞利(Rayleingh)信道、莱斯(Rician)信道和阻挡效应下的莱斯信道(Rician/Lognormal)进行了计算机仿真,得到了仿真结果.经分析比较发现,信道参数不同,得到的误码率曲线不同.信道的性能主要取决于信道参数,各种因素的影响可以归结到这些参数的影响,理论分析和仿真实验结果一致.     

防空通信系统效能评估

防空通信系统是保障防空指挥和控制有效性的重要手段,其效能的好坏将直接影响到作战结果.在分析效能评估方法的基础上,根据防空通信系统的特点,建立了防空通信系统综合评估指标体系.对防空通信系统的效能评估过程进行了描述,给出了效能评估模型和评估方法,并进行了实例分析.对全面而科学地评价防空通信系统的效能具有较强的实用性.     

基于TOPSIS算法的防空通信网络系统效能评估

简要分析了防空通信网络系统的主要任务,建立了防空通信网络系统的效能评估指标体系。提出了利用TOPSIS算法进行防空通信网络效能评估的方法,可根据影响通信网络系统效能的指标及权重,对不同组网方式下的防空通信网络系统效能进行评估。示例表明,利用TOPSIS算法可对防空通信网络效能进行评估排序,能够为指挥员的决策规划提供参考。     

对流层散射下MPLS重路由信号去噪研究

针对对流层散射信道MPLS重路由信号数据含有噪声的问题,分析了Facility重路由原理和MPLS标签转发过程,引入小波阈值去噪算法对含噪声标签信号数据进行处理。利用一种随分解层数变化的阈值和折中阈值函数规则,来解决传统算法中的阈值确定和阈值函数选取存在的问题,针对折中阈值函数规则中参数a的确定问题,利用模拟数据,以信噪比(SNR)为目标函数,采用定步长变a形式,从而得到去噪效果最好时对应的a值,并用实测数据加以验证。仿真结果表明,改进后的算法在信噪比上有1.5 d B~3.4 d B的提高,均方差(RMSE)下降约0.01~0.03,为路由修复信号的去噪提供一种可行的方案。     

星间激光通信系统粗精复合扫瞄技术研究

星间激光通信系统主要分为捕获,瞄准,跟踪(APT)技术,其中捕获技术是星间激光通信系统实现通信的前提和保障,本文通过对传统凝视-扫描模式下信标光的粗瞄捕获原理,关键技术和工程应用等内容进行了详细的研究,提出了一种粗瞄与精瞄相互结合的螺旋-正弦复合扫描的方法,对该方法扫描过程中的数值分析表明,相比传统的单一粗瞄扫描方式,粗精复合扫描方法的扫描漏扫区域比单一粗扫描漏扫区域小,捕获概率更高,捕获时间短,为星间激光通信扫描捕获过程提供了一种新的扫描方式,具有重要的意义。     

双基地雷达系统时间同步方案研究

针对双基地雷达系统中时间同步方案,结合双向时间比对法对站点依赖性小,不易受外界环境影响和具备较高的精度等优势,分析了三种典型的双向时间比对法,给出了原理框图,推导了比对公式,分析了各自方案的误差来源。并作了方案之间的对比,得出基于对流层散射信道的双向时间比对法,更适合于目前的双基地雷达体系。为实现双基地雷达系统之间的时间同步提供一定的参考。     

地球静止轨道航天器绕飞持续观测任务轨迹规划与控制

针对地球静止轨道(geosynchronous orbit, GEO)航天器的高清观测任务,成像卫星在连续小推力作用下接近GEO航天器,对GEO航天器自然绕飞并以有利的光照条件对其持续观测。针对Clohessy-Wiltshire (CW)方程的偏差问题,通过修正非球形摄动和重力加速度二次长期项偏差对CW方程进行改进,补偿非线性偏差的长期项和主要的摄动项。在轨迹规划问题上,计算绕飞轨迹的初始相位角区间,以保证成像卫星在整个绕飞任务中都能够以良好的观测角观测GEO航天器。基于CW方程和改进的CW方程对成像卫星接近和绕飞GEO航天器全过程进行仿真,基于CW方程的仿真没有达到预期目标;基于改进的CW方程的仿真达到预期目标,全过程所需施加的总速度增量仅为4.67 m/s,工程上具有很强的可行性。     

抗通信时延的分布式固定时间收敛协同制导律

为使得多枚导弹在存在通信时延的情况下有效完成对机动目标的同时攻击,提出了一种抗通信时延的固定时间收敛分布式协同制导律。该制导律基于固定时间控制技术框架,实现了稳定时间边界不依赖于多导弹系统初始状态,提升了多导弹系统控制效率;采用一种快速非奇异终端滑模和虚拟领弹共同主导的方法,可实现制导律具有对抗通信时延的鲁棒性;利用了李雅普诺夫稳定性理论证明了固定时间内的一致性。仿真结果表明,存在通信时延的情况下,基于所设计的分布式协同制导律,多枚导弹能够有效地完成对目标的同时攻击。