This thesis deals with the topic of partial differential equations parallel solutions. First, it focuses on ordinary differential equations (ODE) and their solution methods using Taylor polynomial. Another part is devoted to partial differential equations (PDE). There are several types of PDE, there are parabolic, hyperbolic and eliptic PDE. There is also explained how to use TKSL system for PDE computing. Another part focuses on solution methods of PDE, these methods are forward, backward and combined methods. There was explained, how to solve these methods in TKSL and Matlab systems. Computing accuracy and time complexity are also discussed. Another part of thesis is PDE parallel solutions. Thanks to the possibility of PDE convertion to ODE systems it is possible to represent each ODE equation by independent operation unit. These units enable parallel computing. The last chapter is devoted to implementation. Application enables generation of ODE systems for TKSL system. These ODE systems represent given hyperbolic PDE.

This work deals with the possibilities of modeling electrical circuits and methods of solving these models. It focuses on the analysis of today's systems, so that their features can be used in our graphic editor design.

This thesis is concerned with problems of measuring and mapping of magnetic field in MR tomograph, for purpose of magnetic flux density homogeneity optimization. Attention is paid to mapping techniques on rotary symmetric volume and to ways of magnetic fields optimization with utilization of passive and active correction systems. Theoretical analysis of magnetic field decomposition with utilization of spherical harmonics and numerical decomposition is made. Mapping and approximation techniques of basic magnetic field are verified by experiments in the laboratory at the Institute of Scientific Instruments AS CR in Brno.

This thesis deals with the real time dynamic system control and it uses similar computation methods as earlier bachelor thesis. In the beginning of the thesis, some basics from the field of control and regulation are explained. Systems in this thesis are mostly described by differential equations. Because of this, thesis contains a section about solving differential equations. In this section, multiple approaches are covered and compared. The Modern Taylor series method is introduced, which is used by implemented applications. For system simulation, existing software was upgraded and multiple additional utilities were also implemented. The approximation of the transport delay is also mentioned.

This master's thesis deals with modeling of linear electrical circuits through the differential algebraical equation systems. It describes methods of numerical solving, discusses the need of algebraical conversions and possibility of minimalization through the use of parasitic components. In addition, it involves the design and implementation of extension of available simulation tool.

Tato disertační práce se zabývá analýzou stability a konvergence klasických numerických metod pro řešení obyčejných diferenciálních rovnic. Jsou představeny klasické jednokrokové metody, jako je Eulerova metoda, Runge-Kuttovy metody a nepříliš známá, ale rychlá a přesná metoda Taylorovy řady. V práci uvažujeme zobecnění jednokrokových metod do vícekrokových metod, jako jsou Adamsovy metody, a jejich implementaci ve dvojicích prediktor-korektor. Dále uvádíme generalizaci do vícekrokových metod vyšších derivací, jako jsou např. Obreshkovovy metody. Dvojice prediktor-korektor jsou často implementovány v kombinacích modů, v práci uvažujeme tzv. módy PEC a PECE. Hlavním cílem a přínosem této práce je nová metoda čtvrtého řádu, která se skládá z dvoukrokového prediktoru a jednokrokového korektoru, jejichž formule využívají druhých derivací. V práci je diskutována Nordsieckova reprezentace, algoritmus pro výběr proměnlivého integračního kroku nebo odhad lokálních a globálních chyb. Navržený přístup je vhodně upraven pro použití proměnlivého integračního kroku s přístupe vyšších derivací. Uvádíme srovnání s klasickými metodami a provedené experimenty pro lineární a nelineární problémy.

Le développement de la fabrication additive permet d'élaborer des pièces de forme extrêmement complexes, en particulier des structures alvéolaires ou "lattices", où l'allégement est recherché. Toutefois, cette technologie, en très forte croissance dans de nombreux secteurs d'activités, n'est pas encore totalement mature, ce qui ne facilite pas les corrélations entre les mesures expérimentales et les simulations déterministes. Afin de prendre en compte les variations de comportement, les approches multiparamétriques sont, de nos jours, des solutions pour tendre vers des conceptions fiables et robustes. L'objectif de cette thèse est d'intégrer des incertitudes matérielles et géométriques, quantifiées expérimentalement, dans des analyses de flambement. Pour y parvenir, nous avons, dans un premier temps, évalué différentes méthodes de substitution, basées sur des régressions et corrélations, et différentes réductions de modèles afin de réduire les temps de calcul prohibitifs. Les projections utilisent des modes issus soit de la décomposition orthogonale aux valeurs propres, soit de développements homotopiques ou encore des développements de Taylor. Dans un second temps, le modèle mathématique, ainsi créé, est exploité dans des analyses ensemblistes et probabilistes pour estimer les évolutions de la charge critique de flambement de structures lattices. / The development of additive manufacturing allows structures with highly complex shapes to be produced. Complex lattice shapes are particularly interesting in the context of lightweight structures. However, although the use of this technology is growing in numerous engineering domains, this one is not enough matured and the correlations between the experimental data and deterministic simulations are not obvious. To take into account observed variations of behavior, multiparametric approaches are nowadays efficient solutions to tend to robust and reliable designs. The aim of this thesis is to integrate material and geometric uncertainty, experimentally quantified, in buckling analyses. To achieve this objective, different surrogate models, based on regression and correlation techniques as well as different reduced order models have been first evaluated to reduce the prohibitive computational time. The selected projections rely on modes calculated either from Proper Orthogonal Decomposition, from homotopy developments or from Taylor series expansion. Second, the proposed mathematical model is integrated in fuzzy and probabilistic analyses to estimate the evolution of the critical buckling load for lattice structures.

This project deals with solving differential equations. The aim is find the correct algorithm transforming differential equations of higher order with time variable coefficients to equivalent systems of differential equations of first order. Subsequently verify its functionality for equations containing the involutioin goniometrical functions and finally implement this algorithm. The reason for this transformation is requirement to solve these differential equations by programme TKSL (Taylor Kunovský simulation language).

Disertační práce se zabývá simulací elektronických obvodů. Popisuje metodu kapacitorové substituce (CSM) pro převod elektronických obvodů na elektrické obvody, jež mohou být následně řešeny pomocí numerických metod, zejména Moderní metodou Taylorovy řady (MTSM). Tato metoda se odlišuje automatickým výběrem řádu, půlením kroku v případě potřeby a rozsáhlou oblastí stability podle zvoleného řádu. V rámci disertační práce bylo autorem disertace vytvořeno specializované programové vybavení pro řešení obyčejných diferenciálních rovnic pomocí MTSM, s mnoha vylepšeními v algoritmech (v porovnání s TKSL/386). Tyto algoritmy zahrnují zjednodušování obecných výrazů na polynomy, paralelizaci nezávislou na integrační metodě atp. Tento software běží na linuxovém serveru, který komunikuje pomocí protokolu TCP/IP. Toto vybavení bylo úspěšně použito pro simulaci VLSI obvodů, jejichž řešení pomocí CSM bylo značně rychlejší a spotřebovávalo méně paměti než state-of-the-art SPICE.

The MSc Thesis deals with real-time modelling, especially with the control circuits, where we focus on the regulation circuit with auxiliary model of the regulated system. The introduction contains the Theory of Controls and regulation. The work is divided into two basic parts. The first part deals with the problems from the theoretical point of view. The theoretical part is concerned with the general systems. Various definitions of systems, their partition and mathematical methods for their description are mentioned after introducing. A description the regulation circuits, their partition, structures and types follows. There are shown the particular regulators and different types of regulated systems in details. Mathematical methods applied to solve the differential equations that describe the models of the systems are summarized in the second part of the work. The end of this chapter is concerned with the TKSL system. In the practical part I have produced Microsoft Power Point program which summarizes the results of experiments, made in the TKSL and TKSL/C system. The output of simulation was transformed into the graphs in the format of Microsoft Excel. The last part deals with suggestion and implementation simulators of control circuits.