|
|
Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Mazánek, Antonín ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Diplomová práce seznamuje s nástrojem Uppaal. Popisuje principy a možnosti modelování a analýzy systémů pomocí tohoto nástroje. Dále se blíže zabývá formáty souborů, které nástroj Uppaal používá. Strukturou souboru XML, sloužící pro uložení vytvořených systémů, formátem XTR, který nástroj používá k ukládání simulačních běhů, a formátem IF, který je nutný k porozumění obsahu souboru ve formátu XTR. V textu je zmíněna i dostupná programová podpora pro práci s těmito formáty. Další částí, kterou se tato diplomová práce zabývá, já návrh uživatelsky přívětivé reprezentace simulačních běhů spolu s návrhem a implementací aplikace, která provádí překlad simulačních běhů nástroje Uppaal do navržené reprezentace. Na konci práce je zmíněno možné pokračování v projektu spolu s hodnocením navržené reprezentace a aplikace pro překlad.
|
|
|
Vysokofrekvenční a mezifrekvenční obvody krátkovlnné radiostanice
Šnajdr, Václav ; Vágner, Petr (oponent) ; Lukeš, Zbyněk (vedoucí práce)
Diplomová práce se zabývá studiem, popisem, návrhem a realizací vybraných bloků vícepásmové krátkovlnné radiostanice. Práce se rovněž zaměřuje na koncepci vícepásmových krátkovlnných radiostanic, přičemž důraz je kladen zejména na vysokofrekvenční a mezifrekvenční obvody. První kapitola je věnována popisu navrženého blokového schématu transceiveru, který je koncipován v superheterodynním zapojení. Práce dále popisuje návrh vstupních pásmových filtrů, mezifrekvenčních krystalových filtrů a výstupních filtrů, a to včetně simulací navržených obvodů a prezentace změřených charakteristik realizovaných funkčních bloků. Dále jsou popsány obvody zesilovačů, které spojují a impedančně přizpůsobují jednotlivé bloky. Práce se také věnuje popisu generování SSB signálu ve vysílací části radiostanice a jeho výkonovému zesilování v koncovém stupni.
|
|
|
Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Mazánek, Antonín ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Diplomová práce seznamuje s nástrojem Uppaal. Popisuje principy a možnosti modelování a analýzy systémů pomocí tohoto nástroje. Dále se blíže zabývá formáty souborů, které nástroj Uppaal používá. Strukturou souboru XML, sloužící pro uložení vytvořených systémů, formátem XTR, který nástroj používá k ukládání simulačních běhů, a formátem IF, který je nutný k porozumění obsahu souboru ve formátu XTR. V textu je zmíněna i dostupná programová podpora pro práci s těmito formáty. Další částí, kterou se tato diplomová práce zabývá, já návrh uživatelsky přívětivé reprezentace simulačních běhů spolu s návrhem a implementací aplikace, která provádí překlad simulačních běhů nástroje Uppaal do navržené reprezentace. Na konci práce je zmíněno možné pokračování v projektu spolu s hodnocením navržené reprezentace a aplikace pro překlad.
|
|
|
Vysokofrekvenční a mezifrekvenční obvody krátkovlnné radiostanice
Šnajdr, Václav ; Vágner, Petr (oponent) ; Lukeš, Zbyněk (vedoucí práce)
Diplomová práce se zabývá studiem, popisem, návrhem a realizací vybraných bloků vícepásmové krátkovlnné radiostanice. Práce se rovněž zaměřuje na koncepci vícepásmových krátkovlnných radiostanic, přičemž důraz je kladen zejména na vysokofrekvenční a mezifrekvenční obvody. První kapitola je věnována popisu navrženého blokového schématu transceiveru, který je koncipován v superheterodynním zapojení. Práce dále popisuje návrh vstupních pásmových filtrů, mezifrekvenčních krystalových filtrů a výstupních filtrů, a to včetně simulací navržených obvodů a prezentace změřených charakteristik realizovaných funkčních bloků. Dále jsou popsány obvody zesilovačů, které spojují a impedančně přizpůsobují jednotlivé bloky. Práce se také věnuje popisu generování SSB signálu ve vysílací části radiostanice a jeho výkonovému zesilování v koncovém stupni.
|
host ::
RSS.