|
|
Efektivita centralizovaného plánování křižovatek
Cizl, Eliáš ; Švancara, Jiří (vedoucí práce) ; Ivanová, Marika (oponent)
Navigace vozidel po silnicích je komplexní problém, který se pravděpodobně dočká ře- šení zapojením umělé inteligence pro klíčové role. Dnes existují auta schopná samostatné jízdy, která jsou ale závislá na staré infrastruktuře zahrnující především křižovatky ur- čené pro lidské řidiče. Tento text otvírá novou kapitolu v problematice autonomního řízení křižovatek (AIM). Většina dosavadních výzkumů se zabývala pouze tím, jak co nejlépe naimplementovat řešení pro jednu křižovatku. My jsme vytvořili simulaci běžící v reálném čase, kde se objevuje až několik desítek křižovatek vedle sebe. V práci provádíme experimenty, kde testujeme různá zapojení autonomních algoritmů spolu se světelnými křižovatkami. Autonomní křižovatky svou efektivitou jasně vítězí a ve větších městech se nejvíce vyplácí je nasazovat na nejvytíženějších uzlech. 1
|
|
|
Autonomní křižovatka
Kotal, Jiří ; Barták, Roman (vedoucí práce) ; Švancara, Jiří (oponent)
Práce se zabývá problematikou průjezdů vozů plně automatizovanou křižovatkou a to z pohledu multi-agentního hledání cest (MAPF, multi-agent path finding). Cílem je pro- zkoumat různé abstrakce křižovatky a různé přístupy pro hledání nekolizního průjezdu křižovatkou. Zkoumané techniky jsou implementovány a empiricky porovnány v simulo- vaném prostředí. 1
|
|
|
Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models
Ramesh, Samyuktha ; Švancara, Jiří (vedoucí práce) ; Barták, Roman (oponent)
- Samyuktha Ramesh Thesis Title: Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models Multi-agent path finding (MAPF) is the problem of navigating a set of agents from their starting position to their respective goal position without any collisions. In this thesis, we provide an overview of the current approaches to solving MAPF. We implement six different encodings found in the literature using the Python programming language and the Glucose3 SAT solver. We run experiments on maps of different types and sizes to compare the performances of the encodings.
|
|
|
SPACs and IPOs: Consequences on Short-term and Long-term performance
Švancara, Jan ; Kurka, Josef (vedoucí práce) ; Čech, František (oponent)
Tato práce zkoumá rozdíly v burzovním výkonu se zaměřením na společnosti, které byly před vstupem na burzu nevýdělečné. Tyto firmy byly rozdělené do dvou souborů, firmy z prvního souboru realizovaly Initial Public Offering (IPO), zatímco společnosti tvořící druhý vzorek využily Special Purpose Acquisition Company (SPAC). Buy-and-hold Abnormal Returns (BHARs) a Cumulative Abnormal Returns (CARs) jsou dva typy abnormálních výnosů, které se použí- vají k měření výkonnosti akciového trhu. Výkonnost byla zkoumána ve čtyřech různých časových horizontech, přičemž dva z nich jsou v této práci považovány za krátkodobé a další dva za dlouhodobé. Výsledky ukázaly, že nevýdělečné SPACy jsou ve všech časových horizontech výrazně překonány neziskovými IPO. Dále byl vyvinut model, který předpovídá, zda firma vstoupí na burzu prostřed- nictvím IPO nebo SPAC. Ze zjištění vyplynulo, že výše naceněné společnosti s vyšším zadlužením budou s větší pravděpodobností volit SPAC oproti IPO. Klasifikace JEL D22, G34, G15, G11, O51 Klíčová slova SPAC, IPO, neprofitabilní, výkonnost, neg- ativní, příjem, ztráta, BHAR, CAR Název práce Následky krátkodobé a dlouhodobé výkonosti SPACů a IPO
|
|
|
Praktické příklady z umělé inteligence
Mařík, Matouš ; Švancara, Jiří (vedoucí práce) ; Zelinka, Mikuláš (oponent)
Práce popisuje praktické úlohy k přednášce z Umělé inteligence, jež mají za úkol seznámit studenty se základnějšími strukturami a algoritmy této oblasti informatiky: s racionálním agentem, s neinformovaným a informovaným prohledáváním, s herními algoritmy a s algoritmy pro splňování omezujících podmínek. Součástí je motivace pro tvorbu těchto úloh, jejich implementace a dokumentace.
|
|
|
Traffic - hra se simulací silniční sítě
Kripner, Matěj ; Ježek, Pavel (vedoucí práce) ; Švancara, Jiří (oponent)
Cílem této práce byla implementace mobilní hry Traffic, ve které hráč ovládá auto a projíždí herním světem po silniční síti. Její základní princip vychází z naší vize hry simulující řízení, která by obohatila nabídku již existujících her. Tato vize se ukázala jako příliš komplexní, a proto jsme z jejích funkcionalit vybrali pouze podmnožinu, přičemž jsme dbali na zachování rozšiřitelnosti směrem k původní vizi. Jako cílovou platformu jsme zvolili systém Android a jako implementační nástroj engine Unity spolu s jazykem C#. Ve výsledné hře je hráč v roli taxikáře, tj. převáží lidi na jimi určené destinace. Podle kvality jednotlivých jízd získává peníze a hodnocení. Při tom projíždí světem obsahujícím silnice, křižovatky, chodníky, budovy a chodce. Herní svět je připraven na modifikaci herním návrhářem, který ne nutně umí progra- movat. Návrhář silnicím a chodníkům přiřazuje libovolný tvar daný Bézierovou křivkou a silnice pak spojuje do křižovatek. Tvar křižovatek se automaticky určí z tvaru navazu- jících silnic. 1
|
|
|
Crustal Structure of the Bohemian Massif Based on Seismic Refraction Data
Hrubcová, Pavla ; Vavryčuk, Václav (vedoucí práce) ; Plomerová, Jaroslava (oponent) ; Švancara, Jan (oponent)
Český masív je jedním z největších souvisle vystupujících fragmentů původně rozsáhlého variského orogenu ve střední Evropě. Na základě současné koncepce deskové tektoniky je možné interpretovat Český masív jako heterogenní celek složený ze čtyř samostatných regionálních jednotek s rozdílným vývojem i tektonickým omezením vůči svému okolí. Ke studiu hlubinné stavby tohoto komplexu byla použita data z mezinárodních seismických reflexních a refrakčních experimentů CELEBRATION 2000, ALP 2002 a SUDETES 2003. Tato data byla interpetována pomocí seismické tomografie a modelována s využitím paprskových metod pro vlny typu P a S. K omezení mnohoznačnosti řešení bylo použito reflektivity, modelování tíhových účinků i interpretace s využitím dalších metod, zejména receiver function. Rozložení seismických rychlostí v kůře Českého masívu bylo studováno podél profilů i doplněno o azimutální, mimoprofilovou závislost. Výsledné rychlostní modely ukazují rozdílné mocnosti kůry i různé typy přechodu na hranici kůra-plášť, což umožňuje vymezit kontakt jednotlivých jednotek ve větších hloubkách. Rozložení rychlostí pak odráží geotektonický vývoj dílčích jednotek Českého masívu.
|
|
|
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)
|
|
|
Multi-agent Path Finding
Švancara, Jiří ; Barták, Roman (vedoucí práce)
Zadáním multi-agentního hledání cest (MAPF z anglického multi-agent path finding) je nalézt nekonfliktní cesty pro neměnnou skupinu agentů, kteří se pohybují ve sdíleném prostředí. Každý z agentů je definován svojí výchozí a cílovou polohou. Tato běžná definice MAPF je velice jednoduchá a často nezohledňuje všechny parametry reálného světa, které je potřeba vyřešit, aby byl problém prakticky aplikovatelný. V této práci se snažíme tento nedostatek odstranit tím, že definici rozšíříme o několik parametrů. Toho dosáhneme v několika krocích. Nejprve představíme přístup k řešení MAPF pomocí převodu na splnitelnost Booleovských formulí. Tento přístup modelujeme v programovacím jazyce Picat, který nám poskytuje snadno upravitelný model, do kterého lze přidávat nové podmínky a omezení. Toho využijeme v dalším kroku, kdy upravíme původní zadání MAPF. Zaprvé povolíme, aby do sdíleného prostředí vstupovali noví agenti během exekuce již nalezeného plánu. Zadruhé relaxujeme požadavek na homogenitu sdíleného prostředí, které je běžně reprezentováno neohodnoceným grafem. V poslední části práce provedeme experimentální studii na skutečných robotech, abychom ověřili, že přidané atributy skutečně modelují situaci lépe než klasická definice.
|
|
|
Multi-agent picker routing problem
Krejčí, Jiří ; Barták, Roman (vedoucí práce) ; Švancara, Jiří (oponent)
Důležitou součástí skladových procesů je kompletace objednávek, což je proces sesbí- rávání produktů z místa skladování. V této práci uvažujeme uložení produktů pomocí strategie rozptýleného skladování, což znamená, že stejné produkty se ve skladu nachází na více místech. Obvyklá je situace, kdy více sběračů sesbírává produkty zároveň, při čemž může docházet k jejich vzájemnému blokování. To má za následek snížení efektivity tohoto procesu. Tato skutečnost ovšem není zohledněna většinou stávajících alrgoritmů pro návrh tras sběračů i přes to, že blokování má značný vliv na efektivitu komple- tace objednávek. Předmětem této bakalářské práce je řešit problematiku tras sběračů v multiagentním prostředí. Práce obsahuje shrnutí aktuálního stavu, ze kterého vychází prezentovaný multiagentní algoritmus pro sběrače. Algoritmus je založen na myšlence pri- oritního plánování. Výsledky empirického vyhodnocení indikují, že multiagentní přístup vede k efektivnějším cestám pro sběrače. 1
|
host ::
RSS.