|
Windows 10 IoT na platformě Raspberry Pi 2
Prachař, Vojtěch ; Jílek, Tomáš (oponent) ; Jelínek, Aleš (vedoucí práce)
Účelem této semestrální práce je seznámení s Raspberry Pi 2, operačním systémem Windows 10 IoT a vývojářskými nástroji pro tuto platformu. V rámci práce byl představen hardware i software a detailně popsáno zprovoznění vývojářských nástrojů. Dále byly vyzkoušeny některé ukázkové aplikace a komunikační protokoly. V poslední bodě byli otestovány rozhraní důležitá z pohledu robotiky. V závěru je tato platforma zhodnocena pro možnost použití v domácí automatizaci a robotice.
|
|
Distribuovaný systém pro ověřování vlastností přirozených čísel
Tomisová, Martina ; Peterek, Nino (oponent) ; Mírovský, Jiří (vedoucí práce)
Výsledkem práce je systém pro distribuované ověřování vlastností přirozených čísel. Systém má dvě části - klientskou a serverovou. Komunikace mezi nimi probíhá přes HTTP protokol. Server distribuuje zadání (přirozená čísla) a ukládá výsledky (vlastnost čísel) od klientů. Klienti provádí výpočty. Zadáním jednoho výpočtu je jedno přirozené číslo, výsledkem rovněž. Distribucí výpočtů je možné ověřit danou vlastnost pro více přirozených čísel. Konkrétní postup pro výpočet lze klientu poskytnout jako modul. Součástí práce jsou dva příklady modulů. První je jednoduchý a slouží jako vzor pro jejich vytváření. Druhý modul určuje, zda je číslo prvočíslo. Je v něm zahrnuta vlastní knihovna pro aritmetiku dlouhých čísel. Server tedy může distribuovat (potenciálně velká) čísla, klient ověří, zda dané číslo je prvočíslo.
|
|
Studium interakce multikomponentního plazmatu s pevnými látkami postupy počítačové fyziky
Ibehej, Tomáš ; Hrach, Rudolf (vedoucí práce) ; Plašil, Radek (oponent)
Předmětem studia jsou fyzikální procesy probíhající při interakci inertního i chemicky aktivního plazmatu s povrchy vnořených pevných látek. Metodikou práce je počítačové modelování založené na experimentálních datech získaných na pracovišti i převzatých z literatury. Těžiště práce je ve dvourozměrných částicových modelech, jejichž výstupy jsou parametry stínící vrstvy vytvořené v okolí vnořené pevné látky i charakteristika nabitých částic v ní obsažených. Studium multikomponentního plazmatu představuje analýzu statických i dynamických vlastností stínící vrstvy v závislosti na elektronegativitě. Důraz je kladen také na zkoumání vlivu použité metodiky počítačového modelování na přesnost dosažených výsledků a efektivitu výpočtů.
|
|
Úloha radiologického asistenta při diagnostice ICHS s důrazem na angiografii
Turek, Jiří ; Suchánek, Vojtěch (oponent) ; Adla, Theodor (vedoucí práce)
Srdce je dutý svalový orgán, který spolu s cévami zajišťuje oběh krve a tím prokrvení organismu. I srdeční sval potřebuje kyslík a živiny k tomu, aby mohl pracovat. Aby mohlo srdce správně fungovat, je nutné mít dobře průchodné koronární artérie. Ischemická choroba srdeční (ICHS) je soubor onemocnění, jejichž příčinou je nedostatečná průchodnost koronárních arterií. Důsledkem takovéto neprůchodnosti dochází k ischemii myokardu různého stupně až po život ohrožující stav. K správné a rychlé diagnostice tohoto onemocnění jsou využívány různé angiografické zobrazovací metody. Termín angiografie označuje obecně zobrazení cév. Lze ji provést buď invazivně pomocí angiografie katetrizační - tato metoda je s oblibou využívána jak pro přesné určení významnosti stenózy koronární tepny, tak pro možný intervenční výkon v průběhu vyšetření nebo neinvazivně s pomocí výpočetní tomografie (CT), případně pomocí magnetické rezonance (MR), ta se však v oblasti koronárních tepen rutině nepoužívá, Mezi modality, které mohou být v diagnostice ICHS nápomocné patří také perfuzní scintigrafie myokardu a magnetická rezonance, která kromě morfologie mohou zobrazit i viabilitu srdečního svalu. V této práci jsou popsány výše uvedené modality z vícero hledisek, zejména pak z úlohy radiologického asistenta. Cílem této práce dále bylo...
|
|
Bridge-hledání optimálních strategií
Cejnar, Pavel
Předkládáme teoretický model hry Bridge a její zjednodušené varianty. Na tomto teoretickém modelu konstruujeme algoritmus optimální protistrategie hráče proti dané strategii, dále algoritmus založený na iteraktivní metodě Brown-Robinson pro nalezení optimální strategie hráčů a také rozšírení této metody. V příloze jsou popsány algoritmy používané v komerčně prodávaných programech, jež pracují na heuristických principech.
|
|
Pravděpodobnostní modely a metody pro analýzu sportovních výsledků
Rambousková, Daniela
The statistical modelling on a sports field is in the process of a great development. Sports clubs have gradually changed into commercial companies and thus many possibilities how to take advantages of statistical instruments have emerged. Undoubtedly, the most popular task is the prediction of possible future results. The first part of this thesis summarizes the most interesting methods and types of solutions that were developed primarily for football matches. In this case the Poissons' regression models are mainly used. However, when the influences of time are taken into consideration, these models become more difficult and complicated for computations. The second part deals with the statistical survival analysis and random point processes and tries to find its utilization and connection with the predictions of the results of sports matches. On the basis of the Cox' regression model, a simple model for ice-hockey matches is derived here. This model estimates offensive and defensive forces of every team and other influences, for instance power plays and home environment. It describes the match as a random point process, where the time of scoring represents its random points. The model is applied on the data obtained from the first thirteen rounds of the Czech National Ice-hockey League and the received...
|
|
The influence of visceral fat mass to utilisation of energetic substrates
Antal, Rudolf ; Štich, Vladimír (vedoucí práce)
Obezita je charakterizovaná ako nadbytok tukového tkaniva. Existujú však rôzne typy tohto tkaniva a rozdielne miesta jeho výskytu v tele. Viscerálne tukové tkanivo sa ukázalo ako lepší indikátor pre obezitou spôsobené komplikácie ako celkové množstvo tuku v tele. Aktuálna štúdia sledovala 62 žien, ktoré boli rozdelené na dve skupiny, a to na skupinu neobéznych a obéznych. Pomocou výpočtovej tomografie sa zmeralo množstvo viscerálneho tukového tkaniva spolu s celkovým objemom telového tuku. Zároveň boli prevedené merania nepriamou kalorimetriou, získané údaje respiračného kvocientu(RQ) a kľudovej energetickej potreby(REE) sa spracovali a boli podrobené analýze. Cieľom je zistiť, do akej miery zasahuje viscerálne tukové tkanivo do oxidácie na substrátovej úrovni, či má jeho množstvo vplyv na využitie energetických substrátov
|
|
Pravděpodobnostní modely a metody pro analýzu sportovních výsledků
Rambousková, Daniela ; Saxl, Ivan (oponent) ; Volf, Petr (vedoucí práce)
The statistical modelling on a sports field is in the process of a great development. Sports clubs have gradually changed into commercial companies and thus many possibilities how to take advantages of statistical instruments have emerged. Undoubtedly, the most popular task is the prediction of possible future results. The first part of this thesis summarizes the most interesting methods and types of solutions that were developed primarily for football matches. In this case the Poissons' regression models are mainly used. However, when the influences of time are taken into consideration, these models become more difficult and complicated for computations. The second part deals with the statistical survival analysis and random point processes and tries to find its utilization and connection with the predictions of the results of sports matches. On the basis of the Cox' regression model, a simple model for ice-hockey matches is derived here. This model estimates offensive and defensive forces of every team and other influences, for instance power plays and home environment. It describes the match as a random point process, where the time of scoring represents its random points. The model is applied on the data obtained from the first thirteen rounds of the Czech National Ice-hockey League and the received...
|
|
Dlouhodobá zdravotně sociální péče
Myslíková, Zdeňka ; Bryndová, Lucie (vedoucí práce) ; Kameníček, Jiří (oponent)
Tato práce se zabývá otázkou dlouhodobé péče a jejího vymezení v rámci systému zdravotní a sociální péče spolu s analýzou faktorů, které budou poptávku a výdaje na tyto služby do budoucna zvyšovat. Na základě vymezení doporučovaných opatření, která by měla pomoci udržet růst nákladů na dlouhodobou péči v mezích, zjišťuje, že principy organizace dlouhodobé péče v České republice tato kritéria nesplňují a navíc již v současné době kvůli nepřehledně vymezeným kompetencím a pravidlům jsou generovány zvýšené náklady. Práce zjišťuje, že tyto náklady vznikají zejména protože racionální klienti mají prostor pro přenášení finančního břemene na veřejný sektor. Vzhledem k podmínkám nesystematického a neúplného vymezení dlouhodobé péče jako samostatného oboru se práce dále zabývá výpočtem skutečných celkových nákladů na formální dlouhodobou péči v České republice a též výpočtem tzv. ‚nákladů neefektivity'. Zabývá se též otázkou, nakolik mohou náklady na dlouhodobou péči růst s tím, jak budou stále více působit vlivy, jež mají na růst poptávky vliv. V poslední části práce je navržen možný způsob řešení financování dlouhodobé péče v České republice tak, aby byl transparentnější a spravedlivější. Powered by TCPDF (www.tcpdf.org)
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš ; Adámek, Jiří (oponent) ; Kofroň, Jan (vedoucí práce)
Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. Proto jsou tyto techniky zatím omezeny na relativně malé úlohy. Jednou z možností jak podstatně snížit počet stavů je modelování softwaru pomocí behavior protokolů. [1] Jedná se o regulární výrazy, které popisují chování softwarových komponent. Konkrétní implementace komponenty je tedy ověřena jen jednou oproti protokolu a při verifikaci celé aplikace je již skryta. Ta se pak redukuje na ověření toho, že protokoly komponent ze kterých se aplikace skládá k sobě pasují. Nicméně velikost i takto zjednodušeného stavového prostoru bývá typicky exponenciální vzhledem k délce popisu modelu. Distribuovaný průchod stavovým prostorem společně s jeho generováním 'za letu' [2] by měl ještě více rozšířit rozsah problémů zvládnutelných touto technikou.
|