一类具扩官散的pepa模型研究.docx

虞婷：一类具扩散的PEPA模型分析中文摘要 虞婷：一类具扩散的PEPA模型分析 中文摘要 随机进程代数PEPA是一种对模型进行性能评价的强有力的形式化语言，它在计算机 系统和交互系统的性能评价领域取得了巨大的成就．然而，一个大规模的PEPA模型将会 引发状态空间爆破问题，从而使得对PEPA模型的定量分析和定性分析都受到阻碍，以至 于限制了PEPA语言得到更广泛地应用．为此，本文介绍了一种更完善的数值型表示方法 和流体逼近方法来克服状态空间爆破问题．在这基础上以一个PEPA模型为例，将流体逼 近拓展到扩散逼近并导出相应的反应扩散方程组，它弥补了应用流体逼近方法丢失的位置 信息，因此具有更高的实际应用价值．进一步，本文主要研究这一反应扩散方程组的性质． 第一章说明相关工作的背景，发展概况及问题来源，’并阐述本文的研究内容． 第二章简要介绍PEPA，解释状态空间爆破问题，介绍一种更完善的数值型表示方法 及流体逼近方法．并由此导出相应的常微分方程组． 第三章以一个PEPA模型为例展示流体逼近到扩散逼近的发展，研究所导出的反应扩 散方程组的性质，并得到一些结果，如解的存在唯一性，正性，有界性，稳定性． 第四章利用Matlab软件对文章中的结论给出相应的数值模拟． 第五章对整篇文章作总结并提出将来的工作． 关键词：PEPA 数值型表示方法 状态空间爆破问题 流体逼近方法反应 扩散方程 稳定性 扬州大学硕士学位论文 扬州大学硕士学位论文 2 Abstract The stochastic process algebra PEPA is a powerful modelling formalism，which has enjoyed successful applications in performance modelling of computer and communication systems·However，the state—space explosion problem will result from a large scale systems due to its large numbers of components．Both quantitative and qualitative analysis of large model systems suffer from this problem，which has redtrieted wider application of the PEPA language．Thus，this paper introduce a more perfect numerical representation scheme and a fluid approximation approach for PEPA to overcome the state-space explosion problems．Base on this，this paper presents all extension of the fluid approximation to the diffusion approximation for a simple PEPA model．The diffusion approximation leads to a reaction diffusion system， which makes up with the spatial or location information while it is missed in the fluid approximation approach．Furthermore，we research the fundamental characteristics of the derived reaction-diffusion equations． In Chapter 1，the background，history about the related work and the origin of our qustion are first introduced and the major work ofthis paper is pesented． Chapter 2 is devoted to introducing PEPA，explaining the state—space explosion problem and presenting the numerical representation scheme and the fluid approximation approach which results