可用带宽度量系统中的若干基本问题

结合过去3年中设计、开发和部署BNeck系统的经验,分析了13个可用带宽度量系统的工作原理及软件实现,并在此基础上总结了可用带宽度量系统中存在的若干基本问题.对这些问题的研究,不仅有利于设计和开发出高效、准确的度量系统,也有利于推动网络管理和视频通信等多个相关领域的共同发展.     

面向入侵的取证系统框架

在分析常见入侵攻击的基础上抽象出入侵过程的一般模式,提出针对入侵攻击的取证系统应满足的特征。提出了入侵取证模型,并基于这一取证模型在操作系统内核层实现了取证系统原型KIFS(kernel intrusionforensic system)。在对实际入侵的取证实验中,根据KIFS得到的证据,成功记录并重构了一个针对FreeBSD系统漏洞的本地提升权限攻击的完整过程。     

一种改进的RM可调度性判定算法

固定优先级任务可调度性判定是实时系统调度理论研究的核心问题之一.目前已有的各种判定方法可归结为两大类:多项式时间调度判定和确切性判定.多项式时间调度判定通常采用调度充分条件来进行,为此,许多理想条件下基于RM(rate monotonic)调度算法的CPU利用率最小上界被提了出来.确切性判定利用RM调度的充要条件,保证任何任务集均可被判定,并且判定结果是确切的.但是由于时间复杂度较差,确切性判定方法难以实现在线分析.提出了一种改进的RM可调度性判定方法(improved schedulability test algorithm,简称ISTA).首先介绍了任务调度空间这一概念,并提出了二叉树表示,然后进一步提出了相关的剪枝理论.在此基础上,研究了任务之间可调度性的相关性及其对判定任务集可调度性的影响,提出并证明了相关的定理.最后基于提出的定理,给出了一种改进的伪多项式时间可调度性判定算法,并与已有的判定方法进行了比较.仿真结果表明,该算法平均性能作为任务集内任务个数的函数具有显著提高.     

宽温域橡胶复合改性沥青及混合料性能研究

为了评价宽温域橡胶复合改性沥青的性能，以3种改性沥青、2种混合料类型为例，进行相关性能试验；结果表明：宽温域橡胶复合改性沥青具有优异的高低温稳定性和抗老化性能，其性能分级为PG82-28,SBS改性沥青为PG76-22，橡胶沥青为PG82-22。沥青混合料的高温动稳定度分别为SBS改性沥青的1.55～1.85倍，橡胶沥青的2.08～2.80倍；低温性能为SBS改性沥青的1.18倍，橡胶沥青的1.31倍。     

滑模在高速公路连拱隧道中隔墙施工中的应用

高速公路连拱隧道中隔墙是整个连拱隧道结构稳定的关键，是连拱隧道最重要的结构体，它对围岩的支撑稳定具有非常重要的作用。对连拱隧道中隔墙采用滑模连续浇筑施工技术进行总结分析，结合马草坡隧道实例主要研究了中隔墙滑模施工中的测量放线、滑模定位移动、混凝土浇筑及养护等。