ASLR机制脆弱性自动分析方法

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

美国应对外空国际条约的做法简析

针对现行国际空间法存在的诸多漏洞和缺陷,国际空间大国积极利用这些漏洞寻求开展外空试验的依据,并规避法律的约束以发展外空武器装备,使得外空存在被武器化的风险,外空军备竞赛日益激烈。因此,研究并利用外空条约、关注空间大国开展外空试验的现实做法,可以为开展外空活动提供借鉴和依据。本文重点研究了美国海基反卫试验和轨道快车试验,从试验背景、目的、对外口径以及对外反应几个方面,综合对比分析了试验的现实做法,剖析了美国应对外空条约的做法,从技术上、政策上和法律上得出了如何应对的方法和途径。研究成果可为我国合理合法地开展外空行动提供借鉴,从而赢得国际社会的认可。     

高层民用建筑总平面设计图消防审核的若干问题探讨

结合部分消防车辆性能参数,对高层民用建筑消防车道、扑救场地的设定进行了一一探讨,并明确了原则,以期设计、建设、规划等单位,在确保节省用地,符合规范的前提下,满足灭火救援需要。     

扁平大空间建筑烟气填充规律研究

采用理论计算和计算机模拟相结合的方法,研究了使用两种不同方式计算得到的扁平大空间建筑火灾烟气温度分布的特征和规律,并采用了将扁平大尺度空间划分为多个不同形式子单元的形式,对不同空间划分情形下火灾烟气温度和烟气层厚度的变化规律进行了研究,从而得出了扁平大空间建筑火灾烟气温度和厚度分布的规律,为研究此类建筑的烟气填充规律提供了一定的方法和思路。     

Analysis of a finite‐buffer bulk‐service queue with discrete‐Markovian arrival process: D‐MAP/Ga,b/1/N

Discrete‐time queues with D‐MAP arrival process are more useful in modeling and performance analysis of telecommunication networks based on the ATM environment. This paper analyzes a finite‐buffer discrete‐time queue with general bulk‐service rule, wherein the arrival process is D‐MAP and service times are arbitrarily and independently distributed. The distributions of buffer contents at various epochs (departure, random, and prearrival) have been obtained using imbedded Markov chain and supplementary variable methods. Finally, some performance measures such as loss probability and average delay are discussed. Numerical results are also presented in some cases. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 345–363, 2003.     

面向空间应用的GaN功率器件及其辐射效应

研究氮化镓(GaN)功率器件及其辐射效应对于解决空间应用需求、促进新一代航天器建设具有重大意义。介绍了GaN功率器件的主要结构及工作原理,综述了近年来国内外在GaN功率器件的总剂量效应和单粒子效应两方面的研究进展,并对辐射效应在GaN功率器件中造成的退化和损伤机制进行分析与讨论。研究结果显示：GaN功率器件具有较强的抗总剂量能力,但是抗单粒子能力较弱,易发生漏电和单粒子烧毁,且烧毁点多发生在栅极边缘的漏侧。对GaN功率器件辐照损伤机理的研究缺乏权威理论,有待进一步探索,为其空间应用提供理论支撑。目前,平面结构的GaN功率器件是主流的技术方案,单片集成及高频小型化是GaN功率器件未来发展的方向。     

导弹发射车抗毁伤能力分析与评估技术研究综述

现代战争日趋透明给导弹发射车战场生存带来了严峻挑战。围绕发射车的抗毁伤能力分析和评估技术,分析了发射车面临的毁伤威胁和毁伤作用机理,从抗毁伤能力评估应用的角度阐述了冲击波、动能、热和电磁四种毁伤类型的研究现状,提出了不同毁伤类型在抗毁伤能力分析和评估中的应用方向;基于易损性分析空间理论,总结了装备易损性分析的发展历程,认为从物理空间到性能空间的逻辑传递关系是现阶段发射车易损性分析的核心所在,并从物理判据、性能判据和分级标准介绍了易损性判据的研究动态,提出了发射车易损性判据的关键;明确阐述了发射车抗毁伤能力的研究概念和分析方法面临的主要问题,研究结论可以为导弹发射车抗毁伤能力分析和评估相关研究提供参考。     

"黑箱”子网络单子网络故障的在线诊断

故障在线诊分析了测试点电压增量与故障子网络空间的关系,提出了将测试点电压增量投影到子网络空间定位故障子网络的方法.该方法仅需一次测试结果,且不依赖于子网络内的结构和参数,故可用于"黑箱”子网络的故障诊断.     

地基雷达探测临近空间高超声速目标优化部署方法

为提高地基雷达对临近空间高超声速目标的探测能力,探讨了一种实用高效的地基雷达优化部署方法,对地基雷达探测临近空间高超声速目标的难点和数学模型进行了分析,提出了地基雷达探测临近空间高超声速目标的部署原则和量化指标,建立了地基雷达优化部署模型,并进行了信息素引导性控制的蚁群算法设计。仿真结果表明,该方法可实现多种程式地基雷达的优化部署,提高了地基雷达优化部署效率和可操作性,为地基雷达探测临近空间高超声速目标的优化部署提供了一种新思路。     

地下储油复杂组合空间油气扩散蔓延三维数值模拟

针对地下储油复杂组合空间,采用大涡模拟的方法构建了油气扩散蔓延三维数值模拟模型,完成了油气扩散蔓延区域的空间离散和三维数值模拟求解优化,并进行了数值计算与分析。结果表明,在地下复杂组合受限空间油料泄漏后,罐室内的油气填充顺序为由边缘到出口、由底部到上部,油气不能达到100%的充满状态,罐室拱形顶部油气体积分数低于其爆炸下限的20%;罐室内油气的产生和蔓延十分迅速,从泄漏至到达罐室口仅需10 s,进入坑道仅需1 min;油气在流出罐室进入坑道后,具有迅速向四周扩散蔓延,流向一切可能注入的空间的特性。研究结果为地下储油工程的施工建设、安全管理、危险源监控等提供了有益参考。