|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (oponent) ; Fiedor, Jan (vedoucí práce)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
|
Vizualizace geografických dat průmyslových hal
Zavadil, Lukáš ; Lazúr, Juraj (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této práce je tvorba geografického informačního systému, který bude poskytovat možnost správy a vizualizace prostorových dat průmyslových hal společnosti Honeywell. Systém nabízí interaktivní rozhraní, které obsahuje nástroje umožňující snadnou úpravu geografických dat a vizuálně znázorňuje vzniklé nežádoucí stavy. Mezi hlavní přínosy jeho nasazení patří usnadnění hledání prostojů a možnost rychlé lokalizace zařízení výroby. Dále také obsahuje nástroje umožňující uživatelům reagovat na změnu hierarchie a struktury výrobních hal a jejich zařízení.
|
|
|
Univerzální grafický editor obrazovek pro LCD zařízení
Šmejdíř, Radek ; Drahanský, Martin (oponent) ; Orság, Filip (vedoucí práce)
Cílem této bakalářské práce bylo vytvořit pro firmu Honeywell univerzální grafický editor obrazovek pro LCD zařízení. Tento editor je jedním modulem z celé aplikace, která slouží k automatizovanému testování termostatů a podobných zařízení. Editor umožňuje definování layoutu displeje a jednotlivých obrazovek a výstup ukládá do XML souboru. Program je určen pro platformu Microsoft Windows. Implementace byla provedena v jazyce C# s využitím prostředí .NET framework.
|
|
|
Výškoměr pro RC modely letadel
Švec, Jan ; Frýza, Tomáš (oponent) ; Prokopec, Jan (vedoucí práce)
Předmětem mé bakalářské práce je návrh výškoměru, který využívá pro záznam letové polohy modelu RC letadla vyhodnocování aktuálního atmosferického tlaku. Údaje jsou po dobu letu ukládány do paměti, odkud je možné je po skončení záznamu přes rozhraní USB uložit v PC. Software na PC zajišťuje komunikaci se zařízením a přepočet zaznamenaného tlaku na nadmořskou výšku RC modelu.
|
|
|
Výškoměr pro RC modely letadel
Švec, Jan ; Frýza, Tomáš (oponent) ; Prokopec, Jan (vedoucí práce)
Předmětem mé bakalářské práce je návrh výškoměru, který využívá pro záznam letové polohy modelu RC letadla vyhodnocování aktuálního atmosferického tlaku. Údaje jsou po dobu letu ukládány do paměti, odkud je možné je po skončení záznamu přes rozhraní USB uložit v PC. Software na PC zajišťuje komunikaci se zařízením a přepočet zaznamenaného tlaku na nadmořskou výšku RC modelu.
|
|
|
Bezsenzorové řízení rychlosti a polohy stejnosměrného kartáčového motoru malého výkonu
Svoboda, Jan ; Hanák, Pavel (oponent) ; Prajzner, Václav (vedoucí práce)
Práce se zabývá bezsenzorovým řízením stejnosměrných kartáčových motorů malého výkonu, používaných v aktuátorech firmy Honeywell. V úvodu seznamuje s řízením stejnosměrných motorů a s používanými metodami snímání jejich rychlosti a polohy. Zvolenou bezsenzorovou metodou je zde metoda detekce komutačních pulzů v signálu proudu motoru. Tyto pulzy vznikají při přeskakování kartáčů mezi lamelami komutátoru. Správným vyhodnocením komutačních pulzů lze získat informaci o rychlosti otáčení a poloze motoru. Práce zkoumá tuto poměrně novou metodu detekce komutačních pulzů. Na naměřených vzorcích signálu demonstruje problémy, které vznikají při jejím použití a dále navrhuje vhodná řešení číslicového zpracování signálu s komutačními pulzy. Spolehlivost navržených metod zpracování signálu je testována na sadě naměřených signálů za různých podmínek, následně je z navrhovaných vybrána nejlepší metoda zpracování signálu, kterou by mohl používat systém bezsenzorového řízení.
|
|
|
Aplikace s regulátorem HAWK
Klíma, Jaroslav ; Štohl, Radek (oponent) ; Jirgl, Miroslav (vedoucí práce)
Cílem této bakalářské práce je realizace propojení regulátoru HAWK od společnosti Centraline/Honeywell a modelů jeřábů přes komunikační protokol MODBUS/TCP, včetně demonstrace funkčnosti a vytvoření vizualizace. Pro řízení modelů byly použity programovatelné automaty SIEMENS S7-1200. První část práce byla věnována popisu HAWK regulátoru a jeho komunikačních možností v základní konfiguraci. Druhá polovina teoretické části se zabývá nejpoužívanějšími funkcemi a terminologií vývojového prostředí COACHAX, pomocí jehož je realizována MODBUS komunikace a vytvořena demonstrační aplikace. Praktická část nabízí jednak jednoduchou úlohu pro demonstraci komunikace programovatelného automatu a regulátoru HAWK přes MODBUS/TCP a dále aplikaci, která vytváří nadstavbovou systémovou vrstvu, oproti programovatelným automatům, a nabízí pokročilé možnosti ovládání modelu a vytvoření základních provozních statistik.
|
|
|
Výroba plynových ventilů na automatické lince
Pešl, Milan ; Rumíšek, Pavel (oponent) ; Štroner, Marek (vedoucí práce)
Tato diplomová práce se zabývá zhodnocením výroby plynových ventilů na automatické lince a návrhem kamerového systému k odhalení chyb při montáži ve firmě Honeywell Česká republika s.r.o. Cílem práce je vzájemné porovnání jednotlivých navrhovaných variant kamerového systému, výběr nejoptimálnější z nich a vyhodnocení detekovaných chyb linky za pomoci Paretových diagramů. Nedílnou součástí práce je také stručný popis automatické linky na výrobu plynových ventilů a historie firmy Honeywell.
|
|
| |
|
|
Uživatelské nástroje pro podporu automatizovaného funkčního testování prototypů ve vývoji
Grabovský, Štěpán ; Macháček, Jiří (oponent) ; Svoboda, Radomír (vedoucí práce)
Předložená bakalářská práce se zabývá vývojem aplikace pro podporu automatizovaného testovaní prototypů ve společnosti Honeywell, divizi ACS v Brně. V rámci práce byl vytvořen počítačový software, který načítá data z předloženého skriptovacího souboru, a na jejich základě provádí testování. Výběr skriptu i zadávání ostatních parametrů je realizováno pomocí grafického uživatelského rozhraní. Průběh a výsledky testování jsou v reálném čase vypisovány v informační kontrole programu. Aplikace dále umožňuje uložit soubor s logovacími informacemi. Program je realizován v programovacím jazyce C#.
|
host ::
RSS.