您的位置: 专家智库 > >

国家自然科学基金(60173012)

作品数:9 被引量:173H指数:6
相关作者:林闯刘婷刘卫东李雅娟田立勤更多>>
相关机构:清华大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 9篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 3篇时间PETR...
  • 3篇网络
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 2篇性能评价
  • 2篇工作流
  • 1篇代数描述
  • 1篇性能分析
  • 1篇业务流
  • 1篇业务流程执行...
  • 1篇一致性
  • 1篇有效性
  • 1篇语言建模
  • 1篇执行语言
  • 1篇时段
  • 1篇随机PETR...
  • 1篇通信顺序进程
  • 1篇人工智能
  • 1篇着色PETR...

机构

  • 8篇清华大学

作者

  • 8篇林闯
  • 3篇刘婷
  • 2篇李雅娟
  • 2篇刘卫东
  • 2篇田立勤
  • 1篇魏丫丫
  • 1篇周文江
  • 1篇尹浩
  • 1篇单志广
  • 1篇曲扬
  • 1篇付强
  • 1篇刘雪宁

传媒

  • 3篇电子学报
  • 2篇计算机学报
  • 1篇清华大学学报...
  • 1篇系统仿真学报
  • 1篇微计算机信息
  • 1篇Journa...

年份

  • 1篇2007
  • 3篇2003
  • 5篇2002
  • 1篇2001
9 条 记 录,以下是 1-10
排序方式:
用进程代数描述可适应工作流的模型方法被引量:21
2002年
工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 。
魏丫丫林闯田立勤
关键词:进程代数一致性有效性通信顺序进程
A multiserver multiqueue network: modeling and performance analysis被引量:2
2002年
A new category of system model, multiserver multiqueue network (MSMQN), is proposed for distributed systems such as the geographically distributed Web-server clusters. A MSMQN comprises multiple multiserver multiqueue (MSMQ) nodes distributed over the network, and everynode consists of a number of servers that each contains multiple priority queues for waiting customers. An incoming request can be distributed to a waiting queue of any server in any node, according to the routing policy integrated by the node-selection policy at network-level, request-dispatching policy at node-level, and request-scheduling policy at server-level. The model is investigated using stochastic high-level Petri net (SHLPN) modeling and performance analysis techniques. Theperformance metrics concerned includes the delay time of requests in the MSMQ node and the response time perceived by the users. The numerical example shows the efficiency of the performance analysis technique.
ZhiguangShanYangYang
关键词:计算机网络模型分析性能分析
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理被引量:19
2001年
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。
林闯刘婷曲扬
关键词:人工智能
基于随机Petri网的系统性能评价被引量:36
2003年
性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型。
林闯李雅娟单志广
关键词:计算机网络计算机系统性能评价随机PETRI网
IP网络传输控制的性能评价标准研究被引量:18
2002年
性能评价标准是进行网络传输控制机制和算法研究的一个非常重要的问题.由于传输控制本身的多目标性,导致了性能评价标准也需要同时考虑多项内容,即需要研究综合性能评价标准.本文通过讨论包括服务质量、服务数量和公平性在内的性能评价指标、性能评价的时间尺度和评价粒度等几个基本问题,针对不同的粒度,分别从有效性和公平性两个方面提出了相应的性能评价标准.在有效性方面,定义了规格化性能函数这一概念,把时延、丢包率等服务质量和服务数量统一在一起进行评价;在公平性方面,利用随机过程均值和方差的关系,以及Raj Jain公平指数的改进公式进行评价.
林闯周文江田立勤
关键词:IP网络服务质量计算机网络
非马尔可夫随机Petri网的分析方法及应用被引量:5
2003年
Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型。文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望。
林闯李雅娟刘雪宁
关键词:非马尔可夫随机PETRI网分析方法
扩展时段时序逻辑的推理机制被引量:9
2002年
该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。
刘婷林闯刘卫东
关键词:时间PETRI网
基于CPN的业务流程执行语言建模被引量:5
2007年
提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。
付强林闯尹浩
关键词:业务流程执行语言着色PETRI网
A Model for the Integration of Buffer Management and Packet Scheduling
<正>Buffer management and packet scheduling are the main of resource management and the key mechanisms for QoS(...
Wenjiang ZhouChuang LinFengyuan Ren
文献传递
基于时间Petri网的工作流系统模型的线性推理被引量:67
2002年
目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简 。
刘婷林闯刘卫东
关键词:工作流管理系统时间PETRI网
共1页<1>
聚类工具0