發(fā)布時(shí)間：2021-04-08 05:59

　　人類發(fā)展的歷史,就是解決問(wèn)題的歷史。計(jì)算機(jī)的出現(xiàn),加快了人類解決問(wèn)題的速度,也帶來(lái)了與之相對(duì)應(yīng)的問(wèn)題。在一些反復(fù)出現(xiàn)的問(wèn)題上,人們?cè)噲D找出最優(yōu)的解決方案,以期可以達(dá)到最快解決問(wèn)題的目的。在尋找解決方案的過(guò)程中,數(shù)學(xué)模型成為了其中的關(guān)鍵。人們把問(wèn)題的求解分為兩個(gè)階段:先將問(wèn)題建模成數(shù)學(xué)模型,再對(duì)數(shù)學(xué)模型進(jìn)行求解。在這種情況下,許許多多優(yōu)秀的數(shù)學(xué)模型被提了出來(lái),其中包括圖靈機(jī)和λ-演算。事實(shí)上,兩者的表達(dá)能力是等價(jià)的。隨著計(jì)算機(jī)科學(xué)的發(fā)展,并行逐漸代替串行成為了主流的研究對(duì)象。串行計(jì)算有圖靈機(jī)和λ-演算作為完備的模型可以進(jìn)行科學(xué)研究,而并行計(jì)算卻沒(méi)有與之相對(duì)應(yīng)的計(jì)算模型。為了解決這一問(wèn)題,Milner提出了CCS,同時(shí)Hoare提出了CSP,兩者都是優(yōu)秀的并行計(jì)算模型。然而,這兩個(gè)模型都不能完美的刻畫(huà)并行計(jì)算的性質(zhì),原因在于靜態(tài)的結(jié)構(gòu)和不支持通信。在十九世紀(jì)八十年代末,Milner在CCS的基礎(chǔ)上提出了一個(gè)表達(dá)能力更強(qiáng)的完備的并行計(jì)算模型—π-演算。但隨之而來(lái)的問(wèn)題是串行計(jì)算的模型和并行計(jì)算的模型之間的表達(dá)能力的關(guān)系。很容易知道,并行計(jì)算的模型可以對(duì)串行計(jì)算的模型進(jìn)行編碼,從而找出表達(dá)能力... 

【文章來(lái)源】：上海交通大學(xué)上海市 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：53 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景和意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 研究?jī)?nèi)容和成果
    1.4 論文結(jié)構(gòu)
第二章 λ-演算和π-演算
    2.1 λ-演算
    2.2 π-演算
    2.3 Milner的編碼體系
    2.4 蔡小娟和傅育熙的編碼體系
第三章 計(jì)算模擬匹配和失配
    3.1 靈感和基本原理
    3.2 用匹配模擬失配（第一次嘗試）
    3.3 用通信模擬匹配（第二次嘗試）
    3.4 消去常名的干擾（第三次嘗試）
    3.5 用私有名進(jìn)行通信（最終版本）
    3.6 編碼生成
第四章 編碼體系下相關(guān)性質(zhì)
    4.1 同斂散性
    4.2 弱互模擬關(guān)系
    4.3 從λ-演算到π-演算的編碼
第五章 總結(jié)和未來(lái)展望
    5.1 總結(jié)
    5.2 未來(lái)展望
參考文獻(xiàn)
致謝
攻讀學(xué)位論文期間發(fā)表的學(xué)術(shù)論文目錄



本文編號(hào)：3124990