检索结果-维普期刊中文期刊服务平台

随机Petri网模型中变迁的串、并联性能等价化简技术被引量：28: 1; 作者田立勤林闯周文江《电子学报》 EI CAS CSCD 北大核心 2002年第8期1134-1137,共4页; 随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简... 展开更多; 关键词随机PETRI网模型化简串联并联变迁化简性能等价方程 SPN; 在线阅读下载PDF 职称材料

一种紧同步随机Petri网模型的性能分析方法被引量：7: 2; 作者刘鸿林闯吴建平《软件学报》 EI CSCD 北大核心 2003年第6期1029-1036,共8页; 紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一... 展开更多; 关键词随机PETRI网性能等价性能分析紧同步模型同步变迁等价分解法; 在线阅读下载PDF 职称材料

协议分布式测试系统的性能模型被引量：2: 3; 作者刘鸿吴建平《高技术通讯》 EI CAS CSCD 2003年第8期1-7,共7页; 协议测试领域专家们已经达成共识 :新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网 (GSPN )对目前提出的几种协议分布式测试框架构造了性能模型 ,进行了性能比较和分析。为了解决状态空间爆炸的问题 ,提出了一种同步... 展开更多; 关键词协议测试分布式系统 PETRI网性能模型状态空间爆炸同步变迁实施速率等价法; 在线阅读下载PDF 职称材料

基于可达子网跟踪的业务实例性能分析: 4; 作者聂作先蒋新华 +1 位作者刘建成杨海燕《小型微型计算机系统》 CSCD 北大核心 2010年第2期327-332,共6页; 业务实例的时间性能是业务过程实时管理和调度的重要依据.业务实例的可达子网随着执行推进不断变化,其中各个活动分别处于完成、执行和等待等多种不同的状态,业务实例的性能估计只能针对该子网进行.本文首先提出执行中和等待中活动的时... 展开更多; 关键词工作流业务实例性能分析归属子图集活跃变迁性能等价模型; 在线阅读下载PDF 职称材料

广义良构工作流的业务实例性能分析: 5; 作者聂作先蒋新华 +1 位作者刘建成杨海燕《计算机集成制造系统》 EI CSCD 北大核心 2009年第12期2424-2431,共8页; 为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法。工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行。首先提... 展开更多; 关键词工作流业务实例性能分析可达子网活跃变迁性能等价模型; 在线阅读下载PDF 职称材料

题名随机Petri网模型中变迁的串、并联性能等价化简技术被引量：28: 1; 作者田立勤林闯周文江; 机构清华大学计算机科学与技术系; 出处《电子学报》 EI CAS CSCD 北大核心 2002年第8期1134-1137,共4页; 基金国家自然科学基金 (No .60 1 730 1 2 No.90 1 0 4 0 0 2 ) +1 种基金国家高技术研究发展计划(863计划 ) (No.2 0 0 1AA1 1 2 0 80 ); 文摘随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简技术提供一个坚实的基础 .另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构 ,所以对随机Petri网模型变迁的串、并联的化简 ,特别是能够推导出它的性能等价的数学公式就显得很有必要 .本文详细阐述了随机Petri网变迁的串并联的模型化简技术 ,推导出了变迁的串、并联化简的性能等价公式 ,并给出一个化简的例子 ,最后对结果的相关问题进行了分析 .; 关键词随机PETRI网模型化简串联并联变迁化简性能等价方程 SPN; Keywords stochastic Petri nets simplification of model simplification of sequent and parallel transition performance equivalent equation; 分类号 TP393.02 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种紧同步随机Petri网模型的性能分析方法被引量：7: 2; 作者刘鸿林闯吴建平; 机构清华大学计算机科学与技术系; 出处《软件学报》 EI CSCD 北大核心 2003年第6期1029-1036,共8页; 基金国家重点基础研究发展规划(973) 国家自然科学基金国家高技术研究发展计划~~; 文摘紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronous transition equivalent decomposition,简称STED)法对紧同步随机Petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.; 关键词随机PETRI网性能等价性能分析紧同步模型同步变迁等价分解法; Keywords Mathematical models Performance Random processes Theorem proving; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名协议分布式测试系统的性能模型被引量：2: 3; 作者刘鸿吴建平; 机构清华大学计算机科学与技术系; 出处《高技术通讯》 EI CAS CSCD 2003年第8期1-7,共7页; 基金 863计划(2001AA121015 2001AA112061) +1 种基金国家自然科学基金(90104002 60102009)资助项目; 文摘协议测试领域专家们已经达成共识 :新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网 (GSPN )对目前提出的几种协议分布式测试框架构造了性能模型 ,进行了性能比较和分析。为了解决状态空间爆炸的问题 ,提出了一种同步变迁实施速率等价法 (STER) ,这种方法能够对具有同步变迁的随机Petri网模型分解求解。; 关键词协议测试分布式系统 PETRI网性能模型状态空间爆炸同步变迁实施速率等价法; Keywords Protocol testing, Distributed testing, Generalized stochastic Petri nets (GSPN), Synchronizing transition equivalent rate (STER); 分类号 TN915.06 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于可达子网跟踪的业务实例性能分析: 4; 作者聂作先蒋新华刘建成杨海燕; 机构中南大学信息科学与工程学院福建工程学院; 出处《小型微型计算机系统》 CSCD 北大核心 2010年第2期327-332,共6页; 基金福建省科技重大专项前期研究项目[闽科计(2006)23号]资助; 文摘业务实例的时间性能是业务过程实时管理和调度的重要依据.业务实例的可达子网随着执行推进不断变化,其中各个活动分别处于完成、执行和等待等多种不同的状态,业务实例的性能估计只能针对该子网进行.本文首先提出执行中和等待中活动的时间性能等价模型,提出实例的归属子图集概念以跟踪实例的可达子网的动态变化,并将复杂的实例时间性能求解问题转换为更为简单的归属子图的性能求解问题,用一个例子演示了业务实例性能分析过程.; 关键词工作流业务实例性能分析归属子图集活跃变迁性能等价模型; Keywords workflow business process instance performance analysis potential instance subgraph set active transition performance equivalent model; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名广义良构工作流的业务实例性能分析: 5; 作者聂作先蒋新华刘建成杨海燕; 机构中南大学信息科学与工程学院福建工程学院电子信息与电气工程系; 出处《计算机集成制造系统》 EI CSCD 北大核心 2009年第12期2424-2431,共8页; 基金福建省科技计划资助项目[闽科计〔2007〕37号]~~; 文摘为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法。工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行。首先提出广义良构工作流网的概念并建立业务实例可达子网的规则和算法,讨论了活跃活动和活跃模式的性能等价模型,随后用这些模型化简广义良构的业务实例可达子网,并将因工作流模式的部分覆盖而不能完全化简的可达子网转换为更为简单的归属子图,以简化其性能求解。最后,通过实例演示了业务实例性能分析过程及方法的有效性。; 关键词工作流业务实例性能分析可达子网活跃变迁性能等价模型; Keywords workflow workflow instance performance analysis reachable subnet active transition performance equivalent model; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	随机Petri网模型中变迁的串、并联性能等价化简技术	田立勤林闯周文江	《电子学报》 EI CAS CSCD 北大核心	2002	28	在线阅读下载PDF 职称材料
2	一种紧同步随机Petri网模型的性能分析方法	刘鸿林闯吴建平	《软件学报》 EI CSCD 北大核心	2003	7	在线阅读下载PDF 职称材料
3	协议分布式测试系统的性能模型	刘鸿吴建平	《高技术通讯》 EI CAS CSCD	2003	2	在线阅读下载PDF 职称材料
4	基于可达子网跟踪的业务实例性能分析	聂作先蒋新华刘建成杨海燕	《小型微型计算机系统》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
5	广义良构工作流的业务实例性能分析	聂作先蒋新华刘建成杨海燕	《计算机集成制造系统》 EI CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料