|
|
Modernizace subsystému pro testování bezpečnostní funkce ventilu
Němec, Petr ; Fiedler, Petr (oponent) ; Arm, Jakub (vedoucí práce)
Cílem této práce je vypracování teoretického základu k modernizaci subsystému pro testování funkce ventilu, následného návrhu a implementace vizualizace. Práce stručně popisuje technologii parního oběhu a obtoku parní turbíny. Tedy technologii systému ve které je samotná bezpečnostní funkce umístěna. Dále se práce zabývá analýzou funkční bezpečnosti a popisuje vypracování tří metod analýzy FTA, HAZOP a FMEA. Práce se také zabývá analýzou a popisem stávající aplikace pomocí stavového diagramu. Z následné analýzy je uskutečněn návrh nové vizualizace. Vizualizace je v práci testována pomocí simulace, která je provedena na reálném PLC a také pomocí programu PLCSIM.
|
|
|
Generátor konečných automatů z grafického popisu pro jazyk VHDL
Janyš, Martin ; Košař, Vlastimil (oponent) ; Šimek, Václav (vedoucí práce)
Práce seznamuje čtenáře s možnostmi návrhu a tvorby konečných stavových automatů s důrazem na reprezentaci pomocí jazyka VHDL. Hlavním tématem je aplikace, která implementuje generátor VHDL kódu na základě gra fického popisu, který je možné v něm vytvořit. Popsány jsou klíčové oblasti aplikace. Zejména jejich použití a implementace, která realizuje samotný převod stavového diagramu do VHDL.
|
|
|
Přístupové a zabezpečovací systémy
Kohut, Michal ; Šedivá, Soňa (oponent) ; Fiedler, Petr (vedoucí práce)
Při psaní této bakalářské práce byla snaha popsat přístupové a zabezpečovací systémy a jejich součásti. Dále u těchto systému byla vysvětlena jejich funkce, využití a bylo uvedeno jejich rozdělení. Velká pozornost byla věnována také zabezpečovacím ústřednám, jejich vlastnostem a ovládání. V poslední řadě byl navržen stavový automat menší zabezpečovací ústředny. Ten byl rozdělen na 4 menší stavové automaty, které byly odladěny v programu IAR visualSTATE.
|
|
|
Simulátor stavových diagramů
Žídek, Marek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce popisuje životní modely softwaru a zdůrazňuje jejich význam při tvorbě softwaru. Věnuje se především metodám návrhu řízeného modelem, které jsou souhrnně označovány model based design. Dále rozebírá nejrozšířenější jazyk pro modelování softwaru - UML. Stručně popisuje téměř všechny diagramy UML 2.0 tj. diagram případů užití, tříd, spolupráce, aktivit, stavů, nasazení, komponent a sekvenční. Podrobněji se zaměřuje na Executable UML. Uvedené znalosti jsou prakticky využity při návrhu a implementaci simulátoru stavových diagramů. Na Fakultě informačních systémů VUT v Brně v současné době probíhá výzkumný projekt PNTalk zaměřený na model based design, jehož součástí je i simulátor stavových diagramů. Práce provádí celou problematikou návrhu od počáteční specifikace, přes diagramy případů užití a diagramy tříd až po diagramy spolupráce. Poté popisuje implementační detaily a specifika implementace systému v jazyce Smalltalk. Na závěr je diskutována možnost dalšího rozvoje aplikace a jsou zhodnoceny dosažené výsledky.
|
|
|
Mikrovlnné modulátory na bázi sixportů
Dušek, Martin ; Bezoušek, Pavel (oponent) ; Galajda, Pavol (oponent) ; Šebesta, Jiří (vedoucí práce)
Tato práce se zabývá problematikou modulátorů, řešených pomocí mikrovlnných šestibranů. V úvodu jsou rozebrány dosavadní řešení šestibranů jako modulátorů, jejich přenosové funkce a technologie SIW. Návrhová část obsahuje vývojový šestibran, založený na technologii vlnovodu integrovaného do substrátu (SIW), u které je prezentován vývoj struktury krok po kroku a také šestibran navržený pomocí mikropáskových struktur. Návrhy šestibranů a variabilních zátěží jsou změřeny, výsledky jsou diskutovány a porovnávány s očekávanými v dalších kapitolách. Druhá část práce se zabývá vlivy jednotlivých parametrů na výsledný přenos odvozením funkcí pro přenos, které berou v úvahu více než jeden odraz ve struktuře. Výsledky výpočtů jsou porovnány s experimentálními měřeními pro pevné zátěže. Pomocí rozmítání ideálních zátěží byly také vyzkoušeny tvarové modulace. Pro navržené variabilní zátěže byly hledány optimální body pro požadovanou modulaci a diskutovány vhodnosti jednotlivých vybraných aktivních prvku. V poslední kapitole jsou zobrazeny výsledky experimentu s variabilními zátěžemi připojeným k oběma druhům šestibranů.
|
|
|
Aplikace pro zobrazení struktury konečného automatu
Polcer, Ondřej ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Cílem práce je aplikace, která převádí textovou podobu konečného automatu na tzv. "stavový diagram", který je obecně pro vyjádření vzájemných vazeb názornější, než textová forma. Nejprve se strojová podoba konečného automatu určité syntaxe převede do objektové podoby a doplní se o další udaje. Následuje algoritmizace hledání vhodných umístění pro jednotlivé stavy, aby struktura jejich přechodu byla přehledná a srozumitelná s ohledem na komplexnost zadaného konečného automatu. Aplikace vytvoří sadu ekvivalentních zobrazení v různé formě a dodá vhodné informace pro snadnou interpretaci výsledku.
|
|
|
Autonomní generátor testovacích skriptů
Horký, Stanislav ; Šimek, Václav (oponent) ; Kolouch, Jaromír (vedoucí práce)
Tato diplomová práce se zabývá řídícími jednotkami a jejich testováním. Pro tyto potřeby je zde popsána aplikace, která je schopná tyto řídící jednotky autonomně testovat. Aplikace má dvě části, první je generátor a editor dat a druhou je testovací procedura, která otestuje vytvořený stavový automat a vygeneruje záznam o provedeném testu.
|
|
|
Přístupové a zabezpečovací systémy
Kohut, Michal ; Bradáč, Zdeněk (oponent) ; Fiedler, Petr (vedoucí práce)
Při psaní této bakalářské práce byla snaha popsat přístupové a zabezpečovací systémy a jejich součásti. Dále u těchto systému byla vysvětlena jejich funkce, využití a bylo uvedeno jejich rozdělení. Velká pozornost byla věnována také zabezpečovacím ústřednám, jejich vlastnostem a ovládání. V poslední řadě byl navržen stavový automat menší zabezpečovací ústředny, který byl následně odladěn v programu IAR visualSTATE.
|
|
|
Aplikace pro nahrávání a přehrávání diskrétního stavového grafu
Melkus, Josef ; Doležal, Jan (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem této práce je vytvořit balíček nástrojů pro integrační testování C++ systémů na základě stavových diagramů. Všechny komponenty balíčku jsou od sebe oddělené a umožňují snadnou výměnu za jinou. Součástí tohoto balíčku je knihovna definující vytváření a přechody stavového diagramu. Dalším nástrojem je rozhraní pracující nad touto knihovnou, které zaznamenává přechody stavů za běhu systému. V rámci testů se uložené přechody porovnávají s etalonem. Etalon je běh systému, který pro dané vstupy považujeme za správný. Další částí je program na samotné porovnávání a skript sloužící k automatizaci testů. Vytvořený systém byl otestován v rámci partnerské společnosti.
|
|
|
Aplikace pro nahrávání a přehrávání diskrétního stavového grafu
Melkus, Josef ; Doležal, Jan (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem této práce je vytvořit balíček nástrojů pro integrační testování C++ systémů na základě stavových diagramů. Všechny komponenty balíčku jsou od sebe oddělené a umožňují snadnou výměnu za jinou. Součástí tohoto balíčku je knihovna definující vytváření a přechody stavového diagramu. Dalším nástrojem je rozhraní pracující nad touto knihovnou, které zaznamenává přechody stavů za běhu systému. V rámci testů se uložené přechody porovnávají s etalonem. Etalon je běh systému, který pro dané vstupy považujeme za správný. Další částí je program na samotné porovnávání a skript sloužící k automatizaci testů. Vytvořený systém byl otestován v rámci partnerské společnosti.
|
host ::
RSS.