车载通信与动态导航系统

预估到手价 ¥17.6 (2.9折) ?

距活动结束

00:00:00

1星价 ¥25.2

2星价￥25.2 定价￥60.0

清空购物车！20万图书5本7折，满69送钥匙扣

作者：祁晖等著

出版社：国防工业出版社

本类榜单：工业技术

分类：工业技术 > 电子通信 > 通信

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>

暂无评论

图文详情

ISBN：9787118115383
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：其他
页数：139
出版时间：2017-12-01
条形码：9787118115383 ; 978-7-118-11538-3

本书特色

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

内容简介

移动互联网的发展使得车载导航系统从静态自主式转向动态协作式。原有封闭独立的体系结构被打破，取而代之的将是一种更加开放的体系结构。同时，大量便携式智能终端设备的涌现使得导航系统不仅能运行在车载终端上，也能运行在智能手机、平板电脑等支持互联网接入的智能终端上。导航系统正逐渐演变成一种用户可以随时随地使用的服务。这些变化将给导航系统研发带来更多的技术挑战，从系统架构设计到一些关键技术实现以及应用模式，都将做出适当调整以解决新的问题。《车载通信与动态导航系统》围绕动态车载导航系统的一个架构和三个核心关键技术展开论述。架构总领整个导航系统的设计与开发，三个核心关键技术是架构中的重要组成部分。《车载通信与动态导航系统》向读者展示了这些关键技术是如何解决系统研发过程中遇到的难题，为从事或希望从事相关领域研发的科研人员或开发者提供有益参考。

●第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验证
●部分目录

展开全部

本类五星书