Now showing items 1-20 of 26

  • Adaptér OSLC pro framework ANaConDA 

    Vašíček, Ondřej
    Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití ...
  • Analýza a testování vícevláknových programů 

    Letko, Zdeněk
    V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů ...
  • Analýza chování koleje na účinky železničních vozidel 

    Kopeček, Josef
    Diplomová práce se zabývá sestavením numerických modelů klasické koleje pomocí metody konečných prvků, a to v několika variantách. Modely jsou porovnány s výsledky získanými na analytických modelech. Komplexnější modely ...
  • Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení 

    Strnadlová, Kateřina
    Tato bakalářská práce se zabývá návrhem a posouzením konstrukce vodojemu na statická a dynamická zatížení. V úvodu jsou popsány základní konstrukční typy vodojemů, jejich statické řešení a podmínky návrhu. Je proveden ...
  • Analýza škodlivého softwaru 

    Bláha, Michael
    Cílem mojí bakalářské práce je navrhnout bezpečné prostředí pro analýzu škodlivého softwaru. V teoretické části práce se věnuji základnímu dělení počítačových virů. Poté popisuji dva hlavní postupy při analyzování škodlivého ...
  • Automatická detekce použité kryptografie v kódu 

    Mička, Richard
    Táto bakalárska práca sa zaoberá problematikou automatickej detekcie použitej kryptografie zo strojového kódu programu. Analýza použitej kryptografie u neznámej vzorky programu si v súčasnosti vyžaduje veľké manuálne úsilie. ...
  • Dynamická analýza kmitání s více stupni volnosti 

    Schulmeister, Jiří
    Tato práce se zabývá analýzou kmitání s více stupni volnosti a ukázkou chování dynamického systému s dvěma stupni volnosti na různé vstupní signály pro účely výuky dynamiky. V práci je popsán obecný postup sestavení ...
  • Dynamická analýza konstrukce zatížená seismickým zatížením 

    Šnajdárková, Jana
    Práce se zaměřuje na tvorbu dvou modelů výškové konstrukce, prutový a deskostěnový. Na těchto modelech je provedena dynamická analýza. Vybraným programem je software RFEM a vymodelovanou výškovou konstrukcí mrakodrap Hearst ...
  • Dynamická analýza použití knihovních volání 

    Malík, Viktor
    Tato bakalářská práce se zabývá vývojem dynamického analyzátoru, který sleduje používání knihovních volání analyzovaným programem. Analyzátor dále tato volání automaticky ovládá za účelem vytváření různých běhů programu, ...
  • Dynamická analýza vybraných bicích mechanizmů palných zbraní 

    Hussliková, Veronika
    Bakalářská práce se zabývá analýzou bicích mechanizmů vybraných palných zbraní. V úvodní části práce je provedena rešerše týkající se zbraňové problematiky, je zde shrnut teoretický základ nauky o zbraních a podrobněji ...
  • Dynamická analýza vybraných bicích mechanizmů palných zbraní 

    Mešina, Matej
    Bakalářská práce se zaobírá dynamickou analýzou bicích mechanizmů různých typů palných zbraní. V rešeršní části se pojednává o problematice palných zbraní a střeliva. Dále je uvedeno základní dělení zbraňových mechanizmů ...
  • Dynamická analýza železniční mostní konstrukce 

    Mojrová, Martina
    Náplní práce je určení modálních charakteristik konstrukce mostu přes řeku Dyji nedaleko Břeclavi, a to v prostředí softwaru ANSYS a softwaru AxisVM. Tyto charakteristiky jsou porovnány s výsledky dynamické zatěžovací ...
  • Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java 

    Letko, Zdeněk
    Hledání chyb plynoucích ze souběžného zpracovávání výpočtů je obtížné. Proto se tato diplomová práce zabývá detekcí a léčením časově závislých chyb nad daty a chyb plynoucích z nesprávné atomicity operací v prostředí Java. ...
  • Efektivní techniky pro měření výkonu programů 

    Pavela, Jiří
    Tato práce představuje optimalizační techniky zaměřené na proces sběru výkonnostních dat v rámci výkonnostní analýzy a profilování programů v nástroji Perun.   Rozšíření architektury a implementace těchto nových optimalizačních ...
  • Lávka přes Labe 

    Krč, Rostislav
    Práce se zabývá návrhem předpjaté betonové lávky převádějící stezku pro pěší a cyklisty přes řeku Labe u města Čelákovice. Byly analyzovány tři varianty a pro další výpočet byla vybrána zavěšená konstrukce o třech polích, ...
  • Linuxové víceplatformní oddělené běhové prostředí pro analýzu malware v IoT 

    Uhříček, Daniel
    Analýza IoT malwaru je problematická zejména pro množství a rozlišnost architektur procesorů používaných IoT zařízeními. Práce shrnuje možnosti statické, dynamické a síťové analýzy Linuxového malwaru a hodnotí existující ...
  • Metody analýzy a simulací sociálních sítí 

    Vorlová, Pavla
    Tato diplomová práce se zabývá popisem, jakými způsoby je možné analyzovat sociální sítě, návrhem a implementací modelu, který simuluje konkrétní sociální síť, a jeho analýzou. V dnešní době jsou sociální sítě velmi ...
  • Píst zážehového přeplňovaného motoru 2.0L 

    Kusyn, Petr
    Tato diplomová práce je zaměřena na řešení konstrukčního návrhu pístu pro přeplňovanou verzi motoru Honda K20A2, s důrazem na snížení boční síly působící na píst. Jsou zde uvedeny metody a na jejich základě také konstrukční ...
  • Podpora pro monitorování procesů za běhu v prostředí ANaConDA 

    Mužikovská, Monika
    Tato práce rozšiřuje nástroj ANaConDA pro dynamickou analýzu vícevláknových programů o možnost analyzovat také programy víceprocesové. Část práce se soustředí na popis nástroje ANaConDA a mechanismů, které pro monitorování ...
  • Pokrytím řízené testování vícevláknových programů 

    Lietavcová, Zuzana
    Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se ...