D-時刻表的設(shè)計與應(yīng)用.pdf

1、時間規(guī)劃是人工智能所涉及的特殊的規(guī)劃領(lǐng)域,它是以時間關(guān)系約束作為推理依據(jù)。現(xiàn)實生活中,很多和時間有關(guān)的問題都可以用時間規(guī)劃進(jìn)行研究。該問題是NP難度的問題。
　　D-時刻表是求解時間規(guī)劃問題的算法之一,它可以解決既有時間關(guān)系約束又有時間寬度約束的一類時間規(guī)劃問題。本文通過對D-時刻表問題的描述和探討,以時間關(guān)系矩陣為基礎(chǔ),給出了D-時刻表算法的詳細(xì)步驟,并設(shè)計了一個通用的時間規(guī)劃D_時刻表系統(tǒng),并將其應(yīng)用于大學(xué)課程表問題中,從中我

2、們學(xué)習(xí)并了解了時間規(guī)劃的原理和機制。
　　在本文中我們的討論只針對單成份關(guān)系約束下的時間規(guī)劃問題,但對于多成份約束下的時間規(guī)劃問題,有待我們進(jìn)一步研究。
　　本文所做的研究工作主要在以下幾個方面:
　　1)給出了基于Allen的時間世界模型的關(guān)系矩陣表示法;運用關(guān)系矩陣表示法,詳細(xì)介紹了時間規(guī)劃中用于解決時間關(guān)系約束的R時刻表算法,以及用于解決既有時間關(guān)系約束又有時間寬度約束的D-時刻表算法。
　　2)完善了算法

3、在實際應(yīng)用中的一些不足之處,給出了完善后的算法。例如,通過數(shù)組記錄了簡化關(guān)系矩陣和初始關(guān)系矩陣的行列號的對應(yīng)關(guān)系。
　　3)在完善的算法基礎(chǔ)上,設(shè)計并實現(xiàn)了一個通用的時間規(guī)劃系統(tǒng),該系統(tǒng)很好的完成了關(guān)系矩陣構(gòu)造、關(guān)系矩陣的簡化、R-時刻表求解、D-時刻表的求解和運算過程及結(jié)果的不同方式顯示,實例說明改進(jìn)后的算法是可行的。
　　4)分析了大學(xué)課程表編排問題中的各種原則和要求,根據(jù)排課問題自身的要求和特點,提出了將時間規(guī)劃中D-