掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
車載通信與動態導航系統 版權信息
- ISBN：9787118115383
- 條形碼：9787118115383 ; 978-7-118-11538-3
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
車載通信與動態導航系統 本書特色
本書首先分析了動態車載導航系統的核心需求：地圖顯示、導航和路線規劃，然后運用Event-B形式化建模方法對系統進行建模分析。在模型精化過程中，論述了相關數據結構及流程的建模方法。模型經過4次精化，實現了所有的核心需求。將每個精化模型導入Rodin平臺，所生成的證明義務全部證明成功，表明該模型在理論上是正確的。之后以模型為參考，設計了導航系統的軟件架構，從邏輯視圖和過程視圖兩個角度對系統進行非形式化描述，系統開發人員可在該架構的基礎上設計并開發出正確的系統。第3章到第6章，我們重點研究了動態車載導航系統的訪問控制技術、地圖緩存技術、地圖匹配技術和智能信息處理技術。
車載通信與動態導航系統 內容簡介
移動互聯網的發展使得車載導航系統從靜態自主式轉向動態協作式。原有封閉獨立的體系結構被打破，取而代之的將是一種更加開放的體系結構。同時，大量便攜式智能終端設備的涌現使得導航系統不僅能運行在車載終端上，也能運行在智能手機、平板電腦等支持互聯網接入的智能終端上。導航系統正逐漸演變成一種用戶可以隨時隨地使用的服務。這些變化將給導航系統研發帶來更多的技術挑戰，從系統架構設計到一些關鍵技術實現以及應用模式，都將做出適當調整以解決新的問題！盾囕d通信與動態導航系統》圍繞動態車載導航系統的一個架構和三個核心關鍵技術展開論述。架構總領整個導航系統的設計與開發，三個核心關鍵技術是架構中的重要組成部分！盾囕d通信與動態導航系統》向讀者展示了這些關鍵技術是如何解決系統研發過程中遇到的難題，為從事或希望從事相關領域研發的科研人員或開發者提供有益參考。
車載通信與動態導航系統 目錄
●第1章緒論
●1.1研究背景
●1.2國內外研究現狀與趨勢
●1.2.1智能交通系統研究現狀與趨勢
●1.2.2車載導航系統研究現狀與趨勢
●1.3本書內容
●1.4章節安排
●1.4.1研究路線
●1.4.2章節安排
●1.5本章小結
●第2章動態車載導航系統架構
●2.1動態車載導航系統基本功能
●2.2動態車載導航系統基本架構
●2.3動態車載導航系統建模
●2.3.1精化策略
●2.4初始模型
●2.4.1上下文(Context)
●2.4.2客戶端事件
●2.4.3服務端事件
●2.4.4驗證
●部分目錄
●1.1研究背景
●1.2國內外研究現狀與趨勢
●1.2.1智能交通系統研究現狀與趨勢
●1.2.2車載導航系統研究現狀與趨勢
●1.3本書內容
●1.4章節安排
●1.4.1研究路線
●1.4.2章節安排
●1.5本章小結
●第2章動態車載導航系統架構
●2.1動態車載導航系統基本功能
●2.2動態車載導航系統基本架構
●2.3動態車載導航系統建模
●2.3.1精化策略
●2.4初始模型
●2.4.1上下文(Context)
●2.4.2客戶端事件
●2.4.3服務端事件
●2.4.4驗證
●部分目錄
展開全部
書友推薦
- >
伯納黛特,你要去哪(2021新版)
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
名家帶你讀魯迅:故事新編
- >
經典常談
- >
羅曼·羅蘭讀書隨筆-精裝
- >
名家帶你讀魯迅:朝花夕拾
- >
朝聞道
- >
中國歷史的瞬間
本類暢銷
