|
|
Reaction Mechanisms of Psychoactive Compounds
Sokolová, Romana ; Beneš, Marek ; Jiroušková, Eliška ; Degano, I.
The reaction mechanism of selected new psychoactive substances (NPS) 4-methylpentedrone and 2-(((4-ethyl-2,5-dimethoxyphenethyl)amino)methyl)phenol was investigated based on their\nelectrochemical and spectroelectrochemical properties. Both drugs were examined by means of cyclic voltammetry using diagnostic parameters for particular reaction schemes, UV/Vis, and IR\nspectroelectrochemistry. Since water participates in the redox mechanism of both studied compounds, the reaction mechanism was studied under a controlled amount of water in an\nacetonitrile environment.
|
|
| |
|
|
Daňová optimalizace vybraného podnikatelského subjektu
ZOUBKOVÁ, Lucie
Bakalářská práce zkoumá způsob výpočtu daně z příjmů podnikatelského subjektu. Zahrnuje strukturální prvky daně umožňující snížení výše daně nebo základu daně. Práce se zabývá metodikou výpočtu daně obecně a porovnává metody s tou, kterou používá představená společnost. Dle daného způsobu výpočtu daně práce navrhuje možnosti, kterými je možné dosáhnout snížení výše daně. Závěrem práce je zhodnocení způsobu výpočtu daně u vybraného podnikatelského subjektu a doložení zvolených metod snižujících výši daně nebo základ daně konkrétními výpočty.
|
|
|
Technologie tažení drátů
Štys, Michal ; Císařová, Michaela (oponent) ; Řiháček, Jan (vedoucí práce)
Práce předkládá aktuální rešerši na téma technologie tažení drátu se zamřením na rozbor činitelů procesu, jejich výpočet a vliv na průběh procesu. V rámci rešerše jsou uvedeny jednotlivé metody tažení a technologický postup tažení drátu. Práce se dále zabývá geometrií a materiály průvlaků a jejich vlivy na kvalitu procesu a opotřebení nástroje. Následně jsou rozebrány aktuálně používané stroje, shrnuty jejich výhody, nevýhody a vhodnost použití v závislosti na materiálech tažených drátů a ekonomické rentabilitě. V závěru práce jsou uvedeny nekonvenční metody tažení drátu a budoucí vývoj těchto metod.
|
|
|
Konstrukční návrh kolektoru
Podhorský, Michal ; Létal, Tomáš (oponent) ; Horsák, Libor (vedoucí práce)
Cílem této diplomové práce je provést konstrukční návrh kolektoru. Práce je rozdělena na dvě části. V první části je proveden rozbor jednotlivých částí kolektoru a jeho analytický výpočet pomocí norem EN 12 952, ČSN 69 0010 a ASME I. Druhá část práce je zaměřena na ověření analytického výpočtu pomocí metody MKP v programu ANSYS a zjištění nejvíce nebezpečných míst. Výsledkem práce je také vytvoření základní výkresové dokumentace.
|
|
|
Rozpoznávání textu v obraze
Bílek, Jan ; Žák, Pavel (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá problematikou rozpoznávání textu v obraze a těmi metodami zpracování obrazu, které rozpoznání textu napomáhají. Zvláště se zaměřuje na problematiku obrazového spamu a jeho úpravu pro rozpoznání. Popisuje metody zpracování obrazu, které vedou k takové úpravě obrazu, aby byl v něm obsažený text snadněji rozpoznatelný, a některé metody využívané pro rozpoznávání znaků. V práci je také popsán návrh a implementace systému, který zpracovává obrazový spam a detekuje v něm obsažený text.
|
|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
|
| |
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (oponent) ; Holík, Lukáš (vedoucí práce)
Nondeterministic finite automata (NFA) are widely used in computer science fields, such as regular languages in formal language theory, high-speed network monitoring, image recognition, hardware modeling, or even in bioinformatic for the detection of the sequence of nucleotide acids in DNA. They are also used in regular mode checking, in string solving, in verification of pointer manipulating programs, for construction of linear arithmetic equations and inequalities, for decision in WS1S and WS2S logic, and many others. Automata minimization is a fundamental technique that helps to decrease resource claims (memory, time, or a number of hardware components) of implemented automata and speed up automata operations. Commonly used minimization techniques, such as state merging, transition pruning, and saturation, can leave potentially minimizable automaton subgraphs with duplicit language information. These fragments consist of a group of states, where the part of language of one state is piecewise covered by the other states in this group. The thesis describes a new minimization approach, which uses SAT solver, which provides information for efficient minimization of these so far nonminimizable automaton parts. Moreover, the newly investigated method, which only uses solver information and state merging, can minimize the automaton similarly and on automata with low transition count faster than a tool RABIT/Reduce, which uses state merging and transition pruning.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (oponent) ; Doc. In.g Petr Sosík, Dr. (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces the notion of a one-sided random context grammar as a context-free-based regulated grammar, in which a set of permitting symbols and a set of forbidding symbols are attached to every rule, and its set of rules is divided into the set of left random context rules and the set of right random context rules . A left random context rule can rewrite a nonterminal if each of its permitting symbols occurs to the left of the rewritten symbol in the current sentential form while each of its forbidding symbols does not occur there. A right random context rule is applied analogically except that the symbols are examined to the right of the rewritten symbol. The thesis is divided into three parts. The first part gives a motivation behind introducing one-sided random context grammars and places all the covered material into the scientific context. Then, it gives an overview of formal language theory and some of its lesser-known areas that are needed to fully grasp some of the upcoming topics. The second part forms the heart of the thesis. It formally defines one-sided random context grammars and studies them from many points of view. Generative power, relations to other types of grammars, reduction, normal forms, leftmost derivations, generalized and parsing-related versions all belong between the studied topics. The final part of this thesis closes its discussion by adding remarks regarding its coverage. More specifically, these remarks concern application perspectives, bibliography, and open problem areas.
|
host ::
RSS.