|
|
Simulation of cryptographic algorithms using FPGA
Németh, František ; Mašek, Jan (oponent) ; Smékal, David (vedoucí práce)
Bachelor thesis is dealing with a cipher standard AES and with a design of encryption and decryption components for AES in special modes of operation. Programming language is VHDL. In theoretical part of thesis is a further descriptions of AES and behaviour of block cipher operation modes. Furthermore the brief description of VHDL, FPGA and NetCOPE framework is a piece of theoretical part as well. The practical part contains designs which are made in developing environment Vivado from Xilinx. Programmed modes of operation are ECB, CBC, CTR and CFB. Simulation outputs and synthesis results are summerized in tables.
|
|
|
Instrumentace programů pro měření pokrytí
Václavík, Jan ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje Ginstrum sloužící pro instrumentaci programů napsaných v jazyce C během překladu. Nástroj je implementován formou zásuvného modulu pro překladač GCC a instrumentuje místa programu, která přistupují do paměti, zapisují do paměti nebo volají funkce. Vzhledem k plánovanému použití nástroje pro testování a dynamickou analýzu umožňuje nástroj také vytvořit data z překladu, která slouží pro následnou analýzu pokrytí překládaného kódu testy.
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal ; Maršík, František (vedoucí práce) ; Grmela, Miroslav (oponent) ; Sciacovelli, Adriano (oponent)
Tato práce se zabývá nerovnovážnou termodynamikou, která slouží k odvození evolučních rovnic makroskopických a mezoskopických systémů. Je například ukázán vztah mezi teorií GENERIC (General Equation for the Nonequilibrium Reversible-Irreversible Coupling) a (ne)vratností a Onsager-Casimirovy relace reciprocity jsou pak z této teorie odvozeny. Následně jsou v rámci nerovnovážné termodynamiky odvozeny modely palivových článků a příbuzných zařízení a teoretické předpovědi jsou porovnány s výsledky experimentů. V práci je také odvozeno zobecnění analýzy exergie, které přináší novou metodu pro odhalování mapy ztrát užitečné práce v zařízeních produkujících elektřinu. Tato metoda vyžaduje, aby bylo zařízení popsáno nerovnovážně termodynamickým modelem, a obecná teorie nerovnovážné termodynamiky se tak stává nedílnou součástí popisu a optimalizace zařízení produkujících energii.
|
|
|
Variational Methods in Thermomechanics of Solids
Pelech, Petr ; Kružík, Martin (vedoucí práce) ; Dondl, Patrick (oponent) ; Zeman, Jan (oponent)
Práce je věnována problematice mechaniky a termodynamiky kontinua a matematické analýze jejích rovnic. Sestává se ze čtyř samostatných částí, které se zabývají jednotlivými aspekty. První kapitola se zaměřuje na paridynamiku, nelokální teorii mechaniky kontinua, a její vztah ke klasické lokální teorii elasticity. Takováto porovnání byly v minulosti pou- žity k důkazu konzistence peridynamiky s lokální teorii i pro určení části jejích materiá- lových parametrů ze znalosti parametrů v teorii lokální. V této kapitole je odvozen vztah pro nelokální silový tok a je vyjádřen pomocí nelokální silové interakce v peridynamice. Je tak dán jasný vztah mezi oběma fundamentálními pojmy obou teorií, který do té doby nebyl publikován. Druhá i třetí kapitola jsou věnovány rychlostně nezávislým systémům (RNS) a jejich použití v mechanice kontinua. RNS jsou vhodnou aproximací v případě, že setrvačné, viskózní i teplotní efekty jsou zanedbatelné. RNZ našli široké uplatnění v modelování hystereze, fázového rozhraní v pevných látkách, elasto-plasticity, poškození a lomů, ať už v případě malých či velkých deformací. V druhé kapitole je dokázána existence řešení pro rychlostně nezávislý model materiálů s tvarovou pamětí. Model zahrnuje nekonvexní energie a je tak vhodný pro předpovídání mechanické odezvy při velkých deformacích....
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal
Tato práce se zabývá nerovnovážnou termodynamikou, která slouží k odvození evolučních rovnic makroskopických a mezoskopických systémů. Je například ukázán vztah mezi teorií GENERIC (General Equation for the Nonequilibrium Reversible-Irreversible Coupling) a (ne)vratností a Onsager-Casimirovy relace reciprocity jsou pak z této teorie odvozeny. Následně jsou v rámci nerovnovážné termodynamiky odvozeny modely palivových článků a příbuzných zařízení a teoretické předpovědi jsou porovnány s výsledky experimentů. V práci je také odvozeno zobecnění analýzy exergie, které přináší novou metodu pro odhalování mapy ztrát užitečné práce v zařízeních produkujících elektřinu. Tato metoda vyžaduje, aby bylo zařízení popsáno nerovnovážně termodynamickým modelem, a obecná teorie nerovnovážné termodynamiky se tak stává nedílnou součástí popisu a optimalizace zařízení produkujících energii.
|
|
|
Variational Methods in Thermomechanics of Solids
Pelech, Petr ; Kružík, Martin (vedoucí práce) ; Dondl, Patrick (oponent) ; Zeman, Jan (oponent)
Práce je věnována problematice mechaniky a termodynamiky kontinua a matematické analýze jejích rovnic. Sestává se ze čtyř samostatných částí, které se zabývají jednotlivými aspekty. První kapitola se zaměřuje na paridynamiku, nelokální teorii mechaniky kontinua, a její vztah ke klasické lokální teorii elasticity. Takováto porovnání byly v minulosti pou- žity k důkazu konzistence peridynamiky s lokální teorii i pro určení části jejích materiá- lových parametrů ze znalosti parametrů v teorii lokální. V této kapitole je odvozen vztah pro nelokální silový tok a je vyjádřen pomocí nelokální silové interakce v peridynamice. Je tak dán jasný vztah mezi oběma fundamentálními pojmy obou teorií, který do té doby nebyl publikován. Druhá i třetí kapitola jsou věnovány rychlostně nezávislým systémům (RNS) a jejich použití v mechanice kontinua. RNS jsou vhodnou aproximací v případě, že setrvačné, viskózní i teplotní efekty jsou zanedbatelné. RNZ našli široké uplatnění v modelování hystereze, fázového rozhraní v pevných látkách, elasto-plasticity, poškození a lomů, ať už v případě malých či velkých deformací. V druhé kapitole je dokázána existence řešení pro rychlostně nezávislý model materiálů s tvarovou pamětí. Model zahrnuje nekonvexní energie a je tak vhodný pro předpovídání mechanické odezvy při velkých deformacích....
|
|
|
Hamiltonian and thermodynamic theory of solids and fluids
Sýkora, Martin ; Pavelka, Michal (vedoucí práce) ; Klika, Václav (oponent)
Běžný přístup k popisu mechaniky kontinua, založený na bilanci hmotnosti, hybnosti, momentu hybnosti a energie, je velice úspěšný. Bohužel však mezi ním a Hamiltonovskou mechanikou popisující kinematiku isolovaných částic není téměř žádné propojení. Oba tyto obory jsou proto značně odděleny. Nicméně existuje i jiný přístup k mechanice kontinua, jehož vratná část je založena právě na Hamiltonovské mechanice a jeho nevratná část je generována disipačním po- tenciálem. Tento přístup, nazývaný GENERIC, tak lze vnímat jako zajímavý most mezi spojitými a diskrétními systémy. V této práci GENRIC aplikujeme na mechaniku kontinua, odvodíme pohybové rovnice a porovnáme je s výsledky standardní teorie. Následně uvedeme a analyzujeme jak analytická, tak numerická řešení několika modelových příkladů.
|
|
|
Thermodynamic analysis of solid oxide cells
Vágner, Petr ; Maršík, František (vedoucí práce) ; Grmela, Miroslav (oponent) ; Pekař, Miloslav (oponent)
Termodynamická analýza článků s pevnými oxidy Petr Vágner Práce se zabývá modelováním článků s pevnými oxidy v rámci nerovnovážné ter- modynamiky. Nejprve je zformulován obecný popis evoluce směsi nabitých látek ve formalismu GENERIC pomocí parciálních hustot, hustoty hybnosti, hustoty entropie, pole elektrické indukce, magnetického pole, polarizace a magnetizace. Tato obecná formulace zahrnuje známé modely, jako jsou Landauova-Lifshitzova relaxace magnetizace, Single Relaxation Time model pro dielektrika a zobecněný Poissonův-Nernstův-Planckův model. Odvození poslední zmíněného modelu je dáno do souvislosti s druhou částí práce, ve které je zformulován nový model pro rozhraní článku s pevnými oxidy v rámci nerovnovážné termodynamiky. Numer- ické řešení evolučního modelu je využito k parametrické studii cyklické voltam- metrie rozhraní. Poslední část práce demonstruje limity Exergetické Analýzy pro zařízení s neizotermální hranici. Elektrický výkon zjednodušeného modelu vodíkového článku s pevnými oxidy je maximalizován v několika optimalizačních scénářích a je ukázáno, že minimalizace produkce entropie nutně nevede k max- imalizaci elektrického výkonu. Práce se sestává z kompilace publikovaných i...
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal
Tato práce se zabývá nerovnovážnou termodynamikou, která slouží k odvození evolučních rovnic makroskopických a mezoskopických systémů. Je například ukázán vztah mezi teorií GENERIC (General Equation for the Nonequilibrium Reversible-Irreversible Coupling) a (ne)vratností a Onsager-Casimirovy relace reciprocity jsou pak z této teorie odvozeny. Následně jsou v rámci nerovnovážné termodynamiky odvozeny modely palivových článků a příbuzných zařízení a teoretické předpovědi jsou porovnány s výsledky experimentů. V práci je také odvozeno zobecnění analýzy exergie, které přináší novou metodu pro odhalování mapy ztrát užitečné práce v zařízeních produkujících elektřinu. Tato metoda vyžaduje, aby bylo zařízení popsáno nerovnovážně termodynamickým modelem, a obecná teorie nerovnovážné termodynamiky se tak stává nedílnou součástí popisu a optimalizace zařízení produkujících energii.
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal ; Maršík, František (vedoucí práce) ; Grmela, Miroslav (oponent) ; Sciacovelli, Adriano (oponent)
Tato práce se zabývá nerovnovážnou termodynamikou, která slouží k odvození evolučních rovnic makroskopických a mezoskopických systémů. Je například ukázán vztah mezi teorií GENERIC (General Equation for the Nonequilibrium Reversible-Irreversible Coupling) a (ne)vratností a Onsager-Casimirovy relace reciprocity jsou pak z této teorie odvozeny. Následně jsou v rámci nerovnovážné termodynamiky odvozeny modely palivových článků a příbuzných zařízení a teoretické předpovědi jsou porovnány s výsledky experimentů. V práci je také odvozeno zobecnění analýzy exergie, které přináší novou metodu pro odhalování mapy ztrát užitečné práce v zařízeních produkujících elektřinu. Tato metoda vyžaduje, aby bylo zařízení popsáno nerovnovážně termodynamickým modelem, a obecná teorie nerovnovážné termodynamiky se tak stává nedílnou součástí popisu a optimalizace zařízení produkujících energii.
|
host ::
RSS.