基于约束满足的学分制排课算法应用与研究-软件工程专业论文.docxVIP

万方数据 万方数据 RESEARCH AND APPLICATION FOR TIMETABLING ALGORITHM BASED ON CONSTRAINT SATISFACTION IN ACADEMIC CREDIT SYSTEM A Master Thesis Submitted to University of Electronic Science and Technology of China Major: Software Engineering Author: Yang Mingguang Advisor: Zeng Gang School : School of Physical Electronics 独创性声明 本人声明所呈交的学位论文是本人在导师指导下进行的研究工 作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地 方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含 为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。 与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明 确的说明并表示谢意。 作者签名： 日期： 年 月 日 论文使用授权 本学位论文作者完全了解电子科技大学有关保留、使用学位论文 的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁 盘，允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文 的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或 扫描等复制手段保存、汇编学位论文。 （保密的学位论文在解密后应遵守此规定） 作者签名： 导师签名： 日期： 年 月 日 摘要 摘 要 排课是高校教学管理中的一个重点和难点问题。由于在排课过程中需要涉及到 教师、学生、教室及时间等多重因素，因此，是一个典型的组合优化和不确定性 调度问题并被证明是一个 NP 完全类问题，其算法的实现具有相当的难度。而在学 分制条件下，由于学生自由选课因素的引入，如何对冲突进行有效检测也成为一 个新的问题。 本文针对目前已有算法在排课模型表述和冲突检测效率等方面存在的问题，通 过引入一个约束松弛条件而将原来相对复杂的排课过程转化为两个相互独立的时 间分配过程和教室分配过程，从而大大简化了排课过程。在此基础上，本文提出 了一种以课次模式选择和冲突向量检测为基础以约束目标函数最大化为目标的对 大学课表约束的简洁统一表述机制。然后，进一步提出了一种以冲突向量迭加和 课次模式满意度调整为约束传播手段、通过最小冲突截断回溯算法来消解冲突的 基于约束满足的高效排课算法。 该算法对各种排课需求，特别是对具有大规模多约束特征的应用具有极强适应 性，具有很好的实用价值。 关键词：排课算法，约束满足，冲突检 I ABSTRACT ABSTRACT Timetabling is very important for education administration in universities and is also a difficult task to implement. It is a typical combination optimization problem having uncertainly scheduling property because it involves many factors such as classes, teachers and classrooms etc. It is proved as NP-Complete combination to be solved with great difficulty. As the students can freely select courses in academic credit system, a new issue occurs on how to effectively detect course conflicts. Aiming at the problems existing in model formulation and conflict detection efficiency of the current algorithms, this paper proposes an approach to simplify the timetabling process, which is transformed into two independent processes of time and classroom allocation by introducing a constrained slack factor, instead of former complica