一种高校考务排考方法和装置制造方法及图纸

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

【技术实现步骤摘要】
一种高校考务排考方法和装置
本专利技术涉及教学管理领域，特别是自动化排考方法和系统。
技术介绍
考务是高校教学环节中非常重要的一个业务环节，其涉及到诸如考试规划（集中、分散等）、考试时间、考试地点、考试座位号、监考教师、监考工作量、补考安排、考试通知等。考试安排主要涉及几个对象：考试课程（含重修考试课程）及其对应的考试班级、考场教室、考场可用的时间片（考试时间周内）、监考教师。不同类型、对象、组织方式的考试，时间长度和空间（考场大小）要求不一，要按不同的方法进行资源调度，并要与现有的排课、教室管理联动实现资源共享。排考需要解决的问题是：在教室资源、教室资源、时间资源相对固定（还有其它已知条件的约束）的情况下，无冲突的安排好所有的考试课程（课程优先级、分配时间、场地、监考人员等）。排考问题同排课问题一样，均为典型的NPC问题，可转换为布尔可满足性问题，然后通过构建SAT约束条件通过SMT约束求解器进行求解。但这样的方法存在如下问题：首先，布尔约束条件难以表述和构建；第二、约束条件太多，SMT约束求解器求解耗时将会很长；第三、SMT约束求解器只能求解但无法或者很难优化。
技术实现思路
本专利本文档来自技高网...

【技术保护点】
一种高校考务排考方法，其特征在于，包括以下步骤：S11：获取考试任务集、教室信息集、班级信息集以及教师信息集；所述考试任务集是待排考的考试任务信息的集合；所述考试任务信息为考试任务的信息，包括任务编号、关联班级、课程学分、考试时长、可用时间、主考教师、考试场地；所述教室信息集是教室信息的集合；所述教室信息包括教室编号、座位数、可用时间；所述班级信息集是班级信息的集合；所述班级信息包括班级编号、班级人数、可用时间、所属院系；所述教师信息集是教师信息的集合；所述教师信息包括教师编号、教师姓名、任教课程、可用时间、所属院系；S12：根据考试任务信息所确定的优先级对所述考试任务集进行排序得到考试任务队...

【技术特征摘要】
1.一种高校考务排考方法，其特征在于，包括以下步骤：S11：获取考试任务集、教室信息集、班级信息集以及教师信息集；所述考试任务集是待排考的考试任务信息的集合；所述考试任务信息为考试任务的信息，包括任务编号、关联班级、课程学分、考试时长、可用时间、主考教师、考试场地；所述教室信息集是教室信息的集合；所述教室信息包括教室编号、座位数、可用时间；所述班级信息集是班级信息的集合；所述班级信息包括班级编号、班级人数、可用时间、所属院系；所述教师信息集是教师信息的集合；所述教师信息包括教师编号、教师姓名、任教课程、可用时间、所属院系；S12：根据考试任务信息所确定的优先级对所述考试任务集进行排序得到考试任务队列；S2：按顺序遍历考试任务队列，对考试任务队列中的考试任务逐个分配考试时间；S3：按顺序遍历考试任务队列，对考试任务队列中的考试任务逐个分配考试场地；S4：按顺序遍历考试任务队列，对考试任务队列中的考试任务逐个分配监考教师；S5：检查考试任务队列中的各个考试任务的各个班级是否都分配了相应的考试时间、考试场地和监考教师；所述可用时间采用布尔量数组表示；所述布尔量数组中的每个布尔量表示该布尔量考试周期内所对应的时间段是否可用；所述步骤S2中的对考试任务分配考试时间包括如下步骤：S21：对该考试任务所关联的各个班级的可用时间进行与运算，得到第一可用时间；S22：将得到第一可用时间和该考试任务的可用时间进行与运算得到第二可用时间；S23：根据第二可用时间和该考试任务的考试时长确定考试时间；S24：根据所确定的考试时间更新该考试任务所关联的各个班级的可用时间；所述步骤S3中的对考试任务分配考试场地包括如下步骤：S31：根据该考试任务所确定的考试时间和教室的可用时间，从教室信息集中找出所有的候选教室组成候选教室集；S32：通过班级的人数和教室的座位数的最佳容量匹配，为该考试任务所关联的各个班级从候选教室集中分配相应的教室和相应的班级；S33：根据该考试任务所确定的考试时间更新各个所分配教室的可用时间；所述步骤S4中的对考试任务分配监考教师包括如下步骤：S41：根据该考试任务所分配教室的座位大小确定所需监考教师数；S42：假如主考教师不为空且所需监考教师大于1，则从教师信息集中选取可用的同院系教师中随机选择相应数量的监考教师；假如主考教师为空，则从从教师信息集中选取可用的非同院系教师中随机选择相应数量的监考教师；S43：根据考试任务所确定的考试时间更新所分配的监考教师的可用时间。2.如权利要求1所述的高校考务排考方法，其特征在于，所述步骤S12包括：S121：选择主考教师为空的考试任务作为第一优先考试任务队列，然后计算第一优先考试任务队列各考试任务优先级，再根据考试任务优先级对第一优先考试任务队列进行排序；S122：选择考试场地不为空的考试任务作为第二优先考试任务队列，然后计算第二优先考试任务队列各考试任务优先级，再根据考试任务优先级对第二优先考试任务队列进行排序；S123：剩余的考试任务作为第三优先任务队列，然后计算第三优先考试任务队列各考试任务优先级，再根据考试任务优先级对第三优先考试任务队列进行排序；S124：按顺序合并排序后的第一优先考试任务队列、第二优先考试任务队列、第三优先考试任务队列组成考试任务队列；所述计算考试任务优先级采用以下公式：P=C1*M+C2*N；其中C1、C2为权重系数，M为考试人数、N为课程学分，P为考试任务优先级。3.如权利要求1所述的高校考务排考方法，其特征在于，所述班级为逻辑班级；每个逻辑班级包含有学生列表；逻辑班级自身不存在可用时间，但逻辑班级所包含的学生列表所指向的每个学生具有可用时间；当所述步骤S21中需要调取逻辑班级的可用时间时，该逻辑班级的可用时间通过该逻辑班级所包含的学生列表所指向的各个学生的可用时间的与运算获得；当所述步骤S24中，根据所确定的考试时间更新该考试任务所关联的各个班级的可用时间时，直接将根据所确定的考试时间更新该考试任务所关联的各个逻辑班级的所包含的学生列表所指向的各个学生的可用时间。4.一种高校考务排考装置，其特征在于，包括...

【专利技术属性】
技术研发人员：严敏，
申请(专利权)人：江苏金智教育信息股份有限公司，
类型：发明
国别省市：江苏,32