| |
|
Vývoj systému veřejného zdravotního pojištění a zdravotních pojišťoven v ČR v letech 2000 - 2015
Pecková, Tereza ; Lukášová, Tereza (vedoucí práce) ; Bartůsková, Lucia (oponent)
V bakalářské práci jsou analyzovány základní fondy zdravotních pojišťoven v České republice za období 2000-2015, především tvorba zdrojů a jejich čerpání a celý systém veřejného zdravotního pojištění v ČR. Základní fondy jsou jednou ze složek celkového hospodaření pojišťoven. Na začátku je potřeba si pro tuto analýzu popsat trh pojištěnců. Právě pojištěnci tvoří a čerpají finance v rámci veřejného zdravotního pojištění. Důležité jsou i příspěvky ze státního rozpočtu za státní pojištěnce. Můžeme konstatovat, že náklady zdravotních pojišťoven rostou a populace v ČR stárne. Ovšem nejedná se o rovnoměrný lineární růst. Počty starobních důchodců rostly mírnějším tempem, ale dle prognózy populačního vývoje by se měl výraznější nárůst starobních důchodců projevit v následujících letech. Výrazný nárůst v nákladech je zejména ve skupině pojištěnců nad 80 let a tohoto požehnaného věku by se mělo dožívat stále více lidí i vlivem modernějšího zdravotnictví.
|
|
Vývoj aplikace pokladního systému s podporou EET pro maloobchod
Nguyen Manh, Tho ; Pavlíčková, Jarmila (vedoucí práce) ; Bruckner, Tomáš (oponent)
Cílem této bakalářské práce je návrh a vývoj aplikačního softwaru pro pokladní systém. Hlavním kritériem vyvíjeného systému je podpora elektronické evidence tržeb, jež splňuje podmínky stanovené zákonem č. 112/2016 Sb., o evidenci tržeb. V rámci této práce je pokladní systém určen k podpoře prodejních procesů maloobchodu. Teoretická část je zaměřená na popis pokladního systému a jeho komponentů. K vyřešení problematiky elektronické evidence tržeb se provedl rozbor legislativy a analyzoval trh s pokladními systémy. Práce dále představuje analýzu procesů a požadavků, návrh řešení systému a implementace aplikace založené na jazyce Java. K otestování funkčnosti vytvořené aplikace se použil případový test. Závěrečná kapitola shrnuje obsah práce a nastiňuje možnosti budoucího vývoje. Výsledkem práce je funkční pokladní aplikace, která bude dostupná ke stažení pod open-source licencí. Tato práce by mohla dále sloužit jako podnikatelská příručka k porozumění problematiky pokladního systému a elektronické evidence tržeb.
|
|
Využítí nestrukturovaných dat v Business Intelligence
Rakhmanova, Malika ; Šperková, Lucie (vedoucí práce) ; Karkošková, Soňa (oponent)
Cílem bakalářské práce je identifikovat hlavní trendy, které se vyskytují na trhu Business Intelligence a týkají se nestrukturovaných dat, popsat možnosti pro integraci nestrukturovaných dat, objasnit, jaký vliv na podnik mají výsledky, které lze získat pomocí těchto řešení, a jak celkově zakomponovat analýzu nestrukturovaných dat do BI. Dalším cílem je ukázat současnou situaci zpracování nestrukturovaných dat na trhu na příkladu systému BI. Práce je rozdělená do několika částí. Nejdřív je popsaná problematika a základní komponenty Business Intelligence, dále identifikace trendů na trhu. Potom následuje další část: rozdělení dat na strukturované a nestrukturované. Zde je část o tom, jak se dá přistupovat a analyzovat nestrukturovaná data a jaké mají místo v BI. Tímto se končí blok nestrukturovaných dat a začíná popis rozšířené verze BI. Nakonec je představena současná situace na trhu a nástroje BI, které zahrnují nestrukturovaná data. Tato část poskytuje přehled o tom, jak nástroje přistupují k analýze nestrukturovaných dat. Ke zpracování práce je použita odborná literatura, profesionální i volně dostupné internetové zdroje. Smyslem práce je posloužit jako informační zdroj pro rychlé zorientování v současné situaci, sloužit jako průvodce světem BI řešení a ukázat potenciálním uživatelům, jaké jsou možnosti a funkcionality těchto řešení.
|
|
Nákladovost, zpeněžování a rentabilita podniku
KOPEČKOVÁ, Michaela
Cílem diplomové práce je provést analýzu výnosů, nákladů a výsledku hospodaření zvoleného výrobního podniku včetně podrobnější analýzy nákladovosti, zpeněžování a rentability vybraných výrobků podniku. Pro tuto analýzu je vybrán podnik působící v automobilovém průmyslu a pro výrobkovou analýzu jsou vybrány automobilové součástky, které tvoří výrobní program firmy. Sledovaným obdobím jsou roky 2007 až 2011.
|
|
Mikrobiota trávicího traktu včel a příbuzného hmyzu a faktory ovlivňující její složení
Hroncová, Zuzana ; Havlík, Jaroslav (vedoucí práce) ; Kalous, Lukáš (oponent)
Disertační práce se skládá ze šesti výzkumných kapitol, z nichž pět již bylo publikováno ve vědeckých časopisech, jeden je v oponentském řízení a poslední kapitola představuje originální nepublikovaná data v procesu přípravy rukopisu.
Výzkum prezentovaný v této práci se zabývá složitými mechanismy imunitního systému včel a vos, se zaměřením na mikrobiotu jako součást imunity. Jak je popsáno v úvodu, sociální hmyz, jako včely a čmeláci, hrají klíčovou roli v ekosystémech po celém světě. Nedávné ztráty včel jsou připisovány používání pesticidů, špatné výživě, zvýšenému infekčnímu tlaku a ničení přírodních stanovišť. Během několika posledních let se včelaři i široká veřejnost zabývají úbytky včelstev po celém světě a dožadují se dalšího výzkumu zaměřeného na řešení těchto problémů. Naším hlavním cílem bylo prozkoumat vazby střevní bakteriální populace včel a příbuzných druhů, jejich propojení s imunitou a zjistit možnosti ovlivnění těchto vztahů prostřednictvím suplementace. Součástí cíle bylo charakterizovat střevní mikrobiotu čmeláků a vos pomocí 16S RNA sekvenování, použitého při hledání potenciálně nových bakteriálních druhů.
V práci jsme se snažili objasnit, jak mikrobiom interaguje s hostitelem a prokázat, že hlavní členy těchto komunit ho pozitivně ovlivňují. Bakteriální komunity nacházející se v trávicím traktu včel, jsou ideálním modelem pro zkoumání evolučních a genetických vztahů. Informace založené na našich výsledcích můžou díky objasněným fyziologickým podmínkám v trávicím traktu včel pomoci při vývoji vhodných probiotických preparátů.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Optimalizace testu digitálního obvodu multifunkčními prvky
Stareček, Lukáš ; Gramatová, Elena (oponent) ; Kubátová, Hana (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato práce se zabývá možností optimalizace testu číslicových obvodů pomocí multifunkčních logických hradel. Nejdůležitější částí práce je vysvětlení samotného principu optimalizace, který je popsán také formálními matematickými prostředky. Na základě tohoto popisu je v práci prezentováno několik možností využití. Ukázána je optimalizace testovatelnosti obdobná metodě vkládání testovacích bodů a jednoduchá metodika založena na základě SCOAP. Těžištěm práce je však metodika, která byla vytvořena pro optimalizaci testu obvodu. Ta byla implementována v podobě softwarových nástrojů. V práci jsou následně prezentovány výsledky použití těchto nástrojů na úloze snížení počtu testovacích vektorů se zachováním pokrytí poruch pro různé obvody včetně testovací sady ISCAS 85. Část práce je věnována také různým principům a technologiím tvorby multifunkčních logických hradel. Některá vybraná hradla z těchto technologií jsou podrobena simulacím elektronických vlastností ve SPICE. Na základě principů prezentované metodiky a výsledků simulací multifunkčních hradel je také provedena analýza a rozbor různých problémů jako je platnost testu modifikovaného obvodu a vhodnost jednotlivých technologií multifunkčních hradel pro danou metodiku. Výsledky analýz a provedených experimentů je potvrzeno, že pomocí multifunkčních hradel lze optimalizovat diagnostické vlastnosti obvodu takovým způsobem, aby došlo k požadovaným úpravám parametrů výsledných testů obvodů při minimálních dopadech na kvalitu a věrohodnost těchto testů.
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Gramatová, Elena (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
host ::
