高技术通讯2017，Vol.27Issue(6)：544-553,10.DOI:10.3772/j.issn.1002-0470.2017.06.008
基于线性时序逻辑的移动端快递派送路径规划
Express delivery path planning for mobile terminals based on linear temporal logic
摘要
Abstract
The path planning of express delivery was studied .Based on linear temporal logic (LTL), a multi-point ex-press delivery path planning method for mobile terminals was proposed to solve the problems of large number of de -livery points in the delivery daea and the courier ' low familiarity with the delivery area .The method solves the problems of location and navigation by using the development package of the Baidu map on mobile phones .The proposed method can be divided into top path planning and bottom path planning .The top path planning translates the express delivery problem into the traveling salesman problem ( TSP) .For avoiding the difficult and huge model-ing of the actual road environment in the Baidu map , a weighted finite-state transition system is constructed by the express delivery locations .The transition weights between the states are on the basis of driving distance of the Baidu map rather than the straight-line distance , so that the bottom path planning results meet the actual situation and its optimality is guaranteed .The multi-point express delivery task is described by a linear temporal logic formula . Then , a feasible network topology related to the task is built by combining the above transition system with a linear temporal logic formula .The discrete optimal path of the courier can be obtained by using the Dijkstra algorithm in the network topology .For the bottom path planning , the actual continuous path between any two adjacent path points of the discrete path is generated based on the Baidu map .Thus, the discrete path in top path planning is translated to continuous trajectory to satisfy the courier express delivery task .The experimental results show that the proposed method can solve the delivery path planning problem of the large number of delivery points and the famili -arity restriction of the courier for the delivery area , which ensures delivery route optimality .关键词
快递派送/路径规划/线性时序逻辑(LTL)/移动端Key words
express delivery/path planning/linear temporal logic ( LTC)/mobile terminal引用本文复制引用
禹鑫燚,郭永奎,欧林林,汪涛,卢靓,张爱美..基于线性时序逻辑的移动端快递派送路径规划[J].高技术通讯,2017,27(6):544-553,10.基金项目
863计划(2014AA041601-05),浙江省公益项目(2016C31064)和浙江省自然科学基金(LY15F030015)资助项目. （2014AA041601-05）
