|
Měření tepelné vodivosti metodou 3 omega
Juračka, Matěj ; Bejček, Ludvík (oponent) ; Beneš, Petr (vedoucí práce)
Semestrální práce se zabývá teorií měření vodivosti metodou 3 omega. Práce vysvětluje princip metody 3 omega. Dále rozebírá použití dvou typů odporových ohřívačů – drátového a planárního (pro různé substráty). Práce se také věnuje měření touto metodou, včetně krátkého popisu jednoho ze základních přístrojů při měření lock-in zesilovače.
|
|
Relation of determinism and non-determinism for linear time
Juračka, Matej ; Koubek, Václav (vedoucí práce) ; Kučera, Petr (oponent)
Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou.
|
|
Relation of determinism and non-determinism for linear time
Juračka, Matej ; Koubek, Václav (vedoucí práce) ; Kučera, Petr (oponent)
Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou. Výsledkem práce je rekonstrukce důkazu, že třídy jazyků akceptovaných deterministickým a nedeterministickým strojem v lineárním času jsou různé. Soustředíme se přitom na úplnost a srozumitelnost jak samotného důkazu, tak i všech přípravních tvrzení, které k němu vedou.
|
|
Měření tepelné vodivosti metodou 3 omega
Juračka, Matěj ; Bejček, Ludvík (oponent) ; Beneš, Petr (vedoucí práce)
Semestrální práce se zabývá teorií měření vodivosti metodou 3 omega. Práce vysvětluje princip metody 3 omega. Dále rozebírá použití dvou typů odporových ohřívačů – drátového a planárního (pro různé substráty). Práce se také věnuje měření touto metodou, včetně krátkého popisu jednoho ze základních přístrojů při měření lock-in zesilovače.
|