概率進程演算的互模擬分析.pdf

1、隨著計算機技術和網(wǎng)絡通信技術的高速發(fā)展，以并發(fā)性、分布性、實時性、片構性和互操作性等主要特征的并發(fā)分布式系統(tǒng)已成為計算機技術的主流力向。并發(fā)現(xiàn)象以其同有的復雜性，對計算機科學家提出了挑戰(zhàn)。與順序計算不同，我們對并行與并發(fā)計算實質(zhì)的認識尚處于初級階段。進程代數(shù)主要足用米描述并發(fā)計算的數(shù)學模型，它研究并發(fā)現(xiàn)象，即多個計算主體(進程)同時活動，通過交換信息(通訊)進行協(xié)作，以共同完成預期任務的特定計算現(xiàn)象。對并發(fā)理論的研究，進程間的等價是需要

2、關注的重點。兩個進程在什么叫候具有相似的行為可以用等價關系描述他們。最近，在一些用來解決并發(fā)系統(tǒng)問題的算法構造中，隨機被證明是一種很用的工具。傳統(tǒng)上，對形式化建模并發(fā)系統(tǒng)的進程演算是不進行定量分析的，結果，對于一個并發(fā)系統(tǒng)會以多大的概率來發(fā)生某個動作就無法提供有用的信息。而從應用的角度來說，有必要進行定量分析，因為在本質(zhì)上并發(fā)系統(tǒng)的許多方面是與隨機相關的。 本文把進程的定量信息限制在概率信息上，在研究帶有概率信息的進程時，路徑等

3、價是把概率看成是一個動作，這是不可取得，因為這意味著只有在路徑上的所有動作包括概率完全一致情況下，進程才是路徑等價的。所以，過分的依賴于概率信息，導致路徑等價的概念存在著很大的缺陷。我們認為，在進程中山現(xiàn)的概率不應該被看成是個動作，而應該是進程發(fā)生隨機事什的可能性。從而，我們想使用一個關于進程間近似程度的概念來替代路徑等價。主要內(nèi)容及創(chuàng)新點包括：①綜合以前的結果，提山一種新的metric的定義，并把它和路徑等價相關聯(lián)，同叫證明了概率進程