导读:本文包含了进程等价论文开题报告文献综述及选题提纲参考文献，主要关键词:进程网,层次结构,细化,细化规则
进程等价论文文献综述
乔磊[1]（2016）在《进程网的细化及语义等价研究》一文中研究指出进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。进程网系统模型在实际应用中,当系统过于复杂时,会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法。解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。在用进程网建模时,最初模型比较粗糙。为了建立系统精确的抽象模型,降低大系统建模和分析的复杂性,提出了进程网的细化。进程网的细化是在较高的抽象层次上通过替换一些单一的组件(比如变迁)形成较为详细的子网。定义了基于进程网的五大细化规则：子网细化,同步细化,选择细化,循环细化,通信细化规则。实现了基于层次进程网的分层细化。实验表明,进程网的细化反映模型的层次关系,为结构复杂的系统仿真提供了一个有效的方法。细化有助于系统抽象模型的分析,解决状态空间爆炸问题,提高了进程网建模描述能力。语义等价研究分为语义等价和语义等价保持。用进程网的合理性定义和充分必要条件对细化规则的合理性进行了验证。分析了细化规则的可达图,来说明细化后的网系统的一些性质保持。根据互模拟的性质和定义对细化规则从弱互模拟性和强互模拟性进行验证。最后结合订票系统进行了实例建模分析。实验结果表明进程网的分层选中以及细化都可以实现,并且能够清晰的反映出网系统的层次结构。(本文来源于《北方工业大学》期刊2016-06-07）
李明[2]（2010）在《生成诊断公式的有限状态进程等价验证》一文中研究指出分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法,当两个进程不能互模拟时,产生两个诊断公式。算法的时间复杂度为O(mlogn),空间复杂度为O(m+n)。(本文来源于《计算机工程与设计》期刊2010年02期）
赵锡英[3]（2007）在《随机进程代数的等价性判定计算》一文中研究指出随机进程代数(SPA)是一种功能与性能相结合的并发系统模型，是通过给经典进程代数模型中的动作发生附加上一个随机变量值，来反映在系统的运行中，动作出现的时间延迟规律而得到的模型。它既能够描述系统的功能，又能够对系统运行的性能进行评价，很多涉及资源共享的系统，例如，大型计算、客户-服务器结构、网络等都可以用这种随机模型作精确的形式化描述。随机进程代数中应用最广泛的是马尔可夫进程代数，在马尔可夫进程代数中，动作出现的随机延迟时间是满足指数分布的随机变量。本论文主要研究了马尔可夫随机进程代数的各种操作语义模型，在这些语义模型下的等价性概念的定义，以及对马尔可夫随机进程的等价性进行判定的计算算法。主要包括以下叁方面的内容：1．马尔可夫链代数上的模拟等价判定。马尔可夫链代数是进程间只有时间延迟转移的进程代数，连续时间马尔可夫链(CTMC)代数是并发系统性能评价最早使用的模型。通过状态转移的马尔可夫链分析，可给出系统的性能指标的刻画。在一个CTMC代数模型上的互模拟等价关系是以状态间满足的转移概率值为基础定义的，这和CTMC上的聚集等价关系一致，所以给出了基于状态的“聚集块”的等价块划分算法，并给出了算法的复杂度分析。2．交互式马尔可夫链(IMC)代数上的等价性判定。交互式马尔可夫链代数是通过正交结合经典的进程代数和连续时间马尔可夫链代数得到的随机进程代数模型。本文研究了IMC上的互模拟等价的计算，计算算法的主要思想是对动作和概率转移分别进行划分细化计算，最终得到一个递减关系链的不动点，从而得到互模拟等价。并在CTMC模型的弱模拟等价定义的基础上提出了IMC上强(弱)模拟等价的概念，并且给出了判定模拟前序关系的计算算法，算法的主要思想是通过求解一个线性方程组，判定两个状态的马尔可夫模拟关系，并去掉所有不能进行模拟的状态对。3．一般随机进程代数上的等价性判定。一般随机进程代数是指既有动作转移，又有带随机时间延迟的动作转移的进程代数。这种进程代数的一个关键点是如何定义两个并发进程中同步马尔可夫动作转移的随机延迟分布φ(λ，μ，P，Q)，不同的φ函数定义对应了不同的随机进程代数模型，我们研究了φ(λ，μ)=λμ时的随机进程代数中的互模拟、模拟等价性概念的定义和判定算法，这些算法是IMC上各种判定算法的改进。即，对马尔可夫转移进行判定时，要区分收敛状态和发散状态，同时要对每一个马尔可夫动作转移进行(互)模拟判定。(本文来源于《兰州大学》期刊2007-04-01）
林敏,傅育熙[4]（2001）在《元Chi进程互模拟等价的一致性》一文中研究指出Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明了在某种意义下 ,元 Chi-进程之间只有一个互模拟等价关系 .(本文来源于《软件学报》期刊2001年12期）
袁春,陈意云[5]（2000）在《进程创建的语义及等价性》一文中研究指出针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .在该模型下 ,状态变迁被区分为两种不同形式 ,分别表示发生在原进程和被创建进程中的状态变迁 ,这样便可以定义适当的语义复合运算 ,在对命令的指称进行复合时根据变迁类型的不同对变迁迹进行串行或交错连接 ,恰当地反映了进程的并发运行受到创建命令在程序中的相对位置的限制 .最后证明了这两个语义的等价性(本文来源于《计算机学报》期刊2000年08期）
肖育东[6]（1992）在《顺序进程的并行分解——X等价》一文中研究指出本文在CSP模型下研究顺序程序的并行分解问题.引入了相关投影与相关进程集的概念,使用k—分解、k—解释重构了k—等价模型.然后引入了x一分解、x—等价及x—解释的概念,研究了x—等价与k—等价的关系.阐明了x—等价与x—解释在理论及方法上的叁方面特色:概念一致性,结构独立性及路径有效性.x—等价能使并行分解的概念嵌入结构程序设计的方法学中,而使其形式表述纳入CSP演释之中.(本文来源于《计算机学报》期刊1992年04期）
进程等价论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法,当两个进程不能互模拟时,产生两个诊断公式。算法的时间复杂度为O(mlogn),空间复杂度为O(m+n)。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
进程等价论文参考文献
[1].乔磊.进程网的细化及语义等价研究[D].北方工业大学.2016
[2].李明.生成诊断公式的有限状态进程等价验证[J].计算机工程与设计.2010
[3].赵锡英.随机进程代数的等价性判定计算[D].兰州大学.2007
[4].林敏,傅育熙.元Chi进程互模拟等价的一致性[J].软件学报.2001
[5].袁春,陈意云.进程创建的语义及等价性[J].计算机学报.2000
[6].肖育东.顺序进程的并行分解——X等价[J].计算机学报.1992