一种排课问题的形式化描述体系和框架  

A Formalization and Description Frame of Course Scheduling Problem

作　　者：王学军[1] 

机构地区：[1]广东工业大学华立学院,增城511325

出　　处：《现代计算机》2008年第6期56-58,共3页Modern Computer

摘　　要：排课问题主要解决时间和空间资源冲突,以优化教学资源和教学时间的分配,实现教学资源的负载均衡。提出一种新的排课约束的表述框架——时间地点限定表达式,可以通过形式推理缩减排课问题空间,支持基于案例和规则的排课问题求解。The main object of course scheduling is eliminating the conflict between the times and rooms, optimizing the assignment of resource and time and to reality the loader level. Proposes a new method, Temporal and Place Qualified Expression （TPQE）, it can reduce the space of course scheduling through the formalization reasoning and supports the solution of course scheduling based on cases and rules.

关 键 词：排课问题 形式化 时间地点限定表达式 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]