Thesis deals with solving the problems of continuum mechanics by method of Isogeometric analysis. This relatively young method combines the advantages of precise NURBS geometry and robustness of the classical finite element method. The method is described on procedure of solving a plane Poissons boundary value problem. Solver is implemented in MatLab and algorithms are attached to the text.

This thesis deals with control of linear bridge cranes using three selected methods. In theoretical part, it gives information about basic structure of each selected algorithm and basic mathematical relations. In the middle, control of algorithms is simulated using created simulation programs in MATLAB. After that, the algorithms are applied on laboratory model of linear crane and in the end all of them are evaluated according to achieved results.

We propose a variant of the stochastic finite element method, where the random elements occuring in the problem formulation are approximated by simple random elements, i.e. random elements with only a finite number of possible values.

Optimal control (motion planning) of the free interface in classical two-phase Stefan problems is considered. The evolution of the free interface is modeled by a level set function. The first-order optimality system is derived on a formal basis. It provides gradient information based on the adjoint temperature and adjoint level set function. Suitable discretization schemes for the forward and adjoint systems are described. Numerical examples verify the correctness and flexibility of the proposed scheme.:1 Introduction 2 Model Equations 3 The Optimal Control Problem and Optimality Conditions 4 Discretization of the Forward and Adjoint Systems 5 Numerical Results 6 Discussion and Conclusion A Formal Derivation of the Optimality Conditions B Transport Theorems and Shape Calculus

The analytical solution of a given inhomogeneous boundary value problem of a linear, elliptic, inhomogeneous partial differential equation and a set of inhomogeneous mixed Dirichlet- and Neumann-type boundary conditions is derived in the present paper. In the context of elasticity theory, the problem arises for a non-conservative symmetric ansatz and an extended constitutive law shown earlier. For convenient user application, the scalar function expressed in cylindrical coordinates is primarily obtained for the general case before being expatiated on a special case of linear boundary conditions.

This paper describes simulations of the generalized modified Benjamin-Bona-Mahony (BBM) equation, using finite difference methods (FDM). Well-posed boundary conditions (BCs) as well as stable semi-discrete approximations are derived using summations-by-parts (SBP) operators combined with the projection method. For time integration, explicit Runge-Kutta 4 (RK4) is used, as well as SBP-SAT, which discretizes the temporal domain using SBP operators and imposes initial conditions using simultaneous approximation term (SAT). These time-marching methods are evaluated and compared in terms of accuracy and computing times, and soliton-boundary interaction is studied. It is shown that SBP-SAT time-marching perform well and is more suitable than RK4 for this type of non-linear, dispersive problem. Generalized summation-by-parts (GSBP) time-marching perform particularly well, due to high accuracy with few solution points.

In addition to previous publications, the paper presents the analytical solution of a special boundary value problem which arises in the context of elasticity theory for an extended constitutive law and a non-conservative symmetric ansatz. Besides deriving the general analytical solution, a specific form for linear boundary conditions is given for user convenience.

<div>Optimal control theory (OCT) exists since the 1950s. However, with the advent of modern computers, the design community delegated the task of solving the optimal control problems (OCPs) largely to computationally intensive direct methods instead of methods that use OCT. Some recent work showed that solvers using OCT could leverage parallel computing resources for faster execution. The need for near real-time, high quality solutions for OCPs has therefore renewed interest in OCT in the design community. However, certain challenges still exist that prohibits its use for solving complex practical aerospace problems, such as landing human-class payloads safely on Mars.</div><div><br></div><div>In order to advance OCT, this thesis introduces Epsilon-Trig regularization method to simply and efficiently solve bang-bang and singular control problems. The Epsilon-Trig method resolves the issues pertaining to the traditional smoothing regularization method. Some benchmark problems from the literature including the Van Der Pol oscillator, the boat problem, and the Goddard rocket problem verified and validated the Epsilon-Trig regularization method using GPOPS-II.</div><div><br></div><div>This study also presents and develops the usage of trigonometry for incorporating control bounds and mixed state-control constraints into OCPs and terms it as Trigonometrization. Results from literature and GPOPS-II verified and validated the Trigonometrization technique using certain benchmark OCPs. Unlike traditional OCT, Trigonometrization converts the constrained OCP into a two-point boundary value problem rather than a multi-point boundary value problem, significantly reducing the computational effort required to formulate and solve it. This work uses Trigonometrization to solve some complex aerospace problems including prompt global strike, noise-minimization for general aviation, shuttle re-entry problem, and the g-load constraint problem for an impactor. Future work for this thesis includes the development of the Trigonometrization technique for OCPs with pure state constraints.</div>

This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) map $\Lambda_A$ of the associated connection Laplacian $d_A^*d_A$. The connection is to be determined up to a unitary gauge equivalence equal to the identity at the boundary. In our first approach to the problem, we restrict our attention to conformally transversally anisotropic (cylindrical) manifolds $M \Subset \mathbb{R}\times M_0$. Our strategy can be described as follows: we construct the special Complex Geometric Optics solutions oscillating in the vertical direction, that concentrate near geodesics and use their density in an integral identity to reduce the problem to a suitable $X$-ray transform on $M_0$. The construction is based on our proof of existence of Gaussian Beams on $M_0$, which are a family of smooth approximate solutions to $d_A^*d_Au = 0$ depending on a parameter $\tau \in \mathbb{R}$, bounded in $L^2$ norm and concentrating in measure along geodesics when $\tau \to \infty$, whereas the small remainder (that makes the solution exact) can be shown to exist by using suitable Carleman estimates. In the case $m = 1$, we prove the recovery of the connection given the injectivity of the $X$-ray transform on $0$ and $1$-forms on $M_0$. For $m > 1$ and $M_0$ simple we reduce the problem to a certain two dimensional $\textit{new non-abelian ray transform}$. In our second approach, we assume that the connection $A$ is a $\textit{Yang-Mills connection}$ and no additional assumption on $M$. We construct a global gauge for $A$ (possibly singular at some points) that ties well with the DN map and in which the Yang-Mills equations become elliptic. By using the unique continuation property for elliptic systems and the fact that the singular set is suitably small, we are able to propagate the gauges globally. For the case $m = 1$ we are able to reconstruct the connection, whereas for $m > 1$ we are forced to make the technical assumption that $(M, g)$ is analytic in order to prove the recovery. Finally, in both approaches we are using the vital fact that is proved in this work: $\Lambda_A$ is a pseudodifferential operator of order $1$ acting on sections of $E|_{\partial M}$, whose full symbol determines the full Taylor expansion of $A$ at the boundary.

O principal objetivo deste trabalho é estudar a existência de soluções para alguns problemas de valores de contorno de equações diferenciais ordinárias não lineares em dimensão finita e infinita. Todos os sistemas considerados nesta investigação são transformados em equações funcionais nas quais o objetivo é encontrar um ponto fixo de um oportuno operador definido em um espaço de funções (que depende do problema estudado). Para isso, faremos uso do grau de Leray-Schauder e de um conceito de grau topológico, devido a R. Nussbaum, para perturbações não compactas da identidade em espaços de Banach. / The main purpose of this work is to study the existence of solutions to some boundary value problems for nonlinear ordinary differential equations in finite and infinite dimension. All systems considered in this research are transformed into functional equations in which the objective is to find a fixed point of a suitable operator defined in a space of functions (which depends on the studied problem). To do this, we use the Leray-Schauder degree and a concept of topological degree due to R. Nussbaum for non-compact perturbations of identity in Banach spaces.