|
| |
|
|
Vytvoření e-learningových materiálů pro předmět Automatizace
MÍČEK, Radek
Diplomová práce se zabývá vytvářením e-learningových materiálů pro předmět Automatizace. Teoretická část se stručně zabývá definicí e-learningu jako moderní formy výuky a dále přináší přehled výhod a nevýhod e-learningu. Teoretická část dále obsahuje souhrn systémů, nástrojů, metod a technologií, které vstupují do e-learningu. Praktická část diplomové práce se zabývá vybranými metodami e-learningu a dále obsahuje materiály e-learningové materiály vytvořené přímo pro předmět Automatizace. Součástí praktické části je tedy 10 prezentací, které lze využít při výuce předmětu Automatizace a zároveň popis vytváření uvedených prezentací.
|
|
|
Automatická konstrukce modelů
Miček, Radek ; Stanovský, David (vedoucí práce) ; Surynek, Pavel (oponent)
V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, generování redundantních klauzulí a kódování do podmínek řešiče Gecode. Naše implementace je porovnána s programy Mace4, Paradox a iProver. V závěru práce jsou dány náměty na vylepšení a další výzkum. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Modernizace soustruhu měničem frekvence
MÍČEK, Radek
Bakalářská práce Modernizace soustruhu měničem frekvence se zabývá způsobem, jakým lze dosáhnout lepších vlastností soustruhu výměnou motoru stejnosměrného s regulací za motor asynchronní s měničem frekvence. Práce seznamuje s různými druhy regulací a s praktickým provedením modernizace daného soustruhu. Práce dále obsahuje měření, která ověřují úspěšnost modernizace.
|
host ::
RSS.