排课系统surveyreport-毕业论文外文翻译

《排课系统surveyreport-毕业论文外文翻译》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、大学的排课系统是一个组合的问题，这个问题是由在规定的房间和时间段的数量A安排一套课程组成。解决为问题订时问表的一个现实世界手工经常需要相当多数量的时间，有时几天或者甚至周。因此，许多研究已被投资为了提供对于人类课程表的自动化的支持。贡献来自运筹学和人工智能的领域。本文参照学期和方法来满足限制条件。方法提出使用约束逻辑编写程序被发展。约束逻辑编写程序把逻辑编写程序的语句与从运筹学和人工智能的方法的效率相结合。它最近成为解决时间表问题的一种有前途的方法。从满足限制运用古典的方法要求作一个满足限制问题的模拟问题，一套变量,

2、每一个带有它能承担的价值的一个领域，和在变量中间的一套约束。约束是通过禁用的结合价值规定解决方案的空间的关系。方法包括搜索，启发式，和约束传播。典型地，系统的搜索把价值分配到依次地跟随一些搜索秩序的变量。如果过程没能扩展一种部分的解决，被取消与选择探索的决定。系统的搜索经常依赖于启发式，这定义在其中变量和价值被选择的秩序。约束传播是补充的；它通过识别不能参加一种解决的价值简化一个问题。这方法搜索空间剪除与搜索变得容易。在实践中，大多数以约束为基础的时间表系统不支持或者是轻微的约束或者是使用一个分支和境界代替搜索时序回

3、溯。分支和境界从一种解决开始并且要求下一种解决是更好的。质量依赖于轻微的约朿的装置的一个适合的费用功能测量。有了这方法，然而，在选择变量和价值中较弱的约束将不起起作用。在收集教师的要求之后和关于新的过程的信息，第一项建议作为一个起始的点以前一年的课程表被发展。这被再一次为了被同样的人们提供的新的过程不发生的过程被在课程表屮使用自由的狭缝完成左边左，而教师的要求优先于前一年的课程表。在把建议分发到所有教师的估计和新的要求之后将加以收集。从当前的建议一个起始开始，一项新的建议被发展在当前的建议上结合修改,再一次可能少量的

4、改动等等。建立一张新的课程表，这样是一个多级而逐渐增长的过程。依赖于上学期的课程表，改变尽可能少量的信息，减少为建立一张新的课程表所需要的工作的量，并且通过保持人们每星期保证接受新的课程表的习惯。同吋应该注意到，其它地方的教室资源分配。然而，对空间或者一定的设备的冲突的要求可能是改变课程表的一种原因。一般的约束因为教师的身体状况、学院的原因，和个人的优先选择；一个教师不能同时在两个地方授课，如此避免一个教师的冲突过程；至少应该有一个教师在两个过程之间的一个小时中断；一些教师为了教学规定了确定的时间和天数；星期一下午为

5、了教授会议而不排课，来方便教授们讨论重要的决定。此系统包括五个单元，每个模块的设计都有一个特定的区域。大多数模块当不同的单元的成员被坚持时，被坚持一个单一的单元的成员仅仅一些过程。过程坚持一个一定的单元的成员不可与过程冲突坚持其它同样的单元的成员。提供每星期典型地包括两次讲课和一种个别辅导。所有的讲课之间必须给予适当的中断。个别专业课程不应该安排在同一天里。所有课程都应该被安排在上午9点和卜午6点之间。仅仅极少的课程是强制性的被安排给一个一定的期间的学生，而大多数过程对所有学生是可选和开放的。对于每一大学生研宂的期间

6、有一套强制性的过程,高度将予以推荐的出席。毕业生研究的课程仅仅依赖于大学生研究提供的知识。没有先后秩序。一个期间的大学生课程不可冲突，而不同的期间的大学生过程允许冲突。毕业生的课程不应该冲突。第一次观察弄清楚现有的课程表不会遇到毕业生课程冲突或者一次公共课程和一种个别专业课程被安排在同样的天。进而，就多年考虑到毕业生过程的数字提供，它变得清楚有小空间没有冲突而为所有毕业生课程确定具体的吋间。这因为下列的原因。如前所述，大学生过程强制性和有可选择性的两种形式。这方法区别从第三个期间的学生以及从第四个期间的学生的第二个期

7、间的学生是可能，这使之有可能允许冲突不同的期间的大学生过程。毕业生课程仅仅依赖于被大学生过程提供的知识。没有出席的推荐的秩序，这样制定不可能区别从第七个学期的学生和第五个学期的学生，这使不接受冲突是必要的毕业生课程按照某种方法来解决所面临的问题关于逐渐增长的要求，基于新的课程和改变尽可能少量的已经确定前一年的课程表。根据一个学荠的观点，毕业生就自由的学习缺乏结构和导致被课程表约束的说明。通过移去解决第二个问题选择没有冲突约束被成为艰辛和时间消耗；同时，因此，不实际。把毕业生课程分类和允许当然冲突内容和期待学生的数字不

8、同的范畴赢得往回某种自由，但是识别足够范畴是不可能按照过程平均地传播过范畴的这样一种方法，，这防止冲突是必耍的。它变得清楚我们是需要某种重量约束能够表达软弱和强健的约束不是强制性的。一有限的套变量的约束满意，每一个带有一个有限的领域和一有限的套约束。一种解决向其这样的领域的一种价值绘制地图每一变量所有约束被满足。部分的满足限制是每一约束与一个重