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

基于随机进程代数的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 职称材料

可信链的随机进程代数模型: 5; 作者刘昌平范明钰王光卫《计算机应用研究》 CSCD 北大核心 2010年第12期4650-4653,共4页; 计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进... 展开更多; 关键词可信链可信计算随机进程代数软件行为形式化方法; 在线阅读下载PDF 职称材料

基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1: 6; 作者苏峰翟健杨秋松《计算机应用研究》 CSCD 北大核心 2010年第8期2948-2952,2958,共6页; 为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算... 展开更多; 关键词软件过程随机进程代数测试驱动开发仿真决策支持; 在线阅读下载PDF 职称材料

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

可生存性网络的形式化建模与分析方法被引量：3: 8; 作者赵国生王慧强李明军《通信学报》 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 职称材料

题名可信链的随机进程代数模型: 5; 作者刘昌平范明钰王光卫; 机构电子科技大学计算机科学与工程学院; 出处《计算机应用研究》 CSCD 北大核心 2010年第12期4650-4653,共4页; 基金国家"863"计划资助项目(2009AA01Z403 2009AA01Z435); 文摘计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率,建立了信任传递的语义规则,并提出了基于随机进程代数的可信链语义模型。该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值。; 关键词可信链可信计算随机进程代数软件行为形式化方法; Keywords trust chain trusted computing stochastic process algebra software behavior formalization methodology; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1: 6; 作者苏峰翟健杨秋松; 机构中国科学院软件研究所互联网技术实验室中国科学院研究生院; 出处《计算机应用研究》 CSCD 北大核心 2010年第8期2948-2952,2958,共6页; 基金国家自然科学基金资助项目(90718042 60903051) +2 种基金中国科学院知识创新工程领域前沿资助项目(ISCAS09-DR09); 文摘为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算法来分析仿真结果并得出最佳TDD实施策略,最终为项目经理提供合理的决策。; 关键词软件过程随机进程代数测试驱动开发仿真决策支持; Keywords software process stochastic process algebra test driven develop simulation decision support; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名性能评价形式化方法的现状和发展被引量：17: 7; 作者林闯李雅娟王忠民; 机构清华大学计算机科学与技术系北京科技大学计算机系; 出处《电子学报》 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: 8; 作者赵国生王慧强李明军; 机构哈尔滨工程大学; 出处《通信学报》 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	可信链的随机进程代数模型	刘昌平范明钰王光卫	《计算机应用研究》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
6	基于过程模型随机仿真的TDD模块选取建模方法研究	苏峰翟健杨秋松	《计算机应用研究》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
7	性能评价形式化方法的现状和发展	林闯李雅娟王忠民	《电子学报》 EI CAS CSCD 北大核心	2002	17	在线阅读下载PDF 职称材料
8	可生存性网络的形式化建模与分析方法	赵国生王慧强李明军	《通信学报》 EI CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料