论文标题
在minizinc中自动化的大规模课程计划
Automated Large-scale Class Scheduling in MiniZinc
论文作者
论文摘要
课程调度是一项高度约束的任务。教育机构以时间和手动计算的形式花费大量资源，以找到满足所有要求的满意时间表。令人满意的课程时间表可在方便的时机上容纳所有学生参加所有所需的课程。调度程序还需要考虑到给定插槽的课程教师的可用性。随着可用教室的额外限制，在这个巨大的搜索空间中满足所有限制的解决方案的数量进一步减少。 本文提出了一个有效的系统，以生成可以满足典型大学可能需求的课程时间表。尽管它主要是固定信用调度程序，但也可以针对开放学分系统进行调整。该模型是在微型设计中设计的，并使用各种现成的求解器解决。拟议的调度系统可以在不到一分钟的时间内找到适度的教育机构的平衡时间表。
Class Scheduling is a highly constrained task. Educational institutes spend a lot of resources, in the form of time and manual computation, to find a satisficing schedule that fulfills all the requirements. A satisficing class schedule accommodates all the students to all their desired courses at convenient timing. The scheduler also needs to take into account the availability of course teachers on the given slots. With the added limitation of available classrooms, the number of solutions satisfying all constraints in this huge search-space, further decreases. This paper proposes an efficient system to generate class schedules that can fulfill every possible need of a typical university. Though it is primarily a fixed-credit scheduler, it can be adjusted for open-credit systems as well. The model is designed in MiniZinc and solved using various off-the-shelf solvers. The proposed scheduling system can find a balanced schedule for a moderate-sized educational institute in less than a minute.
