|
| |
|
|
Teplotní analýza plastového dílu metodou konečných prvků
Zemanová, Lucie ; Nečas, David (oponent) ; Zatočilová, Aneta (vedoucí práce)
Bakalářská práce se zabývá deformací plastového dílu po teplotním zatěžování a způsobem zpracování digitálních dat pro teplotní analýzu. Je nastíněna problematika optické digitalizace, pomocí které byla získána vstupní data a metody následného zpracování za účelem teplotní analýzy. Je provedena teplotní analýza metodou konečných prvků pomocí softwaru ANSYS Workbench. Také je stručně popsána samotná metoda konečných prvků. Práce navazuje na již provedená měření za využití fotogrammetrie, cílem je porovnání využitelnosti metody konečných prvků a fotogrammetrie v oblasti měření deformací.
|
|
|
Zpětný překlad vybraných konstrukcí jazyka C++
Mihulka, Tomáš ; Zemek, Petr (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá rekonstrukcí hierarchie tříd a jejich virtuálních metod z programů vytvořených jazykem C++. Cílem práce je rozšířit zpětný překladač, který je vyvíjen v rámci projektu Lissom o analýzu těchto konstrukcí pro různé překladače. Rekonstrukce jsou realizovány detekcí Run- Time Type Information (zkratka RTTI ) a virtuálních tabulek. V úvodní části práce je popsán vědní obor reverzní inženýrství a projekt Lissom s jeho zpětným překladačem. Poté následuje popis jazyka C++, jeho struktur s možnostmi jejich dekompilace. Dále následuje část věnující se návrhu, implementaci a testování rozpoznání RTTI a virtuálních tabulek.
|
|
|
Metody detekce funkcí při zpětném překladu kódu
Kábele, Břetislav ; Ďurfina, Lukáš (oponent) ; Křoustek, Jakub (vedoucí práce)
Práce popisuje metody detekce funkcí při zpětném překladu programů. Obsahuje základní informace o vědním oboru reverzní inženýrství a jeho užití ve výpočetní technice i mimo ni. Představen je zpětný překladač, vyvinutý výzkumnou skupinou Lissom na FIT VUT v Brně. Hlavním cílem je objasnění několika metod detekce funkcí, diskutování jejich výhod a nevýhod a zjištění problémů detekce funkcí. Po detekování začátku, konce a těla funkce je potřebné nalézt parametry a návratové hodnoty. Jsou představeny některé algoritmy z této oblasti. Výstupem jsou navržená a implementovaná řešení detekce funkcí a parametrů nezávislá na architektuře.
|
|
|
Rekonstrukce datových typů při zpětném překladu kódu
Matula, Peter ; Ďurfina, Lukáš (oponent) ; Křoustek, Jakub (vedoucí práce)
Práce se zabývá popisem metod rekonstrukce datových typů při zpětném překladu. Je definován pojem zpětného inženýrství a představen zpětný překladač vyvíjen v rámci projektu Lissom, pro potřeby kterého tato práce vznikla. Jsou představeny stávající metody rekonstrukce jednoduchých i složených datových typů a podrobně vysvětleny přístupy založené na analýze toku dat a analýze ofsetů paměťových operací. Jádrem práce je návrh nové techniky rekonstrukce jednoduchých a složených datových typů, vhodné pro nasazení v prostředí rekonfigurovatelného zpětného překladače projektu Lissom. Jsou vysvětleny základní principy nového návrhu, jeho implementace a souvisejících změn ve vyvíjeném zpětném překladači a jeho medzikódě. Výsledné řešení je podrobeno řadě testů. V závěru jsou diskutovány dosažené výsledky, nedostatky a směr další práce.
|
|
|
Teplotní analýza plastového dílu metodou konečných prvků
Zemanová, Lucie ; Nečas, David (oponent) ; Zatočilová, Aneta (vedoucí práce)
Bakalářská práce se zabývá deformací plastového dílu po teplotním zatěžování a způsobem zpracování digitálních dat pro teplotní analýzu. Je nastíněna problematika optické digitalizace, pomocí které byla získána vstupní data a metody následného zpracování za účelem teplotní analýzy. Je provedena teplotní analýza metodou konečných prvků pomocí softwaru ANSYS Workbench. Také je stručně popsána samotná metoda konečných prvků. Práce navazuje na již provedená měření za využití fotogrammetrie, cílem je porovnání využitelnosti metody konečných prvků a fotogrammetrie v oblasti měření deformací.
|
|
| |
host ::
RSS.