论文部分内容阅读
随机进程代数PEPA是一种对模型进行性能评价的强有力的形式化语言,它在计算机系统和交互系统的性能评价领域取得了巨大的成就。然而,一个大规模的PEPA模型将会引发状态空间爆破问题,从而使得对PEPA模型的定量分析和定性分析都受到阻碍,以至于限制了PEPA语言得到更广泛地应用。为此,本文介绍了一种更完善的数值型表示方法和流体逼近方法来克服状态空间爆破问题。在这基础上以一个PEPA模型为例,将流体逼近拓展到扩散逼近并导出相应的反应扩散方程组,它弥补了应用流体逼近方法丢失的位置信息,因此具有更高的实际应用价值。进一步,本文主要研究这一反应扩散方程组的性质。
第一章说明相关工作的背景,发展概况及问题来源,并阐述本文的研究内容。
第二章简要介绍PEPA,解释状态空间爆破问题,介绍一种更完善的数值型表示方法及流体逼近方法。并由此导出相应的常微分方程组。
第三章以一个PEPA模型为例展示流体逼近到扩散逼近的发展,研究所导出的反应扩散方程组的性质,并得到一些结果,如解的存在唯一性,正性,有界性,稳定性。
第四章利用Matlab软件对文章中的结论给出相应的数值模拟。
第五章对整篇文章作总结并提出将来的工作。