| |
|
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.
|
|
Řízení IS/ICT se zaměřením na sourcing služeb informačního systému
Šebesta, Michal ; Voříšek, Jiří (vedoucí práce) ; Havlíček, Zdeněk (oponent) ; Příklenk, Oldřich (oponent) ; Král, Jaroslav (oponent)
Předmětem odborného výzkumu je sourcing již několik desítek let. Evoluce v oblasti informačních systémů v poslední době charakterizovaná především komoditizací ICT služeb však významně mění celkový kontext rozhodování. Služby dostupné na vyžádání přes Internet umožnují organizacím implementaci požadovaných funkcí oproti dřívější době za zlomek času. Tento trend znamená významnou šanci pro organizace, které by rády využily pokročilé ICT služby, bez nutnosti vysokých investic. Problémem je současný nedostatek metod a nástrojů pro řízení služeb informačního systému a jejich outsourcing. Vzhledem k vývoji a trendům na trhu ICT služeb lze očekávat, že v budoucnu velká část řízení IT bude zahrnovat ICT služby a strukturované řízení jejich úrovně. Současně dostupné metody jsou buď příliš široké, anebo naopak zahrnují pouze malou část celého problému. Nahodilá a nepodložená rozhodnutí v této oblasti mohou způsobit značné komplikace z hlediska kvality, využitelnosti, integrace, a v důsledku toho významně ovlivnit celkové náklady na IT daného podniku. Organizace musí buď revidovat existující modely, anebo navrhnout a zavést zcela nové modely řízení svého IS/ICT. Tato disertační práce se zabývá řízením IS/ICT se zaměřením na sourcing služeb informačního systému. Diskutuje dostupné sourcingové modely uváděné v literatuře a propojuje je se souvisejícím oblastmi. Na základě těchto oblastí pak prezentuje integrovaný pohled na možné strategie sourcingu IT. Především pak práce navrhuje originální concept rozhodování o sourcingu ICT služeb nazvaný SOURCER framework. Tento přístup navazuje na zmínené strategie sourcingu, a předkládá komplexní metodiku a kritéria pro rozhodování. Ty pomohou organizacím s výběrem ICT služeb s cílem udržování a řízení co nejvhodnějšího portfolia ICT služeb. Rozhodování je založeno na čtyřech základních pohledech: funkce, cena, čas, a kvalita. Tyto pohledy jsou diskutovány, individuálně analyzovány, a slouží jako základ pro další zkoumání. Celý framework je vyvíjen a validován s využitím přístupu Design Science Research Methodology (DSRM). Individuální komponenty jsou vyhodnoceny s využitím průzkumu mezi vybranými IT manažery. Další ověření přístupu je pak zajištěno realizováním případové studie, která mapuje reálné využití frameworku v organizaci. Tato případová studie zahrnuje specifikaci strategie, business--IT alignment, specifikace architektury služeb a její propojení, sourcing, and řízení portfolia ICT služeb.
|
|
Budování a využívání menších počítačových sítí
Kyzivát, Marek ; Pinkas, Otakar (vedoucí práce) ; Šmejkal, Ivo (oponent)
Práce popisuje původní stav počítačové sítě Základní školy a Mateřské školy Ohradní (ZŠMŠ Ohradní) v Praze 4 a následně její rekonstrukci, na které jsem se z velké částí podílel. ZŠMŠ Ohradní se skládá ze čtyř pavilonů a z jedné budovy na druhé straně ulice. Cílem této práce je zhodnotit původní stav sítě a poukázat na nedostatky, které jsme zjistili. Nedostatky jsme zjistili zátěžovými testy v provozu, měřením datové kabeláže a celkovou analýzou. Původní síť měla přenosovou rychlost pouze 100Mb/s. Spolu s kolegou Pocem jsem správcem této sítě. Dále představím novou podobu sítě, která má zjištěné nedostatky napravit a zároveň poskytnout nové možnosti na základě novějších technologií. Popíši její strukturu, adresní rozdělení, aktivní a pasivní prvky, a nakonec provozované služby. Nová síť disponuje připojením 1Gb/s a v brzké budoucnosti bude páteř sítě dosahovat rychlosti 10Gb/s. Přínosem rekonstrukce je rychlejší, stabilnější a modernější síť, která usnadní práci zaměstnancům ZŠMŠ Ohradní. K celkovému zlepšení sítě jsem přispěl hlavně měřeními. Podílel jsem se na návrhu a realizaci nové podoby datové sítě. Spolupracoval jsem s kolegou Pocem na konfiguraci aktivních prvků a síťových služeb rekonstruované sítě.
|
|
Expected development of Business Intelligence applications in the coming years
Aschmann, Jakub ; Pour, Jan (vedoucí práce) ; Fortinová, Jana (oponent)
V této bakalářské práci se zabývám vývojem Business Intelligence aplikací. Hlavní oblastí je jejich potenciální vývojový směr v příštích letech, věnuji se i jejich historii a jednotlivým komponentům. K získání potřebných znalostí jsem prostudoval potřebné materiály a elektronické publikace. V kapitole číslo 3 se věnuji definici BI, v příští píšu o jednotlivých komponentech a v poslední kapitole se věnuji vývoji v budoucnosti. Tato práce může poskytnout ucelené znalosti a trendy oblasti business intelligence čtenářům, kteří se zajímají o tuto oblast a hledají o ní komplexní informace.
|
|
Návrh marketingové strategie ve společnosti Imperium Finance
Petrovič, Marko ; Čermák, Radim (vedoucí práce) ; Sova, Martin (oponent)
Internetový marketing je v současnosti jednou z nejdůležitějších složek marketingu. Avšak internetový marketing jako celek je mnohem důležitější než pouhý webdesign, pouhá optimalizace pro vyhledávače (SEO) nebo pouhá PPC reklama. Většina firem si donedávna vystačila s webovými stránkami a tím byla jejich prezentace na internetu hotová. Nicméně internet je jednou z nejrychleji se rozvíjející technologií současnosti a každým rokem roste počet jeho uživatelů. Neustále se objevují nové technologie, které umožňují lepší uživatelský komfort a které také přinášejí nové způsoby prezentace a propagace. Většina společností udělá chybu již na začátku a podcení přípravu, neznají své cíle, zákazníky nebo konkurenci. Internetový marketing je proces. Obsahem tohoto procesu je poznání, analýza, návrh, realizace a nakonec i ověření, zda bylo dosaženo cílů organizace. V teoretické části je definován internetový marketing a jeho výhody oproti offline marketingu. Stručně je zde shrnuta historii a hlavní milníky internetového marketingu, které formovaly jeho současnou podobu. Dále jsou popsány současné trendy internetového marketingu a detailněji rozebrány vybrané nástroje internetového marketingu a nástroje pro vyhodnocení úspěšnosti kampaní. V praktické části se zabývám návrhem marketingové strategie ve společnosti Imperium Finance s.r.o. Hlavním cílem práce je zanalyzovat požadavky společnosti Imperium Finance s.r.o., z analýzy vyvodit konkrétní závěry a navrhnout marketingovou strategii, která podpoří vizi a strategii firmy v následujícím období. Veškeré kroky probíhaly přímo ve společnosti Imperium Finance na reálných datech od aktivních klientů a testovány v ostrém chodu společnosti. Výsledkem je pak návrh marketingové strategie, kterou se bude Imperium Finance řídit, a to v podobě marketingového plánu společnosti. Největším přínosem práce je tak reálné využití teoretických poznatků v praxi.
|
|
Effect of low doses of herbicide paraquat on antioxidant defense in Drosophila
SÁBOVÁ, Michala
Disruption of cell equilibrium between production of free radicals and antioxidant defence is named oxidative stress. The main component of antioxidant mechanism is activity of antioxidant enzymes, which include superoxide dismutase (SOD) and catalase. In this study we evaluated the effect of herbicide paraquat on response of SOD and catalase, their transcription level and locomotion activity in Drosophila melanogaster. We exposed the flies to a wide range of paraquat concentration. Our results revealed that transcript and enzymatic levels of both SOD and catalase have a similar biphasic dose response with the peaks at 2,5 ?M paraquat concentration, resembling hormetic effect. Then, males were more sensitive than females. However, females had an increased locomotion activity. We found that paraquat susceptibility is increased in males and mating flies. Therefore, this study supports hypothesis of stress sensitivity elevation as a physiological cost of reproduction.
|
|
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.
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
host ::
