|
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.
|
|
The Role of Cross Border Projects in the Development of the Jesenicko Region
Rybářová, Hana ; Perlín, Radim (advisor) ; Szczyrba, Zdeněk (referee)
The Master thesis aims to analyse the role of cross border projects in the development of the Jesenicko region. The main research question is whether the cross border projects trigger the development of cross border networks of cooperation as well as whether the projects contribute to the socioeconomic development of the model region. The experience from well- established cross border regions in Western Europe indicates that overcoming "soft barriers" such as trust and prejudice among inhabitants from border areas is problematic but necessary for the overall integration of the region. Therefore, the situation along the Czech and Polish border is to be examined. Methodology of the thesis is framed by the inductive approach and is of an interpretative character. The main research method of the thesis is a multiple case study. The significant advantage of this method is that it allows analysing the collected data within the wider framework of region as well as its exploratory character helps to understand the factors determining the success of the projects. The analytical framework is based on the institutional theories of regional development as well as on the concepts of Czech Human Geography. Based on the findings, it is concluded that the cross border projects help to build the common trust in the studied...
|
|
Novel approaches to diagnosis and treatment of selected endocrine disorders
Ježková, Jana ; Marek, Josef (advisor) ; Haluzík, Martin (referee) ; Vladyka, Vilibald (referee)
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...
|
|
Methods for determining aerodynamic properties of vehicles
Páleš, Patrik ; Blaťák, Ondřej (referee) ; Čavoj, Ondřej (advisor)
The aim of the bachelor’s thesis is a description of methods being used for measurements of aerodynamic characteristics of automobiles. The exact determination of the aerodynamic characteristics requires sophisticated testing equipment and advanced engineering procedures. The research comprises several approaches. Computational fluid dynamics (CFD) is based on turbulent models application such as RANS, LES and DNS. Pressure distribution on a vehicular body surface and an air flow along the vehicle are monitored in wind tunnels. Flow visualization is carried out by optical (PIV, LDA) and non-optical methods. Experimental road testing methods are focused on multiple parameters including a vehicle directional stability, its cross-wind sensitivity, engine cooling system and many others.
|
|
Analysis and Comparison of selected Developmental Parameters of Czech and Slovak Television
Rejzek, Jan ; Novák, Michal (advisor) ; Bína, Vladislav (referee)
The aim of this Bachelor's thesis is to analyze and subsequently compare and evaluate the progress of selected developmental indicators of the Czech and Slovak television. In the theoretical section is initially approached the evolution of the public television market in the middle and eastern Europe. After that, the thesis is focused on the Czech and Slovak television. At first, we get acquainted with its history and development, then we take a closer look at the analysis of selected parameters of both institutions, which are divided into three regions. In the final chapter, the analyzed parameters are compared, evaluated and explained.
|
|
Communication and it's technological support in concrete organization
Rosická, Tereza ; Střížová, Vlasta (advisor) ; Kubeš, Jiří (referee)
For as much as GfK Company is now reorganized, because all management has been changed, all processes are changing as well. One of this process is even process of communication, which until this time wasn't specifically solved itself. Especially due to this, is very hard to describe this process and sort. Object of this work is try to analyse process of extern and intern communication in GfK Company and simultaneously try to offer any suggestion to improve. To deals with all processes of this company isn't able due to extend of this work, and since GfK Company deals with market research and public mind, in this work is concentrated attention to communication by main activity of company. By these processes is communication with respondents and with clients, according to extern communication. In as much as communication with respondent, this work is focused mainly on household panel, because this company has from this most information (as primary data ). Same the internal communication is focused by main process of GfK Company, and that is data transmission and processing. These processes are for company basic, the most interesting and themselves right progress influenced the company as a whole, like a name and prestige and like an income. The work is separated to two main parts. The first part deals with theoretic problems. The main ideas are approached there, that are taking processes, information, communication and systems. The communication is research by social view and by technological view, so how communication is influenced by ICT, and it's positive or negative. The second part is focused to solve the concrete problem of GfK Company. In the first time is introduced the GfK, later are developed processes of internal and external communication. Next parts describe present situation and true using of ICT. According to this information are in conclusion mentioned any suggests and recommends how to improve these processes.
|
| |
|
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 (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
guest ::
