Práce se zaobírá problematikou implementace součtového datového typu v jazyce C++. Nejprve navrhuje vlastní abstrakce pro manipulaci s posloupnostmi hodnot a typů, které následně umožňují vyjadřovat komplexní operace deklarativně. V průběhu implementace jsou prezentovány návrhové vzory obvyklé pro oblast metaprogramování. Implementace přichází s rozhodnutími odlišnými od referenční implementace. Pro manipulaci se součtovým typem jsou představeny dvě šablony funkce, lišící se sémantikou. Užití součtového typu je ukázano na příkladu konečného stavového automatu.

The basic aim of this work is to improve existing model of rotational inverted pendulum by adding new mechanical features, implement the control algorithm to dsPIC microcontroller and develop related control electronics thus extending the functionality of current model while making it more compact. The work contains derivation of dynamic equations both by means of analytical methods and multi-body formalism of SimMechanics. These are used to design a state controller stabilizing the pendulum in inverse position. In addition, parameters of the system are being estimated experimentally. Swing-up controller is developed to drive the pendulum to unstable position. Various state estimators are added to controller to improve the control process while comparing their overall performance. The last point is devoted to development of superior state-automaton designed to switch between different regulating modes including fail-detection algorithms providing smooth operation of the model.

With the expansion of the Internet communication and related availability of increasing number of services built on different technologies, distributed systems represent a solution to integrate these network services and provide them to users in a coherent form. The .NET Framework which provides an environment for application development in a highly distributed environment of Internet and intranet can be used to achieve this goal. This PhD thesis deals with access to shared resources in the context of distributed systems using the .NET platform. The first part of the work is devoted to describing the basic principles of distributed systems and .NET platform techniques, which can be used for implementation of the principles. For the purposes of request processing having asynchronous nature not only in distributed systems a universal interface for the description of asynchronous operations was designed and implemented. The interface extends standard asynchronous techniques on the .NET platform. In order to address the issue of access to shared resources model was designed based on the principles of object-oriented programming, along with basic algorithm to avoid deadlock in the case of use resources by multiple processes (threads) simultaneously. This extendable model has been successfully implemented and its functionality verified in basic scenarios of access to shared resources. After the definition of resources and their dependencies the implemented model allows working with resources as with any other objects on .NET platform. The synchronization processes proceed transparently in background.

The thesis describes the basic types of barcodes, their development and history. It's mentioned cutting barcodes by dimension, types of barcodes which are the best known and the best used, are described. The key chapter describes details of EAN-8, EAN-13, UPC-A and the additional symbol. It's outlined an algorithm for decoding barcode in image. In conclusion, the results are evaluated and a further development of the project is outlined.

Práce představuje nový přístup v automatizovaném vytváření uživatelských rozhraní. Na základě taxonomie pro charakterizaci dat byla vyvinuta nová taxonomie pro charakterizaci kódu. Tato taxonomie označuje významné vlastnosti dat a kódu tak, aby ji bylo možné použít v procesu automatického vytvoření uživatelského rozhraní. Taxonomie je platformově nezávislá a může být uložena jako součást metadat nebo v externím souboru. Na základě taxonomie je představený proces automatického vytvoření uživatelského rozhraní s detailnějším popisem jednotlivých kroků. Celý proces generování uživatelského rozhraní je demonstrován na příkladech.

The present diploma thesis focuses on the unconscious code-switching between second and third language. The main objective of this thesis is to deal with principles of unconscious code-switching, describe and categorize actual appearances of unconscious code-switching between second and third language. After introducing issues, the second chapter sums up the way of second and third language acquisition in terms of bilingualism and multilingualism. The third chapter presents a definition and theoretic bases of code-switching. The fourth chapter concerns the analysis of the reason for code- switching in terms of usage-based and psycholinguistic approaches. The fifth chapter presents a categorization of code-switching from syntactic and pragmatic perspectives. The sixth chapter concerns the analysis of cases of code-switching from recorded interviews and the explanation of possible factors causing unconscious code-switching. Key words: Unconscious code-switching, bilingualism, multilingualism, usage-based approach, psycholinguistic approach, function words, acquisition, second language, third language, WIPP

This diploma thesis deals with developing generator for single-page applications. Before developing the application it was necessary to identify problem areas that prevent the development and describe tools that make it easy to create, test, maintain, and deploy single-page applications. Based on the obtained information, the generator Create Sbspa is designed and implemented to efficiently create single-page applications and help to eliminate development problems. It generates configuration and code from semantic templates. The generator is available through a user interface that splits the templates into the groups by applicability. The generator was designed with the need for simplicity and clarity to enable efficient integration with new features. This work also includes design and implementation of the example app which shows features and benefits of the generator.

This thesis describes barcodes which are used in postal services. Specifically, it is concerned with Intelligent Mail Barcode, the GS1-128 code, the C128 code of Ceska posta (Czech Postal Services) and the QR code. The thesis attempts to analyze methods of encoding information into barcodes and error detection algorithms used for error correction during the decoding processes. Most importantly, there is described Reed-Solomon error correction in the QR code. There are presented and evaluated different methods of code detecting which are suggested by authors of various academic articles. The thesis also describes the method of creating test sets of images and proposed appearances of the scanning scene. Additionally, there are described algorithms for detection and decoding barcodes GS1-128, C128 and IMB in the image which was created during the work on this thesis. Finally, there is the evaluation of the percentage success of algorithms.

The main goal of this thesis is to describe the implementation of continuous integration into the k-Wave project. The thesis focuses primarily on the version written in the C/C++ language with the usage of the OpenMP library which typically runs on supercomputers. Accordingly, many of popular workflows and approaches ought to be adapted, a few more created. The outcome of the thesis is a complete solution with real and practical usage. The author provides design, tools selection, runtime environment administration and configuration for each one of the used services. Software implementation of the basic framework is used in order to utilize running tests on the supercomputers. Furthermore, the implementation of chosen types of regression and unit tests are performed. Realisation is based on Gitlab and Jenkis services that are running on separated Docker containers.

Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.