已閱讀1頁(yè),還剩68頁(yè)未讀, 繼續(xù)免費(fèi)閱讀
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、單位代碼:1夠趵學(xué)號(hào):2咝170320分類號(hào):!墮皇!密級(jí):坌五侖肥工學(xué)大警HefeiUniversityofTechnology碩士學(xué)位論文MASTER,SDISSERTATION論文題目:礦井機(jī)車無人駕駛系統(tǒng)無線區(qū)段交接過程形式化建槿與驗(yàn)證研宜學(xué)位類別:童業(yè)亟士專業(yè)名稱:讓簋扭撞丕作者姓名:昌擅威導(dǎo)師姓名:魏振春副教授楊勁松高級(jí)工程師完成時(shí)間:2Q!生三月ADissertationSubmittedfortheDegreeofMas
最新文檔
- 基于時(shí)間自動(dòng)機(jī)的礦井機(jī)車無人駕駛系統(tǒng)建模與驗(yàn)證.pdf
- 礦井機(jī)車無人駕駛系統(tǒng)混成建模與風(fēng)險(xiǎn)分析研究.pdf
- 礦井機(jī)車無人駕駛系統(tǒng)基站接入控制策略.pdf
- 基于AFFPN模型的礦井機(jī)車無人駕駛系統(tǒng)的故障分析.pdf
- 列控系統(tǒng)TSRS形式化建模分析與驗(yàn)證.pdf
- 列控系統(tǒng)需求規(guī)范形式化建模與驗(yàn)證方法研究.pdf
- Web服務(wù)組合形式化建模與驗(yàn)證研究.pdf
- 井下無人駕駛系統(tǒng)中的機(jī)車通信行為策略研究.pdf
- 基于形式化的信息物理系統(tǒng)的建模與驗(yàn)證.pdf
- 基于CBTC的聯(lián)鎖系統(tǒng)進(jìn)路控制形式化建模與驗(yàn)證.pdf
- 面向資源的物聯(lián)網(wǎng)系統(tǒng)形式化建模與驗(yàn)證.pdf
- 列車安全距離控制形式化建模與驗(yàn)證.pdf
- 列車通信網(wǎng)絡(luò)系統(tǒng)形式化建模與驗(yàn)證方法研究.pdf
- 無人駕駛坦克
- 列車運(yùn)行控制系統(tǒng)分層形式化建模與驗(yàn)證分析.pdf
- 無人駕駛坦克
- 無人駕駛汽車決策系統(tǒng)的規(guī)則正確性驗(yàn)證.pdf
- ASIP體系結(jié)構(gòu)形式化建模與驗(yàn)證方法研究.pdf
- 面向井下無人駕駛機(jī)車系統(tǒng)的基站布設(shè)及切換策略研究.pdf
- 生物過程的形式化建模及仿真.pdf
評(píng)論
0/150
提交評(píng)論