|
|
The use of authentic materials in English language lessons in Czech lower secondary school
Šišková, Veronika ; Dvořák, Bohuslav (vedoucí práce) ; Mikuláš, Martin (oponent)
Tato diplomová práce se zabývá autentickými materiály a využitím autentických materiálů v hodinách anglického jazyka. Skládá se ze dvou hlavních částí. Teoretická část práce se zaměřuje na definice autentických materiálů a koncept autenticity v kontextu hodin cizího jazyka. Porovnány a shrnuty jsou též různá pojetí tohoto konceptu. Práce taktéž zmiňuje vliv využití autentických materiálů v hodinách na motivaci žáků vzhledem k jejich propojení s každodenní realitou. Následně práce obsahuje rozdělení základních druhů autentických materiálů a výhody a potenciální problémy při využití v hodinách cizího jazyka. Každá skupina materiálů též obsahuje několik typů aktivit, které se dají u daného druhu materiálu v hodinách anglického jazyka využít. Praktická část práce je též členěna na dvě hlavní sekce, konkrétně vytvoření, pilotování a observace jazykových hodin na druhém stupni základní školy. Byly zde využity různé druhy autentických materiálů a dotazníková šetření vyplněná žáky. Dotazník nejprve zjišťuje pohled žáků na hodiny, kterých se účastnili. Následně se soustředí na názory žáku jak na využívání autentických materiálů v hodinách anglického jazyka obecně, tak na to, zda je žáci využívají i ve svém volném čase a jaké jsou jejich preferované druhy autentických materiálů v anglickém jazyce. Výsledky...
|
|
|
Problematika návrhu mobilních sítí čtvrté generace
Žůrek, Martin ; Škorpil, Vladislav (oponent) ; Novotný, Vít (vedoucí práce)
V první části je krátce popsána historie a vývoj mobilních telekomunikačních sítí, jejich standardy a postupný celosvětový rozvoj s cílem postupného sjednocení sítě. Druhá část mé práce je zaměřena na poslední generaci buňkových sítí. Přechod od sítí předešlých generací a komunikace mezi nimi. Včetně rozdílů v architektuře čtvrté generace. Popis základních bloků nového jádra a přístupové sítě, její nasazení pro komerční účely.
|
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
|
Přenos přesného času a stabilní frekvence optickou sítí
Girt, Lukáš ; Horváth, Tomáš (oponent) ; Vojtěch, Josef (vedoucí práce)
Diplomová práce se zabývá teoretickým rozborem problematiky přesného času a stabilní frekvence. V práci je rozebráno, co čas a frekvence je, jejich vlastnosti a způsoby přesného generování. Dále jsou zde uvedeny různé možnosti přenosu přesného času a stabilní frekvence s důrazem na využití přenosu optickými vlákny. V praktické části je uvedena do provozu aparatura pro analýzu vlivu teplotních změn na přenos přesného času se záznamem hodnot zpoždění. Na monitorování teplotních změn vlákna je využito zařízení postavené na platformě Arduino. Pro zjištění stability přenosu frekvence v měnících se podmínkách teplotní komory je vytvořeno zapojení využívající vysoce koherentního laseru.
|
|
|
Napěťové a proudové integrátory s moderními funkčními bloky a jejich využití ve filtrech
Šimůnek, Martin ; Petržela, Jiří (oponent) ; Dostál, Tomáš (vedoucí práce)
Cílem této bakalářské práce bylo poukázat na možnosti využití napěťových a proudových integrátorů. Za pomocí těchto integrátorů byly navrženy universální aktivní filtry. Tato práce popisuje pět multifunkčních filtrů šestého řádu, které jsou zkonstruovány na základě moderních funkčních bloků. Mezi tyto bloky patří operační zesilovač (OPA), transkonduktanční zesilovač (OTA) a proudový konvejor druhé generace (CCII+, CCII-). Jako základní stavební prvek je použit kondenzátor, za jeho pomocí je vytvořen integrátor, kanonickým řazením těchto integrátorů jsou zde vytvořeny universální filtry šestého řádu. Dalším cílem této práce bylo přiblížit chování navržených filtrů reálnému stavu.
|
|
|
Návrh Rail-to-Rail proudového konvejoru v technologii CMOS
Hudzik, Martin ; Kledrowetz, Vilém (oponent) ; Prokop, Roman (vedoucí práce)
Diplomová práca sa zaoberá návrhom rail-to-rail prúdového konvejora druhej generácie v technológii CMOS. Opisuje princípy funkcie jednotlivých generácii prúdových konvejorov a taktiež základný princíp návrhu prúdového konvejora druhej generácie založeného na operačnom zosilňovači. Venuje sa obvodovému riešeniu vstupného rail-to-rail stupňa a koncového stupňa v triede AB. Cieľom tejto práce je navrhnúť, charakterizovať vlastnosti a vytvoriť topológiu prúdového konvejora druhej generácie s rail-to-rail vstupným súhlasným napäťovým rozsahom v technológii ONSemi I3T25.
|
|
|
Nonlinear differential equations in the framework of the Karamata theory
Bukotin, Denys ; Opluštil, Zdeněk (oponent) ; Řehák, Pavel (vedoucí práce)
The goal of the thesis is to unify and generalize known results from literature, to study asymptotic behaviour of positive regularly varying solutions to the certain type of non-linear differential equations (known as nearly-half-linear differential equations) using available tools. This work includes description of theory of regular variation, some information on non-linear differential equations of various types, detailed derivations of results related to asymptotic behaviour of the solutions and examples of application of obtained results.
|
|
|
Linear Matrix Differential Equation with Delay
Piddubna, Ganna Konstantinivna ; Růžičková, Miroslava (oponent) ; Dzhalladova, Irada (oponent) ; Baštinec, Jaromír (vedoucí práce)
This work is devoted to computing the solution, stability of the solution and controllability of respective system of linear matrix differential equation with delay x'(t)=A0x(t)+A1 x(t-tau), where A0, A1 are constant matrices and tau>0 is the constant delay. To solve this equation, the "step by step" method was used. The solution was found in recurrent form and in general form. Stability and the asymptotic stability of the solution of the equation was investigated. Conditions for stability were defined. The Lyapunov’s functional theory is basic for the investigation. Necessary and sufficient condition for controllability in same matrices case was defined and the control was built. Sufficient conditions for controllability in communicative matrices case and general case were defined and controls were built. All results were illustrated with non-trivial examples.
|
|
|
Automata in Decision Procedures and Performance Analysis
Fiedor, Tomáš ; Barnat, Jiří (oponent) ; Radu, Iosif (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis focuses on improving the state of the art of automata-based formal analysis and verification techniques for systems with an infinite state space. In the first part of the thesis, we develop two efficient decision procedures for the WS1S logic, both of them exploiting the correspondence between formulae of WS1S logic and finite automata. We start by proposing a novel antichain-based decision procedure which is, however, limited to formulae in the prenex normal form. Later, we generalize the approach to arbitrary formulae by defining the so-called language terms and constructing an on-the-fly procedure dealing with the terms using lazy techniques. In order to achieve an efficient implementation, we propose numerous optimizations (some of these optimization are not limited to our approaches only). We evaluated both our methods with other recent state-of-the art tools. The achieved results are encouraging and show we can extend the usage of WS1S to wider classes of formulae. The second part of the thesis focuses on resource bounds analysis of heap-manipulating programs. We propose a new class of shape norms based on lengths of paths between distinct points in the heap, which we derive automatically from the analysed program. For this class of norms, we introduce a calculus capable of precisely inferring changes of the analysed norms and use it to generate a corresponding integer representation of an input program followed by dedicated state-of-the art resource bounds analysis. We implemented our approach over the shape analysis based on forest-automata, implemented in the Forester tool, and using a well-established resource bounds analyser, implemented in the Loopus tool. In our experimental evaluation, we show that we indeed obtained a powerful analyser that is able to handle some showcase examples that were never analysed fully automatically before.
|
|
|
Židé a stát Izrael v teologii amerického evangelikalismu
Kovaříková, Hana ; Nosek, Bedřich (vedoucí práce) ; Beneš, Jiří (oponent)
Moje diplomová práce na téma Židé a Stát Izrael v teologii amerického evangelikalismu popisuje roli lidu Izraele v dějinách spásy tak, jak ji v návaznosti na prvotní církev, pietisty a puritány odhalili a rozpracovali evangelikálové v Evropě (Anglii především) a poté hlavně v USA. Na základě této teologie Bůh s židy neskončil, církev nenahradila židy v roli Božího Vyvoleného lidu, jak šířila a stále šíří tzv. teologie náhrady, ale naopak, evangelikálové pochopili nezastupitelnou roli židů v Božím plánu spasení. Zasévají názor, že pro druhý příchod Ježíše Krista na zemi, tentokrát v roli soudce, vojevůdce a krále, na rozdíl od Jeho prvního příchodu, který byl ve znamení vykoupení lidstva od hříchu, je nutnou podmínkou, aby židé, lid Izrael, byl zpět v Zaslíbené zemi. Od prvního podnětu, který přišel od pietistů (16. století), po založení Státu Izrael (14. 5. 1948) uplynulo plus mínus pět se let práce. Ke vzniku Státu Izrael evangelikálové nemalou měrou přispěli. Dalším významným důsledkem poznání evangelikálů, že židé zůstávají Božím Vyvoleným lidem, je postupná změna chování protestantských křesťanů k židům v průběhu těchto pěti set let. Změna nenastala najednou, stereotypy přístupu k židům byly v Evropě hluboce zakořeněny, ale postupně se měnily. Významným důsledkem změny postoje evangelikálů k...
|
host ::
RSS.