基于狀態(tài)檢測的規(guī)劃約束描述語言設(shè)計(jì)
發(fā)布時間:2017-09-12 07:19
本文關(guān)鍵詞:基于狀態(tài)檢測的規(guī)劃約束描述語言設(shè)計(jì)
更多相關(guān)文章: 任務(wù)規(guī)劃 約束建模 描述語言 規(guī)劃領(lǐng)域描述語言 約束條件
【摘要】:面向無人飛行器的復(fù)雜任務(wù)約束,借鑒規(guī)劃領(lǐng)域描述語言(PDDL)的結(jié)構(gòu)與思路,提出了一種基于狀態(tài)檢測的規(guī)劃約束描述語言。這種約束描述語言以狀態(tài)為主體,通過規(guī)范的語法,對規(guī)劃過程中的復(fù)雜約束條件進(jìn)行描述,并且具備良好的可擴(kuò)展性。對比了PDDL與基于狀態(tài)檢測的規(guī)劃約束描述語言的聯(lián)系與區(qū)別,介紹了面向約束的規(guī)劃描述語言的定義、結(jié)構(gòu)與語法,并通過示例檢驗(yàn)了其對約束的表達(dá)能力。
【作者單位】: 北京機(jī)電工程研究所;
【關(guān)鍵詞】: 任務(wù)規(guī)劃 約束建模 描述語言 規(guī)劃領(lǐng)域描述語言 約束條件
【分類號】:V279
【正文快照】: 1引言隨著無人飛行器應(yīng)用領(lǐng)域的不斷擴(kuò)展,無人飛行器的任務(wù)規(guī)劃已經(jīng)不局限于受地形、威脅與飛行器性能約束的飛行航跡規(guī)劃,對飛行器上各種載荷的使用以及任務(wù)執(zhí)行的規(guī)劃受到了越來越多的關(guān)注。無人飛行器載荷及任務(wù)執(zhí)行的約束條件多數(shù)不適于用數(shù)學(xué)模型的方式表現(xiàn),并且載荷具有,
本文編號:835847
本文鏈接:http://sikaile.net/kejilunwen/hangkongsky/835847.html
最近更新
教材專著