【摘要】：礦井機(jī)車無人駕駛系統(tǒng)在國(guó)內(nèi)外尚未廣泛使用,相關(guān)技術(shù)也不成熟,大巷內(nèi)環(huán)境惡劣、人員復(fù)雜且勞動(dòng)強(qiáng)度大、軌道路況差、信息化程度不高、運(yùn)輸調(diào)度多變等,要求系統(tǒng)具有高級(jí)別的可靠性、安全性、可信性等級(jí)。針對(duì)礦井機(jī)車無人駕駛系統(tǒng)中機(jī)車位置和機(jī)車信息等周期性消息傳輸?shù)膶?shí)時(shí)性問題,設(shè)計(jì)了基于時(shí)間有色Petri網(wǎng)的周期性消息實(shí)時(shí)性能建模與驗(yàn)證方法,對(duì)消息實(shí)時(shí)性能進(jìn)行形式化建模與驗(yàn)證,通過模擬周期性AP切換和突發(fā)中斷兩類失效,經(jīng)不同機(jī)車車速下丟包率和時(shí)延統(tǒng)計(jì)驗(yàn)證礦井機(jī)車無人駕駛系統(tǒng)周期性消息傳遞滿足系統(tǒng)設(shè)計(jì)要求。
【作者單位】： 合肥工業(yè)大學(xué);安全關(guān)鍵工業(yè)測(cè)控技術(shù)教育部工程研究中心;
【基金】：國(guó)家國(guó)際科技合作專項(xiàng)項(xiàng)目(2014DFB10060) 安徽省高校省級(jí)自然科學(xué)基金重大項(xiàng)目(編號(hào):KJ2013ZD09)資助
【分類號(hào)】：TD52

【相似文獻(xiàn)】

相關(guān)期刊論文 前2條

1 尚林源;田學(xué)民;史亞杰;;基于模型預(yù)測(cè)殘差閉環(huán)潛能指標(biāo)的MPC控制器實(shí)時(shí)性能監(jiān)控[J];化工學(xué)報(bào);2013年11期

2 ;[J];;年期

相關(guān)會(huì)議論文 前4條

1 李燕;;實(shí)時(shí)性能監(jiān)控技術(shù)及應(yīng)用[A];兩化融合與物聯(lián)網(wǎng)發(fā)展學(xué)術(shù)研討會(huì)論文集[C];2010年

2 路現(xiàn)立;胡國(guó)平;李軍;;Solaris實(shí)時(shí)性能測(cè)試與分析[A];全國(guó)計(jì)算機(jī)網(wǎng)絡(luò)應(yīng)用年會(huì)論文集（2001）[C];2001年

3 李少雪;吾守爾·斯拉木;郭凱敏;;嵌入式Linux2.6的實(shí)時(shí)性能研究與優(yōu)化[A];2010年全國(guó)開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集[C];2010年

4 趙偉;徐皚冬;;EPA實(shí)時(shí)性測(cè)試原理及實(shí)現(xiàn)方法[A];2009系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2009年

相關(guān)重要報(bào)紙文章 前3條

1 龔杰;OSIsoft升級(jí)實(shí)時(shí)性能管理軟件[N];計(jì)算機(jī)世界;2004年

2 ;TI推出新型可編程DSP[N];計(jì)算機(jī)世界;2001年

3 清華大學(xué)微電子學(xué)研究所 陳弘毅;發(fā)展我國(guó)自主智權(quán)微處理器的一些看法[N];中國(guó)高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2002年

相關(guān)碩士學(xué)位論文 前10條

1 陳亮;基于IEEE802.15.4的信息物理融合系統(tǒng)的實(shí)時(shí)性能優(yōu)化與實(shí)現(xiàn)[D];安徽工程大學(xué);2015年

2 周靖;移動(dòng)云環(huán)境中一種具有實(shí)時(shí)性能的遷移計(jì)算模型[D];昆明理工大學(xué);2014年

3 何劍;面向通信行業(yè)的嵌入式Linux實(shí)時(shí)性能改造[D];電子科技大學(xué);2005年

4 翟海霞;Web服務(wù)的實(shí)時(shí)性能優(yōu)化研究[D];河南理工大學(xué);2007年

5 陳俊璐;基于JVMTI的實(shí)時(shí)性能剖析系統(tǒng)的研究與應(yīng)用[D];大連理工大學(xué);2009年

6 姜南;Linux系統(tǒng)的實(shí)時(shí)性研究[D];吉林大學(xué);2010年

7 楊月慧;城軌列車傳感器網(wǎng)絡(luò)數(shù)據(jù)傳輸實(shí)時(shí)性能研究[D];北京交通大學(xué);2014年

8 張宇倩;上海聯(lián)通KPI實(shí)時(shí)性能監(jiān)控系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2008年

9 梁丁;基于嵌入式PLC的開發(fā)平臺(tái)體系研究[D];電子科技大學(xué);2007年

10 曹偉;基于ARM的嵌入式Linux終端的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2009年

，

本文編號(hào)：2531308