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

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

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

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