论文研究 一种主动式有状态的Web时效索引机制.pdf

一种新的前缀立方索引机制，聂晶，冯剑琳，前缀立方在浓缩数据立方的基础上利用前缀共享和基本单元组技术有效地缩小了数据立方的尺寸。由于前缀共享产生的分组结构，浓缩数

基于模型检测验证协议的方法存在状态空间爆炸问题，其中基于目标绑定搜索状态空间的方法有效控制了状态空间，但不能完全给出协议的运行情况。针对这一问题，提出了一种基于状态扩展的安全协议自动化验证机制，首先对

针对网络编码算法的能量开销大、解码出错率高等问题，提出一种多重信道感知的主动机制网络编码算法，该算法建立了系统模型来分析网络编码的工作方式，以最小化样本作为代价，采用多重信道感知的方法来检验中继节点的

一种基于多Agent的Web Services主动服务模型，杨杰，李臣明，本文设计了一种基于多Agent系统的Web Services主动服务模型。该模型把单一企业域中的UDDI封装为UDDI Age

服务质量（quality of service，QoS）作为Web服务非功能属性的代表，已被广泛作为重要的服务选择依据。现有QoS预测方法存在着难以兼顾运行效率与预测准确度的问题，且普遍忽略了服务器端

提出一种嵌入式Linux下的MD算法和实现机制，并就MD自启动方式、MD与Raidtools的整合以及进程管理等方面进行了有效改进和优化。在其方案基础上，设计一个基于嵌入式Linux平台的RAID5存

GP索引：一种基于HBase的多维索引，陈汉，胡铮，随着互联网数据量爆发式的增长，分布式数据库HBase发挥了举足轻重的作用。但是在面对众多的移动互联网服务，例如基于位置的服务（L

基于广泛使用的TCP版本TCPReno，提出了一种主动TCP拥塞控制方案，命名Active-TCP。在沿用传统的被动拥塞控制方式的同时，Active-TCP添加了主动拥塞控制方式，即在满足给定条件下，

针对静态的PNS算法使路由局部性随时间退化以及改进的PNS-CG的动态局部性维护协议的系统开销较大的问题，提出了一种动态PNS改进算法。在高动态性网络中，改进的算法比PNS-CG在占用更少的开销的情况

在主动通信算法的基础上，采用检测法解决通信失效问题，提出一种改进算法，进一步降低了通信开销，提高了通信效率。