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 ph...

par Erwan Faou Quelques aspects géométriques en théorie des coques et en intégration numérique des systèmes hamiltoniens.

In this report, after pedagogical mathematical insight into basic notions of numerical analysis for di erential equations, more speci c Discontinuous Galerkin (DG) method is introduced. Afterwards, the DG method is combined with a fourth-order staggered Leap-Frog (LF4) scheme to be applied to the solution of the Maxwell equations wavepropagation problem. Stability analysis of the resulting sche...

Les argiles sont les roches sédimentaires les plus répandues dans l’environnement des hydrocarbures, et forment souvent la roche mère et la roche des pièges pétrolifères. En raison de la structure en plaques des grains, les argiles sont généralement anisotropes. Dans le présent article, nous calculons les formes d’onde sismiques pour des argiles fortement anisotropes en employant la théorie asy...

Résumé. Dans la première génération des bases de données, les optimiseurs étaient conçus pour optimiser des requêtes individuelles. Après identification des interactions entre les requêtes, des optimiseurs étaient proposés pour offrir une optimisation multiple. La difficulté de cette optimisation est l’identification des expressions communes entre les requêtes. Ce problème est connu comme NP-di...

dans une conception traditionnelle, l’intelligence est fixée et peut être mesurée par un nombre dans un contexte déconnecté de toute réalité et s’attribuer une forme unique. dans une vision nouvelle, en se basant sur la théorie des intelligences multiples de gardner, l’intelligence a  en revanche de différentes composantes et peut être développée  durant toute la vie. le présent article s’intro...

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...

The design of decision procedures for combinations of theories sharing some arithmetic fragment is a challenging problem in verification. One possible solution is to apply a combination method à la Nelson-Oppen, like the one developed by Ghilardi for unions of non-disjoint theories. We show how to apply this non-disjoint combination method with the theory of abelian groups as shared theory. We ...

Question 1 Détail des schémas. Schéma explicite : u k − uk ∆t = uk−1 − 2uk + uk+1 ∆x , en d’autres termes, en notant λ := ∆t/∆x, (1) u k = λu n k−1 + (1− 2λ)uk + λuk+1. (2) On sait d’après le cours que ce schéma est d’ordre 1 en temps et 2 en espace. Il est stable dans L sous condition CFL λ ≤ 1 2 . Schéma de Crank-Nicolson : u k − uk ∆t = 1 2 ( u k−1 − 2u n+1 k + u n+1 k+1 ∆x + uk−1 − 2uk + uk...

On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...