Recently added

Now showing items 1-20 of 177

    • Časový vývoj metamateriálových strun 

      Author: Sabina Zairova; Supervisor: Krejčiřík David; Opponent: Kalvoda Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-31)
      Bakalářská práce se zabývá časovým vývojem metamateriálové struny generovaným Schrodingerovou rovnicí. Z Maxwellových rovnic odvozujeme teoretický model pro případ současně záporné permitivity a permeability. Matematický ...
    • Automatické rozmisťování propojených modulů v nástroji I3T 

      Author: Marek Nechanský; Supervisor: Felkel Petr; Opponent: Sloup Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-31)
      Důležitou roli při pochopení grafu hraje jeho graficka representace. Vykreslení grafu by mělo být závislé na typu grafu. Hodně specifický typ grafu je pužíván v programu nazvaném Interactive Tool for Teaching Transformations. ...
    • Odhad stavu omezených lineárních systémů 

      Author: Eva Lainová; Supervisor: Pavelková Lenka; Opponent: Jirsa Ladislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Tato práce se zabývá problematikou odhadování omezených lineárních stochastických systémů. Pro odhadování je použit model se vstupy, výstupy a stavy v disktrétních časových okamžicích. Byly sestaveny algoritmy pro odhad ...
    • Lineární inverzní modely a jejich využití při určování zdroje radiačního úniku do atmosféry 

      Author: Tomáš Brisučiak; Supervisor: Tichý Ondřej; Opponent: Ulrych Lukáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Práce se zabývá možnostmi odhadu časového průběhu radiačního úniku do atmosféry pomocí měření senzory koncentrací látek ve vzduchu. Jsou představeny základní poznatky z Bayesovské teorie pravděpodobnosti a možnosti aproximace ...
    • Aplikace statistických metod a machine learningu na produkty srážek tězkých jader 

      Author: Kateřina Hladká; Supervisor: Kůs Václav; Opponent: Kramárik Lukáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Jedním z klíčových problémů v analýze dat rozpadů mezonů D z experimentu STAR je separace párů pionů ~ a kaonů K pocházejících z tohoto rozpadu od kombinatorického pozadí. K této separaci se využívá pokročilých metod ...
    • Odhadování pohybu mikrorobotů v magnetickém poli 

      Author: Zuzana Sabolová; Supervisor: Šmídl Václav; Opponent: Mach František
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-30)
      Táto bakalárska práca sa zaoberá populárnymi metódami Bayesovskej filtrácie. Popisuje Kalmanov a časticový filter a ukazuje ich efektivitu a citlivosť na vol'bu parametrov na simulovanom príklade. Následne sú filtre ...
    • Modelování zastavovací fáze pohybu pracovního bodu průmyslových robotů 

      Author: Ondřej Poláček; Supervisor: Belda Květoslav; Opponent: Petráček Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      ato práce se zabývá zastavovací fází pohybu pracovního bodu průmyslových robotů. V práci jsou představeny algoritmy generující polohu v závislosti na čase. Algoritmy vychází z tvaru dráhy, kinematických limitů stroje a ...
    • Strojové ověření konstruktivního důkazu úplnosti klasické výrokové logiky 

      Author: Jáchym Šimon; Supervisor: Lávička Tomáš; Opponent: Chvalovský Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Cílem této práce je strojové ověření důkazu o úplnosti klasická výrokové logiky. Nejdříve si řekneme něco o klasické výrokové logice a uvedeme si zákldní pojmy. Druhá kapitola pojednává o dokazovači Lean. Ukážeme si, jak ...
    • Algoritmy strojového učení pro aproximaci inverzních matic 

      Author: Viktor Bílek; Supervisor: Oberhuber Tomáš; Opponent: Škardová Kateřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Bakalářská práce se zabývá novým modelem strojového učení diferenciálními neuronovými sítěmi. Tento model nahrazuje diskrétní vrstvy klasické neuronové sítě obyčejnou diferenciální rovnicí. V první části práce je shrnut ...
    • Okrajové podmínky pro směsi látek 

      Author: Barbora Votinská; Supervisor: Klika Václav; Opponent: Pavelka Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Shrneme základní pojmy a pozorování mechaniky kontinua a představíme principy popisu směsí látek. Budeme se zabývat formulací okrajových podmínek pro dvoufázové směsi s využitím dříve publikovaných článků. Pro nestlačitelné ...
    • Iterace aritmetických funkcí a jejich cykly 

      Author: Hynek Peřina; Supervisor: Pelantová Edita; Opponent: Svobodová Milena
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-28)
      Nechť je b základ číselné soustavy. Pak ciferněsoučtové zobrazení S : 5ln ~ 5ln definujeme předpisem S (x) = g,". n f(x;), kde f : (0, 1..., b — 1) ~ 5ln a x; jsou cifry přirozeného čísla x zapsaného v základu b. Dokázali ...
    • Lokalizace kořenů polynomů s celočíselnými koeficienty 

      Author: Pavla Veselá; Supervisor: Masáková Zuzana; Opponent: Vávra Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-28)
      Tato práce se zabývá charakterizací komplexních Pisotových čísel nízkého stupně. V teoretické části jsou představeny různé metody lokalizace kořenů polynomů v závislosti na tvaru jejich koeficientů, mimo jiné i Schurovo-Cohnovo ...
    • Adversariální strojové učení a teorie her 

      Author: Dominik Šepák; Supervisor: Pevný Tomáš; Opponent: Oberhuber Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-28)
      Tato práce se zaměřuje na aplikaci teorie her, zejména pak Double Oracle algoritmu, v oblasti adversariálního strojového učení. V průběhu práce jsou vysvětleny některé základní pojmy z oblasti dopředných neuronových sítí ...
    • Modelování dopravního toku na dálnici 

      Author: Savina Yuliya; Supervisor: Šmídl Václav; Opponent: Krbálek Milan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-08-29)
      Aktivní růst dopravní sítě vyžaduje stále přesnější nástroje řízení. Při takovém modelování nástrojů lze chování dopravniho toku předvídat, napřiklad, v dopravní zácpě nebo nehodě. Cílem práce je seznámit se s různými ...
    • Generování aplikací v jazyce JavaScript 

      Author: Varga Ivan; Supervisor: Čulík Zdeněk; Opponent: Hořák Zbyněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-08-29)
      Cílem bakalářské práce je vytvořit generátor, který bude produkovat webové stránky za pomoci JavaScriptu z konkrétního zdrojového souboru. Bakalářská práce nejprve uvádí a vysvětluje základní systémy pro vývoj webových ...
    • Statistická separace a identifikace s využitím divergenčních technik pro vícerozměrná data 

      Author: Jarůšková Kristina; Supervisor: Kůs Václav; Opponent: Franc Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-09-01)
      Při klasiflkaci dat obvykle narazíme na problém velkého počtu proměnných, což má za následek vyšší časovou náročnost procesu klasiflkace. V praxi je pak často výpočetní čas důležitější než přesnost separace. Práce obsahuje ...
    • Experimentální ověřování modelu časové reverzace 

      Author: Zeman Radovan; Supervisor: Chlada Milan; Opponent: Převorovský Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-08-31)
      Práce se věnuje časové reverzaci (TR) elastických vln. Představuje proces TR, seznamuje se základním teoretickým popisem za použití Greenových funkcí a koncepty jako realizace TR v tělese konečných rozměrů nebo reciproké ...
    • Řešení eikonální rovnice na GPU 

      Author: Fencl Matouš; Supervisor: Oberhuber Tomáš; Opponent: Kolář Miroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-09-01)
      Cílem této práce je výpočet orientované funkce vzdálenosti (signed distance function, SDF). Tuto funkci lze získat řešením tzv. eikonální rovnice. 3ako numerická metoda pro přibližné řešení této rovnice byla zvolena Fast ...
    • Analýza nerovnovážných stavů dopravních plynů 

      Author: Groverová Nikola; Supervisor: Krbálek Milan; Opponent: Bukáček Marek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-08-31)
      Tato práce se soustředí na analýzu rozdělení headway-distribucí, resp. světlostí. V teoretické části práce zavedeme třídu balancovaných hustot B a její vlastnosti. Tato teoretická část je relevantní s praktickou částí ...
    • Kanonický rozklad tenzorů maticového násobení 

      Author: Kováč Teodor; Supervisor: Tichavský Petr; Opponent: Vomlel Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-09-02)
      ílem této práce je seznámit čtenáře s kanonickým rozkladem tenzorů třetího řádu, konkrétně tenzorů násobení matic a tenzorů násobení polynomů. Z tohoto důvodu definuje jednotlivé tenzory a zdůrazňuje jejich vztah s ...