|
|
Modern ways to design fully distributed, decentralized and stealthy worms
Szetei, Norbert ; Krištofič, Milutín (vedoucí práce) ; Balyo, Tomáš (oponent)
V práci se zabývám studiem počítačového červa splňujícího námi stanovená kriteria (distribuovatelnost, decentralizovatelnost, minimalizace problému odhalitelnosti). Tyto vedou k anonymitě, delší životnosti a lepšímu zabezpečení červa. Po představení aktuálních architektur a nových technologií analyzujeme stávající známé implementace. Navrhneme řešení s novým designem spolu s možnými vylepšeními. Následuje kapitola, ve které zkoumáme známé biologické koncepty vhodné pro nový způsob replikace. Zde implementujeme podstatné části funkcionality ve vyšším programovacím jazyce, protože jsme platformovou nezávislost při návrhu považovali za klíčový prvek. Výsledny červ se tedy dokáže šířit téměř v libovolném počítačovém prostředí v závislosti od implementace potřebných modulů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Comparing reactive techniques to classical planning for intelligent virtual agents
Černý, Martin ; Gemrot, Jakub (vedoucí práce) ; Balyo, Tomáš (oponent)
Mnoho současných počítačových her lze popsat jako dynamické simulace běžící v reálném čase obývané autonomními inteligentními virtuálními agenty (IVA), kde většina struktury prostředí je neměnná a jednou z nejběžnějších činností je pohyb. Ačkoliv se techniky plánování zdají být ideálním přístupem pro ovládání takovýchto agentů, plánování je v současných hrách používáno jen zřídka. Tato práce se snaží zodpovědět, zda současné akademické techniky plánování jsou připraveny pro použití v existujících hrách a za jakých podmínek. Práce porovnává reaktivní techniky s klasickým plánováním pro řešení problému "co udělat teď" u IVA v herním prostředí. Několik hotových klasických plánovačů, které obsadily přední příčky v International Planning Competition bylo připojeno k virtuálnímu prostředí Unreal Development Kit pomocí knihovny Pogamut. Výkonnost IVA využívajících tyto plánovače a IVA s reaktivní architekturou byla změřena na třídě zkušebních prostředí vycházejících z počítačových her pod různou úrovní externích zásahů. Ukázalo se, že agenti využívající klasické plánování překonají reaktivní agenty pouze když velikost plánovacího problému je malá, nebo když změny v prostředí jsou buď nepřátelské k agentu nebo nepříliš časté.
|
|
|
Experiment management system
Faryad, Jakub ; Balyo, Tomáš (vedoucí práce) ; Podzimek, Andrej (oponent)
Práce se zabývá návrhem a implementací systému pro správu, spouštění a porovnávání výsledků programů pro řešení výpočetních problémů. Aplikace distribuuje výpočty na předem definované skupiny vzdálených počítačů pomocí protokolů ssh a scp. Systém umožňuje více skupinám uživatelů sdílet vstupná data, nahrávat nové verze programů a naplánovat jejich spuštění. Výsledky jsou uchovávany v databázi, lze je kdykoli stáhnout v různých formátech a graficky srovnávat. Výsledkem je vícevrstvá webová aplikace na platformě J2EE.
|
|
|
Modelling and Solving Problems Using SAT Techniques
Balyo, Tomáš ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent) ; Biere, Armin (oponent)
Řešení problémů plánování prostřednictvím překladů do splnitelnosti (SAT) je jedním z nejúspěšnějších přístupů k automatickému plánování. V této práci popíšeme několik způsobů jak přeložit problém plánování reprezentovaný v SAS+ formalismu do SAT. Přezkoumáme a přizpůsobíme stávající kódování a také zavedeme nové vlastní způsoby kódování. Porovnáme jednotlivá kódování pomocí výpočtu horních odhadů na velikosti formulí, které produkují, a pomocí spuštění rozsáhlých experimentů na referenčních problémech z Mezinárodní plánovací soutěže 2011. V experimentální části také porovnáme své kódování s nejmodernejšími kódováními z plánovače Madagascar. Experimenty ukazují, že naše techniky dokažou překonat tato kódování. V předložené práci také řešíme speciální případ optimalizace plánů -- odstranění redundantních akcí. Odstranění všech redundantních akcí je NP- úplný problém. Prostudujeme existující polynomialní heuristické přístupy a navrhneme vlastní heuristický přístup, který dokaže eliminovat vyšší počet a dražší redundantní akce než stávající techniky. Také navrhneme způsob kódování problému redundance plánů do SAT, který nám za použití MaxSAT řešičů umožní optimálně vyřešit problém eliminace redundantních akcí. Naše experimenty provedené s plány od nejmodernejších satisficing plánovačů pro referenční problémy...
|
|
|
Solving Boolean satisfiability problems
Balyo, Tomáš
V této práci studujeme možnosti rozkladu booleovských formulí do komponent souvislosti. Z tohoto důvodu zavádíme nový pojem - komponentový strom. Popisujeme některé vlastnosti komponentových stromů a možnosti jejich aplikace. Navrhli jsme třídu rozhodovacích heuristik pro SAT řešič na základě komponentových stromů a experimentálně zkoumali jejich výkon na testovacích SAT problémech. Pro tento účel jsme implementovali vlastní řešič, který využívá nejmodernější algoritmy a techniky pro řešení booleovské splnitelnosti.
|
|
|
Zarovnání fotografií pro HDR pomocí techniky klíčových bodů.
Viktorín, Daniel ; Bardiovský, Vojtěch (vedoucí práce) ; Balyo, Tomáš (oponent)
Práce se zabývá zarovnáním manuálně pořízených digitálních fotografií pro účely HDR zpracování. Zaměřuje se na dostupné metody, popisuje jejich nedostatky a prezentuje algoritmus schopný detekovat globální translaci, rotaci a změnu měřítka v rámci dvojic vstupních fotografií. Podstatou algoritmu je vyhledávání vhodných klíčových bodů v jednotlivých fotografiích, jejich vážené párování a následný výpočet transformace. Přiložená aplikace umožňuje přímé HDR sloučení zarovnaných fotografií, které je využito pro porovnání výsledků registrace s jinými metodami i dostupnými aplikacemi. Powered by TCPDF (www.tcpdf.org)
|
|
|
Hledání minimálních splňujících ohodnocení Booleovských formulí
Švancara, Jiří ; Balyo, Tomáš (vedoucí práce) ; Trunda, Otakar (oponent)
V této práci zkoumáme algoritmy a techniky pro řešení Booleovské splnitelnosti. Dále se zabýváme možnostmi jejich použití při řešení weighted short SAT, což je zobecnění problému splnitelnosti. Toto zobecnění požaduje nalézt splňující ohodnocení za použití minimálního součtu vah proměnných. K řešení tohoto problému zavádíme tři pravdivostní ohodnocení proměnných - True, False a Unassign. Ukážeme, že ne všechny algoritmy a techniky používané v moderních SAT solverech můžeme aplikovat v našem programu. Ty, které můžeme, převedeme tak, aby používali námi nadefinované pravdivostní ohodnocení. Různou kombinací takto převedených technik dostaneme několik verzí solveru, které mezi sebou na závěr porovnáme. Powered by TCPDF (www.tcpdf.org)
|
|
|
Effective encoding of the Hidato and Numbrix puzzles to their CNF representation
Bartoš, Samuel ; Balyo, Tomáš (vedoucí práce) ; Vodrážka, Jindřich (oponent)
I když je problém booleovské splnitelnosti NP-úplný, díky pokroku výkonnosti SAT solverů, může být mnoho jiných problémů řešeno efektivně, když je zakódujeme do booleovkých formulí. V této práci je tato metoda použita k nalezení řešení hlavolamů Hidato a Numbrix. Ukázáno je několik kódovacích technik spolu s implementací aplikace, která je sestrojuje. Zkoumáme také efektivitu jednotlivých kódování i jejich vliv na výkon různých SAT solverů. Výsledky experimentů ukazují, že efektivita kódování se u různých solverů může lišit a také že výběr nejlepší kombinace solver-kódovaní závisí na velikosti a typu hlavolamu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Modelling and Solving Problems Using SAT Techniques
Balyo, Tomáš ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent) ; Biere, Armin (oponent)
Řešení problémů plánování prostřednictvím překladů do splnitelnosti (SAT) je jedním z nejúspěšnějších přístupů k automatickému plánování. V této práci popíšeme několik způsobů jak přeložit problém plánování reprezentovaný v SAS+ formalismu do SAT. Přezkoumáme a přizpůsobíme stávající kódování a také zavedeme nové vlastní způsoby kódování. Porovnáme jednotlivá kódování pomocí výpočtu horních odhadů na velikosti formulí, které produkují, a pomocí spuštění rozsáhlých experimentů na referenčních problémech z Mezinárodní plánovací soutěže 2011. V experimentální části také porovnáme své kódování s nejmodernejšími kódováními z plánovače Madagascar. Experimenty ukazují, že naše techniky dokažou překonat tato kódování. V předložené práci také řešíme speciální případ optimalizace plánů -- odstranění redundantních akcí. Odstranění všech redundantních akcí je NP- úplný problém. Prostudujeme existující polynomialní heuristické přístupy a navrhneme vlastní heuristický přístup, který dokaže eliminovat vyšší počet a dražší redundantní akce než stávající techniky. Také navrhneme způsob kódování problému redundance plánů do SAT, který nám za použití MaxSAT řešičů umožní optimálně vyřešit problém eliminace redundantních akcí. Naše experimenty provedené s plány od nejmodernejších satisficing plánovačů pro referenční problémy...
|
|
|
Solving Boolean satisfiability problems
Balyo, Tomáš
V této práci studujeme možnosti rozkladu booleovských formulí do komponent souvislosti. Z tohoto důvodu zavádíme nový pojem - komponentový strom. Popisujeme některé vlastnosti komponentových stromů a možnosti jejich aplikace. Navrhli jsme třídu rozhodovacích heuristik pro SAT řešič na základě komponentových stromů a experimentálně zkoumali jejich výkon na testovacích SAT problémech. Pro tento účel jsme implementovali vlastní řešič, který využívá nejmodernější algoritmy a techniky pro řešení booleovské splnitelnosti.
|
host ::
RSS.