|
Micro-electromembrane extraction across multiple aqueous and organic phases for selective pretreatment of raw biological samples
Kubáň, Pavel ; Boček, Petr ; Seip, K. F. ; Gjelstad, A. ; Pedersen-Bjergaard, S.
Micro-electromembrane extraction (μ-EME) across multiple aqueous and organic\nsolutions was developed for selective extractions of various analytes from untreated\nbiological samples. The novel approach requires μL volumes of samples and organic\nsolvents, which form consecutive immiscible plugs in a transparent polymeric capillary\nand the extraction process is accelerated by application of d.c. voltage. Number of the\nplugs, their composition, volume and sequence in the extraction capillary can be chosen\nspecifically for each particular application and high variability and selectivity of the\nextraction process can be achieved. In this contribution, we demonstrate suitability of\na five-phase μ-EME system for simultaneous extractions of cations and anions from\nurine and for selective extractions of basic analytes based on their acid-base strength\nfrom plasma.
|
|
Role evropských projektů v rozvoji Jesenicka
Rybářová, Hana ; Perlín, Radim (vedoucí práce) ; Szczyrba, Zdeněk (oponent)
Diplomová práce se zabývá analýzou role projektů přeshraniční spolupráce v modelovém území Jesenicka, jejich přispěním k rozvoji přeshraničních sítí kontaktů a socioekonomickému rozvoji sledovaného území. Zkušenosti z přeshraničních regionů západní Evropy nasvědčují, že rozvoj přeshraniční spolupráce a překonání tzv. měkkých bariér se ani v zavedených euroregionálních strukturách západní Evropy nepodařilo zcela docílit. Z tohoto důvodu jsou studovány efekty projektů v českopolském pohraničí. Metodologicky je práce zarámovaná procesem indukce a důraz je při výkladu reality kladen na aktéra rozvoje a jeho "agency". Hlavní metodou je případová studie dovolující jak zasazení projektů do širšího kontextu regionu, tak studium faktorů, které úspěšnost projektu podmiňují. Analytický rámec empirických dat tvoří vybrané institucionální teorie regionálního rozvoje a poznatky ze sociálněgeografického studia pohraničí. Z provedených analýz vyplývá, že projekty přeshraniční spolupráce se podílejí na vytváření důvěry ve sledovaném území, avšak celkově jejich role dosud nespočívala v podnícení vzniku pevných partnerství prospěšných pro rozvoj regionu.
|
|
Nové postupy v diagnostice a léčbě vybraných endokrinopatií
Ježková, Jana ; Marek, Josef (vedoucí práce) ; Haluzík, Martin (oponent) ; Vladyka, Vilibald (oponent)
Je známou zkušeností, že hyperkortizolismus urychluje aterosklerotické děje. Ty je možné sledovat ultrazvukovým vyšetřováním karotid a nověji též vyšetřováním cévní mikrocirkulace laser-Dopplerovskou metodou. Pro urychlení aterosklerotických změn u nemocných s Cushingovým syndromem jsou nesporně důležité známé faktory: hypertenze, obezita a hyperlipidemie. К nim se počítá zvýšená inzulínová rezistence, ale nemocní s floridním hyperkortizolismem mají normální hladiny glykemie a imunoreaktivního inzulínu. К aterogenezi u floridního hyperkortizolismu může přispívat zvýšená tvorba volných kyslíkových radikálů vznikajících při oxidaci lipidů a zvýšené hladiny pozitivního proteinu akutní fáze-orosomukoidu. Imunosupresivní charakter se projevuje snížením hladin autoprotilátek a snížením hladiny intercelulární adhezivní molekuly-1 (ICAM-1). К urychlení aterogeních dějů dochází i u nemocných, kteří jsou již dlouhou dobu po úspěšné normalizaci hyperkortizolemie. I když čerstvě operovaní a normalizovaní nemocní ztrácí do jednoho roku svou Cushingovskou obezitu, dochází později u operovaných nemocných opět к nadváze. Ta je spojena s poruchami lipidového spektra a u čtvrtiny nemocných i s hypertenzí. Nemocné po operaci pro Cushingův syndrom je nutné pravidelně sledovat, i když jsou dlouhodobě normalizováni. Je třeba u...
|
|
Metody pro stanovení aerodynamických vlastností vozidel
Páleš, Patrik ; Blaťák, Ondřej (oponent) ; Čavoj, Ondřej (vedoucí práce)
Zámerom tejto bakalárskej práce je popis metodiky využívanej na meranie aerodynamických vlastností vozidiel. Presné stanovenie aerodynamických charakteristík vozidla vyžaduje použitie sofistikovaného skúšobného vybavenia a náročné inžinierske postupy. Výskum prebieha prostredníctvom kombinácie viacerých prístupov. Výpočtové modelovanie turbulentného prúdenia je založené na použití turbulentných modelov RANS, LES a DNS. V aerodynamických tuneloch sa sleduje rozloženie tlaku na povrchu karosérie a prúdenie v jej okolí, pričom vizualizácia prúdenia prebieha prostredníctvom optických (PIV, LDA) a neoptických metód. Experimentálne testovanie na vozovke sa zameriava na smerovú stabilitu vozidla a jeho citlivosť na bočný vietor, taktiež sa testuje chladenie, tepelný manažment motora a mnoho ďalších parametrov.
|
|
Analýza a komparace vybraných vývojových parametrů České a Slovenské televize
Rejzek, Jan ; Novák, Michal (vedoucí práce) ; Bína, Vladislav (oponent)
Cílem této bakalářské práce je analyzovat a následně porovnat a zhodnotit vývoj vybraných vývojových ukazatelů České a Slovenské televize. V teoretické části je nejprve přiblížen vývoj veřejnoprávního televizního trhu ve střední a východní Evropě. Poté se práce již zabývá Českou a Slovenskou televizi. Nejprve je popsána jejich historie a vývoj a poté jsou analyzovány jednotlivé vybrané vývojové parametry obou institucí, které jsou rozděleny do tří oblastí. Závěrečná kapitola se pak zabývá komparací analyzovaných vývojových parametrů, jejich zhodnocením a okomentováním.
|
|
Komunikace a její technologická podpora ve firmě na konkrétním příkladě
Rosická, Tereza ; Střížová, Vlasta (vedoucí práce) ; Kubeš, Jiří (oponent)
Vzhledem k tomu, že společnost GfK nyní prochází velkou reorganizací, neboť se změnilo celé její vedení, dochází k přeměně všech procesů. Jedním z těchto procesů je i proces komunikace, který do dnešní doby nebyl jako takový nijak specificky řešen. Zejména proto je velmi těžké tento proces popsat a uspořádat. Cílem této práce je pokusit se o rozbor procesu externí i interní komunikace ve společnosti GfK a zároveň se snažit navrhnout nějaké návrhy na zlepšení. Zabývat se podrobně všemi procesy firmy není při daném rozsahu práce možné a jelikož se společnost GfK zabývá výzkumem trhu a veřejného mínění, v této práci je soustředěna pozornost na komunikaci při hlavní činnosti (procesech) firmy. Těmito procesy jsou komunikace s respondenty a komunikace s klienty, co se týče externí komunikace. Pokud jde o komunikaci s respondenty, tato práce je zaměřena především na panel domácností, vzhledem k tomu, že pro společnost je hlavním přísunem informací (primárních dat ). Stejně tak interní komunikace je soustředěna při hlavním procesu společnosti GfK, a to při předávání a zpracování dat. Tyto procesy jsou pro společnost základní, nejzajímavější a jejich správný průběh ovlivňuje firmu jako celek, jak její jméno a prestiž, tak její výnosy. Práce je rozdělena do dvou hlavních částí. První část práce je věnována teoretickému poznání problému. Jsou zde přiblíženy hlavní pojmy, které se týkají především procesů, informací, komunikace a systémů. Na komunikaci je zde nahlíženo jak z hlediska sociálního (interpersonálního), tak z pohledu technologického, tedy jak komunikaci v organizaci ovlivňují možnosti ICT a to jak v pozitivním, tak negativním směru. Druhá část je již zaměřena na řešení konkrétního problému společnosti GfK. Nejprve je společnost GfK krátce charakterizována, dále jsou rozpracovány procesy interní a externí komunikace. Další kapitoly popisují současný stav ICT prostředků ve firmě a jejich skutečné využití. Na základě těchto poznatků je v závěru práce uvedeno několik návrhů a doporučení pro zlepšení těchto procesů.
|
| |
|
Time lapse tomography of fracture progress in silicate-based composite subjected to the loading a combination with acoustic emission scanning
Kumpová, Ivana ; Kytýř, Daniel ; Fíla, Tomáš ; Veselý, V. ; Trčka, T. ; Vopálenský, Michal ; Vavřík, Daniel
The initiation and propagation of a fracture in quasi-brittle materials (such as silicatebased composite) is an increasingly discussed topic for which various methods of research have been developed/applied. As the quasi-brittle silicate-based composite compounds are very non-homogenous, the mechanism of the crack initiation and propagation can be very different even for samples with the\nidentical geometry. One possible approach to study the fracture mechanism in quasi-brittle materials is to use several different experimental techniques in a single experiment and perform detail analysis to identify generally valid fracture process phenomena. In this work, a simultaneous monitoring of fracture\nprocess zone formation and propagation by three different methods is presented and discussed. A three point bending test was performed on a notched silicate composite specimen. During the loading process, a highly accurate force displacement dependence was recorded accompanied with X-ray radiography,\nX-ray computed tomogra-phy and acoustic emission scanning.
|
|
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.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
host ::
