|
|
Verification of Programs with Pointers Based on Pattern Detection
Kubíček, Jan ; Erlebach, Pavel (referee) ; Vojnar, Tomáš (advisor)
This paper presents our results in study of verifiaction of infinite state space systems. We deal more concretely with abstract model checking. As main part of study we learned about pattern-based verification. This method is supposed to verify programs with dynamic memory structures like lists. Those structures are presented as directed graph. Pattern-based verifiaction abstracts any number of nodes by replacing them with summarized node. This way we achieve bounded presentation of unbounded memory structure. Afterwards, verification is very effective due to low number of possible memory configurations. In our own work we deal with making model of a program for a tool that implements pattern-based verification. This model isconstructed from a subset of the C language. The main contribution of work is making the verification of simple programs written in C language completely self-acting by automation of constructing input model. In this paper wepresent the grammar of created subset of the C language and implementation details of translation.
|
|
| |
|
|
Medical center in Prostějov
Kubíček, Jan ; Hobzová, Klára (referee) ; Benešová, Romana (advisor)
The aim of this master´s thesis is to elaborate the project documentation of a new-built medical facilty for building permit, in the cadaster area of Prostějov. The building has six medical offices with facilities, pharmacy with the production of drugs and X-ray equipment. The building is simply-shaped, with two aboveground floors. The vertical loadbearing structures are designed from sand-lime blocks. The building is insulated by a ETICS with ventilated facade with green facade. The horizontal loadbearing structures and the staircase are designed from reinforced cast-in-place prefabricated parts. The concept of flat roof is an extensive green roof. The building is heated by gas condensing boiler. The building uses photovoltaics to produce electricity for save non-renewable resources. The building is ventilated using mechanical ventilation. In the third part, an assessment of water management was performed. The project was processed in ArchiCAD and Lumion.
|
|
|
Portrait art in the work of Egon Schiele.
KUBÍČEK, Jan
The bachelor's thesis Portrait Art in the Work of Egon Schiele is divided into two parts, theoretical and practical. The theoretical part describes the important stages of life and cultural environment that influenced Egon Schiele. It also focuses on his selected artistic work, with an emphasis on portrait and self-portrait. The practical part is based on the findings of the first part, follows the self-portrait of Egon Schiele and tries to get inspiration in his distinctive style and technique. The aim of the practical part is a cycle of the bachelor's thesis author's self-portraits , accompanied by sketch material.
|
|
|
Customer protection in the provision of investment services
Kubíček, Jan ; Kotáb, Petr (advisor) ; Sejkora, Tomáš (referee)
Customer protection in the provision of investment services Approaches to supervision This diploma thesis investigates possibilities and opportunities in the field of financial regulation and supervision conducted by the Czech National Bank. Its focus is the protection of customer in the area of investment services. The thesis begins with the research question and the reasons why it was chosen. Then, basic overview of the financial law framework in the Czech Republic is provided. The thesis continues with general remarks on deterrence and persuasion as two distinctive extremes. Some conclusions form the literature are compiled. A number of experiences is distilled from papers and empirical studies, too. Sources are not only from the field of financial regulation and supervision, but also from other fields. These form the basic framework for closer investigation of several supervisory/regulatory approaches. Then pros and cons of several regulatory approaches are evaluated. These are: responsive regulation, smart regulation, principles-based regulation and anticipatory regulation. One part is dedicated to evaluating conclusions drawn from real experiences with implementation of yet another approach, cooperative regulation (which has some similar characteristics with the others) in the field of tax regulation...
|
|
|
I, you, we and they: forms of patriotism in teaching materials of the Czech educational system and the Czech classrooms
Kubíček, Jan ; Lánský, Ondřej (advisor) ; Samek, Tomáš (referee)
This thesis focuses on the form of the discourse of nationalism in educational materials, specifically in selected history and civics textbooks for primary schools. The aim of the paper is not to cover all available educational materials in the Czech school environment, but to conduct a probe into textbooks from selected subjects from one publisher, which serves as a sample. There are subtle forms of nationalism that are part of public discourse, and the thesis will map these forms in the textbooks as manifestations of the discourse of nationalism, which seeks to shape national identity, among other things. Therefore, the work follows in these textbooks their language, the topics they choose, the ways in which they report on the topics and the other media they use (e.g. visual documents). The thesis examines the aforementioned elements of the textbooks through qualitative analysis, specifically critical discourse analysis. The main question that the thesis seeks to answer is which discursive means are used to form Czech national identity, and whether this identity also includes an ethnocentric view of the world. The thesis is divided into three main parts. The first chapter focuses on the key concepts needed for the research. The second chapter focuses on the research methodology. The theoretical...
|
|
|
Gravitation in higher dimensions
Kubíček, Jan ; Pravdová, Alena (advisor) ; Žofka, Martin (referee)
The thesis starts with a brief introduction to the algebraic classificati- on of tensors and spacetimes in higher dimensions. Attempts to generalize the Goldberg-Sachs theorem are also discussed. There is a summary of main results for optical matrices of algebraically special spacetimes in higher dimensions. The optical matrix for a type III spacetime in six dimensions is found using Bianchi identities. A few properties of type III optical matrices in a general dimension are also found. Various properties of equations obtained from Bianchi identities for type III spacetimes are studied in appendices. 1
|
|
|
Thin discs and rings as sources of Weyl space-times
Kubíček, Jan ; Semerák, Oldřich (advisor) ; Žofka, Martin (referee)
Static and axially symmetric vacuum solutions of Einstein's equations can be descri- bed by the Weyl metric which only depends on two unknown functions, given by the Laplace equation and a line integral. In this thesis we study some properties of two Weyl space-times whose sources are one-dimensional rings - the Appell ring and the Bach-Weyl ring. On the behaviour of proper distances and geodesics in the central region we demonstrate that in Weyl coordinates these sources represent directional singularities. 1
|
|
|
Contextualising or relativising evil? A probe into US antebellum slavery
Kubíček, Jan ; Ženíšek, Jakub (advisor) ; Topolovská, Tereza (referee)
The purpose of this thesis is to examine the abolition of antebellum slavery in the US through a leftist prism introduced by Michael Parenti. The first part provides a brief explanation of Parenti's theory on an example of the late Roman republic and its politico-economic background, which is depicted in The Assassination of Julius Caesar. In this part is also covered the historical precedent of slavery along with specific scientifically based arguments in favour of slavery developed by Samuel Cartwright. The last chapter gives a description of the process of abolition and eventually an analogy between Roman senatorial democracy and the antebellum slavery is established on a premise that in both the cases the privileged social class influenced historical narration of those events for its own benefit to cover its economic interests. Keywords: Michael Parenti, slavery, historical narrative, exploitation, Samuel Cartwright, the process of abolition
|
|
|
Statistical support of the company management process
Kubíček, Jan ; Jankových, Róbert (referee) ; Maradová, Karla (advisor)
Master’s thesis describes statistical process control as a support for company management. Statistical process control methods and tools are introduced. Requirements for automotive industry are stated specifically for IATF 16949 standard and VDA 6.3 process audit method. Thesis presents current state in company Sanmina-SCI Czech Republic s.r.o regarding statistical regulation. Applies statistical process controls into the new process considering automotive requirements. It is all happening together with a new business introduction of automotive customer.
|
guest ::
RSS feed.