魏丫丫 作品数:10 被引量:152 H指数:5 供职机构: 清华大学 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
工作流系统模型的性能等价分析 被引量:76 2002年 讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解. 林闯 田立勤 魏丫丫关键词:随机PETRI网 性能等价 工作流系统 工作流模型 广域Web集群的随机高级Petri网模型及性能分析 广域Web服务器集群是由多个局域Web服务器集群在Internet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段.基于随机高级Petri网的性能建模与分析技术,提出了一种广... 单志广 林闯 魏丫丫关键词:WEB服务器集群 PETRI网 负载均衡 文献传递 用进程代数描述可适应工作流的模型方法 被引量:21 2002年 工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 。 魏丫丫 林闯 田立勤关键词:进程代数 一致性 有效性 通信顺序进程 随机进程代数与随机Petri网 被引量:31 2002年 针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望. 林闯 魏丫丫关键词:随机PETRI网 等价 数学模型 计算机网络 主动队列管理中的智能分组丢弃新机制 被引量:13 2002年 主动队列管理通过网络中间节点有控制的分组丢弃实现了较低的排队延时和较高的有效吞吐量,是TCP端到端拥塞控制近来研究的一个技术热点.已有的大多数算法在判定分组丢弃时大都沿袭了RED的概率丢弃机制,具有一定计算复杂度的随机数生成过程不利于路由器性能的优化.在本文中,我们首先定义了拥塞指数这一新的测度变量来量化描述网络的拥塞状态.接着,利用模糊逻辑设计了一种新的智能分组丢弃机制,离线的合成推理使得分组丢弃的判定仅需要简单的查表操作和比较运算即可完成,为优化路由器的性能提供了便利.数字仿真的结果表明:智能分组丢弃机制的性能优于经典的RED算法,控制队列的能力强,鲁棒性好,稳定工作域大,能很好地抵抗突发性和非弹性业务的干扰,适合工作在瞬息万变的动态网络环境中. 任丰原 林闯 魏丫丫 樊燕飞关键词:拥塞控制 模糊逻辑 分组丢弃 主动队列管理 计算机网络 随机模型与越区切换方案的性能评价 魏丫丫关键词:随机进程代数 随机PETRI网 越区切换 计算机系统的随机模型与性能评价 林闯 李泉林 尹浩 任丰原 单志广 谭章熹 魏丫丫 在国际上首先提出了随机高级Petri网及其分析技术,以及在性能评价中的应用。该研究成果开创了一个新的研究领域,相关的学术论文发表本领域的最高刊物IEEE Transaction on Computer上,目前已经被SCI...关键词:关键词:性能评价 计算机系统 广域Web集群的随机高级Petri网模型及性能分析 被引量:2 2003年 广域Web服务器集群是由多个局域Web服务器集群在Internet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段。基于随机高级Petri网的性能建模与分析技术,提出了一种广域Web服务器集群的随机高级Petri网模型;对模型进行了精化设计以简化模型求解的复杂性;研究了广域Web服务器集群的多级负载均衡综合方案,包括广域集群级的集群站点选择算法、局域集群级的请求分配算法和服务器级的请求调度算法,这些算法可以一致地综合在随机高级Petri网模型中;并且利用随机高级Petri网的性能分析技术对负载均衡综合策略进行了性能分析与评价。 单志广 林闯 魏丫丫关键词:WEB服务器集群 随机高级PETRI网 负载均衡 性能分析 无线多媒体网络中动态越区切换方案 被引量:9 2003年 提出了一种基于动态阈值的保护信道(guardchannel,简称GC)方案.该方案的目标是使新增连接和切换连接的阻塞率保持一定的比例关系,从而保证连接之间的优先级和公平性,同时优化和改善了越区切换的性能指标:切换连接的阻塞率、新增连接的阻塞率以及系统资源的利用率.此外,算法的自调节特性使系统能够适应负载的动态变化,保证了阻塞率的平稳性.最后,分析与模拟的结果证明了该方案的可行性. 魏丫丫 林闯 任丰原 付强关键词:保护信道 越区切换 无线网络 Web传输的性能优化 魏丫丫关键词:服务质量 调度 接纳控制 模糊控制 文献传递