基于模型檢測的不確定規(guī)劃中的狀態(tài)可達性研究

1、學校代碼10530學號200911031545分類號TP18密級碩士學位論文基于模型檢測的基于模型檢測的不確定不確定規(guī)劃中規(guī)劃中的狀態(tài)狀態(tài)可達性可達性研究研究學位申請人胡雨隆指導教師文中華副教授學院名稱信息工程學院學科專業(yè)計算機科學與技術研究方向智能規(guī)劃二〇一二年四月十八日湘潭大學湘潭大學學位論文原創(chuàng)性聲明學位論文原創(chuàng)性聲明本人鄭重聲明：所呈交的論文是本人在導師的指導下獨立進行研究所取得的研究成果。除了文中特別加以標注引用的內(nèi)容外，本論

2、文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫的成果作品。對本文的研究做出重要貢獻的個人和集體，均已在文中以明確方式標明。本人完全意識到本聲明的法律后果由本人承擔。作者簽名：日期：年月日學位論文版權使用授權書學位論文版權使用授權書本學位論文作者完全了解學校有關保留、使用學位論文的規(guī)定，同意學校保留并向國家有關部門或機構送交論文的復印件和電子版，允許論文被查閱和借閱。本人授權湘潭大學可以將本學位論文的全部或部分內(nèi)容編入有關數(shù)據(jù)庫進行檢索，可以采