Název:
Optimalizátor rozvrhu zkoušek na FIT
Překlad názvu:
Optimizer for Exam Scheduling at the FIT
Autoři:
Paulík, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2015
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Tématem této práce je automatizovaná tvorba rozvrhu zkoušek pro Fakultu informačních technologií Vysokého učení technického v Brně. Je zde popsán seznam požadavků (omezení), na které je nutné brát při návrhu rozvrhu ohled. Tyto omezení jsou dále klasifikována podle míry vlivu na kvalitu rozvrhu na nutné a volitelné. Problém plánování zkoušek je zde dekomponován na dílčí podproblémy a dále řešen pomocí Contraint logic programming. Výsledkem je množina řešení splňující všechna nutná omezení. Z nich je nakonec vybráno takové suboptimální řešení, které nejméně porušuje zbývající škálovatelná omezení.
This paper describes automated examination scheduling for the Faculty of Information Technology of Brno University of Technology. It specifies a list of restrictions that must by satisfied. Furthermore, this limitations are classified due to their influence on a quality of the final version of the examination schedule. There are two types of restrictions; soft and hard. The task is to find such a solution that satisfies all hard constraints and breaks the minimum of soft constraints using techniques described in this paper.
Klíčová slova:
Constraint Logic Programming; Optimalizační úloha; Plánování; Plánování rozvrhu zkoušek; SWI Prolog; Constraint Logic Programming; Examination scheduling; Optimization problem; Scheduling; SWI Prolog
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/52260