本文關(guān)鍵詞：基于對等網(wǎng)絡(luò)的分布式Pi演算研究，由筆耕文化傳播整理發(fā)布。

【摘要】：近年來,隨著網(wǎng)絡(luò)規(guī)模的急劇增加,集中式處理模式的中央系統(tǒng)負載過大,信息流擁堵,單點失效易造成網(wǎng)絡(luò)癱瘓,而分布式技術(shù)正以它較高的可靠性和分流的優(yōu)勢,逐步取代傳統(tǒng)的集中式處理模式,成為當今信息技術(shù)領(lǐng)域的研究熱點。分布式網(wǎng)絡(luò)系統(tǒng)的本質(zhì)是解決資源的管理問題,包括如何對資源進行存儲和訪問,所以對于分布式系統(tǒng)的底層計算模型的研究,需要重點考慮資源的表示形式。Pi演算是一種具有代數(shù)性質(zhì)的進程演算,用于各個領(lǐng)域系統(tǒng)模型的形式化分析和描述。Pi演算中名字的概念可以直觀地表示分布式系統(tǒng)中的資源,并且結(jié)合Pi演算的移動性特點,能夠描述動態(tài)變化的網(wǎng)絡(luò)拓撲結(jié)構(gòu),然而,基礎(chǔ)Pi演算在對具體的實例建模時,由于其缺少對控制結(jié)構(gòu)和復(fù)雜數(shù)據(jù)類型的直接描述,甚至有時會用到高階Pi演算,造成所建立的模型十分復(fù)雜。因此,人們對Pi演算進行改進,用來適應(yīng)不同領(lǐng)域模型的形式化分析。本文通過對分布式對等網(wǎng)絡(luò)系統(tǒng),Pi演算及其變體DPi演算的研究,提出了一種更接近真實網(wǎng)絡(luò)拓撲的演算——NPi演算,該演算能夠描述分布式網(wǎng)絡(luò)系統(tǒng),具有一定的實際應(yīng)用能力。具體工作如下:1.對基礎(chǔ)Pi演算進行擴展,提出了更接近于真實分布式網(wǎng)絡(luò)拓撲的NPi演算,給出了該演算的語法語義,結(jié)構(gòu)同余,以及規(guī)約規(guī)則,并根據(jù)新定義的標簽遷移系統(tǒng),給出了擴展的新演算的互模擬分析和證明。2.利用NPi演算對P2P網(wǎng)絡(luò)模型——Pastry和簡單的DHT進行建模分析,驗證NPi演算的表達能力。3.利用Pict語言對之前形式化描述的模型編程實現(xiàn),驗證了NPi演算建立的模型的正確性。4.在Linux環(huán)境下,給出基于NPi演算描述的P2P模型的Pict語言實現(xiàn),同C語言實現(xiàn)的多組對比實驗,從real time,sys time,user time三個角度進行效率對比,說明Pict語言對分布式網(wǎng)絡(luò)模型實現(xiàn)效率的優(yōu)越性。結(jié)合本文工作,可以得出:基于分布式網(wǎng)絡(luò)的底層模型,NPi演算和Pict語言分別具有較強的表達能力和較高的實現(xiàn)效率,這為Pi演算在分布式系統(tǒng)底層模型的研究提供實驗依據(jù)。
【關(guān)鍵詞】：NPi演算 分布式技術(shù) 對等網(wǎng)絡(luò) Pict語言
【學(xué)位授予單位】：吉林大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP393.02
【目錄】：

• 摘要4-6
• abstract6-11
• 第1章 引言11-19
• 1.1 研究背景11-16
• 1.1.1 分布式技術(shù)研究現(xiàn)狀11-12
• 1.1.2 對等網(wǎng)絡(luò)現(xiàn)狀12-15
• 1.1.3 基于DHT的網(wǎng)絡(luò)模型研究現(xiàn)狀15-16
• 1.2 研究意義16-17
• 1.3 本文主要工作17
• 1.4 論文組織結(jié)構(gòu)17-19
• 第2章 Pi演算及其相關(guān)理論19-25
• 2.1 Pi演算基礎(chǔ)知識19-23
• 2.1.1 基本定義19-21
• 2.1.2 操作語義及反應(yīng)規(guī)則21-22
• 2.1.3 Pi演算的通信表達能力22-23
• 2.2 Pi演算及其變體的應(yīng)用23
• 2.3 本章小結(jié)23-25
• 第3章 新型分布式NPi演算及其互模擬分析25-35
• 3.1 NPi演算基礎(chǔ)知識25-29
• 3.1.1 擴展算子25-27
• 3.1.2 可觀察動作27-29
• 3.2 語法語義29-30
• 3.3 結(jié)構(gòu)同余30-32
• 3.4 遷移規(guī)則32
• 3.5 新標號遷移系統(tǒng)32-33
• 3.6 互模擬分析33-34
• 3.7 本章小結(jié)34-35
• 第4章 基于NPi演算的對等網(wǎng)絡(luò)建模35-50
• 4.1 Pastry網(wǎng)絡(luò)模型35-37
• 4.1.1 拓撲結(jié)構(gòu)35-36
• 4.1.2 組網(wǎng)方式36-37
• 4.2 Pastry數(shù)據(jù)結(jié)構(gòu)表示方式37-43
• 4.2.1 節(jié)點元素38
• 4.2.2 路由表模型38-40
• 4.2.3 葉子節(jié)點集模型40-43
• 4.3 Pastry建模過程43-46
• 4.3.1 節(jié)點加入43-46
• 4.3.2 路由服務(wù)46
• 4.4 DHT建模46-49
• 4.5 本章小結(jié)49-50
• 第5章 基于Pict語言的模型實現(xiàn)50-62
• 5.1 Pict語言介紹50-51
• 5.1.1 Pict基本結(jié)構(gòu)50-51
• 5.1.2 Pi演算與Pict語言的對應(yīng)51
• 5.2 模型的實現(xiàn)51-56
• 5.2.1 Pict程序?qū)崿F(xiàn)過程52-55
• 5.2.2 C程序?qū)崿F(xiàn)過程55-56
• 5.3 實驗結(jié)果及對比56-60
• 5.4 實驗對比結(jié)論60-61
• 5.5 本章小結(jié)61-62
• 第6章 結(jié)語和展望62-64
• 6.1 本文工作總結(jié)62-63
• 6.2 未來工作展望63-64
• 參考文獻64-67
• 作者簡介及在學(xué)期間所取得的科研成果67-68
• 致謝68

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 李玲;;對等網(wǎng)絡(luò)能否做大?[J];Internet信息世界;2001年02期

2 劉向彥;;對等網(wǎng)絡(luò)有很大的獲利能力,但無人指出如何去做[J];Internet信息世界;2001年02期

3 劉杰;對等網(wǎng)絡(luò)嫁接企業(yè)應(yīng)用[J];互聯(lián)網(wǎng)周刊;2002年12期

4 常曉鵬;程凱;;關(guān)于對等網(wǎng)絡(luò)結(jié)構(gòu)的研究[J];河南教育學(xué)院學(xué)報(自然科學(xué)版);2006年03期

5 羅慧慧;劉鳳鳴;;對等網(wǎng)絡(luò)信譽系統(tǒng)的研究[J];電腦與電信;2007年04期

6 李小林;楊曉亞;張力娜;;對等網(wǎng)絡(luò)搜索機制研究[J];天水師范學(xué)院學(xué)報;2007年02期

7 杜宏博;肖力千;胡星;;對等網(wǎng)絡(luò)文件分發(fā)算法優(yōu)化[J];計算機工程;2007年16期

8 于莉;;對等網(wǎng)絡(luò)的應(yīng)用研究[J];科技風(fēng);2008年05期

9 朱曉姝;;對等網(wǎng)絡(luò)開發(fā)平臺的比較分析與研究[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2009年08期

10 徐蕾;;對等網(wǎng)絡(luò)的發(fā)展與現(xiàn)狀[J];讀與寫(教育教學(xué)刊);2010年09期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 梁克;;對等網(wǎng)絡(luò)技術(shù)的研究[A];江蘇省通信學(xué)會2004年學(xué)術(shù)年會論文集[C];2004年

2 王東升;;淺談P2P技術(shù)發(fā)展對網(wǎng)監(jiān)工作帶來的影響及對策[A];第二十次全國計算機安全學(xué)術(shù)交流會論文集[C];2005年

3 馬曉梅;劉瑩;;P2P及其對網(wǎng)絡(luò)傳播的影響[A];山東省計算機學(xué)會2005年信息技術(shù)與信息化研討會論文集（一）[C];2005年

4 湯筠;張萌;孫立峰;楊士強;鐘玉琢;;基于多發(fā)送結(jié)點的對等網(wǎng)絡(luò)流媒體組播結(jié)構(gòu)[A];第一屆建立和諧人機環(huán)境聯(lián)合學(xué)術(shù)會議（HHME2005）論文集[C];2005年

5 李文清;張常有;段淑鳳;;一種分布式Web服務(wù)內(nèi)容的匹配方法研究[A];2010年全國開放式分布與并行計算機學(xué)術(shù)會議論文集[C];2010年

6 趙葆華;林海旦;陳海永;;移動對等網(wǎng)絡(luò)數(shù)據(jù)檢索新方法研究[A];2006年全國開放式分布與并行計算學(xué)術(shù)會議論文集（二）[C];2006年

7 任瀟;董劍;劉宏偉;李洋;楊孝宗;;對等網(wǎng)絡(luò)中基于失效規(guī)律的自適應(yīng)失效檢測器研究[A];第十四屆全國容錯計算學(xué)術(shù)會議(CFTC'2011)論文集[C];2011年

8 韓麗;雷振明;;對等網(wǎng)絡(luò)的資源查找機制[A];通信理論與信號處理新進展——2005年通信理論與信號處理年會論文集[C];2005年

9 勵錚;李衛(wèi)明;;基于對等網(wǎng)絡(luò)的公共密鑰基礎(chǔ)設(shè)施信任模型[A];浙江省電子學(xué)會第七次會員代表大會暨2007學(xué)術(shù)年會論文集[C];2007年

10 陶九陽;魏祥麟;張東戈;劉浩;;基于間接互惠的P2P激勵機制研究[A];2009年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(下冊)[C];2009年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 ;競開協(xié)同之星(GK-Star)獨特的網(wǎng)絡(luò)技術(shù)架構(gòu) 擴展對等網(wǎng)絡(luò)[N];中國計算機報;2004年

2 莊林;企業(yè)需要什么樣的商用網(wǎng)絡(luò)？[N];中國電力報;2002年

3 ;Web2.0的典型應(yīng)用[N];人民郵電;2008年

4 本報記者 姜波;P2P，邁進企業(yè)的未來[N];網(wǎng)絡(luò)世界;2001年

5 劉宇紅;利用SBS改造對等網(wǎng)絡(luò)[N];中國計算機報;2001年

6 晴雪;打造真正的入門級無線打印解決方案[N];國際商報;2005年

7 朱冰;HP無線打印締造企業(yè)辦公室的自由國度[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報;2005年

8 本報記者 劉春輝;管理與應(yīng)用——IPv6面臨的最大挑戰(zhàn)[N];人民郵電;2003年

9 上海交通大學(xué)金橋網(wǎng)絡(luò)工程中心 李振武 白英彩;影響Internet未來的對等網(wǎng)絡(luò)(P2P)[N];計算機世界;2002年

10 郭瑩;點擊科技綜合·協(xié)同·對等[N];中國計算機報;2003年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 余一嬌;基于文件復(fù)制的對等網(wǎng)絡(luò)搭便車抑制技術(shù)研究[D];華中科技大學(xué);2009年

2 楊艦;對等網(wǎng)絡(luò)有效搜索機制研究[D];復(fù)旦大學(xué);2004年

3 韓定一;對等網(wǎng)絡(luò)的社區(qū)模型及其在搜索中的應(yīng)用[D];上海交通大學(xué);2007年

4 彭浩;復(fù)雜對等網(wǎng)絡(luò)系統(tǒng)中安全機制的研究[D];上海交通大學(xué);2012年

5 王春枝;對等網(wǎng)絡(luò)中節(jié)點合作激勵機制研究[D];武漢理工大學(xué);2013年

6 徐婕;基于對等網(wǎng)絡(luò)的資源搜索策略的研究[D];華中科技大學(xué);2007年

7 盧葦;對等網(wǎng)絡(luò)分組搜索算法研究[D];四川大學(xué);2006年

8 郭磊濤;對等網(wǎng)絡(luò)中信任感知的資源交易模型[D];中國科學(xué)技術(shù)大學(xué);2007年

9 陳漢華;基于對等網(wǎng)絡(luò)的大地規(guī)模內(nèi)容檢索研究[D];華中科技大學(xué);2010年

10 黃國偉;對等網(wǎng)絡(luò)中服務(wù)可用性問題研究[D];南開大學(xué);2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 余星;基于結(jié)構(gòu)化對等網(wǎng)絡(luò)的云資源多維查詢算法的研究[D];上海理工大學(xué);2014年

2 胡林;對等VPN網(wǎng)絡(luò)實現(xiàn)技術(shù)研究及其應(yīng)用[D];湘潭大學(xué);2015年

3 彭浩;對等網(wǎng)絡(luò)在科技獎勵平臺中的應(yīng)用[D];石家莊鐵道大學(xué);2015年

4 王雪;基于對等網(wǎng)絡(luò)的分布式Pi演算研究[D];吉林大學(xué);2016年

5 許鋒;對等網(wǎng)絡(luò)平臺的設(shè)計與架構(gòu)[D];浙江大學(xué);2002年

6 向俊凌;結(jié)構(gòu)化對等網(wǎng)絡(luò)復(fù)雜查詢機制的研究[D];電子科技大學(xué);2006年

7 曹華;對等網(wǎng)絡(luò)安全匿名和文件真實性問題的研究[D];中南大學(xué);2007年

8 施聰;對等網(wǎng)絡(luò)中基于關(guān)鍵字的搜索[D];上海交通大學(xué);2008年

9 楊武;對等網(wǎng)絡(luò)中搭便車問題研究[D];湖南工業(yè)大學(xué);2011年

10 施婷婷;基于博弈論的對等網(wǎng)絡(luò)資源共享均衡機制的研究[D];吉林大學(xué);2012年

  本文關(guān)鍵詞：基于對等網(wǎng)絡(luò)的分布式Pi演算研究，由筆耕文化傳播整理發(fā)布。

，

本文編號：280666