|
Code Assertions Verification Using Backward Symbolic Execution
Husák, Robert ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the main representatives are Microsoft FxCop, Code Contracts and Pex. Those tools can, indeed, help to build a highly reliable software. However, when a company wants to include them in the software development process, there is a significant overhead involved. Therefore, we created a "light- weight" assertion verification tool called AskTheCode that can help the user to focus on a particular problem at a time that needs to be solved. Because of its goal-driven approach, we decided to implement it using backward symbolic execution. Although it can currently handle only basic C# statements and data types, the evaluation against the existing tools shows that it has the potential to eventually provide significant added value to the user once developed further. Powered by TCPDF (www.tcpdf.org)
|
|
"One for all and all for one!" The role of Bund der Deutschen and its foregoers in public space of the Bohemian lands 1918-1938.
Balcarová, Jitka ; Kubů, Eduard (advisor) ; Jindra, Zdeněk (referee) ; Šouša, Jiří (referee)
The work analyzes the German economic "defense" associations for support and development of the "economic national possession" in phase of the interwar Czechoslovakia. Their institutional representatives were the so-called "regional associations of Germans", since 1934 Bund der Deutschen. They represent one of the most important types of the German national "defense" associations. Their importance inheres in their function in the public space, where they supported a gradual ideological and political radicalization on the basis of the confrontation nationalism with the anti-Slav and anti-Semitic context. The research detects one of the most important organizational structures of the German national movement, its ideological basis, strategies and methods for its function. The role of associations like co-builder of national identity comes forth. The work comes to a conclusion, that the analyzed associations significantly co-influenced a formation process of the "Sudeten German identity".
|
|
Current trends in the development and use of HTML5 and CSS3
Poništ, Ondřej ; Chudán, David (advisor) ; Sklenák, Vilém (referee)
This thesis deals with the prepared standards HTML 5 markup language for web pages and CSS 3 Cascading Style Sheets. The final specifications of these two languages isn't planned before the end of 2014, but it already appear in the practical use of the site. The aim of this thesis is to explore new options and features of HTML 5 and CSS3 compared to the current version of HTML 4.01 and CSS2, based on then summarize their advantages, which are currently possible in the creation of Web use. The thesis is divided into theoretical and practical parts. The theoretical part contains a description of HTML5 and its development and functions, as well as a description of the new CSS3 properties. Practical work demonstrates the use of new elements and features of HTML5 and CSS3 for creating web presentation.
|
|
Electronic system of language education laboratory
Skoumal, Martin ; Bradáč, Zdeněk (referee) ; Zezulka, František (advisor)
This work deals with the creation of electronically controlled audio system for the language classroom. Possible solutions compares analog and digital form. Furthermore, describes the final system that was designed. The resulting system is implemented by analog amplifiers and analog crosspoint matrix. Hardware control is realized by microcontroller and that is controlled from the computer.
|
|
Investigation of new materials for second harmonic generation
Brajer, Martin ; Němec, Petr (advisor) ; Žídek, Karel (referee)
In these bachelor thesis optical properties of materials are studied. This materials are purposefully prepared for effective second harmonic generation (SHG) and for its usage in optoelectronics. Specificely we will measure the first hyperpolarizibility. Non-coherent phenomenon of hyper-Rayleigh scattering will be used. Considering its incoherence, the effect is very weak. It's necessary to use a strong source of light, pulse laser and a sensitive detection device, photomultiplier. Samples are prepared in cooperating chemical laboratories of Faculty of Science of Charles University in Prague. Additionally, we will discuss participation of two-photon fluorescence in output intensity because of its interchangeability with SHG.
|
|
Characters with mental disabilities in czech cinematography 1993 - 2007
Mištová, Jaroslava ; POZZI, Jaroslav (advisor) ; MRAVCOVÁ, Marie (referee)
This bachelor thesis describes the changes in society's view of people with mental disabilities in recent centuries at first, then it is approaching the meanings of the words „mental handicap“ and briefly explains the various classifications of these handicaps. I also work with concept of characters with mental disabilities in Czech cinematography 1993 - 2007. To detect negative stereotypes about people with mental disabilities in the Czech films I use analysis of specific films of that time period. And at the end I find the most common negative stereotypes in these films. One of the most common negative stereotype is the presentation of death - or any form of destruction, silencing, or imprisonment - a character with mental disabilities, as the only possible solution for the character with mental disabilities and society too.
|
|
moving objects tracking
Bradáč, František ; Gogol, František (referee) ; Richter, Miloslav (advisor)
The thesis deals with founding and tracking of moving objects inside of visual field and prediction of their future position. The created methods combine few approaches for solution this problem. First, the most probable of the static part of the observed scene is created. Then this model is used to detect moving objects. The correspondence of objects between two consecutive pictures is performed by analyzing of motion of these objects. For analyzing of motion of the objects optical flow is used. Prediction of the future position is performed by Kalman filter. Providing suitable condition these methods are able to track the moving objects even if these objects are passing closely or colliding. The methods are implemented in language C++ and their functionality was verified by sample with scanned non static scene.
|
|
The development of e-shop for WordPress
Štencek, Jiří ; Kunstová, Renáta (advisor) ; Šubrta, Václav (referee)
The thesis focuses on developing e-shop with CMS WordPress and plugin eShop. Its aim is to write a methodology by which it would be possible to create e-shop step by step. The work outlines the advantages and possible disadvantages of this solution. Outcome of this work are also additional scripts that optimizes functionality of eShop plugin and extensions for linking e-shop with Czech e-commerce services. Czech localization for plugin eShop is also part of this thesis. Writing methodology precedes the preparation of the technical background documents WordPress and the selected extension called eShop. The first chapter defines the objective of the thesis and are defined substrates. The following is research that confirms the absence of similar methodologies or guidelines in both Czech and foreign language. The third chapter presents the used solution and reveals the technical basics of WordPress and plugins. The main part - the fourth chapter contains the very methodology of creating e shop. It takes the reader through the process from installation to launch the e-shop. Includes introduction of making templates, analysis appropriate plugins and show how to edit them. This part also presents how to manage products and orders, create Czech localization, links to e-commerce services and additional programming required functions in e-shop. Chapter contains recommendations for the operation and maintenance of the e shop and subchapter about user testing describes method by Steve Krug, use it as a practical demonstrations and evaluating conclusions. Contribution of this thesis is the know-how in terms of methodology, expanding the knowledge base of the community, the additional scripts for e-shop and written recommendations for the process of operation e-shop by WordPress.
|
|
BBC Radio 7 - public service for children
Veselá, Veronika ; Osvaldová, Barbora (referee) ; Moravec, Václav (advisor)
The object of this dissertation is to map out broadcasting to children on the BBC's public digital radio channel, BBC Radio 7. First, it will introduce BBC Radio 7 as a new digital radio station, that has been broadcasting since December 2002, whilst referring to BBC Radio's 7 history, it's programming and programm format and it's weekly reach and budget. Furthermore, the dissertation focuses on the characteristics of programmes aimed at children, that BBC Radio 7 broadcasts. Equally, it closely analyzes BBC World News for Children, the news bulletin created for children it's structure, the scope of news topics, the substance of the news stories, it's language and the way the news are made.
|
|
Bohemika in the castle library collection in Český Krumlov
ČECHOVÁ, Petra
My thesis Bohemika in the castle library collection in Český Krumlov is devoted to the processing of the Czech collection of the castle library in Český Krumlov. The primary source are Czech books, which are now stored in the castle library. The Czech collection was developed by the aristocratic family of Schwarzenberg. In my thesis I deal not only with the general evaluation of this part of the collection, but also with the attitude of individual book owners towards the Czech language and literature. The thesis is divided into five chapters. The first chapter briefly describes the development of Český Krumlov Castle and the castle library, the second chapter is devoted to the general evaluation of the Czech collection in the library. The third chapter outlines the historical development of Schwarzenberg family in the concept of the castle library. There is a significant point of view of the owners of the Czech books and the access of the individual members to the Czech language and literature. The fourth chapter focuses in detail on the area of artistic literature and its presence in the castle library. The fifth chapter deals with the Czech collection of the castle library in Vrchotovy Janovice and its owners, particularly with the baroness Sidonie Nádherná from Borutín. The book collections of both the libraries are compared in the end of the thesis. The thesis also includes the catalogue of the Czech books, which I prepared and organized.
|
guest ::
