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

基于随机进程代数的P2P网络蠕虫对抗传播特性分析被引量：6: 1; 作者严博吴晓平 +1 位作者廖巍李凤华《电子学报》 EI CAS CSCD 北大核心 2012年第2期293-299,共7页; 研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P2P网络蠕虫对抗传播的建模与分析方法.首先,分析了传播过程中蠕虫之间的对抗交互行为以及网络节点的状态... 展开更多; 关键词对等网络良性蠕虫传播模型随机进程代数; 在线阅读下载PDF 职称材料

应用随机进程代数的网络系统可靠性预计方法被引量：6: 2; 作者严博吴晓平付钰《西安交通大学学报》 EI CAS CSCD 北大核心 2011年第6期40-45,共6页; 针对复杂结构网络系统可靠性预计建模与分析的难题,提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓扑结构,研究了网络系统随机进程代数模型的建立方法,根据随机进程代数操作语义,推导出一个带时间延迟的可... 展开更多; 关键词网络系统拓扑结构随机进程代数可靠性预计; 在线阅读下载PDF 职称材料

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

基于随机进程代数的在线客服系统建模及优化被引量：2: 4; 作者严博周大伟 +1 位作者付钰侯文瑞《海军工程大学学报》 CAS 北大核心 2022年第4期53-58,共6页; 随着用户规模的增大以及智能客服技术的不断成熟,对在线客服系统资源配置进行合理优化,成为企业平衡用户服务水平与运营成本的迫切需求。首先,针对一类典型的存在不同用户类别的在线客服系统,利用随机进程代数语法分别描述了系统用户和... 展开更多; 关键词在线客服系统随机进程代数服务质量; 在线阅读下载PDF 职称材料

进程代数在性能评价中的应用研究被引量：2: 5; 作者马梁李明 +1 位作者宋洁顾军华《河北工业大学学报》 CAS 2006年第4期35-39,共5页; 介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对... 展开更多; 关键词随机进程代数性能评价性能评价进程代数马尔可夫进程连续时间马尔可夫链; 在线阅读下载PDF 职称材料

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

可生存性网络的形式化建模与分析方法被引量：3: 7; 作者赵国生王慧强李明军《通信学报》 EI CSCD 北大核心 2006年第z1期48-52,共5页; 首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系... 展开更多; 关键词形式化方法随机进程代数可生存性网络性能分析; 在线阅读下载PDF 职称材料

题名基于随机进程代数的P2P网络蠕虫对抗传播特性分析被引量：6: 1; 作者严博吴晓平廖巍李凤华; 机构海军工程大学信息安全系北京电子科技学院电子信息工程系; 出处《电子学报》 EI CAS CSCD 北大核心 2012年第2期293-299,共7页; 基金国家自然科学基金(No.71171198) 博士后科学基金特别资助(No.201003757) +2 种基金教育部重点项目(No.209156) 北京市自然科学基金(No.4102056) 新闻出版重大科技工程项目-数字版权保护技术研发工程(No.GXTC-CZ-1015004/05); 文摘研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P2P网络蠕虫对抗传播的建模与分析方法.首先,分析了传播过程中蠕虫之间的对抗交互行为以及网络节点的状态转换过程;然后,利用PEPA语法建立了恶意蠕虫初始传播阶段与蠕虫对抗阶段的随机进程代数模型;最后,采用随机进程代数的流近似方法,推导得到能够描述蠕虫传播特性的微分方程组,通过求解该方程组,分析得到P2P蠕虫的对抗传播特性.试验结果表明,良性蠕虫可以有效遏制P2P网络中的恶意蠕虫传播,但需要根据当前的网络条件制定科学的传播策略,以减少良性蠕虫自身的传播对网络性能的影响.; 关键词对等网络良性蠕虫传播模型随机进程代数; Keywords P2P network benign worm propagation model stochastic process algebra; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名应用随机进程代数的网络系统可靠性预计方法被引量：6: 2; 作者严博吴晓平付钰; 机构海军工程大学信息安全系; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2011年第6期40-45,共6页; 基金国家自然科学基金资助项目(60774029); 文摘针对复杂结构网络系统可靠性预计建模与分析的难题,提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓扑结构,研究了网络系统随机进程代数模型的建立方法,根据随机进程代数操作语义,推导出一个带时间延迟的可靠性标记变迁系统,依据其隐含的马尔可夫转移关系和系统的当前状态,计算得到系统在一段时间内的可靠性预计值.仿真实验表明,该方法能精确刻画网络系统随机行为以及组件之间的相互关系,可有效预测不同状态下系统的可靠性水平.; 关键词网络系统拓扑结构随机进程代数可靠性预计; Keywords network system topology structure stochastic process algebra reliability prediction; 分类号 TP302.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于随机进程代数的软件体系结构建模与性能评价被引量：3: 3; 作者赵会群徐凌宇王国仁高远; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 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 职称材料

题名基于随机进程代数的在线客服系统建模及优化被引量：2: 4; 作者严博周大伟付钰侯文瑞; 机构海军工程大学信息安全系海军参谋部; 出处《海军工程大学学报》 CAS 北大核心 2022年第4期53-58,共6页; 基金国家重点研发计划基金资助项目(2018YFB0804104)。; 文摘随着用户规模的增大以及智能客服技术的不断成熟,对在线客服系统资源配置进行合理优化,成为企业平衡用户服务水平与运营成本的迫切需求。首先,针对一类典型的存在不同用户类别的在线客服系统,利用随机进程代数语法分别描述了系统用户和客服的行为,构建了一种基于性能评价进程代数的在线客服系统模型,并给出了模型求解分析方法;然后,分别针对普通在线客服系统和引入智能客服后的在线客服系统案例开展了建模分析,给出了最优的人工在线客服配置,并重点分析了智能客服的智能化水平对提升系统服务质量的重要作用。案例分析结果验证了该方法的可行性和有效性。; 关键词在线客服系统随机进程代数服务质量; Keywords online customer service stochastic process algebra quality of service; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名进程代数在性能评价中的应用研究被引量：2: 5; 作者马梁李明宋洁顾军华; 机构河北工业大学计算机科学与软件学院; 出处《河北工业大学学报》 CAS 2006年第4期35-39,共5页; 文摘介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望.; 关键词随机进程代数性能评价性能评价进程代数马尔可夫进程连续时间马尔可夫链; Keywords stochastic process algebras performance evaluation PEPA markov process CTMC; 分类号 TP39 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名性能评价形式化方法的现状和发展被引量：17: 6; 作者林闯李雅娟王忠民; 机构清华大学计算机科学与技术系北京科技大学计算机系; 出处《电子学报》 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 职称材料

题名可生存性网络的形式化建模与分析方法被引量：3: 7; 作者赵国生王慧强李明军; 机构哈尔滨工程大学; 出处《通信学报》 EI CSCD 北大核心 2006年第z1期48-52,共5页; 基金武备预研基金资助项目(51416060104CB0101) 高校博士点科研基金资助项目(20050217007); 文摘首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系统进行形式化描述;然后利用PEPA Workbench工具实现对可生存性网络稳态可用性和瞬时可用性测度的实验,仿真结果验证了该形式化建模与分析方法的有效性和可行性.; 关键词形式化方法随机进程代数可生存性网络性能分析; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于随机进程代数的P2P网络蠕虫对抗传播特性分析	严博吴晓平廖巍李凤华	《电子学报》 EI CAS CSCD 北大核心	2012	6	在线阅读下载PDF 职称材料
2	应用随机进程代数的网络系统可靠性预计方法	严博吴晓平付钰	《西安交通大学学报》 EI CAS CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
3	基于随机进程代数的软件体系结构建模与性能评价	赵会群徐凌宇王国仁高远	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
4	基于随机进程代数的在线客服系统建模及优化	严博周大伟付钰侯文瑞	《海军工程大学学报》 CAS 北大核心	2022	2	在线阅读下载PDF 职称材料
5	进程代数在性能评价中的应用研究	马梁李明宋洁顾军华	《河北工业大学学报》 CAS	2006	2	在线阅读下载PDF 职称材料
6	性能评价形式化方法的现状和发展	林闯李雅娟王忠民	《电子学报》 EI CAS CSCD 北大核心	2002	17	在线阅读下载PDF 职称材料
7	可生存性网络的形式化建模与分析方法	赵国生王慧强李明军	《通信学报》 EI CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料