Simulation, design, and control of dynamical systems play an important role in numerous scientific and industrial tasks. The need for detailed models leads to large-scale dynamical systems, posing tremendous computational difficulties when employed in numerical simulations. In order to overcome these challenges, we perform model reduction, replacing the large-scale dynamics with high-fidelity reduced representations. There exist a plethora of methods for reduced order modeling of linear systems, including the Iterative Rational Krylov Algorithm (IRKA), Balanced Truncation (BT), and Hankel Norm Approximation. However, these methods generally target stable systems and the approximation is performed over an infinite time horizon. If we are interested in a finite horizon reduced model, we utilize techniques such as Time-limited Balanced Truncation (TLBT) and Proper Orthogonal Decomposition (POD). In this dissertation we establish interpolation-based optimality conditions over a finite horizon and develop an algorithm, Finite Horizon IRKA (FHIRKA), that produces a locally optimal reduced model on a specified time-interval. Nonetheless, the quantities being interpolated and the interpolant are not the same as in the infinite horizon case. Numerical experiments comparing FHIRKA to other algorithms further support our theoretical results. Next, we discuss model reduction for nonlinear dynamical systems. For models with unstructured nonlinearities, POD is the method of choice. However, POD is input dependent and not optimal with respect to the output. Thus, we use operator splitting to integrate the best features of system theoretic approaches with trajectory based methods such as POD in order to mitigate the effect of the control inputs for the approximation of nonlinear dynamical systems. We reduce the linear terms with system theoretic methods and the nonlinear terms terms via POD. Evolving the linear and nonlinear terms separately yields the reduced operator splitting solution. We present an error analysis for this method, as well as numerical results that illustrate the effectiveness of our approach. While in this dissertation we only pursue the splitting of linear and nonlinear terms, this approach can be implemented with Quadratic Bilinear IRKA or Balanced Truncation for Quadratic Bilinear systems to further diminish the input dependence of the reduced order modeling. / Doctor of Philosophy / Simulation, design, and control of dynamical systems play an important role in numerous scientific and industrial tasks such as signal propagation in the nervous system, heat dissipation, electrical circuits and semiconductor devices, synthesis of interconnects, prediction of major weather events, spread of fires, fluid dynamics, machine learning, and many other applications. The need for detailed models leads to large-scale dynamical systems, posing tremendous computational difficulties when applied in numerical simulations. In order to overcome these challenges, we perform model reduction, replacing the large-scale dynamics with high-fidelity reduced representations. Reduced order modeling helps us to avoid the outstanding burden on computational resources. Numerous model reduction techniques exist for linear models over an infinite horizon. However, in practice we usually are interested in reducing a model over a specific time interval. In this dissertation, given a reduced order, we present a method that finds the best local approximation of a dynamical system over a finite horizon. We present both theoretical and numerical evidence that supports the proposed method. We also develop an algorithm that integrates operator splitting with model reduction to solve nonlinear models more efficiently while preserving a high level of accuracy.

Longitudinal slab splitting in composite hot rolled girders and joist girders was investigated. Two different type of framing configurations were studied with two tests conducted per configuration. The framing configurations were designated as either flush-framed or haunched, which describes the framing of the joists into the joist girders or H-shape. Each floor system consisted of at least one exterior or spandrel joist girder, one interior joist girder, and in three of the four tests, an exterior or spandrel H-shape. The nominal lengths of the girders were 30 ft 4 in. with a centerline spacing of 7 ft for the flush-framed tests and 6 ft 9 in. for the haunch tests. Varying amounts of transverse reinforcement were used in the slab over each girder. Shear connectors were all 0.75 in. diameter headed shear studs of varying lengths. The results of these tests were used to determine the minimum amount of transverse reinforcement required to prevent longitudinal splitting from controlling the strength of the section. A comparative analytical study was performed to generate a design procedure for determining the appropriate amount of transverse reinforcement. This consisted of adapting existing procedures in reinforced concrete for similar shear problems and generating alternative procedures based on existing research for composite construction. Results from these methods were then calibrated against experimental data obtained in this study. / Master of Science

Analysis of unsteady flows is a very challenging topic of research. A decade ago, potential flow equations were used to predict unsteady pressures on oscillating bodies. Recognising the fact that nonlinear aerodynamics is essential to analyse unsteady flows accurately, particularly in transonic and supersonic flows, different Euler formulations operating on moving grids have emerged recently as important CFD tools for unsteady aerodynamics. Numerical solution of Euler equations on moving grids based on upwind schemes such as the ones due to van Leer and Roe have been developed for the purpose of numerical simulation of unsteady transonic and supersonic flows. In the present work, Euler computations based on yet another recent robust upwind scheme (for steady flows) namely Kinetic Flux Vector Splitting (KFVS) scheme due to Deshpande and Mandal is chosen for further development of a time accurate Euler solver to operate on problems involving moving boundaries. The development of an Euler code based on this scheme is likely to be highly useful to analyse problems of unsteady aerodynamics and computational aeroelasiticity especially when it is noted that KFVS has been found to be an extremely robust scheme for computation of subsonic, transonic, supersonic and hypersonic flows. The KFVS scheme, basically exploits the connection between the linear scalar Boltzmann equation of kinetic theory of gases and the nonlinear vector conservation law, that is, Euler equations of fluid dynamics through moment method strategy. The KFVS scheme has inherent simplicity in splitting the flux even on moving grids due to underlying particle model. The inherent simplicity of KFVS for moving grid problems is due to its relationship with the Boltzmann equation. If a surface is moving with velocity w and a particle has velocity v, then it is quite reasonable to do the splitting based on (v-w)<0 or >0. Only particles having velocity v greater than w will cross the moving surface from left to right and similar arguments hold good for particles moving in opposite direction. It is therefore quite natural to extend KFVS by splitting the Maxwellian velocity distribution at Boltzmann level based on the sign of the normal component of the relative velocity. The relative velocity is the difference between the molecular velocity (v) and the velocity of the moving surface(w). This inherent simplicity of the Kinetic Flux Vector Splitting scheme on Moving Grids (KFMG) method has prompted us to extend the same ideas to 2-D and 3-D problems leading to the present KFMG method. If w is set to zero then KFMG formulation reduces to the one corresponding to KFVS. Thus KFMG formulations axe generalisation of the KFVS formulation. In 2-D and 3-D cases, in addition to the KFMG formulation, the method to move the grids, the appropriate boundary conditions for treating moving surfaces and techniques to improve accuracy in space and time are required to be developed. The 2-D and 3-D formulations based on Kinetic Flux Vector Splitting scheme on Moving Grids method have been developed for computing unsteady flows. Between two successive time steps, the body changes its orientation in case of an oscillation or it deforms when subjected to, aerodynamic loads. In either of these cases the grid corresponding to the first time step has to be moved or regenerated around the displaced or deformed body. There are several approaches available to generate grids around moving bodies. In the present work, the 'spring analogy method' is followed to obtain grid around deflected geometries within the frame work of structured grid. Using this method, the grids are moved from previous time to the current time. This method is capable of tackling any kind of aeroelastic deformation of the body. For oscillating bodies, a suitable boundary condition enforcing the flow tangency on the body needs to be developed. As a first attempt, the body surface has been treated as an 1-D piston undergoing compression and expansion. Then, a more general Kinetic Moving Boundary Condition(KMBC) has been developed. The KMBC uses specular reflection model of kinetic theory of gases. In order to treat fixed outer boundary, Kinetic Outer Boundary Condition(KOBC) has been applied. The KOBC is more general in the sense that, it can treat different type of boundaries (subsonic, supersonic, inflow or out flow boundary). A 2-D cell-centered finite volume KFMG Euler code to operate on structured grid has been developed. The time accuracy is achieved by incorporating a fourth order Runge-Kutta time marching method. The space accuracy has been enhanced by using high resolution scheme as well as second order scheme using the method of reconstruction of fluxes. First, the KFMG Euler code has been applied to standard test cases for computing steady flows around NACA 0012 and NACA 64AQ06 airfoils in transonic flow. For these two airfoils both computational and experimental results are available in literature. It is thus possible to verify (that is, prove the claim that code is indeed solving the partial differential equations + boundary conditions posed to the code) and validate(that is, comparison with experimental results) the 2-D KFMG Euler code. Having verified and validated the 2-D KFMG Euler code for the standard test cases, the code is then applied to predict unsteady flows around sinusoidally oscillating NACA 0012 and NACA 64A006 airfoils in transonic flow. The computational and experimental unsteady results are available in literature for these airfoils for verification and validation of the present results. The unsteady lift and normal force coefficients have been predicted fairly accurately by all the CFD codes. However there is some difficulty about accurate prediction of unsteady pitching moment coefficient. Even Navier-Stokes code could not predict pitching moment accurately. This issue needs further in depth study and probably intensive computation which have not been undertaken in the present study. Next, a two degrees of £reedom(2-DOF) structural dynamics model of an airfoil undergoing pitch and plunge motions has been coupled with the 2-D KFMG Euler code for numerical simulation of aeroelastic problems. This aeroelastic analysis code is applied to NACA 64A006 airfoil undergoing pitch and plunge motions in transonic flow to obtain aeroelastic response characteristics for a set of structural parameters. For this test case also computed results are available in literature for verification. The response characteristics obtained have showed three modes namely stable, neutrally stable and unstable modes of oscillations. It is interesting to compare the value of airfoil-to-air mass ratio (Formula) obtained by us for neutrally stable condition with similar values obtained by others and some differences between them are worth mentioning here. The values of \i for neutral stability are different for different authors. The differences in values of (Formula) predicted by various authors are primarily due to differences which can be due to grid as well as mathematical model used. For example, the Euler calculations, TSP calculations and full potential calculations always show differences in shock location for the same flow problem. Changes in shock location will cause change in pressure distribution on airfoil which in turn will cause changes in values of \L for conditions of neutral stability. The flutter speed parameter(U*) has also been plotted with free stream Mach number for two different values of airfoil - to - air mass ratio. These curves shown a dip when the free stream Mach number is close to 0.855. This is referred as "Transonic Dip Phenomenon". The shock waves play a dominant role in the mechanism of transonic dip phenomenon. Lastly, cell-centered finite volume KFMG 3-D Euler code has been developed to operate on structured grids. The time accuracy is achieved by incorporating a fourth order Runge-Kutta method. The space accuracy has been enhanced by using high resolution scheme. This code has 3-D grid movement module which is based on spring analogy method. The KMBC to treat oscillating 3-D configuration and KOBC for treating 3-D outer boundary have also been formulated and implemented in the code. The 3-D KFMG Euler code has been first verified and validated for 3-D steady flows around standard shapes such as, transonic flow past a hemisphere cylinder and ONERA M6 wing. This code has also been used for predicting hypersonic flow past blunt cone-eylinder-flare configuration for which experimental data are available. Also, for this case, the results are compared with a similar Euler code. Then the KFMG Euler code has been used for predicting steady flow around ogive-cylinder-ogive configuration with elliptical cross section. The aerodynamic coefficients obtained have been compared with those of another Euler code. Thus, the 3-D KFMG Euler code has been verified and validated extensively for steady flow problems. Finally, the 3-D KFMG based Euler code has been applied to an oscillating ogive-cylinder-ogive configuration in transonic flow. This test case has been chosen as it resembles the core body of a flight vehicle configuration of interest to DRDO,India. For this test case, the unsteady lift coefficients are available in literature for verifying the present results. Two grid sizes are used to perform the unsteady calculations using the present KFMG 3-D Euler code. The hysteresis loops of lift and moment coefficients confirmed the unsteady behaviour during the oscillation of the configuration. This has proved that, the 3-D formulations are capable of predicting the unsteady flows satisfactorily. The unsteady results obtained for a grid with size of 45x41x51 which is very close to the grid size chosen in the reference(Nixon et al.) are considered for comparison. It has been mentioned in the reference that, a phase lag of (Formula) was observed in lift coefficients with respect to motion of the configuration for a free stream Mach number of 0.3 with other conditions remaining the same. The unsteady lift coefficients obtained using KFMG code as well as those available in literature are plotted for the same flow conditions. Approximately the same phase lag of (Formula) is present (for (Formula)) between the lift coefficient curves of KFMG and due to Nixon et al. The phase lag corrected plot of lift coefficient obtained by Nixon et al. is compared with the lift coefficient versus time obtained by 3-D KFMG Euler code. The two results compare well except that the peaks are over predicted by KFMG code. It is nut clear at this stage whether our results should at all match with those due to Nixon et al. Further in depth study is obviously required to settle the issue. Thus the Kinetic Flux Vector Splitting on Moving Grids has been found to be a very good and a sound method for splitting fluxes and is a generalisation of earlier KFVS on fixed grids. It has been found to be very successful in numerical simulation of unsteady aerodynamics and computational aeroelasticity.

In the quest for a high fidelity numerical scheme for CFD it is necessary to satisfy demands on accuracy, conservation, positivity and upwinding. Recently the requirement of rotational invariance has been added to this list. In the present work we are mainly interested in upwinding and rotational invariance of Least Squares Kinetic Upwind Method (LSKUM). The standard LSKUM achieves upwinding by stencil division along co-ordinate axes which is referred to as co-ordinate splitting method. This leads to symmetry breaking and rotational invariance is lost. Thus the numerical solution becomes co-ordinate frame dependent. To overcome this undesirable feature of existing numerical schemes, a new algorithm called KUMARI (Kinetic Upwind Method Avec Rotational Invariance, 'Avec' in French means 'with') has been developed. The interesting mathematical relation between directional derivative, Fourier series and divergence operator has been used effectively to achieve upwinding as well as rotational invariance and hence making the scheme truly or genuinely multidimensional upwind scheme. The KUMARI has been applied to the test case of standard 2D shock reflection problem, flow past airfoils, then to 2D blast wave problem and lastly to 2D Riemann problem (Lax's 3rd test case). The results show that either KUMARI is comparable to or in some cases better than the usual LSKUM.

Cette thèse porte sur l'étude numérique des fluctuations extrêmes de la force de traînée exercée par un écoulement turbulent sur un corps immergé.Ce type d'évènement, très rare, est difficile à caractériser par le biais d'un échantillonnage direct, puisqu'il est alors nécessaire de simuler l'écoulement sur des durées extrêmement longues. Cette thèse propose une approche différente, basée sur l'application d'algorithmes d'échantillonnage d'événements rares. L'objectif de ces algorithmes, issus de la physique statistique, est de modifier la statistique d'échantillonnage des trajectoires d'un système dynamique, de manière à favoriser l'occurrence d'événements rares. Si ces techniques ont été appliquées avec succès dans le cas de dynamiques relativement simples, l'intérêt de ces algorithmes n'est à ce jour pas clair pour des dynamiques déterministes extrêmement complexes, comme c'est le cas pour les écoulement turbulents.Cette thèse présente tout d'abord une étude de la dynamique et de la statistique associée aux fluctuations extrêmes de la force de traînée sur un obstacle carré fixe immergé dans un écoulement turbulent à deux dimensions. Ce cadre simplifié permet de simuler la dynamique sur des durées très longues, permettant d'échantillonner un grand nombre de fluctuations dont l'amplitude est assez élevée pour être qualifiée d'extrême.Dans un second temps, l'application de deux algorithmes d’échantillonnage est présentée et discutée.Dans un premier cas, il est illustré qu'une réduction significative du temps de calcul d'extrêmes peut être obtenue. En outre, des difficultés liées à la dynamique de l'écoulement sont mises en lumière, ouvrant la voie au développement de nouveaux algorithmes spécifiques aux écoulements turbulents. / This thesis discusses the numerical simulation of extreme fluctuations of the drag force acting on an object immersed in a turbulent medium.Because such fluctuations are rare events, they are particularly difficult to investigate by means of direct sampling. Indeed, such approach requires to simulate the dynamics over extremely long durations.In this work an alternative route is introduced, based on rare events algorithms.The underlying idea of such algorithms is to modify the sampling statistics so as to favour rare trajectories of the dynamical system of interest.These techniques recently led to impressive results for relatively simple dynamics. However, it is not clear yet if such algorithms are useful for complex deterministic dynamics, such as turbulent flows.This thesis focuses on the study of both the dynamics and statistics of extreme fluctuations of the drag experienced by a square cylinder mounted in a two-dimensional channel flow.This simple framework allows for very long simulations of the dynamics, thus leading to the sampling of a large number of events with an amplitude large enough so as they can be considered extreme.Subsequently, the application of two different rare events algorithms is presented and discussed.In the first case, a drastic reduction of the computational cost required to sample configurations resulting in extreme fluctuations is achieved.Furthermore, several difficulties related to the flow dynamics are highlighted, paving the way to novel approaches specifically designed to turbulent flows.

Made available in DSpace on 2015-05-15T11:46:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 695566 bytes, checksum: 26f7afc275ad83fa634352b9d522415e (MD5) Previous issue date: 2012-04-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this dissertation, we study the existence of two types of non-negative weak solutions for a class of problems of Schrodinger-Poisson type. This kind of problem models, for example, several physical phenomena in quantum mechanics. Initially, by minimization arguments, Splitting Lemma and the Variational Principle of Ekeland we find a weak solution that minimizes the minimum energy level associated to the variety of Nehari N. This is the so-called ground state solution. Afterwards we will find, by using the Linking Theorem, a strictly positive weak solution which is not a ground state solution: the so-called bound state solution. / Nesta dissertação, estudaremos a existência de dois tipos de soluções fracas não negativas para uma classe de problemas do tipo Schrödinger-Poisson, os quais modelam fenômenos físicos, por exemplo, em Mecânica Quântica. Inicialmente, encontraremos através de argumentos de minimização, do Lema Splitting e do Princípio Variacional de Ekeland, uma solução fraca que minimiza o nível de energia mínima associado a variedade de Nehari N. Tal solução é denominada do tipo ground state. Em seguida, encontraremos através do Teorema de Linking, uma solução fraca estritamente positiva que não é do tipo ground state. Tal solução é denominada do tipo bound state.

Une modélisation numérique des ondes poroélastiques, décrites par le modèle de Biot, est proposée dans le domaine temporel. La dissipation visqueuse à l'intérieur des pores est décrite par le modèle de perméabilité dynamique de Johnson-Koplik-Dashen (JKD). Certains coefficients du modèle de Biot-JKD sont proportionnels à la racine carrée de la fréquence, introduisant dans le domaine temporel des dérivées fractionnaires décalées d'ordre 1/2, revenant à un produit de convolution. Basé sur une représentation diffusive, le produit de convolution est remplacé par un nombre fini de variables de mémoire satisfaisant une équation différentielle ordinaire locale en temps, menant au modèle de Biot-DA (diffusive approximation). Les propriétés des deux modèles sont analysées : hyperbolicité, décroissance de l'énergie, dispersion. On montre que la meilleure méthode de détermination des coefficients de l'approximation diffusive - quadratures de Gauss, optimisation linéaire ou non-linéaire sur la plage de fréquence d'intérêt - est l'optimisation non-linéaire. Une méthode de splitting est utilisée numériquement : la partie propagative est discrétisée par un schéma aux différences finies ADER d'ordre 4, et la partie diffusive est intégrée exactement. Les conditions de saut aux interfaces sont discrétisées avec une méthode d'interface immergée. Des simulations numériques sont présentées pour des milieux isotropes et isotropes transverses. Des comparaisons avec des solutions analytiques montrent l'efficacité et la précision de cette approche. Des simulations numériques en milieux complexes sont réalisées : influence de la porosité d'os spongieux, diffusion multiple en milieu aléatoire. / A time-domain numerical modeling of Biot poroelastic waves is proposed. The viscous dissipation in the pores is described using the dynamic permeability model of Johnson-Koplik-Dashen (JKD). Some of the coefficients in the Biot-JKD model are proportional to the square root of the frequency: in the time-domain, these coefficients introduce shifted fractional derivatives of order 1/2, involving a convolution product. Based on a diffusive representation, the convolution product is replaced by a finite number of memory variables that satisfy local-in-time ordinary differential equations, resulting in the Biot-DA (diffusive approximation). The properties of the two models are analyzed: hyperbolicity, decrease of energy, dispersion. To determine the coefficients of the diffusive approximation, different methods of quadrature are analyzed: Gaussian quadratures, linear or nonlinear optimization procedures in the frequency range of interest. The nonlinear optimization is shown to be the best way of determination. A splitting strategy is applied numerically: the propagative part is discretized using a fourth-order ADER scheme on a Cartesian grid, and the diffusive part is solved exactly. An immersed interface method is implemented to discretize the jump conditions at interfaces. Numerical experiments are presented for isotropic and transversely isotropic media. Comparisons with analytical solutions show the efficiency and the accuracy of this approach. Some numerical experiments are performed in complex media: influence of the porosity of a cancellous bone, multiple scattering across a set of random scatterers.

[ES] Esta tesis trata sobre la integración numérica de sistemas hamiltonianos con potenciales explícitamente dependientes del tiempo. Los problemas de este tipo son comunes en la física matemática, porque provienen de la mecánica cuántica, clásica y celestial. La meta de la tesis es construir integradores para unos problemas relevantes no autónomos: la ecuación de Schrödinger, que es el fundamento de la mecánica cuántica; las ecuaciones de Hill y de onda, que describen sistemas oscilatorios; el problema de Kepler con la masa variante en el tiempo. El Capítulo 1 describe la motivación y los objetivos de la obra en el contexto histórico de la integración numérica. En el Capítulo 2 se introducen los conceptos esenciales y unas herramientas fundamentales utilizadas a lo largo de la tesis. El diseño de los integradores propuestos se basa en los métodos de composición y escisión y en el desarrollo de Magnus. En el Capítulo 3 se describe el primero. Su idea principal consta de una recombinación de unos integradores sencillos para obtener la solución del problema. El concepto importante de las condiciones de orden se describe en ese capítulo. En el Capítulo 4 se hace un resumen de las álgebras de Lie y del desarrollo de Magnus que son las herramientas algebraicas que permiten expresar la solución de ecuaciones diferenciales dependientes del tiempo. La ecuación lineal de Schrödinger con potencial dependiente del tiempo está examinada en el Capítulo 5. Dado su estructura particular, nuevos métodos casi sin conmutadores, basados en el desarrollo de Magnus, son construidos. Su eficiencia es demostrada en unos experimentos numéricos con el modelo de Walker-Preston de una molécula dentro de un campo electromagnético. En el Capítulo 6, se diseñan los métodos de Magnus-escisión para las ecuaciones de onda y de Hill. Su eficiencia está demostrada en los experimentos numéricos con varios sistemas oscilatorios: con la ecuación de Mathieu, la ec. de Hill matricial, las ecuaciones de onda y de Klein-Gordon-Fock. El Capítulo 7 explica cómo el enfoque algebraico y el desarrollo de Magnus pueden generalizarse a los problemas no lineales. El ejemplo utilizado es el problema de Kepler con masa decreciente. El Capítulo 8 concluye la tesis, reseña los resultados y traza las posibles direcciones de la investigación futura. / [CAT] Aquesta tesi tracta de la integració numèrica de sistemes hamiltonians amb potencials explícitament dependents del temps. Els problemes d'aquest tipus són comuns en la física matemàtica, perquè provenen de la mecànica quàntica, clàssica i celest. L'objectiu de la tesi és construir integradors per a uns problemes rellevants no autònoms: l'equació de Schrödinger, que és el fonament de la mecànica quàntica; les equacions de Hill i d'ona, que descriuen sistemes oscil·latoris; el problema de Kepler amb la massa variant en el temps. El Capítol 1 descriu la motivació i els objectius de l'obra en el context històric de la integració numèrica. En Capítol 2 s'introdueixen els conceptes essencials i unes ferramentes fonamentals utilitzades al llarg de la tesi. El disseny dels integradors proposats es basa en els mètodes de composició i escissió i en el desenvolupament de Magnus. En el Capítol 3, es descriu el primer. La seua idea principal consta d'una recombinació d'uns integradors senzills per a obtenir la solució del problema. El concepte important de les condicions d'orde es descriu en eixe capítol. El Capítol 4 fa un resum de les àlgebres de Lie i del desenvolupament de Magnus que són les ferramentes algebraiques que permeten expressar la solució d'equacions diferencials dependents del temps. L'equació lineal de Schrödinger amb potencial dependent del temps està examinada en el Capítol 5. Donat la seua estructura particular, nous mètodes quasi sense commutadors, basats en el desenvolupament de Magnus, són construïts. La seua eficiència és demostrada en uns experiments numèrics amb el model de Walker-Preston d'una molècula dins d'un camp electromagnètic. En el Capítol 6 es dissenyen els mètodes de Magnus-escissió per a les equacions d'onda i de Hill. El seu rendiment està demostrat en els experiments numèrics amb diversos sistemes oscil·latoris: amb l'equació de Mathieu, l'ec. de Hill matricial, les equacions d'onda i de Klein-Gordon-Fock. El Capítol 7 explica com l'enfocament algebraic i el desenvolupament de Magnus poden generalitzar-se als problemes no lineals. L'exemple utilitzat és el problema de Kepler amb massa decreixent. El Capítol 8 conclou la tesi, ressenya els resultats i traça les possibles direccions de la investigació futura. / [EN] The present thesis addresses the numerical integration of Hamiltonian systems with explicitly time-dependent potentials. These problems are common in mathematical physics because they come from quantum, classical and celestial mechanics. The goal of the thesis is to construct integrators for several import ant non-autonomous problems: the Schrödinger equation, which is the cornerstone of quantum mechanics; the Hill and the wave equations, that describe oscillating systems; the Kepler problem with time-variant mass. Chapter 1 describes the motivation and the aims of the work in the historical context of numerical integration. In Chapter 2 essential concepts and some fundamental tools used throughout the thesis are introduced. The design of the proposed integrators is based on the composition and splitting methods and the Magnus expansion. In Chapter 3, the former is described. Their main idea is to recombine some simpler integrators to obtain the solution. The salient concept of order conditions is described in that chapter. Chapter 4 summarises Lie algebras and the Magnus expansion ¿ algebraic tools that help to express the solution of time-dependent differential equations. The linear Schrödinger equation with time-dependent potential is considered in Chapter 5. Given its particular structure, new, Magnus-based quasi-commutator-free integrators are build. Their efficiency is shown in numerical experiments with the Walker-Preston model of a molecule in an electromagnetic field. In Chapter 6, Magnus-splitting methods for the wave and the Hill equations are designed. Their performance is demonstrated in numerical experiments with various oscillatory systems: the Mathieu equation, the matrix Hill eq., the wave and the Klein-Gordon-Fock eq. Chapter 7 shows how the algebraic approach and the Magnus expansion can be generalised to non-linear problems. The example used is the Kepler problem with decreasing mass. The thesis is concluded by Chapter 8, in which the results are reviewed and possible directions of future work are outlined. / Kopylov, N. (2019). Magnus-based geometric integrators for dynamical systems with time-dependent potentials [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/118798 / TESIS

The fully fashioned master’s thesis within the frame of the master’s study at the Faculty of mechanical engineering is focused on manufacture problems of complex shaped tool specifically for splitting of wood. In the thesis the concept of construction of the tool is analysed with emphasis on correct and efficient functionality. Large emphasis is laid on the analyse of action of force on the gusset and the analyse of conditions of self-locking. This knowledge is applied to the concept of construction of the tool. In the next part the procedure of manufacture is drafted with specification of suitable tools and machines. Then CNC program is elaborated with using of parametrical programming with mathematical function. Then finally the valuation of theoretical results with real production semiautomatic lathe SPN 12 CNC with operation system Simumerik 810D, SPN 12 CNC.

The thesis describes the design of the wood-splitting machine including stress and check calculations and design of the hydraulic circuit. For structural design, it is necessary to choose the maximum dimensions of wooden logs, which have length 1,1 m and diameter 0,5 m and over. The machine structure is vertical. Another task of the thesis is a technical report of similar machines and the justification of the design concepts of splitting machine. In the thesis, there is elaborated an experiment on different types of wood splitters, stress analysis calculated by using finite element method and there is also drawn up technical parameters of wood.