Monitoring of Internet servers

Tato práce se zabývá získáváním pravidelných informací o dostupnosti stanic a o dostupnosti vzdáleného připojení stanic pomocí SSH v síti PlanetLab po celém světě. V teoretické části je popsaná síť PlanetLab, služby ping a SSH, programové prostředí, ve kterém vznikala praktická část práce, a paralelizace procesů, která byla využita při optimalizaci programu. Praktická část popisuje tvorbu, funkce a výstupy programu, který nepřetržitě testuje servery sítě PlanetLab. Analýzou výsledků programu bylo zjištěno, že dostupnost zařízení PlanetLabu je poměrně stálá, ale neuspokojivá. Více než polovina zařízení této sítě totiž neodpovídá ani na jednu z uvedených služeb.This thesis deals with the availability of devices and the availability of remote connection to devices via SSH in the network PlanetLab worldwide. The theoretical part consists of the description of the network PlanetLab, services ping and SSH, program environment, in which was the practical part made, and parallelization of processes, which was used during optimizing the program. The practical part describes the creation, functions and outputs of the application, which continuously tests servers in the network PlanetLab. Analyzing the results of the program it was found that the availability of PlanetLab devices is relatively stable, but unsatisfactory. More than half of the devices of this network do not respond to neither one of mentioned services.

Modular Echo State Neural Networks in Time Series Prediction

Echo State neural networks (ESN), which are a special case of recurrent neural networks, are studied from the viewpoint of their learning ability, with a goal to achieve their greater predictive ability. In this paper we study the influence of the memory length on predictive abilities of Echo State neural networks. The conclusion is that Echo State neural networks with fixed memory length can have troubles with adaptation of its intrinsic dynamics to dynamics of the prediction task. Therefore, we have tried to create complex prediction system as a combination of the local expert Echo State neural networks with different memory length and one special gating Echo State neural network. This approach was tested in laser fluctuations and turbojet gas temperature prediction. The prediction error achieved by this approach was substantially smaller in comparison with prediction error achieved by standard Echo State neural networks

Analysis of Iterated Greedy Heuristic for Vertex Clique Covering

The aim of the vertex clique covering problem (CCP) is to cover the vertices of a graph with as few cliques as possible. We analyse the iterated greedy (IG) algorithm for CCP, which was previously shown to provide strong empirical results for real-world networks. It is demonstrated how the techniques of analysis for randomised search heuristics can be applied to IG, and several practically relevant results are obtained. We show that for triangle-free graphs, IG solves CCP optimally in expected polynomial time. Secondly, we show that IG finds the optimum for CCP in a specific case of sparse random graphs in expected polynomial time with high probability. For Barabási-Albert model of scale-free networks, which is a canonical model explaining the growth of social, biological or computer networks, we obtain that IG obtains an asymptotically optimal approximation in polynomial time in expectation. Last but not least, we propose a slightly modified variant of IG, which guarantees expected polynomial-time convergence to the optimum for graphs with non-overlapping triangles

Analysis of an iterated greedy heuristic for vertex clique covering

The aim of the vertex clique covering problem (CCP) is to cover the vertices of a graph with as few cliques as possible. We analyse the iterated greedy (IG) algorithm for CCP, which was previously shown to provide strong empirical results for real-world networks. It is demonstrated how the techniques of analysis for randomised search heuristics can be applied to IG, and several practically relevant results are obtained. We show that for triangle-free graphs, IG solves CCP optimally in expected polynomial time. Secondly, we show that IG finds the optimum for CCP in a specific case of sparse random graphs in expected polynomial time with high probability. For Baraba´si-Albert model of scale-free networks, which is a canonical model explaining the growth of social, biological or computer networks, we obtain that IG obtains an asymptotically optimal approximation in polynomial time in expectation. Last but not least, we propose a slightly modified variant of IG, which guarantees expected polynomial-time convergence to the optimum for graphs with non-overlapping triangles

Solution production technology of part "laparoscopy instrument´s jaw" on a CNC machine

Bakalářská práce předkládající návrh výroby součásti laparoskopického nástroje třískovým obráběním na CNC stroji. Na základě posouzení součásti z konstrukčního, technologického a materiálového hlediska, je vypracován technologický postup výroby, zpracována technologická dokumentace, sestaven a následně ověřen NC program pro CNC obráběcí centrum. Práce porovnává ruční a automatizované programování, hodnotí vlastní výrobu čelistí a posuzuje možnou měsíční výrobnost jednoho stroje.Bachelor thesis submitting a proposal for the production of components of the laparoscopic instrument machined on CNC machine. Based on the analysis of components of design, technological and material aspects, is developed technological process of production, processed technological documentation, compiled and verified NC program for the CNC machining center. The thesis compares manual and automated programming, evaluates manufacturing of jaws and assesses possible monthly production capacity of one machine.

Temperature control in bioreactor

Tato práce se zabývá možnostmi zlepšení kvality regulace teploty v bioreactoru. Byl vytvořen model systému. Klasický PI regulátor není schopen splnit podmínky regulace. Na základě analýzy systému byl zvolen jako nejvhodnější fuzzy regulátor. Nastavený fuzzy regulátor je porovnán s původně implementovaným PI regulátorem. Je dosaženo zlepšení odezvy ve všech sledovaných parametrech.This thesis deal with improvement behavior of temperature control in bioreactor. It was created model of system. Basic PI controller could solve all problems. After analysis of system were decided to used fuzzy controller. Fuzzy controller in comparison with classic PI controller has better behavior in this application.

Prosperity Analysis of the Company AGROSTAV, akciová společnost by Using the Maple System

Tato bakalářská práce se zabývá analýzou výkonnosti firmy Agrostav, akciová společnost. Obsahuje teoretická východiska pro výpočet finanční analýzy, samotnou analýzu a zhodnocení výsledných hodnot s návrhem na zlepšení ekonomické situace společnosti. Výpočty a jejich grafická zobrazení jsou prováděny pomocí počítačového systému Maple.The objective of this bachelor's thesis is to analyze the efficiency of the company Agrostav, akciová společnost. The work includes first the theoretical basis for calculating the financial analysis, then the actual analysis itself followed by the assessment of the resulting values and some suggestions for improving the company's economic situation. The calculations and their graphical representations were made with the Maple system.

Testamentary succession

Dědické právo doznalo přijetím nového občanského zákoníku výrazných změn. Jeho hlavním účelem je ale stále úprava přechodu pozůstalosti ze zůstavitele na jeho dědice a s tím související problémy. Tato práce se zabývá děděním ze závěti, tedy jedním ze tří důvodů dědického nástupnictví. Druhým je zákonná posloupnost, která se uplatní v situaci, kdy zůstavitel nepořídil závěť. Posledním dědickým titulem je dědická smlouva mezi zůstavitelem a dědici, která rozdělí dědictví mezi druhé jmenované. Dědická smlouva má větší právní sílu než závěť a intestátní posloupnost se použije jen, pokud zde není ani jeden z předchozích dědických titulů. Tato práce sestává z pěti kapitol. První kapitola poskytuje stručný úvod do historie dědického práva na našem území a představuje cíl práce. Druhá kapitola se zabývá obecnými otázkami celého dědického práva, je rozdělena do tří podkapitol, které pojednávají o základních zásadách dědického práva, jeho právních pramenech a také o předpokladech dědění, kterými jsou smrt zůstavitele, dědická způsobilost, existence pozůstalosti a právního důvodu dědění. Také jmenuje možnosti dědiců dědictví se zřeknout, odmítnout ho nebo se ho vzdát. Třetí kapitola se soustředí na hlavní téma této práce, jímž je dědění ze závěti. Skládá se z deseti podkapitol. První se pokouší podat definici závěti....The law of succession has been changed a lot by enacting the new Civil Code in many ways but its main purpose is still to regulate the succession of inheritance from testator to heirs and related problems. This thesis makes an analysis of testate succession, which is one of the three possibilities of inheritance succession. The second is an intestate succession, which applies in the situation, when testator did not wrote last will. The last possibility is a contract between testator and heirs distributing inheritance between the latter. This contract has bigger legal force than last will and intestate succession is used, if there is none of them. The thesis consists of five chapters. Chapter One provides a brief introduction to history of the law of succession in our territory and presents the purpose of the thesis. Chapter Two deals with the questions common to the whole law of succession, it is divided in three subchapters, which talk about the main principles of the law of succession and legal rules regulating it and also about preconditions of succession, which include death of testator, subjective law of succession, existence of inheritance and legal ground to the succession. It also names possibility of heirs to reject inheritance. Chapter Three is concerned with the main theme of the thesis, which is...Department of Civil LawKatedra občanského právaPrávnická fakultaFaculty of La