具有双工可维修链路的2D-Torus网络可靠性模型

采用Markov模型方法研究了具有双工可维修链路的2D-Torus网络的可靠性。在分析链路失效/环路失效以及链路修复/环路修复关系的基础上，以3×3 Torus为例建立了具有双工可维修链路的2D-Torus网络可靠性模型。通过对模型的仿真验证并与单工网络的可靠性进行对比，给出了关于2D-Torus网络可靠性的一些结论。     

传输触发体系结构指导下的ASIP自动生成

提出传输触发体系结构（TTA）指导下的专用指令集处理器自动生成方法,可有效地解决指令集生成、可重定向编译和微结构设计等问题. TTA只包括一种指令即传输指令,避免了指令集生成的问题;在该方法的软件工具链中,语义翻译和调度相互独立,调度器无需关心语义,解决了可重定向编译的问题;微结构设计遵循统一模板,其寄存器传输级描述可自动生成.另外,针对应用的性能优化与连接优化过程是自动完成的.在密码算法领域的应用验证了该方法的有效性.     

流水线Web服务器Keta的资源控制

高速主干网的快速发展以及Web应用的急剧增长使得网络终端系统承受着越来越大的负载压力，为了提高Web服务器的处理能力，多种Web Server结构得到提出和实现。针对一种非对称多线程流水线服务器——Keta，研究并实现了Web服务器的资源总量控制机制和流水线体系结构的线程调配机制，实验结果表明上述机制使得Web服务器的稳定性和服务质量得到了有效的提高。     

混合预测模型PMA-GM在网格资源性能预测中的应用

提出了基于时间序列的混合预测模型，即将改进的移动平均预测模型MA和灰色预测模型GM（1，1）结合起来。该混合预测模型产生的预测准确率比较高，有效地提高了网格中调度组件的调度效率。     

方向相似性聚类方法DSCM

针对方向性数据提出了一种鲁棒的基于方向相似性度量的聚类方法DSCM．DSCM首先基于方向性度量构造目标函数，然后通过不动点迭代法对目标函数优化，获得各个样本的最终稳定状态，最后基于样本的最终状态集利用层次聚类技术实现聚类．DSCM的优势在于对方向性数据聚类时不依赖于具体的初始化参数，且能自组织地求解最优聚类划分因而有很好的鲁棒性．通过实验证实了DSCM的有效性以及对已有的两个传统方向性聚类算法的优越性．     

一种P2P环境下的VoD流媒体服务体系

在Internet上提供大规模的VoD服务是一项具有挑战性的工作.提出了一种基于P2P(peer to peer)方法的VoD服务体系PeerVoD,它能够以较小的服务器代价实现大规模的VoD应用.PeerVoD中的每个节点均使用定长的FIFO缓存队列来保存其最近所接收到的数据,以便为后续到达的节点提供服务.它具有如下特点:1) 采用分布式控制协议以支持节点的加入和离开,系统具有良好的可扩展性;2) 服务被中断的节点在进行中断恢复时,考虑了节点对目标节目接收的完整性.仿真实验表明:同等条件下,PeerVoD体系在服务器负载、节点加入时被拒绝的概率、网络资源利用率以及节目完整性等性能指标上,均优于同类体系P2VoD.     

基于悖论分析和增量求解的快速反例压缩算法

使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL(brute force lifting)算法,其时间开销过大.为此,提出一种基于悖论分析和增量式SAT(boolean satisfiablilty problem)的快速反例压缩算法.首先,根据反证法和排中律原理,该算法对每一个自由变量v,构造一个SAT问题,以测试v是否能够避免反例.而后对其中不可满足的SAT问题,进行悖论分析,抽取出导致悖论的变量集合.所有不属于该集合的变量,均可作为无关变量直接剔除.同时,该算法使用增量式SAT求解方法,以避免反复搜索冗余状态空间.理论分析和实验结果表明,与BFL算法相比,该算法能够在不损失压缩率的前提下获得1～2个数量级的加速.     

基于WCET分析的实时系统轨迹获取技术

时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.     

序列模式挖掘算法研究

数据挖掘领域一个活跃的研究分支就是序列模式的发现,即在序列数据库中找出所有的频繁子序列。目前的序列模式挖掘方法主要分为两类,一类是候选集生成-测试方法;另一类是模式扩展方法。先介绍序列模式挖掘中的基本概念,然后描述几个重要算法,最后给出性能分析。     

基于硬件虚拟接口结构的系统域网络设计

提出了一种硬件虚拟接口结构（HVIA），从硬件逻辑设计的角度介绍了一个基于HVIA结构系统域网络（HVIA—Net）的实现关键技术，给出了33MHz、64位PCI环境下实际测试的通信性能，并与同类流行的高性能网络进行了性能比较．最后简要介绍了基于PCI—E总线的系统域网络HVIA-Net-E的实现方案．