|
The differential calculus of functions of several variables
BEŇADIK, Vladislav
This thesis includes solving the basic examples of differential calculus (especially two and three variables). The work covers examples of the solutions of the domain, the first and second partial derivatives, determining the functions of local extremes (both explicitly and implicitly given) and find the equation of the tangent plane to a point in the graphs of functions. The examples are sorted by difficulty.
|
|
Multicriteria games
Tichá, Michaela ; Dlouhý, Martin (advisor) ; Lachout, Petr (referee) ; Čičková, Zuzana (referee)
Theory of multicriteria games is a special field of game theory, when one or more players have at least two payoff functions and want to maximize simultaneously. The work introduces a number of new findings. It examined the concept of finding equilibria in pure strategies in noncooperative multicriteria game. It is possible to find all the equilibria in pure strategies by full search and solving two linear programs for each point. Furthermore, two linear programs are formulated for verifying that a selected point is the equilibrium of the game or not. In the noncooperative games is also introduced the concept that with knowledge of the equilibrium of bimatrix game determines preferences of the players. Although finding the equilibrium point of the bimatrix game is nonlinear problem, finding the preferences is linear problem. The latest findings in the noncooperative games is a generalization of the concept that solves multicriteria game by assigning weights to each criterion of each player. The work demonstrates that it may not be necessarily linear weights, but it can be more general function that describes the player's preference. The remaining part is devoted to knowledge in cooperative games. There is considered that the players know their preferences and are able to express them by weights. The game with known preferences is defined and solved with the use of bargaining theory. Then it is generalized to a case where players have more payoff functions, from which they can choose. Finally, the multicriteria case of voting game is defined. It is designed completely new concept, which selects the winning coalition in the voting game. This concept is then applied to the real situation after the elections to the Chamber of Deputies in 2013.
|
|
Genetic Algorithms - Multi-core CPU Implementation
Studnička, Vladimír ; Kuba, Martin (referee) ; Matoušek, Radomil (advisor)
his diploma thesis deals with creating the most universal library of genetic algorithms in C++, as much as possible, implemented with the certain number of universal operators, and then with testing created library on some examples. Library must support multi-core processors, implementation will be done over OpenMP. The library will be tested on three examples in all. The first two examples are mathematical functions, that are used just for genetic algorithms testing. Last problem for test is N-Queens problem. Finally we will use genetic algorithms to try find solution for Eternity II puzzle, there is declared a 2 million bounty for full solution.
|
|
Importance of Transport Proteins and Biotransformation Enzymes for Defending Role of the Placenta
Vacková, Zuzana ; Štaud, František (advisor) ; Trejtnar, František (referee) ; Mičuda, Stanislav (referee)
Placenta is a unique organ which ensures a number of vital functions necessary for normal course of pregnancy and development of a new individual. In addition to its main function of oxygen supply and nutrient and waste product exchange, placenta also serves as an endocrine, metabolic and protective organ. Placenta is considered to be one of the physiological barriers of the organism which regulates transport of both endogenous and exogenous compounds between two compartments - maternal and fetal blood circulations. Up to recently, the placental barrier was supposed to be formed only by cellular layers which separate maternal and fetal blood - syncytiotrophoblast and fetal capillary endothelium. However, it has been demonstrated that the activity of placental efflux transport proteins and metabolic enzymes contributes considerably to the protective function of placental barrier. Efflux transporters are membrane proteins which actively (along with consumption of ATP) "pump" a diversity of substrates out of the cell. It has been shown that the kinetics of transport of various substances across the placenta is affected predominantly by two transporters: P-glycoprotein (P- gp) and breast cancer resistance protein (BCRP). Compared to these transporters, placental biotransformation enzymes are considered...
|
|
The trans-fatty acids in subcutaneous fat and in fat content of breast milk as an indicator of their nutritional intake
Dlouhý, Pavel ; Anděl, Michal (advisor) ; Dostálová, Jana (referee) ; Hrubý, Stanislav (referee) ; Zadák, Zdeněk (referee)
Trans fatty acids (TFA) are unsaturated fatty acids, which have one or more double bonds in the trans configuration. Their main dietary sources are partially hardened fats and food products containing partially hardened fats (margarines, shortenings, bakery products, and fast foods). TFA are thought to increase the risk of coronary heart disease and type 2 diabetes. These fatty acids have adverse effects on blood lipid levels, increasing LDL-cholesterol while decreasing HDL-cholesterol. Consumption of TFA can also impair insulin sensitivity. High intake of TFA is associated with systemic inflammation, activation of immune functions and endothelial dysfunction. Hypotheses also exist that TFA may have adverse effect on the metabolism of essential fatty acids and foetus development. The concentration of TFAs in subcutaneous fat is a very good indicator of dietary exposure of TFA. This concentration reflects long-term dietary intake of these fatty acids. Levels of TFA in human milk are more variable; however, it is quite simple to obtain a sample of human milk. The purpose of our studies was to determine (a) content of TFA in subcutaneous fat samples from persons with coronary atherosclerosis and from persons with no sign of coronary dinase and (b) the content of TFA in early human milk of breast-feeding women...
|
|
Collection maintanance software
Císař, Jan ; Ulrych, Jan (referee) ; Dokulil, Jiří (advisor)
Goal of the thesis is to implement a catalogue tool for collection (with special focus on coin collections) maintenance. The program allows to compare user's collections with model collections stored in the database and export lists of missing items. In addition to that it also contains functions designed to print and export various reports summarizing stored collections and items. The program communicates with remote database which contains data of registered users accessing it through unique login name.
|
|
Strategies of survival during the genocide in Rwanda 1994
Spejchal, Petr ; Horčička, Václav (referee) ; Pullmann, Michal (advisor)
The genocide in Rwanda was one of the most horrifying events of the 20th century. It happened in front of the UN troops, which did not manage to prevent the slaughter of almost 800 000 people, mostly Tutsi. Inspite of extensive research we still do not know how it happened. The problem is that if we are speaking about genocide we usually focus on the perpetrators while the victims are seen as passive actors. If we leave the notion of genocide outside the micro level of historical research, we can more clearly focus on strategies, which the people engaged in order to survive. Their strategies were rooted in their historical memory, which was profoundly affected by the colonial history of Rwanda and Burundi and the authoritarianism which came afterwards. Economic crisis and global geopolitical change at the beginning of the 90's pushed the Rwandan regime towards democratization. Ongoing civil war and the assassination of the president of Burundi made the situation very tense. The genocide started when an airplane carrying the president of Rwanda was shot down. In Kigali the killings were very fast and intense. Initially people got the information from the extremist radio RTLM, but their next steps towards survival were more dependent upon their personal relationships, which provided them the possibility to be...
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (referee) ; Dvořák, Václav (advisor)
Tato práce se zabývá klasifikací paketů v počítačových sítích. Klasifikace paketů je klíčovou úlohou mnoha síťových zařízení, především paketových filtrů - firewallů. Práce se tedy týká oblasti počítačové bezpečnosti. Práce je zaměřena na vysokorychlostní sítě s přenosovou rychlostí 100 Gb/s a více. V těchto případech nelze použít pro klasifikaci obecné procesory, které svým výkonem zdaleka nevyhovují požadavkům na rychlost. Proto se využívají specializované technické prostředky, především obvody ASIC a FPGA. Neméně důležitý je také samotný algoritmus klasifikace. Existuje mnoho algoritmů klasifikace paketů předpokládajících hardwarovou implementaci, přesto však tyto přístupy nejsou připraveny pro velmi rychlé sítě. Dizertační práce se proto zabývá návrhem nových algoritmů klasifikace paketů se zaměřením na vysokorychlostní implementaci ve specializovaném hardware. Je navržen algoritmus, který dělí problém klasifikace na jednodušší podproblémy. Prvním krokem je operace vyhledání nejdelšího shodného prefixu, používaná také při směrování paketů v IP sítích. Tato práce předpokládá využití některého existujícího přístupu, neboť již byly prezentovány algoritmy s dostatečnou rychlostí. Následujícím krokem je mapování nalezených prefixů na číslo pravidla. V této části práce přináší vylepšení využitím na míru vytvořené hashovací funkce. Díky použití hashovací funkce lze mapování provést v konstantním čase a využít při tom pouze jednu paměť s úzkým datovým rozhraním. Rychlost tohoto algoritmu lze určit analyticky a nezávisí na počtu pravidel ani na charakteru síťového provozu. S využitím dostupných součástek lze dosáhnout propustnosti 266 milionů paketů za sekundu. Následující tři algoritmy uvedené v této práci snižují paměťové nároky prvního algoritmu, aniž by ovlivňovaly rychlost. Druhý algoritmus snižuje velikost paměti o 11 % až 96 % v závislosti na sadě pravidel. Nevýhodu nízké stability odstraňuje třetí algoritmus, který v porovnání s prvním zmenšuje paměťové nároky o 31 % až 84 %. Čtvrtý algoritmus kombinuje třetí algoritmus se starším přístupem a díky využití několika technik zmenšuje paměťové nároky o 73 % až 99 %.
|
|
OPTIMIZATION OF ALGORITHMS AND DATA STRUCTURES FOR REGULAR EXPRESSION MATCHING USING FPGA TECHNOLOGY
Kaštil, Jan ; Plíva, Zdeněk (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
Disertační práce se zabývá rychlým vyhledáváním regulárních výrazů v síťovém provozu s použitím technologie FPGA. Vyhledávání regulárních výrazů v síťovém provozu je výpočetně náročnou operací využívanou převážně v oblasti síťové bezpečnosti a v oblasti monitorování provozu vysokorychlostních počítačových sítí. Současná řešení neumožňují dosáhnout požadovaných multigigabitových propustností při dodržení všech požadavků, které jsou na vyhledávací jednotky kladeny. Nejvyšších propustností dosahují implementace založené na využití inovativních hardwarových architektur implementovaných v FPGA případně v ASIC. Tato disertační práce popisuje nové architektury vyhledávací jednotky, které jsou vhodné pro implementaci jak v FPGA tak v ASIC. Základní myšlenkou navržených architektur je využití perfektní hashovací funkce pro implementaci přechodové tabulky konečného automatu. Dále byla navržena architektura, která umožňuje uživateli zanést malou pravděpodobnost chyby při vyhledávání a tím snížit paměťové nároky vyhledávací jednotky. Disertační práce analyzuje vliv pravděpodobnosti této chyby na celkovou spolehlivost systému a srovnává ji s řešením používaným v současnosti. V rámci disertační práce byla provedena měření vlastností regulárních výrazů používaných při analýze provozu moderních počítačových sítí. Z provedené analýzy vyplývá, že velká část regulárních výrazů je vhodná pro implementaci pomocí navržených architektur. Pro dosažení vysoké propustnosti vyhledávací jednotky práce navrhuje nový algoritmus transformace abecedy, který umožňuje, aby vyhledávací jednotka zpracovala více znaků v jednom kroku. Na rozdíl od současných metod, navržený algoritmus umožňuje konstrukci automatu zpracovávajícího libovolný počet symbolů v jednom taktu. Implementované architektury dosahují v porovnání se současnými metodami úspory paměti zlepšení až 200MB.
|
|
Syntetické pojmy a priori
Duží, M. ; Materna, Pavel
Concepts are explicated as objective procedures ("constructions" in transparent intensional logic). All mathematical concepts are a priori. Analytic mathematical concepts are effective procedures that compute some recursive functions. Synthetic mathematical concepts either identify a non-recursive function or identify a recursive function in a non-effective way. There are more synthetic concepts a priori than analytic concepts a priori.
|
guest ::
