|
|
Constraint satisfaction for inductive logic programming
Chovanec, Andrej ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent)
Induktívne logické programovanie je oblasť zaoberajúca sa vývojom klauzálnych teórií z pozorovaní, kde pre danú množinu príkladov a dodatočnú informáciu hľadáme hypotézu, ktorá pokrýva všetky pozitívne príklady a nepokrýva žiadny negatívny príklad. V tejto práci nadväzujeme na prácu skúmajúcu konzistenciu šablón a rozširujeme ju k riešeniu všobecnej konzistencie. Navrhujeme algoritmus DeMeR skladajúci sa z troch fáz, ktorý rozdelí pôvodný problém na viacero menších častí, následne ich vyrieši a tieto riešenia spojí do kompletného riešenia a nakoniec transformuje výsledok do kompaktnej výslednej hypotézy. Ďalej sa zameriavame na techniku hľadania riešení dekomponovaných častí a navrhujeme generuj-a-testuj metódu založenú na pravdepodobnostnom prístupe s pamäťou výpočtu. V práci analyzujeme jednotlivé komponenty navrhnutých algoritmov a demonštrujeme ich vplyv na dobu výpočtu a štruktúru výslednej hypotézy. Ukazuje sa, že prvá fáza algoritmu sa koncentruje na rýchle vyriešenie problému za cenu dlhšej štruktúry hypotézy, kým zvyšné dve fázy skracujú výsledok do prijateľnej podoby. Nakoniec naše výsledky porovnávame s existujúcimi systémami na príkladoch hľadania spoločných štruktúr v náhodných grafoch a ukazujeme, že nami prezentované techniky prekonávajú uvedené systémy.
|
|
|
Digital Reconstructed Radiography
Chovanec, Andrej ; Pelikán, Josef (vedoucí práce) ; Krajíček, Václav (oponent)
Röntgenové vyšetrenie zohráva v medicínskej praxi doležitú rolu, no popri všetkých výhodách, ktoré prináša, obsahuje aj isté obmedzujúce nedostatky. V tejto práci detailne popisujeme techniku, ktorá na základe vopred získaných CT dát dokáže zrekonštruovať digitálny röntgenový snímok tak, aby sa odstránilo čo najviac nevýhod tradičného snímkovania. Medzi hlavné vylepšenia nad klasickou rádiografiou patrí tvorba snímku z úplne lubovolného pohladu a interaktívne otáčanie snímku v reálnom čase. Počas rekonštrukcie sa kladie velký doraz na presné simulovanie fyzikálnych vlastností röntgenového žiarenia, s cielom obdržať čo najkvalitnejší finálny obrázok. Nemalé úsilie je takisto vynaložené na dosiahnutie krátkeho výpočetného času, potrebného k vygenerovaniu jedného snímku. Za týmto účelom uvádzame model paralelizácie, ktorý rozložením práce niektorých komponentov na viacero jadier procesorov významne urýchluje algoritmus.
|
|
|
Constraint satisfaction for inductive logic programming
Chovanec, Andrej ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent)
Induktívne logické programovanie je oblasť zaoberajúca sa vývojom klauzálnych teórií z pozorovaní, kde pre danú množinu príkladov a dodatočnú informáciu hľadáme hypotézu, ktorá pokrýva všetky pozitívne príklady a nepokrýva žiadny negatívny príklad. V tejto práci nadväzujeme na prácu skúmajúcu konzistenciu šablón a rozširujeme ju k riešeniu všobecnej konzistencie. Navrhujeme algoritmus DeMeR skladajúci sa z troch fáz, ktorý rozdelí pôvodný problém na viacero menších častí, následne ich vyrieši a tieto riešenia spojí do kompletného riešenia a nakoniec transformuje výsledok do kompaktnej výslednej hypotézy. Ďalej sa zameriavame na techniku hľadania riešení dekomponovaných častí a navrhujeme generuj-a-testuj metódu založenú na pravdepodobnostnom prístupe s pamäťou výpočtu. V práci analyzujeme jednotlivé komponenty navrhnutých algoritmov a demonštrujeme ich vplyv na dobu výpočtu a štruktúru výslednej hypotézy. Ukazuje sa, že prvá fáza algoritmu sa koncentruje na rýchle vyriešenie problému za cenu dlhšej štruktúry hypotézy, kým zvyšné dve fázy skracujú výsledok do prijateľnej podoby. Nakoniec naše výsledky porovnávame s existujúcimi systémami na príkladoch hľadania spoločných štruktúr v náhodných grafoch a ukazujeme, že nami prezentované techniky prekonávajú uvedené systémy.
|
|
|
Digital Reconstructed Radiography
Chovanec, Andrej ; Krajíček, Václav (oponent) ; Pelikán, Josef (vedoucí práce)
Röntgenové vyšetrenie zohráva v medicínskej praxi doležitú rolu, no popri všetkých výhodách, ktoré prináša, obsahuje aj isté obmedzujúce nedostatky. V tejto práci detailne popisujeme techniku, ktorá na základe vopred získaných CT dát dokáže zrekonštruovať digitálny röntgenový snímok tak, aby sa odstránilo čo najviac nevýhod tradičného snímkovania. Medzi hlavné vylepšenia nad klasickou rádiografiou patrí tvorba snímku z úplne lubovolného pohladu a interaktívne otáčanie snímku v reálnom čase. Počas rekonštrukcie sa kladie velký doraz na presné simulovanie fyzikálnych vlastností röntgenového žiarenia, s cielom obdržať čo najkvalitnejší finálny obrázok. Nemalé úsilie je takisto vynaložené na dosiahnutie krátkeho výpočetného času, potrebného k vygenerovaniu jedného snímku. Za týmto účelom uvádzame model paralelizácie, ktorý rozložením práce niektorých komponentov na viacero jadier procesorov významne urýchluje algoritmus.
|
host ::
RSS.