|
|
IPv6 for HelenOS
Steinhauser, Antonín ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Tato práce rozšiřuje operační systém HelenOS o podporu nového IPv6 protokolu. Implementace protokolu IPv6 je na stejné úrovni jako dřívější implementace IPv4 protokolu. Síťový stack HelenOS nyní nabízí tři módy práce se sítí: užívání pouze IPv4 protokolu, užívání pouze IPv6 protokolu a duální mód, který umožňuje používat oba protokoly najednou. Práce popisuje předchozí stav síťového stacku HelenOS, analyzuje rozdíly mezi IPv4 protokolem a IPv6 protokolem a zdůvodňuje jednotlivá strategická rozhodnutí. Posléze popisuje použité implementační a ladící metody, shrnuje výsledky práce a srovnává HelenOS s jinými mikrojadernými operačními systémy co do podpory IPv6. 1
|
|
|
Capturing Performance Assumptions using Stochastic Performance Logic
Trojánek, Tomáš ; Tůma, Petr (vedoucí práce) ; Bednárek, David (oponent)
U softwarových projektů se výkonnostní testování používá k objektivnímu zhod- nocení rychlosti daného díla. V ideálním případě je k projektu přidružena sada testů, která může být opakovaně spouštěna za účelem ověření, zda jsou vešk- eré výkonnostní nároky stále dodrženy. V dnešní době nejrozšířenější způsob, jak tyto testy provádět, staví na absolutních hodnotách naměřeného času. Test spustí vybranou jednotku aplikace a následně porovná dobu jejího běhu s pře- dem stanovenou časovou hranicí. Tento přístup má však nevýhody, které značně nabourávají spolehlivost takovýchto testů. Není totiž zřejmé, jak určit ony časové hranice, které rozhodují o úspěchu nebo selhání. A pakliže jsou tyto hranice určeny, jsou závislé na konkrétní hardwarové konfiguraci. Tato práce se proto jako řešení zmiňovaných problémů pokouší ukázat odlišný způsob, který je založený na relativním porovnávání výkonu. Za pomoci logiky, která staví na práci pub- likované zadávající katedrou, se vybrané jednotky aplikace porovnávají navzájem a výsledky testů se tak stávají odolnější vůči změnám prostředí. Zavedená teorie je v práci také implementována a ověřena na vybraných ukázkových případech. 1
|
|
|
Stanovení lithia v minerálních vodách elektroforézou v krátké kapiláře.
Makrlíková, Anna ; Opekar, František (vedoucí práce) ; Tůma, Petr (oponent)
Tato práce se zabývá stanovením obsahu lithia v minerálních vodách Vincentka a Bílinská kyselka kapilární elektroforézou s bezkontaktní vodivostní detekcí. Laboratorně sestrojená aparatura pro provádění separací v krátkých kapilárách byla nejprve testována modelovým roztokem běžných anorganických kationtů a následně použita pro analýzu vzorků minerálních vod. Obsah lithia byl stanoven na základě metody standardního přídavku. Získané výsledky byly porovnány s výsledky získanými atomovou absorpční a atomovou emisní spektroskopií, kde byl obsah lithia stanoven metodou standardního přídavku a také metodou kalibračního grafu. Experimentálně získané výsledky byly v dobré shodě s obsahy lithia deklarovanými na etiketách minerálních vod. Klíčová slova Kapilární elektroforéza, bezkontaktní vodivostní detekce, minerální vody, lithium, atomová absorpční spektroskopie, atomová emisní spektroskopie
|
|
|
Přenositelnost systému souborů zlomekFS
Šnupárek, Aleš ; Tůma, Petr (vedoucí práce) ; Yaghob, Jakub (oponent)
ZlomekFS je distribuovaný souborový systém určený k transparentnímu sdílení adresářových stromů, který byl vytvořen pro operační systém Linux. Tato práce zkoumá zlomekFS z hlediska jeho přenositelnosti na jiné operační systémy. Zabývá se přenosem zlomekFS na operační systém Microsoft Windows. Dále zkoumá možnost přenosu zlomkeFS na operační systém Android.
|
|
| |
|
|
Port HelenOS pro hypervisor Xen
Benhák, Tomáš ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Cílem práce je port operačního systému HelenOS pro paravirtualizovaný běh pod hypervisorem Xen na platformě IA-32. Výstupem práce je prototypová implementace, která umožňuje běh systému HelenOS jako PV guest pod hypervisorem Xen. Práce analyzuje rozhraní hypervisoru Xen z hlediska paravirtualizovaného operačního systému, který pod hypervisorem běží, relevantní části jádra systému HelenOS a změny v těchto částech, které paravirtualizace vyžaduje.
|
|
|
Improving Accuracy of Software Performance Models on Multicore Platforms with Shared Caches
Babka, Vlastimil ; Tůma, Petr (vedoucí práce) ; Eeckhout, Lieven (oponent) ; Black-Schaffer, David (oponent)
Kontextem této práce jsou výkonnostní modely softwarových systémů, které slouží pro predikci výkonnosti systému ve fázi jeho návrhu. K tomuto účelu potřebují výkonnostní modely popsat explicitní interakce softwarových komponent, ze kterých je systém složený, a využití prostředků během primitivních akcí vykonávaných komponentami. Na současných hardwarových platformách ale softwarové komponenty interagují také skrze implicitní sdílení prostředků jako jsou procesorové cache, což ovlivňuje výkon prováděných primitivních akcí. Implicitní sdílení prostředků často není zahrnuto ve výkonnostních modelech, což negativně ovlivňuje přesnost jejich predikcí. V této práci představujeme dvě metody pro zahrnutí modelů sdílení prostředků do výkonnostních modelů. Dále navrhujeme zjednodušený model sdílení prostředků založený na lineární regresi, a detailní model pro predikci změn výkonu v důsledku sdílení cache. Model sdílení cache je ověřen na reálném procesoru a jeho návrhu předchází množství experimentů, které zkoumají výkonnostní aspekty sdílení cache. Práce dále navrhuje metodu pro robustní ověřování predikcí výkonnostních modelů pomocí mnoha automaticky generovaných softwarových aplikací.
|
|
|
Applications of capillary electrophoresis in life sciences
Křížek, Tomáš ; Coufal, Pavel (vedoucí práce) ; Pacáková, Věra (oponent) ; Tůma, Petr (oponent)
Tomáš Křížek: Využití kapilární elektroforézy ve vědách o životě (Disertační práce) ABSTRAKT Tato práce se zabývá využitím kapilární elektroforézy ve dvou významných oblastech "věd o životě", konkrétně v proteomice a stanovení aktivity enzymů. V první části jsou studovány vlastnosti polymeru Pluronic F-127 jako separačního média v kapilární gelové elektroforéze. Byl zkoumán vliv termoasociace Pluronicu F-127 na selektivitu separace peptidů a aminokyselin, přičemž při teplotách pod, uvnitř a nad oblastí termoasociace žádný rozdíl v selektivitě pozorován nebyl. Funkce Pluronicu F-127 v kapilární gelové elektroforéze byla porovnána s dextranem, jakožto běžně používanou gelovou matricí. Výsledky ukazují, že Pluronic F-127 je výhodnějším médiem pro separace nízkomolekulárních bílkovin, protože poskytuje větší separační sílu při zachování nižší viskozity základního elektrolytu. Tato nižší viskozita usnadňuje výměnu základního elektrolytu po každém měření, což vede k výrazně vyšší opakovatelnosti pokusů. Dextran je na druhé straně díky své vyšší viskozitě vhodnější pro separace peptidových štěpů bílkovin, při kterých je zásadním parametrem vysoká účinnost separace. Druhá část práce je zaměřena na elektroforetická stanovení aktivity enzymů. Byla vyvinuta nová metoda separace N,N',N''-triacetylchitotriosy,...
|
|
|
Přenositelnost systému souborů zlomekFS
Šnupárek, Aleš ; Tůma, Petr (vedoucí práce) ; Ježek, Pavel (oponent)
ZlomekFS je distribuovaný souborový systém určený k transparentnímu sdílení adresářových stromů. Tato práce se zabývá možností portability souborového systému zlomekFS na jiný operační systém. V první části jsou popsány problémy, jež je nutné řešit k docílení portability programu. V části následující je zvažována možnost nasazení tohoto souborového systému na operační systém Android. Dále se tato práce zabývá portací zlomekFS na operační systém Windows. Poslední část obsahuje návod jak psát portabilní kód souborového systému.
|
|
|
Využití kapilární a čipové elektroforézy pro klinický výzkum
Pavlíček, Václav ; Tůma, Petr (vedoucí práce) ; Pacáková, Věra (oponent) ; Dlouhý, Pavel (oponent)
Předkládaná dizertační práce na téma "Využití kapilární a čipové elektroforézy pro klinický výzkum" je rozdělena na dvě samostatné části. První kapitola shrnuje problematiku vývoje velmi rychlého stanovení kyseliny močové a kreatininu v lidské moči a séru prostřednictvím kapilární elektroforézy s UV detekcí, kdy bylo vyvinuto zcela originální řešení pro provádění desetivteřinové elektroforetické separace na komerčním elektroforetickém přístroji Agilent HP3D CE. Separace byly prováděny v laboratorně sestavené kapiláře vytvořené spojením 9,7 cm dlouhé analytické kapiláry s vnitřním průměrem (d) 25 m a 22,9 cm dlouhé pomocné kapiláry s d 100 m. Vlastní elektroforetická separace probíhá na krátké separační dráze o délce 8,3 cm při současné aplikaci elektrického separačního pole o vysoké intenzitě cca 2,3 kV.cm-1 (při většině elektroforetických separací nepřekračuje intenzita hodnotu 1,0 kV.cm-1 ). Spojená kapilára byla testována při praktických klinických stanoveních: i) stanovení kreatininu v lidské moči prováděné v základním elektrolytu - o složení 20 mM kyselina citronová / NaOH, pH 3,0; ii) stanovení kyseliny močové v lidské moči v základním elektrolytu, 20 mM MES / NaOH, pH 6,0. Za těchto experimentálních podmínek bylo dosaženo velmi krátkých migračních časů, 12,2 s pro kreatinin a 8,6 s pro...
|
host ::
RSS.