-
>
湖南省志(1978-2002)?铁路志
-
>
公路车宝典(ZINN的公路车维修与保养秘籍)
-
>
晶体管电路设计(下)
-
>
无头案:雍正暴亡之谜
-
>
基于个性化设计策略的智能交通系统关键技术
-
>
花样百出:贵州少数民族图案填色
-
>
识木:全球220种木材图鉴
车载通信与动态导航系统 版权信息
- ISBN:9787118115383
- 条形码: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验证
●部分目录
- >
我从未如此眷恋人间
我从未如此眷恋人间
¥15.9¥49.8 - >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥32.9¥48.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
随园食单
随园食单
¥26.9¥48.0 - >
唐代进士录
唐代进士录
¥18.7¥39.8 - >
有舍有得是人生
有舍有得是人生
¥21.2¥45.0
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158 -
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过?
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条?
¥42.3¥158