Detail práce
Optimalizátor rozvrhu zkoušek na FIT
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í.
Plánování, Plánování rozvrhu zkoušek, Constraint Logic Programming, SWI Prolog, Optimalizační úloha
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A.
- Konzultoval jste problematiku s osobami zodpovědnými za tvorbu rozvrhů na FIT? Jakým způsobem je možné upravit vstupy aplikace, aby bylo dosaženo např. plánování opravných termínů zkoušek až ke konci zkouškového období?
Brada Přemysl, doc. Ing., MSc. Ph.D. (ZČU v Plzni), člen
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Květoňová Šárka, Ing., Ph.D. (UIFS FIT VUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT), člen
Zendulka Jaroslav, doc. Ing., CSc. (UIFS FIT VUT), člen
@mastersthesis{FITMT15222,
author = "Miroslav Paul\'{i}k",
type = "Diplomov\'{a} pr\'{a}ce",
title = "Optimaliz\'{a}tor rozvrhu zkou\v{s}ek na FIT",
school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
year = 2015,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/15222/"
}