基于源代码的缓冲区溢出预防技术

基于缓冲区溢出的攻击是一种常见的安全攻击手段,也是目前惟一最重要最常见的安全威胁。在所有的软件安全漏洞中,缓冲区溢出漏洞大约占一半。该文从编程的角度分析了缓冲区溢出攻击,并提出在源代码阶段尽量避免缓冲区溢出的方法。     

关系数据库缓冲区置换策略的性能评测(英文)

缓冲区是计算机领域一个非常重要的研究主题。现在存在很多缓冲区置换策略,广泛地用于操作系统、文件系统、数据库以及存储系统中。提出了一种性能评测方法来评测关系数据库的缓冲区置换策略。这种方法采用直接测试方式,使用五个性能指标,包括新提出的指标以及由于模拟方法的局限性在以前的研究中很少使用的性能指标,同时利用显著性测试并提出一种联合使用多个显著性测试的方法进行置换策略之间的比较,设计和使用多种工作负载在单用户和多用户情况下有效地评测各种策略。使用这种评测方法,在一个真实的关系数据库环境中,对十三种典型的缓冲区置换策略的性能进行了详细、全面的实验研究,从中可以获得一些有用的结论。     

一种高效的通用数据压缩算法

本文在著名的LZW数据压缩算法基础上,提出一种新的数据压缩算法。新算法以对已压缩过的数据进行历史分析为手段,采用三个编码器对源数据序列分类编码。该算法适用压缩各种类型的数据,完全兼容LZW算法,并在平均压缩率方面较后者有较大的提高。     

Fe(Ⅲ)-过氧化氢-亚硝酸盐催化BSA蛋白硝化的影响研究

采用分光光度法研究了不同pH Hepes缓冲液中Fe(Ⅲ)-过氧化氢-亚硝酸盐催化牛血清白蛋白(BSA)发生蛋白质硝化的情况.实验结果表明:在Hepes缓冲液中,EDTA-Fe(Ⅲ)及柠檬酸铁均能够催化过氧化氢-亚硝酸盐引起BSA的硝化.在EDTA-Fe(Ⅲ)-过氧化氢-亚硝酸盐体系中,BSA的硝化程度随pH的升高而依次增强,亚硝酸盐含量随pH值的升高而降低,说明碱性环境有利于EDTA-Fe(Ⅲ)-过氧化氢-亚硝酸盐催化BSA发生蛋白质硝化;而在柠檬酸铁-过氧化氢-亚硝酸盐体系中,BSA的硝化程度随pH的升高而依次降低,亚硝酸盐含量随pH值的升高而升高,说明酸性环境有利于柠檬酸铁-过氧化氢-亚硝酸盐催化BSA发生蛋白质硝化.进一步研究表明:EDTA-Fe(Ⅲ)催化过氧化氢-亚硝酸盐发生蛋白质硝化作用强于柠檬酸铁.     

新型变权弱化缓冲算子的构造

根据灰色系统理论中的新信息优先利用原则,在灰色系统缓冲算子三公理体系下构造了新型变权弱化缓冲算子,研究了缓冲算子调节度与可变权重之间的关系.变权缓冲算子有效解决了由于传统缓冲算子不能实现作用强度的微调而导致的缓冲作用效果过强或过弱的问题.最后,通过实例说明了变权缓冲算子在控制作用强度方面的灵活性     

基于单调初等函数的缓冲算子构造

在灰色系统缓冲算子公理体系下,将缓冲算子的构建和函数联系起来,利用基本初等函数(指数函数和余切函数)构造了2大类新的缓冲算子,并研究了其特性,最后通过实例验证了所构造的缓冲算子的实用性.解决了冲击扰动系统数据序列建模预测过程中常常出现的定量预测结果与定性分析结论不符的问题.     

高炉蓄热缓冲器传热模型及缓冲能力研究

以武钢新3＃高炉引进的蓄热缓冲器为研究对象,建立其二维传热模型,运用该模型研究蓄热缓冲器用于布袋除尘工艺中异常工况下的缓冲能力. 模型计算结果及实测数据对比分析表明,该蓄热缓冲器满足布袋除尘工艺缓冲要求     

基于VxWorks系统的二维硬件加速显示驱动技术

针对当前VxWorks系统图形显示驱动已无法满足用户需求的问题,提出了一种基于二维(2D)硬件加速引擎的图形显示驱动技术,实现了UGL的二维硬件加速、硬件光标、硬件双缓冲、Overlay覆盖等功能,提高了VxWorks系统的图形显示性能,满足了实时系统的应用需求.目前该设计已在多型海军装备中得到应用验证.     

一种移动容迟网络体系结构及其应用

移动容迟网络利用节点移动带来的通信机会,在非全连通的网络中提供低成本高可用性的传输服务.移动公交车组成的网络是典型的移动容迟网络,城市中公交车网络具有覆盖范围广、移动路线固定等优点,适合城市环境信息收集和分发等多种应用.结合移动容迟网络的特性,提出了层次化的移动容迟网络体系结构和3层网络架构,结合城市中公交车辆,研究并设计了若干关键技术,包括Internet快速接入机制、公平的数据收集机制、基于地理位置的数据分发机制和缓存管理与调度机制.通过真实场景下的实验和基于trace的仿真实验,验证了提出的算法和机制具有较好的性能和鲁棒性.     

支持线程级猜测的存储体系结构设计

在线程级猜测中进行数据依赖相关检测时,存在Cache一致性协议无法容忍线程切换引起的Cache块替换等问题。为此,通过分析推测线程数据管理模型,结合推测线程切概率低的特点,提出一种分布-共享式恢复缓冲区结构。该结构在进行Cache一致性检验时结合作废向量和版本优先级寄存器进行数据依赖检测,利用L2 Cache进行推测数据缓冲和恢复以支持推测线程切换。修改SESC模拟器以验证和评估该存储体系结构。实验结果表明,在保持模拟器理想加速比的情况下,该存储体系结构可以较好地支持推测线程切换。