|
|
Grab manipulator
Mlčoch, Petr ; Jančík, Pavel (referee) ; Škopán, Miroslav (advisor)
The subject of this thesis is a design of an aluminium scrap handling device. This device works in a roofed-over hall and it is stationary. Introduction to this thesis brings the usual machines used for handling of metal waste as alternatives to this device, and the reasons why these do not fulfil the customer’s demands. The work contains kinematics lay-out and force analysis. The shape and dimensions of the design derive from these chapters. The following part deals with the description of the major parts including the hydraulic system which provides all the working movements of the device. The conclusion comprises of the retroactive check of the device’s tipping load, calculation of the rollover resistance, stress analysis of the boom and the stick. The work includes the general assembly drawing and subassembly drawings of the boom and the stick.
|
|
|
Scripting in Audacity Audio Editor
Šípoš, Peter ; Pop, Tomáš (advisor) ; Jančík, Pavel (referee)
Audacity is popular and widely used audio editor available for all the main platforms including Windows, Mac as well as various Linux distributions. Audacity functionality can be controlled via sophisticated user interface, but the editor suffers from a lack of support for an automated execution of scripts and therefore, using audacity e.g., to perform the same action on multiple files can be tedious. The thesis aims at extending Audacity editor to allow using scripts in the audio editing workflow. The first part of the thesis overviews Audacity's architecture, and discuss, how Audacity can be extended and what alternative applications are available. Then, the thesis describes the most important decisions that were taken, including the choice of scripting language, managing errors and designing user interface. Finally, the extension functionality is shown on several examples reflecting a typical use-cases.
|
|
|
Universal discrete simulator
Vytasil, Jiří ; Pergel, Martin (advisor) ; Jančík, Pavel (referee)
In this thesis we analyzed the design and implementation of the program allows you to perform discrete-event simulation. Further in the program we implemented visualization of discrete-event simulation. Emphasis is placed mainly on universality. In addition to the program and its description includes information of discrete-event simulation, which allows easier understanding of program operation. For a description of discrete-event simulation using finite-state automata and regular grammars. These parts are described more in order to more easily understand the description of the discrete-event simulation. The system also allows adjustment of input files for easier operation of the program.
|
|
|
Efficient Representation of Program States
Jančík, Pavel ; Kofroň, Jan (advisor) ; Gargantini, Angelo (referee) ; Barnat, Jiří (referee)
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme techniky pro nalezení nepodstatných informací ve stavech programů a pro jejich odstranění. Tato práce obsahuje redukce vhodné pro explicitní i symbolickou reprezentaci stavů. Naše postupy vhodné pro explicitní reprezentaci byly speciálně navrženy pro vícevláknové programy. Naše analýzy dokáží nalézt takové hodnoty v dynamicky alokovaných objektech, tedy na haldě, které program již nebude v následujících krocích číst. Logické formule v predikátové nebo výrokové logice jsou převažující symbolickou reprezentací množin stavů programu. Craigovy interpolanty jsou jedním z obvyklých postupů pro získání formulí s požadovanými vlastnostmi. V této práci představujeme nový způsob jejich výpočtu, který používá přiřazení proměnných pro zmenšení jejich velikosti. Pomocí přiřazení proměnných můžeme zablokovat ty cesty v programu, které nechceme, aby interpolant bral v potaz a tím zmenšit jejich velikost.
|
|
|
Debugger interface for Java PathFinder model checker
Vávra, Štěpán ; Jančík, Pavel (advisor) ; Yaghob, Jakub (referee)
The aim of this work is to integrate Java PathFinder into Java Platform Debugger Architecture. That is, to allow using Java PathFinder instead of a common Java Virtual Machine for the purpose of debugging Java applications in any modern Java Integrated Development Environment with all its advantages such as various kinds of breakpoints, direct stepping in opened source files, and call stack and object inspection. The resulting work provides users with all the features they are used to while debugging Java applications. None of this requires any external tools, editors or a complicated setup. Therefore, users are able to view, debug and understand the program state while replaying an error trace in Java PathFinder. The key part of the study is an implementation of the Java Debug Wire Protocol Agent as an extension for Java PathFinder. That makes JPF more complete as a Virtual Machine in the eyes of the community and the Java users in general. Powered by TCPDF (www.tcpdf.org)
|
|
|
Checking Compliance of Java Implementation with TBP Specification
Jančík, Pavel ; Parízek, Pavel (advisor) ; Kofroň, Jan (referee)
Verification is a method of increasing reliability of component based applications. Component composition and its verification from the communication point of view, is one of the current research topics. Behavior protocols (BPs) are an abstraction used to describe communication among components. Tools, that are able to verify component composition, have already been developed. These tools concern only the BP level and they implicitly presume that implementation of the components conforms to given BP. The importance of verification of implementation compliance with BP is obvious. The BP and rules for communication among components are created during the early steps of the development cycle. Various deviations from the original BP (intentional or unintentional) arise during the implementation phase. This approach reflects the importance of a checker tool. Checker tool, which will ensure conformance of a single component implementation written in Java with given threaded behavior protocol, is the final result of our work. The work also contains an evaluation of the tool in bigger real life examples.
|
|
|
Real-time Recognition of Typed Letters
Hámorník, Juraj ; Toropila, Daniel (advisor) ; Jančík, Pavel (referee)
Tablet PC devices are becoming more and more popular these days. These devices rarely have a hardware keyboard. Users input a text in two major ways. First one is a virtual keyboard, where users type each character individually and second one is handwrite recognition, where users write the whole words. Our method combines chars input method and handwriting. Hand written character that can contain multiple strokes, is converted into sequences of numbers. Based on this sequence we evaluate a written character. When we compare the default input method on operating system Windows 8 we can figure, that for advanced users, and for some languages our method could be a challange.
|
|
|
Pascal interpreter
Jančík, Pavel ; Yaghob, Jakub (advisor) ; Bednárek, David (referee)
Work has to enlarge student's knowledge about design and programming of interpreters. Student will use advanced programming techniques and tools commonly used in compilers. Target of work is creating interpreter that process subset of Pascal programming language. Its design is object oriented and easily extensible. Goal of this work is create platform for future development. Student will study existing virtual machines used in other interpreters and create own simple virtual machine and instruction set.
|
|
|
DEBRA - Derscriptor Barn
Le, Khanh Chuong ; Hoksza, David (advisor) ; Jančík, Pavel (referee)
One of the key tasks of cheminformatics is representation of chemical compounds. In this thesis we develop a client server software that can generate large amount of such representations. The server allows adding plugins which exploit third party applications. These applications are launched via a command line interface, or calling methods of a web service. The client displays the possible representation types. The user will choose a set of representations and an input set of molecules and this query sends to the server. The server then calls plugins and return a result. Powered by TCPDF (www.tcpdf.org)
|
|
|
Signature-based User Authentication
Hámorník, Juraj ; Jančík, Pavel (advisor) ; Moško, Juraj (referee)
This work aims on missing handwritten signature authentication in Windows. Result of this work is standalone software that allow users to log into Windows by writing signature. We focus on security of signature authentification and best overall user experience. We implemented signature authentification service that accept signature and return user access token if signature is genuine. Signature authentification is done by comparing given signature to signature patterns by their similarity. Signatures similarity is calculated by dynamic time warp on dynamic signature features such as speed, acceleration and pressure. User access token is used by our Windows login plugin called signature credential provider to decrypt user credentials and perform log in. Result of this work is solution that allow user log to windows by handwritten signatures, with equal error rate of 4.17\%.
|
guest ::
RSS feed.