[00244329]基于线性时序逻辑的移动端快递派送路径规划方法
交易价格：
面议
所属行业：
分析仪器
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201710265209.4
交易方式：
技术转让
技术转让
技术入股
联系人：
浙江工业大学
进入空间
所在地：浙江杭州市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
基于线性时序逻辑理论的移动端快递派送路径规划方法，在Android系统的智能手机平台上，利用百度地图开发包构建符合实际派送环境的加权切换系统，同时利用线性时序逻辑语言描述多点派送任务，并将其转化为Büchi自动机，接着将切换系统与派送任务相融合，构建任务可行网络拓扑，在任务可行网络拓扑上利用Dijkstra算法搜索最优路径，然后将该路径映射回百度地图，获得离散的最优路径，最后利用百度地图开发包的定位导航功能，实现离散路径的连续化。该发明能够解决多点派送任务与派送区域受约束的问题，并保证快递员派单路径的最优性，提高快递员派送效率，实现互联网+的智慧派送。
基于线性时序逻辑理论的移动端快递派送路径规划方法，在Android系统的智能手机平台上，利用百度地图开发包构建符合实际派送环境的加权切换系统，同时利用线性时序逻辑语言描述多点派送任务，并将其转化为Büchi自动机，接着将切换系统与派送任务相融合，构建任务可行网络拓扑，在任务可行网络拓扑上利用Dijkstra算法搜索最优路径，然后将该路径映射回百度地图，获得离散的最优路径，最后利用百度地图开发包的定位导航功能，实现离散路径的连续化。该发明能够解决多点派送任务与派送区域受约束的问题，并保证快递员派单路径的最优性，提高快递员派送效率，实现互联网+的智慧派送。
