进程代数在性能评价中的应用研究 被引量：2

1

作者 马梁 李明 +1 位作者 宋洁 顾军华 《河北工业大学学报》 CAS 2006年第4期35-39,共5页

介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对... 介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望. 展开更多

关键词 随机进程代数 性能评价 性能评价进程代数 马尔可夫进程 连续时间马尔可夫链

在线阅读 下载PDF 职称材料

基于随机进程代数的P2P网络蠕虫对抗传播特性分析 被引量：6

2

作者 严博 吴晓平 +1 位作者 廖巍 李凤华 《电子学报》 EI CAS CSCD 北大核心 2012年第2期293-299,共7页

研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P2P网络蠕虫对抗传播的建模与分析方法.首先,分析了传播过程中蠕虫之间的对抗交互行为以及网络节点的状态... 研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P2P网络蠕虫对抗传播的建模与分析方法.首先,分析了传播过程中蠕虫之间的对抗交互行为以及网络节点的状态转换过程;然后,利用PEPA语法建立了恶意蠕虫初始传播阶段与蠕虫对抗阶段的随机进程代数模型;最后,采用随机进程代数的流近似方法,推导得到能够描述蠕虫传播特性的微分方程组,通过求解该方程组,分析得到P2P蠕虫的对抗传播特性.试验结果表明,良性蠕虫可以有效遏制P2P网络中的恶意蠕虫传播,但需要根据当前的网络条件制定科学的传播策略,以减少良性蠕虫自身的传播对网络性能的影响. 展开更多

关键词 对等网络 良性蠕虫 传播模型 随机进程代数

在线阅读 下载PDF 职称材料

用进程代数描述可适应工作流的模型方法 被引量：7

3

作者 魏丫丫 林闯 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1624-1628,共5页

工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模... 工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 。 展开更多

关键词 进程代数 可适应工作流 一致性 有效性 通信顺序进程

在线阅读 下载PDF 职称材料

应用随机进程代数的网络系统可靠性预计方法 被引量：6

4

作者 严博 吴晓平 付钰 《西安交通大学学报》 EI CAS CSCD 北大核心 2011年第6期40-45,共6页

针对复杂结构网络系统可靠性预计建模与分析的难题,提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓扑结构,研究了网络系统随机进程代数模型的建立方法,根据随机进程代数操作语义,推导出一个带时间延迟的可... 针对复杂结构网络系统可靠性预计建模与分析的难题,提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓扑结构,研究了网络系统随机进程代数模型的建立方法,根据随机进程代数操作语义,推导出一个带时间延迟的可靠性标记变迁系统,依据其隐含的马尔可夫转移关系和系统的当前状态,计算得到系统在一段时间内的可靠性预计值.仿真实验表明,该方法能精确刻画网络系统随机行为以及组件之间的相互关系,可有效预测不同状态下系统的可靠性水平. 展开更多

关键词 网络系统 拓扑结构 随机进程代数 可靠性预计

在线阅读 下载PDF 职称材料

一种扩展了价格信息的进程代数 被引量：2

5

作者 肖芳雄 黄志球 +2 位作者 曹子宁 张君华 覃志东 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第1期69-74,共6页

针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出... 针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性。 展开更多

关键词 进程代数 组合 价格 成本

在线阅读 下载PDF 职称材料

基于随机进程代数的软件体系结构建模与性能评价 被引量：3

6

作者 赵会群 徐凌宇 +1 位作者 王国仁 高远 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第1期16-19,共4页

软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评... 软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。 展开更多

关键词 软件体系结构 随机进程代数 性能评价 MARKOV过程 回报结构 软件设计 建模机制

在线阅读 下载PDF 职称材料

电子机构的进程代数模型研究 被引量：2

7

作者 蔡国永 高济 董荣胜 《微电子学与计算机》 CSCD 北大核心 2007年第10期74-77,共4页

在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题。电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持。以进程代数理论为基础,提出一种适合电子机构的进程演... 在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题。电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持。以进程代数理论为基础,提出一种适合电子机构的进程演算语言,给出了其形式语法和操作语义,并以具体实例说明了该方法的使用过程。电子机构的进程代数方法更加适合于电子机构的设计、分析确认与实现。 展开更多

关键词 电子机构 进程代数 分布协同 自治主体 设计规约

在线阅读 下载PDF 职称材料

基于随机进程代数的在线客服系统建模及优化 被引量：2

8

作者 严博 周大伟 +1 位作者 付钰 侯文瑞 《海军工程大学学报》 CAS 北大核心 2022年第4期53-58,共6页

随着用户规模的增大以及智能客服技术的不断成熟,对在线客服系统资源配置进行合理优化,成为企业平衡用户服务水平与运营成本的迫切需求。首先,针对一类典型的存在不同用户类别的在线客服系统,利用随机进程代数语法分别描述了系统用户和... 随着用户规模的增大以及智能客服技术的不断成熟,对在线客服系统资源配置进行合理优化,成为企业平衡用户服务水平与运营成本的迫切需求。首先,针对一类典型的存在不同用户类别的在线客服系统,利用随机进程代数语法分别描述了系统用户和客服的行为,构建了一种基于性能评价进程代数的在线客服系统模型,并给出了模型求解分析方法;然后,分别针对普通在线客服系统和引入智能客服后的在线客服系统案例开展了建模分析,给出了最优的人工在线客服配置,并重点分析了智能客服的智能化水平对提升系统服务质量的重要作用。案例分析结果验证了该方法的可行性和有效性。 展开更多

关键词 在线客服系统 随机进程代数 服务质量

在线阅读 下载PDF 职称材料

基于进程代数的上下文感知模型 被引量：1

9

作者 王卫红 覃征 +1 位作者 曹玉辉 李达 《西安交通大学学报》 EI CAS CSCD 北大核心 2005年第10期1060-1063,共4页

针对当前上下文感知研究大多集中于技术解决方案,缺乏理论上统一描述模型的问题,提出了基于进程代数的上下文感知模型(CAMBPA).该模型独立于具体的应用平台,具有平台无关性.首先,利用带时间参量的上下文的状态变迁来描述动态环境的变化... 针对当前上下文感知研究大多集中于技术解决方案,缺乏理论上统一描述模型的问题,提出了基于进程代数的上下文感知模型(CAMBPA).该模型独立于具体的应用平台,具有平台无关性.首先,利用带时间参量的上下文的状态变迁来描述动态环境的变化,并根据进程代数的合并理论,采用合成简单环境状态变迁的方法来实现对复杂环境状态变迁的描述.随后,通过在模型中引入感知函数,实现了对感知行为的描述,同时对上下文状态变迁赋予了资源语义,从而使模型能够刻画移动计算环境中的动态资源情形.采用染色Pe-tri网对CAMBPA模型实例进行了可视化仿真,结果表明该模型具有语法、语义的正确性,以及良好的可扩展性,能够很好地描述上下文感知. 展开更多

关键词 移动计算 上下文感知 进程代数 染色Petri网

在线阅读 下载PDF 职称材料

基于进程代数的并发行为检测模型 被引量：1

10

作者 马川 王涛 申利民 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2014年第1期35-40,共6页

针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写... 针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程3个基本元素,进而建立了模型;最后给出并发行为检测的方法并对模型的时空效率进行了分析和验证。理论分析和实验表明,所提出的方法具有线性的时间和空间复杂度。 展开更多

关键词 入侵检测 并发行为 静态分析 进程代数 系统调用

在线阅读 下载PDF 职称材料

基于安全进程代数的信息流模型 被引量：1

11

作者 尹青 周伟 郭金庚 《信息工程大学学报》 2004年第3期5-9,共5页

文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。

关键词 安全进程代数 信息流安全 无干扰 不可演绎

在线阅读 下载PDF 职称材料

基于安全进程代数的信息流安全模型的分析与验证

12

作者 王精明 虞慧群 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第1期102-106,115,共6页

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。 展开更多

关键词 安全进程代数 信息流安全模型 非推断模型 非干扰模型 分离模型

在线阅读 下载PDF 职称材料

网格社区的进程代数模型(GCPAM)

13

作者 吕正 陈昊 《微电子学与计算机》 CSCD 北大核心 2007年第8期95-98,共4页

虚组织VO(VirtualOrganization)和网格社区概念是网格理论模型的一个重要组成部分,建立合适的网格社区理论模型有助于精确定义网格社区概念、研究网格社区的重要特性。借鉴进程代数的方法提出了网格社区进程代数模型(Grid Community Pro... 虚组织VO(VirtualOrganization)和网格社区概念是网格理论模型的一个重要组成部分,建立合适的网格社区理论模型有助于精确定义网格社区概念、研究网格社区的重要特性。借鉴进程代数的方法提出了网格社区进程代数模型(Grid Community Process Algebra Model,GCPAM),在形式化定义社区概念方面做出了初步尝试,并为研究网格社区提供了一个合适的工具。 展开更多

关键词 网格社区 进程代数 网格理论模型

在线阅读 下载PDF 职称材料

用进程代数描述CORBA请求调用 被引量：2

14

作者 陈伟杰 杜理渊 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期58-61,共4页

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有... 用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势，通过对ＣＯＲＢＡ体系结构的高度简化，希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述，从理论上表现出它们的共性和区别． 展开更多

关键词 Π演算 请求 CORBA 面向对象 进程代数

在线阅读 下载PDF 职称材料

安全进程代数基础 被引量：5

15

作者 周伟 尹青 郭金庚 《信息工程大学学报》 2004年第2期43-45,52,共4页

安全进程代数可以作为信息流安全的基础理论框架。本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型。

关键词 安全进程代数 操作语义 指称语义 进程等价

在线阅读 下载PDF 职称材料

进程网及其自顶向下建模技术研究 被引量：1

16

作者 石万林 郭峰 《数字技术与应用》 2013年第11期44-45,共2页

提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基... 提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基于进程网的字顶向下建模步骤。 展开更多

关键词 PETRI网 进程代数 结构化操作语义

在线阅读 下载PDF 职称材料

性能评价形式化方法的现状和发展 被引量：17

17

作者 林闯 李雅娟 王忠民 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1917-1922,共6页

性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进... 性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望. 展开更多

关键词 形式化方法 排队论 随机PETRI网 随机进程代数 计算机网络 PE 性能评价 现状

在线阅读 下载PDF 职称材料

移动智能体的形式化研究 被引量：4

18

作者 吴泉源 吴刚 王怀民 《国防科技大学学报》 EI CAS CSCD 2000年第6期47-51,共5页

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 。

关键词 移动智能体 并发模型 进程代数 Π演算 形式化 计算机 分布式计算模式

在线阅读 下载PDF 职称材料

动态环境中的概率信息流安全 被引量：2

19

作者 赵保华 陈波 陆超 《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第8期874-877,954,共5页

在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概... 在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P-PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了P-PBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P-PBNDC具有复合性质,而在并行算子下不具有复合性质. 展开更多

关键词 信息流安全 进程代数 动态环境

在线阅读 下载PDF 职称材料

概率系统的非传递无干扰安全属性分析 被引量：1

20

作者 姜励 平玲娣 +2 位作者 陈小平 潘雪增 李善平 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第12期2092-2096,共5页

为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引入概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟... 为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引入概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟强无干扰(I_BSPNI)和非传递概率互拟复合不可演绎(I_PBNDC)安全属性;并要求系统所有可达状态都满足的持久I_PBNDC属性,该性质能够揭露出I_PBNDC在动态环境中不能暴露的安全隐患.为了弥补互拟复合不可演绎类性质难于验证的缺点,使用基于单步状态的展开条件定义了强I_PBNDC属性.最后分析并证明了这些安全属性之间的包含关系. 展开更多

关键词 非传递无干扰 信息流安全 概率系统 进程代数 弱互拟

在线阅读 下载PDF 职称材料