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

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

HOME

新書上架

暢銷書架

好書推介

2023年度TOP

臺灣用戶

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

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

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

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

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

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

書度/開本： 16开

售價：HK$ 85.2

我要買件

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

新書推薦：

《读书是一辈子的事（2024年新版）》
售價：HK$ 77.3

《乐道文库·什么是秦汉史》
售價：HK$ 80.6

《汉娜·阿伦特与以赛亚·伯林：自由、政治与人性》
售價：HK$ 109.8

《女性与疯狂（女性主义里程碑式著作，全球售出300万册）》
售價：HK$ 109.8

《药食同源中药鉴别图典》
售價：HK$ 67.0

《设计中的比例密码：建筑与室内设计》
售價：HK$ 87.4

《冯友兰和青年谈心系列：看似平淡的坚持》
售價：HK$ 55.8

《汉字理论与汉字阐释概要《说解汉字一百五十讲》作者李守奎新作》
售價：HK$ 76.2

內容簡介：

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

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

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