壓縮一致性規(guī)劃領(lǐng)域狀態(tài)空間方法研究.pdf

1、允許初始狀態(tài)和動(dòng)作效果不確定的一致性規(guī)劃的狀態(tài)空間相比經(jīng)典規(guī)劃急劇增大并直接影響規(guī)劃解的質(zhì)量，采用有限域表示一致性規(guī)劃能有效地壓縮狀態(tài)空間。然而此表示方法的狀態(tài)空間存在大量冗余，為了進(jìn)一步壓縮狀態(tài)空間，本文將針對(duì)有限域表示一致性規(guī)劃中被編碼的冗余文字:與現(xiàn)實(shí)世界矛盾的文字、初始狀態(tài)和動(dòng)作效果的不確定性引入大量的負(fù)文字和規(guī)劃中未出現(xiàn)的文字開展研究:
　　 在與現(xiàn)實(shí)世界矛盾的冗余文字方面，分析被編碼文字和有限域轉(zhuǎn)換算法中原子實(shí)例化的

2、步驟，給出無(wú)效文字的定義并提出一種新的實(shí)例化原子算法。該算法以實(shí)例化過程為基礎(chǔ)，將初始參數(shù)與對(duì)象的匹配對(duì)進(jìn)行篩選，去除不同參數(shù)被實(shí)例化為同一對(duì)象的匹配對(duì)，達(dá)到去除冗余文字的目的。
　　 在不確定性引入大量的負(fù)義字方面，分析被編碼文字之間的關(guān)系和一致性規(guī)劃領(lǐng)域定義語(yǔ)言，提出有用文字算法和oneof算法用于對(duì)負(fù)文字的轉(zhuǎn)換。有用文字算法首先得到除去合成不變量中剩余的正文字和保留不存在于合成不變量中負(fù)文字的否定，然后取兩種集合的合集形成

3、不可達(dá)文字集合，最后利用正文字與負(fù)文字間和不同初始狀態(tài)文字間的互斥關(guān)系進(jìn)行編碼。而oneof算法是轉(zhuǎn)化oneof算子為子集構(gòu)造可達(dá)文字集合，然后去掉可達(dá)文字集合中與不變量集合重復(fù)的部分，最后將剩下的未覆蓋文字集合與不變量集合進(jìn)行編碼。
　　 在規(guī)劃中未出現(xiàn)的被編碼文字方面，分析被編碼文字與一致性規(guī)劃所需文字，給出無(wú)用文字的定義并提出一種通過建立狀態(tài)變量域值關(guān)系圖去除圖中孤立點(diǎn)所表示的文字的域值約簡(jiǎn)算法，從而達(dá)到壓縮空間的目的。<