|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
| |
|
New Hybrid Power Filter Topology and Control for Application in Industrial Networks
Pecha, I. ; Šimek, Petr ; Škramlík, Jiří ; Valouch, Viktor
The paper presents the new structure and control strategy of the Hybrid Power filter (HPF) with a split passive part. Its impedance is divided into two parts tuned to 50Hz and 250 Hz. The HPF topology is very efficient to mitigate harmonic currents especially for higher frequencies. The HPF functionality is influenced by the grid inductance changes only negligibly. The new HPF characteristics were compared with those for a standard HPF and a classic passive compensation by the simulation done in the Matlab/Simulink environment. The voltage and current values and their harmonic spectra were also measured in the real industrial plant Remarkplast, Ltd. under different conditions.
|
|
Vícehladinový IGBT pulzně řízený usměrňovač
Bejvl, Martin ; Šimek, Petr ; Škramlík, Jiří ; Valouch, Viktor
Příspěvek popisuje vyvinutý napěťový pulzně řízený usměrňovač výkonu 5 kVA založený na vícehladinovém měniči s IGBT prvky. je charakterizován nízkou hodnotou THD síťového proudu a je schopen měnit jeho účiník. Modulární uspořádání síťového filtru umožňuje testovat jak L, tak i LCL typy síťových filtrů různých parametrů. Pulzní usměrňovač je vybaven vektorovým řízením síťového proudu a nadřazenou zpětnovazební smyčkou stejnosměrného napětí.
|