计算机应用与软件2011，Vol.28Issue(2)：47-51,105,6.
应用OBDD和PSL的航迹规划方法研究
ON APPLYING OBDD AND PSL TO AIR ROUTE PLANNING
摘要
Abstract
Air route planning is a crucial step for deciding the quality of flight tracks of UAV.Extensive flight space and complicated environment situation.result in a large number of states of search and low efficient convergence speed the UAV often encountered in practical planning,and these have been the bottleneck of UAV in flight mission execution.There are two optimisation methods to overcome these,including decreasing the state expression structure and pruning states during the search according to domain constraints.The classical OBDD for model examination is an efficient data structure method to represent the set of compact states and the state transitions,it can simplify the representation space of state system;while PSL is an important temporal logic.In the paper we use PSL and first-order logic to express the domain constraints of UAV air route planning in order to prune search states during planning.A search algorithm for air route planning is designed with both two optimised strategies described above, and the simulation of the planning of the algorithm is realised, the simulation results show that it is a feasible and efficient method.关键词
航迹规划/OBDD/PSL引用本文复制引用
虞蕾,赵宗涛..应用OBDD和PSL的航迹规划方法研究[J].计算机应用与软件,2011,28(2):47-51,105,6.基金项目
国家高技术研究发展计划项目(2007AA010301) （2007AA010301）
中国博士后基金(20080431401). （20080431401）
