[发明专利]一种高校考务排考方法和装置

说明书

本发明公开了一种高校考务排考方法和装置。该排考方法包括系统初始化步骤、考试时间分配步、考试场地分配步骤、监考教师分配步骤以及结果校验步骤。其中系统初始化步骤中，将考试时间分配、考试场地分配、监考教师分配各步骤中所用到的可用时间采用布尔量数组进行表示，布尔量数组中的每个布尔量表示该布尔量考试周期内所对应的时间段是否可用。考试时间分配、考试场地分配、监考教师分配前，将各个考试任务根据考试任务信息所确定的优先级对考试任务队列进行排序。由此，在后续的考试时间分配、考试场地分配、监考教师分配各步骤中各种资源的分配按优先级进行分配。相比于现有方法，本发明快速，并且可应用于排课。

技术领域

本发明涉及教学管理领域，特别是自动化排考方法和系统。

背景技术

考务是高校教学环节中非常重要的一个业务环节，其涉及到诸如考试规划（集中、分散等）、考试时间、考试地点、考试座位号、监考教师、监考工作量、补考安排、考试通知等。考试安排主要涉及几个对象：考试课程（含重修考试课程）及其对应的考试班级、考场教室、考场可用的时间片（考试时间周内）、监考教师。不同类型、对象、组织方式的考试，时间长度和空间（考场大小）要求不一，要按不同的方法进行资源调度，并要与现有的排课、教室管理联动实现资源共享。排考需要解决的问题是：在教室资源、教室资源、时间资源相对固定（还有其它已知条件的约束）的情况下，无冲突的安排好所有的考试课程（课程优先级、分配时间、场地、监考人员等）。

排考问题同排课问题一样，均为典型的NPC问题，可转换为布尔可满足性问题，然后通过构建SAT约束条件通过SMT约束求解器进行求解。但这样的方法存在如下问题：首先，布尔约束条件难以表述和构建；第二、约束条件太多，SMT约束求解器求解耗时将会很长；第三、SMT约束求解器只能求解但无法或者很难优化。

发明内容

本发明所要解决的问题：设计一种快速排考的方法。

为解决上述问题，本发明采用的方案如下：

根据本发明的一种高校考务排考方法，包括以下步骤：

S11：获取考试任务集、教室信息集、班级信息集以及教师信息集；所述考试任务集是待排考的考试任务信息的集合；所述考试任务信息为考试任务的信息，包括任务编号、关联班级、课程学分、考试时长、可用时间、主考教师、考试场地；所述教室信息集是教室信息的集合；所述教室信息包括教室编号、座位数、可用时间；所述班级信息集是班级信息的集合；所述班级信息包括班级编号、班级人数、可用时间、所属院系；所述教师信息集是教师信息的集合；所述教师信息包括教师编号、教师姓名、任教课程、可用时间、所属院系；

S12：根据考试任务信息所确定的优先级对所述考试任务集进行排序得到考试任务队列；

S2：按顺序遍历考试任务队列，对考试任务队列中的考试任务逐个分配考试时间；

S3：按顺序遍历考试任务队列，对考试任务队列中的考试任务逐个分配考试场地；

S4：按顺序遍历考试任务队列，对考试任务队列中的考试任务逐个分配监考教师；

S5：检查考试任务队列中的各个考试任务的各个班级是否都分配了相应的考试时间、考试场地和监考教师；

所述可用时间采用布尔量数组表示；所述布尔量数组中的每个布尔量表示该布尔量考试周期内所对应的时间段是否可用；

所述步骤S2中的对考试任务分配考试时间包括如下步骤：

S21：对该考试任务所关联的各个班级的可用时间进行与运算，得到第一可用时间；

S22：将得到第一可用时间和该考试任务的可用时间进行与运算得到第二可用时间；

S23：根据第二可用时间和该考试任务的考试时长确定考试时间；