您的位置： 专家智库 > >

香港特区政府研究资助局资助项目(60218003)

作品数：6 被引量：40H指数：4
相关作者：林闯田立勤单志广李雅娟肖人毅更多>>
相关机构：清华大学国家自然科学基金委员会更多>>
发文基金：香港特区政府研究资助局资助项目国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇性能分析
  • 2篇随机高级PE...
  • 2篇服务器
  • 2篇服务器集群
  • 2篇负载均衡
  • 2篇WEB服务器
  • 2篇WEB服务器...
  • 2篇PETRI网
  • 2篇WEB服务
  • 1篇队列
  • 1篇队列管理
  • 1篇队列管理算法
  • 1篇性能评价
  • 1篇时态逻辑
  • 1篇时序逻辑
  • 1篇网络
  • 1篇网络处理
  • 1篇网络处理器
  • 1篇线性时态逻辑
  • 1篇线性时序逻辑

机构

  • 6篇清华大学
  • 1篇国家自然科学...

作者

  • 6篇林闯
  • 2篇单志广
  • 2篇田立勤
  • 1篇魏丫丫
  • 1篇邢栩嘉
  • 1篇肖人毅
  • 1篇李寅
  • 1篇李雅娟
  • 1篇郑波
  • 1篇蒋屹新

传媒

  • 3篇系统仿真学报
  • 2篇计算机研究与...
  • 1篇电子学报

年份

  • 2篇2005
  • 4篇2003
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于IXP1200的快速报文分类算法的设计与实现被引量：14
2003年
通过对现有报文分类算法的分析和性能比较,并结合分类规则所具有的特性提出了一种新的基于IXP1200网络处理器的多维报文分类算法,称为PCBNP(packet classification based on network processor),并达到了报文的线速转发.算法除了通过减少分类的规则数和分类的域宽来加快分类的速度外,还采用重定向排序索引、位向量表示匹配规则等技术来加快分类的速度,特别是利用了规则的动态分布规律来确定查找报文字段的顺序,通过先查找“分布最均匀的字段”来达到在所有的字段被查找之前提前找到报文匹配的过滤规则的目的.算法具有高速、多维和可扩展的特性,与现有的算法比较,该算法在综合性能上优于已有的报文分类算法.
田立勤林闯肖人毅李雅娟
关键词：报文分类
基于线性时态逻辑的Petri网模型检测被引量：11
2003年
Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模。线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性。文章深入描述了线性时态逻辑、Büchi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略。与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力。最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论。
蒋屹新林闯邢栩嘉
关键词：线性时序逻辑PETRI网U
Web服务器集群QoS-aware负载均衡策略的性能评价被引量：1
2005年
提出了将Web服务器进程调度中所使用的HTTP请求的内容和优先级与Web服务器集群的负载均衡策略相结合的综合控制策略.这种综合控制策略能够同时实现负载均衡和Web服务质量(QoS)控制.并且,本文提出了一种基于随机高级Petri网(Stochastic High-level Petri Net)的性能模型与分析技术,能够实现对Web服务器集群的QoS-aware负载均衡策略进行有效的性能建模与性能评价.
单志广林闯
关键词：WEB服务器集群随机高级PETRI网负载均衡性能评价
一种适用于网络处理器的队列管理算法被引量：6
2005年
遵循比例区分服务模型,设计了一种适用于网络处理器的队列管理算法·算法包含两部分,分组入队列时实现丢失率控制的RR-PLR(round-robinbasedproportionallossrate)和分组出队列时实现时延控制的WRR-PAD(WRRbasedproportionalaveragedelay)·算法采用轮循的机制,避免了除法运算和排序操作,具有O(1)的复杂度,而且易于在网络处理器上实现·性能模拟以及实测的结果表明,该算法能有效实现平均分组丢失率和平均排队时延的比例控制,系统的总吞吐率达到了1·125Gbps(每个分组64B,即2·25Mpps)·
郑波林闯李寅
关键词：队列管理缓冲管理分组调度
一类可由基本模型嵌套组成的工作流系统的性能分析方法被引量：6
2003年
工作流是近年来网络领域里研究的一个热点 ,对工作流模型的性能分析是工作流研究的一个重要内容 .实际的模型往往规模大而复杂 ,这为分析其性能带来了很大的困难 .但有一类模型可由工作流的四种基本模型 (顺序、并行、选择、循环 )嵌套组成 ,对于这类模型 ,本文给出了计算其性能乘积解的数学公式 .文中给出了如何由这四种基本模型嵌套组成实际模型的方法 ,推导出了计算这四种基本模型的性能等价公式 ,并按建立实际模型相反的顺序 ,用由里到外逐层的分析方法 。
田立勤林闯
关键词：工作流模型性能分析PETRI网
广域Web集群的随机高级Petri网模型及性能分析被引量：2
2003年
广域Web服务器集群是由多个局域Web服务器集群在Internet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段。基于随机高级Petri网的性能建模与分析技术,提出了一种广域Web服务器集群的随机高级Petri网模型;对模型进行了精化设计以简化模型求解的复杂性;研究了广域Web服务器集群的多级负载均衡综合方案,包括广域集群级的集群站点选择算法、局域集群级的请求分配算法和服务器级的请求调度算法,这些算法可以一致地综合在随机高级Petri网模型中;并且利用随机高级Petri网的性能分析技术对负载均衡综合策略进行了性能分析与评价。
单志广林闯魏丫丫
关键词：WEB服务器集群随机高级PETRI网负载均衡性能分析
全选 清除 导出
共1页<1>
聚类工具0