天美传媒剧国产剧情MV,国产av天堂亚洲国产av麻豆

內容簡介

　　本書首先分析了動態(tài)車載導航系統(tǒng)的核心需求：地圖顯示、導航和路線規(guī)劃，然后運用Event-B形式化建模方法對系統(tǒng)進行建模分析。在模型精化過程中，論述了相關數(shù)據(jù)結構及流程的建模方法。模型經(jīng)過4次精化，實現(xiàn)了所有的核心需求。將每個精化模型導入Rodin平臺，所生成的證明義務全部證明成功，表明該模型在理論上是正確的。之后以模型為參考，設計了導航系統(tǒng)的軟件架構，從邏輯視圖和過程視圖兩個角度對系統(tǒng)進行非形式化描述，系統(tǒng)開發(fā)人員可在該架構的基礎上設計并開發(fā)出正確的系統(tǒng)。第3章到第6章，我們重點研究了動態(tài)車載導航系統(tǒng)的訪問控制技術、地圖緩存技術、地圖匹配技術和智能信息處理技術。

作者簡介

暫缺《車載通信與動態(tài)導航系統(tǒng)》作者簡介

圖書目錄

●第1章緒論
●1.1研究背景
●1.2國內外研究現(xiàn)狀與趨勢
●1.2.1智能交通系統(tǒng)研究現(xiàn)狀與趨勢
●1.2.2車載導航系統(tǒng)研究現(xiàn)狀與趨勢
●1.3本書內容
●1.4章節(jié)安排
●1.4.1研究路線
●1.4.2章節(jié)安排
●1.5本章小結
●第2章動態(tài)車載導航系統(tǒng)架構
●2.1動態(tài)車載導航系統(tǒng)基本功能
●2.2動態(tài)車載導航系統(tǒng)基本架構
●2.3動態(tài)車載導航系統(tǒng)建模
●2.3.1精化策略
●2.4初始模型
●2.4.1上下文(Context)
●2.4.2客戶端事件
●2.4.3服務端事件
●2.4.4驗證
●部分目錄