|
|
Hodnocení výkonnosti společnosti Envinet a.s. podle modelu Start Plus
Brejchová, Ingrid ; Kazda,, Michal (oponent) ; Veselý, Josef (vedoucí práce)
Tato diplomová práce se zabývá problematikou hodnocení výkonnosti vybrané organizace. Popisovaná organizace nese název ENVINET a.s. a je analyzována podle vícekriteriálního modelu START PLUS. Dle tohoto modelu je provedeno výsledné bodové hodnocení společnosti, jsou identifikovány silné a slabé stránky a oblasti pro zlepšení. Dále jsou navržena konkrétní opatření, jejichž realizací je možné dosáhnout zlepšení výkonnosti analyzované společnosti.
|
|
|
Analýza kritických parametrů akumulátorů pro vesmírné aplikace
Šimek, Michal ; Šedina, Martin (oponent) ; Kazda, Tomáš (vedoucí práce)
Tato práce se zabývá využitím lithno-iontových akumulátorů pro vesmírné aplikace. Jsou zde popsány primární a sekundární elektrochemické zdroje a jejich porovnání. Hlavní část této práce se zabývá lithno-iontovými akumulátory, jejich historií, vlastnostmi a použitými materiály, věnuji použitím li-ion akumulátorů pro vesmírné aplikace z pohledu teploty a popisuji účinky teplot na li-ion akumulátory. V poslední kapitole se zabývám lithným pokovováním a jeho detekcí. V praktické části je navržena metodika pro detekci lithného pokovování, kterou po té testuji na řadě článků, které měřím při různých pracovních teplotách a zatíženích.
|
|
|
Analýza kritických parametrů akumulátorů pro vesmírné aplikace
Šimek, Michal ; Šedina, Martin (oponent) ; Kazda, Tomáš (vedoucí práce)
Tato práce se zabývá využitím lithno-iontových akumulátorů pro vesmírné aplikace. Jsou zde popsány primární a sekundární elektrochemické zdroje a jejich porovnání. Hlavní část této práce se zabývá lithno-iontovými akumulátory, jejich historií, vlastnostmi a použitými materiály, věnuji použitím li-ion akumulátorů pro vesmírné aplikace z pohledu teploty a popisuji účinky teplot na li-ion akumulátory. V poslední kapitole se zabývám lithným pokovováním a jeho detekcí. V praktické části je navržena metodika pro detekci lithného pokovování, kterou po té testuji na řadě článků, které měřím při různých pracovních teplotách a zatíženích.
|
|
|
Bezpečnost šifrování zpráv závisejících na klíči
Hostáková, Kristina ; Hojsík, Michal (vedoucí práce) ; Kazda, Alexandr (oponent)
V této práci se zabýváme šifrovacími schématy, která jsou dokazatelně bez- pečná i v případě, kdy šifrujeme zprávy, které závisejí na tajném klíči. Taková schémata nazýváme KDM-bezpečná. Nejprve zavádíme pojem KDM-bezpečnosti obecně a zkoumáme jeho vztah s jinými druhy bezpečnosti, zejména s IND-CPA-bezpečností. Poté popisujeme asymetrické i symetrické šifrovací schéma autorů Applebaum et al. (CRYPTO 2009) a dokazujeme KDM-bezpečnost těchto schémat s ohledem na množinu afinních funkcí. Klíčovým předpokladem bezpečnosti sestrojených schémat je těžkost pro- blému LWE, respektive jeho speciálního případu LPN. Tyto problémy blíže zkoumáme a rozebíráme jejich varianty. Dále se věnujeme i mřížkám a těžkým problémům na mřížkách, protože se redukují na problém LWE. 1
|
|
|
Properties of delta-matroids
Šíma, Lucien ; Kazda, Alexandr (vedoucí práce) ; Rolínek, Michal (oponent)
We investigate delta-matroids which are formed by families of subsets of a finite ground set such that the exchange axiom is satisfied. We deal with some natural classes of delta-matroids. The main result of this thesis establishes sev- eral relations between even, linear, and matching-realizable delta-matroids. Fol- lowing up on the ideas due to Geelena, Iwatab, and Murota [2003], and apply- ing the properties of field extensions from algebra, we prove that the class of strictly matching-realizable delta-matroids, the subclass of matching-realizable delta-matroids, is included in the class of linear delta-matroids. We also show that not every linear delta-matroid is matching-realizable by giving a skew-symmetric matrix representation to the non matching-realizable delta-matroid constructed by Kazda, Kolmogorov, and Rol'ınek [2019].
|
|
|
Bezpečnost šifrování zpráv závisejících na klíči
Hostáková, Kristina ; Hojsík, Michal (vedoucí práce) ; Kazda, Alexandr (oponent)
V této práci se zabýváme šifrovacími schématy, která jsou dokazatelně bez- pečná i v případě, kdy šifrujeme zprávy, které závisejí na tajném klíči. Taková schémata nazýváme KDM-bezpečná. Nejprve zavádíme pojem KDM-bezpečnosti obecně a zkoumáme jeho vztah s jinými druhy bezpečnosti, zejména s IND-CPA-bezpečností. Poté popisujeme asymetrické i symetrické šifrovací schéma autorů Applebaum et al. (CRYPTO 2009) a dokazujeme KDM-bezpečnost těchto schémat s ohledem na množinu afinních funkcí. Klíčovým předpokladem bezpečnosti sestrojených schémat je těžkost pro- blému LWE, respektive jeho speciálního případu LPN. Tyto problémy blíže zkoumáme a rozebíráme jejich varianty. Dále se věnujeme i mřížkám a těžkým problémům na mřížkách, protože se redukují na problém LWE. 1
|
|
|
Homomorfní šifrovací schémata
Titěrová, Anežka ; Kazda, Alexandr (vedoucí práce) ; Hojsík, Michal (oponent)
Název práce: Homomorfní šifrovací schémata Autor: Anežka Titěrová Katedra: Katedra algebry Vedoucí bakalářské práce: RNDr. Alexandr Kazda, Katedra algebry Abstrakt: V roce 1978 publikoval Rivest a kol. kryptografický problém, jak počítat libovolné funkce nad zašifrovanými daty, aniž by bylo nutné data dešifrovat. Tento problém lze vyřešit použitím plně homomorfního schématu, které objevil a jako první popsal Craig Gentry v roce 2009. Tato práce shrnuje současné znalosti v oblasti homomorfního šifrování. Sou- středíme se zejména na obecný přehled se zaměřením na bezpečnost sché- matu. Získané znalosti aplikujeme v počítačové implementaci částečně ho- momorfního šifrovacího schématu. Plně homomorfní schéma může být využito v mnoha aplikacích, například v implementacích bezpečného cloud-computingu. Nicméně zbývá mnoho prá- ce v oblasti konstrukce dostatečně efektivního algoritmu, poněvadž dosud známé implementace nejsou tak rychlé, aby mohly být použity v každodenní komunikaci. Klíčová slova: homomorfní šifry, plně homomorfní šifrovací schéma, krypto- grafie na mřížkách, logický obvod
|
|
|
Hodnocení výkonnosti společnosti Envinet a.s. podle modelu Start Plus
Brejchová, Ingrid ; Kazda,, Michal (oponent) ; Veselý, Josef (vedoucí práce)
Tato diplomová práce se zabývá problematikou hodnocení výkonnosti vybrané organizace. Popisovaná organizace nese název ENVINET a.s. a je analyzována podle vícekriteriálního modelu START PLUS. Dle tohoto modelu je provedeno výsledné bodové hodnocení společnosti, jsou identifikovány silné a slabé stránky a oblasti pro zlepšení. Dále jsou navržena konkrétní opatření, jejichž realizací je možné dosáhnout zlepšení výkonnosti analyzované společnosti.
|
|
|
Minulost, přítomnost a budoucnost města Mšena
Kazda, Michal ; Heřmanová, Eva (vedoucí práce) ; Mach, Martin (oponent)
Diplomová práce je zaměřena na město Mšeno a jeho obyvatele. První část je věnována historii města a městské památkové zóně. V následující části je provedena podrobná demografická analýza. Ve třetí části se zabývám územním vymezením obce, místní ekonomikou, zhodnocením sociální a technické infrastruktury, dále analyzuji problémy v oblasti životního prostředí a zabývám se cestovním ruchem ve městě a v okolí. Další část obsahuje zpracované a vyhodnocené dotazníkové šetření, které jsem provedl ve Mšeně v roce 2008. Na základě provedených analýz a dotazníkové šetření je v poslední části práce navržen možný budoucí vývoj města.
|
host ::
RSS.