Mobile express delivery path planning method based on linear sequential logic

Abstract

Disclosed is a linear sequential logic theory-based mobile terminal express delivery path planning method. A weighted transition system which satisfies an actual delivery environment is established by a baidu map software development kit on a smart phone platform with an Android system; meanwhile, a multi-point delivery task is described by linear sequential logic language, and the task is converted into a Buchi automat; next, the transition system is fused with the delivery task to establish a task feasible network topology; the optimal path is searched on the task feasible network topology through a Dijkstra algorithm; next, the path is mapped back to the baidu map to obtain the optimal discrete path; and finally, continuation of the discrete path is realized by the positioning and navigating function of the baidu map software development kit. By virtue of the linear sequential logic theory-based mobile terminal express delivery path planning method, the problem of limitation in multi-point delivery task and the delivery region is solved, the optimality of the delivery path of couriers can be ensured, the delivery efficiency of couriers can be improved, and intelligent delivery based on Internet plus is realized.

Description

technical field [0001] The present invention relates to the field of optimal path planning for express delivery tasks. Aiming at the problem that there are many express delivery task points and the delivery area is limited by the courier's familiarity, the present invention proposes a mobile terminal based on linear temporal logic (LTL). Point express delivery route planning method, which is based on the mobile terminal Baidu map development kit, avoids the complex modeling of the courier's actual delivery environment, can solve the problem of multi-point delivery tasks and delivery area constraints, and guarantees the courier's dispatch Single-path optimality. Background technique [0002] In recent years, the Internet has developed rapidly, and e-commerce derived from it has become more and more popular, and online shopping has also been accepted by most people. What followed was the pressure of express logistics. The traditional express logistics model can no longer meet...

AI Technical Summary

Problems solved by technology

Chinese patent document CN103383569A is the closest prior art of the present invention. This invention proposes a circularly shifted optimal tour task path planning method for factory tour tasks. However, for express delivery tasks, the delivery environment will be different due to different delivery points. This invention does not solve

Most of the above methods use intelligent search algorithms. The searched path is a suboptimal solution, which cannot be guaranteed to be the shortest path. At the same time, environmental modeling is cumbersome. However, the current path planning method based on linear sequential logic theory can satisfy complex express delivery tasks and obtain the shortest path. Optimal path, but it is difficult to apply to the changing delivery environment of couriers, and the optimal discrete path continuous method suitable for express delivery is not given

Images