|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
Analysis of BK virus life cycle
Bakardjieva - Mihaylova, Violeta ; Drda Morávková, Alena (advisor) ; Mindlová, Martina (referee)
Polyomaviruses are small unenvelope DNA viruses, whose replication take place in cell nucleus. Despite its small genome size, these viruses can cause significant changes in the host cell, one of the most significant is cell transformation. Most studies of human pathogens from this family is the focus of clinical research, but do not provide enough information about the individual events of the life cycle of viruses. This thesis mainly aims to determining the exact time when the creation of the individual viral products and generate a timeline of events during natural infection in cells that are targets for BKV in the human body. It was found that the time course of the life cycle of BKV is very similar to those for model polyomaviruses MPyV and SV40 and in permissive cells takes about 40 - 50 hours.
|
|
|
Replication and transcription of nucleolar DNA
Flusser, Michal ; Smirnov, Evgeny (advisor) ; Staněk, David (referee)
The nucleolus is the most prominent compartment of the cell nucleus and is the place where ribosomal RNAs (rRNAs) are synthesized, processed and assembled with ribosomal proteins. Although the nucleolus has been studied for decades its structural and functional organization is still unclear. In particular, the role of various types of DNA participating in the formation of nucleoli along with ribosomal genes is not understood. The present thesis summarizes the current knowledge and views on the nucleolus, focusing on the two synthetic processes, replication and transcription, in mammalian cells. Specific features of these processes in the context of nucleolar ultrastructure remains an unsolved problem of the modern molecular biology.
|
|
|
Regulation of cell cycle in Bacillus subtilis.
Zelenka, Tomáš ; Lichá, Irena (advisor) ; Harant, Karel (referee)
2 Abstract Relations between several events running in bacterial cell during cell cycle were the subject of many studies during last years. More advanced techniques showed, that bacterial cell life has much more variable factors, than we supposed before. Relatively recent researches managed to reveal function and in few events molecular principle of several mechanisms coordinating those events such as progression of replication and its initiation, segregation of newly replicated chromosomes and after all synchronization of complex cell division machinery. Furthermore it showed variability of those events during changing living conditions of the cell. Keywords: Cell cycle, regulation, initiation, replication, segregation of chromosome, cytokinesis, Bacillus subtilis
|
|
|
Design of Distributed Filesystem
Ďulík, Jan ; Michal, Bohumil (referee) ; Kašpárek, Tomáš (advisor)
Main goal of this work is to design and implement distributed file system for storing data of project. There can be more geographical separated work groups involved in the project. Big deal is done with analysing the situations, which can occur while using the distributed file system. The work is concerned with choosing suitable data replication politic while considering miscellaneous work models and drain. The last part describes implementation of distributed file system for Linux operating system with use of FUSE and rsync.
|
|
|
Distributed System for School Register of Basic and Secondary Schools
Martiš, Viktor ; Ryšavý, Ondřej (referee) ; Ráb, Jaroslav (advisor)
One of the software success condition on the software market is permanent development to keep in condition with actual technical tools. That is the reason why SAS software is searching for a way how to fulfil customer's requirements better. The change to the distributed system architecture brings new opportunities and sets up competitive advantage for SAS concurrently. The subject of this thesis is to create the design of movement to the distributed system. The main reason is to make analysis, design and partial implementation meeting functional requirements of the new architecture.
|
|
|
Data Integration between Database Systems
Papež, Zdeněk ; Ščuglík, František (referee) ; Ráb, Jaroslav (advisor)
This master´s thesis deals with data integration that is used for data transfer within various database systems in both directions - data migration and replication. We become familiar with the technologies of distributed databases. In detail the system of health care providers is described and particular tables involved into its data integration are explored. For the project execution the proposal for integration of this system is created and whereupon following implementation is described.
|
|
|
Support of Multiple Replica Types in FreeIPA
Hamada, Ondřej ; Burget, Radek (referee) ; Zelený, Jan (advisor)
Velmi rozšířeným prostředkem pro správu uživatelských účtů a řízení přístupu k výpočetní infrastruktuře a službám je kombinace protokolů LDAP a Kerberos. Instalace jakož i samotná správa sítě postavené nad těmito technologiemi však skýtá mnoho překážek. Jedním z řešení je použití open-sourcové aplikace FreeIPA, která patří mezi takzvané řešení pro správu identit a bezpečnostních politik. FreeIPA výrazně usnadňuje práci s těmito protokoly od samotného nasazení až po správu celého systému. Cílem této práce je rozšíření aplikace FreeIPA o možnost použití read-only replik, které přispěje k snadnější a účinnější škálovatelnosti.
|
|
|
Designing mass modification of client contact records and theirs consolidation within financial institution
Převrátil, Martin ; Kunstová, Renáta (advisor) ; Jeřábek, František (referee)
This master thesis deals with management request towards informatics department within front company that provides wide range of financial services. Demand refers to client contact data, particularly correspondence addresses and calls for possibility to mass change such records. There are several relatively separated tasks which need to be discussed in order to fulfill the request. First part introduces the company and analyze current situation. Then continue by describing correspondence addresses issue and supports with reasons for the inevitable change. Company's information system architecture is outlined with emphasis on central database that is being formed. This part also further describes options how data can be stored. Middle part contains reason--based choice where correspondence records should be maintained in company's data architecture. Implementation plan with chosen storage pattern is formed here and connected changes in system are highlighted. As a last processes connected to correspondence addresses mass modification are described and drawn with selected notation. After that user graphic interface is designed as a place where the self request will be served.
|
|
|
Replikace v relační databázi
Barcal, Jan ; Gála, Libor (advisor) ; Halama, Jaroslav (referee)
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.
|
guest ::
