计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
2期
47-51,105
,共6页
航迹规划%OBDD%PSL
航跡規劃%OBDD%PSL
항적규화%OBDD%PSL
航迹规划是决定无人飞行器飞行航迹优劣的关键环节.由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无入飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据问题的约束条件,在搜索中剪枝.模型检验的经典OBDD(有序二叉决策图)方法是表示状态和状态迁移的高效率的数据结构方法,可以简化状态系统的表示空间;而PSL是一种重要时序逻辑,利用PSL和一阶逻辑描述无人飞行器航迹规划的领域约束,以期在规划中剪枝搜索状态.在使用上述两种优化策略基础上设计了航迹规划搜索算法,并实现了该算法的规划仿真,仿真结果表明该方法是一种有效可行的航迹规划方法.
航跡規劃是決定無人飛行器飛行航跡優劣的關鍵環節.由于無人飛行器飛行空域廣,態勢也較複雜,實際規劃中常常麵臨搜索的狀態多、收斂時間慢等問題,這成為無入飛行器執行飛行任務的瓶頸,解決的優化策略包括:縮小問題的狀態空間以及根據問題的約束條件,在搜索中剪枝.模型檢驗的經典OBDD(有序二扠決策圖)方法是錶示狀態和狀態遷移的高效率的數據結構方法,可以簡化狀態繫統的錶示空間;而PSL是一種重要時序邏輯,利用PSL和一階邏輯描述無人飛行器航跡規劃的領域約束,以期在規劃中剪枝搜索狀態.在使用上述兩種優化策略基礎上設計瞭航跡規劃搜索算法,併實現瞭該算法的規劃倣真,倣真結果錶明該方法是一種有效可行的航跡規劃方法.
항적규화시결정무인비행기비행항적우렬적관건배절.유우무인비행기비행공역엄,태세야교복잡,실제규화중상상면림수색적상태다、수렴시간만등문제,저성위무입비행기집행비행임무적병경,해결적우화책략포괄:축소문제적상태공간이급근거문제적약속조건,재수색중전지.모형검험적경전OBDD(유서이차결책도)방법시표시상태화상태천이적고효솔적수거결구방법,가이간화상태계통적표시공간;이PSL시일충중요시서라집,이용PSL화일계라집묘술무인비행기항적규화적영역약속,이기재규화중전지수색상태.재사용상술량충우화책략기출상설계료항적규화수색산법,병실현료해산법적규화방진,방진결과표명해방법시일충유효가행적항적규화방법.
