All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 3 Next

Displaying 41 – 60 of 61

Showing per page

Verification of functional a posteriori error estimates for obstacle problem in 2D

Petr Harasim, Jan Valdman (2014)

Kybernetika

We verify functional a posteriori error estimates proposed by S. Repin for a class of obstacle problems in two space dimensions. New benchmarks with known analytical solution are constructed based on one dimensional benchmark introduced by P. Harasim and J. Valdman. Numerical approximation of the solution of the obstacle problem is obtained by the finite element method using bilinear elements on a rectangular mesh. Error of the approximation is measured by a functional majorant. The majorant value...

Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties

Andreas Rauh, Johanna Minisini, Eberhard P. Hofer (2009)

International Journal of Applied Mathematics and Computer Science

Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime dynamical...

Verified numerical computations for large-scale linear systems

Katsuhisa Ozaki, Takeshi Terao, Takeshi Ogita, Takahiro Katagiri (2021)

Applications of Mathematics

This paper concerns accuracy-guaranteed numerical computations for linear systems. Due to the rapid progress of supercomputers, the treatable problem size is getting larger. The larger the problem size, the more rounding errors in floating-point arithmetic can accumulate in general, and the more inaccurate numerical solutions are obtained. Therefore, it is important to verify the accuracy of numerical solutions. Verified numerical computations are used to produce error bounds on numerical solutions....

Vertex centred Discretization of Two-Phase Darcy flows on General Meshes

Robert Eymard, Cindy Guichard, Raphaèle Herbin, Roland Masson (2012)

ESAIM: Proceedings

This paper concerns the discretization of multiphase Darcy flows, in the case of heterogeneous anisotropic porous media and general 3D meshes used in practice to represent reservoir and basin geometries. An unconditionally coercive and symmetric vertex centred approach is introduced in this paper. This scheme extends the Vertex Approximate Gradient scheme (VAG), already introduced for single phase diffusive problems in [9], to multiphase Darcy flows....

Vessel Wall Models for Simulation of Atherosclerotic Vascular Networks

Yu. Vassilevski, S. Simakov, V. Salamatova, Yu. Ivanov, T. Dobroserdova (2011)

Mathematical Modelling of Natural Phenomena

There are two mathematical models of elastic walls of healthy and atherosclerotic blood vessels developed and studied. The models are included in a numerical model of global blood circulation via recovery of the vessel wall state equation. The joint model allows us to study the impact of arteries atherosclerotic disease of a set of arteries on regional haemodynamics.

Vibrations of a beam between obstacles. Convergence of a fully discretized approximation

Yves Dumont, Laetitia Paoli (2006)

ESAIM: Mathematical Modelling and Numerical Analysis

We consider mathematical models describing dynamics of an elastic beam which is clamped at its left end to a vibrating support and which can move freely at its right end between two rigid obstacles. We model the contact with Signorini's complementary conditions between the displacement and the shear stress. For this infinite dimensional contact problem, we propose a family of fully discretized approximations and their convergence is proved. Moreover some examples of implementation are presented....

Viscosity solutions methods for converse KAM theory

Diogo A. Gomes, Adam Oberman (2008)

ESAIM: Mathematical Modelling and Numerical Analysis

The main objective of this paper is to prove new necessary conditions to the existence of KAM tori. To do so, we develop a set of explicit a-priori estimates for smooth solutions of Hamilton-Jacobi equations, using a combination of methods from viscosity solutions, KAM and Aubry-Mather theories. These estimates are valid in any space dimension, and can be checked numerically to detect gaps between KAM tori and Aubry-Mather sets. We apply these results to detect non-integrable regions in several...

Viscous Shock Capturing in a Time-Explicit Discontinuous Galerkin Method

A. Klöckner, T. Warburton, J. S. Hesthaven (2011)

Mathematical Modelling of Natural Phenomena

We present a novel, cell-local shock detector for use with discontinuous Galerkin (DG) methods. The output of this detector is a reliably scaled, element-wise smoothness estimate which is suited as a control input to a shock capture mechanism. Using an artificial viscosity in the latter role, we obtain a DG scheme for the numerical solution of nonlinear systems of conservation laws. Building on work by Persson and Peraire, we thoroughly justify the...

Visualisation of the electromagnetic vector fields

Bartoň, Stanislav (2023)

Programs and Algorithms of Numerical Mathematics

Modern computer algebra software can be used to visualize vector fields. One of the most used is the Maple program. This program is used to visualize two and three-dimensional vector fields. The possibilities of plotting direction vectors, lines of force, equipotential curves and the method of colouring the surface area for two-dimensional cases are shown step by step. For three-dimensional arrays, these methods are applied to various slices of three-dimensional space, such as a plane or a cylindrical...

Vorticity dynamics and numerical resolution of Navier-Stokes equations

Matania Ben-Artzi, Dalia Fishelov, Shlomo Trachtenberg (2001)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

We present a new methodology for the numerical resolution of the hydrodynamics of incompressible viscid newtonian fluids. It is based on the Navier-Stokes equations and we refer to it as the vorticity projection method. The method is robust enough to handle complex and convoluted configurations typical to the motion of biological structures in viscous fluids. Although the method is applicable to three dimensions, we address here in detail only the two dimensional case. We provide numerical data...

Vorticity dynamics and numerical Resolution of Navier-Stokes Equations

Matania Ben-Artzi, Dalia Fishelov, Shlomo Trachtenberg (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

We present a new methodology for the numerical resolution of the hydrodynamics of incompressible viscid newtonian fluids. It is based on the Navier-Stokes equations and we refer to it as the vorticity projection method. The method is robust enough to handle complex and convoluted configurations typical to the motion of biological structures in viscous fluids. Although the method is applicable to three dimensions, we address here in detail only the two dimensional case. We provide numerical data...

Currently displaying 41 – 60 of 61