|
Simulace CMOS VLSI obvodů
Šťastná, Hilda ; Kocina, Filip (oponent) ; Šátek, Václav (vedoucí práce)
Táto diplomová práca pojednáva o spôsoboch výpočtu elektrických obvodov vo svetových štandardoch, ktorými sú v posledných rokoch aplikácie Dymola, MATLAB, Maple či SPICE. Výpočet obvodov súvisí s metódami riešenia lineárnych diferenciálnych rovníc, využitými pri~overení správnosti funkcie navrhnutých modelov CMOS invertoru, CMOS NAND, CMOS NOR. Numerická integračná metóda s nasadením Taylorovej rady je vhodnou metódou i~pri~paralelizácii výpočtov CMOS VLSI obvodov. Simulácia CMOS obvodov s využitím tejto metódy bola implementovaná do aplikácií v jazyku MATLAB, riešiacich obvody, popísane diferenciálnymi rovnicami. Funkčnosť aplikácií bola overená na príkladoch. Signifikantné zrýchlenie výpočtov využitím Taylorovej rady v porovnaní s ostatnými metódami je významným faktorom pri voľbe metód použitých pri~simuláciách obvodov.
|
| |
|
Analýza rizik spojených se samočinně řízenými vozidly
Weigel, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
{Cílem práce bylo navrhnout a implementovat systém pro analýzu rizik v samočinně řízených vozidlech. Práce se zaměřila návrh a implementaci systému pro řešení analýzy rizik založené na modelech. Požadavkem na systém byla jeho flexibilita a robustnost. Návrh analýzy rizik byl nejprve předveden v teoretické rovině a poté implementován v modelech systémů ABS a ESP v prostředí UPPAAL. Systém byl dále podroben různým experimentům a testům pro ověření jeho funkcionality. Na implementovaném systému byly vykonané experimenty. Experimenty byly přínosné a systém pro analýzu rizik korektně vyhodnocoval scénáře selhání a adekvátně na vzrůstající riziko reagoval. Výsledky experimentů byly prezentovány na grafech s komentářem daných scénářů selhání.
|
|
Počítačová podpora výpočtů v energetice a nové trendy v simulacích
Horáček, Tomáš ; Bátora, Branislav (oponent) ; Baxant, Petr (vedoucí práce)
Počítačová podpora výpočtů se v současné době velmi rozvíjí a díky stále výkonnějším počítačům a sofistikovanějším simulátorům je možné modelovat čím dál složitější problémy ve stále větším množství inženýrských oborů. Také v elektroenergetice se simulace a simulační programy využívají čím dál častěji. Používají se při návrhu nebo kontrole sítí a při testování různých provozních stavů včetně poruch.
|
|
Analýza rizik spojených se samočinně řízenými vozidly
Weigel, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
{Cílem práce bylo navrhnout a implementovat systém pro analýzu rizik v samočinně řízených vozidlech. Práce se zaměřila návrh a implementaci systému pro řešení analýzy rizik založené na modelech. Požadavkem na systém byla jeho flexibilita a robustnost. Návrh analýzy rizik byl nejprve předveden v teoretické rovině a poté implementován v modelech systémů ABS a ESP v prostředí UPPAAL. Systém byl dále podroben různým experimentům a testům pro ověření jeho funkcionality. Na implementovaném systému byly vykonané experimenty. Experimenty byly přínosné a systém pro analýzu rizik korektně vyhodnocoval scénáře selhání a adekvátně na vzrůstající riziko reagoval. Výsledky experimentů byly prezentovány na grafech s komentářem daných scénářů selhání.
|
|
Simulace CMOS VLSI obvodů
Šťastná, Hilda ; Kocina, Filip (oponent) ; Šátek, Václav (vedoucí práce)
Táto diplomová práca pojednáva o spôsoboch výpočtu elektrických obvodov vo svetových štandardoch, ktorými sú v posledných rokoch aplikácie Dymola, MATLAB, Maple či SPICE. Výpočet obvodov súvisí s metódami riešenia lineárnych diferenciálnych rovníc, využitými pri~overení správnosti funkcie navrhnutých modelov CMOS invertoru, CMOS NAND, CMOS NOR. Numerická integračná metóda s nasadením Taylorovej rady je vhodnou metódou i~pri~paralelizácii výpočtov CMOS VLSI obvodov. Simulácia CMOS obvodov s využitím tejto metódy bola implementovaná do aplikácií v jazyku MATLAB, riešiacich obvody, popísane diferenciálnymi rovnicami. Funkčnosť aplikácií bola overená na príkladoch. Signifikantné zrýchlenie výpočtov využitím Taylorovej rady v porovnaní s ostatnými metódami je významným faktorom pri voľbe metód použitých pri~simuláciách obvodov.
|
| |
|
Počítačová podpora výpočtů v energetice a nové trendy v simulacích
Horáček, Tomáš ; Bátora, Branislav (oponent) ; Baxant, Petr (vedoucí práce)
Počítačová podpora výpočtů se v současné době velmi rozvíjí a díky stále výkonnějším počítačům a sofistikovanějším simulátorům je možné modelovat čím dál složitější problémy ve stále větším množství inženýrských oborů. Také v elektroenergetice se simulace a simulační programy využívají čím dál častěji. Používají se při návrhu nebo kontrole sítí a při testování různých provozních stavů včetně poruch.
|