|
|
Biophysical conditions triggering depolarization block in excitatory neurons.
Tobiáš, Marek ; Berling, David Maximilian (advisor) ; Korvasová, Karolína (referee)
Optogenetics is an increasingly popular neuronal stimulation technique used for study- ing neural circuits and controlling brain activity. However, when applied without suffi- cient knowledge, it can cause unintentional silencing of the targeted neurons by inducing a state termed depolarization block (DpB), in which neurons cease to fire action poten- tials. The susceptibility to silencing is not consistent among neurons, and the relationship between their biophysical properties and their vulnerability to DpB remains poorly un- derstood. In this thesis, we investigate how the densities of voltage-gated sodium (Nav) and potassium (Kv) channels, which are known to govern DpB dynamics, influence the neuron's ability to resist this phenomenon. We also examine the impact of neuronal size on DpB susceptibility. Using a computational model of a layer V pyramidal neuron, which we simplify to a single compartment to represent the behavior of a generic excita- tory neuron, we introduce an automatic classifier consistently identifying DpB through voltage trace analysis. This allows us to systematically assess the influence of varying Nav or Kv channel densities in the neuron's membrane. We discover that increasing these densities enhances the neuron's resistance to DpB. Contrary to previous studies, neu- ronal size...
|
|
|
Application of Python programming language in image analysis and modeling of physical processes of graphene
Stehlíček, Kamil ; Képeš, Erik (referee) ; Bartošík, Miroslav (advisor)
In this thesis, we focus on evaluating experimental data using the Python programming language across three different physics problems dealing with graphene. The goals of the thesis are based on practical experiments that use gallium or gallium nitride to alter the electro-optical properties of graphene or experiments that require the simulation of charge propagation in graphene nanoelectronics. These tasks successively use image analysis and numerical simulations. The theoretical part of the thesis serves as a research and as an introduction to basic image processing algorithms and numerical simulation techniques. The practical part of the thesis then focuses on the evaluation of the success of each program, its implementation in practical evaluation and explanation of experimental results.
|
|
|
Discrete modeling of transaction propagation in Bitcoin
Marek, Tomáš ; Marek, Marcel (referee) ; Zavřel, Jan (advisor)
Technologie blockchain je stěžejním bodem fungování Bitcoinu. Cílem teoretické části této práce je popsat principy, na kterých je technologie blockchain založena a zároveň shromáždit informace o tom, jak jsou transakce šířeny v síti Bitcoin. Cílem praktické části je vytvořit model velmi zjednodušeného Bitcoin Core klienta, který umožňí vytvářet, posílat a přijímat transakce na základě propagačního algoritmu využívaného v síti Bitcoin. Model je následně spouštěn v simulačním prostředí a výsledky simulace jsou analyzovány s cílem určit zdrojový uzel transakce.
|
|
|
Low-frequency electronically adjustable active load
Vaněk, Petr ; Theumer, Radek (referee) ; Šotner, Roman (advisor)
SBachelor thesis deals with the design of an active electronic load for DC and AC input signals. The PSpice simulations are used for verification of mentioned modes of the electronic load operation and the principles of their functions. The main content of this work is the design of low frequency active electronic load, design of control performance and verification by it‘s simulation, preparation of production documents, completion of prototype and experimental verification.
|
|
|
Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO
Karásek, Filip ; Žádník, Martin (referee) ; Strnadel, Josef (advisor)
This thesis analyzes and addresses the impact of strategies created using Uppaal Stratego. The implementation of four problems, counter, maze, bitmap, and intersection is demonstrated in this thesis. Experiments are conducted on these models, and strategies are formulated. For the first three problems, strategies with a positive impact on the given system were identified. However, for the last intersection model, it was not possible to find a strategy that demonstrably improved the system. This inability to demonstrate improvement is due to limitations in Uppaal Stratego and the complexity of the model.
|
|
|
Design of a rotary pendulum with a flexible joint
Palát, Ondřej ; Formánek, Martin (referee) ; Dobossy, Barnabás (advisor)
This Bachelor thesis is focused on design of laboratory equipment with flexible joint. It describes construction, control electronics design, microcontroller programming and mathematical modelling describing flexible joint dynamics. Model parameters were estimated based on measurements. First part also describes market survey and brief description of algorithms used for numeric parameter estimation.
|
|
|
Programming tools for robotic workstations for cold metal deposition
Odehnal, Martin ; Šubrt, Kamil (referee) ; Vetiška, Jan (advisor)
The thesis focuses on the development of software for a robotic workstation designed for the rapid preparation of coating the surface of rotating parts using cold spray metal deposition technology. The cold spray workstation is located in the laboratories of the Institute of Materials Science and Engineering at the Faculty of Mechanical Engineering, Brno University of Technology. The developed application provides support for the institute's staff in experimental activities in this area. The theoretical part of the thesis aims to provide information to the processes associated with virtual commissioning, programming industrial robots, and the basics of cold spray technology. The practical part addresses the specific implementation of the software application and the integration of an external motor to the robotic controller via the PROFINET communication bus.
|
|
|
Statistical Model Checking of Approximate Computing Systems
Blažek, Michal ; Sekanina, Lukáš (referee) ; Strnadel, Josef (advisor)
This bachelor's thesis focuses on the simulation of models of approximate multipliers. The main aim of the thesis is comparing selected properties of multipliers in an application-specific scope of input values. The thesis includes the conversion of multiplier models from the EvoApproxLib library into models used in the UPPAAL environment. These models are then simulated while monitoring their selected evaluation metrics such as error probability, mean absolute error, etc. From the obtained results, one can conclude that using a suitable approximate multiplier in a specific context can have a positive effect on the error in calculations. The results could therefore have further applications in the field of approximate computing systems.
|
|
|
Design and realization of 110 kV overhead and cable line laboratory models
Lelek, Jan ; Jurák, Viktor (referee) ; Ptáček, Michal (advisor)
The bachelor thesis deals with modelling of overhead and cable of 110 kV lines in PSCAD simulation environment and realization of equivalent laboratory models of these lines. The objectives of the thesis also include an approximation of the technical design of 110 kV lines, definition of the necessary parametrs for the creation of the models themselves, including descriptions of the possibilities of mathematical modelling of the lines. Following the fulfilment of the mentioned objectivites, the theoretical part of the thesis presents factual data of 110 kV lines located within the distribution networks of the Czech Republic, including the basic theory related to line parameters. Subsequently, the thesis deals with the introduction of possible approaches of mathematical modelling of lines, targeted description of possible modelling approaches in the PSCAD simulation environment and selection of necessary parameters for the creation of these models. The practical part of the thesis presents the mathematical models of overhead and cable lines, presenting the results of simulations for different operating states of the lines. The practical part also presents in detail the design, realization and laboratory measurement of physical laboratory models of overhead and cable of 110 kV lines. The thesis then includes a comparison between the results obtained for the line models that were created in the PSCAD simulation environment and the laboratory models.
|
|
|
Rotary beam system
Zielina, Jan ; Buchta, Luděk (referee) ; Pohl, Lukáš (advisor)
The thesis discusses the issues of control and regulation, introduces the reader to the CubeMX development environment from STMicroelectronics, describes the software configuration of the development board, the vector control algorithm using Clark and Park mathematical transformation of currents in a three-phase system, the physical design of the oscillating system in the solidworks environment, the mathematical model and simulation in Matlab/Simulink and the design of the control for oscillation control of the system.
|
guest ::
