国家高技术研究发展计划(2001AA112080) 作品数:22 被引量:697 H指数:13 相关作者: 林闯 田立勤 任丰原 单志广 魏丫丫 更多>> 相关机构: 清华大学 国家自然科学基金委员会 西北工业大学 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
IP网络中的拥塞控制 被引量:149 2003年 以拥塞控制机制演化的历史为线索 ,回顾了IP网络中已有的拥塞控制技术 ;总结了TCP流量控制、端到端流量控制和中间节点增强机制等各研究子方向中需要解决的问题 ;重点分析了主动队列管理这一热点领域中已有策略和算法的优缺点 ,并在此基础上 ,归纳和阐述了大多数算法所采用的启发式设计加仿真试验验证的模式存在的不足 ;提出了应用控制理论中的分析和设计方法研究网络拥塞控制的思路 。 任丰原 林闯 刘卫东关键词:IP网络 拥塞控制 INTERNET 服务质量 计算机网络 Web QoS控制研究综述 被引量:78 2004年 Internet的服务模式正由传统的数据通信与信息浏览向电子交易与服务转变 ,Web服务器系统作为支持电子商务的核心设施 ,需要对不同的用户或HTTP请求提供区分服务和性能保证 ,因此必须具备建立和支持服务质量 (QualityofService ,QoS)控制的机制与策略 .该文综述了WebQoS控制的研究现状 ,包括Web请求的分类机制、Web服务器应用软件的QoS控制机制、操作系统的WebQoS控制机制、中间件的WebQoS控制机制以及Web服务器集群系统的QoS控制机制与策略 ,并分析了进一步的研究方向 . 单志广 林闯 肖人毅 杨扬关键词:数据通信 服务质量 QOS 网络技术 WEB 工作流系统模型的性能等价分析 被引量:76 2002年 讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解. 林闯 田立勤 魏丫丫关键词:随机PETRI网 性能等价 工作流系统 工作流模型 计算机系统脆弱性评估研究 被引量:126 2004年 在计算机安全领域 ,特别是网络安全领域 ,对计算机系统进行脆弱性评估十分重要 ,其最终目的就是要指导系统管理员在“提供服务”和“保证安全”这两者之间找到平衡 .脆弱性评估方法的发展经历了从手动评估到自动评估的阶段 ,现在正在由局部评估向整体评估发展 ,由基于规则的评估方法向基于模型的评估方法发展 ,由单机评估向分布式评估发展 .该文阐述了脆弱性评估所要解决的问题 。 邢栩嘉 林闯 蒋屹新关键词:网络安全 计算机网络 计算机安全 计算机病毒 计算机系统 脆弱性评估 基于IXP1200的快速报文分类算法的设计与实现 被引量:14 2003年 通过对现有报文分类算法的分析和性能比较,并结合分类规则所具有的特性提出了一种新的基于IXP1200网络处理器的多维报文分类算法,称为PCBNP(packet classification based on network processor),并达到了报文的线速转发.算法除了通过减少分类的规则数和分类的域宽来加快分类的速度外,还采用重定向排序索引、位向量表示匹配规则等技术来加快分类的速度,特别是利用了规则的动态分布规律来确定查找报文字段的顺序,通过先查找“分布最均匀的字段”来达到在所有的字段被查找之前提前找到报文匹配的过滤规则的目的.算法具有高速、多维和可扩展的特性,与现有的算法比较,该算法在综合性能上优于已有的报文分类算法. 田立勤 林闯 肖人毅 李雅娟关键词:报文分类 基于线性时态逻辑的Petri网模型检测 被引量:11 2003年 Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模。线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性。文章深入描述了线性时态逻辑、Büchi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略。与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力。最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论。 蒋屹新 林闯 邢栩嘉关键词:线性时序逻辑 PETRI网 U 主动队列管理中的智能分组丢弃新机制 被引量:13 2002年 主动队列管理通过网络中间节点有控制的分组丢弃实现了较低的排队延时和较高的有效吞吐量,是TCP端到端拥塞控制近来研究的一个技术热点.已有的大多数算法在判定分组丢弃时大都沿袭了RED的概率丢弃机制,具有一定计算复杂度的随机数生成过程不利于路由器性能的优化.在本文中,我们首先定义了拥塞指数这一新的测度变量来量化描述网络的拥塞状态.接着,利用模糊逻辑设计了一种新的智能分组丢弃机制,离线的合成推理使得分组丢弃的判定仅需要简单的查表操作和比较运算即可完成,为优化路由器的性能提供了便利.数字仿真的结果表明:智能分组丢弃机制的性能优于经典的RED算法,控制队列的能力强,鲁棒性好,稳定工作域大,能很好地抵抗突发性和非弹性业务的干扰,适合工作在瞬息万变的动态网络环境中. 任丰原 林闯 魏丫丫 樊燕飞关键词:拥塞控制 模糊逻辑 分组丢弃 主动队列管理 计算机网络 一类可由基本模型嵌套组成的工作流系统的性能分析方法 被引量:6 2003年 工作流是近年来网络领域里研究的一个热点 ,对工作流模型的性能分析是工作流研究的一个重要内容 .实际的模型往往规模大而复杂 ,这为分析其性能带来了很大的困难 .但有一类模型可由工作流的四种基本模型 (顺序、并行、选择、循环 )嵌套组成 ,对于这类模型 ,本文给出了计算其性能乘积解的数学公式 .文中给出了如何由这四种基本模型嵌套组成实际模型的方法 ,推导出了计算这四种基本模型的性能等价公式 ,并按建立实际模型相反的顺序 ,用由里到外逐层的分析方法 。 田立勤 林闯关键词:工作流模型 性能分析 PETRI网 基于Intel网络处理器的路由器队列管理:设计、实现与分析 被引量:15 2003年 通过设计并实现的基于Intel网络处理器 (IXP12 0 0 )和相对区分服务模型的队列管理服务模块和一种新的缓冲管理算法DPBS (DynamicPartialBufferSharing) ,研究了系统同步、线程的任务分配。 林闯 周文江 李寅 郑波 田立勤关键词:服务质量 网络处理器 路由器 队列管理 计算机网络 基于随机Petri网的系统性能评价 被引量:37 2003年 性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型。 林闯 李雅娟 单志广关键词:计算机网络 计算机系统 性能评价 随机PETRI网