|
Lunar Landing Simulation
Do, Erika ; Novák, Jiří (oponent) ; Chudý, Peter (vedoucí práce)
The objective of this bachelor's thesis was to compute and visually represent the optimal lunar descent trajectory for the Chandrayaan-3 spacecraft. This was achieved through the utilisation of Bocop, an optimal control problem solver, while the environment was constructed using GDScript with the assistance of the 3D engine Godot. The measured coordinates were sourced from ISRO, the national space agency of India. Subsequently, the optimal descent trajectory was calculated and compared against the actual data acquired from Chandrayaan-3's lunar landing. The~resulting application provides users with the ability to intuitively visualise the optimal descent trajectory.
|
|
Biophysical conditions triggering depolarization block in excitatory neurons.
Tobiáš, Marek ; Berling, David Maximilian (vedoucí práce) ; Korvasová, Karolína (oponent)
Optogenetika je stále oblíbenější technikou stimulace neuronů používanou ke studiu nervových obvodů a k řízení mozkové aktivity. Nicméně, pokud je aplikována bez dostatečných znalostí, může neúmyslně umlčet aktivitu stimulovaných neuronů tím, že v nich spustí de- polarizační blok (DpB) - stav, při kterém neurony ztrácí schopnost vést vzruchy, a proto i komunikovat. Mezi neurony se náchylnost k umlčení liší, a navíc je stále málo zmapo- vané, jak jejich biofyzikální vlastnosti ovlivňují citlivost ke spuštění DpB. V této práci zkoumáme, jak hustota napěťově řízených sodíkových (Nav) a draselných (Kv) kanálů, stojících za mechanismem způsobujícím DpB, ovlivňuje schopnost neuronu tomuto jevu odolávat. Dále zkoumáme i vliv velikosti neuronu. Pomocí simulace výpočetního mod- elu pyramidového neuronu páté vrstvy, který jsme zredukovali pouze na tělo neuronu, reprezentujeme chování obecného excitačního neuronu. Vytvoříme automatický klasifiká- tor, identifikující DpB ze simulovaných napěťových stop, který nám umožní systematicky vyhodnotit vliv specifických kombinací hustot Nav a Kv kanálů v membráně neuronu. Zjistili jsme, že zvýšení těchto hustot zvyšuje odolnost neuronu vůči DpB. Na rozdíl od předchozích studií zjišťujeme, že náchylnost k světlem indukovanému DpB není ovlivněna velikostí neuronu. Naše analýza...
|
|
Aplikace programovacího jazyka Python v analýze obrazu a modelování fyzikálních procesů grafenu
Stehlíček, Kamil ; Képeš, Erik (oponent) ; Bartošík, Miroslav (vedoucí práce)
V této práci se zaměřujeme na vyhodnocování experimentálních dat pomocí programovacího jazyka Python napříč třemi různými fyzikálními úlohami zabývajícími se grafenem. Cíle práce vycházejí z praktických experimentů, při kterých využíváme gallium či nitrid gallia pro změnu elektrooptických vlastností grafenu nebo experimentů, které vyžadují simulaci šíření náboje v grafenové nanoelektronice. Tyto úlohy postupně využívají analýzu obrazu a numerické simulace. Teoretická část práce slouží jako rešerše a jako uvedení základních algoritmů zpracování obrazu a postupů v oblasti numerických simulací. Praktická část práce se pak zaměřuje na vyhodnocování úspěšnosti jednotlivých programů, jejich implementaci při praktickém vyhodnocení a vysvětlení experimentálních výsledků.
|
|
Discrete modeling of transaction propagation in Bitcoin
Marek, Tomáš ; Marek, Marcel (oponent) ; Zavřel, Jan (vedoucí práce)
Blockchain technology is the core of how Bitcoin works. The aim of the theoretical part of this thesis is to describe the principles on which blockchain technology is based and also to gather information about how transactions are propagated through the Bitcoin network. The aim of the practical part is to create a model of a very simplified Bitcoin Core client that allows to create, send and receive transactions based on the propagation algorithm used in the Bitcoin network. The model is then run in the simulation environment and the simulation results are analyzed to identify the possible source node of the transaction.
|
|
Nízkofrekvenční elektronická aktivní zátěž
Vaněk, Petr ; Theumer, Radek (oponent) ; Šotner, Roman (vedoucí práce)
Bakalářská práce se zabývá problematikou návrhu aktivní elektronické zátěže pro stejnosměrné a střídavé vstupní signály. Jsou zde probrány režimy elektronických zátěží a princip jejich funkcí. Hlavní náplní této práce je návrh nízkofrekvenční aktivní elektronické zátěže pro testování především střídavých zdrojů signálů (výkonových zesilovačů), návrh regulace výkonu ověření simulacemi a příprava výrobních podkladů, experimentální ověření a finalizace prakticky použitelného zařízení.
|
|
Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Karásek, Filip ; Žádník, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce analyzuje a řeší dopad strategií vytvořených pomocí Uppaal Stratego. V této práci je ukázána implementace čtyř problémů, čítač, bludiště, bitmapa a křižovatka. Nad těmito modely jsou prováděny experimenty a vytvářeny strategie. Pro první tři problémy byly nalezeny strategie s pozitivním dopadem na daný systém. Pro poslední model křižovatky, se nepodařilo nalézt takovou strategii, která by prokazatelně vylepšila systém. Neprokazatelně, protože se nepodařilo nalézt strategii pro model s vyšším počtem vozidel v křižovatce a to z důvodu omezení Uppaal Stratego a komplexnosti modelu.
|
|
Návrh rotačného kyvadla s pružným kloubem
Palát, Ondřej ; Formánek, Martin (oponent) ; Dobossy, Barnabás (vedoucí práce)
Tato bakalářská práce se týká návrhu výukového modelu s pružným kloubem. Popisuje návrh konstrukce, elektroniky pro řízení, programování mikrokontroléru a tvorbu matematického modelu, který popisuje chování pružného kloubu. Parametry modelu byly získány odhadem parametrů na základě měření. V rešeršní části je také uvedený průzkum trhu a stručný popis algoritmů používaných pro numerický odhad parametrů.
|
|
Programovací prostředky pro robotizované pracoviště studené depozice kovů
Odehnal, Martin ; Šubrt, Kamil (oponent) ; Vetiška, Jan (vedoucí práce)
Diplomová práce se zaměřuje na vývoj softwaru pro robotické pracoviště, který je určen pro rychlou přípravu nástřiku pláště rotačních dílů s využitím technologie studené depozice kovu. Pracoviště pro studený nástřik je umístěno v laboratořích Ústavu materiálových věd a inženýrství na Fakultě strojního inženýrství VUT v Brně. Vytvořená aplikace poskytuje podporu pracovníkům ústavu pro experimentální činnosti v této oblasti. Teoretická část práce podrobně popisuje procesy spojené s virtuálním zprovozněním, programováním průmyslových robotů a základy technologie studeného nástřiku. Praktická část se věnuje konkrétní realizaci aplikace a integraci připojení externího motoru k robotickému kontroléru prostřednictvím komunikační sběrnice PROFINET.
|
|
Statistické ověřování modelů přibližných výpočetních systémů
Blažek, Michal ; Sekanina, Lukáš (oponent) ; Strnadel, Josef (vedoucí práce)
Tato bakalářská práce se zaměřuje na statistické ověřování modelů přibližných násobiček. Zejména se zabývá srovnáním vlastností násobiček při generování jejich vstupních hodnot podle různých pravděpodobnostních rozdělení. Součástí práce je převod modelů násobiček z knihovny EvoApproxLib do modelů v prostředí UPPAAL. Vytvořené modely jsou poté simulovány s ohledem na vybrané hodnotící metriky, jako např. pravděpodobnost chyby, průměrná absolutní chyba aj. Ze získaných výsledků lze usuzovat, že použitím vhodné aproximační násobičky pro provádění výpočtů v rámci konkrétní aplikace je možné docílit menší chyby ve výpočtech. Výsledky by proto mohly mít další uplatnění v oblasti přibližných výpočetních systémů.
|
|
Návrh a realizace modelů nadzemního a kabelového vedení 110 kV
Lelek, Jan ; Jurák, Viktor (oponent) ; Ptáček, Michal (vedoucí práce)
Bakalářská práce se zabývá modelováním nadzemního a kabelového vedení 110 kV v simulačním prostředí PSCAD a výrobou ekvivalentních laboratorních modelů těchto vedení. Mezi cíle práce patří také přiblížení technického provedení vedení 110 kV, vymezení potřebných parametrů pro tvorbu samotných modelů včetně popisů možností matematického modelování vedení. V návaznosti na naplnění zmíněných cílů práce jsou v teoretické části uvedeny faktické údaje o vedeních 110 kV nacházejících se v rámci distribučních sítí České republiky včetně uvedení základní teorie spjaté s parametry vedení. Následně se práce zabývá uvedením možných přístupů matematického modelování vedení, cíleným popisem možných přístupů modelování v simulačním prostředí PSCAD a výběrem potřebných parametrů pro tvorbu těchto modelů. Praktická část práce představuje samotné vytvořené matematické modely nadzemního a kabelového vedení, přičemž jsou představeny výsledky simulací pro různé provozní stavy vedení. Praktická část také detailně představuje návrh, výrobu a laboratorní měření fyzických laboratorních modelů nadzemního a kabelového vedení 110 kV. Součástí práce je pak vzájemné porovnání dosahovaných výsledků pro modely vedení, které byly tvořeny v simulačním prostředí PSCAD a laboratorní modely.
|