Aktualizace XML dat

Aktualizácia XML dát je veľmi široká oblasť, ktorá musí riešiť niekoľko neľahkých problémov. Od návrhu jazyka s dostatočnou vyjadrovacou silou až po úložisko XML dát schopné zmeny aplikovať. Spôsobov ako sa s nimi vysporiadať je niekoľko. Z tohoto pohľadu je práca veľmi úzko špecializovaná len na jazyk XQuery. Teda jeho rozšírenie pre aktualizácie, pre ktoré bolo doporučenie, konzorciom W3C, zverejnené len nedávno. Ďalšou špecializáciou tejto práce je zameranie sa len na XML dáta uložené v objektovo­relačnej databáze, s tým, že úložisko bude vynucovať validitu dokumentov voči schéme popísanej v jazyku XML Schema. Táto požiadavka v kombinácií s možnosťou dáta v úložisku aktualizovať, kladie na úložisko protichodné požiadavky. V práci je navrhnutý jazyk, ktorý vychádza z jazyka XQuery, navrhnuté a implementované vyhodnocovanie aktualizačných požiadaviek tohoto jazyka nad úložiskom a popis a implementácia samotného úložiska v objektovo­relačnej databáze.Updating XML data is very wide area, which must solve a number of difficult problems. From designing language with sufficient expressive power to the XML data repository able to apply the changes. Ways to deal with them are few. From this perspective, is this work very closely dedicated only to the language XQuery. Thus, its extension for updates, for which the candidate recommendation by the W3C were published only recently. Another specialization of this work is to focus only on the XML data stored in the object­relational database with that repository will enforce the validity of documents to the scheme described in XML Schema. This requirement, combined with the possibility of updating of data in the repository is on the contradictory requirements. In this thesis is designed language based on XQuery language, designed and implemented evaluating of the update queries of the language on the store and a description and implementation of the store in object­relational database.Department of Software EngineeringKatedra softwarového inženýrstvíFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

Kompresní program

V predloženej práci študujeme možnosti kompresie dát. Pokúsime sa popísať a neskôr implementovať kompresný algoritmus porovnateľnej rýchlosti a efektivity ako algoritmus, ktorý je využívaný programom bzip2. Tento algoritmus bude základom programu bežiaceho pod konzolou operačného systému Linux, ktorý bude spĺňať nasledujúce vlastnosti: Bude poskytovať primerané grafické užívateľské prostredie na pohodlnú a jednoduchú prácu s archívom. Bude implementovať funkcie, medzi ktoré bude patriť vytvorenie archívu zo zadaných súborov a adresárov, pridanie ďalších súborov alebo ich odoberanie z archívu a samozrejme spätné obnovenie súborov a adresárov. Ďalšou funkciou bude možnosť prechádzania adresárového stromu obsiahnutého v archíve.In the present work we study posibilities of data comression. We will try to describe and later implement compression algorithm with speed and efficiency comparable with algorithm that is used in bzip2 program. This algorithm will be used in program running under console of Linux operating system. This program will meet following conditions: It will have graphic user interface for easy work with archiv allowing user to create archiv file from requested files and directories, add, and delete other files from archiv.and also decompress the content of archiv. User will be able to browse directory tree stored in archiv.Katedra softwarového inženýrstvíDepartment of Software EngineeringFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

The microcomputer application in physical principles demonstration model design

The article describes a design of a microcomputer system which is realized in the educational scale model control for physical principles demonstration. That particular design project was a part of the educational facility complex project called Experimentarium aiming at basic school and high school students. The article introduces two racing car models controlled by a microcomputer. The first model set demonstrates the speed and acceleration calculation based on a real time measurement. That calculation result can be compared with results obtained during a running man experiment. The second car model set demonstrates a downforce keeping the car riding the ceiling with wheels upside down. The microcomputer control system is based on microprocessors by Atmel, and the system is described in details including illustrative pictures, schematics and graphs

Influence of the electron beam trajectory on the surface properties of steel 42CrMo4

Práce se zabývá povrchovým kalením oceli 42CrMo4 elektronovým svazkem. Je studován vliv parametrů a zejména trajektorie elektronového svazku na výsledné vlastnosti a strukturu kalené vrstvy. Bylo zkoumáno kalení elektronovým svazkem jak bez natavení, tak i s částečným natavením povrchu. Struktury vzniklé po kalení vybranými trajektoriemi elektronového svazku byly porovnány se strukturami po kalení pomocí laseru a elektromagnetické indukce. Strukturní a fázová identifikace byla provedena pomocí SM, SEM a rentgenové difrakce. Na vzniklých kalených vrstvách byly měřeny průběhy tvrdosti.The thesis deals with surface quenching of steel 42CrMo4 by electron beam. Influence of technologic parameters and beam deflection on properties and structure of prepared layers is studied. Electron beam surface quenching was applicated with and without melting of the surface. Structures of layers made by electron beam quenching were compared with structures made by laser and electromagnetic induction. Structures and phases were analysed by optical microscopy, SEM and roentgen diffraction. Hardness was measured on hardened layers.

Monitoring system design for aquaponics farm

The aim of this bachelor thesis is the design and implementation of an online monitoring system for an aquaponic farm. The system will be able to measure water temperature in tanks, air temperature and humidity, pH of water and water level in tanks. All measured data will be accessible online. The system will also be able to control a fan and water pumps

Microstructure study of SPS compacted metallic binary materials

Bakalářská práce se zabývá aluminidy železa a tuhými roztoky na bázi Fe-Cu. Literární studie se zabývá intermetalickými materiály a jejich použitím. Dále se zabývá materiály na bázi Fe-Cu, práškovou metalurgií, mezi níž patří SPS, a nakonec difúzí. V praktické části bylo použito vzorků vyrobených technikou SPS pro strukturní a termickou (DSC) analýzu.Bachelor’s thesis deals iron aluminides and solid solutions Fe-Cu. In literature analysis are intermetallic materials and their use. Fe-Cu solutions, powder metallurgy, SPS technique and diffusion. In experimental part was used specimens made by SPS to structure and thermic analysis.

Compression program

In the present work we study posibilities of data comression. We will try to describe and later implement compression algorithm with speed and efficiency comparable with algorithm that is used in bzip2 program. This algorithm will be used in program running under console of Linux operating system. This program will meet following conditions: It will have graphic user interface for easy work with archiv allowing user to create archiv file from requested files and directories, add, and delete other files from archiv.and also decompress the content of archiv. User will be able to browse directory tree stored in archiv

Updating XML data

Updating XML data is very wide area, which must solve a number of difficult problems. From designing language with sufficient expressive power to the XML data repository able to apply the changes. Ways to deal with them are few. From this perspective, is this work very closely dedicated only to the language XQuery. Thus, its extension for updates, for which the candidate recommendation by the W3C were published only recently. Another specialization of this work is to focus only on the XML data stored in the object­relational database with that repository will enforce the validity of documents to the scheme described in XML Schema. This requirement, combined with the possibility of updating of data in the repository is on the contradictory requirements. In this thesis is designed language based on XQuery language, designed and implemented evaluating of the update queries of the language on the store and a description and implementation of the store in object­relational database