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.     

雷达情报特征的Bayes识别方法

根据雷达情报目标判性应用背景,对Bayes方法在该领域的应用进行了研究,初步建立了基于雷达情报特征的统计模型,并在算法的收敛速度和稳健性等方面与D-S证据理论进行了比较。仿真结果表明,Bayes方法对先验信息的精确程度要求并不十分严格,能较好地解决雷达情报综合问题。     

不变矩理论及其在目标识别中的应用

几何形状的识别在计算机视觉中具有十分重要的意义,一般几何形状可以分为区域和边界两种。不变矩特征在图像平移、伸缩、旋转时均保持不变。介绍了利用图像的不变矩向量进行目标形状识别的方法,并比较了Hu提出的基于区域的不变矩和Chen提出的基于边界的不变矩的性能和计算速度。     

《老子》单音动词分析

<老子>五千言,使用动词较多,其中单音动词占大多数,复音动词较少.单音动词大多数使用本义,其中单义词多,多义词少.词义发展途径主要是引申.单音动词主要作谓语,此外还可以作主语、定语、状语等.     

如何读懂英美报刊的标题

迅速读懂英美报刊的标题对搜集处理信息,了解世界动态意义重大.要达到这一目的,就必须了解报刊英语标题的特点,具备一定的西方国家社会发展和文化历史等背景知识.