|
Využití hierarchických konečných automatů pro popis vzorů chování
Renát, Dušan ; Pergel, Martin (vedoucí práce) ; Holan, Tomáš (oponent)
V předložené práci zavádíme a studujeme hierarchické konečné automaty jako model umělé inteligence autonomních agentů v obecných virtuálních prostředích a systémech. Formálně definujeme pojem hierarchického automatu, analyzujeme jeho výpočetní sílu srovnáním se známými druhy automatů a poukazujeme na možnosti jejího zvýšení. Poté uvádíme nejběžnější přístupy k simulaci inteligentního chování, rozlišujeme přímý a nepřímý popis vzorů chování a představujeme výhody hierarchických automatů coby nástroje pro popis přímý. Zároveň předkládáme knihovnu interpretující tyto automaty vytvořenou jako součást této práce. Demonstrací jejího použití na ukázkovém robotu pro prostředí Robocode ukazujeme, že jsou obecným a použitelným řešením pro takováto nasazení.
|
|
The Depth of Functional Data.
Nagy, Stanislav ; Hlubinka, Daniel (vedoucí práce) ; Omelka, Marek (oponent)
Hĺbková funkcia (resp. funkcionál) je moderný neparametrický nástroj štatistickej analýzy (konečnorozmerných) dát s množstvom praktických aplikácií. V práci sa zameriame na možnosti rozšírenia konceptu hĺbky na prípad funkcionálnych dát. V prípade konečnorozmerných funkcionálnych dát využijeme izomorfizmus priestoru funkcií a konečnorozmerného euklidovského priestoru, čo nám umožní zaviesť indukované hĺbky funkcionálnych dát. Dokážeme tvrdenie o vlastnostiach indukovaných hĺbok a na príkladoch si ukážeme možnosti a obmedzenia ich praktického použitia. Ďalej popíšeme a na jednoduchých príkladoch ukážeme výhody aj nevýhody zavedených hĺbkových funkcionálov používaných v literatúre (Fraimanových-Munizovej hĺbok a pásových hĺbok). Na odstránenie najväčšej vyvstávajúcej nevýhody známych hĺbok pre funkcionálne dáta zavedieme novú, K-pásovú hĺbku založenú na rozšírení inferencie zo spojitých na hladké funkcie. Odvodíme niekoľko dôležitých vlastností a na záverečnej simulačnej štúdií ukážeme na príklade riadenej klasifikácie funkcionálnych dát praktickú výhodnosť nového prístupu oproti predchádzajúcim. Na záver porovnáme výpočetnú náročnosť všetkých predstavených hĺbkových funkcionálov.
|
|
Využití modelových spekter ke stanovení vhodných parametrů kapilárního výboje pro zesílenou emisi Balmerova alfa – přechodu H–like N (13,4 nm)
Štraus, Jaroslav ; Koláček, Karel ; Schmidt, Jiří ; Frolov, Oleksandr ; Prukner, Václav
Naše zařízení s kapilárním výbojem CAPEX-U, jak i mnoho dalších impulsních zařízení, potřebují velice precizní spouštěni vysokonapěťových spínačů. Laserem spínané jiskřiště nabízí mnoho výhod oproti elektrický spínanému pokud jde o reprodukovatelnost, spolehlivost, vhodnost pro multikanálový provoz a elektrickou izolovanost od hlavního vysokonapěťového pulzu. Tady představujeme výsledky současné iniciace čtyřkanálového vysokonapěťového jiskřiště pomocí Nd:YAG laseru (λ=1064 nm). Jiskřiště bylo natlakovano SF6 a N2 a udrželo napětí kolem 500 kV na vzdáleností 13 mm. Elektrické parametry jiskřiště byly získané z porovnáni výsledků experimentu a simulace.
|
|
Ocelová konstrukce
Václavek, L. ; Marek, Pavel
Předmětem příspěvku je stručné vysvětlení přechodu od metod posuzování spolehlivosti používaných v minulosti k extenzivnímu vývoji teorii spolehlivosti založených na potenciálu výpočetní techniky. Jako ukázka slouží v příspěvku pravděpodobnostní posudek ocelového rámu s opřenými sloupy.
|
|
Adaptace nových metrik strojového překladu pro češtinu
Kos, Kamil ; Žabokrtský, Zdeněk (oponent) ; Bojar, Ondřej (vedoucí práce)
In the present work we study semi-automatic evaluation techniques of machine translation (MT) systems based on comparison of the MT system's out-put to human translations of the same text. Various metrics were proposed in the past years, ranging from metrics using only unigram comparison to metrics that try to take advantage of additional syntactic or semantic information. The main goal of this thesis is to compare these metrics with respect to their correlation with human judgments and to propose the most suitable ones for evaluation of MT systems with Czech as target language. An implementation of a tool that computes the MT metrics is part of this work.
|
|
Modelování dvounohého robotu: Kinematické numerické modely
Grepl, Robert
Modelování kinematiky je jednou ze základních otázek vztažených ke konstrukci kráčejících strojů. V tomto příspěvku bude prezentován návrh numerického výpočtového modelu dvounohého kráčejícího robotu v prostředí Matlab - SimMechanics. Výhody a nevýhody zvoleného přístupu jsou v článku diskutovány.
|
| |
|
Výpočty termodynamických, transportních a ostatních vlastností obyčejné vody : podle dokumentů Mezinárodní asociace pro vlastnosti vody a páry : IAPWS
Šifner, Oldřich ; Mareš, R. ; Kadrnožka, J.
Sborník obsahuje stručnou informaci o průmyslové formulaci IAPWS-IF97 a podrobný popis formulací tepelné vodivosti, viskozity, povrchového napětí, statické dielektrické konstanty, indexu lomu, zjednodušené rovnice pro mez sytosti, rovnice křivek tání sublimační křivky vody a páry podle nových či revidovaných dokumentů IAPWS. Práce je doplněna tabulkami vybraných vlastností.
|
|
Měkké stíny na GPU
Zápotocký, Boris ; Ambrož, David (oponent) ; Pelikán, Josef (vedoucí práce)
Obrovský vývoj v oblasti grafického hardware a programovatelnost grafických karet umožňují vyšší výkonnost a flexibilitu programování. Mnoho algoritmů se stalo interaktivními. Velmi důležitou roli mezi grafickými algoritmy hrají metody na počítání vrřených stínů. Stíny jsou velmi důležité pro lidské vnímání, měkké stíny jsou navíc fyzikálně přesnější a taky výpočetně složitější. Vznikly tři hlavní skupiny algoritmů: projektivní stíny, stínové mapy a stínová tělesa. Každá z nich má své výhody a nedostatky. Několik pokročilejších metod je popsáno podrobněji. Měření kvality a výkonnosti, společně s přiloženým demonstračním programem, umožňují bližší seznámení s popsanými metodami.
|
| |