一類具擴(kuò)散的PEPA模型分析.pdf

1、隨機(jī)進(jìn)程代數(shù)PEPA是一種對模型進(jìn)行性能評價(jià)的強(qiáng)有力的形式化語言，它在計(jì)算機(jī)系統(tǒng)和交互系統(tǒng)的性能評價(jià)領(lǐng)域取得了巨大的成就。然而，一個(gè)大規(guī)模的PEPA模型將會(huì)引發(fā)狀態(tài)空間爆破問題，從而使得對PEPA模型的定量分析和定性分析都受到阻礙，以至于限制了PEPA語言得到更廣泛地應(yīng)用。為此，本文介紹了一種更完善的數(shù)值型表示方法和流體逼近方法來克服狀態(tài)空間爆破問題。在這基礎(chǔ)上以一個(gè)PEPA模型為例，將流體逼近拓展到擴(kuò)散逼近并導(dǎo)出相應(yīng)的反應(yīng)擴(kuò)散方程組，

2、它彌補(bǔ)了應(yīng)用流體逼近方法丟失的位置信息，因此具有更高的實(shí)際應(yīng)用價(jià)值。進(jìn)一步，本文主要研究這一反應(yīng)擴(kuò)散方程組的性質(zhì)。
　　 第一章說明相關(guān)工作的背景，發(fā)展概況及問題來源，并闡述本文的研究內(nèi)容。
　　 第二章簡要介紹PEPA，解釋狀態(tài)空間爆破問題，介紹一種更完善的數(shù)值型表示方法及流體逼近方法。并由此導(dǎo)出相應(yīng)的常微分方程組。
　　 第三章以一個(gè)PEPA模型為例展示流體逼近到擴(kuò)散逼近的發(fā)展，研究所導(dǎo)出的反應(yīng)擴(kuò)散方程組的性