2023年全國碩士研究生考試考研英語一試題真題(含答案詳解+作文范文)_第1頁
已閱讀1頁,還剩70頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)

文檔簡介

1、概率模型檢測是一種形式化的驗證方法,它首先將目標系統(tǒng)建模成一個概率模型,并用概率時序邏輯刻畫要驗證的屬性,然后判定模型是否滿足此屬性,或是求解屬性的值。相對于實驗和仿真,概率模型檢測系統(tǒng)地探索整個狀態(tài)空間,因此允許對系統(tǒng)所有可能的行為進行推理,提高了屬性驗證的精確性和全面性。目前概率模型檢測已經(jīng)在分析系統(tǒng)的可靠性,安全性等性能方面獲得了廣泛的應用。本文利用概率模型檢測技術(shù)對面向海量數(shù)據(jù)可靠快速傳輸?shù)目焖侔踩珔f(xié)議(FASP)和應用于車載網(wǎng)

2、絡通信的IEEE802.11P中的介質(zhì)訪問控制(MAC)協(xié)議的性能與可靠性進行了詳細的分析,所有的工作均是在模型檢測工具PRISM上面完成,主要內(nèi)容有:
   1.對于FASP協(xié)議,根據(jù)傳輸特性,特別是負反饋機制及單一數(shù)據(jù)流的連續(xù)性,將其建模為一個連續(xù)時間馬爾可夫鏈(CTMC)模型。然后對FASP協(xié)議最重要的兩個屬性—可靠性和快速性—進行了驗證分析。從概率模型角度出發(fā),我們將可靠性描述成:發(fā)送端總是能完成數(shù)據(jù)的發(fā)送,并且接收端最

3、終將成功接收,這一事件的概率是否總是為1。驗證結(jié)果表明,無論丟失率如何改變,此概率一直保持為1,這充分說明FASP有很好的可靠性能。在驗證快速性時,分析了所要發(fā)送的數(shù)據(jù)量,信道傳輸速度及信道的數(shù)據(jù)丟失率三個參數(shù)的不同取值對傳輸時間的影響,我們發(fā)現(xiàn)無論網(wǎng)絡配置如何,F(xiàn)ASP完成1G大小的文件傳輸大概僅需10秒,說明FASP傳輸數(shù)據(jù)的速度非??臁W詈?,利用吞吐量計算公式獲得了FASP的吞吐量,將其與TCP吞吐量進行對比,結(jié)果表明,F(xiàn)ASP吞

4、吐量能完全獨立于網(wǎng)絡延遲并且對極端的包丟失率具備魯棒性。
   2.IEEE802.11P的MAC協(xié)議支持密集時間,概率選擇和非確定性,所以我們選擇能同時支持這三種特性的概率時間自動機(PTA)對MAC建模。然后對802.11P的兩種不同類型的性能指標:概率可達性和期望可達性進行了驗證分析。概率可達性首先驗證了802.11P總是能完成數(shù)據(jù)的發(fā)送,其次計算了任意站的退避計數(shù)器達到最大退避數(shù)的概率,這是退避過程中的最壞情況的概率,此

5、概率隨著最大退避數(shù)的增加急劇下降,并且802.11P的概率比802.11標準要小得多,這表示802.11P因發(fā)生沖突而進入等待的情況會明顯減少,在高速行駛的情況下也能及時發(fā)送數(shù)據(jù)。期望可達性分析了,802.11P完成數(shù)據(jù)發(fā)送前發(fā)生沖突的期望次數(shù)最多的情況,以及完成數(shù)據(jù)傳輸所需要的最長的時間。兩個站都正確發(fā)送數(shù)據(jù)前,發(fā)生沖突的最大期望次數(shù)的結(jié)果發(fā)明,802.11P發(fā)生沖突的情況比802.11標準稍微緩和,穩(wěn)定性也更好。完成相同數(shù)據(jù)大小的發(fā)

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論