一种改进的TCP拥塞控制算法

目前,TCP拥塞控制算法作为一种可靠的数据传输被广泛应用在因特网中．在保证网络数据传输可靠性的基础上,数据流之间的公平性是算法设计的重要的性能指标之一．在单瓶颈网络环境下对TCP数据流之间的研究算法已经被提出,但对多瓶颈网络环境下TCP数据流之间的公平性研究至今不多见．因此,根据网络层的显示拥塞指示Marking Relay ECN（explicit congestion notification,ECN）技术,研究了在多瓶颈网络环境下TCP数据流的公平性,提出了一种改进的TCP拥塞控制算法,并使该算法在IP网络中得以实现．仿真结果证明,此算法在多瓶颈网络环境下能使TCP流达到较好的数据流之间的公平性;而且所提出的算法与传统的TCP算法相比,有更高的吞吐量和更快的响应．总之,所提算法性能表现良好．     

基于网络环境的分布式KDD及Data Mining研究

本文针对ＫＤＤ的研究现状及其面临的挑战,主要讨论了基于网络环境下,面向多个站点机,多种数据库、多类数据源的分布式ＫＤＤ和Ｄａｔａ Ｍｉｎｉｎｇ的整体方案和实验系统模型,研究内容包括高效分布式开采算法,ＫＤＤ过程的无缝集成,ＫＤＤ中的知识表示、知识更新以及开采结果可视化的有效方法等。     

一个异步分布进程通信模型

文中介绍了一个异步分布式通信模型,并利用这个模型,说明通道的语法规则,这些语法规则对通道的行为进行了约束。文中所介绍的模型简称为ＰＣＡＰ（ｐｒｏｃｅｓｓ－ｃｈａｎｎｅｌ－ａｇｅｎｔ－ｐｒｏｃｅｓｓ）模型。ＰＣＡＰ模型与通道语法规划相结合,便成为一个通用、简洁的通信工具,利用这个工具,可以说明和比较不同类型的通道,也可以用它来设计和实现通道应用程序。文中最后用一个层次与Ｆ通道相结合的通道应用阐明了这     

SamEdit和SamView的设计与实现

本文介绍了面向对象地理信息系统Ｓａｍ中用于数据输入、空间数据显示输出的子系统ＳａｍＥｄｉｔ和ＳａｍＶｉｅｗ，阐述了它们的功能和体系结构     

OODBS中查询优化和查询处理技术

本文先扼要介绍了已成成功用于关系查询优化和查询处理的技术也可应用于ＯＯ查询优化和查询处理的理由。接着简要概括了这些技术，最后讨论了将这些技术用于ＯＯ查询优化和查询处理时应作的必要修改和扩充。     

机械化验证一个高效的迭代数据流求解算法

迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一个高效的迭代求解严格支配节点的算法(CHK),首先建立了值域是逆序列表集合的半格结构,逆序列表中的元素是控制流图中节点的逆后序遍历次序,并证明了它是一个半格,其偏序满足上升链条件.然后使用半格结构,实现了一个基于工作表的Kildall迭代算法,计算严格支配节点.接下来,首先给出了控制流图中支配节点的定义性规范和相关性质定理,然后构造并证明了迭代求解算法所满足的重要性质.利用这些性质定理,相对于定义性规范,证明了该迭代求解算法的正确性和完备性.最后进行总结,并讨论未来工作.整个形式化开发使用的是定理证明助手Isabelle/HOL.     

物联网环境中数据存储与查询机制研究

物联网中存在射频识别设备、传感器、智能嵌入设备等数目众多的异质设备,运行着用于标识、感知、处理和传送信息的各类服务,因而存在大量、非连续且时间敏感的数据。这类数据对保证物联网产业链的正常运转非常重要,但现有的数据管理方法不能有效解决其存储与查询问题。基于此,针对物联网数据多维、多态的特征,在面向服务的物联网数据管理框架上,以都柏林元数据标准为基础,制定了支持学习的物联网数据多级元数据标准。设计了从XML元数据描述到关系数据库存储的数据处理流程,提出了优化的数据存储与查询方案。最后对提出的存储与查询方案进行了验证。     

基于服务组合模型结构特征的性能瓶颈定位方案

在满足功能需求的前提下,组合服务的性能是赢得用户的关键,如何发现和消除性能瓶颈则是服务组合面临的重大挑战。面对这个挑战,提出一种基于服务组合模型结构特征的性能瓶颈分析方案。为了确保方案的可行性和有效性,除了对方案技术路线的可行性进行论证,还指出了实现方案需要解决的关键基本问题,即找出服务组合模型的最小结构完备集。提出一种基于随机Petri网的Web服务组合性能分析模型,并给出此模型最小结构完备集的求解和证明过程。最后,通过 一个应用实例说明了方案的有效性。     

信息安全专业的师资队伍建设

师资队伍水平作为高校教育质量和学术水平的决定性因素,在高校办学中起着关键作用。文章探讨武汉大学信息安全专业师资队伍建设的若干行之有效的措施和方法,包括培训、交流、科研、人才引进等。     

MDOCEM中的一种启发式任务分解算法

本文主要讨论基于多Ａｇｅｎｔ的分布式开放计算环境模型（ＭＤＯＣＥＭ）中的任务分解问题。我们首先用一种形式化方法描述了任务分解问题，然后提出了一种求解该问题的近似最优解的启发式算法。