隨著物聯(lián)網(wǎng)技術(shù)和信息物理融合系統(tǒng)相關(guān)理論的發(fā)展,車聯(lián)網(wǎng)系統(tǒng)(Internet of Vehicles)已經(jīng)成為物聯(lián)網(wǎng)理論和智能交通系統(tǒng)的重要研究領(lǐng)域,而其中事件實時處理是具有挑戰(zhàn)性的研究對象。本文提出了基于車聯(lián)網(wǎng)理論和事件驅(qū)動體系結(jié)構(gòu)以及時空約束的車聯(lián)網(wǎng)事件監(jiān)控關(guān)鍵方法和技術(shù),并對相關(guān)問題進(jìn)行了深入細(xì)致的研究,主要貢獻(xiàn)如下：首先,針對車聯(lián)網(wǎng)中時空事件的表達(dá)和處理問題,提出了車聯(lián)網(wǎng)的具有時空約束的事件處理語言STEP,建立了STEP語言的形式化語義——操作語義和指稱語義,并建立了它們的一致性。其次,針對車聯(lián)網(wǎng)中時空事件流的處理問題,基于STEP語言提出了車聯(lián)網(wǎng)時空事件流Petri網(wǎng)處理模型,并給出了相應(yīng)的事件流處理算法。研究結(jié)果表明該模型具有結(jié)構(gòu)有界性和結(jié)構(gòu)守恒性,并且基于該Petri網(wǎng)模型的事件處理算法具有穩(wěn)定的動態(tài)性能,最后,通過仿真工具驗證了相關(guān)推理的正確性。另外,針對車聯(lián)網(wǎng)中大規(guī)模時空事件流的分布式處理任務(wù),提出了車聯(lián)網(wǎng)多維QoS改進(jìn)HEFT調(diào)度算法。然后,針對公交車系統(tǒng)中常見的超速監(jiān)控和未按時到站監(jiān)控問題,提出了基于STeC/STEP的公交車動態(tài)監(jiān)控策略,并設(shè)計和實現(xiàn)了基于該監(jiān)...

【文章頁數(shù)】：176 頁

【學(xué)位級別】：博士

【部分圖文】：

圖１．１：車載網(wǎng)絡(luò)（ＶＡＮＥ巧示意圖??

Ａｄ－ｈｏｃ?Ｎｅｔｗｏｒｋ，?ＶＡＮＥ巧的概念被首次提出Ｗ。ＶＡＮＥＴ把行駛車輛都轉(zhuǎn)化成為移動??的無線節(jié)點或路由器，利用車輛間數(shù)百米內(nèi)短暫通信，巧成一個大范圍的無線移動??網(wǎng)絡(luò)。此后，世界各國掀起了車聯(lián)網(wǎng)相關(guān)研究的熱潮。圖１．１出自文獻(xiàn)［４］。??圖１．１：車載網(wǎng)絡(luò)（ＶＡＮＥ....

圖１．４：現(xiàn)有的交通監(jiān)控系統(tǒng)體系結(jié)構(gòu)示意圖??毎??

（１）監(jiān)控數(shù)據(jù)不能共享。同一監(jiān)控數(shù)據(jù)只能在特定的系統(tǒng)內(nèi)部使用，不能跨系統(tǒng)??使用，這樣勢必會造成系統(tǒng)資源的浪費。不同部口的管理者若想監(jiān)控同一路段的交??通信息，必須重新布置監(jiān)控設(shè)備。如圖１．５所示，２０１４年杭州市某路口不同管理部口??重復(fù)建設(shè)的多個交通監(jiān)控設(shè)備。??ＢＩ臨貨當(dāng)遍....

圖１．５：杭州市某路口的重復(fù)建設(shè)的多個監(jiān)控設(shè)備??

?Ｉ?巧多?沒》?沒巧＆和換Ｓ?資除餅??圖１．４：現(xiàn)有的交通監(jiān)控系統(tǒng)體系結(jié)構(gòu)示意圖??毎??傳統(tǒng)的交通監(jiān)控系統(tǒng)存在如下問題：??（１）監(jiān)控數(shù)據(jù)不能共享。同一監(jiān)控數(shù)據(jù)只能在特定的系統(tǒng)內(nèi)部使用，不能跨系統(tǒng)??使用，這樣勢必會造成系統(tǒng)資源的浪費。不同部口的管理者若想監(jiān)控同一路段的交?....

圖１．６：事件驅(qū)動體系結(jié)構(gòu)的車聯(lián)網(wǎng)監(jiān)控系統(tǒng)示意圖??＂＂＂

１．２研究意義與所面臨的挑戰(zhàn)??將車聯(lián)網(wǎng)技術(shù)、大數(shù)據(jù)流處理技術(shù)和事件驅(qū)動體系結(jié)構(gòu)引入交通監(jiān)控系統(tǒng)，建??立基于時空約束的車聯(lián)網(wǎng)事件監(jiān)控系統(tǒng)如圖１．６所示。在事件驅(qū)動體系結(jié)構(gòu)的車聯(lián)網(wǎng)??系統(tǒng)中，所有的數(shù)據(jù)都被抽象成事件。車聯(lián)網(wǎng)中的各個對象都在源源不斷地產(chǎn)生著??時空事件流，但是車聯(lián)....

本文編號：3975972