-
>
公路車寶典(ZINN的公路車維修與保養(yǎng)秘籍)
-
>
晶體管電路設(shè)計(下)
-
>
基于個性化設(shè)計策略的智能交通系統(tǒng)關(guān)鍵技術(shù)
-
>
花樣百出:貴州少數(shù)民族圖案填色
-
>
山東教育出版社有限公司技術(shù)轉(zhuǎn)移與技術(shù)創(chuàng)新歷史叢書中國高等技術(shù)教育的蘇化(1949—1961)以北京地區(qū)為中心
-
>
鐵路機車概要.交流傳動內(nèi)燃.電力機車
-
>
利維坦的道德困境:早期現(xiàn)代政治哲學(xué)的問題與脈絡(luò)
車載通信與動態(tài)導(dǎo)航系統(tǒng) 版權(quán)信息
- ISBN:9787118115383
- 條形碼:9787118115383 ; 978-7-118-11538-3
- 裝幀:一般膠版紙
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>>
車載通信與動態(tài)導(dǎo)航系統(tǒng) 本書特色
本書首先分析了動態(tài)車載導(dǎo)航系統(tǒng)的核心需求:地圖顯示、導(dǎo)航和路線規(guī)劃,然后運用Event-B形式化建模方法對系統(tǒng)進行建模分析。在模型精化過程中,論述了相關(guān)數(shù)據(jù)結(jié)構(gòu)及流程的建模方法。模型經(jīng)過4次精化,實現(xiàn)了所有的核心需求。將每個精化模型導(dǎo)入Rodin平臺,所生成的證明義務(wù)全部證明成功,表明該模型在理論上是正確的。之后以模型為參考,設(shè)計了導(dǎo)航系統(tǒng)的軟件架構(gòu),從邏輯視圖和過程視圖兩個角度對系統(tǒng)進行非形式化描述,系統(tǒng)開發(fā)人員可在該架構(gòu)的基礎(chǔ)上設(shè)計并開發(fā)出正確的系統(tǒng)。第3章到第6章,我們重點研究了動態(tài)車載導(dǎo)航系統(tǒng)的訪問控制技術(shù)、地圖緩存技術(shù)、地圖匹配技術(shù)和智能信息處理技術(shù)。
車載通信與動態(tài)導(dǎo)航系統(tǒng) 內(nèi)容簡介
移動互聯(lián)網(wǎng)的發(fā)展使得車載導(dǎo)航系統(tǒng)從靜態(tài)自主式轉(zhuǎn)向動態(tài)協(xié)作式。原有封閉獨立的體系結(jié)構(gòu)被打破,取而代之的將是一種更加開放的體系結(jié)構(gòu)。同時,大量便攜式智能終端設(shè)備的涌現(xiàn)使得導(dǎo)航系統(tǒng)不僅能運行在車載終端上,也能運行在智能手機、平板電腦等支持互聯(lián)網(wǎng)接入的智能終端上。導(dǎo)航系統(tǒng)正逐漸演變成一種用戶可以隨時隨地使用的服務(wù)。這些變化將給導(dǎo)航系統(tǒng)研發(fā)帶來更多的技術(shù)挑戰(zhàn),從系統(tǒng)架構(gòu)設(shè)計到一些關(guān)鍵技術(shù)實現(xiàn)以及應(yīng)用模式,都將做出適當(dāng)調(diào)整以解決新的問題。《車載通信與動態(tài)導(dǎo)航系統(tǒng)》圍繞動態(tài)車載導(dǎo)航系統(tǒng)的一個架構(gòu)和三個核心關(guān)鍵技術(shù)展開論述。架構(gòu)總領(lǐng)整個導(dǎo)航系統(tǒng)的設(shè)計與開發(fā),三個核心關(guān)鍵技術(shù)是架構(gòu)中的重要組成部分。《車載通信與動態(tài)導(dǎo)航系統(tǒng)》向讀者展示了這些關(guān)鍵技術(shù)是如何解決系統(tǒng)研發(fā)過程中遇到的難題,為從事或希望從事相關(guān)領(lǐng)域研發(fā)的科研人員或開發(fā)者提供有益參考。
車載通信與動態(tài)導(dǎo)航系統(tǒng) 目錄
●1.1研究背景
●1.2國內(nèi)外研究現(xiàn)狀與趨勢
●1.2.1智能交通系統(tǒng)研究現(xiàn)狀與趨勢
●1.2.2車載導(dǎo)航系統(tǒng)研究現(xiàn)狀與趨勢
●1.3本書內(nèi)容
●1.4章節(jié)安排
●1.4.1研究路線
●1.4.2章節(jié)安排
●1.5本章小結(jié)
●第2章動態(tài)車載導(dǎo)航系統(tǒng)架構(gòu)
●2.1動態(tài)車載導(dǎo)航系統(tǒng)基本功能
●2.2動態(tài)車載導(dǎo)航系統(tǒng)基本架構(gòu)
●2.3動態(tài)車載導(dǎo)航系統(tǒng)建模
●2.3.1精化策略
●2.4初始模型
●2.4.1上下文(Context)
●2.4.2客戶端事件
●2.4.3服務(wù)端事件
●2.4.4驗證
●部分目錄
- >
月亮虎
- >
小考拉的故事-套裝共3冊
- >
唐代進士錄
- >
羅庸西南聯(lián)大授課錄
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
月亮與六便士
- >
回憶愛瑪儂
- >
羅曼·羅蘭讀書隨筆-精裝