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

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

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

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