《车载通信与动态导航系统》 - 祁晖等著 - 国防工业出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』车载通信与动态导航系统

書城自編碼： 3208608
分類：簡體書→大陸圖書→工業技術→電子/通信
作者：祁晖等著
國際書號(ISBN)： 9787118115383
出版社：国防工业出版社
出版日期： 2018-07-01

書度/開本： 16开

售價：HK$ 85.2

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《（海洋命运共同体构建理论与实践）构建中国——东盟“蓝色伙伴关系”研究》
售價：HK$ 107.8

《匠艺与生活：海南黎族的工艺文化》
售價：HK$ 107.8

《我本富足》
售價：HK$ 74.8

《英国教育史研究丛书——延续与新变：英国斯图亚特时期贵族教育研究》
售價：HK$ 108.9

《更易上手！钢琴弹唱经典老歌（五线谱版）》
售價：HK$ 54.8

《哲学叙事：中国与西方》
售價：HK$ 107.8

《一人商业模式创富新路径个人经济自由创业变现方法书》
售價：HK$ 54.8

《经典与想象：中国古代传说新解》
售價：HK$ 85.8

內容簡介：

本书首先分析了动态车载导航系统的核心需求：地图显示、导航和路线规划，然后运用Event-B形式化建模方法对系统进行建模分析。在模型精化过程中，论述了相关数据结构及流程的建模方法。模型经过4次精化，实现了所有的核心需求。将每个精化模型导入Rodin平台，所生成的证明义务全部证明成功，表明该模型在理论上是正确的。之后以模型为参考，设计了导航系统的软件架构，从逻辑视图和过程视图两个角度对系统进行非形式化描述，系统开发人员可在该架构的基础上设计并开发出正确的系统。第3章到第6章，我们重点研究了动态车载导航系统的访问控制技术、地图缓存技术、地图匹配技术和智能信息处理技术。

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.