|
|
Minimisation of Logical Functions
Horký, Miroslav ; Davidová, Olga (referee) ; Šeda, Miloš (advisor)
For minimisation of logical functions, laws of the Boolean algebra and the Karnaugh maps are mostly used. However, use of Karnaugh's maps is based on visual recognition of adjacent cells for functions with no more than 6 variables and, therefore, the method is not suitable for automated processing on computers. A direct application of the Boolean algebra laws is not restricted in this way, but there is no general algorithm defining the sequence of their application and thus this approach is not suitable for computer implementation either. The well-known method usable on computers is the algorithm proposed by E. J. McCluskey and W. Orman Quine.
|
|
|
Models of Queueing Systems
Horký, Miroslav ; Dvořák, Jiří (referee) ; Šeda, Miloš (advisor)
The master’s thesis solves models of queueing systems, which use the property of Markov chains. The queueing system is a system, where the objects enter into this system in random moments and require the service. This thesis solves specifically such models of queueing systems, in which the intervals between the objects incomings and service time have exponential distribution. In the theoretical part of the master’s thesis I deal with the topics stochastic process, queueing theory, classification of models and description of the models having Markovian property. In the practical part I describe realization and function of the program, which solves simulation of chosen model M/M/m. At the end I compare results which were calculated in analytic way and by simulation of the model M/M/m.
|
|
|
Early Voting in the U.S. Election System
Horký, Miroslav ; Kotábová, Věra (advisor) ; Švec, Radek (referee)
The bachelor thesis Early voting in the U. S. Election System deals with the concept, which aims to significantly simplify the election process to increase the turnout and make the access to electoral process easier to most people. The bachelor thesis defines terms early voting and absentee voting and its expansion. The analysis is also focused on differences between Election day voters and early voters. The operation of early voting in practice is illustrated in three cases from states Florida, Oregon and Virginia. Advantages and disadvantages of this type of voting and view to the future are presented in final part of thesis. The emphasis is also placed on the global expansion of this type of voting, which allows to cast ballot prior the Election day. The current electoral system of the Czech Republic, which does not allow to vote early is also mentioned in thesis.
|
|
|
Transforming of Executive Coalitions in Prague in the Electoral Period 2010-2014
Horký, Miroslav ; Švec, Kamil (advisor) ; Říchová, Blanka (referee)
The aim of this diploma thesis Transforming of Executive Coalitions in Prague in the Electoral Period 2010 - 2014 is to analyze influences, which have an important role in a process of establishing executive coalitions and also in their stability. The analysis is based on a classical theory of coalitions, discursive analysis, interviews with direct participants and on official documents. One of the aims is to describe the level of possibility in application of theoretical concepts of coalition theory in the area of Prague's political system. There are many points of view, from which we look at stability and forming of coalitions. For example, very important point of view is an influence of making and implementing politics or an influence of politicians from national level. A big importance is focused on negotiating between participants, their statements in media and their real steps and decisions. The intention of this thesis is not an invention of general model which should be applied on similar local system, but to explain and describe the uniqueness of Prague local system and the election period of 2010 - 2014.
|
|
|
Early Voting in the U.S. Election System
Horký, Miroslav ; Kotábová, Věra (advisor) ; Švec, Radek (referee)
The bachelor thesis Early voting in the U. S. Election System deals with the concept, which aims to significantly simplify the election process to increase the turnout and make the access to electoral process easier to most people. The bachelor thesis defines terms early voting and absentee voting and its expansion. The analysis is also focused on differences between Election day voters and early voters. The operation of early voting in practice is illustrated in three cases from states Florida, Oregon and Virginia. Advantages and disadvantages of this type of voting and view to the future are presented in final part of thesis. The emphasis is also placed on the global expansion of this type of voting, which allows to cast ballot prior the Election day. The current electoral system of the Czech Republic, which does not allow to vote early is also mentioned in thesis.
|
|
|
Transforming of Executive Coalitions in Prague in the Electoral Period 2010-2014
Horký, Miroslav ; Švec, Kamil (advisor) ; Říchová, Blanka (referee)
The aim of this diploma thesis Transforming of Executive Coalitions in Prague in the Electoral Period 2010 - 2014 is to analyze influences, which have an important role in a process of establishing executive coalitions and also in their stability. The analysis is based on a classical theory of coalitions, discursive analysis, interviews with direct participants and on official documents. One of the aims is to describe the level of possibility in application of theoretical concepts of coalition theory in the area of Prague's political system. There are many points of view, from which we look at stability and forming of coalitions. For example, very important point of view is an influence of making and implementing politics or an influence of politicians from national level. A big importance is focused on negotiating between participants, their statements in media and their real steps and decisions. The intention of this thesis is not an invention of general model which should be applied on similar local system, but to explain and describe the uniqueness of Prague local system and the election period of 2010 - 2014.
|
|
|
Models of Queueing Systems
Horký, Miroslav ; Dvořák, Jiří (referee) ; Šeda, Miloš (advisor)
The master’s thesis solves models of queueing systems, which use the property of Markov chains. The queueing system is a system, where the objects enter into this system in random moments and require the service. This thesis solves specifically such models of queueing systems, in which the intervals between the objects incomings and service time have exponential distribution. In the theoretical part of the master’s thesis I deal with the topics stochastic process, queueing theory, classification of models and description of the models having Markovian property. In the practical part I describe realization and function of the program, which solves simulation of chosen model M/M/m. At the end I compare results which were calculated in analytic way and by simulation of the model M/M/m.
|
|
|
Minimisation of Logical Functions
Horký, Miroslav ; Davidová, Olga (referee) ; Šeda, Miloš (advisor)
For minimisation of logical functions, laws of the Boolean algebra and the Karnaugh maps are mostly used. However, use of Karnaugh's maps is based on visual recognition of adjacent cells for functions with no more than 6 variables and, therefore, the method is not suitable for automated processing on computers. A direct application of the Boolean algebra laws is not restricted in this way, but there is no general algorithm defining the sequence of their application and thus this approach is not suitable for computer implementation either. The well-known method usable on computers is the algorithm proposed by E. J. McCluskey and W. Orman Quine.
|
|
| |
guest ::
RSS feed.