Hlavní stránka > Výsledky hledání: Agh, Juraj
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Řešení multiagentního plánování cest pomocí inkrementálního SAT
 Agh, Juraj ; Švancara, Jiří (vedoucí práce) ; Barták, Roman (oponent)
Inkrementálny SAT (z anglického slova satisfiability) je spôsob riešenia splniteľnosť booleovskej formule opakovane a to na základe učenie z predchodzích riešení. Zadanie MAPF (z anglického slova Multi agent path finding) je navrhnúť cesty pre množinu agentov v zdieľanom prostredí bez konfliktov medzi agentmi. Pri riešenie MAPF pomocou SAT solveru pokiaľ optimálne riešenie je požadované tak iterujeme volanie SAT solveru, pokaždý s upravenou formulou k dĺžku riešení. Toto nás vedie k použití Inkrementálneho SAT solveru. V tejto práci sa snažíme vyriešiť problémy ktoré nastanú pri použitý inkrementálneho SAT solveru na problém MAPF a to v niekoľkých krokoch. Najprv predstavíme prístupy k riešení MAPF pomocou prevodu na splniteľnosť booleovskej formule. Tieto pístupy modelujeme v jazyke C++, ktorý nám poskytuje jednoducho upraviteľný modely na vytváranie formule. V ďalšom kroku lepší model upravíme na riešenie MAPF pomocou inkrementálneho SAT solveru. Vtedy pri každej iterácií model nevytvorí novú formulu iba rozšírí už použitú formulu z predchádzajúceho iterácie. V poslednej časti práce porovnáme prístupy na riešenie prevodu z MAPF na Inkrementálny SAT solver.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English