|
|
Analýza lipidů novorozeneckého mázku chromatografickými metodami a hmotnostní spektrometrií
Míková, Radka ; Cvačka, Josef (vedoucí práce) ; Jelínek, Ivan (oponent) ; Tůma, Petr (oponent)
(CZ) Mázek (vernix caseosa) je bílý sýrovitý krém na povrchu těla novorozence, který je produkován kůží plodu v posledním trimestru těhotenství a chrání jej před vnějšími vlivy v době před porodem a novorozence v prvních sedmi až čtrnácti dnech života. Vernix caseosa má impregnační a termoregulační vlastnosti, poskytuje ochranu proti infekcím a pomáhá dokončit vývoj kůže a gastrointestinálního traktu. Předčasně narození jedinci mají mázku jen velmi málo nebo jim úplně chybí a jsou tak špatně chráněni proti vnějším vlivům. Proto je důležité důkladně poznat složení mázku a nalézt jeho vhodnou náhradu pro předčasně narozené novorozence. Mázek obsahuje lipidy, proteiny a 80 % vody. Tato práce je zaměřena na lipidy, které tvoří přibližně 10 % vernixu. Byly zavedeny metody základního zpracování vernixu. Byla zoptimalizována izolace, separace a transesterifikace lipidů. Pro separaci byla zvolena tenkovrstvá chromatografie. Lipidy byly detekovány pomocí MALDI-TOF MS a výsledky ověřeny pomocí fragmentačních spekter a transesterifikace. Esterifikované lipidy byly měřeny pomocí plynové chromatografie s hmotnostní detekcí. Pro velké množství lipidů byla jako nejvhodnější zvolena extrakce podle Folche. Lipidový extrakt byl separován pomocí kolonové chromatografie. Optimalizované metody byly aplikovány na sérii...
|
|
|
Využití kapalinové chromatografie ve farmaceutické analýze a příprava monolitických stacionárních fází pro tenkovrstvou chromatografii
Vojta, Jiří ; Coufal, Pavel (vedoucí práce) ; Tůma, Petr (oponent) ; Jelínek, Ivan (oponent)
(CZ) V rámci první části této práce byly vyvinuty analytické metody pro stanovení nečistot účinných látek v kombinovaných léčivých přípravcích. Vývoj metod zahrnoval optimalizaci přípravy vzorků i jejich chromatografického stanovení. Metody byly zvalidovány dle platné mezinárodní směrnice International Conference on Harmonization (ICH) a byla potvrzena jejich aplikovatelnost pro stanovení nečistot ve stabilitních vzorcích léčivých přípravků. Nečistoty paracetamolu, kodein fosfát hemihydrátu a pitofenon hydrochloridu v přítomnosti čtvrté účinné látky fenpiverin bromidu byly separovány iontově párovou reverzní chromatografií s gradientovou elucí. Byla použita kolona Symmetry C18, 250 x 4,6 mm, 5 µm vyhřátá na teplotu 35 řC. Detekční metoda byla zvolena spektrofotometrická s vlnovými délkami 220 nm pro nečistotu K paracetamolu, 245 nm pro paracetamol a jeho ostatní nečistoty a 285 nm pro kodein, pitofenon a jejich nečistoty. Pro separaci a stanovení nečistot valsartanu, amlodipin besilátu a hydrochlorothiazidu byla vyvinuta UHPLC metoda v reverzním chromatografickém módu s gradientovou elucí. Byla použita kolona Zorbax Eclipse C8 RRHD, 100 x 3,0 mm, 1,8 µm vyhřátá na teplotu 30 řC. Detekční metoda byla zvolena spektrofotometrická s vlnovými délkami 225 nm pro valsartan, jeho nečistoty a nečistotu D...
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent)
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních systémů, která by podporovala nejmodernější přístupy a metody (například verifikaci správnosti) a současně kladla důraz na praktickou relevanci. Text práce popisuje jaké konkrétní prostředky návrhu (založené na softwarových komponentách), implementace, vývojového procesu a verifikace, které jsou použity pro dosažení primárního cíle. Text práce dále hodnotí současný stav projektu HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto výsledky jsou přenositelnější než absolutní hodnoty. Standardní testy jednotek (metod) jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Produkční kód je automaticky upravován pomocí dynamicky přidávné a odebírané instrumentace. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data. Výsledky ukazují, že tímto způsobem lze snížit maximální okamžitý vliv měření na aplikaci oproti měření všech metod najednou. Srovnáním s nástrojem JMH se ukázalo, že vytvořený prototyp je schopen přesného měření metod běžících déle než 1 ms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Garbage Collection in Software Performance Engineering
Libič, Peter ; Tůma, Petr (vedoucí práce) ; Murphy, John (oponent) ; Noorshams, Qais (oponent)
Název Garbage Collection in Software Performance Engineering Autor Peter Libič peter.libic@d3s.mff.cuni.cz Školitel doc. Ing. Petr Tůma, Dr. petr.tuma@d3s.mff.cuni.cz Katedra Katedra distribuovaných a spolehlivých systémů Matematicko-fyzikální fakulta Univerzita Karlova v Praze Malostranské nám. 25, 118 00 Praha 1, ČR Abstrakt Zvyšující se popularita jazyků s automatickou správou paměti dělá z vý- konnosti garbage collectorů (GC) klíčový prvek efektivního běhu aplikací. Bohužel, pro aplikační vývojáře není lehké porozumět chování GC z hlediska výkonnosti a návrháři výkonnostních modelů chování GC často ignorují. V této práci (1) vyhodnotíme podstatu režie GC s ohledem na její vliv na přesnost modelů výkonnosti. Zhodnotíme možnost modelovat GC jako black- box model a zjistíme charakteristiky programů, které ovlivňují výkon GC. Poté (2) navrhneme analytický model jednogeneračního kolektoru a sim- ulační modely jednogeneračního a dvougeneračního kolektoru. Tyto modely závisí na vlastnostech aplikací. Zhodnotíme přesnost těchto modelů a an- alyzujeme jejich citlivost na přesnost vstupů. Pomocí modelu ukážeme na rozdíly v chápání režie GC, pokud je založeno na znalosti algoritmu nebo skutečné implementaci...
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno bylo napojení na nízkoúrovňové vrstvě, které se prokázalo jako nejlepší. Práce dále popisuje skutečnou implementaci tohoto konektoru. Implementace byla úspěšná, a proto se práce detailně zaměřuje na toto plně funkční řešení na HelenOS operačním systému. Dané řešení mimo jiné umožňuje to, že téměř nejsou potřebné změny na obou spojovaných platformách - FUSE i Helenos VFS. Implementace konektoru ukazuje dva reálně používané FUSE souborové systémy exFAT a NTFS na operačním systému HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (vedoucí práce) ; Hasselbring, Wilhelm (oponent) ; Krall, Andreas (oponent)
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření vlastních nástrojů pro dynamickou analýzu, speciálně v oblasti řízených jazyků, je poměrně omezená. Tato práce prezentuje dva systémy, které pomáhají zlepšit sledování aplikací na platformě Java. DiSL je jazyk a framework, který umožňuje jednoduchou a flexibilní instrumentaci zaměřenou na dynamickou analýzu. DiSL poskytuje abstrakce vyšší úrovně pro rychlé prototypování i pro vývojáře, kteří nemají znalosti interních systémů v Javě. Kvalifikovaný vývojář získává plnou kontrol na instrumentačním procesem, tudíž se nemusí bát nevyžádaných alokací nebo skryté běhové režie. ShadowVM je platforma poskytující separaci mezi sledovanou aplikací a prostředím pro analýzu. Pro zmírnění interakcí mezi analýzou a aplikací, ShadowVM transportuje události analýzy mimo kontext aplikace. I když je primárním cílem platformy izolace, ShadowVM zavádí několik technik tak, aby zůstala rychlostně srovnatelná a vytvářela obobné vývojové podmínky jako existující frameworky pro dynamickou analýzu.
|
|
| |
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto výsledky jsou přenositelnější než absolutní hodnoty. Standartní testy jednotek jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Instrumentace kódu je dynamicky přidána a odebrána kvůli automatické úpravě produkčního kódu. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data kvůli snížení vlivu měření. Výsledky ukazují, že pro aplikace náročné na procesor lze takto dosáhnout až 3-krát nižšího maximálního okamžitého vlivu měření než při měření všech metod najednou. Powered by TCPDF (www.tcpdf.org)
|
|
|
Deployment of Performance Evaluation Tools in Industrial Use Case
Täuber, Jiří ; Tůma, Petr (vedoucí práce) ; Šimko, Viliam (oponent)
Výkonnost software dnes měří nejen specializované firmy v rámci recenzí, ale čím dál častěji je to běžnou praxí i pro samotné vývojáře aplikací. Firmy jsou často nuceny vyvíjet a udržovat vlastní nástroje pro měření vyvíjených aplikací. Na Matematicko-fyzikální fakultě vznikl nástroj pro automatizaci měření software jménem BEEN, který by měl správu jednotlivých měření významně usnadnit, ale jeho skutečný význam není možné vyzkoušet v prostředí, kde vznikl. Cílem této práce je nasadit BEEN do reálného prostředí komerční firmy a vyhodnotit použitelnost tohoto nástroje pro vývojáře. Zaměříme se na vyhodnocení objektivních i subjektivních kladů a záporů, které používání tohoto nástroje mělo pro nezaujaté uživatele.
|
host ::
RSS.