版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、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)過半個(gè)多世紀(jì)的成長,從原型Petri網(wǎng)衍生的高級(jí)Petri網(wǎng)。應(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ǎng)絡(luò)服務(wù)商提供的
2、帶寬??蓪鹘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ī)再通過傳輸速度更快的局域網(wǎng)環(huán)境從服務(wù)器中獲取文件,以此來提高文件的下載速度,此方法可以稱為代理加速)存在服務(wù)器端的下載瓶頸。設(shè)計(jì)一種在現(xiàn)有硬件環(huán)境下能夠兼顧資源豐富和下載速度快兩大優(yōu)點(diǎn)的網(wǎng)絡(luò)文
3、件傳輸協(xié)議是一個(gè)值得研究的課題。
針對(duì)局域網(wǎng)單臺(tái)計(jì)算機(jī)下載外網(wǎng)資源速度慢的問題,本文以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)一步通過基于Petri網(wǎng)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于時(shí)空Petri網(wǎng)的CPS建模與驗(yàn)證研究.pdf
- 基于Petri網(wǎng)的HEED協(xié)議驗(yàn)證與改進(jìn).pdf
- 基于著色Petri網(wǎng)的LDP協(xié)議驗(yàn)證研究.pdf
- 基于擴(kuò)展時(shí)間Petri網(wǎng)的協(xié)議描述與驗(yàn)證研究.pdf
- 基于UML與Petri網(wǎng)的軟件需求建模與驗(yàn)證.pdf
- 基于網(wǎng)絡(luò)協(xié)議的Petri網(wǎng)研究——利用著色Petri網(wǎng)分析驗(yàn)證安全協(xié)議.pdf
- 基于顏色Petri網(wǎng)的時(shí)間RBAC建模與驗(yàn)證.pdf
- 基于有色Petri網(wǎng)的SPIN協(xié)議驗(yàn)證.pdf
- 基于Petri網(wǎng)的工作流建模方法與驗(yàn)證研究.pdf
- 基于Petri網(wǎng)的安全協(xié)議分析與驗(yàn)證技術(shù).pdf
- 排隊(duì)系統(tǒng)的Petri網(wǎng)建模與驗(yàn)證.pdf
- 基于petri網(wǎng)的嵌入式系統(tǒng)建模與驗(yàn)證研究
- 基于著色Petri網(wǎng)模型的OSPF協(xié)議驗(yàn)證.pdf
- 基于Petri網(wǎng)的嵌入式系統(tǒng)建模與驗(yàn)證研究.pdf
- 基于混成時(shí)空Petri網(wǎng)的CPS建模及驗(yàn)證.pdf
- 基于分層Petri網(wǎng)的Web服務(wù)組合建模與驗(yàn)證.pdf
- 基于著色Petri網(wǎng)的建模和模型性質(zhì)分析驗(yàn)證的研究.pdf
- 一類對(duì)象Petri網(wǎng)建模與驗(yàn)證方法研究.pdf
- 基于擴(kuò)展時(shí)間Petri網(wǎng)的嵌入式中斷建模與驗(yàn)證.pdf
- 基于顏色Petri網(wǎng)的無線Mesh網(wǎng)路由安全建模與驗(yàn)證.pdf
評(píng)論
0/150
提交評(píng)論