中图网(原中国图书网):网上书店,中文字幕在线一区二区三区,尾货特色书店,中文字幕在线一区,30万种特价书低至2折!

歡迎光臨中圖網(wǎng) 請 | 注冊
> >>
車載通信與動態(tài)導(dǎo)航系統(tǒng)

包郵 車載通信與動態(tài)導(dǎo)航系統(tǒng)

作者:祁暉等著
出版社:國防工業(yè)出版社出版時間:2017-12-01
開本: 其他 頁數(shù): 139
中 圖 價:¥21.4(3.6折) 定價  ¥60.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
溫馨提示:5折以下圖書主要為出版社尾貨,大部分為全新(有塑封/無塑封),個別圖書品相8-9成新、切口
有劃線標(biāo)記、光盤等附件不全詳細(xì)品相說明>>
本類五星書更多>

車載通信與動態(tài)導(dǎo)航系統(tǒng) 版權(quán)信息

車載通信與動態(tài)導(dǎo)航系統(tǒng) 本書特色

本書首先分析了動態(tài)車載導(dǎo)航系統(tǒng)的核心需求:地圖顯示、導(dǎo)航和路線規(guī)劃,然后運用Event-B形式化建模方法對系統(tǒng)進行建模分析。在模型精化過程中,論述了相關(guān)數(shù)據(jù)結(jié)構(gòu)及流程的建模方法。模型經(jīng)過4次精化,實現(xiàn)了所有的核心需求。將每個精化模型導(dǎo)入Rodin平臺,所生成的證明義務(wù)全部證明成功,表明該模型在理論上是正確的。之后以模型為參考,設(shè)計了導(dǎo)航系統(tǒng)的軟件架構(gòu),從邏輯視圖和過程視圖兩個角度對系統(tǒng)進行非形式化描述,系統(tǒng)開發(fā)人員可在該架構(gòu)的基礎(chǔ)上設(shè)計并開發(fā)出正確的系統(tǒng)。第3章到第6章,我們重點研究了動態(tài)車載導(dǎo)航系統(tǒng)的訪問控制技術(shù)、地圖緩存技術(shù)、地圖匹配技術(shù)和智能信息處理技術(shù)。

車載通信與動態(tài)導(dǎo)航系統(tǒng) 內(nèi)容簡介

移動互聯(lián)網(wǎng)的發(fā)展使得車載導(dǎo)航系統(tǒng)從靜態(tài)自主式轉(zhuǎn)向動態(tài)協(xié)作式。原有封閉獨立的體系結(jié)構(gòu)被打破,取而代之的將是一種更加開放的體系結(jié)構(gòu)。同時,大量便攜式智能終端設(shè)備的涌現(xiàn)使得導(dǎo)航系統(tǒng)不僅能運行在車載終端上,也能運行在智能手機、平板電腦等支持互聯(lián)網(wǎng)接入的智能終端上。導(dǎo)航系統(tǒng)正逐漸演變成一種用戶可以隨時隨地使用的服務(wù)。這些變化將給導(dǎo)航系統(tǒng)研發(fā)帶來更多的技術(shù)挑戰(zhàn),從系統(tǒng)架構(gòu)設(shè)計到一些關(guān)鍵技術(shù)實現(xiàn)以及應(yīng)用模式,都將做出適當(dāng)調(diào)整以解決新的問題。《車載通信與動態(tài)導(dǎo)航系統(tǒng)》圍繞動態(tài)車載導(dǎo)航系統(tǒng)的一個架構(gòu)和三個核心關(guān)鍵技術(shù)展開論述。架構(gòu)總領(lǐng)整個導(dǎo)航系統(tǒng)的設(shè)計與開發(fā),三個核心關(guān)鍵技術(shù)是架構(gòu)中的重要組成部分。《車載通信與動態(tài)導(dǎo)航系統(tǒng)》向讀者展示了這些關(guān)鍵技術(shù)是如何解決系統(tǒng)研發(fā)過程中遇到的難題,為從事或希望從事相關(guān)領(lǐng)域研發(fā)的科研人員或開發(fā)者提供有益參考。

車載通信與動態(tài)導(dǎo)航系統(tǒng) 目錄

●第1章緒論
●1.1研究背景
●1.2國內(nèi)外研究現(xiàn)狀與趨勢
●1.2.1智能交通系統(tǒng)研究現(xiàn)狀與趨勢
●1.2.2車載導(dǎo)航系統(tǒng)研究現(xiàn)狀與趨勢
●1.3本書內(nèi)容
●1.4章節(jié)安排
●1.4.1研究路線
●1.4.2章節(jié)安排
●1.5本章小結(jié)
●第2章動態(tài)車載導(dǎo)航系統(tǒng)架構(gòu)
●2.1動態(tài)車載導(dǎo)航系統(tǒng)基本功能
●2.2動態(tài)車載導(dǎo)航系統(tǒng)基本架構(gòu)
●2.3動態(tài)車載導(dǎo)航系統(tǒng)建模
●2.3.1精化策略
●2.4初始模型
●2.4.1上下文(Context)
●2.4.2客戶端事件
●2.4.3服務(wù)端事件
●2.4.4驗證
●部分目錄
展開全部
商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 网站建设,北京网站建设,北京网站建设公司,网站系统开发,北京网站制作公司,响应式网站,做网站公司,海淀做网站,朝阳做网站,昌平做网站,建站公司 | 中视电广_短视频拍摄_短视频推广_短视频代运营_宣传片拍摄_影视广告制作_中视电广 | 智成电子深圳tdk一级代理-提供TDK电容电感贴片蜂鸣器磁芯lambda电源代理经销,TDK代理商有哪些TDK一级代理商排名查询。-深圳tdk一级代理 | 中医治疗皮肤病_潍坊银康医院「山东」重症皮肤病救治平台 | 压力控制器,差压控制器,温度控制器,防爆压力控制器,防爆温度控制器,防爆差压控制器-常州天利智能控制股份有限公司 | 手术室净化装修-手术室净化工程公司-华锐手术室净化厂家 | 碳纤维复合材料制品生产定制工厂订制厂家-凯夫拉凯芙拉碳纤维手机壳套-碳纤维雪茄盒外壳套-深圳市润大世纪新材料科技有限公司 | 山东聚盛新型材料有限公司-纳米防腐隔热彩铝板和纳米防腐隔热板以及钛锡板、PVDF氟膜板供应商 | 四川成人高考_四川成考报名网| 丝印油墨_水性油墨_环保油墨油漆厂家_37国际化工 | 【铜排折弯机,钢丝折弯成型机,汽车发泡钢丝折弯机,线材折弯机厂家,线材成型机,铁线折弯机】贝朗折弯机厂家_东莞市贝朗自动化设备有限公司 | 浙江寺庙设计-杭州寺院设计-宁波寺庙规划_汉匠 | 佛山市钱丰金属不锈钢蜂窝板定制厂家|不锈钢装饰线条|不锈钢屏风| 电梯装饰板|不锈钢蜂窝板不锈钢工艺板材厂家佛山市钱丰金属制品有限公司 | 盛源真空泵|空压机-浙江盛源空压机制造有限公司-【盛源官网】 | 撕碎机,撕破机,双轴破碎机-大件垃圾破碎机厂家 | 安全,主动,被动,柔性,山体滑坡,sns,钢丝绳,边坡,防护网,护栏网,围栏,栏杆,栅栏,厂家 - 护栏网防护网生产厂家 | 河南mpp电力管_mpp电力管生产厂家_mpp电力电缆保护管价格 - 河南晨翀实业 | 一体化污水处理设备-一体化净水设备-「山东梦之洁水处理」 | 焊接烟尘净化器__焊烟除尘设备_打磨工作台_喷漆废气治理设备 -催化燃烧设备 _天津路博蓝天环保科技有限公司 | 单螺旋速冻机-双螺旋-流态化-隧道式-食品速冻机厂家-广州冰泉制冷 | 体感VRAR全息沉浸式3D投影多媒体展厅展会游戏互动-万展互动 | 沈阳缠绕包装机厂家直销-沈阳海鹞托盘缠绕包装机价格 | 英国公司注册-新加坡公司注册-香港公司开户-离岸公司账户-杭州商标注册-杭州优创企业 | 免费网站网址收录网_海企优网站推荐平台 | 知企服务-企业综合服务(ZiKeys.com)-品优低价、种类齐全、过程管理透明、速度快捷高效、放心服务,知企专家! | 浙江浩盛阀门有限公司| 颗粒机,颗粒机组,木屑颗粒机-济南劲能机械有限公司 | 智成电子深圳tdk一级代理-提供TDK电容电感贴片蜂鸣器磁芯lambda电源代理经销,TDK代理商有哪些TDK一级代理商排名查询。-深圳tdk一级代理 | 振动筛,震动筛,圆形振动筛,振动筛价格,振动筛厂家-新乡巨宝机电 蒸汽热收缩机_蒸汽发生器_塑封机_包膜机_封切收缩机_热收缩包装机_真空机_全自动打包机_捆扎机_封箱机-东莞市中堡智能科技有限公司 | 废水处理-废气处理-工业废水处理-工业废气处理工程-深圳丰绿环保废气处理公司 | 工业机械三维动画制作 环保设备原理三维演示动画 自动化装配产线三维动画制作公司-南京燃动数字 聚合氯化铝_喷雾聚氯化铝_聚合氯化铝铁厂家_郑州亿升化工有限公司 | 蒸汽吸附分析仪-进口水分活度仪|康宝百科 | 广州展台特装搭建商|特装展位设计搭建|展会特装搭建|特装展台制作设计|展览特装公司 | 热缩管切管机-超声波切带机-织带切带机-无纺布切布机-深圳市宸兴业科技有限公司 | 江苏皓越真空设备有限公司 | 高光谱相机-近红外高光谱相机厂家-高光谱成像仪-SINESPEC 赛斯拜克 | 质检报告_CE认证_FCC认证_SRRC认证_PSE认证_第三方检测机构-深圳市环测威检测技术有限公司 | 艾默生变频器,艾默生ct,变频器,ct驱动器,广州艾默生变频器,供水专用变频器,风机变频器,电梯变频器,艾默生变频器代理-广州市盟雄贸易有限公司官方网站-艾默生变频器应用解决方案服务商 | 酒店品牌设计-酒店vi设计-酒店标识设计【国际级】VI策划公司 | 圆形振动筛_圆筛_旋振筛_三次元振动筛-河南新乡德诚生产厂家 | 生产自动包装秤_颗粒包装秤_肥料包装秤等包装机械-郑州鑫晟重工科技有限公司 |