Hledat
Zobrazují se záznamy 1-10 z 13
Centralizované plánování autonomní dopravy, Centralized Planning of Autonomous Traffic
; Vedoucí práce: Surynek Pavel; Oponent práce: Klouda Karel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)
Tato diplomová práce se zabývá problémem řízení autonomní dopravy ve městech. Je uvažována budoucnost, kde jsou všechna vozidla sdílená a dokáží přepravovat osoby či předměty sama bez řidiče. Zákazníci pouze vytváří požadavky ...
Volba parametrů řešiče SATu pomocí technik strojového učení, Parameter Setting in SAT Solver Using Machine Learning Techniques
; Vedoucí práce: Surynek Pavel; Oponent práce: Kalvoda Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
SAT řešiče jsou nezbytné nástroje pro mnohé oblasti počítačové vědy a průmyslu. Obsadily funkci univerzálního nástroje, který uživatelé používají k řešení problémů, jež by v opačném případě museli řešit ad-hoc, což by ...
Detekce a sledování vozidel z video záznamu pro analytické účely, Detection and tracking of vehicles from video sequence for analytical purposes
; Vedoucí práce: Brchl Lukáš; Oponent práce: Surynek Pavel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)
Aplikaci detekce a sledováni vozidel se v poslednich letech stále vice využivá ke sledováni dopravnich situaci v zabydlených oblastech i dálnicich, plánováni provozu po komunikacich i k různorodému civilnimu využiti. ...
Klasifikace na temporálních relačních datech, Temporal Relational Classification
; Vedoucí práce: Motl Jan; Oponent práce: Surynek Pavel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
Tato práce se zabývá možnostmi klasifikace temporálních dat. V práci implementuji agregační model, který je schopen pracovat s relačními daty, jejichž záznamy jsou pro určitou entitu ve vztahu n:1 pro daný čas predikce ...
Detekce podobností datových domén pomocí metod strojového učení, Detecting similarities of data domains using machine learning methods
; Vedoucí práce: Buk Zdeněk; Oponent práce: Surynek Pavel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-07)
Cieľom tejto práce je navrhnúť a zostrojiť systém, na základe ktorého by bolo možne efektívne porovnávať podobnosť v stĺpcoch tabuľky. Bolo preukázané, že vektorová reprezentácia stĺpca vytvorená pomocou rekurentnej ...
Líná kompilace v klasickém plánování, Lazy Compilation in Classical Planning
; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
Předmětem této diplomové práce je problematika líné kompilace v klasickém plánování. V teoretické části práce jsou nejprve shrnuty základní informace o klasickém plánování, definovány důležité pojmy klasické reprezentace ...
DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest, DPLL(MAPF): Integration of a SAT Solver and Multi-Agent Path Finding
; Vedoucí práce: Surynek Pavel; Oponent práce: Starý Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
Multiagentní hledání cest (MAPF) se často kopiluje do výrokové splnitelnosti (SAT) a je dále vyřešeno existujícím SAT řešičem. V této práci jsme přišli s novým kompilačním schématem DPLL(MAPF), který používá těsnou inegraci ...
Multi-agentní hledání cest se spojitým časem založené na celočíselném lineárním programování, Multi-Agent Path Finding with Continuous Time Based on Integer Linear Programming
; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
Tato práce se zabývá problémem hledání nejkratší cesty pro několik robotů tak, aby se tito roboti nesrazili. Za účelem řešení výše uvedeného problému byl vyvinut algoritmus, který je založen na celočíselném lineárním ...
Programování s omezeními v rozvrhování pro autoservis, Constraint Programming in Scheduling for Garage
; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-10)
Tato diplomová práce se zabývá implementací systému pro rozvrhování dílenských prací v autoservisu. Práce analyzuje požadavky zákazníka podle kterých, s využitím programování s omezeními, definuje model. Na základě navrženého ...
Hierarchické plánování pro real-time strategické hry, Hierarchical Planning for Real-Time Strategic Games
; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-08)
Tato diplomová práce řeší hierarchické plánování pro real-time strategické hry. Cílem práce je vyzkoušet vhodnost aplikace HTN plánování pro počítačem řízeného hráče RTS hry tím, že bude HTN plánování použito ve hře Dune ...