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

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

HOME

新書上架

暢銷書架

好書推介

2023年度TOP

臺灣用戶

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

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

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

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

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

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

書度/開本： 16开

售價：HK$ 85.2

我要買件

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

新書推薦：

《宽容是件奢侈品（人生360度·一分钟经典故事）》
售價：HK$ 44.6

《甲骨拼合六集》
售價：HK$ 333.8

《视觉美食家：商业摄影实战与创意解析》
售價：HK$ 132.2

《中国经济发展的新阶段：机会与选择》
售價：HK$ 99.7

《 DK月季玫瑰百科》
售價：HK$ 210.6

《为你想要的生活》
售價：HK$ 66.1

《关键改变：如何实现自我蜕变》
售價：HK$ 77.3

《超加工人群：为什么有些食物让人一吃就停不下来》
售價：HK$ 99.7

內容簡介：

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

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

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