The main aim of this master´s thesis is to launch a chain tools storage. The main intention of this work is creation of a control program for the programmable logic controller and HMI (Human Machine Interface). My master´s thesis contains optimization of location tools in chain tools storage. Program part consists of software modules which contain different algorithms (optimization of speed of start-up beds, beds approaching the shortest path and optimal deployment tools).

Cílem této práce bylo studium aktivního učení automatů, navržení a implementace softwarové architektury pro automatickou konstrukci hlídacího obvodu dané jednotky implementované v FPGA a ověření funkčnosti hlídacího obvodu pomocí injekce poruch. Hlídací obvod, tzv. online checker, má za úkol zabezpečovat danou jednotku proti poruchám. Checker je konstruován z modelu odvozeného pomocí aktivního učení automatů, které probíhá na základě komunikace se simulátorem. Pro implementaci učícího prostředí byla použita knihovna LearnLib, která poskytuje algoritmy aktivního učení automatů a jejich optimalizace. Byla navržena a implementována experimentální platforma umožňující řízenou injekci poruch do designu v FPGA, která slouží k otestování checkeru. Výsledky experimentů ukazují, že při použití checkeru a rekonfigurace je možné snížit chybovost designu o více než 98%.

Focus of this master's thesis is on evolutionary design of cellular automata and it's optimalization. There are described Evolutionary algorithms and Cellular automata in first part. Thereafter, one of the new ways of transition function representation and its possible evolutionary design is presented. Name of this method is Conditionally Matching Rules. This is followed by description of realized experiments with detailed results. Finally, success with optimalization for some tasks is presented in last chapter along with discussion.

This work describes a method of the secondary structure prediction of proteins based on cellular automaton (CA) model - CASSP. Optimal model and CA transition rule parameters are acquired by evolutionary algorithm. Prediction model uses only statistical characteristics of amino acids, so its prediction is fast. Achieved results was compared with results of other tools for this purpose. Prediction cooperation with a existing tool PSIPRED was also tested. It didn't succeed to beat this existing tool, but partial improvement was achieved in prediction of only alpha-helix secondary structure motif, what can be helful if we need the best prediction of alpha-helices. It was developed also a web interface of designed system.

This thesis deals with the pattern matching methods based on finite automata and describes their optimizations. It presents a methodology for the measurement of reliability of pattern matching methods, by comparing their results to the results of the PCRE library. Experiments were conducted for a finite automaton with perfect hashing and faulty transition table. Finally, the resulting reliability evaluation of the algorithm is shown and possible solutions of the identified problems are proposed.

The essence of this diploma thesis is the design and implementation of software for laser ablation control. The paper describes laser ablation, hardware specifications of device and application requirements. The second part provides description of design and implementation of the actual application in NI LabView.

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.

Increasing effectiveness of semi-tightening tips production on the Swissstyle lathes. Analysis of current status. Design of areas for improvement. Proposed measures in the form of changes in cutting conditions, changes in geometry of tool, or an alternative solution to the current situation. Technical and economic evaluation of the proposed measures.

Das Auftreten von Starkregen führt zu steigendem Wasserstand und Wasservolumen in den Fließgewässern und zu Überschwemmungen der Flussauen. Tritt Hochwasser im menschlichen Siedlungsraum auf, entstehen Schäden an privatem und öffentlichem Eigentum sowie im gewerblichen Bereich. Deshalb ist es notwendig Dynamiken der Flächennutzungsänderungen zu untersuchen, da die Flächennutzung die Art der anfälligen Elemente im Falle eines Hochwassers und die Schadenshöhe bestimmt. Als Simulationswerkzeug wird der rasterbasierte zelluläre Automat LuSIM (vgl. STRÖBL et al. 2003) genutzt, der als Erweiterung für ArcView 3.x zur Verfügung steht. Das Untersuchungsgebiet befindet sich in der Elbaue, zum Teil im Stadtgebiet Dresden und zum Teil im Stadtgebiet von Radebeul im Landkreis Meißen. In der vorliegenden Arbeit wird die zukünftige urbane Flächennutzungsentwicklung im Untersuchungsgebiet nach drei Szenarios simuliert. Die Neuentstehung von Wohnbauland ist dabei die treibende Kraft. Die Arbeit leistet damit einen Beitrag zur ex ante-Analyse und Bewertung der Hochwasserrisiken. Der zelluläre Automat verortet neue potentielle Wohnstandorte basierend auf Eignungsregeln und dem Bedarf an neuem Wohnbauland. Die Regeln zur Eignung jeder Rasterzelle als Wohnstandort leite ich aus der Analyse historischer Nutzungsänderungen ab. Den Bedarf an zukünftigem Wohnbauland ermittle ich aus dem vom Bundesamt für Bauwesen und Raumordnung (2006) in seiner Raumordnungsprognose 2020/2050 prognostizierten Neubau von Wohnungen.

The goal of this diploma work is the suggestion and the implementation of the application, which allows adding / removing of diacritics into / from Czech written text. Retrieval "trie" structure is described along with its relation to finite state automata. Further, algorithm for minimization of finite state automata is described and various methods for adding diacritics are discussed. In practical part the implementation in Java programming language with usage of object-oriented approach is given. Achieved results are evaluated and analysed in the conclusion.