基于排课问题的优化模型