|
Prekladač jednoduchých algoritmov
Gonšenicová, Patrícia
Tato bakalářská práce se zabývá vytvořením webové aplikace pro překlad jednoduchých algoritmů napsaných v programovacím jazyce Pascal do jiných pro-gramovacích jazyků. Účelem aplikace je podpora výuky předmětu algoritmizace na Provozně ekonomické fakultě Mendelovy univerzity v Brně. Překlad je realizován pomocí lexikální a syntaktické analýzy využitím nástroje ANTLR a gramatiky Pas-calu, a následně využitím posluchače je implementována transformace kódu. Práce se věnuje jednotlivým etapám vývoje, jak je nastudování problematiky, ana-lýza řešení, analýza alternativ k aplikaci, návrh a implementace zvoleného řešení a testování.
|
|
Srovnání efektivity různých programovacích jazyků při práci s automaty
Polanský, Ondřej ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
V této práci jsou srovnány jazyky C++, C#, OCaml a Python na základě rychlosti, paměťové náročnosti a programátorské přívětivosti. Práce si klade otázku, jak moc se liší programy pracující s konečnými automaty, pokud jsou zapsané v různých jazycích. V každém jazyce je implementována stejná sada základních a pokročilých automatových algoritmů a následně je měřena jejich efektivita na vzorku 200 konečných automatů na unixovém operačním systému. Závěrem jsou prezentovány výsledky a je diskutována vhodnost jednotlivých jazyků pro práci s automaty. Tato práce může posloužit například při výběru jazyka pro tvorbu knihoven pro práci s automaty nebo při návrhu programů a prototypů algoritmů pracujících s automaty.
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci vyvíjíme knihovnu kontraktů a překladač, který zkompiluje kód v jazyku C# do jazyku Viper, a tak umožní jeho verifikaci. Uživatel může anotovat svůj program těmito kontrakty a pak použít překladač, aby určil, zda je program funkčně korektní. Překladač podporuje podstatnou podmnožinu funkcí jayzku C#, včetně typů a polí. Je integrován s Visual Studiem, a ukazuje tak chyby z překladu a verifikace uživateli přímo v prostředí.
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je prozkoumat možnosti implementace kompilátoru nízkoúrovňového funkcionálního jazyka. Předpokládá se zhodnocení teoretických vlastností funkcionálních jazyků, možných omezení vyplývajících z absence běhové podpory kódu a implementace kompilátoru jazyka, který demonstruje některé vybrané vlastnosti. Powered by TCPDF (www.tcpdf.org)
|
| |
|
IDE for SCADA Development at CERN
Mareček, Matěj ; Holík, Lukáš (oponent) ; Křivka, Zbyněk (vedoucí práce)
The goal of this master's thesis is to design and implement an IDE (Integrated Development Environment) that makes development for SIMATIC WinCC Open Architecture more effective and secure. This thesis is based on a research made by Eindhoven University of Technology and it meets needs of CERN EN ICE SCD section. The developed IDE is built on top of the Eclipse Platform and it uses Xtext for code parsing, scoping, linking and static code analysis. The IDE also supports a new programming language that allows programmers to easily define templates for WinCC OA configuration files. The interpreter of this new language is able to parse a template and a configuration file and decide whether the configuration file matches the template. The practical result of this thesis is an IDE that supports WinCC OA developers at CERN and performs periodical analysis of CERN code written in Control script Language.
|
|
Porovnání programovacích jazyků PLC
Noga, Kamil ; Pásek, Jan (oponent) ; Fiedler, Petr (vedoucí práce)
Tato práce se zabývá programovacími jazyky programovatelných automatů v systémech Heidenhain a Mitsubishi. Cílem této práce je porovnání jednotlivých systémů po stránce PLC programování a také porovnání diagnostických nástrojů pro programátora v jednotlivých systémech. Dále pak porovnáním vývojového prostředí.
|
|
Compiler of a Language with User-Defined Syntax for New Constructs
Kuklínek, Lukáš ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
This project aims to design and implement an experimental programming language. The main feature of the language shall be the ability of the user to define new syntactic constructs. The language shall be statically typed and compiled to a native binary form. The language consists of two parts. The first part is a minimalistic core based on the principles of stack-oriented languages. The second part is a mechanism that lets users define new syntactic constructs. Then we elaborate on findings that have risen from design and experiments performed with the prototype implementation of the language.
|
| |
|
Systémy PLC ovládané dotekovým panelem pro řízení VN zařízení
Vlk, Jáchym ; Vyskočil, Pavel (oponent) ; Kubíček, Michal (vedoucí práce)
Diplomová práce popisuje komunikaci PLC a dotekového displeje za účelem řízení vysokonapěťových zařízení. Je zde uveden základní přehled a stavba. Tato práce popisuje část vývoje společnosti IVEP. Jelikož se jedná o počátek dlouholetého vývoje, je předčasné, v rámci této práce, dělat cílené závěry. První kapitola je věnována PLC a dalším komponentům. Druhá kapitola je zaměřena na problematiku týkající se vysokonapěťového zařízení a dále následuje kapitola probírající programovou část. Zakončena je čtvrtou kapitolou zaměřující se na samotnou realizaci komunikace. Závěrem je malé zhodnocení s vyhlídkou do budoucnosti.
|