文獻(xiàn)調(diào)研報(bào)告模板(編輯修改稿)
2024-08-31 00:38 本頁面
【文章內(nèi)容簡介】 inhabiting the same layer, where each process should satisfy a distinct delivery requirement. A positional technique is used to formally prove that the protocol satisfies these requirements. Although the protocol itself is not novel, the methodology employed in its verification extends existing techniques by automating the tedious and usually cumbersome part of the proof, thereby making the iterative design process of protocols feasible.【篇名】基于工業(yè)以太網(wǎng)的列車通信網(wǎng)絡(luò)研究【作者】張建斌【學(xué)位類型】碩士【授予單位】北京交通大學(xué)【導(dǎo)師】譚南林【年份】2011【摘要】:傳統(tǒng)以太網(wǎng)通信的非實(shí)時和非確定性限制了其在列車通信網(wǎng)絡(luò)中應(yīng)用。改變以太網(wǎng)通信驅(qū)動和調(diào)度機(jī)制可使之成為適合列車通信的實(shí)時以太網(wǎng)。本文深入研究了影響以太網(wǎng)實(shí)時性和確定性通信的因素后提出了解決方案,并在設(shè)計(jì)的實(shí)驗(yàn)平臺上進(jìn)行了驗(yàn)證。本文以星型網(wǎng)絡(luò)為基礎(chǔ)研究了共享式和交換式以太網(wǎng)的實(shí)時特性,得出交換式以太網(wǎng)符合列車通信網(wǎng)絡(luò)組網(wǎng)要求。分析了時間觸發(fā)架構(gòu)的通信機(jī)制并引入以太網(wǎng)中,分時復(fù)用的通信方法保證了以太網(wǎng)的通信的實(shí)時性和確定性,在此基礎(chǔ)上提出以太網(wǎng)確定性通信的調(diào)度機(jī)制,并分析計(jì)算了通信網(wǎng)絡(luò)的宏觀調(diào)度周期。為了建立基于時間觸發(fā)機(jī)制的以太網(wǎng)通信網(wǎng)絡(luò),本文在IEEEI588時鐘同步協(xié)議基礎(chǔ)上,提出了一種新的從時鐘時間補(bǔ)償方法即漸近時間補(bǔ)償法,解決了直接補(bǔ)償算法的時間“突變”問題,為驗(yàn)證算法的合理性和科學(xué)性,用MATLAB對時鐘同步過程進(jìn)行了建模分析。在以太網(wǎng)技術(shù)基礎(chǔ)上研究了以太網(wǎng)通信節(jié)點(diǎn)可行性設(shè)計(jì)方案。完成了兩類以太網(wǎng)通信節(jié)點(diǎn)硬件設(shè)計(jì),移植了實(shí)時操作系統(tǒng)和TCP/IP協(xié)議棧,搭建了交換式以太網(wǎng)通信的實(shí)驗(yàn)平臺,以實(shí)驗(yàn)平臺為基礎(chǔ),實(shí)現(xiàn)了IEEEI588時鐘同步協(xié)議棧,建立了時鐘同步網(wǎng)絡(luò)。最后,為考察通信網(wǎng)絡(luò)的實(shí)時響應(yīng)能力和時鐘同步精度,本文設(shè)計(jì)了通信網(wǎng)絡(luò)的測試方案,對通信網(wǎng)絡(luò)平臺的通信性能進(jìn)行了定量分析?！酒炕赯igBee的無線傳感器網(wǎng)絡(luò)通信協(xié)議棧設(shè)計(jì)與實(shí)現(xiàn)【作者】李蔚【學(xué)位類型】碩士【授予單位】電子科技大學(xué)【導(dǎo)師】童玲【年份】2012【摘要】無線傳感器網(wǎng)絡(luò)技術(shù)應(yīng)用前景非常廣闊,在醫(yī)療、農(nóng)業(yè)、環(huán)境、軍事、侵入監(jiān)測、軌跡跟蹤、機(jī)器故障等不同應(yīng)用領(lǐng)域開始顯現(xiàn)出了巨大的潛力。無線傳感器網(wǎng)絡(luò)中的通信協(xié)議棧屬于網(wǎng)絡(luò)底層關(guān)鍵技術(shù)之一,是通信系統(tǒng)中不可分割的重要組成部分,是使得傳感器網(wǎng)絡(luò)應(yīng)用能夠進(jìn)行交互的關(guān)鍵所在。本文基于ZigBee技術(shù)提出了一種可移植性強(qiáng)、提供良好編程接口的無線傳感器網(wǎng)絡(luò)通信協(xié)議棧的設(shè)計(jì)與實(shí)現(xiàn),其目的是為了降低開發(fā)傳感器網(wǎng)絡(luò)應(yīng)用的難度,同時也可為研究人員研究無線傳感器網(wǎng)絡(luò)效能、改進(jìn)通信協(xié)議提供一個堅(jiān)實(shí)基礎(chǔ)。本文設(shè)計(jì)的無線傳感器網(wǎng)絡(luò)通信協(xié)議棧具有理論和應(yīng)用上的意義。本文著重介紹了協(xié)議棧的MAC層、網(wǎng)絡(luò)層的設(shè)計(jì)與實(shí)現(xiàn)。設(shè)計(jì)實(shí)現(xiàn)的MAC層在數(shù)據(jù)服務(wù)上支持直接傳輸與間接傳輸,支持CSMA/CA機(jī)制接入信道。在管理上,支持信道的掃描、數(shù)據(jù)請求、關(guān)聯(lián)等功能。網(wǎng)絡(luò)層支持網(wǎng)絡(luò)的建立、加入、離開、網(wǎng)絡(luò)地址分配等網(wǎng)絡(luò)管理功能,支持網(wǎng)絡(luò)數(shù)據(jù)的單播及廣播服務(wù)等數(shù)據(jù)服務(wù)功能。網(wǎng)絡(luò)層的路由管理支持多對一、分級路由、最小路由成本等路由策略。本文在以射頻芯片CC2531為核心硬件平臺上,進(jìn)行了協(xié)議棧的性能指標(biāo)測試:MAC層主要進(jìn)行鏈路的數(shù)據(jù)傳輸吞吐量與丟幀率等性能指標(biāo)的測試。網(wǎng)絡(luò)層主要進(jìn)行自組織網(wǎng)絡(luò)能力、路由算法反應(yīng)能力、端對端網(wǎng)絡(luò)時延及傳輸成功率等性能指標(biāo)的測試。7 調(diào)研結(jié)果分析自己的思考和心得 國外相關(guān)研究[1] Development of verification and conformance testing tools for a railway signaling mun ication protocol[J]. Computer Standards amp。 Interfaces,2009.論文的主要工作就是采用label transition system（LTS）和輸入/輸出有限狀態(tài)機(jī)（I/O FSM）來描述了一個通信協(xié)議，并驗(yàn)證鐵路信號通信協(xié)議的安全性和活性，驗(yàn)證方法是μ算子（mucalculus）和模型檢測(model checking)，這其中的一致性測試、UIO
畢業(yè)設(shè)計(jì)相關(guān)推薦
鄂ICP備17016276號-1