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

基于随机进程代数的软件体系结构建模与性能评价被引量：3: 1; 作者赵会群徐凌宇 +1 位作者王国仁高远《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第1期16-19,共4页; 软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评... 展开更多; 关键词软件体系结构随机进程代数性能评价 MARKOV过程回报结构软件设计建模机制; 在线阅读下载PDF 职称材料

基于PEPA的云计算资源分配算法性能评价被引量：10: 2; 作者王倩石振国 +2 位作者孙万捷刘赛男王国涛《计算机应用研究》 CSCD 北大核心 2015年第4期1179-1183,1187,共6页; 资源分配是云计算的核心之一,对云计算资源分配算法的性能进行评价可为云计算平台设计提供指导。讨论了两种云计算资源分配算法,提出了一种基于PEPA的资源分配算法的性能评价模型,该模型通过建立云计算系统中各组件之间的交互关系进行... 展开更多; 关键词 pepa(性能评价进程代数) 云计算资源分配算法性能评价; 在线阅读下载PDF 职称材料

性能评价形式化方法的现状和发展被引量：17: 3; 作者林闯李雅娟王忠民《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1917-1922,共6页; 性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进... 展开更多; 关键词形式化方法排队论随机PETRI网随机进程代数计算机网络 PE 性能评价现状; 在线阅读下载PDF 职称材料

基于PEPA的组合服务性能建模与分析被引量：1: 4; 作者方光伟甘诚智郑啸《计算机工程与设计》 CSCD 北大核心 2009年第19期4579-4580,F0003,共3页; 当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具。针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法。基于服务组合图对组合服务中原子服务的交互行... 展开更多; 关键词服务组合性能评价进程代数性能建模性能分析:形式化方法; 在线阅读下载PDF 职称材料

一种基于PEPA流近似方法的动态自省模型: 5; 作者吕宏武王慧强 +2 位作者马春光林相君赵倩《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期710-715,共6页; 现有的基于自然语言或框图的自省模型已不能满足系统验证和分析的需求.本文采用流近似方法将PEPA转化为常微分方程组(ODEs),提出了一种基于性能评价进程代数(PEPA)语言的动态自省模型,且具有形式化推理验证和量化分析的功能,避免传统马... 展开更多; 关键词自省自律计算性能评价进程代数常微分方程; 在线阅读下载PDF 职称材料

题名基于随机进程代数的软件体系结构建模与性能评价被引量：3: 1; 作者赵会群徐凌宇王国仁高远; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第1期16-19,共4页; 基金科技部科技型中小企业技术创新基金资助项目 (0 0C2 62 113 0 0 5 0 7); 文摘软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。; 关键词软件体系结构随机进程代数性能评价 MARKOV过程回报结构软件设计建模机制; Keywords software architecture process algebra performance evaluation Markov process reward structure software design; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于PEPA的云计算资源分配算法性能评价被引量：10: 2; 作者王倩石振国孙万捷刘赛男王国涛; 机构南通大学电子信息学院南通大学计算机科学与技术学院; 出处《计算机应用研究》 CSCD 北大核心 2015年第4期1179-1183,1187,共6页; 基金国家自然科学基金资助项目(60975033) 江苏省高校自然科学基金资助项目(07KJB520096); 文摘资源分配是云计算的核心之一,对云计算资源分配算法的性能进行评价可为云计算平台设计提供指导。讨论了两种云计算资源分配算法,提出了一种基于PEPA的资源分配算法的性能评价模型,该模型通过建立云计算系统中各组件之间的交互关系进行形式化分析和推理,获得了云计算系统性能的评价指标。实验通过分析资源分配过程中不同参数变化对系统性能的影响,结果表明,PEPA模型方法可以直接评估资源分配算法性能的优劣,并能够确定算法性能提升的关键因素,从而减少云平台设计过程的周期。; 关键词 pepa(性能评价进程代数) 云计算资源分配算法性能评价; Keywords pepa cloud computing resource provision algorithm performance evaluation; 分类号 TP393.07 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名性能评价形式化方法的现状和发展被引量：17: 3; 作者林闯李雅娟王忠民; 机构清华大学计算机科学与技术系北京科技大学计算机系; 出处《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1917-1922,共6页; 基金国家重点基础研究发展规划(973计划)项目(No.G1999032707) 国家自然科学基金(No.90104002 +3 种基金 60173012) No.2001NA411040) 清华大学信息学院985基础创新研究基金; 文摘性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.; 关键词形式化方法排队论随机PETRI网随机进程代数计算机网络 PE 性能评价现状; Keywords performance evaluation formal methods queuing theory stochastic petri-net stochastic process algebra; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TP303 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于PEPA的组合服务性能建模与分析被引量：1: 4; 作者方光伟甘诚智郑啸; 机构宜春学院数学与计算机学院安徽工业大学计算机学院; 出处《计算机工程与设计》 CSCD 北大核心 2009年第19期4579-4580,F0003,共3页; 基金安徽省高校省级自然科学研究基金项目(KJ2007B308ZC); 文摘当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具。针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法。基于服务组合图对组合服务中原子服务的交互行为进行分析,证明了组合服务和PEPA模型是同构的。给出组合服务和PEPA的映射规则,并建立服务组合的性能模型。提出组合服务性能建模和分析方法。实践结果表明该方法更加简单、有效,易于工程实现。; 关键词服务组合性能评价进程代数性能建模性能分析:形式化方法; Keywords composite services pepa performance modeling performance analysis formal description technique; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于PEPA流近似方法的动态自省模型: 5; 作者吕宏武王慧强马春光林相君赵倩; 机构哈尔滨工程大学计算机科学与技术学院; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期710-715,共6页; 基金国家自然科学重大计划基金资助项目(90718003) 国家自然科学基金资助项目(60973027 +1 种基金 60373000) 国家'八六三'基金资助项目(2007AA01Z401); 文摘现有的基于自然语言或框图的自省模型已不能满足系统验证和分析的需求.本文采用流近似方法将PEPA转化为常微分方程组(ODEs),提出了一种基于性能评价进程代数(PEPA)语言的动态自省模型,且具有形式化推理验证和量化分析的功能,避免传统马尔可夫链求解方法状态空间爆炸的问题.分析结果显示,缩减被管理组件检测过程的延迟时间、减小执行指令序列长度对于自省效率的提高具有重要作用.; 关键词自省自律计算性能评价进程代数常微分方程; Keywords self-reflection autonomic computing pepa ordinary differential equations; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于随机进程代数的软件体系结构建模与性能评价	赵会群徐凌宇王国仁高远	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
2	基于PEPA的云计算资源分配算法性能评价	王倩石振国孙万捷刘赛男王国涛	《计算机应用研究》 CSCD 北大核心	2015	10	在线阅读下载PDF 职称材料
3	性能评价形式化方法的现状和发展	林闯李雅娟王忠民	《电子学报》 EI CAS CSCD 北大核心	2002	17	在线阅读下载PDF 职称材料
4	基于PEPA的组合服务性能建模与分析	方光伟甘诚智郑啸	《计算机工程与设计》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
5	一种基于PEPA流近似方法的动态自省模型	吕宏武王慧强马春光林相君赵倩	《北京工业大学学报》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料