|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Analýza životního cyklu BK viru
Bakardjieva - Mihaylova, Violeta ; Drda Morávková, Alena (vedoucí práce) ; Mindlová, Martina (oponent)
Polyomaviry jsou malé neobalené DNA viry, jejichž replikace probíhá v buněčném jádře. I přes svoji malou genomovou velikost mohou tyto viry způsobit výrazné změny v hostitelské buňce, jednou z nejvýznamnějších je nádorová transformace. Většina studií lidských patogenů z této čeledi je středem zájmu klinických výzkumů, které však neposkytují dostatek informací o jednotlivých událostech životního cyklu virů. Tato práce se hlavně zabývá přesným určením doby kdy dochází ke vzniku jednotlivých virových produktů a vytvořením časového sledu událostí během infekce v přirozených buňkách, které jsou cílem pro BKV v lidském organizmu. Bylo zjištěno, že časový průběh životní cyklus BKV se velice podobá těm pro modelové polyomaviry MPyV a SV40 a v permisivních buňkách trvá přibližně 40 - 50 hodin.
|
|
|
Replikace a transkripce nukleolární DNA
Flusser, Michal ; Smirnov, Evgeny (vedoucí práce) ; Staněk, David (oponent)
Jadérko je nejvýznamnější částí buněčného jádra a je místem, kde je ribosomální RNA (rRNA) syntetizována, zpracovávána a spojena s ribosomálními proteiny. Přestože bylo jadérko studováno po mnoha desetiletí, je jeho strukturální a funkční organizace stále nejasná. Například, není známa role různých typů DNA, které se účastní tvorby jadérek společně s ribosomálními geny. Tato práce shrnuje dosavadní poznatky a názory týkající se jadérka, se zaměřením na dva syntetické procesy, a to replikaci a transkripci v savčích buňkách. Specifické rysy těchto procesů v souvislosti s nukleolární ultrastrukturou zůstávají nevyřešeným problémem moderní molekulární biologie.
|
|
|
Regulace buněčného cyklu u Bacillus subtilis.
Zelenka, Tomáš ; Lichá, Irena (vedoucí práce) ; Harant, Karel (oponent)
2 Abstrakt Vztahy mezi jednotlivými ději probíhajícími v bakteriální buňce během buněčného cyklu byly v posledních letech předmětem mnoha studií. Díky vyspělejším metodám se ukázalo, že život bakteriální buňky má daleko více proměnlivých faktorů, než jsme se zpočátku domnívali. Relativně nedávné výzkumy dokázaly poodhalit funkci, a v některých případech i molekulární podstatu, jednotlivých mechanismů, které v buňce koordinují procesy od průběhu replikace a její iniciace, segregace chromosomů vznikajících při replikaci, až po synchronizaci složité mašinérie samotného dělení buňky a v neposlední řadě také proměnlivost těchto procesů během měnících se životních podmínek buňky. Klíčová slova: Buněčný cyklus, replikace, segregace chromosomu, cytokineze, Bacillus subtilis
|
|
|
Návrh distribuovaného souborového systému
Ďulík, Jan ; Michal, Bohumil (oponent) ; Kašpárek, Tomáš (vedoucí práce)
Hlavním záměrem této práce je navrhnout a implementovat distribuovaný souborový systém pro ukládání dat na projektu, v němž jsou zapojeny geograficky oddělené pracovní skupiny. Velká pozornost je věnována analýze situací, které mohou při používání distribuovaného souborového systému nastat. Dále se práce zabývá výběrem vhodné politiky replikace dat vzhledem k různým modelům práce a zátěži. Poslední část popisuje implementaci distribuovaného souborového systému pro operační systém Linux s využitím nástrojů FUSE a rsync.
|
|
|
Návrh distribuovaného systému pro zpracování školní matriky ZŠ, SŠ, VOŠ
Martiš, Viktor ; Ryšavý, Ondřej (oponent) ; Ráb, Jaroslav (vedoucí práce)
Jednou z podmínek úspěchu software na trhu je jeho neustály vývoj a udržování jeho kondice vzhledem na aktuální technické prostředky. Proto i software SAS hledá způsob, jako ještě lépe uspokojit požadavky svých uživatelů. Přechod na architekturu distribuovaného systému přináší nové vymoženosti a zároveň staví řešení SAS v oblasti působení nad své konkurenty. Návrh přechodu na distribuovaný systém je předmětem této práce. Hlavním cílem je analyzovat, navrhnout a z části i implementovat řešení vyhovující požadavkům pro funkčnost nové architektury.
|
|
|
Datová integrace mezi databázovými systémy
Papež, Zdeněk ; Ščuglík, František (oponent) ; Ráb, Jaroslav (vedoucí práce)
Tato diplomová práce pojednává o datové integraci, která je využívána pro přenos dat mezi různými databázovými systémy a to v obou směrech - migrace a replikace dat. Seznamuje nás s technologiemi distribuovaných databází. Konkrétně popisuje systém poskytovatelů lékařské péče a zkoumá jednotlivé entity zainteresované v jeho datové integraci. Pro realizaci projektu vytváří návrh na integraci tohoto registru a na jeho základě dále popisuje následnou implementaci.
|
|
|
Support of Multiple Replica Types in FreeIPA
Hamada, Ondřej ; Burget, Radek (oponent) ; Zelený, Jan (vedoucí práce)
LDAP and Kerberos together are widely used for management of user accounts and authorization. The installation and administration of a system based on these protocols might be difficult and full of obstacles. An open source solution exists that is capable of handling the entire life cycle of such system. It is the FreeIPA identity management system. FreeIPA significantly simplify the usage of LDAP and Kerberos from the administrator's point of view. This thesis focuses on extending the replication capabilities of FreeIPA by adding a support for read-only replicas. The read-only replicas should improve scalability features of FreeIPA controlled systems.
|
|
|
Řešení vícenásobné změny klientských kontaktních údajů a jejich konsolidace ve finanční instituci
Převrátil, Martin ; Kunstová, Renáta (vedoucí práce) ; Jeřábek, František (oponent)
Diplomová práce se zabývá jedním z informatických požadavků, který byl předložen managementem společnosti, jež patří k předním poskytovatelům komplexních finančních služeb. Ten se týká klientských kontaktních údajů, konkrétně korespondenčních adres a jejich vícenásobné změny. Z tohoto důvodu je nezbytné zabývat se několika zdánlivě oddělenými problematickými okruhy a na základě argumentů rozhodnout o způsobu dílčích řešení vedoucích k naplnění požadavku. Začátek je věnován krátkému představení společnosti a analýze současného stavu v rámci instituce, pokračuje úvod do problematiky korespondenčních adres, ve kterém jsou také vysvětleny důvody vedoucí k nutnosti popisované změny. Následuje seznámení s architekturou informačního systému instituce v čele s budovanou centrální databází. V této části jsou dále vyjmenovány možné způsoby uložení dat v rámci instituce a popsána její datová architektura. Prostřední část práce se zabývá argumentovanou volbou umístění adresných záznamů v datové struktuře instituce. Je zde vytvořen postup implementace vybraného uložení a spolu s ním vyznačeny odpovídající změny v systému. V závěru jsou vybranou notací popsány procesy spojené s vícenásobnou změnou korespondenčních údajů, poté je navrženo uživatelské prostředí pro vlastní obsloužení požadavku.
|
|
|
Replikace v relační databázi
Barcal, Jan ; Gála, Libor (vedoucí práce) ; Halama, Jaroslav (oponent)
Práce prozkoumává oblast replikace dat ve vztahu k použití v relační databázi. Co vše replikace dat umožňuje, co nabízí, jaké formy existují a jak samotná replikace může v různých podobách fungovat. Cílem je analýza oblasti replikace a průzkum specifik a problémů týkajících se replikace v relační databázi. Většina teoretické části spočívá v analýze zahraničních materiálů. Praktická část je zaměřena na možnosti využití replikace v MS SQL Serveru. Cílem je shrnout, jaká řešení replikace MS SQL Server nabízí. Díky implementaci v konkrétní firmě je součástí ukázka možností MS SQL Serveru v replikaci i ukázka konkrétního využití a účelu replikace v praxi.
|
host ::
RSS.