|
|
Návrh prototypového dílu s využitím technologií reverzního inženýrství a rapid prototyping
Luňák, Václav ; Sámelová, Vendula (oponent) ; Slaný, Martin (vedoucí práce)
Bakalářská práce je zaměřena na postup výroby součásti blinkru pro motocykl s využitím technologií reverzního inženýrství a Rapid Prototyping. Práce obsahuje stručný popis dostupných metod těchto technologií. V následujících částech se práce zabývá návrhem součásti a přípravou pro odlévání. Výroba součásti se provádí metodou FDM. Následně probíhá kontrola součásti 3D skenerem ATOS. Součást se porovná s původním návrhem součásti. Pro součást se vyrobí silikonová forma. Forma slouží pro odlévání dalších součástí. Na závěr se hodnotí ekonomické hledisko výroby silikonové formy s porovnáním s kovovými formami.
|
|
| |
|
|
Extending Data Lineage Analysis for Python with Runtime Types
Luňák, Václav ; Parízek, Pavel (vedoucí práce) ; Petříček, Tomáš (oponent)
V oboru data science je rostoucí poptávka po automatizované analýze da- tových toků v softwarových systémech. V případech, kde se používají univer- zální programovací jazyky, bývá Python jednou z nejpopulárnějších a zároveň nejsložitěji analyzovatelných voleb. Manta Flow je automatizovaná platforma pro analýzu datových toků, která obsahuje scanner pro Python. V této práci jsme vytvořili rozšíření scanneru pro Python v Manta Flow, které je schopné pomocí statické analýzy určit typy výrazů v analyzované aplikaci. Dosáhli jsme toho rozšířením konceptu datových toků o schopnost přenášet infor- mace o typech a adekvátním refaktorováním vnitřností scanneru. Toto rozší- ření bylo posléze použito na implementaci vylepšené metody pro identifikaci volaných funkcí během další analýzy.
|
|
|
STP řešič pro OpenSMT
Luňák, Václav ; Kofroň, Jan (vedoucí práce) ; Kučera, Petr (oponent)
Simple Temporal Problem je jedním z nejdůležitějších plánovacích problémů. V kontextu formální verifikace úzce souvisí s problémem SMT, kde na něj narazíme při řešení teorie dife- renční logiky. V této práci se věnujeme doplnění řešiče pro diferenční logiku do vyvíjejícího se SMT řešiče OpenSMT. Zkoumáme existující postupy pro řešení problému a porovnáváme je s ohledem na možnost jejich využití v kontextu OpenSMT. Detailně rozebíráme algoritmus založený na vyčerpávající propagaci teorie a na jeho bázi navrhujeme a vytváříme efektivní im- plementaci řešiče. Tuto implementaci následně testujeme a srovnáváme s ostatními současnými SMT řešiči a ukazujeme tak její srovnatelnou výkonnost. 1
|
|
| |
|
|
Návrh prototypového dílu s využitím technologií reverzního inženýrství a rapid prototyping
Luňák, Václav ; Sámelová, Vendula (oponent) ; Slaný, Martin (vedoucí práce)
Bakalářská práce je zaměřena na postup výroby součásti blinkru pro motocykl s využitím technologií reverzního inženýrství a Rapid Prototyping. Práce obsahuje stručný popis dostupných metod těchto technologií. V následujících částech se práce zabývá návrhem součásti a přípravou pro odlévání. Výroba součásti se provádí metodou FDM. Následně probíhá kontrola součásti 3D skenerem ATOS. Součást se porovná s původním návrhem součásti. Pro součást se vyrobí silikonová forma. Forma slouží pro odlévání dalších součástí. Na závěr se hodnotí ekonomické hledisko výroby silikonové formy s porovnáním s kovovými formami.
|
host ::
RSS.