Search for dissertations about: "refinement calculus"

Found 4 swedish dissertations containing the words refinement calculus.

  2. 1. Finite element methods for surface problems

    Author : Mirza Cenanovic; Peter Hansbo; Kent Salomonsson; Paul Houston; Jönköping University; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; trace finite element method; membrane; mean curvature; level-set method;

    Abstract : The purpose of this thesis is to further develop numerical methods for solving surface problems by utilizing tangential calculus and the trace finite element method. Direct computation on the surface is possible by the use of tangential calculus, in contrast to the classical approach of mapping 2D parametric surfaces to 3D surfaces by means of differential geometry operators. READ MORE

  4. 2. Adaptive Finite Element Methods for Optimal Control Problems

    Author : Karin Kraft; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dual weighted residual; adaptive; Newton method; variational inequality; vehicle dynamics.; multilevel algorithm; discontinuous Galerkin method; a posteriori error estimate; finite element method; optimal control; control constraint;

    Abstract : In this thesis we study the numerical solution of optimal control problems. The problems considered consist of a systemof differential equations, the state equations, which are governed bya control variable. The goal is to determine the states and controls which minimize a given cost functional. READ MORE

  5. 3. Adaptive Finite Element Methods for Optimal Control Problems

    Author : Karin Kraft; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; finite element method; discontinuous Galerkin method; optimal control; a posteriori error estimate; dual weighted residual; adaptive; multilevel algorithm; Newton method; control constraint; variational inequality; vehicle dynamics.;

    Abstract : In this thesis we study the numerical solution of optimal control problems. The problems considered consist of a system of differential equations, the state equations, which are governed by a control variable. The goal is to determine the states and controls which minimize a given cost functional. READ MORE

  6. 4. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

    Author : Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Abstract : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE