|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
|
Implementation of modular web based application
Suchý, Petr ; Koutný, Martin (referee) ; Pelka, Tomáš (advisor)
Diploma thesis Implementation of modular web based application deals with web modular systems. The aim of web modular system is to allow creating universal web presentation without necessity of creation new systems. Diploma thesis is devided into couple parts. Advantages of modular solution of web systems are highlighted in the first part and after that is analyzed the current situation of this problem. In the next part is designed own web modular system above all its kernel, modules and data model. In the final part is described own implementation of own designed system. The most stress is layed on security of the system. In the conclusion is summed up own solution and its most advantages.
|
|
|
LABORARTORY BRNO
Truhlářová, Jana ; Todorov, Petr (referee) ; Rusín, Tomáš (advisor)
The location of building is situated in the city centre close to the historical heart of Brno. Fundamental idea is based on a combination of gallery of architecture, design and modern art and an universal town house, which completes the housing development. The location is the significant stimulus to the whole concept. Therefore, the project is based on simple forms, functionality and universality.
|
|
|
A development of traditional sports non-government organization: Sokol club Písek and its stakeholders
Thýnová, Klára ; Pospíšilová, Tereza (advisor) ; Navrátil, Jiří (referee)
Sokol, as one of the traditional mass special - interest organizations in the Czech republic relates on the tradition from the point of its foundation in 1862. Despite the fact that this organization proved to overcome several prohibitions its activities and to re-established, the modern period and its life style could be fatal for it. Especially the traditional program - universality is not as popular as so - called special sports among public neither donors. Because of that the thesis describes an attitude of selected groups of Sokol club's Písek stakeholders, and its opinions about the universality, the reference to a community, the strenght of communication, the real and potencial Sokol's benefit for a community, etc. The output of the thesis is proposing of the strategy for the work with particular members of community.
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (advisor) ; Chára, Zdeněk (referee) ; Skyba, Peter (referee)
❚✐t❧❡✿ ◗✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡ ✐♥ s✉♣❡r✢✉✐❞ ❤❡❧✐✉♠ st✉❞✐❡❞ ❜② ♣❛rt✐❝❧❡ tr❛❝❦✐♥❣ ✈❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ❆✉t❤♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❉❡♣❛rt♠❡♥t✿ ❉❡♣❛rt♠❡♥t ♦❢ ▲♦✇ ❚❡♠♣❡r❛t✉r❡ P❤②s✐❝s ❙✉♣❡r✈✐s♦r✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❝t✿ ❚❤❡ P❛rt✐❝❧❡ ❚r❛❝❦✐♥❣ ❱❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ✉s✐♥❣ ♠✐❝✲ r♦♠❡t❡r s✐③❡ s♦❧✐❞ ❞❡✉t❡r✐✉♠ ♣❛rt✐❝❧❡s ❛s tr❛❝❡rs ❤❛s ❜❡❡♥ ❛♣♣❧✐❡❞ t♦ st✉❞② ♦s❝✐❧✲ ❧❛t♦r② ✢♦✇s ♦❢ ❍❡ ■■✱ ✇❤✐❝❤ ✐s ❛ q✉❛♥t✉♠ ✢✉✐❞ ✇✐t❤ q✉❛♥t✐③❡❞ ✈♦rt✐❝✐t②✱ ❛s ✇❡❧❧ ❛s ✢♦✇s ♦❢ ❍❡ ■✱ ✇❤✐❝❤ ✐s ❛ ❝❧❛ss✐❝❛❧ ✈✐s❝♦✉s ❧✐q✉✐❞✱ ❢♦❝✉s✐♥❣ ♦♥ t❤❡ s✐♠✐❧❛r✐t✐❡s ❛♥❞ ❞✐✛❡r❡♥❝❡s ❜❡t✇❡❡♥ t❤❡ q✉❛♥t✉♠ ❛♥❞ ❝❧❛ss✐❝❛❧ ✢♦✇s✳ ❚❤r❡❡ ❡①♣❡r✐♠❡♥ts ❛r❡ ❞❡s❝r✐❜❡❞✿ t❤❡ ✢♦✇ ♣❛st ❛ ❧❛r❣❡✲❛♠♣❧✐t✉❞❡ ❧♦✇✲❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ ♦❜st❛❝❧❡ ✐♥ t❤❡ ❢♦r♠ ♦❢ ❛ ♣r✐s♠❀ t❤❡ st❡❛❞② str❡❛♠✐♥❣ ✢♦✇ ❞✉❡ t♦ ❛ s♠❛❧❧✲❛♠♣❧✐t✉❞❡ ❧❛r❣❡✲ ❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ q✉❛rt③ t✉♥✐♥❣ ❢♦r❦ ✲ ❛ ✇✐❞❡❧② ✉s❡❞ t♦♦❧ t♦ st✉❞② q✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡❀ ❛♥❞ t❤❡ ♣r♦❞✉❝t✐♦♥ ♦❢ ❝❛✈✐t❛t✐♦♥ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❛ ❢❛st✲♦s❝✐❧❧❛t✐♥❣ t✉♥✐♥❣ ❢♦r❦✳ ❚❤❡ ♠❛✐♥ ♦✉t❝♦♠❡ ✐s t❤❡ ♦❜s❡r✈❛t✐♦♥ t❤❛t t❤❡s❡ ✢♦✇s ❛r❡ s✐♠✐❧❛r ✐♥ ❍❡ ■ ❛♥❞ ✐♥ ❍❡ ■■ ❛t ❧❛r❣❡ ❧❡♥❣t❤✲s❝❛❧❡s✱ ✇❤❡r❡❛s ❛t s♠❛❧❧ s❝❛❧❡s✱ t❤❡② ❡①❤✐❜✐t t♦t❛❧❧② ❞✐✛❡r❡♥t st❛t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s✳ ▼♦r❡♦✈❡r✱ ✐♥ ❍❡ ■■✱ t❤❡s❡ s♠❛❧❧ s❝❛❧❡ st❛✲ t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s ❛r❡ ✉♥✐✈❡rs❛❧ ✐♥ t❤❛t t❤❡② ❞♦ ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ t②♣❡ ♦❢ t❤❡ ✐♠♣♦s❡❞ ♠❡❛♥ ✢♦✇ ♦❢ t❤❡ s✉♣❡r✢✉✐❞ ❛♥❞ ♥♦r♠❛❧...
|
|
|
Human Rights: Universality vs. Regionalism
Naji, Jalal Naji Thib ; Scheu, Harald Christian (advisor) ; Geistlinger, Michael (referee) ; Balaš, Vladimír (referee)
Human Rights: Universality vs. Regionalism Jalal Naji Abstract The basic idea of the existence of certain rights that human beings are entitled to has been present, in some form or another, throughout the history of mankind long before their universal recognition and codification in 1948. The revolutionary work of the United Nations in adopting the Universal Declaration of Human Rights (UDHR) in 1948 was the coronation and completion of all the earlier attempts of mankind in identifying the safeguards of humanity. Of course, the current shape, structure and context of international modern-day human rights never existed on the international sphere before 1948 as all the earlier efforts to identify human rights can be characterized as sporadic, localized, flawed, incomprehensive and even discriminatory as they only recognised certain rights to particular categories of people, such as ascribing rights only for citizens, for believers of a religion, or only for freemen and aristocrats. Conversely, UDHR's human rights standards are ascribed to everyone without discrimination. The foundation of international human rights is premised on the universality concept which indicates that all human beings are equal and that human rights are universally enjoyed by all mankind without discrimination. However, this majestic...
|
|
|
Universal Turing machine
Bahýľ, Viktor ; Krajíček, Jan (advisor) ; Holub, Štěpán (referee)
Title: Universal Turing machine Author: Viktor Bahýľ Department: Department of Algebra Supervisor: RNDr. Jan Krajíček, DrSc., Department of Algebra Abstract: This thesis is focused on the processes of solving computational problems. The Turing machine is an example of a model which we can use to solve these problems and these machines are the main objective of this Bachelor thesis. The generality of the model is important; it allows us to simulate any conceivable algorithm. In the theory of Turing machines, the generality is demonstrated by the construction of a universal Turing machine. This is the task of this Thesis: to define a universal Turing machine and to prove its universality. Key definitions, linked with the Turing machines, are recalled at the beginning of the Thesis. The simulation and representation of Turing machines will prove to be the key concepts. We make an extra effort to explain these fundamental notions. The thesis has its own form of representation and defined Turing machine with detailed descriptions for them, together with complete proof of the universality of the mentioned Turing machine. Keywords: Turing, machine, universality, representation
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (advisor) ; Chára, Zdeněk (referee) ; Skyba, Peter (referee)
❚✐t❧❡✿ ◗✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡ ✐♥ s✉♣❡r✢✉✐❞ ❤❡❧✐✉♠ st✉❞✐❡❞ ❜② ♣❛rt✐❝❧❡ tr❛❝❦✐♥❣ ✈❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ❆✉t❤♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❉❡♣❛rt♠❡♥t✿ ❉❡♣❛rt♠❡♥t ♦❢ ▲♦✇ ❚❡♠♣❡r❛t✉r❡ P❤②s✐❝s ❙✉♣❡r✈✐s♦r✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❝t✿ ❚❤❡ P❛rt✐❝❧❡ ❚r❛❝❦✐♥❣ ❱❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ✉s✐♥❣ ♠✐❝✲ r♦♠❡t❡r s✐③❡ s♦❧✐❞ ❞❡✉t❡r✐✉♠ ♣❛rt✐❝❧❡s ❛s tr❛❝❡rs ❤❛s ❜❡❡♥ ❛♣♣❧✐❡❞ t♦ st✉❞② ♦s❝✐❧✲ ❧❛t♦r② ✢♦✇s ♦❢ ❍❡ ■■✱ ✇❤✐❝❤ ✐s ❛ q✉❛♥t✉♠ ✢✉✐❞ ✇✐t❤ q✉❛♥t✐③❡❞ ✈♦rt✐❝✐t②✱ ❛s ✇❡❧❧ ❛s ✢♦✇s ♦❢ ❍❡ ■✱ ✇❤✐❝❤ ✐s ❛ ❝❧❛ss✐❝❛❧ ✈✐s❝♦✉s ❧✐q✉✐❞✱ ❢♦❝✉s✐♥❣ ♦♥ t❤❡ s✐♠✐❧❛r✐t✐❡s ❛♥❞ ❞✐✛❡r❡♥❝❡s ❜❡t✇❡❡♥ t❤❡ q✉❛♥t✉♠ ❛♥❞ ❝❧❛ss✐❝❛❧ ✢♦✇s✳ ❚❤r❡❡ ❡①♣❡r✐♠❡♥ts ❛r❡ ❞❡s❝r✐❜❡❞✿ t❤❡ ✢♦✇ ♣❛st ❛ ❧❛r❣❡✲❛♠♣❧✐t✉❞❡ ❧♦✇✲❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ ♦❜st❛❝❧❡ ✐♥ t❤❡ ❢♦r♠ ♦❢ ❛ ♣r✐s♠❀ t❤❡ st❡❛❞② str❡❛♠✐♥❣ ✢♦✇ ❞✉❡ t♦ ❛ s♠❛❧❧✲❛♠♣❧✐t✉❞❡ ❧❛r❣❡✲ ❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ q✉❛rt③ t✉♥✐♥❣ ❢♦r❦ ✲ ❛ ✇✐❞❡❧② ✉s❡❞ t♦♦❧ t♦ st✉❞② q✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡❀ ❛♥❞ t❤❡ ♣r♦❞✉❝t✐♦♥ ♦❢ ❝❛✈✐t❛t✐♦♥ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❛ ❢❛st✲♦s❝✐❧❧❛t✐♥❣ t✉♥✐♥❣ ❢♦r❦✳ ❚❤❡ ♠❛✐♥ ♦✉t❝♦♠❡ ✐s t❤❡ ♦❜s❡r✈❛t✐♦♥ t❤❛t t❤❡s❡ ✢♦✇s ❛r❡ s✐♠✐❧❛r ✐♥ ❍❡ ■ ❛♥❞ ✐♥ ❍❡ ■■ ❛t ❧❛r❣❡ ❧❡♥❣t❤✲s❝❛❧❡s✱ ✇❤❡r❡❛s ❛t s♠❛❧❧ s❝❛❧❡s✱ t❤❡② ❡①❤✐❜✐t t♦t❛❧❧② ❞✐✛❡r❡♥t st❛t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s✳ ▼♦r❡♦✈❡r✱ ✐♥ ❍❡ ■■✱ t❤❡s❡ s♠❛❧❧ s❝❛❧❡ st❛✲ t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s ❛r❡ ✉♥✐✈❡rs❛❧ ✐♥ t❤❛t t❤❡② ❞♦ ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ t②♣❡ ♦❢ t❤❡ ✐♠♣♦s❡❞ ♠❡❛♥ ✢♦✇ ♦❢ t❤❡ s✉♣❡r✢✉✐❞ ❛♥❞ ♥♦r♠❛❧...
|
|
|
Sociocultural conditionality of emotions
Ševčíková, Marcela ; Gillernová, Ilona (advisor) ; Boukalová, Hedvika (referee)
The purpose of this bachelor thesis is to explain the concept of emotions with the focus on their sociocultural conditionality. The thesis is divided into two basic sections. In the theoretical part important conceptions of emotions (neurophysiological, cognitivistic and evolutionary) are explained. Attention is paid to the proces of emotion regulation, in which the culture plays important role. Special chapter analysis the process of emotion expression showing both of its forms : verbal and nonverbal. Empirical part of the thesis presents a proposal of a research project, which purpose is to confirm some of the knowledges shown in the theoretical part. The research focuses on a pantomimic expression of emotions and its sociocultural conditionality.
|
|
|
Child group psychotherapy of parents looking
Mýtina, Ondřej ; Pavlas Martanová, Veronika (advisor) ; Veselá, Ivana (referee)
TITLE: Child Group Psychotherapy of Parents Looking AUTHOR: Ondřej Mýtina DEPARTMENT: Department of Psychology SUPERVISOR: PhDr. Mgr. Veronika Pavlas Martanová, Ph.D. This thesis deals with parental view of the parallel run of parental support group and child psychotherapy group. The theoretical part is focused on psychotherapy, group psychotherapy, the specifics of child psychotherapy. Particular attention is paid to the factor of universality in group psychotherapy. The theoretical part also introduces consulting services, especially group consulting. A substantial part deals with the specifics of parents' participation in their child therapy and parallel intervention applied on the child and their parents. The empirical part describes the research. It is based on an analysis of five interviews with parents who for one year attended the parental support group, while their children group psychotherapy ran in parallel. Interviews are analysed according to the principles of the Grounded Theory. The results suggest that parents in the group experienced the phenomenon of universality and were enabled to share various topics related to the problematic education of their children. Discussion of the results and its comparison with the theory demonstrated that our results are in line with the available...
|
guest ::
