公共文化服务平台

用进程代数描述可适应工作流的模型方法被引量：21: 2002年; 工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题。; 魏丫丫林闯田立勤; 关键词：进程代数一致性有效性通信顺序进程

一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理被引量：18: 2001年; 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系。; 林闯刘婷曲扬; 关键词：人工智能

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

A multiserver multiqueue network: modeling and performance analysis被引量：2: 2002年; A new category of system model, multiserver multiqueuenetwork(MSMQN), is proposed for distributed systems such as thegeographically distributed Web-server clusters. A MSMQN comprisesmultiple multiserver multiqueue(MSMQ)nodes distributed over thenetwork, and every node consists of a number of servers that eachcontains multiple priority queues for waiting customers. An in-coming request can be distributed to a waiting queue of any server inany node, according to the routing policy integrated by the node-selection policy at network-level, request-dispatching policy atnode-level, and request-scheduling policy at server-level.; ZhiguangShanYangYang等

IP网络传输控制的性能评价标准研究被引量：18: 2002年; 性能评价标准是进行网络传输控制机制和算法研究的一个非常重要的问题.由于传输控制本身的多目标性,导致了性能评价标准也需要同时考虑多项内容,即需要研究综合性能评价标准.本文通过讨论包括服务质量、服务数量和公平性在内的性能评价指标、性能评价的时间尺度和评价粒度等几个基本问题,针对不同的粒度,分别从有效性和公平性两个方面提出了相应的性能评价标准.在有效性方面,定义了规格化性能函数这一概念,把时延、丢包率等服务质量和服务数量统一在一起进行评价;在公平性方面,利用随机过程均值和方差的关系,以及Raj Jain公平指数的改进公式进行评价.; 林闯周文江田立勤; 关键词：IP网络服务质量计算机网络

扩展时段时序逻辑的推理机制被引量：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网的工作流系统模型的线性推理被引量：66: 2002年; 目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简。; 刘婷林闯刘卫东; 关键词：工作流管理系统时间PETRI网

非马尔可夫随机Petri网的分析方法及应用被引量：5: 2003年; Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型。文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望。; 林闯李雅娟刘雪宁; 关键词：非马尔可夫随机PETRI网分析方法

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60173012)