Prohlížení Výzkumné zprávy - 14101 dle názvu

Zobrazují se záznamy 18-26 z 26

    • Přenos znalosti mezi bayesovskými filtry 

      Autor: Lainová, Eva
      (2021)
      Tento výzkumný úkol popisuje a porovnává dvě metody pro přenos znalosti založené na bayesovském přístupu. Kromě přenosu znalosti se oba algoritmy snaží zamezit negativnímu přenosu tj. zhoršení odhadu. Plně pravděpodobnostní ...

    • Přenos znalostí pro Q-learning 

      Autor: Jedlička, Adam
      (2021)
      Tato práce je zaměřená na přenosové učení, i.e. přenost znalostí z vyřešeného úkolu na další, nevyřešený, úkol za účelem zrychlení učícího se procesu nebo nalezení lepšího řešení. Konkrétně se práce zaměřuje na tyto metody ...

    • Rešení Heunovy diferenciální rovnice a teorie ortogonálních polynomů 

      Autor: Šnauko, Patrik
      (2021)
      Práce se zaměřuje na teorii ortogonálních polynomů a to zejména na využití této teorie při hledání lokálního řešení Heunovy diferenciální rovnice. Jedná se o diferenciální rovnici druhého řádu v komplexním oboru se čtyřmi ...

    • Simulace dvoufázového proudění pomocí mřížkové Boltzmannovy metody 

      Autor: Malik, Michal
      (2021)
      Tato práce se zabývá užitím mřížkové Boltzmannovy metody (LBM) k simulaci dvoufázového dvoukomponentniho proudění typu kapalina-kapalina. V teoretické části byly popsány dva numerické modely řešící tuto problematiku. První, ...

    • Statistické a strojové rozpoznávání mechanických vlastností materiálů v PM prostoru 

      Autor: Dolejš, Erik
      (2021)
      Hlavním cílem tohoto výzkumného úkolu je vyhodnocení elastických vlastností materiálů za použití Preisach-Mayergoyzova (PM) prostoru. Nejdříve je představena hystereze a její PM popis a dále nástroje pro identifikaci PM ...

    • Statistické modelování dopravního toku na neřízené křižovatce typu T 

      Autor: Wohlrath, Daniel
      (2021)
      Tato práce se zabývá statistickým modelováním kritických světlostí, které jsou hlavním předmětem teorie akceptování mezer, neboli Gap Acceptance. Nejdříve jsme definovali základní matematický model neřízené křižovatky typu ...

    • Strojové ověření Rose-Rosserova důkazu úplnosti ž,ukasiewiczovy výrokové logiky - syntax 

      Autor: Šimon, Jáchym
      (2021)
      Tato práce se zabývá formalizací základů ž.ukasiewiczovy logiky a strojovým ověřením první poloviny prvního známého důkazu její úplnosti, t.j. ověřením celkem 23 lemmat s rozsáhlými syntaktickými důkazy, na jejichž výsledcích ...

    • Testování úcinnosti odhadovacích metod pro GIG-distribuovaná data 

      Autor: Lhotáková, Anežka
      (2022)
      Tato práce je věnována rozšíření znalostí o Zobecněném inverzním Gaussovu (GIG) rozdělení. Zaměřuje se především na zpřesnění aproximace škálovací konstanty a vlastnosti funkce, která tuto škálovací konstantu popisuje. V ...

    • Vznikající diverzita v evolučních algoritmech 

      Autor: Zogatová, Dominika
      (2021)
      Evoluční algoritmy jsou založeny na základních principech biologické evoluce. Tyto algoritmy jsou známy tím, že mají tendenci konvergovat do lokálních optim a často nejsou schopny nalézt globální řešení. Jedním z návrhů ...