|
|
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.
|
|
| |
|
|
Optimization of personal income tax at a selected business entity
ZOUBKOVÁ, Lucie
The bachelor's thesis examines the method of calculating the income tax of a business entity. It represents the structural elements of the tax enabling the reduction of the amount of tax or the tax base. The work deals with the methodology of tax calculation in general and compares the methods with the one used by the introduced company. According to the given method of tax calculation, the thesis proposes options by which it is possible to achieve a reduction in the amount of tax. The conclusion of the work is to evaluate the way in which the tax is calculated for the selected business entity and to substantiate the chosen methods that reduce the tax amount or tax base with specific calculations.
|
|
|
Wire Drawing Technology
Štys, Michal ; Císařová, Michaela (referee) ; Řiháček, Jan (advisor)
The paper presents current research on the technology of wire drawing with focusing on the analysis of process factors, their calculation and influence on the process itself. The research describes drawing methods and technological process of wire drawing. The work also deals with geometry and die materials and their effects on process quality and tool wear. Subsequently this thesis analyses currently used machines and their advantages and disadvantages. As well as their suitability for use depending on the materials of the drawn wires and economic profitability. At the end of the thesis, unconventional methods of wire drawing and their future development estimation are presented.
|
|
|
Design of collector
Podhorský, Michal ; Létal, Tomáš (referee) ; Horsák, Libor (advisor)
The aim of this thesis is to make the design of the collector. The work is divided into two parts. The first part will analyze the individual parts of the collector and its analytical calculation using the EN 12 952, ČSN 69 0010 and ASME I. The second part is focuses on the verification of the analytical calculation using the FEM in ANSYS and explore the most dangerous places. The result is also creating drawings documentations.
|
|
|
Optical Character Recognition
Bílek, Jan ; Žák, Pavel (referee) ; Zuzaňák, Jiří (advisor)
This work describes problems of optical character recognition and methods which are used to improve its results. It specializes in problems of image spam and its adjustment for its recognition. This work describes methods of processing an image which leads to better results of text recognition and also some methods used to the character recognition. There is also described a scheme and an implementation of a system which processes an image spam and detects a text within it.
|
|
|
Reduction of the Nondeterministic Finite Automata
Procházka, Lukáš ; Kořenek, Jan (referee) ; Kaštil, Jan (advisor)
Nondeterministic finite automaton is an important tool, which is used to process strings in many different areas of programming. It is important to try to reduce its size for increasing programs' effectiveness. However, this problem is computationally hard, so we need to search for new techniques. Basics of finite automata are described in this work. Some methods for their reduction are then introduced. Usable reduction algorithms are described in greater detail. Then they are implemented and tested. The test results are finally evaluated.
|
|
| |
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (referee) ; Holík, Lukáš (advisor)
Nedeterministické konečné automaty (NKA) jsou široce využívány v počítačové vědě, například v oblasti formálních jazyků pro reprezentaci regulárních jazyků, k monitorování vysokorychlostních sítí, rozpoznávání obrazu, modelování hardware, nebo dokonce v bioinformatice pro vyhledávání sekvencí nukleotidových kyselin v DNA. NKA jsou také používány v abstraktním regulárním model checkingu, dále ve verifikaci programů manupulujících s řetězci, ve verifikaci programů využívajících ukazatele, pro konstrukci lineárních rovnic a nerovnic, v rozhodovacích procedurách WS1S a WS2S logiky a mnohých dalších. Minimalizace automatů je základní technikou, která pomáhá snižovat nároky na zdroje (paměť, čas nebo množství hardwarových komponentů) a urychlovat operace prováděné na automatech. Běžně používané minimalizační techniky, jakými jsou slučování stavů, odstraňování hran přechodů nebo saturace, mohou v automatech zanechat potenciální minimalizovatelné podgrafy obsahující duplicitní jazykovou informaci. Tyto fragmenty sestávají ze skupiny stavů, kde je již část jazyka jednoho stavu pokryta jazyky ostatních stavů z této skupiny. Tato práce popisuje novou techniku využívající SAT solver, který poskytuje informaci umožňující minimalizovat tyto doposud neminimalizovatelné části automatů. Nově vyvíjená metoda, která využívá pouze informaci od SAT solveru a slučování stavů minimalizuje automaty podobně efektivně, a v případě automatů s nízkým počtem přechodů dokonce rychleji než nástroj RABIT/Reduce, který využívá slučování stavů a odstraňování hran.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (referee) ; Doc. In.g Petr Sosík, Dr. (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.
|
guest ::
