|
Strukturální fondy a politiky Evropské unie
Hynková, Veronika ; Slonková, Vlasta (vedoucí práce) ; Hitzgerová, Vlasta (oponent)
Bakalářská práce je zaměřena na popis politik Evropské unie. Jedná se konkrétně o zemědělskou, regionální a sociální politiku jako tři významné oblasti pro rozvoj EU. Významným prvkem pro rozvoj jsou také strukturální fondy a Kohezní fond jako finanční mechanismy ve všech členských zemích. Práce je zaměřena na popis těchto politik a fondů na evropské úrovni i s ohledem na jejich implementaci v podmínkách ČR. Tato práce si tak klade za cíl ukázat změny, které nastaly ve srovnání období 2004 ? 2006 s novým obdobím 2007 ? 2013 na evropské i české úrovni.
|
|
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.
|
|
SOA a cloud computing
Křepela, Josef ; Karkošková, Soňa (vedoucí práce) ; Feuerlicht, Jiří (oponent)
Primárním cílem této bakalářské práce je popis fungování cloud computingu, vlastností SOA (servisně orientovaná architektura), jejich synergie v návaznosti na SOA Governance. Počátkem teoretické části bakalářské práce budou vysvětleny některé důležité pojmy a principy cloud computingu, popsány jednotlivé modely nasazení a modely služeb, SWOT analýza cloud computingu. V následující kapitole je rozebrána servisně orientovaná architektura. Třetí kapitola popisuje společné rysy cloud computingu a SOA, jejich synergii. Poslední kapitola se zabývá řízení SOA (SOA Governance). Praktická část této práce se zabývá modelování řídících procesů SOA Governance a jejich souvislost s poskytovatelem služeb.
|
|
Architektonický refaktoring databáze
Nguyen Trung, Hoa ; Palovská, Helena (vedoucí práce) ; Krch, David (oponent)
Tato bakalářská práce se zabývá problematikou architektonického refaktoringu databáze. Cílem práce je detailně popsat jednotlivé metody architektonického refaktoringu databáze a následně názorně ukázat na vlastních příkladech, jaký je postup aktualizace databázového schématu, a nastínit postup změny zdrojového kódu aplikace. Nejprve je vysvětleno, co vůbec refaktoring znamená a v čem se refaktoring databáze liší od klasického refaktoringu. Následuje podrobný popis jednotlivých metod architektonického refaktoringu, kde je zachycena podstata refaktoringové metody spolu s jejími výhodami a možnými riziky. V další části jsou uvedeny vlastní příklady k jednotlivým metodám, kde se aplikují postupy z teoretické části. Na závěr se zhodnotí splnění cílů, přínos práce a námět na rozšíření stávající práce.
|
|
Analysis and implementation process of system Prosoft for a hospital
Grečner, Eduard ; Pour, Jan (vedoucí práce) ; Fortinová, Jana (oponent)
Hlavním cílem této bakalářské práce je analyzovat informační systém od společnosti Prosoft a jeho současný stav využití v nemocnici v Košicích. Práce se dělí na dvě části. V první části je přiblížena společnost Prosoft jako taková, ale také produkty a služby které nabízí. V druhé části práce se dozvíme i o požadavcích na nemocnici a požadavcích nemocnice na společnost, ale hlavní částí je analýza funkcionality systému a později popis jeho implementace. Výsledkem této práce je představení užitečných informací o informačním systému navrženého speciálně pro zdravotnická zařízení. Stejně byly navrženy určité vylepšení, které by systému pomohly k větší efektivitě a oblíbenosti.
|
|
Cesta polky do opery Prodaná nevěsta
Adams, Tereza ; FRIČOVÁ, Marie (vedoucí práce) ; GREMLICOVÁ, Dorota (oponent)
Tato diplomová práce obsahuje popis tance polka, její vznik a krátkou historii. Další část je věnována opeře Bedřicha Smetany „Prodaná nevěsta“ od jejího vzniku, přes další uvedení v Národním divadle v Praze až k její současné inscenaci. V závěrečné části jsou popsány tři vybrané choreografie polek z této opery a jejich analýza podle modelu Janet Adshead – Lansdale. Přílohy obsahují životopisy Bedřicha Smetany a choreografů vybraných inscenací – Otto Šandy, Pavla Šmoka a Ladislavy Košíkové.
|
|
Stanovení obsahových látek u vybraných druhů a odrůd růží.
Slavíková, Eva ; Sus, Josef (vedoucí práce) ; Súkeníková, Tereza (oponent)
Tato bakalářská práce je zaměřena na porovnání nejvýznamnější obsahové látky s významnými antioxidačními účinky, vitaminu C, v plodech vybraných druhů a odrůd růží. Bylinné přípravky jsou mnohdy lidmi vnímány jako prostředky "druhé volby" při neúspěchu alopatické léčby, která je zaměřena především na potlačování symptomů nemoci, pomíjí však zdraví celého člověka. Bylinné přípravky jsou proto častou alternativou pro terapii vleklých chronických onemocnění. Podkladem práce je rozsáhlá literární rešerše a výsledky měření provedených v laboratoři. Literární část práce obsahuje popis botanického zařazení rostlin růží, je zde uvedena základní charakteristika jednotlivých druhů růží a jejich morfologické znaky. V následujících kapitolách je zpracován přehled o účinných látkách obsažených v plodech růží a jejich vliv na zdraví člověka. V praktické části bakalářské práce obsahuje výsledky laboratorních testů pro zjištění obsahu kyseliny askorbové u jednotlivých druhů vzorků plodů růží, a dále obsahuje i výsledky vážení a měření jednotlivých druhů vybraných vzorků plodů růží. V úvodu praktické části jsou uvedeny i vybrané druhy růží a jejich stručný původ a popis. Pro účely praktické části byly vybrány vzorky druhů Rosa canina L. - růže šípková, Rosa davidii Crép. - růže Davidova, Rosa glauca POURR. - růže sivá, Rosa moyesii HEMSL. et WILS. - růže Moyesova, Rosa multibracteata HEMSL. et WILS. - růže mnoholistenová, Rosa nitida WILLD. - růže lesklá, Rosa pimpinellifolia L. - růže bedrníkolistá, Rosa rugosa THUNB. - růže svraskalá, Rosa 'Provins rose' a Rosa 'Sissinghurst Castle'. Výsledky praktické části jsou zpracovány do tabulek a grafů a potvrzují vysoký obsah vitaminu C v plodech růží. Tento obsah se pohybuje v rozmezí cca 300 - 900 mg.100 g-1. Vzhledem k rostoucímu zájmu o alternativní léčebné přístupy a "čisté" přírodní produkty lze předpokládat, že řada rostlin z čeledi Rosaceae si i nadále zachová své místo v léčebné praxi. Díky svým rozmanitým účinkům a možnostem zpracování budou kromě léčby akutních i chronických onemocnění využívány i při výrobě kosmetických přípravků.
|
|
Návrh a implementace e-learningu v zájmové oblasti
Marešová, Nikola ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce s názvem "Návrh a implementace e-learningu v zájmové oblasti" se zabývá problematikou nákupu ojetých vozů. Stěžejní část práce spočívá v tvorbě e-learningového kurzu, jehož cílem je zlepšit informovanost kupujících a zájemců o tuto oblast. Účastníci kurzu získají přehled o nejčastějších situacích a problémech, se kterými se mohou při koupi ojetého vozu setkat. Teoretická část představuje přehled témat problematiky nákupu ojetých vozů. Může posloužit jako teoretické vodítko k vlastnímu kurzu, přibližuje jeho obsah. Témata jsou sestavena na základě analýzy informací z tištěných a elektronických zdrojů, doplněných zkušenostmi autorky a odborníky z oboru. Praktická část se věnuje sestavení e-learningového kurzu. Obsahuje analýzu potřeb kupujících, důvody tvorby kurzu a požadavky na něj, jeho cíle, popis použitého nástroje eXe a názorný postup od vytváření kurzu po jeho zveřejnění v krocích. Vše doplňuje zpětná vazba od šesti dobrovolníků, kteří projevili zájem si kurz otestovat a následně ho zrecenzovat. Před tvorbou kurzu bylo nutno provést analýzu situace a zjistit, proč je takový kurz potřeba. Nabyté poznatky byly poté v kurzu zpracovány metodou syntézy. Pro evaluaci byla využita metoda krátkého osobního rozhovoru, kde autorka zjišťovala spokojenost s kurzem, jeho případné nedostatky a návrhy pro vylepšení či rozšíření.
|
|
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.
|
|
Simulační architektura založená na službách
Polášek, Petr ; Sklenář, Jaroslav (oponent) ; Kavička,, Antonín (oponent) ; Češka, Milan (vedoucí práce)
Tato práce se zabývá problematikou návrhu, modelování a simulace heterogenních systémů, s důrazem na systémy založené na diskrétních událostech. Mezi hlavní přínosy této práce patří návrh simulační architektury založené na službách a vytvoření chybějícího formátu pro popis diskrétních modelů. Možnosti navržené architektury jsou představeny na použití jejích nejdůležitějších komponent v případových studiích. V neposlední řadě práce mapuje oblast systémů založených na diskrétních událostech, se zaměřením na jejich návrh, modelování a simulaci včetně existujících podpůrných prostředků a nástrojů a jejich vzájemnou integraci.
|
host ::
