Rozvrhování pomocí logického programování s omezujícími podmínkami – Mgr. Bc. Martin Šmérek
Mgr. Bc. Martin Šmérek
Bachelor's thesis
Rozvrhování pomocí logického programování s omezujícími podmínkami
Scheduling with constraint logic programming
Anotácia:
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: Czech
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Applied Informatics / Applied Informatics
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í magisterských státních zkoušek na FI
Jiří Rousek -
Rozvrhování magisterských státních zkoušek pro FI
Radoslav Štefánik -
Rozvrhování státních zkoušek na Fakultě informatiky
Roman Lacko