|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (oponent) ; Staudek, Jan (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses contactless smart card protocol threats and presents a method of semi-automated vulnerability finding in such protocols using model checking. Designing and implementing secure applications is difficult even when secure hardware is used. High level application specifications may lead to different implementations. It is important to use the smart card correctly, inappropriate protocol implementation may introduce a vulnerability, even if the protocol is secure by itself. The goal of this thesis is to provide a method that can be used by protocol developers to create a model of arbitrary smart card, with focus on contactless smart cards, to create a model of the protocol, and to use model checking to find attacks in this model. The attack can be then executed and if not successful, the model is refined for another model checker run. The AVANTSSAR platform was used for the formal verification, models are written in the ASLan++ language. Examples are provided to demonstrate usability of the proposed method. This method was used to find a weakness of Mifare DESFire contactless smart card. This thesis also deals with threats not possible to cover by the proposed method, such as relay attacks.
|
|
Efektivní využití potenciálu bilingvního prostředí
HOVORKOVÁ, Eva
Disertační práce s názvem "Efektivní využití potenciálu bilingvního prostředí" je zaměřena na zmapování jak správných, tak špatných postupů při bilingvní výchově. Téma bilingvismu je v současné době velmi aktuální. V souvislosti s rostoucí globalizací společnosti je kladen stále větší důraz na výuku cizích jazyků. Lidé žijící ve smíšeném manželství však často nemají představu, jak své děti vychovávat a dopouštějí se mnohých chybných kroků, které později není možné napravit. Teoretická část podává přehled o bilingvismu, jeho rozdělení, typech a způsobech nabytí. Empirická část teorii prakticky demonstruje na různých příkladech. V rámci kvalitativního výzkumu bylo zpracováno 42 případových studií, které zachycují typické i netypické bilingvní respondenty. Výsledky výzkumu jsou porovnány s fakty uvedenými v odborné literatuře. Cílem disertační práce je podat přehled úspěšných i neúspěšných postupů a upozornit na ty, při kterých je potenciálu bilingvního prostředí využito co nejlépe. Současně také ukazuje, čemu se při bilingvní výchově vyhnout.
|
|
Vliv současných IT trendů na budoucnost šedé literatury
Savić, Dobrica
Příspěvek se zabývá současnými IT trendy a jejich vlivem na šedou literaturu. Je založený na analýze převládajících trendů v oblasti informačního managementu a nových informačních technologií, které budou ovlivňovat další vývoj informačního managementu a šedé literatury v digitální éře. Analýza byla vypracována na základě sedmi studií vydaných v roce 2016 pěti předními světovými poradenskými společnostmi, které mají zvláštní zájem na zkoumání dopadů IT technologií na naše podnikové prostředí, pracovní postupy a chování.
Plný text: idr-1032_3 -  PDF
Prezentace: idr-1032_1 - PDF; idr-1032_2 - PDF
Videozáznam: idr-1032_4 -  MP4
|
|
Dramatický text jako závazné východisko k prostorové realizaci
Tretiag, Štěpán ; KORČÁK, Jakub (vedoucí práce) ; HRBEK, Daniel (oponent)
Na konkrétních příkladech mé praktické bakalářské práce se snažím zpětně popsat a reflektovat naše scénické řešení hry Pohřešované jihoafrické autorky Rezy de Wet. Podstatou moderní činoherní režie je mít text hry jako předlohu, která se stává východiskem k jeho interpretaci a následnému převedení na jeviště. Právě cestě od prvotní interpretace až ke konečné scénické realizaci bych se chtěl věnovat. V první části se budu zabývat tvorbou fyzického prostoru, tedy scénografií. Pokusím se nastínit, co nás vedlo k její konečné podobě a jaké to má opodstatnění v textu hry. A hlavně jakou má možnost stát se prostorem dramatickým. Konkrétněji řečeno jakou tvoří platformu pro herce, aby z ní mohli vycházet, a do jaké míry je dokáže provokovat k jednání. Ve druhé části se již budu věnovat prostoru dramatickému, tedy prostorovému vyjádření vztahů a témat. Opět se pokusím zpětně popsat, jestli a jak se nám podařilo docílit jevištního obrazu, který funguje jako zhmotněná metafora. Budu pojednávat převážně o mimoslovním jednání, ale se zřetelem, že dramatický text nám tvoří základní východisko k realizaci.
|
|
Obezita u dětí školního věku z pohledu sestry pracující v ordinaci praktického lékaře
BURSÍKOVÁ, Drahoslava
AAbstrakt Obezita u dětí školního věku z pohledu sestry pracující v ordinaci praktického lékaře Diplomová práce je zaměřena na problematiku ošetřovatelské péče u dětí s nadváhou a obezitou. Tato problematika je v dnešní době velice aktuální a to nejenom v České republice, ale jedná se o celosvětový problém. Naše republika zaujímá jedno z předních míst v obezitě u dětí. Děti trpící nadváhou a obezitou mají nejenom zdravotní problémy plynoucí z komplikací obezity, ale i problémy v oblasti psychiky a sociálních vztahů, zvláště mezi svými vrstevníky. Proto je důležité správné pochopení dané problematiky a nalezení přijatelného řešení do budoucnosti. Teoretická část se zabývá problémem obezity u dětí, specifiky ošetřovatelské péče o tyto děti v rámci ordinace praktického lékaře pro děti a dorost. Zaměřuje se také na potřeby dítěte s normální váhou a potřeby dětí s obezitou. V rámci výzkumného šetření byly stanoveny čtyři cíle. Prvním cílem bylo zmapovat stav obezity u dětí školního a předškolního věku v benešovském okrese. Druhým cílem bylo zmapovat služby (možnosti další pomoci, léčby), které mohou využít rodiče a praktičtí lékaři při léčbě dětí s nadváhou a obezitou v okrese Benešov. Třetím cílem bylo porovnat úspěšnost léčby obezity u dětí, které už podstoupily léčbu obezity pod odborným dohledem s úspěšností snižování nadváhy u dětí, které se snaží o snížení váhy sami. Čtvrtým cílem bylo zmapovat problematiku spolupráce sestry s rodiči a školou v péči o dítě s obezitou. Ve výzkumné části diplomové práce jsme použili metodu kvalitativního výzkumného šetření. Byla zvolena metoda dotazování formou polostrukturovaného rozhovoru. Pro potřeby výzkumu byly vytvořeny tři výzkumné soubory. První výzkumný soubor tvořilo 10 sester, které pracují v ordinaci praktického lékaře pro děti a dorost v okrese Benešov. Druhý výzkumný soubor se skládal z 10 záměrně vybraných osob z řad rodičů dětí s obezitou, které se snaží o redukci váhy svých dětí sami nebo pod odborným dohledem obezitologa. Jednalo se o rodiče dětí předškolního a školního věku. Třetí výzkumný soubor tvořilo 10 praktických lékařů pro děti a dorost, kteří vykonávají svoji praxi na území okresu Benešov. Při zpracování rozhovorů byla použita technika otevřeného kódování metoda papír a tužka. K zmapování služeb v Benešovském okrese a také celém Středočeském kraji byla použita analýza dokumentů. Bylo stanoveno šest výzkumných otázek: 1. Jaké jsou možnosti odborné pomoci obézním dětem? 2. Jsou rodiče ochotni pomoci svým obézním dětem při snižování váhy? 3. Mají rodiče dětí s obezitou také problémy s váhou? 4. Jaké jsou zkušenosti sester v ambulanci praktického lékaře pro děti a dorost v péči o obézní děti? 5. Jak probíhá spolupráce rodičů se sestrou v ambulanci praktického lékaře pro děti a dorost? 6. Jak sestra pracující v ordinaci praktického lékaře pro děti a dorost spolupracuje se školou? Závěry diplomové práce ukazují, že problém dětské obezity je nejenom v benešovském okrese, ale i celosvětově aktuální a má vzestupnou tendenci.
|
|
Organizace a řízení výroby v podniku
DRNOVÁ, Markéta
Cílem diplomové práce na téma "Organizace a řízení výroby v podniku" je zmapování vybraného podniku v období jednoho kalendářního roku a získání dostatečného množství informací pro jejich zanalyzování k navržení možných zlepšení. V úvodu praktické části jsou uvedené identifikační údaje vybrané společnosti, její charakteristika, výrobky a služby, které poskytuje, a také způsob jakým plánuje výrobu. V další části je popsána analýza současného stavu, ve které jsou zobrazeny mapy současného stavu pro jednotlivé polotovary. Pro analýzu současného stavu je vypočítán VA index a v další kapitole je pro každý polotovar vytvořen diagram pohybu materiálu. Cílem analýzy a diagramu pohybu je nalezení úzkých míst v toku materiálu. V další části je tvořena cílová mapa budoucího stavu, která vychází z mapy současného stavu. V mapě jsou zvýrazněny kritické faktory, které jsou určeny k zlepšení, a na závěr je určen nový VA index, ke kterému by se měl současný stav přiblížit. Předposlední část zahrnuje doporučení metod a prvků štíhlé výroby do nové výrobní haly, kterou chce podnik vybudovat. Mezi doporučené metody patří hlavně metoda 5S, vizualizace, standardizace, SMED a Bottleneck. Poslední kapitola obsahuje několik opatření, kterými je motivace zaměstnanců, neustálé zlepšování, osobní zodpovědnost, zavedení systému EDI a ergonomie, které by vedly ke zlepšení chodu firmy.
|
|
Role názorového vůdce v MK
SPRINGEROVÁ, Nikol
Bakalářská práce se zabývá rolí názorového vůdce v marketingové komunikaci. Pro tuto práci je vybrána profesní sféra. Zubní lékaři města Benešov. V teoretické části jsou vysvětleny pojmy, které souvisí s tímto tématem. V praktické části je analyzován současný stav z pohledu zubních lékařů a veřejnosti za pomoci kvantitativní a kvalitativní metody. Cílem této práce je navržení doporučených změn v marketingové komunikaci s využitím názorového vůdce, které by vedli ke zlepšení.
|
|
Uplatnění logistiky v internetovém obchodě
MELENOVÁ, Štěpánka
Cílem této bakalářské práce bylo zhodnotit činnost firmy TV Products CZ s.r.o. během jednoho kalendářního roku, posoudit výhody a nevýhody online nakupování z pohledu zákazníků a porovnat jej s tradičním nakupováním v kamenných obchodech. V teoretické části byl vysvětlen pojem internetový a kamenný obchod. Tato část se také zabývala historií elektronického obchodování a rozvoji internetového obchodu. Dále byla tato část zaměřena na metody placení a úroveň zákaznických služeb. V praktické části byla nejprve představena vybraná společnost a dále byly sledovány veškeré aktivity od objednávek až po dodání zboží zákazníkům. To bylo uskutečněno díky osobní návštěvě firmy. Prostřednictvím této návštěvy byly zjištěny nedostatky a navrženy opatření vedoucí ke zlepšení a spokojenosti zákazníků. Těmto nedostatkům by měla firma věnovat pozornost a zaměřit se na jejich odstranění.
|
|
Doped DLC coatings for biomedical applications
Písařík, Petr
Nowadays there are materials having excellent properties for use in medicine (Diamond-like carbon, Hydroxyapatite, …). Diamond-like carbon (DLC) is a metastable form of amorphous carbon containing bonded carbon atoms of sp2 and sp3 hybridized orbital. DLC layers are semiconductors with high mechanical hardness, chemical inertness, low coefficient of friction, high thermal conductivity, good electrical and optical properties, biocompatibility and no cytotoxicity. All properties of the films are not always ideal, so it is necessary to modify the layer. One example of how to modify the properties of thin layers are dopations. The incorporation of dopants in films may lead to greater multifunctionality and much improved properties. Most modifications were made to modify contact angle and surface energy, to reduce internal stresses, to decrease surface roughness, coefficient of friction or wear....
|
|
Estrogen receptor beta (ERβ) in testicular cells and sperm
Dostálová, Pavla ; Žatecká, Eva ; Děd, Lukáš ; Dorosh, Andriy ; Postlerová, Pavla ; Jonáková, Věra ; Dvořáková-Hortová, Kateřina ; Pěknicová, Jana
Estrogen is a steroid hormone that plays an important role during sperm development in the male and female reproductive tract. Estrogen signalling is a complex process that depends on cell milieu and presence of receptors. Thanks to the steroid nature of estrogens, they can pass through the plasmatic membrane and bind to the intracellular estrogen receptors (ERs). Within the cell, there are several pools of ERs. One of them is localized to the cell nucleus and their activation leads to direct or indirect binding to DNA and ultimately to alternation in gene expression (genomic pathway). Other pools of ERs are associated with plasma membrane or are located in cytosol. Activation of membrane associated ERs leads to rapid non-genomic responses. Nowadays, two classical estrogen receptors are known – ERα and ERβ. Since ERβ is a predominant variant in testes, we focused our study on expression of ERβ variants in murine testes and sperm. We detected two variants of ERβ at mRNA level in both, testes and sperm. These variants differ in 54 nucleotids within the ligand binding domain and this variability results in different affinity to estrogen. We analyzed individual testicular cell types (spermatogonia, spermatocytes, spermatids, Sertoli cells) by RT-qPCR. Our results suggest that both ERβ variants are coexpressed in the same cell type and may therefore interact together. This may have consequences in mediating of estrogen signalling. Moreover, ERβ is expressed more in the later stages of spermatogenesis suggesting the role of ERβ in these stages or alternatively in spermatozoa alone. At the protein level, we detected ERβ in nuclear, membrane and cytosolic fraction prepared from testicular tissue suggesting the involvement of both, genomic and non-genomic, pathways of estrogen signaling in testes. In sperm, anti-ERβ antibodies localized ERβ in acrosome region and tail which is in accordance with the known role of estrogen on capacitation, acrosome reaction and motility.
|
host ::
