|
|
Chování proudového chrániče při vypínání nesinusových reziduálních proudů
Horký, Jakub ; Dostál, Lukáš (oponent) ; Valenta, Jiří (vedoucí práce)
Tato bakalářská práce se zabývá chováním proudového chrániče při vypínání nesinusových reziduálních proudů. V první, teoretické, části práce jsou popsány základní charakteristiky a vlastnosti elektrických přístrojů. Pozornost je věnována proudovému chrániči, jeho konstrukční části, druhy, parametry a typy. Dále jsou zde probrány normativní požadavky proudového chrániče typu A při zkouškách. Druhá část je částí praktickou. Proudový chránič je podroben nesinusovým reziduálním proudům se stejnosměrnou složkou (dle normy), čímž se kontroluje jeho schopnost správné činnosti, tj. chránič je schopen vybavit. V závěru práce je uvedena vzorová laboratorní úloha, která demonstruje ověření chování proudového chrániče při vypínání nesinusového proudu.
|
|
|
Remanentní magnetismus elektromagnetů stejnosměrných stykačů
Horký, Jakub ; Píška, Jakub (oponent) ; Šimek, David (vedoucí práce)
Tato diplomová práce řeší remanentní magnetismus elektromagnetů u stejnosměrných stykačů. První část práce pojednává o teorii vzniku magnetického pole v různých druzích materiálu, popisuje jejich magnetizaci a dělí je dle různých kategorií. V další části se práce zabývá elektromagnetem, který je popsán především z hlediska funkčnosti a z historického pohledu. Nakonec je v teoretické části práce popsán stykač společně s nepříznivými vlivy a remanentní indukcí. Druhá část je částí praktickou. Nejprve bylo provedeno měření reakčních časů na dvojici stejnosměrných stykačů. Pomocí získaných dat byl navrhnut elektronický obvod pro minimalizaci rozdílu spínacích časů daných stejnosměrných stykačů.
|
|
|
Grafický simulátor superskalárních procesorů
Horký, Jakub ; Šimek, Václav (oponent) ; Jaroš, Jiří (vedoucí práce)
Práce se zabývá popisem jednotek v procesoru a způsobem jejich propojení ve skalárním a superskalárním procesoru. Dále se zaměřuje popisem problematiky práce s pamětí a zejména popisem mezi-pamětí. Popisuje fungování překladače z~vyššího programovacího jazyka do jazyka symbolických instrukcí. Dále prozkoumává dostupné simulátory procesorů a mezi-pamětí, zaměřuje se zejména na simulátor, na který tato práce navazuje. Na základě analýzy byly navrženy a následně implementovány rozšíření současného simulátoru o paměťový subsystém, podporu vyššího programovacího jazyka a sbírání většího množství statistik. Závěr práce shrnuje kvalitu implementace a možný přínos simulátoru při výuce předmětu Architektury výpočetních systémů.
|
|
|
Integrace formálních technik do procesu verifikace procesoru RISC-V
Horký, Jakub ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce krátce rozebírá architekturu RISC-V a návrh procesorů a jak jednoduše může vzniknout chyba při jejich vytváření. Dále popisuji, jakým způsobem se snaží funkční verifikace tyto chyby odhalit a jaké jsou její výhody a nedostatky. Konkrétněji se zaměřím, jak vypadá verifikační prostředí podle UVM. Popisuji, jakým způsobem do funkční verifikace zapadá formální verifikace a jaké jsou dostupné nástroje pro formální verifikaci. Ke konci této práce popisuji konkrétně způsob mého postupu při psaní tvrzení (psaných v SVA jazyce) pro RISC-V procesor za použití nástroje pro formální verifikaci tvrzení. Při využití těchto tvrzení pro ověření procesoru v pozdější fázi vývoje, kdy funkční verifikace již měla možnost většinu chyb odhalit, se mi přesto podařilo několik chyb najít.
|
|
|
Mechanismy speciace a role reinforcementu u savců
Horký, Jakub ; Hulva, Pavel (vedoucí práce) ; Reifová, Radka (oponent)
Speciace, tedy proces vzniku nových druhů, zahrnuje rozmanitou škálu mikroevolučních mechanismů, působících současně a vedoucích ke graduální tvorbě reprodukčních bariér mezi populacemi. Studium speciace se od svých počátků kolem poloviny devatenáctého století razantně posunulo s rozvíjejícími se analytickými metodami a novými daty získanými z nich, která umožňují pozorovat předem neviditelné patrnosti a tvorbu nových hypotéz. Tato práce se zaměřuje na představení současného chápání konceptů a mechanismů ve speciaci, od klasických počátků po moderní výzkum, se zaměřením na mechanismy nejvíce blízké savcům. Prodiskutovány jsou prostorové režimy speciace spolu s jejich moderním pojetím, dále prezygotické a postzygotické izolační mechanismy a nakonec posuny znaků přispívající ke speciaci, včetně mechanismu reprodukčního posunu znaků, jenž se nazývá reinforcement. Práce klade velký důraz na téma maladaptivní a adaptivní hybridizace a jejich úloze ve speciaci, které spolu s reinforcementem a rozvojem genomických metod tato rešerše identifikovala jako aktuální rozvíjející se pomezí studia tohoto fenoménu. Klíčová slova: reprodukčně izolační mechanismy, mikroevoluce, posun znaků, hybridizace, reinforcement, speciace
|
|
|
Remanentní magnetismus elektromagnetů stejnosměrných stykačů
Horký, Jakub ; Píška, Jakub (oponent) ; Šimek, David (vedoucí práce)
Tato diplomová práce řeší remanentní magnetismus elektromagnetů u stejnosměrných stykačů. První část práce pojednává o teorii vzniku magnetického pole v různých druzích materiálu, popisuje jejich magnetizaci a dělí je dle různých kategorií. V další části se práce zabývá elektromagnetem, který je popsán především z hlediska funkčnosti a z historického pohledu. Nakonec je v teoretické části práce popsán stykač společně s nepříznivými vlivy a remanentní indukcí. Druhá část je částí praktickou. Nejprve bylo provedeno měření reakčních časů na dvojici stejnosměrných stykačů. Pomocí získaných dat byl navrhnut elektronický obvod pro minimalizaci rozdílu spínacích časů daných stejnosměrných stykačů.
|
|
|
Chování proudového chrániče při vypínání nesinusových reziduálních proudů
Horký, Jakub ; Dostál, Lukáš (oponent) ; Valenta, Jiří (vedoucí práce)
Tato bakalářská práce se zabývá chováním proudového chrániče při vypínání nesinusových reziduálních proudů. V první, teoretické, části práce jsou popsány základní charakteristiky a vlastnosti elektrických přístrojů. Pozornost je věnována proudovému chrániči, jeho konstrukční části, druhy, parametry a typy. Dále jsou zde probrány normativní požadavky proudového chrániče typu A při zkouškách. Druhá část je částí praktickou. Proudový chránič je podroben nesinusovým reziduálním proudům se stejnosměrnou složkou (dle normy), čímž se kontroluje jeho schopnost správné činnosti, tj. chránič je schopen vybavit. V závěru práce je uvedena vzorová laboratorní úloha, která demonstruje ověření chování proudového chrániče při vypínání nesinusového proudu.
|
|
|
Vydržení v rámci rekodifikace soukromého práva
Horký, Jakub ; Salač, Josef (vedoucí práce) ; Frinta, Ondřej (oponent)
Vydržení v rámci rekodifikace soukromého práva Diplomová práce se zabývá institutem vydržení, a to v kontextu rekodifikace soukromého práva. Jejím cílem je popsat podobu tohoto institutu jak v historickém kontextu, tak v platné právní úpravě, tyto úpravy vzájemně komparovat a pokusit se odpovědět na některé sporné výkladové otázky. Vydržení je institutem sledujícím sladění držby jako faktického stavu s vlastnictvím jakožto stavem právním, a to po uplynutí určené vydržecí doby. Jde o tradiční institut civilistiky, který však v současné době nepozbývá na aktuálnosti. Občanský zákoníku č. 89/2012 Sb. přinesl ve vztahu k tomuto institutu podstatné změny, jejichž analýzu diplomová práce sleduje. Práce je rozvržena do úvodu, 4 hlavních kapitol, které jsou dále členěny do podkapitol, a závěru. V první kapitole vymezuji obecné pojmy stěžejní pro následující výklad, a to definici držby, detence a samotného vydržení. Kapitola druhá představuje historický exkurs, a to od nástinu institutu vydržení v římském právu, přes úpravu vydržení za účinnosti OZO, k popisu socialistické právní úpravy, a to jak za účinnosti občanského zákoníku z roku 1950, tak občanského zákoníku z roku 1964 v jeho původní podobě. V této kapitole se věnuji rovněž popisu úpravy po novelizaci účinné od roku 1983. Pozornost je dána také...
|
|
|
Komparace daně z nemovitých věcí v České republice a na Slovensku
Horký, Jakub ; Láchová, Lenka (vedoucí práce) ; Kouba, Tomáš (oponent)
Bakalářská práce je zaměřena na srovnání daně z nemovitých věcí v České republice a na Slovensku. Je popsána legislativa obou zemí se zaměřením na pravomoci municipalit. Dále je v práci srovnán význam daně zejména v obecních rozpočtech s výběrem města Plzeň a Košice. V poslední části je vypočítán komplexní příklad pro převedení legislativy do praxe a pro zjištění výsledné daně poplatníka s přihlédnutí na průměrnou mzdu pro daný kraj.
|
host ::
RSS.