技术特征：
技术总结
基于线性时序逻辑理论的移动端快递派送路径规划方法，在Android系统的智能手机平台上，利用百度地图开发包构建符合实际派送环境的加权切换系统，同时利用线性时序逻辑语言描述多点派送任务，并将其转化为Büchi自动机，接着将切换系统与派送任务相融合，构建任务可行网络拓扑，在任务可行网络拓扑上利用Dijkstra算法搜索最优路径，然后将该路径映射回百度地图，获得离散的最优路径，最后利用百度地图开发包的定位导航功能，实现离散路径的连续化。该发明能够解决多点派送任务与派送区域受约束的问题，并保证快递员派单路径的最优性，提高快递员派送效率，实现互联网+的智慧派送。
技术研发人员：欧林林;郭永奎;禹鑫燚;汪涛;卢靓;张爱美
受保护的技术使用者：浙江工业大学
技术研发日：2017.04.21
技术公布日：2017.09.15