本文通過對路標的研究,將其引入基于啟發(fā)式搜索的規(guī)劃,為經(jīng)典規(guī)劃問題設(shè)計了更有效的搜索算法和啟發(fā)函數(shù),并將路標和規(guī)劃求解方法用于診斷回溯探測和修復(fù)問題,具體內(nèi)容如下:（1）提出一種基于路標傾向的隨機游走規(guī)劃方法,根據(jù)路標信息設(shè)置隨機動作的選擇概率,讓路標對隨機游走的方向加以控制,引導(dǎo)搜索過程逐漸實現(xiàn)更多路標,更快地生成規(guī)劃解。（2）提出基于命題路標約束的代價分配啟發(fā)式評估方法,在路標切割啟發(fā)式的基礎(chǔ)上利用命題路標修改前提定位規(guī)則,完成動作路標的提取、代價分配以及累加計算啟發(fā)式估值,增加啟發(fā)式估值的準確性;提出基于代價預(yù)分配的啟發(fā)式評估方法,在進行啟發(fā)式評估時利用命題路標的支持動作為放松規(guī)劃問題提供必要代價,識別各個待實現(xiàn)路標的支持動作后,完成代價預(yù)分配,并進行啟發(fā)式估值。（3）將路標引入診斷,建立基于路標的診斷啟發(fā)式,提高診斷效率和精確性;提出一種使用規(guī)劃在增量診斷中進行回溯探測,獲取真實診斷的方法。 

【文章來源】：吉林大學(xué)吉林省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：132 頁

【學(xué)位級別】：博士

【部分圖文】：

蘇斯曼異常

本文結(jié)構(gòu)安排

一個積木世界域規(guī)劃任務(wù)

【參考文獻】：
期刊論文
[1]自動獲取派生謂詞規(guī)劃領(lǐng)域的通用規(guī)劃[J]. 蔣志華,饒東寧,姜云飛,楊天奇.  計算機學(xué)報. 2014(08)
[2]面向結(jié)構(gòu)的基于學(xué)習(xí)的規(guī)劃方法[J]. 陳藹祥,姜云飛,柴嘯龍,邊芮,陳清亮.  軟件學(xué)報. 2014(08)
[3]路標計數(shù)啟發(fā)式引導(dǎo)的分解規(guī)劃方法[J]. 魏唯,歐陽丹彤,呂帥.  軟件學(xué)報. 2013(10)
[4]基于縮減信念狀態(tài)的Conformant規(guī)劃方法[J]. 魏唯,歐陽丹彤,呂帥.  軟件學(xué)報. 2013(07)
[5]智能規(guī)劃中的可納子目標排序[J]. 梁瑞仕,姜云飛,邊芮,吳向軍.  軟件學(xué)報. 2011(05)
[6]規(guī)劃領(lǐng)域定義語言的演進綜述[J]. 饒東寧,蔣志華,姜云飛.  計算機工程與應(yīng)用. 2010(22)
[7]基于自動推理技術(shù)的智能規(guī)劃方法[J]. 呂帥,劉磊,石蓮,李瑩.  軟件學(xué)報. 2009(05)
[8]部分可觀察強規(guī)劃中約減觀察變量的研究[J]. 周俊萍,殷明浩,谷文祥,孫吉貴.  軟件學(xué)報. 2009(02)
[9]基于Conformant Fast-Forward規(guī)劃系統(tǒng)的析取目標處理方法[J]. 楊宇鵬,歐陽丹彤,蔡敦波,呂帥.  計算機研究與發(fā)展. 2008(12)
[10]智能規(guī)劃器StepByStep的研究和開發(fā)[J]. 吳向軍,姜云飛,凌應(yīng)標.  軟件學(xué)報. 2008(09)

博士論文
[1]時間相關(guān)的分層任務(wù)網(wǎng)絡(luò)規(guī)劃[D]. 馮宇軒.吉林大學(xué) 2016
[2]基于啟發(fā)式搜索的最優(yōu)規(guī)劃算法研究[D]. 張雷.南京大學(xué) 2014
[3]智能規(guī)劃方法中啟發(fā)式搜索策略的研究[D]. 魏唯.吉林大學(xué) 2013
[4]多值規(guī)劃中若干問題研究[D]. 趙晶晶.吉林大學(xué) 2011
[5]基于自動推理技術(shù)的智能規(guī)劃方法研究[D]. 呂帥.吉林大學(xué) 2010
[6]基于啟發(fā)式搜索的智能規(guī)劃方法研究[D]. 蔡敦波.吉林大學(xué) 2009

碩士論文
[1]基于子目標排序的智能規(guī)劃方法研究及應(yīng)用[D]. 鄔漲財.電子科技大學(xué) 2020
[2]結(jié)合領(lǐng)域知識的智能規(guī)劃方法研究及其應(yīng)用[D]. 屈小杰.電子科技大學(xué) 2019
[3]基于landmark可納排序的規(guī)劃系統(tǒng)研究及應(yīng)用[D]. 黃卓.電子科技大學(xué) 2018
[4]基于前瞻策略的自動規(guī)劃方法研究[D]. 徐勝.武漢工程大學(xué) 2015
[5]基于啟發(fā)式搜索的靈活規(guī)劃的算法研究[D]. 李楊.東北師范大學(xué) 2006



本文編號：3123774