车载通信与动态导航系统 祁晖,底晓强,杨华民,蒋振刚,王佳 著 2017年版
- 资料名称:车载通信与动态导航系统 祁晖,底晓强,杨华民,蒋振刚,王佳 著 2017年版
- 英文名称:
- 文件大小:29.02 MB
- 标准类型:行业图书
- 标准语言:中文版
- 授权形式:免费
- 文件类型:PDF文档
- 下载次数:3169 加入收藏
- 标签:
资料介绍
车载通信与动态导航系统
作者:祁晖,底晓强,杨华民,蒋振刚,王佳 著
出版时间:2017年版
内容简介
本书首先分析了动态车载导航系统的核心需求:地图显示、导航和路线规划,然后运用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验证
●部分目录
作者:祁晖,底晓强,杨华民,蒋振刚,王佳 著
出版时间:2017年版
内容简介
本书首先分析了动态车载导航系统的核心需求:地图显示、导航和路线规划,然后运用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验证
●部分目录
相关资料
- 港口管理实务丛书 件杂货港口管理实务 第二版 [杨茅甄 主编] 2015年版
- 穿越时空 交通演变 (英)哈里斯 著,吕越平 译 (英)丹尼斯 绘 2011年版
- 现场安全职业教育:交通建设工程 [史洪江 等编] 2012年版
- 中国交通运输专家专著系列·甩挂运输丛书 甩挂运输操作技术与方法 [李红启,高洪涛 著] 2012年版
- 连续数据环境下的交通规划与管理 [杨东援 著] 2014年版
- 辽宁省优秀自然科学著作 环形交叉口通行能力分析方法 [郭瑞军 著] 2013年版
- 交通运输建设科技丛书 长江三峡:葛洲坝两坝间深水急险滩航道整治技术 [郝品正,冯小香,陈冬元 著] 2013年版
- 课本上学不到的知识 交通瞭望台 第2版 唐承炼 编 2008年版
- 童喜乐魔幻互动百科 探秘交通世界 (加)迈克·富兰克林 著 2016年版
- 汉阳县交通志 汉阳县交通局 编 1985年版
下载说明
本站资源使用网盘存储,可以一键转存和下载,下载速度一流;本站资源均为RAR/ZIP 格式压缩,为确保资源能够正常使用,需使用【WinRAR】等进行解压;
本站资源解压后格式为PDF的,为保证正常使用,推荐【Adobe Reader 8.0】以上版本进行阅读;
如果您发现文件无法下载,请稍后再次尝试;若依然如此,请到 报错页面 告诉我们。
本站提供的标准文件一般为PDF格式,如果您需要Word版本,可搜索【PDF转换成Word软件】进行转换;
本站资料均为网上收集,若无意中侵犯了您的版权,请与我们联系;
本站资料仅供学习交流之用,请下载后24小时内删除。正式场合使用,请购买正版;