车载通信与动态导航系统

图书标准信息

• 作者 祁晖 著
• 出版社 国防工业出版社
• 出版时间 2018-07
• 版次 1
• ISBN 9787118115383
• 定价 60.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 139页
• 字数 99999千字

【内容简介】

本书首先分析了动态车载导航系统的核心需求：地图显示、导航和路线规划，然后运用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验证

●部分目录