|
Impact of the troposphere on the inosphere
Koucká Knížová, Petra ; Mošna, Zbyšek ; Potužníková, Kateřina ; Boška, Josef ; Kouba, Daniel
Ionosphere represents weakly ionized plasma that reflects solar and geomagnetic activity and processes\nin the neutral atmosphere. Correlation of long time series of the ionospheric plasma critical frequencies,\nobtained by mean of vertical sounding from European stations, is analysed with respect to latitudinal and\nlongitudinal difference and surface distance of stations. Time series of critical frequencies are highly correlated\nreflecting the dominant solar influence. Correlation coefficients are high not only for raw data and subtracted\nmean courses but for fluctuations around mean as well. At the surface distance exceeding 1000 km and/ or about\n10 degrees of latitudinal difference between stations, the correlation coefficients of fluctuations decrease\nrapidly. Such effect is less visible on the latitudinal dependence, where the correlation coefficients decrease with\nincreasing distance with less pronounced threshold. We explain the existence of the ‘break point’ at 10 degrees\nin longitude and/or 1000 km by the ‘local’ influence of the neutral atmosphere and the wave activity. As a\npossible source of the common influence on scale 1000 km/10 degree we propose tropospheric systems that are\nknown to be an important source of atmospheric waves in a broad period range. Large tropospheric mesoscale\nsystems have typically up to 2000 km in size.
|
|
The appraisal of development of tax proportion of budgetary incomes of municipalities and regions in the Czech Republic
Poláková, Tereza ; Peková, Jitka (advisor) ; Krbová, Jana (referee)
The aim of this diploma thesis is a detailed analysis of tax incomes of municipalities and regions with focus on four particular municipalities and one region in a practical part. From the year 2001 to 2015 the share of tax incomes and their development are evaluated as a part of total incomes. The theme is highly topical due to ongoing discussions among lawmakers on the subject of budgetary allocation of taxes. The law determining the budgetary allocation of taxes is modified frequently, that is why knowing the impact of changes on particular municipalities or regions is helpful. This knowledge can be useful base for planning new adjustments of budgetary allocation of taxes. In the theoretical part there are mentioned expert opinions on financial management of municipalities and regions that arise from their functions and positions. The emphasis is put on incomes of municipalities and regions, especially on tax incomes. Particular changes from 2001 to 2015 in law regulating budgetary allocation of taxes are described here with their impacts on municipalities and regions. Incomes and management of selected municipalities representing various size categories and Liberec region are analysed in the practical part. Financial self-sufficiency is evaluated here. In general municipalities are more financial self-sufficient than regions. This thesis is further dealing with individual tax incomes and impacts of changes in budgetary allocation of taxes on their size. Making models of theoretical incomes is used to simulate effects of diverse law adjustments. Results of the analysis show that tax incomes of municipalities and regions are generally increasing. During the observed period there was tendency to lower the growth of tax incomes of large cities, to increase the growth of tax incomes of small municipalities and to straighten the level of tax incomes of medium municipalities thanks to changes in budgetary allocation of taxes. Tax incomes of regions were increased thanks to changes in budgetary allocation of taxes despite of partial decrease in particular segments of tax incomes after 2012.
|
|
New trends in the metrology of geometrical quantities
Lazar, Josef
The contribution deals with an overview of trends in modern fundamental dimensional metrology. This is since the introduction of the definition of metre derived from the vacuum speed of light the domain of laser optics and interferometry. The fundamental etalons of length are highly stable optical oscillators – lasers and the primary measurements of lengths are performed by interferometers. This overview covers the newest results of development of stabilized lasers and interferometry of high resolution in the sub-nanometre range especially concerning the results achieved at the Department of Coherence Optics of the Institute of Scientific Instruments of the ASCR in this field.
|
|
Use of acupuncture in rehabilitation of vertebrogenic algic syndrome
NOVÝ, Filip
The topic of my thesis is a description of the possibilities of using acupuncture in the treatment of VAS. The thesis is divided into two parts, theoretical and practical. In my work, I focus on the current state of knowledge about acupuncture: the history of acupuncture, Eastern philosophy, its principles, acupuncture meridians and points. In terms of modern rehabilitation, I focus in the theoretical section on the issue of trigger points (TrPs), which have a highly significant position in modern studies on acupuncture. The second part of the theoretical work is concentrated on the phenomenon of pain, which is an important element in understanding VAS and the operating principles of acupuncture. In the third part I attempt to describe and compare modern techniques and alternative acupunctures used in the treatment of VAS. To address the efficiency and reliability of the techniques I analyzed data from reputable international studies. The practical part begins with a list of the methods employed and a definition of research objectives and research questions. The aim of the research was to consider the possibilities of the use of acupuncture in the treatment of VAS and, by means of a questionnaire, to assess its analgesic effect.
|
|
Code Analysis and Transformation To a High-Level Language
Křoustek, Jakub ; Masařík, Karel (referee) ; Meduna, Alexandr (advisor)
This paper describes methods and procedures used for code analysis and transformation. It contains basic information of a science discipline called reverse engineering and its use in information technologies. The primary objective is a construction of a generic reverse compiler or decompiler, i.e. tool that can recompile from binary form (optionally from symbolic machine code) to a high level language. This operation is highly dependent on the concrete instruction set and processor architecture. This problem is solved with description of semantic of each instruction by a special language designed for this use. The output is the high level language code and is functionally equivalent to the input. The program is therefore able to work with each instruction set and code written by it can be transformed into the chosen high level language. This proposal is implemented in practice as a part of project Lissom. Generic decompiler is completely new idea. The thesis contains entirely new techniques from theory of compilers and optimizations made by the author.
|
|
Verification of Pointer Programs Based on Forest Automata
Hruška, Martin ; Rogalewicz, Adam (referee) ; Holík, Lukáš (advisor)
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the forest automata based verification method with two new techniques - a counterexample analysis and predicate abstraction. The first one allows us to determine whether a found error is a real or spurious one. The results of the counterexample analysis is also used for creating new predicates which are used for the refinement of predicate abstraction. We show that both of these techniques contribute to an improvement over the early approach.
|
|
Auditors´ procedures by verifying financial statements in practice
Pavlík, Jan ; Roubíčková, Jaroslava (advisor) ; Černý, Václav (referee)
The thesis focuses on the problematic of financial statements auditing. In the first chapter historical development on auditing in highly developed countries in Europe and in the Czech Republic is characterized. The second part describes legal and ethical auditing requirements in the Czech Republic. In the third chapter auditors' procedures and techniques which are in progress from accepted contracts to issued auditors' report are explicated. The final part is focused on concrete auditors' procedures by verifying accounts receivables and inventories in a practical application in the case of two real companies.
|
|
The effect of canistherapy on the client with disorders of behaviour and social relations
PILÁTOVÁ, Kateřina
The thesis was mainly aimed at the impact of canistherapy on the clients with behaviour and social anxiety disorders, their behaviour, social contacts and attitude to a living creature. The theoretical part of the thesis presents an overview of zootherapy and canistherapy terminology, outlines requisites of the practical part and defines behaviour and social anxiety disorders in children and adolescents. The outcome is represented by a multicase study on the basis of qualitative research technique. The multicase study offers a deep insight into three case studies, in details depicts particular techniques which are used in canistherapy, the process of canistherapy realised in children and adolescents with behaviour and social anxiety disorders. The findings of the research proved a positive impact of canistherapy, especially an AAT method, on the clients monitored. Based on these findings, canistherapy is highly recommended for this group of clients.
|
|
Biomechanics of pedaling as a determinant for the performance in the cycling part in the triathlon
Svatoš, Václav ; Kovářová, Lenka (advisor) ; Horčic, Josef (referee)
Tittle: Biomechanics of pedaling as a determinant for the performance in the cycling part in the triathlon Objective: Prove that mastering pedaling technique, means higher performance in triathlon. Method: For the analysis of measured data use software SPSS, in which we use the test for two independent (paired) files. Due to the characteristics of the file, we used the Mann- Whitney test, we set the significance level at 0.05. Then we set standards for the selected test using T-points. Results: On the basis of the hypotheses, we conclude that there satisticky significant difference between groups (selection, other) the test results in the men's category (sig. 0.019). The opposite results were observed in the women's category (sig. 0.683). Performance comparison groups of men and women were different and statistically highly significant (sig. 0.000). Another result of this work is to establish standards by T - points for members of the youth sports center (YSC) in the triathlon for the assessment test at maximum cadence bicycle ergometer test in Cyclus 2. Keywords: pedaling cadence, YSC, diagnostics, maximum pedaling cadence test, Mann- Whitney test
|
|
Rehabilitation of patients with prolapsed intervertebral disc in lumbar spine during surgical therapy and conservative therapy
KOTT, Petr
TThe title of the thesis is The rehabilitation of patients with the slip of intervertebral disc in the region of the lumbar spine in surgical and in conservative therapies. A lumbar disc herniation is one of the most frequent degenerative changes in the spine. It is also one of the most common diagnoses in neurology and neurosurgery indicated for surgical treatment. This is an alarming finding and therefore it must be pursued in depth. The first part is only theoretical, containing the anatomy and kinesiology of spine, the characteristics, division and diagnosis of the slip, and the description of the conservative and surgical therapies. The second part is devoted to the research, with two groups of respondents. In the first group there are three patients who underwent my five weeks? intensive rehabilitation plan. We met once every week and they did the exercises every day on their own. The first meeting was related to a complete examination and exercise education. The last meeting again included a thorough examination, and a long-term rehabilitation plan suggestion. The short-term rehab plan was mainly composed of pain relief components, searching for the relief positions. Also, we worked out the deep stabilization system, the abdominal muscles involvement, pelvic exercises, spasm loosening, sacroiliac joint relaxation, sensomotoric exercises, root stretching and kinesiotaping. Each patient was also familiarized with the secondary prevention and the contraindications for this illness. The second group are two patients who underwent a surgery at the neurosurgical department of the hospital in České Budějovice. Subsequently, they rehabilitated at the rehab department of the same hospital. This group received a complete care of the department ? the examination, the treatment, physical therapy application and file records. Their results were compared to the first group performance. The components of the therapy were: group fitness exercises, individual fitness exercises, group specific exercises (Flendkrais method elements, McKenzie, pelvic exercises), soft techniques for the scar, swimming pool fitness exercises. The aim was to describe the differences between the conservative and surgical therapies. The purpose of the practical part was to prepare and implement an intensive rehabilitation plan for particular patients, who were not indicated for the surgery, and compare the results with the patients after the surgery. A qualitative research was used for the purpose for the comparison. To gather the data, I used the following techniques: interview, anamnesis, entry and final kinesiological analysis, medical record consultations, photographing, and secondary data analysis. The field research is concluded with the result evaluation. The results show that the kinesilogical analysis was highly functional in two cases, and helped the patients. In one case it helped only partly, but it shall be stated that the patient did not exercise on his own, was not motivated and obviously wanted to stay on the sick-leave. Moreover, the results clarify that the surgery in most cases does not make do without the right rehabilitation. If the local stabilizers are not activated and the pathological movement patterns are not corrected, the relapse is quite probable, and the probability grows with every following surgery. The aims of the research were fulfilled. Key words: therapy, disc, herniation, rehabilitation.
|
guest ::
