[发明专利]一种基于数学逻辑的智能排课方法

说明书

技术领域

本发明涉及教学管理领域，特别涉及一种基于数学逻辑的智能排课方法。

背景技术

随着计算机技术与Internet技术的飞速发展，推广数字化和智能化技术已成为推动我国社会发展的重要步骤之一。教务管理是高校十分重要又是相当复杂的一项管理工作，随着我国教育体制的改革深入，学生人数的迅速增多，课程设置也不断向深度和广度发展，教学体制逐渐由学年制向学分制过渡，以前的教务管理系统已越来越不能满足现代高校教务管理的需求，为此各高校都在寻找或开发一套适合本学校特点的教务管理系统，以适应高等院校在新形势下教务管理的需求。

排课管理是学校教务管理系统设计的重要环节，同时也是十分复杂的管理工作之一。学分制模式的排课过程非常复杂，首先要以教学任务为基础，根据开课单位所聘的教师进行排课，根据学分制要求，每一条教学任务都会对应若干个拟任课教师，这样一来系统在分配资源时就会占用了大量的教学资源，能否合理地分配教学资源也是评价排课软件的一个重要指标。目前，自动排课在实现过程中还存在一些不尽如人意的地方，有些教师固定的时间不能安排上课造成搭配问题。

发明内容

本发明旨在至少解决现有技术中存在的问题之一。

本发明要解决的技术问题在于解决了既可以合理的排课，又可以对特殊的情况进行随机排课的问题。

为解决上述技术问题，本发明提供一种基于数学逻辑的智能排课方法，其步骤包括：

S1：输入课程集合和任课教师集合，将所述课程集合和任课教师集合二维数组序列号形成一维数组；

S2：将所述一维数组的下标作为属性坐标，并对应每一点有一个课时分布的概率分布基准；

S3：输入教室集合和上课班级集合，并基于所述概率分布基准建立映射函数，根据所述映射函数形成初级排课结果集合；

S4：输入约束条件，根据所述约束条件对所述初级排课结果集合进行筛选，形成二级排课结果集合；

S5：对所述二级排课结果集合进行优先性规则筛选形成三级排课结果集合；

S6：根据数学逻辑对三级排课结果集合内的元素进行修改，并输出终级排课结果集合。

进一步的，所述优先性规则筛选包括：

S51：对二级排课结果集合中的元素进行筛选，上课人数多的课程排序在人数少的课程之前；

S52：在S51中，出现人数相同的课程时，输入课程跨度，将与前课程跨度小的课程排序在与前课程跨度大的课程之前。

进一步的，所述S6中还包括输入任课教师调课信息，再根据数学逻辑对三级排课结果集合内的元素进行修改，并输出终级排课结果集合。

进一步的，本方法步骤还包括：

S7：判断所述终级排课结果集合中是否为空集，判断为是，返回S4中，重新输入约束条件；

S8：判断为否，输入所述终级排课结果集合。

本发明的有益效果在于提供了一种基于数学逻辑的智能排课方法，采用本发明比自动排课更具有灵活性，可以随时对特殊的任务进行处理。基于约束条件的合取智能排课管理系统除了实现原手工系统的功能外，还增加了新的功能，保证了数据处理的一致性和及时性，本发明大大地降低了排课工作的强度，提高了工作效率和质量。

附图说明

图1所示为本发明实施例一种基于数学逻辑的智能排课方法的流程图。

具体实施方式

下文将结合具体实施例详细描述本发明。应当注意的是，下述实施例中描述的技术特征或者技术特征的组合不应当被认为是孤立的，它们可以被相互组合从而达到更好的技术效果。

下面结合图1详细描述本发明的实施例：

本发明实施例提供一种基于数学逻辑的智能排课方法，其步骤包括：

S1：输入课程集合和任课教师集合，将所述课程集合和任课教师集合二维数组序列号形成一维数组；

S2：将所述一维数组的下标作为属性坐标，并对应每一点有一个课时分布的概率分布基准；

S3：输入教室集合和上课班级集合，并基于所述概率分布基准建立映射函数，根据所述映射函数形成初级排课结果集合；

S4：输入约束条件，根据所述约束条件对所述初级排课结果集合进行筛选，形成二级排课结果集合；

S5：对所述二级排课结果集合进行优先性规则筛选形成三级排课结果集合；

S6：根据数学逻辑对三级排课结果集合内的元素进行修改，并输出终级排课结果集合。