[1]吕勇全 陈寅 邬家炜 庄伟杰.基于回答集程序的排课系统设计与实现[J].计算机技术与发展,2010,(06):228-232.
Lv Yong-quan,CHEN Yin,WU Jia-wei,et al.Timetabling System Design and Implementation Using Answer Set Programming[J].,2010,(06):228-232.
点击复制
基于回答集程序的排课系统设计与实现()
《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]
- 卷:
-
- 期数:
-
2010年06期
- 页码:
-
228-232
- 栏目:
-
应用开发研究
- 出版日期:
-
1900-01-01
文章信息/Info
- Title:
-
Timetabling System Design and Implementation Using Answer Set Programming
- 文章编号:
-
1673-629X(2010)06-0228-05
- 作者:
-
吕勇全 陈寅 邬家炜 庄伟杰
-
华南师范大学计算机学院
- Author(s):
-
Lv Yong-quan; CHEN Yin; WU Jia-wei; ZHUANG Wei-jie
-
School of Computer,South China Normal University
-
- 关键词:
-
回答集; 排课; 约束
- Keywords:
-
answer set; timetabling; constraint
- 分类号:
-
TP18
- 文献标志码:
-
A
- 摘要:
-
排课问题是典型的组合优化和NP完全问题。一个好的排课系统既需要能高效地求解排课问题,也需要能提供灵活的定义各种用户约束的方式,但现有的排课系统通常不能同时兼顾这两点。通过实现一个基于回答集程序的排课系统,较好地解决了这一问题。系统的前端接受用户的各种约束条件,并将其转换为回答集程序,后端调用回答集求解器实现排课问题的求解。实验表明,这种实现方式能适应排课条件的变化,具有灵活和可扩展的特点,并在可接受的时间内能排出教师满意度较高的课表。
- Abstract:
-
Timetabling problem is a typical combinatorial optimization problem as well as a NP-complete problem.A good timetabling system needs not only the efficiency in timetabling solving but also the flexibility in definning user constraints.However,the systems
备注/Memo
- 备注/Memo:
-
国家自然科学基金(NSFC60703095); 广东省自然科学基金(GDSF07300237)吕勇全(1977-),男,湖南娄底人,硕士研究生,研究方向为知识表示与推理、语义网;邬家炜,教授,研究方向为计算机网络应用。
更新日期/Last Update:
1900-01-01