
包邮车载通信与动态导航系统

温馨提示:5折以下图书主要为出版社尾货,大部分为全新(有塑封/无塑封),个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>
- ISBN:9787118115383
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:其他
- 页数:139
- 出版时间:2017-12-01
- 条形码:9787118115383 ; 978-7-118-11538-3
本书特色
本书首先分析了动态车载导航系统的核心需求:地图显示、导航和路线规划,然后运用Event-B形式化建模方法对系统进行建模分析。在模型精化过程中,论述了相关数据结构及流程的建模方法。模型经过4次精化,实现了所有的核心需求。将每个精化模型导入Rodin平台,所生成的证明义务全部证明成功,表明该模型在理论上是正确的。之后以模型为参考,设计了导航系统的软件架构,从逻辑视图和过程视图两个角度对系统进行非形式化描述,系统开发人员可在该架构的基础上设计并开发出正确的系统。第3章到第6章,我们重点研究了动态车载导航系统的访问控制技术、地图缓存技术、地图匹配技术和智能信息处理技术。
内容简介
移动互联网的发展使得车载导航系统从静态自主式转向动态协作式。原有封闭独立的体系结构被打破,取而代之的将是一种更加开放的体系结构。同时,大量便携式智能终端设备的涌现使得导航系统不仅能运行在车载终端上,也能运行在智能手机、平板电脑等支持互联网接入的智能终端上。导航系统正逐渐演变成一种用户可以随时随地使用的服务。这些变化将给导航系统研发带来更多的技术挑战,从系统架构设计到一些关键技术实现以及应用模式,都将做出适当调整以解决新的问题。《车载通信与动态导航系统》围绕动态车载导航系统的一个架构和三个核心关键技术展开论述。架构总领整个导航系统的设计与开发,三个核心关键技术是架构中的重要组成部分。《车载通信与动态导航系统》向读者展示了这些关键技术是如何解决系统研发过程中遇到的难题,为从事或希望从事相关领域研发的科研人员或开发者提供有益参考。
目录
●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验证
●部分目录
-
污水处理工程工艺设计从入门到精通
¥70.3¥89.0 -
赶往火星:红色星球定居计划
¥44.5¥58.0 -
果脯蜜饯加工技术
¥4.5¥12.0 -
数控车工
¥5.9¥11.5 -
数据驱动的剩余寿命预测与维护决策技术
¥63.4¥79.0 -
射频干扰袖珍手册
¥18.4¥29.0 -
汽车车身构造与修复
¥30.7¥45.0 -
群目标分辨雷达初速测量技术
¥42.4¥69.0 -
秸秆挤压膨化技术及膨化腔流道仿真研究
¥40.6¥55.0 -
NVH前沿科技与工程应用
¥109.7¥159.0 -
电力系统分析
¥23.8¥38.0 -
继电保护原理
¥30.4¥49.0 -
不确定条件下装备剩余寿命预测方法及应用
¥60.4¥99.0 -
新能源汽车高压电用电安全实训
¥31.9¥49.0 -
基于深度学习的复杂退化系统剩余寿命智能预测技术
¥54.4¥89.0 -
火星探测器轨道动力学与控制
¥59.8¥98.0 -
美军联合作战弹药保障
¥35.8¥58.0 -
童装结构设计与制版
¥32.4¥49.0 -
数字信号处理:原理及应用
¥52.8¥69.0 -
工程造价全过程管理系列丛书 工程结算与决算 第2版
¥37.4¥56.0