360book 首页 > 行业图书 > 交通运输 > 正文 打印 下载 

车载通信与动态导航系统 祁晖,底晓强,杨华民,蒋振刚,王佳 著 2017年版  下载

360book.com  2022-08-16 00:00:00  下载

车载通信与动态导航系统
作者:祁晖,底晓强,杨华民,蒋振刚,王佳 著
出版时间: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验证
●部分目录





上一篇: 综合交通运输系统工程创新发展与论坛 张国伍 主编 2018年版
下一篇: 高等学校交通运输与工程类专业规划教材 交通信息工程概论 崔建明等著 2018年版

地址:http://www.360book.com/books/250/1029853.html