Rozvrhování pomocí logického programování s omezujícími podmínkami – Mgr. Bc. Martin Šmérek
Mgr. Bc. Martin Šmérek
Bakalářská práce
Rozvrhování pomocí logického programování s omezujícími podmínkami
Scheduling with constraint logic programming
Anotace:
Práce prezentuje sadu statických a dynamických rozvrhovacích problémů řešených logickým programováním s omezujícími podmínkami. Pro každý problém je popsán jeho model, možnosti řešení a implementace. Statické problémy jsou řešeny pomocí knihovny pro práci nad konečnými doménami, dynamické problémy jsou řešeny pomocí lokálního prohledávání prostřednictvím hybridního řešiče.Abstract:
The thesis presents set of static and dynamic scheduling problems solved by logic constraint programming. There is model, solution and implementation described for each model. Static problem are solved by finite domain solver. Dynamic problems are solved by local search with hybrid solver.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2006
Identifikátor:
https://is.muni.cz/th/ehtu5/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 6. 2006
- Vedoucí: doc. Mgr. Hana Rudová, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Porovnání systémů pro programování s omezujícími podmínkami
Miroslava Plachá -
Generování Sudoku s využitím metod lineárního programování
Jan Procházka -
Použití programování s omezujícími podmínkami při řešení diskrétních úloh
Jitka Janečková -
Knihovna algoritmů pro řešení dynamických problémů
Jiří Rousek -
Rozvrhování a evidence pracovní doby
Diana Wieczorková -
Rozvrhování zaměstnanců ve vědeckém zábavním centru
Ondřej Hlouša -
Rozvrhování státních zkoušek na Fakultě informatiky
Roman Lacko -
Rozvrhování pro zážitkovou cestovní kancelář
Ludvík Hájek