受資源約束的時間規(guī)劃問題研究.pdf

1、時間規(guī)劃是人工智能所涉及的特殊規(guī)劃領(lǐng)域,它是以時間關(guān)系約束作為推理依據(jù)的。在許多實際問題中都涉及到時間規(guī)劃和資源約束的問題,從而能夠處理時間和各類資源的現(xiàn)實問題,已成為規(guī)劃領(lǐng)域重要的研究方向。很多和時間有關(guān)的問題都可以用時間規(guī)劃進行研究,同時受資源約束的影響,在時間規(guī)劃的過程中考慮資源因素,對資源進行調(diào)度,合理配置資源,解決受資源約束的時間規(guī)劃問題,已顯得更具實際意義。
　　時間模型是時間規(guī)劃的一個重要概念,本文討論的受資源約束的

2、時間規(guī)劃問題以Allen提出的13種時間區(qū)間代數(shù)為出發(fā)點,將時區(qū)關(guān)系以基于區(qū)間的關(guān)系矩陣和基于時間點的關(guān)系矩陣分別表示。并將資源和時間規(guī)劃相結(jié)合,通過檢測沖突資源和資源缺陷處理,對確定性資源調(diào)度,求解滿足受資源約束的R_時刻表,以及由于資源的不確定性,搜索有效地資源分配方法,確定任務(wù)的完成時間,而求解滿足受資源約束的D_時刻表。
　　本文所做的研究工作主要在以下幾個方面:
　　1)分別說明基于時區(qū)的關(guān)系矩陣表示法及其改進表示

3、法、基于時間點關(guān)系的矩陣表示法,以基于點關(guān)系的矩陣表示法基礎(chǔ),介紹了R_時刻表算法及其改進算法。
　　2)求D_時刻表的,給出基本賦值算法、E(x)和J(B)運算、賦值修正算法,并在D_時刻表算法中增加額外關(guān)系約束進行改進。
　　3)在時間規(guī)劃中考慮資源因素,由于受資源約束條件,在求解R_時刻表過程中,每個事件所需資源數(shù)量是確定的,分配的資源數(shù)量也是確定的,通過檢測溢出團,對存在資源沖突的時區(qū)進行管理,刪除不滿足條件的時間關(guān)