Programs Dept of Applied Math and Modelingsyllabus
Programs Dept of Applied Math and Modelingsyllabus
Programs Dept of Applied Math and Modelingsyllabus
51
Methods and techniques 106 73
Algorithmie+Unix+Outil du Calcul
Scientifique (Fortran90, 4 70 35 14 21
verification/validation de code)+git
optimisation continue 4 60 25 25 10
Probabilité+ Chaine de Markov+
6 100 46 34 20
simulaton aleatoire
Educational purpose:
· Functions of a complex variable, Fourier transforms, separation of
variables Laplace transforms (10 HCM, 10HTD)
· Vectorial calculus (Green and Ostrogradsky’s theorems) (5HCM,
5HTD)
· Theory of integration (Lebesgue measures, LP spaces, distributions
and basic properties , Sobolev spaces ) (15HCM -15HTD)
NUMERICAL ANALYSIS I
(35HCM, 25HTD, 10HTP, 4 ECTS)
COMPUTATIONAL TOOLS
(35HCM, 14HTD, 21HTP, 4 ECTS)
Educational purpose :
Mastery of basic of algorithmics,Unix command of version control
systems, imperative programming, code verification and validation
techniques
Prerequisite : Numerical analysis I
Content:
1. Algorithmic structures:identifiers arithmetic and boolean expressions,
statements: syntax and semantics,standard algorithmic constructions.
(6HCM+6HTD)
2. Unix: on line help, file system environment variable,files handling
commands makefile and shellscripts creation, . (3HCM/3HTP)
3. Version control systems:Introduction to GIT: create a repository
,commit sources,retrieve sources from a repository,create
development branches, go back to previous version. (2HCM/2HTP)
4. Finite arithmetics of computers and their consequences : computation
conditioning, backward or a posteriori analysis. (2HCM/2HTD)
5. Imperative programming: Fortran 90, Tables,complex data structures,
procedures and functions, recursion, dynamic allocation, module.
Implementation of numerical analysis methods I(CSR stocking,
iterative methods and Krylov’s method). Introduction to BLAS and
LAPACK scientific libraries . (16HCM/16HTP)
6. Code verification: software quality certification (static and dynamic
analysis, unit testing, consistency and convergence, formal and
observed accuracy order , manufactured solutions methods
.(4HCM/4HTD)
7. Code validation: good practices guide, entrained cavity
example(2HCM/2HTD)
Support software : Fortran90, BLAS, LAPACK, Maple
References:
R. Séroul: Programming for Mathematicians, springer 1995
M. Metcalf, J.Reid, M.Cohen: Fortran 95/2003 explained, Oxford
University press, 2007
P. Roache: Verification and Validation in Computational Science and
Engineering, Hermosa publishers, 1998
CONTINUOUS OPTIMIZATION
(25h CM, 25h TD, 10h TP ; 4 ECTS)
Educational purpose :
To recognize an optimization problem : to deal with the existence of
solutions to the problem and provide (an) approximate value(s) of the
solution(s) using appropriate numerical methods
Content :
Optimization without constraints and with equality or inequality
constraints . Extremum conditions.Solution of F(X)=0 using Newton and
quasi-Newton methods; application to optimization. Lagrange multipliers,
saddle point, duality.
Software support : Matlab.
Educational purpose
By the end of the course, students should be able to simulate random
variable distributions and will have put their knowledge of probability
theory into practice.
Prerequisite: Course in probability.
Content
Random variables simulation :inverse distribution function,
acceptance/rejection...
Monte Carlo methods ;
Hands-on exercises relating to the course in probability
Support software : R
References
Bouleau,N., Probabilités de l’Ingénieur, variables aléatoires et simulation,
Hermann, 2002. Devroye, L., Non-Uniform Random Variate Generation,
Springer, 1986.
Robert, C. et Casella, G., Monte Carlo StatisticalMethods, Springer-
Verlag, 2004.
MULTIPHYSICAL MODELING
(ELECTRO/THERMO/AUTOMATICS/FLUIDMECHNICS/ELASTICITY
(30 h CM, 30h TD, 4 ECTS)
Educational purpose:
1. Understanding the mathematical models of multiphysics systems, the
classification of variables and the relationships between them
2. Hamiltonian formulation of dynamic models of open physical systems
and of their properties.
3. Covariant formulation of conservation laws and spatial discretization
methods, while keeping their symplectic or Dirac structure .
4. Controllability and stabilization using Lyapounov’s methods
5. Simulation and control using softwares (Matlab®, Scilab® ...).
Prerequisite: Basic knowledge of differential and vector calculus ,
Fourier and Laplace transforms.
Content
The course consists of 4 parts.
· The first part deals with macroscopic multi-physics systems which
are governed by systems of conservation laws with source terms
(balance laws) .A structural classification of such systems is given
according to the nature of their variables (storage variables , fluxes,
driving forces, thermodynamic state variables) and of the
relationships between them.This structure will be highlighted by
different applications pertaining to heat, mass and momentum
transfer, to elastodynamics, fluid mechanics and electromagnetism.
·
· The second part addresses the Lagrangian and Hamiltonian
formulations of open multi-physics systems and of their
coupling.Finite and infinite dimensional port-Hamiltonian systems
with dissipation will be introduced as well as their interconnection
and the associated composition of Dirac structures.Properties of
such systems are discussed: dynamic invariants, dissipativity,...
·
· The third part discusses the properties of the systems of PDE’s
associated with the above models and introduces both the
differential forms and the covariant formulation of the conservation
laws. It also deals with ways to adapt finite element discretization
schemes and pseudo-spectral methods preserving the hamiltonian
structure of dynamical systems.
· The fourth part which is devoted to Continuous automatic control,
presents controlled systems and their structural properties, along
with feedback command and state variable feedback control.The
state approach issue is essentially dealt with, relying on a system
of 1rst order ODE’s, on the controllability and observability
properties and on the state variable control synthesis.Where non-
linear systems are concerned, control Lyapunov functions are
introduced since they are particularly suited to dissipative port-
Hamiltonian systems.
· References:
Software support : R
References
Silvermann, B.W., Density Estimation for Statistics and Data Analysis,
Chapman & Hall, 1998.
Tsybakov, A. B., Introduction à l’estimation non-paramétrique, Springer,
2004.
Efron B.& Tibshirani, R. J., An introduction to the bootstrap, 1994.
Van der Vaart, A.W. Asymptotic Statistics Cambridge university press,
1998.
Semester 7 nb of hours CM TD TP
STAGE S7
30 STAGE 1 Septembre 15 Janvier
Semester 8 CM TD TP HP
Scientific knowledge 26 14 20
Modelisation en statistique 4 60 26 14 20
SOFTWARE ENGINEERING
(28h CM, 4h TD, 28h TP ; 4 ECTS)
Educational purpose: To have a methodological tool available to
implement the object approach (UML2.1.1). To be able to implement the
concepts of object-oriented programming using the C++ language : to be
able to build a simple application and to contribute to a large and
complex one.Introduction of the object concept in scientific computation.
Prerequisite: Tools of scientific computing , Numerical analysisI.
Content:
°Management of a complex application code : object solution using UML
2.1.1 (4HCM,2HTD,2HTP) UML methodology concepts ( OMG norm
(Object Management Group)). Static views of a system:object, class,
component, deployment diagrams. Dynamic views of a system:
collaboration, sequence,state-transition, activity diagrams
o Object-oriented programming for scientific computing: (16HCM,
16HTP). Basics of POO: object, class, polymorphism, dynamic link,
C++ programming : class, operators, friendship concept, generic
programming : (template).Simple and multiple Inheritance . STL and
scientific libraries implementation (4HCM/6HTP).Structure of
advanced data for scientific computing : valarray, map, vector.
Introduction to the Template Numerical Toolkit library (lapack++,
IML++, SparseLib++, mv++.). Inclusion of new digital features into a
complex object-oriented code designed for scientific computing
(hydrology, process engineering,…).
°Development of human-machine interfaces (2HCM,2HTD, 2HTP). Use
of the Qt library and graphism .
o Code optimization, debugging tolls (2HCM, 2hTP)
Support softwares : Environnement Eclipse Environment,
OMONDO/BOUML, STL library, Boost library, GSL 1.9, Template
Numerical Toolkit, Java Sun et BEA Logic compilers.
Semester 7
Semester 8
STATISTICAL MODELING
(28 HCM, 14H TD, 18H TP, 4 ECTS)
BAYESIAN MODELS - 8h CM, 8h de TD/TP
Educational purpose
Students are expected to be able to implement a bayesian methodology
for standard modelings : from the choice of a prior probability distribution
to the construction of a confidence interval.Practical applications will be
run using the R software.
Prerequisite: Markov chains, Inferential statistics, Random simulation
Parts I et II.
Content
Markov chain Monte Carlo methods (MCMC);
Prior and posterior probability distributions (explicit or through MCMC) ;
Bayesian inference : bayesian risk, estimation,confidence tests and
intervals.
Support software : R
References
Robert, C. P., L’analyse bayésienne, Sringer, 1992.
Robert, Ch., Méthodes deMonte Carlo par chaînes deMarkov,
Economica, 1996.Gilks,W. R. & S. Richardson, & D. J. Spiegelhalter,
Markov chainMonte Carlo in practice, Chapman and Hall, 1996.
Semester 9 nb of hours CM TD TP HP
Scientific knowledge 45 45
Modelisation Mathématique-Galerkin
5 90 45 45
discontinu
Educational purpose:
To learn how to numerically approximate PDE problems (elliptic, linear
parabolic and hyperbolic) using the finite element method (FEM)
Application to structural and fluid mechanics: linear elasticity, Navier-
Stokes,..
Prerequisite: Numerical analysis I,Mathematical methods for engineers
Content:
Examples of elliptic,parabolic and hyperbolic problems. Variational
formulation of elliptic boundary value problems. Description of Sobolev
spaces. Lax-Milgram theorem.
Finite element approximation using the examples of diffusion, elasticity,
transmission, diffusion-convection problems… Finite element spaces:
examples of 1D, triangular, rectangular elements, and extension to 3D.
UNSTEADY PROBLEMS
(35hCM, 25hTD, 15hTP , 5 ECTS)
Educational purpose :To become conversant with computing
techniques, consistency and stability (dispersion/diffusion) analysis and
the conservation of schemes derived from a differential operator-based
theoretical approach. The discretization schemes used here are
essentially restricted to finite difference and volume methods.
Prerequisite : Mathematical methods for engineers I,Basic numerical
methods
Content :
a) Numerical schemes for evolution PDE’s of first and second order with
respect to time. Heat, advection-diffusion, Burgers’, wave and reaction-
diffusion equations. Finite difference schemes : stability analysis (von
Neumann’s and Fourier’s methods, energy method), dispersion and
diffusion analysis. Error and consistency order of finite difference
schemes. CFL condition. Upwind schemes.
b) Conservation laws, applications, difficulties, examples : advection,
Burgers’ and road traffic equations. Systems of conservative laws : wave,
Euler, d Navier-Stokes, and Saint-Venant equations. Standard solutions
and method of characteristics: linear and non-linear case. Limitations of
the method of characteristics which make it necessary to introduce the
more general concepts of weak and entropic solutions. Study of a
conservation law : differential and integral forms , weak solutions,
Rankine-Hugoniot relationships, entropy concept, entropy jump,
expansion waves.Riemann problem.
Solving Riemann problem for non linear laws of conservation.
Conservative scheme concept. Conservative methods for non-linear
problems : conservative methods, consistency,discrete conservation ,
Lax-Wendroff theorem,entropy condition. Godunov’s scheme. Non linear
stability :TVD and monotonic methods.
c)Upwind finite volume methods.
Approximate Riemann solvers : general theory. HLL and HLLC,
Rusanov, Roe, Osher, WAF Riemann solvers. Introduction of such
methods using a recent more comprehensive and cost-effective PVM
approach,.
High order methods and TVD schemes: reconstruction methods,
MUSCL approach, generalized Riemann problem, monotonic schemes
and precision, flux and slope limiters. Extension of TVD methods. Source
term associated problem. Well balanced schemes.
Support software : Matlab
References :
Semester 10 nb of hours CM TD TP
INTERNSHIP S10
30 End of program internship 15 Février 30 Septembre
Semester 9
MATHEMATICAL MODELING-DISCONTINUOUS GALERKIN
(45HCM ,45 HTP, 5 ECTS)
DISCONTINUOUS GALERKIN METHODS (CM 15, TP 15)
Educational purpose :
By the end of the course, students should be able to discretize PDE
systems using the discontinuous Galerkin method and should be
conversant with its properties, in particular from a numerical point of
view.
Prerequisite : Mathematical methods for engineers , Finite elements I
Content:Definition of the method’s specific functional framework .
Discontinuous variational formulations, broken Sobolev spaces,non-
compliant error analysis. Reminders on orthogonal polynomials(for
approximation spaces). DG methods for scalar and non-linear
conservation laws : weak formulation, well-posed problem, stability,
convergence, error computation, inf sup condition. RKD methods. How to
introduce diffusion operators in the DG methods(symmetric interior
penalty methods, ...). DG methods will be shown to be mixed methods
that are stabilized for diffusion problems. Numerical fluxes
approximation:centered and upwind schemes, examples and
applications.Use of non conforming meshes. Unsteady
problems.Application to Stokes, Navier-Stokes and Saint-Venant
equations.
References :
D.A. Di Pietro, A. Ern, Mathematical aspects of discontinuous Galerkin
methods, Springer, 2012.
B. Rivière, Discontinuous Galerkin methods for solving elliptic and
parabolic equations: Theory and implementation. SIAM, 2008
PROJECT
(15h CM, 15h TD, 50h HP)
Educational purpose
Implementation of the knowledge gained over the course of the program
by carrying out of a supervised long term project. Students are offered
optional further training in finance or control.
Semester 10