|
|
Optimalizátor rozvrhu zkoušek na FIT
Paulík, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
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í.
|
|
|
Energetické využití odpadů jako klíčový prvek moderních systémů odpadového hospodářství
Guštara, Dominik ; Putna, Ondřej (oponent) ; Šomplák, Radovan (vedoucí práce)
Bakalářská práce se soustředí na analýzu současného stavu systémů odpadového hospodářství v Evropě a predikci jeho budoucího vývoje s důrazem na energetické využití odpadů. První část práce slouží k uvedení do problematiky nakládání s odpady a k popisu výpočtového nástroje NERUDA. Následuje popis sběru dat o současném stavu odpadového hospodářství v řešených státech. Závěrečná a nejdůležitější část se zabývá vysvětlením toho, jakým způsobem byl odhadnut budoucí vývoj, a analýzou výsledků optimalizační úlohy.
|
|
|
Zobecnění konvexních funkcí
Bessisso, Samir ; Lachout, Petr (vedoucí práce) ; Hlubinka, Daniel (oponent)
Konvexní funkce mají z pohledu matematické optimalizace řadu pěkných vlastností, jejich lokální minimum je i globálním minimem, mají konvexní dolní úrovňové množiny a jsou-li diferencovatelné, pak mají globální minimum ve stacionárním bodě. Pro hledání minima diferencovatelné konvexní funkce na konvexní množině můžeme proto efektivně využít například Karush-Kuhn-Tuckerovy podmínky nebo gradientní metody. Předpo- klad konvexity funkce je ale docela restriktivní a k řadě námi využívaných vlastností konvexních funkcí ani není nutný. Tématem této bakalářské práce jsou konvexní funkce a jejich zobecnění, konkrétně kvazikonvexní a K-konvexní funkce, okrajově se zmíníme i o invexních funkcích. Práce shromažďuje poznatky o konvexních, kvazikonvexních a K- konvexních funkcích, které mohou být využity v matematické optimalizaci a ilustruje je na příkladech. 1
|
|
|
Optimalizátor rozvrhu zkoušek na FIT
Paulík, Miroslav ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
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í.
|
|
|
Energetické využití odpadů jako klíčový prvek moderních systémů odpadového hospodářství
Guštara, Dominik ; Putna, Ondřej (oponent) ; Šomplák, Radovan (vedoucí práce)
Bakalářská práce se soustředí na analýzu současného stavu systémů odpadového hospodářství v Evropě a predikci jeho budoucího vývoje s důrazem na energetické využití odpadů. První část práce slouží k uvedení do problematiky nakládání s odpady a k popisu výpočtového nástroje NERUDA. Následuje popis sběru dat o současném stavu odpadového hospodářství v řešených státech. Závěrečná a nejdůležitější část se zabývá vysvětlením toho, jakým způsobem byl odhadnut budoucí vývoj, a analýzou výsledků optimalizační úlohy.
|
host ::
RSS.