發(fā)布時(shí)間：2017-08-13 18:11

  本文關(guān)鍵詞：基于Petri網(wǎng)的帶寬共享協(xié)議建模與驗(yàn)證研究

  更多相關(guān)文章： Petri網(wǎng) 建模與驗(yàn)證 P2P網(wǎng)絡(luò) 網(wǎng)絡(luò)加速 帶寬共享 文件傳輸協(xié)議 分布式系統(tǒng)

【摘要】：Petri網(wǎng)(Petri Net)是一種重要的形式化建模分析和驗(yàn)證工具,有別于其它建模工具,具有圖形化特征和嚴(yán)格的數(shù)學(xué)分析雙重能力。對(duì)于多數(shù)的離散異步并發(fā)系統(tǒng),Petri網(wǎng)能夠很好地進(jìn)行構(gòu)建分析。經(jīng)過(guò)半個(gè)多世紀(jì)的成長(zhǎng),從原型Petri網(wǎng)衍生的高級(jí)Petri網(wǎng)[4]應(yīng)用于很多領(lǐng)域。網(wǎng)絡(luò)資源的下載速度和種類是衡量用戶網(wǎng)絡(luò)體驗(yàn)的重要指標(biāo),內(nèi)網(wǎng)(局域網(wǎng))具有網(wǎng)內(nèi)傳輸速度快但資源缺乏的特點(diǎn),外網(wǎng)(廣域網(wǎng))資源豐富但無(wú)法突破網(wǎng)絡(luò)服務(wù)商提供的帶寬�？蓪鹘y(tǒng)的網(wǎng)絡(luò)文件傳輸機(jī)制分為外網(wǎng)和內(nèi)網(wǎng)的文件傳輸,大都只能顧此失彼:外網(wǎng)下載資源存在部分計(jì)算機(jī)下載速度慢而同時(shí)若干計(jì)算機(jī)閑置的尷尬;內(nèi)網(wǎng)資源相對(duì)缺乏。即使是結(jié)合內(nèi)外網(wǎng)兩種環(huán)境的傳輸機(jī)制(如局域網(wǎng)中帶寬更大的服務(wù)器先從外網(wǎng)下載文件,普通計(jì)算機(jī)再通過(guò)傳輸速度更快的局域網(wǎng)環(huán)境從服務(wù)器中獲取文件,以此來(lái)提高文件的下載速度,此方法可以稱為代理加速)存在服務(wù)器端的下載瓶頸。設(shè)計(jì)一種在現(xiàn)有硬件環(huán)境下能夠兼顧資源豐富和下載速度快兩大優(yōu)點(diǎn)的網(wǎng)絡(luò)文件傳輸協(xié)議是一個(gè)值得研究的課題。針對(duì)局域網(wǎng)單臺(tái)計(jì)算機(jī)下載外網(wǎng)資源速度慢的問(wèn)題,本文以Petri網(wǎng)為系統(tǒng)邏輯設(shè)計(jì)工具,提出一種基于P2P(Peer to Peer)分布式結(jié)構(gòu)的外網(wǎng)帶寬共享協(xié)議。該協(xié)議指定內(nèi)網(wǎng)多臺(tái)計(jì)算機(jī)在外網(wǎng)下載所需文件的不同片段,再由局域網(wǎng)傳輸給任務(wù)發(fā)起者所屬計(jì)算機(jī)進(jìn)行原文件整合。協(xié)議充分利用多臺(tái)計(jì)算機(jī)的并行下載能力以及局域網(wǎng)的快速傳輸能力,從理論層面提高了單臺(tái)計(jì)算機(jī)的下行帶寬。本文進(jìn)一步通過(guò)基于Petri網(wǎng)的可達(dá)標(biāo)志圖,S_不變量和流程圖方法對(duì)協(xié)議的邏輯正確性和行為許可性進(jìn)行了驗(yàn)證,驗(yàn)證結(jié)果表明:本帶寬共享協(xié)議可以保證系統(tǒng)是可循環(huán)運(yùn)行的(即系統(tǒng)是不死的)以及下載資源的完整性。
【關(guān)鍵詞】：Petri網(wǎng) 建模與驗(yàn)證 P2P網(wǎng)絡(luò) 網(wǎng)絡(luò)加速 帶寬共享 文件傳輸協(xié)議 分布式系統(tǒng)
【學(xué)位授予單位】：西華大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP301.1;TP393.04
【目錄】：

• 摘要4-5
• Abstract5-7
• 1 引言7-15
• 1.1 分布式網(wǎng)絡(luò)結(jié)構(gòu)的發(fā)展及其意義7-8
• 1.2 P2P網(wǎng)絡(luò)結(jié)構(gòu)的發(fā)展及其意義8-12
• 1.3 網(wǎng)絡(luò)加速的研究現(xiàn)狀12-15
• 2 形式化建模工具——Petri網(wǎng)15-27
• 2.1 軟件形式化的重要性15-17
• 2.2 Petri網(wǎng)的發(fā)展及研究現(xiàn)狀17-19
• 2.3 Petri網(wǎng)的基本概念19-20
• 2.4 Petri網(wǎng)的分類20-22
• 2.5 Petri網(wǎng)的動(dòng)態(tài)性質(zhì)22-25
• 2.6 Petri網(wǎng)的分析方法25-27
• 3 帶寬共享系統(tǒng)建模27-37
• 3.1 帶寬共享系統(tǒng)總體結(jié)構(gòu)27-28
• 3.2 下載資源獲取器28
• 3.3 任務(wù)分配28-30
• 3.4 任務(wù)執(zhí)行過(guò)程30-32
• 3.5 任務(wù)輪詢分配死鎖消除3.532
• 3.6 任務(wù)回收32-33
• 3.7 回收的任務(wù)重新分配33
• 3.8 完整性檢測(cè)33-34
• 3.9 完整系統(tǒng)建模34-37
• 4 系統(tǒng)性質(zhì)分析37-42
• 4.1 系統(tǒng)主體結(jié)構(gòu)正確性驗(yàn)證37-40
• 4.1.1 可達(dá)標(biāo)志圖分析38-39
• 4.1.2 S_不變量分析39-40
• 4.2 校驗(yàn)器正確性驗(yàn)證40-42
• 5 總結(jié)與展望42-43
• 參考文獻(xiàn)43-46
• 攻讀碩士學(xué)位期間發(fā)表的論文及科研成果46-47
• 致謝47-48

【相似文獻(xiàn)】

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

1 二龍戲豬;;讓BT再快一點(diǎn)[J];電腦迷;2005年12期

2 ;有關(guān)網(wǎng)絡(luò)的理論速度與實(shí)際速度[J];電腦迷;2005年13期

3 sclczl;;怎樣找到更多的eMule服務(wù)器[J];電腦迷;2005年18期

4 ;半分鐘就能下一部電影[J];軟件世界;2007年11期

5 胡湘東;巧用“轉(zhuǎn)交”功能 加快下載速度[J];中國(guó)會(huì)計(jì)電算化;1999年07期

6 Siyangyi;;eDonkey和emule的使用體會(huì)點(diǎn)滴[J];軟件;2003年04期

7 周建峰;;為什么別人下載速度比我快?[J];電腦愛(ài)好者;2009年04期

8 一嘯傾城;;娛樂(lè)共享 我要摩力極速[J];電腦愛(ài)好者(普及版);2009年07期

9 趙起順;;推動(dòng)P2P技術(shù)前進(jìn)[J];互聯(lián)網(wǎng)天地;2005年08期

10 彭家進(jìn);;Chrome雞肋不再 下載有神器相助[J];電腦愛(ài)好者;2011年17期

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 陳杰;迅數(shù)榜重排全國(guó)下載速度座次[N];科技日?qǐng)?bào);2013年

2 ;城域Wi-Fi速度最快 3G最慢[N];網(wǎng)絡(luò)世界;2007年

3 俞木發(fā);你看 你看 我的網(wǎng)速[N];中國(guó)電腦教育報(bào);2003年

4 中國(guó)軟件評(píng)測(cè)中心 中國(guó)計(jì)算機(jī)報(bào)測(cè)試實(shí)驗(yàn)室 李獻(xiàn);好“貓”伴你網(wǎng)上行[N];中國(guó)計(jì)算機(jī)報(bào);2000年

5 ;P2P軟件經(jīng)典應(yīng)用技巧[N];電腦報(bào);2005年

6 中國(guó)軟件評(píng)測(cè)中心 中國(guó)計(jì)算機(jī)報(bào)測(cè)試實(shí)驗(yàn)室 李獻(xiàn);找尋一只好“貓”[N];中國(guó)計(jì)算機(jī)報(bào);2000年

7 高智　張譯文;拋開表象看寬帶本質(zhì)[N];電腦報(bào);2013年

8 ;愛(ài)立信大力拓展HSDPA商用[N];人民郵電;2006年

9 江蘇 馬志強(qiáng);ADSL大提速[N];電腦報(bào);2001年

10 高煒;小概念引起的大誤會(huì)[N];中國(guó)電腦教育報(bào);2004年

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

1 周鑫;基于Petri網(wǎng)的帶寬共享協(xié)議建模與驗(yàn)證研究[D];西華大學(xué);2016年

2 余兆;基于ISP主動(dòng)參與的P2P下載流量?jī)?yōu)化研究[D];湖北工業(yè)大學(xué);2011年

，

本文編號(hào)：668631