Linear sequential logic-based mobile terminal express delivery path planning method

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

A mobile express delivery path planning method based on linear sequential logic technical field 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 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 log...

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...

Images