Modeling legal norms with computer programs

Modelování právních norem pomocí počítačových programů Abstrakt Práce se zabývá možnostmi modelování programovatelných úseků práva pomocí počítače. Cílem bylo vytvořit funkční prototyp počítačového modelu určitého úseku práva. Za tímto účelem práce uvádí teoretická východiska, která zahrnovala analytický model právního systému, zpracování dosavadních přístupů v počítačové oblasti se zaměřením na expertní systémy a reprezentaci pravidel v kódu a dále přehled faktorů ke zvážení při výběru vhodné oblasti k modelování. Na základě toho byl vytvořen vlastní logický model práva na úrovni gramatických vět, který byl následně převeden do počítačového programu. Práce je završena návrhem zasazení reprezentace právních norem v kódu do kontextu českého právního a justičního systému. V rámci teorie práce vymezuje pojem právního systému jako fundamentální normativní systém, který o sobě tvrdí, že je legitimní a vynutitelný. Práce prezentuje vytvořený model práva použitelný pro různé právní systémy, který zachycuje jevy jako kolize právních systémů, metanormy, právní pluralismus a soudcovské dotváření práva. Dále popisuje, jak lze obsah práva zachycovat v textuální reprezentaci pro účely modelování v právním komentáři. V práci je vytvořen logický model práva založený na gramatických větách. Tento model doplňuje formalismus...Modeling legal norms with computer programs Abstract The thesis is about the possibilities how to model programmable parts of law with computer. The goal was to create a working prototype of a computer model of a defined section of law. For this purpose the thesis set down a theory that included an analytical model of a legal system, compilation of the existing approaches in the computer domain focused on expert systems and representation Rules as Code and the factors to consider during the selection of a suitable domain to model. Based on that a custom logical model at the level of grammatical sentences was created, which was then transformed into a computer program. The thesis is concluded with the proposal to incorporate Rules as Code in the context of Czech legal and judicial system. In the theoretical framework the concept of a legal system is defined as a fundamental normative system, which claims itself to be both legitimate and enforceable. The thesis presents a model of legal domain usable for versatile legal systems, which covers phenomena such as collision of legal systems, metanorms, legal pluralism and finding of law by judges. It also describes how the content of law can be captured in a textual representation for modeling purposes in a legal commentary. A logical model of law based on...Department of Legal Theory and Legal DoctrinesKatedra teorie práva a právních učeníFaculty of LawPrávnická fakult

Software for control and management of home automation

Tato diplomová práce popisuje vytvoření aplikace pro ovládání a správu inteligentních zásuvek v domácnosti. V první části je popsán software, který byl využit při tvorbě této aplikace. Konkrétně aplikační platforma Qt a relační databázový systém SQLite. V druhé části je popsána struktura a funkce této aplikace. Další část popisuje aplikaci sloužící k testování funkčnosti vytvořené aplikace a navržený komunikační protokol. Poslední část práce popisuje testování a zhodnocení vytvořené aplikace.This master thesis describes the development of an application for control and management of smart sockets at home. The first part describes the software that was used in creating this application. Specifically, the Qt application platform and the SQLite relational database system. The second part describes the structure and function of this application. The next part describes the application used to test the functionality of the created application and the designed communication protocol. The last part of the work describes the testing and evaluation of the created application.

Comparison of physical abilities in elite soccer players according to field position.

Title: Comparison of physical abilities in elite soccer players according to field position. Objectives: The main aim of the diploma thesis was to compare the selected motional assumptions of adult elite football players according to the distribution of the players in the game position. Methods: The test group consisted of 54 footballers aged 17-37 years of age. Testing took place on each player one day before the 2017/2018 season. A test battery was selected for testing (determination of body composition, explosive force of the lower limbs, isokinetic force of the extensions group and knee flexor group and determination of maximum oxygen consumption). The following devices were used for testing: body height measurement - digital static (SECA 242, Hamburg, Germany), bioimpedance analyzer - Tanita MC-980MA (Tanita Corporation, Japan), Kistler B8611A - 400 Hz BioWare 4.0.0 and MatlabR2013, isokinetic dynamometer - Cybex Humac Norm (Cybex NORM® , Humac, CA, USA), Quasar (Cosmos) treadmill, Cortex Metalyzer 3B diagnostic tool. Results: The results of our work indicate that the goalkeepers are the heaviest, with the highest percentage of fat in the body, with the highest percentage of active body weight, the highest and oldest players in the team and also have the best jump value. Defenders have the...Název: Komparace pohybových předpokladů u elitních fotbalových hráčů z pohledu herního postu Cíle: Hlavním cílem diplomové práce bylo porovnat vybrané pohybové předpoklady dospělých elitních fotbalových hráčů podle dělení hráčů na herní posty. Metody: Testovaná skupina se skládala z 54 fotbalistů ve věku 17 - 37 let kategorie dospělých. Testování probíhalo u každého hráče v jeden den před sezónou 2017/2018. K testování byla vybrána testová baterie (zjištění tělesného složení, explozivní síla dolních končetin, izokinetická síla skupiny extenzorů a skupiny flexorů kolene a zjištění maximální spotřeby kyslíku). Při testování byly využity tyto přístroje: měření tělesné výšky - digitální stadiometr (SECA 242, Hamburg, Germany), bioimpedanční analyzér - Tanita MC-980MA (Tanita Corporation, Japan), Kistler B8611A - 400 Hz (KISTLER Instrumente AG, Switzerland) se softwarem BioWare 4.0.0 a MatlabR2013, izokinetický dynamometr - Cybex Humac Norm (Cybex NORM® , Humac, CA, USA), běžecký pás - Quasar (Cosmos), diagnostické zařízení - Cortex Metalyzer 3B. Výsledky: Výsledky práce nám udávají, že brankáři jsou nejtěžšími, s nejvyšším procentuálním zastoupením tuků v těle, s nejvyšším zastoupením aktivní tělesné hmoty, nejvyššími a nejstaršími hráči v týmu a také mají nejlepší hodnoty výskoku. U obránců sledujeme...Laboratoř sportovní motorikyFakulta tělesné výchovy a sportuFaculty of Physical Education and Spor

Mobile Android Application for Electromagnetics

Obsahem této práce je seznámení se s platformou pro mobilní zařízení Android a vytvoření aplikace ve vývojovém prostředí Android Studio, která bude vizualizovat dané elektromagnetické fenomény. Smyslem této aplikace bude představit uživateli tyto fenomény, umožnit změnu jejich parametrů a následně sledovat změny v jejich chování. V první části je seznámení s operačním systémem Android, jeho architektura, verze a základní komponenty. Druhá část popisuje nástroje potřebné k tvorbě aplikace pro tento systém v prostředí Android Studio. Další část popisuje elektromagnetické jevy, které budou v aplikaci vizualizovány. Poslední část se zabývá návrhem a implementací aplikace z programového hlediska.The objectives of the thesis are to introduce computing platform for Android mobile devices and to create an application in Android Studio development environment. The aim of the application is to present particular electromagnetic phenomena to a user, allow modification of their parameters and subsequently observe variations in their behavior. First part of the bachelor thesis presents introduction to Android operating system, its architecture, version and basic components. Tools required for building applications in Android Studio are described in a second part. Following section is devoted to characterization of electromagnetic phenomena which will be visualized in an actual application later on. Final section of the work delves into design and implementation of the application from the programming point of view.

Numerical modelling of vocal folds

Název práce: Numerické modelování kmitání hlasivek Autor: Mgr. Bc. Jakub Michálek Katedra: Katedra geofyziky Vedoucí diplomové práce: RNDr. Jakub Velímský, Ph. D., katedra geofyziky Abstrakt: Vytvořil jsem 2D model kmitání hlasivek vybuzeného interakcí s prou- dící tekutinou (FSI model). Použil jsem přitom teorii velkých deformací struktury. Proudění bylo modelováno jako viskózní nestlačitelná tekutina. Numerický pro- blém byl řešen metodou konečných prvků (FEM) s použitím zobecněné Lagrange- ovy-Eulerovy (ALE) metody. Model zachycuje předfonační režim bez kontaktu hlasivek a stavy bezprostředně vedoucí ke kontaktu hlasivek. Porovnal jsem ča- sovou závislost veličin zjištěných na senzorech připoutaných na hlasivku, určil jsem její frekvenční charakteristiku a porovnal výsledky s modální analýzou. Ná- sledně jsem zpracoval parametrickou studii závislosti kmitání na vstupní rychlosti vzduchu, předfonační vzdálenosti hlasivek a jejich pružnosti. Parametrická stu- die potvrzuje, že jak dostatečné zvýšení vstupní rychlosti vzduchu, tak dostatečné zúžení hlasivkové štěrbiny vedou k začátku fonace. Parametrická studie také uka- zuje, že změna elastických parametrů má podobný dopad na posun spektra jak pro FSI model, tak pro modální analýzu. Klíčová slova: Hlasivky, velké deformace, metoda konečných prvkůTitle: Numerical modelling of vocal folds Author: Mgr. Bc. Jakub Michálek Department: Geophysics Department Supervisor: RNDr. Jakub Velímský, Ph. D., Geophysics Department Abstract: I created a 2D model of vocal fold oscillations driven by interaction with fluid flow (FSI model). I used the theory of finite strains of the structure. The flow was modelled as a viscous incompressible fluid. The numerical problem was solved by the finite element method (FEM) with the arbitrary Lagrangian- Eulerian (ALE) method. The model shows the regime before phonation without the contact of the vocal folds and the states that directly lead to the contact of the vocal folds. I compared the time dependence of the quantities measured at sensors attached to the folds. I measured the frequency characteristics and compared the results with the modal analysis. Consequently, I calculated a parametric study of the dependence of the oscillations on the inlet air velocity, the original distance of the vocal folds and the elasticity of the vocal folds. The parametric study confirms that a sufficient increase of the inlet air velocity and a sufficient constriction of the glottis lead to the phonation onset. The parametric study also shows that changing elastic parameters has a similar effect on the spectrum for both the FSI model and the modal...Katedra geofyzikyDepartment of GeophysicsMatematicko-fyzikální fakultaFaculty of Mathematics and Physic

Appraisal of the possibility for establishing the City-Bike system in the city of Česká lípa

Bakalářské práce se zabývá analýzou systémů v jednotlivých evropských městech a systému fungujících v České republice. Dále navrhuje podobu systému City Bike pro město Česká Lípa. Jako podklady jsou zpracované analýzy stávajících systémů City Bike v Evropě a v ČR, následně je provedena analýza infrastruktury po stránce cyklistické dopravy. Dalším podkladem je dotazníkové šetření u potencionálních zákazníků.The bachelor thesis deals with the City-Bike systems in certain European cities and functioning systems in the Czech republic. The thesis proposes a City-Bike system for the town of Česká Lípa. Analysis of existing City-Bike systems in Europe and the Czech Republic were used as the initial materials for the thesis, together with analysis of a bicycle-transport infrastructure in the same area. A survey of potential customers served as another base for the thesis.Dopravní fakulta Jana PerneraStudent obhájil bakalářskou práci a zodpověděl otázky kladené státní zkušební komisí. Vedoucí bakalářské práce uvedl, že po obsahové stránce je práce zpracována velmi kvalitně. Formální stránka však vykazuje na několika místech nedostatky, které nesnižují celkovou kvalitu. Oponent v posudku uvedl, že student se při psaní práce nedržel pokynů z předmětu Bakalářský seminář. V práci je mnoho hovorových výrazů (např. str. 11 fungující systémy, str. 15 cestující dorazí, atd.). Na str. 15 je text: Chyba! Chybný odkaz na záložku. V práci je nadměrně často používáno slovo fungují. Autor v práci popsal dost měst, ale převládá zde popis a není to analýza. Návrhová kapitola č. 6 v rozsahu 1 strany neobsahuje žádný návrh, ten je až v podkapitolách. V kap. 6.5 Finanční analýza nejsou žádné vzorce a není tak uvedeno, jak autor došel k uváděným částkám

Barrier free accessibility of public transport in the town of Žďár nad Sázavou

Tato bakalářská práce je zaměřena na bezbariérovou přístupnost městské hromadné dopravy ve Žďáru nad Sázavou - analýzu současného stavu a zjištění hlavních problémů v přístupnosti městské dopravy pro handicapované. Dále jsou uvedeny návrhy zlepšení stávající situace a jejich vyhodnocení.The bachelor thesis deals with the barrier free accessibility of public transport in the town of Žďár nad Sázavou - analysis of the current situation and find main problems in accessibility a public transport for handicapped people. Next part will be suggestions of improvement of current situation and their evaluation.Katedra technologie a řízení dopravyStudent úspěšně obhájil bakalářskou práci a odpověděl na dotazy členů komise

International protection of civil aviation safety

Mezinárodněprávní ochrana bezpečnosti civilního letectví Abstrakt Předmětem této diplomové práce je právní úprava ochrany bezpečnosti v civilním letectví. Čtenáři se snaží poskytnout ucelený pohled na tuto problematiku ze všech úrovní právní úpravy. Práce je rozdělena do 3 částí, které by měly poskytnout celkový náhled na tuto oblast právní úpravy. Vzhledem k povaze letecké dopravy je největší část této práce věnována právě mezinárodněprávní úpravě. První část práce zasvěcuje čtenáře do historie civilního letectví a leteckého práva. Stranou nezůstávají ani mezinárodní organizace, jak vládní, tak nevládní, které napomáhají se zvyšováním standardu bezpečnosti. V závěru této části je popsána situace z hlediska mezinárodního práva veřejného velmi ožehavá, a to je sestřelení civilního letounu státem, včetně postoje některých států, respektive jejich právních řádů. Druhá část se zaměřuje na konkrétní právní instrumenty upravující security bezpečnost civilního letectví. Tato kapitola patří také především mezinárodněprávní úpravě, respektive konkrétním meznárodním smlouvám, které byly v oblasti bezpečnosti civilního letectví přijaty. Autor se zde však zastavuje i u vztahu jednotlivých právních úprav a u problematiky recepce mezinárodních standardů a doporučení do vnitrostátního práva. Poslední kapitola se věnuje..

Analysis of purchasing conditions and customers behavior in selected town

In theoretical part describes this thesis retail network and current trends in sales of fast moving consumers goods, especially grocery. The practical part interprets amenities of the city Hradec Králové with these shops, which are compared to each other according to predetermined criteria. Furthermore, is the thesis analyzing customer behavior, which was investigated by questionnaire survey