 Thesis
Point
|
Na teto strance naleznete navrhy temat pro bakalarske, diplomove a disertacni prace nebo pro softwarove projekty z oblasti umele inteligence, logickeho programovani a programovani s omezujicimi podminkami resene pod vedenim Dr. Romana Bartaka. Ve druhe casti jsou take odkazy majici primou souvislost s resenim projektu.
Volne projekty
Algoritmy reseni hierarchii podminek
Hierarchie omezujicich podminek nabizeji formou preferencnich podminek jeden z pristupu pro reseni prilis omezenych problemu. Cilem prace je prostudovat, srovnat, pripadne navrhnout vylepseni algoritmu pro reseni hierarchii podminek.Prakticke aplikace omezujicich podminek (obecne tema)
Omezujici podminky nabizeji radu moznosti praktickeho uplatneni v oblastech jako je planovani, rozvrhovani, optimalizace nebo treba kompozice hudby a optimalizace alokace registru pri prekladu. Cilem prace je navrhnout efektivni zpusob reseni zvoleneho problemu pomoci omezujicich podminek a srovnat tento pristup s jinou znamou technikou reseni tehoz problemu.Constraint Handling Rules
Constraint Handling Rules (CHR) tvori rozsireni jazyku logickeho programovani urcene predevsim pro snadnou a rychlou tvorbu systemu reseni uzivatelskych omezujicich podminek. Po prostudovani technologie CHR je cilem prace navrhnout a implementovat toto rozsireni v prostredi standardu jazyka Prolog.Knihovny pro reseni omezujicich podminek
Po seznameni se s algoritmy splnovani podminek je cilem projektu implementovat ve zvolenem jazyce (Java, C, C++, Visual Basic, Prolog ...) knihovnu pro reseni omezujicich podminek.Omezujici podminky v uzivatelskych rozhranich
Nastavovani parametru tak, aby vysledek vyhovoval predstavam uzivatele a pri tom splnoval dana omezeni, neni jednoduchy proces (trivialnim prikladem je ovladaci panel Monitory ve Windows). Cilem prace je vytvorit kontrukcni kit pro pripravu inteligentnich uzivatelskych rozhrani pouzivajici propagaci omezeni.
Generovani problemu pro planovani a rozvrhovani
Pri navrhu algoritmu splnovani podminek je dulazite popsat tridu problemu, pro ktere se dany algoritmus hodi lepe a pro ktere mene. Cilem prace je nalezt formanli popis obecnych planovacich a rozvrhovacich problemu formou sady parametru a navrhnout software, ktery po zadani hodnot tecnto parameteru generuje ulohy prislusneho typu.
Ladeni programu s omezujicimi podminkami
Ladeni systemu s omezujicmi podminkami je kvuli provazanosti promennych velice narocne a soucasne systemy neposkytuji prilis prostredku podporujicich hledani chyb a neefektivnosti v podminkach. Cilem prace je navrhout ladici prostredi pro programy s omezujicimi podminkami.Efektivni a rozsiritelne implementace Prologu
Programovaci jazyk Prolog nabizi prijemne deklarativni prostedi pro navrh programu, jehoz nevyhodou muze byt nekdy pomalejsi interpretace programu. Cilem prace je navrhout vyuziti dodatecnych informaci (typy, mody atd.) pro efektivejsi beh logickych programu pri zachovani pristupu k vnitrnostem systemu (podobne jako system Mercury).... (vlastni navrhy jsou vitany)
Resene projekty
Algoritmy splnovani omezujicich podminek (diplomka Richard Michalsky, od 1999)
Splnovani podminek nad konecnymi domenami tvori hlavni cast rozvijejiho se oboru programovani s omezujicimi podminkami. Cilem prace je prostudovat, srovnat, pripadne navrhnout vylepseni technik splnovani podminek.Reseni prilis omezenych problemu (diplomka Tomas Kasl, od 1999)
Pri reseni problemu se uzivatele casto setkavaji s tim, ze system podminek pouzity pro popis problemu je prilis omezeny (nelze splnit vsechny podminky naraz). Cilem prace je prostudovat, srovnat, pripadne navrhnout vylepseni technik pro reseni prilis omezenych systemu podminek.
Iteraktivni tvorba rozvrhu (diplomka Tomas Muller, od 1999)
Tvorba rozvrhu patri mezi hlavni aplikace vyuziti omezujicich podminek. Cilem prace je vytvorit system podporujici interaktivni tvorbu rozvrhu formou Gantt diagramu.
Reseni globalnich podminek (diplomka Petr Vilim, od 1999)
Globalni podminky, napr. all_different, predstavuji novy pohled na reseni systemu podminek shrnutim vice jednodussich podminek pod jednu podminku. Cilem prace je seznamit se s pouzitim globalnich podminek, napr. v systemu CHIP, a navrhnout vlastni implementaci nektere globalni podminky vhodne pro realne aplikace.
Omezujici podminky v interaktivni grafice (disertace Roman Mecl, od 1999)
Prace se zabyva vyuzit omezujicich podminek pri navrhu interaktivnich aplikaci s grafickym obsahem.
Ukoncene projekty
Omezujici podminky v grafickych uzivatelskych rozhranich (obhajena diplomka Roman Mecl, 1999)
Prace je venovana aplikaci technologie omezujících podmínek pri navrhu grafickych uzivatelských rozhraní (GUI) a zvlaste pak interaktivních grafických editoru.
[text prace (PDF)] [software (.EXE)]
Dalsi informace
Uprava diplomove prace na MFF UK [http://www.mff.cuni.cz/iso/study/study.htm]
Na techto strankach najdete informace o uprave diplomove prace.Harmonogram skolniho roku [http://www.mff.cuni.cz/iso/study/harm9900.htm]
Zde hledejte informace o terminech obhajob, zadavani a podavani praci.