免费下载书籍地址:PDF下载地址
精美图片

车载通信与动态导航系统 国防工业出版社书籍详细信息
- ISBN:9787118115383
- 作者:暂无作者
- 出版社:暂无出版社
- 出版时间:2017-12
- 页数:暂无页数
- 价格:32.50
- 纸张:胶版纸
- 装帧:平装-胶订
- 开本:16开
- 语言:未知
- 丛书:暂无丛书
- TAG:暂无
- 豆瓣评分:暂无豆瓣评分
寄语:
新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
内容简介:
本书首先分析了动态车载导航系统的核心需求:地图显示、导航和路线规划,然后运用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验证
2.5第1次精化
2.5.1Context
2.5.2Events
2.5.3流程改进
2.5.4验证
2.6第2次精化
2.6.1路网数据传输模型
……
作者介绍:
暂无相关内容,正在全力查找中
出版社信息:
暂无出版社相关信息,正在全力查找中!
书籍摘录:
暂无相关书籍摘录,正在全力查找中!
在线阅读/听书/购买/PDF下载地址:
在线阅读地址:车载通信与动态导航系统 国防工业出版社在线阅读
在线听书地址:车载通信与动态导航系统 国防工业出版社在线收听
在线购买地址:车载通信与动态导航系统 国防工业出版社在线购买
原文赏析:
暂无原文赏析,正在全力查找中!
其它内容:
暂无其它内容!
书籍真实打分
故事情节:4分
人物塑造:8分
主题深度:4分
文字风格:8分
语言运用:7分
文笔流畅:9分
思想传递:9分
知识深度:8分
知识广度:4分
实用性:9分
章节划分:9分
结构布局:9分
新颖与独特:6分
情感共鸣:9分
引人入胜:6分
现实相关:4分
沉浸感:5分
事实准确性:7分
文化贡献:4分
网站评分
书籍多样性:4分
书籍信息完全性:7分
网站更新速度:5分
使用便利性:3分
书籍清晰度:7分
书籍格式兼容性:5分
是否包含广告:6分
加载速度:9分
安全性:9分
稳定性:8分
搜索功能:4分
下载便捷性:9分
下载点评
- 实惠(178+)
- 好评(305+)
- 在线转格式(580+)
- 品质不错(108+)
- 赞(679+)
- 小说多(521+)
- 微信读书(634+)
- 格式多(431+)
- 不亏(260+)
下载评价
网友 温***欣:可以可以可以
网友 沈***松:挺好的,不错
网友 宓***莉:不仅速度快,而且内容无盗版痕迹。
网友 敖***菡:是个好网站,很便捷
网友 步***青:。。。。。好
网友 焦***山:不错。。。。。
网友 饶***丽:下载方式特简单,一直点就好了。
网友 冷***洁:不错,用着很方便
网友 养***秋:我是新来的考古学家
网友 居***南:请问,能在线转换格式吗?
网友 堵***洁:好用,支持
网友 薛***玉:就是我想要的!!!
网友 马***偲:好 很好 非常好 无比的好 史上最好的
网友 权***颜:下载地址、格式选择、下载方式都还挺多的
网友 屠***好:还行吧。
网友 孙***夏:中评,比上不足比下有余