基于域感知多域分簇拓扑感知应用层组播算法

为提高应用层组播生成树的稳定性和效率,提出了一种基于域感知的多域分簇拓扑感知应用层组播算法(Mul-Dom CTA).Mul-Dom CTA算法不仅能够通过链路的传输时延将相近的节点组织在一个拓扑域中,实现数据包的就近传输,而且能够通过节点度约束进行重定向,缓解加入顺序的差异对组播树的不利影响,构建相对稳定的组播树.仿真实验证明Mul-Dom CTA模型具有良好的聚簇能力,能够有效降低组播树深度,同时降低组播树数据包的传输时延.     

计算网格任务调度的随机高级Petri网模型与分析

针对一种包含全局调度器和本地调度器的分布式计算网格体系结构,建立了该系统的随机高级Petri网（SHLPN）模型,并进行了模型精化设计以降低模型求解的复杂性,使用基于SHLPN的性能分析技术,对一种基于优先级的任务调度综合控制策略进行了性能分析与评价,数值结果显示了基于SHLPN的建模和分析方法的有效性。     

Web服务器集群QoS-aware负载均衡策略的性能评价

提出了将Web服务器进程调度中所使用的HTTP请求的内容和优先级与Web服务器集群的负载均衡策略相结合的综合控制策略.这种综合控制策略能够同时实现负载均衡和Web服务质量(QoS)控制.并且,本文提出了一种基于随机高级Petri网(Stochastic High-level Petri Net)的性能模型与分析技术,能够实现对Web服务器集群的QoS-aware负载均衡策略进行有效的性能建模与性能评价.     

“可信软件基础研究”重大研究计划综述

国家自然科学基金委员会启动实施了“可信软件基础研究”重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。     

广域Web集群的随机高级Petri网模型及性能分析

广域Web服务器集群是由多个局域Web服务器集群在Intemet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段.基于随机高级Petri网的性能建模与分析技术,提出了一种广域Web服务器集群的随机高级Petri网模型;对模型进行了精化设计以简化模型求解的复杂性;研究了广域Web服务器集群的多级负载均衡综合方案,包括广域集群级的集群站点选择算法、局域集群级的请求分配算法和服务器级的请求调度算法,这些算法可以一致地综合在随机高级Petri网模型中;并且利用随机高级Petri网的性能分析技术对负载均衡综合策略进行了性能分析与评价.     

一种基于视觉熵的图像分割压缩方法

基于视觉熵概念提出了一种静止图像分割压缩方法．通过对人类视觉系统特性的归纳,总结了基于视觉熵的图像分割原理,提出了用于量化图像特征的数学定义和基于视觉嫡的分割算法．实验结果表明,这种基于视觉熵的图像分割压缩算法既提高了压缩比,又能保证压缩后的重建图像整体上具有高的主观视觉感知质量．     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究