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

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

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

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

基于X射线脉冲星绝对定位中的整周模糊度改进算法研究

基于X射线脉冲星导航定位方法是一种全新的自主导航技术。该文给出了脉冲星绝对定位的基本原理,针对有关文章存在的疑问,提出了脉冲星导航绝对定位中整周模糊度改进算法,并对其进行了深入的分析和理论推导,通过仿真计算脉冲星整周模糊度和航天器的位置,得到了较理想的定位精度。这种新改进的整周模糊度算法为脉冲星绝对定位提供了新的思路。     

大面积建筑防排烟性能化设计

建立了一个理想的商场模型,根据相关条件,首先说明防排烟原理,结合规范对防烟分区合理划分,选择合适的排烟方式,即自然排烟与机械排烟结合。通过对排烟量、烟气温度的计算,设计合理的蓄烟拱高度、宽度,自然排烟口的面积等。同时对排烟风机的设置要求、排烟口的设置位置,提出了合理化的建议。     

军事行政区主轴线空间节点秩序构建

结合营区规划实例,以军事行政区主轴线为研究对象,在分析现阶段军事行政区主轴线空间节点设计中比较集中存在的几个问题基础上,提出了构建军事行政区主轴线空间节点秩序及应遵循的一般原则,并以常见的入口区—广场区—办公区—训练区的轴线构成为例,对军事行政区主轴线各空间节点的秩序构建进行了空间、尺度及人性化等设计方法的探讨,为推动营区规划的正规化、现代化建设提供一些思路和方法。     

空间信息获取系统建模与分析*

分析了空间信息获取系统概念和运作过程,建立了空间信息获取系统的SysML模型以及赋时CPN模型：通过CPNTools状态空间分析工具,验证了空间信息获取系统的逻辑性;运用CPNTools对模型进行仿真,依据仿真数据分析了空间信息获取系统的性能,并给出了空间信息获取系统的改进建议。     

空间武器系统效能分析研究

总结了进行空间武器效能评估研究的意义,给出了空间武器系统效能的概念,探讨了ADC法、指数法、层次分析法、模糊评判法、灰色层次评估法、SEA法、多指标综合评价法、系统动力学法、专家评定法等效能评估方法的优缺点及其适用范围.在详细分析了空间武器系统的构成之后,建立了空间武器系统效能的层次化分析模型,确定了空间武器系统的效能指标体系.最后根据空间武器系统的特点,提出了基于Agent的空间武器系统效能仿真分析框架.     

临近空间信息系统综合效能评估

与航空和航天信息系统相比,临近空间信息系统有着其独特的优势。为了评估临近空间信息系统的综合效能,重点探讨了系统在目标连续监视时基于ADC计算综合效能的方法,给出了整个系统可用度、可信度和系统作战能力的计算模型。     

某战车显示终端LCD控制器设计

讨论了某战车显示终端上一种LCD控制器的设计方法。采用ADI公司的双核数字信号处理器BF561作为LCD的控制器,不需要外部的ASIC时序电路,可以直接与LCD显示屏对接,简化了电路设计。详细描述了该控制器的硬件设计和软件设计,提出了设计中应注意的问题并给出了解决方案。     

大空间建筑烟气流动特性与防排烟设计对策

分析了大空间公共建筑烟气的流动特性,指出了目前大空间公共建筑在防排烟方面存在的问题,据此提出了设置吹吸式空气幕墙、软性活动式挡烟垂壁、带有伸缩管道的排烟口等大空间建筑有效防排烟设计对策。