1.一种基于线性时序逻辑的移动端快递派送路径规划方法，具体步骤如下：步骤1：在Android平台上，基于百度地图开发包进行加权切换系统的构建；

根据快递派送任务地点，将快递派送转化为旅行商问题，避开百度地图复杂道路网络的建模，仅将任务地点建模为一个加权的有限状态切换系统(weighted finite-state transition system,WFTS)；WFTS是一个元组T＝(Q,q0,δT,AP,LT,ωT)，其中Q是一个有限的状态集；q0∈Q是初始状态，代表派送员派送的起点；δT∈Q×Q代表切换关系；AP代表原子命题集；LT:Q→2AP代表标识函数集； 代表两状态之间切换的成本(时间，距离等)；

基于百度地图开发包能够获取地图中任意两点之间的实际驾车距离，将该行驶距离作为它们间的切换权重；距离的获取是通过调用百度地图开发包的两点驾驶距离方法得到，即算法一中的BmapDrivingDis()，进而将任务点构建为有限状态的加权切换系统WFTS，算法一具体过程如下：算法一：构建加权切换系统T(ConstructT())

步骤2：线性时序逻辑语言描述多点快递派送任务；

针对快递员派送任务，线性时序逻辑语言可以方便的描述这些任务，它由原子命题和操作符构成，具有如下形式：其中，α∈AP是一个原子命题，符号∨(与)、和 (非)是标准布尔操作符，F(最终)，G(总是)和U(直到)是时序操作符，Fφ0表示φ0的最终状态为真，实现访问， 表示全局总是避免φ3，可用于避障，φ4Uφ5表示直到φ5为真，φ4一直保持为真；得到快递任务公式φ后，通过LTL2BA工具包将其转化为一个Büchi自动机，Büchi自动机是一个元组Aφ:＝(Sφ,S0,∑φ,δφ,Fφ)，其中Sφ代表一个有限的状态集；S 0∈Sφ代表初始状态；∑φ代表输入的字符表； 代表切换函数； 代表最终状态集；

步骤3：构建任务可行网络拓扑；

为将环境信息与任务信息相融合确保最终搜索的路径既满足环境信息又符合快递派送需求，通过将加权切换系统与Büchi自动机笛卡尔乘积，构建任务可行网络拓扑(Product自动机)，即 它也是一个元组AP＝(SP,SP0,δP,ωP ,FP)，其中是状态集；SP0＝{q0}×S0代表初始状态集； 代

表状态间的切换函数，其定义为当且仅当qj∈δT(qi)并且sl∈δφ(sk,LB(qi))时，(qj,sl)∈δP((qi,sk))成立；ωP:SP×SP→R+继承自T且为正的权重函数，即当(qj,sl)∈δP((qj,sk))时，则ωP((qi,sk),(qj,sl))＝ωT(qi,qj)；FP＝Q×Fφ代表一个最终的接收状态集；对于任务可行网络拓扑的一个搜索路径rP，如果 那么此rP是可被接受的，其中inf(rP)代表路径的循环部分；

步骤4：快递派送最优离散路径搜索；

在构建任务可行网络拓扑AP后，根据快递派送的起始状态，最终接收状态和状态间的切换关系，利用Dijkstra最短路径搜索算法搜索最终的可行离散路径，Dijkstra()代表Dijkstra算法，minCost()为求最小花费方法，算法过程如算法二所示：算法二：搜索最优路径rP(OptimalPath())

输入：T，Aφ，搜索起点sP0＝(q0,s0)

输出：可行最优路径rP

13)构建任务可行网络拓扑 SP0＝sP0

14)如果

15)返回步骤13)

16)对于AP每一个最终接收状态fP∈FP

17)搜索可行路径rP＝Dijkstra(sp0,fP)

18)如果

19)返回路径不存在

20)结束判断

21)结束循环

22)rP＝{rP'|minCost(rP'),rP'∈rP}

23)返回最优路径rP

步骤5：快递员实际环境派送路线搜索

对于在任务可行网络拓扑上搜索出的满足派件任务需求的任意路径rP＝(p0,s0)→(p1,s1)→(p2,s2)...，在加权切换系统T中都有与之对应的路径rT＝p0→p1→p2...存在，且rT同样满足派送任务需求，rT与rP的总耗费相同，该路径满足派送任务需求的同时保证了路径最优性；最后在Android平台上，基于百度地图开发包的两点间的驾驶导航方法(即算法三中的BmapDriving())将映射回加权切换系统中的离散路径rT连续化，进行二次规划获得派送员实际可驾驶派送路线R，二次规划的权重问题在步骤1的算法一中已经被考虑，实现过程如算法三所示。

算法三：离散路径连续化(ProjectToR())

输入：加权切换系统中的离散路径rT

输出：快递员实际驾驶派送路线R

24)对于i＝0,1,2...n-1，n为rT路径节点数

25)如果i＝n-1

26)R(n-1)＝BmapDriving(rT(n-1),rT(0))

27)否则R(i)＝BmapDriving(rT(i),rT(i+1))

28)判断结束

29)结束循环

30)返回R＝R(0)R(1)R(2)...R(n-1) 。

2.根据权利要求1所述的基于线性时序逻辑的移动端快递派送路径规划方法，其特征在于：步骤1中叙述的加权切换系统构建方法即算法一，基于Android平台的百度地图开发包，将快递派送任务转换为旅行商问题，以两点之间的驾驶距离将派送任务点进行建模，而非派送的实际复杂道路网络的百度地图，不仅能够满足快递派送任务点经常变化的特点而且符合实际环境。

3.根据权利要求1所述的基于线性时序逻辑的移动端快递派送路径规划方法，其特征在于：步骤5中叙述的最有离散路径的连续化即算法三，得到的离散路径不能满足实际派送环境，通过算法三将其连续化，并且基于百度地图自驾导航，而非其他形式的导航将离散路径连续化，更符合派送实际情况。