|
|
Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C
Nagy, Michal ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
Práce se zabývá problematikou detekce kompletnosti popisu instrukční sady mikroprocesoru pro překladač LLVM, neboli schopností překladače vygenerovat cílový program pro každý validní zdrojový program v příslušném vyšším programovacím jazyce. Na základech teorie regulárních stromových gramatik a několika vědeckých prací, které se touto problematikou též zabývají, je navržen a implementován formální prostředek pro ověření inkluze dvou gramatik. Dále je navržen způsob automatické extrakce obou gramatik z popisu instrukční sady, v důsledku čehož je tento prostředek možné použít pro ověření kompletnosti výběru instrukcí. V kombinaci s ověřením kompletnosti tzv. procesu legalizace překladače LLVM, který výběr instrukcí předchází, by mělo být proveditelné ověření kompletnosti většiny části překladače závislých na popisu cílové architektury.
|
|
|
Synchronizace pohybu průmyslového robotu s pohybem pásového dopravníku
Nagy, Marek ; Pochylý, Aleš (oponent) ; Kubela, Tomáš (vedoucí práce)
Diplomová práce je zaměřená na řešení problematiky synchronizace pohybu prumyslového robotu s pohybem pásového dopravníku. Informuje o základném principu a možnostech využití obdobných aplikací. Popisuje jednotlivé členy použité v aplikaci, jejich význam a funkci. Poskytuje přehled navržených programových kódů pro programovatelný logický automat, smart kameru a robot. Cílem práce je vytvoření funkční demonstrační aplikace s robotem KUKA KR3.
|
|
|
Simulation tools for CAD/CAM robot programming
Nagy, Marek ; Kubela, Tomáš (oponent) ; Pochylý, Aleš (vedoucí práce)
Bachelor’s thesis is focused on simulation, off-line programming and familiarization with KUKA robot. It informs about the composition, coordinate systems and the possibilities of movement of the industrial robot. It introduces methods of on-line and off-line programming and analysis of software for off-line programming aimed on CAD / CAM machining. It describes the creation of specific robot movements and explains the generated code for the implementation of created movements. The result is the creation of a functional illustrative application with KUKA robot.
|
|
| |
|
| |
|
|
Clinical Contents Harmonization of EHRs and its Relation to Semantic Interoperability
Nagy, Miroslav
This paper describes solutions proposals in the field of clinical content harmonization of electronic health records and semantic interoperability establishment. First the Czech national project "Information Technologies for the Development of Continuous Shared Healthcare" will be mentioned and its approach to creation of semantic interoperability platform. Afterwards an approach using openEHR architecture will be described. Finally a technique of creation of electronic health records with harmonized clinical content will be stated.
Plný tet: 0373335 -  PDF
Plný text: content.csg - PDF
|
|
|
Harmonization of Clinical Content in EHR: HL7 Messaging vs. OpenEHR Approach
Nagy, Miroslav
This paper sums up the last stage of the project called ”Harmonization of Clinical Content in Electronic Health Record (EHR)”, which is being solved as author’s PhD project. The aim of this project was the clinical content modeling of EHR and transportation of medical data via communication standards (HL7 v3 and CEN EN 13606). An experiment was conducted where archetypes and openEHR templates were used to send patient’s information to another EHR-S. The results were compared to the previous solution based on HL7 v3 messages, which was described at the PhD Conference ’09. At the end of the paper the author discusses contemporary semantics description of real clinical data by means of ICD-10 code-list, which covers the qualitative point of view quite well. However, the quantitative view on semantics of clinical data is much more difficult and the inevitability of medical ontologies usage is emphasized.
Plný tet: 0373333 - PDF
Plný text: content.csg - PDF
|
|
|
Metody vyšetření tenkého střeva
NAGY, Markéta
Zobrazovací metody zaujímají zásadní roli v diagnostickém algoritmu při určování povahy onemocnění v jakékoliv oblasti lidského těla. Jinak tomu není ani v diagnostice nemocí tenkého střeva, kdy využíváme, jak klasické rentgenové metody, tak i novější modality. V úvodní části této práce jsem připomenula historii, morfologii a fyziologii tenkého střeva. Dále jsem vypracovat ucelený přehled, jak rentgenologických, tak nerentgenologických vyšetřovacích metod tenkého střeva (od těch základních až po ty speciální). Mezi základní metody vyšetření tenkého střeva patří např. nativní snímek břicha, ultrasonografie, pasáž tenkým střevem a enteroklýza. Mezi ty speciální patří např. CT {--} enteroklýza, metody vyšetření pomocí nukleární medicíny, MR {--} enteroklýza, angiografie, enteroskopie a kapslová endoskopie (KE). Po přehledu indikací, kontraindikací, kontrastních látek a přípravě pacienta jsem se v konečné fázi práce snažila statisticky zpracovat soubor pacientů vyšetřovaných v letech 2002 {--} 2006 na odděleních v Institutu klinické a experimentální medicíny (IKEM) v Praze.
|
|
| |
|
| |
host ::
RSS.