|
Porovnání tvorby cytokinů novorozeneckými leukocyty dětí zdravých a alergických matek.
Dusilová, Adéla ; Hrdý, Jiří (vedoucí práce) ; Janatková, Ivana (oponent)
Rostoucí incidence alergických onemocnění u dětí by mohla být způsobena senzibilizací nezralého imunitního systému během intrauterinního vývoje. Několik významných vědeckých prací prokázalo schopnost buněk pupečníkové krve odpovídat zvýšenou proliferační aktivitou na stimulaci běžnými alergeny. V návaznosti na tyto poznatky předkládaná studie sleduje tvorbu cytokinů hrajících roli v pro i proti alergenním ladění imunitního systému. Buňky pupečníkové krve byly stimulovány polyklonálními aktivátory (fytohemaglutinin) a běžnými alergeny (ovalbumin, bojínek, bříza, roztoč). Následně pak byla sledována tvorba cytokinů využitím vybraných metod, které odrážejí různá stádia aktivace buňky - na úrovni mRNA pomocí kvantitativního real time PCR (qRT-PCR), detekcí přítomnosti intracelulárních cytokinů v jednotlivých buněčných subpopulacích průtokovou cytometrií a měřením koncentrace cytokinů v supernatantech kultur CBMC pomocí ELISA metody. Dosažené výsledky poukazují na velmi slabou schopnost uvedených běžných alergenů (bojínek, bříza, roztoč, ovalbumin) stimulovat CBMC k tvorbě cytokinů sledovaných všemi uvedenými metodickými postupy. Ačkoliv jsme nepozorovali signifikantní rozdíly v produkci cytokinů (IL-2, IL-4, IL-10, IL-12, IL-13, IL-17, IFN-γ, TGF-β) CBMC po stimulaci alergeny (OVA, BOJ, BRI, ROZ) mezi...
|
| |
|
Navrhování experimentů pro nestacionární produkční procesy
Jadrná, Monika ; Macák, Tomáš (vedoucí práce)
Disertační práce se zaměřuje na oblast služeb a oblast hromadné výroby. Konkrétně se jedná o optimalizaci produktového portfolia cestovní kanceláře a optimalizaci výroby nábojů.
V literárních východiscích je vysvětlena terminologie z oblasti rozhodování a popsány metody, které jsou používány pro podporu rozhodování. Jedná se o aktuální přehled řešené problematiky a definování základních pojmů. Teoretická východiska výzkumu jsou v oblasti služeb zaměřena na volbu vhodných vstupních proměnných. V oblasti výroby pak na volbu konkrétního materiálu a vhodného vybavení pro danou výrobu. Literární východiska a teoretická východiska výzkumu současně tvoří základ pro praktickou část práce.
V praktické části disertační práce je zvolen konkrétní podnik působící v daném odvětví. V oblasti služeb je optimalizováno produktové portfolio pomocí Fuzzy logiky a Fuzzy množin, tak aby firma působící v dané oblasti byla schopna se uplatnit a fungovat na současném vysoce konkurenčním trhu. V oblasti výroby je nastaveno optimální složení produktu tak, aby bylo dosahováno jeho požadovaných vlastností.
Hlavním cílem disertační práce je návrh metodického přístupu pro řízení vybraných podnikových procesů při jejich nestacionárním časovém průběhu. V praktické realizaci je cílem verifikovat funkčnost navrženého metodického přístupu, jak v oblasti služeb, tak v oblasti hromadné výroby.
|
|
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.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
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ů.
|
|
Zavedení kontaktních testů ekotoxicity pro hodnocení terrestrických ekosystémů
Modlitbová, Pavlína ; Kráčmar, Stanislav (oponent) ; Beklová, Miroslava (oponent) ; Demnerová, Kateřina (oponent) ; Vávrová, Milada (vedoucí práce)
Tématem předložené dizertační práce bylo provedení testů toxicity s využitím testovacího organismu ze zástupců suchozemských stejnonožců Porcellio scaber. Tento testovací organismus byl zvolen jako nejvhodnější pro posouzení toxicity vybraných anorganických sloučenin kontaminujících terestrický ekosystém. Jeho výběr byl proveden na základě důkladně zpracované metodiky tohoto testu, dále známých biologických a biochemických vlastností výše specifikovaného živého organismu, případně na jeho ekologické relevantnosti. Kromě klasických endpointů, jakými jsou mortalita, změna hmotnosti testovacích jedinců a také vliv přítomnosti a koncentrace kontaminantů na konzumaci stravy, byly rovněž sledovány změny v morfometrické charakteristice, a to na úrovni tkání a buněk, cytotoxicita a rovněž byla posuzována možná bioakumulace v různých částech těla tohoto organismu. Vybrané testované látky lze zařadit do oblasti nanočástic a anorganických solí. U vybraných nanočástic zlata byla provedena kompletní ekotoxikologická studie na několika úrovních organizace živé hmoty (organismus, tkáň, buňka). Pro vybrané soli byla provedena studie, která byla zaměřená především na chování organismů a klasické endpointy.
|
|
Metodologie spolupráce režiséra s hercem a současná divadelní praxe
Glogrová, Kateřina ; BURIAN, Jan (vedoucí práce) ; HRBEK, Daniel (oponent)
Práce se zabývá spoluprací režiséra s hercem během jednotlivých fází inscenačního procesu tak, jak probíhají v běžném divadelním provozu. Jednotlivé fáze inscenačního procesu jsou doplněny vlastní zkušeností autorky s vedením herců, které nabyla především v rámci svého studia na Divadelní fakultě AMU. V druhé části autorka zkoumá problematiku vnitřní pravdivosti a možnosti jejího dosažení v rámci inscenace i hereckého projevu. Součástí přípravy na magisterskou práci byl výzkum, který zahrnoval rozhovory se třemi profesionálními režiséry - Hanou Burešovou, Ladislavem Smočkem a Štěpánem Páclem, jejichž metodu práce autorka popisuje. V závěru práce autorka konstatuje, že je složité vyvozovat obecné závěry o spolupráci režiséra s hercem, která má vždy subjektivní povahu, a že stejně těžko uchopitelná je v obecné rovině i problematika vnitřní pravdivosti. Právě díky mnohosti možností však neztrácejí svou přitažlivost pro další zkoumání.
|
|
Specifika ošetřovatelské péče u klientů/pacientů s komplikacemi po selektivní koronarografii/PTCA
BLÁHOVÁ, Ilona
Abstrakt V současné době není pochyb o tom, že v České republice dochází k postupnému prodlužování střední délky života, což významně ovlivňuje i fakt, že se snižuje mortalita kardiovaskulárních onemocnění, zvláště pak u onemocnění akutními koronárními syndromy. Vedle prokazatelného efektu zdravého životního stylu, diety a samozřejmě i kvalitní a účinné farmakoterapie se na tomto úspěchu podílí i významný rozvoj na poli intervenční kardiologie. Počty koronarogrfií, koronárních angioplastik a implantací stentů se několikanásobně zvýšily a v dnešní době patří invazivní koronarografická diagnostika a perkutánní revaskularizace myokardu mezi nejčastější diagnostické a terapeutické metody v léčbě akutních forem ischemických chorob srdečních. Samozřejmým a nezbytným předpokladem takového rozmachu na poli intervenční koronarografie bylo i vytvoření dostatečně husté sítě katetrizačních laboratoří a specializovaných pracovišť, kde by byla zajištěna vysoce odborná a intenzivní péče o pacienty. Tato diplomová práce se zaměřilo na tři základní cíle: ? Zmapovat a charakterizovat odlišnosti ošetřovatelské péče v rámci různých komplikací u pacientů po SKG/PCI ? Zmapovat bio/psycho/sociální dopady komplikací po SKG/PCI na pacienta ? Zjistit a sumarizovat personální a materiální předpoklady a potřeby pro kvalitní zajištění ošetřovatelské péče u těchto komplikovaných stavů V rámci této práce probíhal výzkum s využitím kvalitativní metodologie. Využity byly metody pozorování, nestandardizovaných rozhovorů a analýzy lékařské a ošetřovatelské dokumentace. Výzkumnými vzorky na které bylo šetření zaměřeno byly pacienti s akutním koronárním syndromem hospitalizovaní na koronární jednotce Kardiocentra v Českých Budějovicích, dále jejich rodinní příslušníci a v neposlední řadě i ošetřovatelský tým zajišťující komplexní ošetřovatelskou péči. Výsledkem této studie bylo jedenáct popisných kazuistik charakterizující výskyt nejčastějších komplikací u pacientů s ACS po SKG/PCI. Pro větší přehlednost je každá kazuistika doplněna o myšlenkovou mapu s výčtem nejdůležitějších ošetřovatelských intervencí v rámci zvládnutí specifického akutního stavu. Studie obsahuje dále rámcovou analýzu bio/psycho/sociálních dopadů komplikovaných stavů na pacienty. Zajímavé je srovnání této problematiky z pohledu sester a pacientů, jež zachycují srovnávací grafy. Oblast věnovaná organizačně personálnímu zajištění obsahuje nejprve charakteristiku chodu a je doplněna o přehledy personálního osazení ošetřovatelským týmem a jejich kvalifikací a zmapováním délky praxe v oboru na Koronární jednotce v Českých Budějovicích. Zpracování sumarizace materiálně přístrojového vybavení vychází rovněž z analýzy předchozích případů a je doplněna fotografiemi přístrojového vybavení, typického a nezbytného pro péči o nemocné na KJ a v rámci práce má především informační a doplňující charakter k ucelení pohledu na provoz koronární jednotky a práci ošetřovatelského personálu.
|
|
Konkurence politických uskupení v obecních zastupitelstvech a veřejné zakázky
Palguta, Ján
Česká města a obce ročně hospodaří s 23,9 % veřejných výdajů (cca 10 % HDP). Přibližně polovina z těchto výdajů se realizuje veřejnými zakázkami. Jde tedy o nezanedbatelnou část veřejných financí, která si zaslouží pozornost. Tato analýza ukazuje, že na zadávání veřejných zakázek má výrazný vliv složení městských a obecních zastupitelstev. Použitá metodologie umožňuje poměrně věrohodně interpretovat zjištěné souvislosti jako kauzální a nikoliv jen jako korelace.
|