|
|
Filtering Algorithms for Tabular Constraints
Molnár, Martin ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Předložená práce se zabývá implementací filtračních algoritmů hranové konzistence pro extenzivně definované podmínky. Zavádíme zde nový koncept binarizace pro rozkládání více-árních ad hoc podmínek na síť binárních podmínek. Je zde také rozpracována teorie pro dokázání správnosti této binarizace. V práci studujeme existující algoritmy z pohledu našeho konceptu binarizace a navrhujeme binarizace pro ad hoc podmínky definované vybranými běžnými způsoby. V práci také navrhujeme filtrační algoritmy pro dílčí podmínky. Složený propagátor pak používá tyto dílčí filtrační algoritmy pro propagaci přes více-ární podmínky. Konečně, navrhované postupy experimentálně ověřujeme na podmínkách generovaných plánovacími.
|
|
|
Object-oriented Command Shell
Molnár, Martin ; Ježek, Pavel (vedoucí práce) ; Šerý, Ondřej (oponent)
Predložená práca sa zaoberá vnášaním objektovo orientovaného prístupu do programovania v príkazovom riadku. Študuje možnosti z adenia konceptov OOP a dávkového spracovania ľ a navrhuje vhodný kompromis medzi týmito prístupmi. Hlavným cieľom tejto práce je implementácia zvoleného riešenia v rodinách operačných systémov Unix a Microsoft Windows. Práca teda popisuje rozhodnutia súvisiace s implementáciou, ako aj používanie výslednej aplikácie.
|
|
|
Object-oriented Command Shell
Molnár, Martin ; Ježek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Predložená práca sa zaoberá vnášaním objektovo orientovaného prístupu do programovania v príkazovom riadku. Študuje možnosti z adenia konceptov OOP a dávkového spracovania ľ a navrhuje vhodný kompromis medzi týmito prístupmi. Hlavným cieľom tejto práce je implementácia zvoleného riešenia v rodinách operačných systémov Unix a Microsoft Windows. Práca teda popisuje rozhodnutia súvisiace s implementáciou, ako aj používanie výslednej aplikácie. Powered by TCPDF (www.tcpdf.org)
|
|
|
Filtering Algorithms for Tabular Constraints
Molnár, Martin ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Předložená práce se zabývá implementací filtračních algoritmů hranové konzistence pro extenzivně definované podmínky. Zavádíme zde nový koncept binarizace pro rozkládání více-árních ad hoc podmínek na síť binárních podmínek. Je zde také rozpracována teorie pro dokázání správnosti této binarizace. V práci studujeme existující algoritmy z pohledu našeho konceptu binarizace a navrhujeme binarizace pro ad hoc podmínky definované vybranými běžnými způsoby. V práci také navrhujeme filtrační algoritmy pro dílčí podmínky. Složený propagátor pak používá tyto dílčí filtrační algoritmy pro propagaci přes více-ární podmínky. Konečně, navrhované postupy experimentálně ověřujeme na podmínkách generovaných plánovacími.
|
|
|
Object-oriented Command Shell
Molnár, Martin ; Šerý, Ondřej (oponent) ; Ježek, Pavel (vedoucí práce)
Predložená práca sa zaoberá vnášaním objektovo orientovaného prístupu do programovania v príkazovom riadku. Študuje možnosti z adenia konceptov OOP a dávkového spracovania ľ a navrhuje vhodný kompromis medzi týmito prístupmi. Hlavným cieľom tejto práce je implementácia zvoleného riešenia v rodinách operačných systémov Unix a Microsoft Windows. Práca teda popisuje rozhodnutia súvisiace s implementáciou, ako aj používanie výslednej aplikácie.
|
host ::
RSS.