【導讀】definition.thissectionaswell.

　　

【正文】 建立一個問題的定義步驟。它允許一個進程，以確定所有問題，約束，限制和目標，從而提供的信息可能會在問題的定義包括基地。 在亞太空間中心的本科課程包括 4 年。有 4000 多學生，其中 1200 是第一年。有七個部門和 9 個學位課程共 79 POSts1。有教職工 219， 12 座和 80 所實驗室內(nèi)部管理室。教師使用的軟件調(diào)度包的課程加上調(diào)度產(chǎn)品套件的一部分。特別是軟件課程規(guī)劃師（ CP）是用來計劃，識別問題，并支持決策。 CP 是一個軟件包，使用多種啟發(fā)式時調(diào)度。 75％的時間表交付給個別學生無沖突，對方案的結(jié)構(gòu)。在以下章節(jié)中，我們描述的目標是試圖實現(xiàn)的時間表，所涉及的限制，戰(zhàn)略，這個過程中，創(chuàng)建時使用的時間表。然后，我們提出一些在目前的過程中存在問題的地區(qū)和突出的地區(qū)可能是有益的。確定在哪些領(lǐng)域可以有所幫助， 應使問題的定義問題更加容易。 約束 在上課時間表域，有兩種類型的約束。硬約束，不能侵犯，因為如果他們的時間表將是不可行的限制。軟約束， 相反 ，作為著名的喜好，有沒有時間表，以使該盡可能好。較少的軟約束行為表示時間表更好。此外，在加拿大多倫多大學的例子，有些情況下出現(xiàn)的，蘇州大學本科生畢業(yè)設(shè)計（論文）附件：外文文獻資料 12 由于該方案的性質(zhì)，嚴重制約了時間表。雖然這是一個稍微不同的含義的限制，他們將被稱為制約因素，他們將在本節(jié)列出。 戰(zhàn)略 無書面協(xié)議，其次是在創(chuàng)建時間表。這是因為每一年都是獨特的，比以往有所不同。有，但是，一般的策略是使用。在構(gòu)成該調(diào)度程序的基本步 驟是相同的，每年。首先是數(shù)據(jù)采集。二是決定的過渡戰(zhàn)略。轉(zhuǎn)期的策略是什么樣的決定前一年的計劃的一部分，是保持并推出下一年了。后過渡戰(zhàn)略是確定的，每年的時間表安排，一次一個，開始與第一年的計劃和完成了第四年了。 過程中存在的問題 有許多的過程，其中有許多需要改進的一個領(lǐng)域。這些問題的范圍，例如有太多的數(shù)據(jù)被輸入了手動，溝通問題，在教師的政治問題從技術(shù)的問題。有些可以受益于一個 IT解決方案，有些卻不能。 IT 解決方案 有幾次在這個過程中，自動化將是有益的。最明顯的一個是，在時間表的創(chuàng)建。目前使用的軟件，但軟件需要 一個互動的方式很多，它僅僅是一個數(shù)據(jù)庫，保存數(shù)據(jù)，并通知用戶時存在沖突，而實際上是手動創(chuàng)建的時間表。 CP 的軟件可以自動時間表，但是從經(jīng)驗，創(chuàng)建的時間表往往很遠的理想。處長往往是很難找到一個時間表，這并不違反很大限制。處長沒有，畢竟，使用啟發(fā)式使其調(diào)度決定，這未必是最好的選擇。利用數(shù)學規(guī)劃，建立一個模型可以解決亞太空間中心時間表問題。這種模式可能并不需要太多的互動。它將采取數(shù)據(jù)并創(chuàng)建一個時間表，然后可以由用戶修改。 還有其他一些地區(qū)，早些時候在亞太空間中心的過程，也可從中受益 自動化。對調(diào)度處處長已確定了這 些領(lǐng)域，以及建議的解決方案。其中一個領(lǐng)域是核實 CP和日歷數(shù)據(jù)的一步。這是當前一本手冊，兩個人的過程，涉及從三個不同的來源交叉核對數(shù)據(jù)。假如這些電子數(shù)據(jù)連接，很多的時間將被保存。此外，在數(shù)據(jù)采集階段，數(shù)據(jù)收集，通過電子表格。這一過程涉及來回傳遞信息的獲取，每次稍微改變。這一進程正在做手工，創(chuàng)造了許多誤解和錯誤的機會。錯誤包括錯誤地填寫表格，以及缺少的信息。第三個領(lǐng)域，自動化將是有益的是，更新后的 CP 完成數(shù)據(jù)的電子表格。這是手工完成。 建議的解決方案，從調(diào)度主任，是要核實過程中，收集和更新數(shù)據(jù)的電子?？梢越⒁?個數(shù)據(jù)庫從該日歷可以上傳電子數(shù)據(jù)到 CP。此外，數(shù)據(jù)收集可以通過在線表格，那里可以輸入，這樣的輔導員將不能錯誤地填寫表格和空白時段進行限制，將不會獲得批準。這些形式的數(shù)據(jù)便可以電子方式上傳到 CP。這種解決辦法將節(jié)省大量的時間以及防止許多錯誤。 另一個領(lǐng)域的 IT 解決方案將是有益的是，斷開系統(tǒng)之間的時間安排使用。若改變了預定計劃，三個系統(tǒng)必須進行更新： CP， ROSI 和客房預訂系統(tǒng)（ RRS）版。通常，不同的人有不同的系統(tǒng)更新，如果它沒有這樣做的同時，可能有人會工作的系統(tǒng)之一，它假設(shè)是最蘇州大學本科生畢業(yè)設(shè)計（論文）附件：外文文獻資料 13 新的時候并非如此。這可能會導致 問題。它是有用的連接系統(tǒng)，以便當一個更新時，其他人也是如此。 非 IT 解決方案 有兩個原因，一個 IT 解決方案可能是不可能的：沒有任何的 IT 解決方案，適用于對具體問題，或 IT 解決方案，適用是不可行的 最大的問題在目前的時間安排過程中存在的是，在數(shù)據(jù)采集通信階段。在這個階段，輔導員都應該得到所有從教師要求問候他們的日程安排的喜好和需要。教師都應該提供的課程，他們提供自己的部門將教學。交付是指部分當然應該有多少的數(shù)量和培訓班的所有會議的長度。學院成員也應該提供他們母嬰同室的要求。這是當前進程中非常普遍，教師不提供在 數(shù)據(jù)采集階段多的數(shù)據(jù)。在這種情況下，假定有沒有嚴格的限制和交付是一樣的東西是寫在日歷中。這也是一個強有力的教師共同來與調(diào)度辦公室要求或投訴后的時間表完成，并上載。這些要求的范圍從不同的房間，希望想改變一個小時的實驗室是一個三小時的實驗室。 雖然它可能有一個 IT 解決方案，其中教師成員可以進入他們的在線數(shù)據(jù)，而不是通過輔導員去，它可能是不可行的期望“購買”的所有教員。更現(xiàn)實的解決辦法是制定一份書面的政策，其中包括一個日期，其中各部門必須完成所有的教學任務，日期，其中教師成員必須提交他們的調(diào)度數(shù)據(jù)，什么數(shù)據(jù)必須被 包括在內(nèi)。調(diào)度辦公室，然后要求批準從教師的要求有任何偏差，將不會改變?nèi)粘贪才胚M行一次上傳。類似的政策將是有益的問候課程發(fā)展。應該沒有過去的某一個日期提出課程改革。實施這樣一套嚴格的規(guī)則不會是一個簡單的任務。理想情況下，課程委員會將提前一年他們現(xiàn)在在哪里。該時間表將調(diào)整需要時間和精力，雖然這將是很好的安排，這將意味著每年將需要更長的課程更改生效。 另一個可以沒有 IT解決方案解決的問題是，沒有已知的每班學生人數(shù)為一年級的調(diào)度。由于參觀人數(shù)不上課之后才知道，這是不可能的時間表與已知的每班學生人數(shù)第一年的時間表。但 是，后來在今年夏天的第一年，計劃，更準確的每班學生人數(shù)的估計。這將是一個好主意，改變調(diào)度順序和時間安排第一年的最后，所有其他年份后完成。有幾個原因，列在本章前面的調(diào)度第一年。然而，當?shù)谝荒甑臅r間表，必須改變最后一分鐘，由于每班學生人數(shù)不明，但最終被定最后反正。唯一不同的是，它是由第一次調(diào)度浪費時間。調(diào)度部門打算嘗試在新的一年的最后安排的第一年。 結(jié)論 大學的排課系統(tǒng)是一個組合的問題 ，這個問題是由在規(guī)定的房間和時間段的數(shù)量內(nèi)安排一套課程組成。解決為問題訂時間表的一個現(xiàn)實世界手工經(jīng)常需要相當多數(shù)量的時間，有時幾天或者甚至周。因此，許多研究已被投資為了提供對于人類課程表的自動化的支持。貢獻來自運籌學和人工智能的領(lǐng)域。 本文參照學期和方法來滿足限制條件。方法提出使用約束邏輯編寫程序被發(fā)展。約束邏輯編寫程序把邏輯編寫程序的語句與從運籌學和人工智能的方法的效率相結(jié)合。 它最近成為解決時間表問題的一種有前途的方法。 從滿足限制運用古典的方法要求作一個滿足限制問題的模擬問題，一套變量，每一個蘇州大學本科生畢業(yè)設(shè)計（論文）附件：外文文獻資料 14 帶有它能 承擔的價值的一個領(lǐng)域，和在變量中間的一套約束。約束是通過禁用的結(jié)合價值規(guī)定解決方案的空間的關(guān)系。 方法包括搜索，啟發(fā)式，和約束傳播。 典型地，系統(tǒng)的搜索把價值分配到依次地跟隨一些搜索秩序的變量。如果過程沒能擴展一種部分的解決，被取消與選擇探索的決定。 系統(tǒng)的搜索經(jīng)常依賴于啟發(fā)式，這定義在其中變量和價值被選擇的秩序。約束傳播是補充的； 它通過識別不能參加一種解決的價值簡化一個問題。 這方法搜索空間剪除與搜索變得容易。 在實踐中，大多數(shù)以約束為基礎(chǔ)的時間表系統(tǒng)不支持或者是輕微的約束或者是使用一個分支和境界代替搜 索時序回溯。 分支和境界從一種解決開始并且要求下一種解決是更好的。質(zhì)量依賴于輕微的約束的裝置的一個適合的費用功能測量。 有了這方法，然而，在選擇變量和價值中較弱的約束將不起起作用。 在收集教師的要求之后和關(guān)于新的過程的信息，第一項建議作為一個起始的點以前一年的課程表被發(fā)展。這被再一次為了被同樣的人們提供的新的過程不發(fā)生的過程被在課程表中使用自由的狹縫完成左邊左，而教師的要求優(yōu)先于前一年的課程表。 在把建議分發(fā)到所有教師的估計和新的要求之后將加以收集。 從當前的建議一個起始開始，一項新的建議被發(fā)展在當前的建議 上結(jié)合修改，再一次可能少量的改動等等。建立一張新的課程表，這樣是一個多級而逐漸增長的過程。 依賴于上學期的課程表，改變盡可能少量的信息，減少為建立一張新的課程表所需要的工作的量，并且通過保持人們每星期保證接受新的課程表的習慣。 同時應該注意到，其它地方的教室資源分配。然而，對空間或者一定的設(shè)備的沖突的要求可能是改變課程表的一種原因。 一般的約束因為教師的身體狀況、學院的原因，和個人的優(yōu)先選擇； 一個教師不能同時在兩個地方授課，如此避免一個教師的沖突過程； 至少應該有一個教師在兩個過程之間的一個小時中斷； 一 些教師為了教學規(guī)定了確定的時間和天數(shù)； 星期一下午為了教授會議而不排課，來方便教授們討論重要的決定。 此系統(tǒng)包括五個單元，每個模塊的設(shè)計都有一個特定的區(qū)域。大多數(shù)模塊當不同的單元的成員被堅持時，被堅持一個單一的單元的成員僅僅一些過程。 過程堅持一個一定的單元的成員不可與過程沖突堅持其它同樣的單元的成員。 提供每星期典型地包括兩次講課和一種個別輔導。所有的講課之間必須給予適當?shù)闹袛唷? 個別專業(yè)課程不應該安排在同一天里。 所有課程都應該被安排在上午 9 點和下午 6點之間。 僅僅極少的課程是強制性的被安排給一個一定的 期間的學生，而大多數(shù)過程對所有學蘇州大學本科生畢業(yè)設(shè)計（論文）附件：外文文獻資料 15 生是可選和開放的。 對于每一大學生研究的期間有一套強制性的過程，高度將予以推薦的出席。畢業(yè)生研究的課程僅僅依賴于大學生研究提供的知識。沒有先后秩序。 一個期間的大學生課程不可沖突，而不同的期間的大學生過程允許沖突。 畢業(yè)生的課程不應該沖突。 第一次觀察弄清楚現(xiàn)有的課程表不會遇到畢業(yè)生課程沖突或者一次公共課程和一種個別專業(yè)課程被安排在同樣的天。 進而，就多年考慮到畢業(yè)生過程的數(shù)字提供，它變得清楚有小空間沒有沖突而為所有畢業(yè)生課程確定具體的時間。這因為下列的原因。 如前所述，大學 生過程強制性和有可選擇性的兩種形式。 這方法區(qū)別從第三個期間的學生以及從第四個期間的學生的第二個期間的學生是可能，這使之有可能允許沖突不同的期間的大學生過程。畢業(yè)生課程僅僅依賴于被大學生過程提供的知識。沒有出席的推薦的秩序，這樣制定不可能區(qū)別從第七個學期的學生和第五個學期的學生，這使不接受沖突是必要的畢業(yè)生課程按照某種方法來解決所面臨的問題 關(guān)于逐漸增長的要求，基于新的課程和改變盡可能少量的已經(jīng)確定前一年的課程表。 根據(jù)一個學者的觀點，畢業(yè)生就自由的學習缺乏結(jié)構(gòu)和導致被課程表約束的說明。 通過移去解決第二個 問題選擇沒有沖突約束被成為艱辛和時間消耗；同時，因此，不實際。把畢業(yè)生課程分類和允許當然沖突內(nèi)容和期待學生的數(shù)字不同的范疇贏得往回某種自由，但是識別足夠范疇是不可能按照過程平均地傳播過范疇的這樣一種方法，這防止沖突是必要的。它變得清楚我們是需要某種重量約束能夠表達軟弱和強健的約束不是強制性的。 一有限的套變量的約束滿意，每一個帶有一個有限的領(lǐng)域和一有限的套約束。 一種解決向其這樣的領(lǐng)域的一種價值繪制地圖每一變量所有約束被滿足。部分的滿足限制是每一約束與一個重量有關(guān)。 一個約束的一個重量表達其滿足重要性，允 許把艱難的約束與較弱的約束相區(qū)別。 苛刻的限制規(guī)則于賦予無窮的重量。較低的約束，有限的重量在約束中間考慮進去優(yōu)先選擇的說明。 一種解決向其這樣的領(lǐng)域的一種價值繪制每一變量所有的限制約束被滿足，并且違反的較低約束的整個的重量是最小限度的。 顯然，我們?yōu)榱嗣恳晃兆r這一過程僅僅需要一個變量，起始的時間點，它曾經(jīng)預定于。 每一變量的領(lǐng)域包括整個的星期，對所編號時期，因為例如：指示星期一的上午 9點鐘等等。 要求、希望、推薦能以一套專門的約束來表達。 過程不可與另一個沖突的沒有沖突約束要求。預先安排的約束和利用性約 束被用來表達教師的優(yōu)先選擇，以及過程必須在一段一定的時間內(nèi)發(fā)生。 分配約束確保有一過程之間的至少一天和另一個，或者兩過程預定于不同的天。 契約約束確保那一個過程將在另一個之后直接被預定。關(guān)于較弱的約束，優(yōu)先選擇的三個等級被選擇：較弱的限制條件，一般限制條件和較苛刻的限制條件，這被翻譯成為整蘇州大學本科生畢業(yè)設(shè)計（論文）附件：外文文獻資料 16 數(shù) 1， 3， 9。 搜索過程使用相結(jié)合在上面為了變量和價值選擇被給的解答者與時序回溯和啟發(fā)式。 對于可變的選擇，首先失敗原則被選擇，這通過增加領(lǐng)域的主要動態(tài)地命令變量，原則提出關(guān)于計算的水流狀態(tài)而選擇變量之一最小的領(lǐng)域。對于價 值選擇，一種最好的適合策略被使用選擇最好的額定時期之一。 根據(jù)一個樂觀的觀點，這將是違反一套柔軟的約束的時期之一最小限度的整個的重量，但是評估應該像二重唱，無沖突的傳播性能。進而，最好的評估不一定違反約束的最小的數(shù)字： 一種強壯的個人優(yōu)先選擇可能平衡 10 個軟弱沒有沖突約束。 這方法生產(chǎn)關(guān)于問題的一種好的第一種解決。搜索一種較好的解決是必要的。 產(chǎn)生一張排課表運行如下。 每一過程與把整個的星期考慮進去的一個領(lǐng)域約束有關(guān)，從 0 到