Purpose of this master thesis was to explain simulation of real network, point to the imperfection during these simulations and try to find out technologies and solutions that could improve credibility of simulation. For this purpose, network simulator ns-3 has been chosen which supports direct code execution together with Quagga software suite. Master thesis describes internet protocol IPv4, UDP protocol, basics of routing and detailed explanation of OSPF routing protocol. Focus in this thesis is also on general description of simulation, its kinds and detail explanation of discrete simulation that is used by ns-3 simulator. Next chapter explains theory of ns-3 simulator, its development, conceptual overview and objects. Direct code execution and Quagga that both help improve credibility of simulation, are described in last chapter of theoretical part of thesis. In practical part of thesis is explained how to install and configure all three implemantaions of ns-3 simulator on Ubuntu, linux distribution. On the basis of obtained knowledge, the simulation model has been designed, also there has been given detailed explanation of how to create new model of simulation and how to analyze its results for all implementation.

This thesis describes opinions about generating code from PNtalk language into more standard object orinted languages, such as C++ or Java. Goal is to construct model of the formalism of Object Oriented Petri Nets (OOPN), represented in PNtalk languege in mentioned languages. This model should be simlpier and more effective than actual implementation in Smalltalk language. Thesis also contains ideas about abstactization the code generator to be able to generate code in various languages.

This thesis describes code generation using design patterns. It deals with questions of specification of design patterns and their usage in code generation. The main part of thesis follows describtions of design patterns, their categorization, usage purpose and main ways of design patterns definitions. It describes the most often used formal design patterns specifications, their possible usage in code generation and design of algorithm for searching similar structures of patterns in source code in detail.

As the world changes because of the globalization, the environment of the aviation changes as well. The airlines are forced to adapt to these changes and choose new strategies to operate successfully. The main objective of this thesis is to, according to the title, describe, identify and explain the processes which significantly affect current image of the world of aviation and focus on four Central European legacy carriers. The issues of globalization and its affect on behavior of economic actors, which airlines are, are discussed as first. The following part is dedicated to the characteristics of aviation and its components, the milieu and the behavior of the airlines as well as the newest strategic trends that are being chosen is described as well. The theoretical part is followed by the empirical one where the particular steps of examined airlines are analyzed and explained. The hypotheses concerning the probable behavior and adopted strategies of four analyzed carriers are expressed according to the discovered theoretical principles of the operations of current legacy (network) carriers. Whether the hypotheses are completely or partially confirmed, is discussed at the end of the empirical chapter. Key words: globalization, air transport, legacy carriers, airline alliances, hub and spoke, codeshare

This paper deals with the subject of refactoring usage in the development of object-oriented applications. It outlines the refactoring theory and the properties that influence the software project development. Prior to refactorization, the system has to be covered with tests. The actual refactoring can be applied during the development process as bug fixing, code review or the refactoring of the whole system. Presented in this work are the impacts of refactorization of OKsystem's company OKbase product and the evaluation with respect to the refactoring concepts of object-oriented applications.

This project is interested in creating application for generating dynamic web pages which are connected to database. Main intention of this project is concentrated to set out basic parts and create class diagram of this application. Final application will be used for simplification of web pages design for non-IT users. Final application represents concept for any extension and modification in the future.

Title: Pattern matching in compilers Author: Ondřej Bílka Department: Department of Applied Mathematics Supervisor: Jan Hubička, Department of Applied Mathematics Abstract: In this thesis we develop tools for effective and flexible pattern matching. We introduce a new pattern matching system called amethyst. Amethyst is not only a generator of parsers of programming languages, but can also serve as an alternative to tools for matching regular expressions. Our framework also produces dynamic parsers. Its intended use is in the context of IDE (accurate syntax highlighting and error detection on the fly). Amethyst offers pattern matching of general data structures. This makes it a useful tool for implement- ing compiler optimizations such as constant folding, instruction scheduling, and dataflow analysis in general. The parsers produced are essentially top-down parsers. Linear time complexity is obtained by introducing the novel notion of structured grammars and reg- ularized regular expressions. Amethyst uses techniques known from compiler optimizations to produce effective parsers. Keywords: Packrat parsing, dynamic parsing, structured grammars, functional programming 1

The work sets out requirements for the implementation of information systems generator. It deals with finding common elements of information systems. Further it specifies requirements for registration of a conceptual model. Then it goes on to describe user's general point of view of systems. Implementation technologies are chosen and architecture of generated systems is designed based on mentioned analysis. Generated systems are designed to provide basic operations for working with items of the system. Moreover, different ways of generating code are discussed. Metamodel of conceptual model is designed and its possible types of representation are discussed. At the end problems which generator deals with are described.

This thesis deals with the development environment for generating client/server database applications. The thesis defines the characteristics of good architecture of database applications and proposes appropriate concepts for the unification of system parts of the application. It also analyzes the characteristics of the development environment to facilitate the implementation of database applications. In thesis is proposed data model. There is implemented a prototype of development enviroment and verified its functionality and correctness of the proposed concepts.

Diplomová práce popisuje vývojovou techniku Model Based Design a její použití pro návrh a testování algoritmů. Popis této techniky je proveden na příkladu praktického využití v praxi při vývoji modulu monitorování stavu motoru ve spolupráci se společností UNIS,a.s. Vývoj v oblasti současné letecké techniky klade velký důraz na monitorování životnosti zařízení. Podle výstupů algoritmu se dají naplánovat preventivní opravy s ohledem na aktuální podmínky opotřebení a provozování. Implementace algoritmů je provedena v prostředí Matlab/Simulink s následným testováním na platformě dSpace