Národní úložiště šedé literatury Nalezeno 9,649 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.32 vteřin. 

Differences in CO2 Extraction of Vegetable Oils, Essential Oils, and Minor Components from Plants
Sovová, Helena
Significant progress in understanding the phenomena that control supercritical fluid extraction from plants was made in the last years and is reflected in the literature. Combination of chemical engineering approach and botanical knowledge has appeared to be fruitful for the choice of extraction model and even for the prediction of extraction kinetics. This contribution refers to the papers utilizing knowledge of plant microstructure and location of extracted substances together with extraction equilibrium and attempts to specify the differences among extraction kinetics of vegetable oils, essential oils, and other substances. The most abundant substances like vegetable oils in seeds can be regarded in first approximation as non-interacting with plant matrix, in contrast to the minor components whose equilibrium concentration in CO2 is affected by their adsorption on matrix and often also by co-extracted substances.
Plný tet: SKMBT_C22012102414100 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF

Návrh metodiky řízení a správy incidentů a problémů a jejího využití ve vybrané organizaci
Holub, Adam ; Stanovská, Iva (vedoucí práce) ; Novák, Tomáš (oponent)
Práce se zabývá návrhem metodiky pro řízení a správ incidentů a problémů (issue), s využitím issue-trackingového nástroje. Cílem práce je takovou metodiku vytvořit a nasadit ji v konkrétní organizaci. Při vytváření Metodiky byly využity doporučené postupy získané ze zdrojových prací, a také autorovi praktické zkušenosti. V teoretické části páce jsou nejprve popsány přístupy, ze kterých vyvíjená Metodika vychází a přebírá některou jejich terminologii. Následně je vysvětleno, co to je issue-trackingový systém a je uveden přehled nejčastěji používaných issue-trackingových systé-mů. V praktické části je vytvářena samotná Metodika. Nejprve je popsána cílová skupina metodiky. Dále jsou definovány typy issue a role používané při práci s issue-trackingovým systémem. Následně je popsáno jak stanovit životní cyklus issue a jak pracovat s jeho atributy. Dále se práce věnuje reportování dat z issue-trackingového systému. Druhá kapitola praktické části práce se věnuje implementaci Metodiky do nástroje JIRA.

Návrh metodiky BI řešení v prostředí QlikView
Judová, Eva ; Pour, Jan (vedoucí práce) ; Kunst, Jan (oponent)
Tato diplomová práce se zabývá návrhem metodiky řešení BI projektů v prostředí QlikView. Hlavním cílem práce je navrhnout doporučený postup řešení reflektující slabá a silná místa při vývoji QlikView aplikací. Průvodní kapitolou do popisované problematiky je kapitola Business intelligence, vysvětlující principy, charakteristiky a důvody zavedení do společnosti. Součástí je vymezení rozdílů mezi tradičními a samoobslužnými řešeními, které slouží jako teoretické východisko pro pochopení zvyšující se atraktivnosti samoobslužných řešení a prostředí navrhované metodiky. Následující kapitola představuje společnost Qlik, jakožto lídra na trhu BI a vlastníka vedoucího produktu QlikView. Uvedeny jsou důvody jejího vzniku, následný vývoj a stávající vize pro vytvoření uceleného pohledu na prostředí, kde vznikl popisovaný produkt. Společně s kapitolou věnující se charakteristice a hlavním přednostem QlikView je tak vytvořena znalostní základna pro realizaci navrhované metodiky. Stěžejní kapitola této diplomové práce vychází z autorčiných zkušeností získaných při realizaci QlikView projektů. Navrhovaná metodika je založená na popisu jednotlivých fází, jejich činnostech, vstupech a výstupech a jejich konkrétní aplikaci v demonstračním prostředí pro oblast pohledávek výrobního podniku. Klíčovým přínosem autorky je upozornění na potenciální problémy během vývoje či poukázání na kritická místa anebo poskytnutí patřičných doporučení a přínosů navrhovaných postupů. Navrhovaná metodika může posloužit jako vhodný průvodce pro projekty samoobslužných řešení realizovaných v QlikView prostředí.

Ří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.

Geodiversity values as a basis for geosite and geomorphosite assessment: a case study from Žďárské vrchy Highland
Bajer, A. ; Kirchner, Karel ; Kubalíková, L.
Paper presents geodiversity values, geodiversity is understood as a set of geological, geomorphological and pedological components, including systems consisting of this components and geological, geomorphological and pedological processes. Geodiversity values are analyzed in relation to ecosystem values (e.g. cultural, functional value). Geodiversity values were used as basis for a methodical approach to geosite and geomorphosite assessment. Methodological approach is presented at selected sites in the top part of the Žďárské vrchy Highland. The acquired results can serve as a basis for geoconservation of PLA Žďárské vrchy, development of geotourism as well as an offer for extension geoeducational activities.\n

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.

Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; 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.