技术编号：26754416
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。.本发明属于系统形式化建模与验证领域和智能排课技术领域，尤其涉及一种智能排课建模验证方法、系统。背景技术.目前，在开展教学工作的过程中合理分配各类教学资源使教学工作顺利展开，这一过程称为排课。排课问题属于教育资源分配管理问题，涉及到授课教师、课程、学生、教室和上课时间这五个关键要素。在进行资源分配时，若可分配的资源是无限的，为保证资源的顺利分配通常可通过适当的增加资源来完成；若可分配的资源是有限的，需要优化分配计划来保证顺利分配。在排课问题中，学校的授课教师和教室等教学资源是相对有限的，所以...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。