论文部分内容阅读
通过对排课资源和约束规则的分析与描述，提出并建立了一个基于资源受限的非线性约束多目标的排课模型。在该模型中，运用鸽子巢原理对问题是否有解加以判断，利用分治策略将问题分解，用主合取范式寻找所有可选方案，利用析取范式求得排课结果.在排课算法的设计中，综合应用了最小离差平方和法和间隔法。实验及应用证明该排课算法灵活高效，具有较强的冲突解决能力，并能在时空方面确保课表分布的均匀性。