|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
|
Advanced Synchronization of Contacts and Calendar with Google Services
Dohnal, Matěj ; Zelený, Jan (referee) ; Očenášek, Pavel (advisor)
The purpose of this barchelor’s thesis is to sum up the knowledge of personal data synchronization between a desktop application and the Google services. The main goal is to design and implement own application which would perform advanced synchronization of personal data. The design should be based on knowledge from the first step and also on deep analysis of existing solutions. Last part of the thesis describes testing of the implemented application and discussion of aproached goals and following development of the application.
|
|
|
An Android Application Supporting Business Processes
Kalai, Marcel ; Očenášek, Pavel (referee) ; Smrčka, Aleš (advisor)
This bachelor thesis offers a closer look at mobile ERP application development. It illustrates framework development that facilitates the creation of a customer's mobile application for the ERP system as well as the creation of a demonstration application. We will get acquainted with the area of ERP systems and the Android platform. As a result we will obtain a tool set for data management, synchronization and attaching of modules, functionality of which will be presented by the demonstration application.
|
|
|
Mathematical models of linear and nonlinear oscillators
Lovas, David ; Opluštil, Zdeněk (referee) ; Čermák, Jan (advisor)
This bachelor thesis deals with mathematical models of linear mechanical oscillators, which represent one of basic applications of ordinary differential equations. There are explained harmonic oscillators, damped oscillators and driven oscillators. The thesis discusses also superposition of oscillators and coupling of oscillators, including their synchronization.
|
|
|
Advanced Backup for OS Windows
Šilhán, Jiří ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
Nowadays digital information is an inseparable part of our lives. More and more information has been stored on digital storages. It is very well used by individuals, companies and states. This bachelor thesis is aimed at data backups, software comparison and mainly at description of the created software which is capable to backup and restore data intelligently.
|
|
|
Cooperative Project Planning in Getting Things GNOME
Matušov, Izidor ; Holík, Lukáš (referee) ; Smrčka, Aleš (advisor)
This work dicusses the extension for Getting Things GNOME which makes it possible to use it for planning and managment of cooperative projects. Reader is introduced to basics of project planning and project management and selected methods. The target audience and their needs for the extension were identified and their solutions were proposed. This work includes a walkthrough the extension of the user interface in the form of wireframes. The proposed extension was implemented and tested.
|
|
|
Communication of USB3.0 Chip with FPGA
Špeťko, Matej ; Viktorin, Jan (referee) ; Košař, Vlastimil (advisor)
SEC6NET is an abbreviation for project Modern tools for detection and mitigation of cyber criminality on the New Generation Internet. Project is focused on research and development of means for monitoring and analysing the network flow. Probes for monitoring IPv6 networks are developed within this project. Probes are using hardware acceleration based on FPGA platform. My thesis connects two technologies: FPGA and USB. The goal is to transfer data from the FPGA microchip to PC using Cypress EZ-USB FX3 microcontroller. The first part is focused on transferring data from FPGA to FX3 microcontroller. Second part describes the modification of FX3 firmware for getting maximum throughput. The last part focuses on implementing PC application for Linux operating system. The application receives data from the probe and saves them into hard drive using PCAP format.
|
|
|
Contact Synchronization for a Private Cloud
Sendler, Jaroslav ; Očenášek, Pavel (referee) ; Trchalík, Roman (advisor)
This masters's thesis is studying the possibility of Create a synchronization tool for device running on Android. It is the ability to sync contacts from portable devices in a private cloud, which is here substituted by Directory server. For working with directory, server uses LDAP server and its implementation of OpenLDAP. The first part is aimed at the description of the structure and directory services. Following is analysis and separation requirements. The whole project is completed by proposals and implementation that relate to the safety and advanced synchronization.
|
|
|
Communication of a Measuring Device with a Computer – Laboratory Experiments
Cigánek, Jan ; Frýza, Tomáš (referee) ; Jakubová, Ivana (advisor)
This project deals with the programme for automated measurement. Project describes main theory advices and possibilities of building programme with language C++. It shows complication in communication of PC with measurement devices and it describes programme commands. This work includes programme, solution, structure with examples of the algorithm and source code. The designed control programme has been applied for automated measurement of frequency characteristics of low-pass and high-pass filters with the analogue multiplier AD 633 using the programmable DC power supply Agilent E3631A, the digital multimeter Agilent 34411A or digital storage oscilloscope Tektronix TDS 1012 and generator Agilent 33220A.
|
|
|
Design of the Multicore Processor in VHDL
Novotný, Jaroslav ; Straka, Martin (referee) ; Kaštil, Jan (advisor)
The objective of the thesis is to design and implement in the VHDL language a simple multiprocessor supporting parallel computing. Furthemore, the author has designed and realized universal transparent generic interconnection layer with the objective to connect any given number of processor cores to shared address space using arbitrated bus. Parametrized cache has been allocated to each core in the layer. MSI protocol was used to deal with the issue of memory coherence of the implemented system. Direct and indirect synchornisation support is available to the user. In order to verify the functionality of the system, simple processor core has been designed and implemented, and its copies were connected to the interconnection layer. Various testing programmes have been used to verify the functionality of the system, which also confirmed that the acceleration of computing has been achieved successfully. Virtex6 chip has been used to test the whole system.
|
guest ::
