Prohlížení Výzkumné zprávy - 14101 dle názvu
Zobrazují se záznamy 21-26 z 26
-
Simulace dvoufázového proudění pomocí mřížkové Boltzmannovy metody
(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
(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
(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
(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
(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
(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ů ...