Projet : Recherche de source d onde gravitationnelle (analyse de données Metropolis Hastings Markov Chain) 1

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Projet : Recherche de source d onde gravitationnelle (analyse de données Metropolis Hastings Markov Chain) 1"

Transcription

1 Université Paris Diderot Physique L Simulations Numériques SN4 Projet : Recherche de source d onde gravitationnelle (analyse de données Metropolis Hastings Markov Chain) 1 Objectifs : Simuler le signal gravitationnel monochromatique correspondant à une binaire de naines blanches puis le cacher dans le bruit de l interféromètre spatial elisa. Rechercher dans ces données simulées la source avec une méthode Metropolis Hasting Markov Chain simplifiée et caractériser la précision sur les paramètres obtenus. Introduction Les ondes gravitationnelles sont des déformations de l espace-temps qui se propagent à travers l Univers. Prédite par la relativité générale, elles sont émises par une large gamme de sources astrophysiques et cosmologiques. Ces ondes induisent des phénomènes observables au niveau de la Terre dont l intensité est si faible que leur observation est extrêmement difficile. Néanmoins les performances technologiques actuelles permettent d envisager leur détection. Ainsi différents détecteurs terrestres commencent à être opérationnels dans le domaine des hautes fréquences. Pour accéder aux ondes à basse fréquence telles que celles émises par les binaires de trous noirs supermassifs (10 5 à 10 7 masses solaires), ou encore les binaires d objets compacts (naine blanche ou étoile à neutrons ; une masse solaire), il est nécessaire de disposer d un détecteur spatial : c est la mission Large L3 de l ESA, elisa (Laser Interferometer Space Antenna) qui sera lancer vers 2030 et qui ouvrira une nouvelle fenêtre sur l Univers. elisa est formé de trois satellites contenant des masses uniquement sensibles à la gravité et qui s échangent des faisceaux lasers afin de former un ou plusieurs interféromètres. Le triangle constitué par ces satellites distants d un million de kilomètres (L = 10 9 m) suit la Terre sur son orbite autour du Soleil. Modélisation du signal Une source binaire monochromatique est décrite par les 7 paramètres suivants : 1. Référent : mailto 1

2 θ [0, π] la colatitude de la source dans le ciel, λ [0, 2π] la longitude de la source dans le ciel, i [ π, π] l inclinaison du plan de l orbite, ψ [0, 2π] la polarisation (qui est en quelque sorte l orientation de l orbite), f la fréquence de l onde gravitationnelle qui est le double de la fréquence orbitale, φ 0 [0, 2π] la phase initiale, A l amplitude qui dépend des masses m 1 et m 2, de la distance de la source D et de la fréquence par la relation : A = 2 G m 1 m 2 (G(m 1 + m 2 )πf) 2/3 c 4 (1) m 1 + m 2 D L onde gravitationnelle émise est décrite par deux composantes qui varie temporellement : { h+ (t) = A(1 + cos 2 i) cos(4πft + φ 0 ) h (t) = 2A cos i sin(4πft + φ 0 ) Si on considère que la fréquence de la source est basse ( f < 10 mhz ) le signal en sortie du détecteur peut s approximer comme : X(t, θ, λ, i, ψ, φ 0, f, A) = 2 ω(f)l ( ) ω(f)l sin (3) c c [h +0 (A, i) (F + (t, θ, λ) cos(2ψ) F (t, θ, λ) sin(2ψ)) cos φ(t, f, θ, λ)(4) +h 0 (A, i) (F + (t, θ, φ) sin(2ψ) F (t, θ, λ) cos(2ψ)) sin φ(t, f, θ, λ)] (5) (2) avec : la pulsation ω = 2πft la phase : ( ) k. r0 (t, θ, λ) φ(t, f, θ, λ) = ω(f) t L + φ 0 (6) c c le produit scalaire entre la direction de propagation de la source k et le vecteur position du détecteur dans le système solaire r 0 : k. r0 (t, θ, λ) = R sin θ cos (Φ T (t) λ) (7) l angle annuelle : Φ T (t) = 2πt 1 an R la distance entre le Soleil et le centre du détecteur, égale à la distance Soleil-Terre ; les amplitudes : h +0 (A, i) = A(1 + cos 2 i) et h 0 (A, i) = 2A cos i (9) les fonctions de réponse du détecteur en fonction de la direction de la source pour les deux composantes de l onde gravitationnelle : F + (t, θ, λ) = 1 32 [6 sin 2θ (3 sin (Φ T (t) + λ) sin (3Φ T (t) λ)) 18 3 sin 2 θ sin 2Φ T (t) 3 ( 1 + cos 2 θ ) ] (sin (4Φ T (t) 2λ) + 9 sin (2λ)) (10) F (t, θ, λ) = 1 [ 3 cos θ (cos (4ΦT (t) 2λ) 9 cos (2λ)) sin θ (cos (3Φ T (t) λ) + 3 cos (Φ T (t) + λ))] (11) (8) 2

3 Méthode de recherche On considère des données temporelles x qui contiennent du bruit n et potentiellement un signal h true dont on ignore les paramètres µ true = [θ, λ, i, ψ, f, φ 0, A]. L objectif de l analyse de données est de trouver le jeu de paramètres µ best décrivant le signal h best s ajustant le mieux avec les données puis d évaluer avec quelle précision chaque paramètre est estimé. Pour cela, on va tester un grand nombre de jeu de paramètres µ en mesurant pour chacun la qualité de son ajustement aux données. Autrement dit, on veut évaluer la densité de probabilité (PDF - probability density function) a posteriori p( µ x) du signal h décrit par les paramètres µ sachant les données x. D après le théorème de Bayes, cette quantité est donnée par : p( µ d) = L(x µ)π( µ), (12) p(x) où π( µ) est notre connaissance a priori sur les paramètres µ, p(x) est la probabilité d avoir ces données (aussi appelée évidence) et L(x µ) est la vraisemblance des données x sachant le signal h décrit par les paramètres µ. Dans notre cas, le logarithme de la vraisemblance est : [ fmax ( x(f) ln L(x µ) = 2 R h(f, µ))( x(f) h(f, ] µ)) 2 t σn 2 df (13) f min où σ n est l écart-type du bruit qu on suppose blanc, c est-à-dire de distribution gaussienne, [f min, f max ] est l intervalle en fréquence contenant le signal h(f) et ỹ(f) est le transformée de Fourier (décomposition en fréquences) des données temporelles y(t). Les séries de données étant discrètes en temps, leur transformée de Fourrier seront discrètes en fréquence. Du fait de cette nature discrète, le logarithme de la vraisemblance correspond à la somme suivante : i fmax ln L(x µ) = 2 f R ( x i hi ( µ))( x i hi ( µ)) 2 t σ 2 (14) i n fmin Si on suppose π( µ) et p(x) constant, il est possible d évaluer la densité de probabilité qui nous intéresse, p( µ x), directement à partir du calcul de la vraisemblance (14) pour une liste, ou chaîne, de points µ déterminée en utilisant l algorithme Metropolis Hastings Markov Chain (MHMC). Cet algorithme itératif détermine si un nouveau point µ test est ajouté ou non à la chaîne sachant la position µ i du dernier point accepté et la vraisemblance de µ test et µ i. Plus précisément on choisit une variable aléatoire α entre 0 et 1. Si α < min(1, exp(ln L(x µ j ) ln L(x µ i ))) le point est accepté et on l ajoute alors à la chaîne, sinon il est rejeté et on ajoute une nouvelle fois à la chaîne le points µ i. Algorithme de recherche On suppose que les données x sont disponibles sous la forme d un tableau de points régulièrement échantillonné avec un pas de temps t, qu on dispose d une fonction qui permet de remplir le tableau de points h(t) à partir d un ensemble de 7 paramètres µ = [θ, λ, i, ψ, f, φ 0, A] et qu on connait l écarttype du bruit σ n et l intervalle fréquentielle [f min, f max ] qui contient le signal. 1. Créer un tableau contenant la transformée de Fourier x des données. Conseil : utiliser simplement la fonction numpy.fft.rfft() en multipliant le résultat par le pas de temps pour avoir une normalisation correcte. La fonction numpy.fft.fftfreq() permet de créer le tableau des fréquences correspondantes ce qui peut être utile pour calculer les indices ifmin et ifmax correspondant à f min et f max. 2. Choisir un point de départ µ 0 aléatoirement, c est-à-dire choisir une valeur pour chacun des 7 paramètres dans l intervalle des valeurs possibles. Ajouter ce point dans le tableau contenant la chaîne (qui est en fait une matrice 7 nombre de points dans la chaîne MHMC). 3

4 3. Faire la transformée de Fourrier h 0 du signal h Calculer le logarithme de la vraisemblance ln L 0 à partir de x, h 0 et σ n. 5. Choisir un nouveau point µ test à partir du dernier point de la chaîne µ i. 6. Calculer le signal temporel h correspondant aux paramètres µ i. 7. Faire la transformée de Fourrier h test du signal h test 8. Calculer le logarithme de la vraisemblance ln L test à partir de x, h test et σ n. 9. Tirer une variable aléatoire α. Si α < min(1, exp(ln L test ln L i ))), ajouter ce point dans le tableau de la chaîne. Sinon ajouter le point µ i dans le tableau de la chaîne. 10. Recommencer à l étape 5 tant que le nombre de point tester est inférieur au nombre de points désiré dans la chaîne moins 1 (pour tenir compte du point de départ). La densité de probabilité pour chacun des paramètres est donnée par l histogramme des valeurs correspondantes dans la chaîne. Cette densité de probabilité permet de caractériser la précision sur l estimation des paramètres. En particulier si la forme de la distribution est une gaussienne, l erreur sera donné par l écart-type de cette gaussienne. Travaux à effectuer Simulation de données Simuler des données contenant la même source dans différents niveaux de bruit. Pour commencer il est conseillé de fixer la fréquence à 1 mhz et l amplitude à Le bruit est un bruit blanc qui peut être généré avec la fonction numpy.random.randn(). Le signal sera pris sur une durée de 1 an avec un pas de temps de 100 secondes. Pour comparer le signal au données, on pourra superposer le signal (sans bruit) sur les données. Les équations étant assez longues et complexes, vous pourrez les tester sur le cas suivant : pour θ = 0.5 rad, λ = 1 rad, i = 0.2 rad, ψ = 0.8 rad, f = 10 3, φ 0 = 2 rad, A = , on trouve à t = 100s, h +0 = , h 0 = , Φ T = , k. r 0 /c = s, F + = , F = et X = Vraisemblance Implémenter le calcul du logarithme de la vraisemblance ln L. Calculer ln L true pour les vrais paramètres. Calculer ln L i pour d autres valeurs de paramètres et vérifier que ln L i ln L true lorsque le bruit est beaucoup plus faible que le signal. Recherche d un ou deux paramètre de la source : l inclinaison 1. Tirage aléatoire du nouveau point : Implémenter l algorithme MHMC. Pour choisir le nouveau point (étape 5), fixer tous les paramètres de la source aux vraies valeurs sauf l inclinaison qui sera choisi aléatoirement dans son intervalle de définition. Executer l algorithme de recherche MHMC sur itérations. Tracer l évolution de l inclinaison en fonction de l itération ainsi que l histogramme des valeurs de la chaîne. 2. Tirage gaussien du nouveau point : Faire la même chose que précédemment en tirant cette fois le nouveau point (étape 5) dans une gaussienne centrée sur la valeur du point précédent et d écart-type

5 Executer l algorithme de recherche MHMC sur itérations. Tracer l évolution de l inclinaison en fonction de l itération ainsi que l histogramme des valeurs de la chaîne. Comparer la vitesse de convergence avec le cas précédent. Recherche de la source 1. Implémenter le tirage gaussien pour l ensemble des paramètres 2. Faire une recherche sur l inclinaison et l orientation (les autres paramètres étant fixés à leur vraie valeur). Faire un histogramme à deux dimensions pour observer la corrélation. 3. Faire une recherche sur les deux paramètres donnant la position de la source dans le ciel et estimer la résolution angulaire de l instrument pour cette source. 4. Faire une recherche sur l ensemble des paramètres. 5. Si le temps le permet, contacter le référent pour l étude de cas plus réaliste. 5

Ondes gravitationnelles de basses fréquences et relativité

Ondes gravitationnelles de basses fréquences et relativité Ondes gravitationnelles de basses fréquences et relativité numérique Jérôme Novak LUTH : Laboratoire de l Univers et de ses THéories CNRS / Université Paris 7 / Observatoire de Paris F-92195 Meudon Cedex,

Plus en détail

Simulation d un système d assurance automobile

Simulation d un système d assurance automobile Simulation d un système d assurance automobile DESSOUT / PLESEL / DACHI Plan 1 Introduction... 2 Méthodes et outils utilisés... 2.1 Chaines de Markov... 2.2 Méthode de Monte Carlo... 2.3 Méthode de rejet...

Plus en détail

Méthodes de Monte-Carlo Simulation de grandeurs aléatoires

Méthodes de Monte-Carlo Simulation de grandeurs aléatoires Méthodes de Monte-Carlo Simulation de grandeurs aléatoires Master Modélisation et Simulation / ENSTA TD 1 2012-2013 Les méthodes dites de Monte-Carlo consistent en des simulations expérimentales de problèmes

Plus en détail

Détection de planètes extrasolaires : méthode des vitesses radiales

Détection de planètes extrasolaires : méthode des vitesses radiales Détection de planètes extrasolaires : méthode des vitesses radiales Cet exercice a été préparé à l origine par Roger Ferlet (Institut d astrophysique de Paris) et Michel et Suzanne Faye, qui l ont testé

Plus en détail

6.1 Méthode des champs de potentiel

6.1 Méthode des champs de potentiel Chapitre 6 Évitement d obstacles L évitement d obstacles est un comportement de base présent dans quasiment tous les robots mobiles. Il est indispensable pour permettre au robot de fonctionner dans un

Plus en détail

La Mesure du Temps. et Temps Solaire Moyen H m.

La Mesure du Temps. et Temps Solaire Moyen H m. La Mesure du Temps Unité de temps du Système International. C est la seconde, de symbole s. Sa définition actuelle a été établie en 1967 par la 13 ème Conférence des Poids et Mesures : la seconde est la

Plus en détail

BTS Groupement A. Mathématiques Session 2011. Spécialités CIRA, IRIS, Systèmes électroniques, TPIL

BTS Groupement A. Mathématiques Session 2011. Spécialités CIRA, IRIS, Systèmes électroniques, TPIL BTS Groupement A Mathématiques Session 11 Exercice 1 : 1 points Spécialités CIRA, IRIS, Systèmes électroniques, TPIL On considère un circuit composé d une résistance et d un condensateur représenté par

Plus en détail

DURÉE DU JOUR EN FONCTION DE LA DATE ET DE LA LATITUDE

DURÉE DU JOUR EN FONCTION DE LA DATE ET DE LA LATITUDE DURÉE DU JUR E FCTI DE LA DATE ET DE LA LATITUDE ous allons nous intéresser à la durée du jour, prise ici dans le sens de période d éclairement par le Soleil dans une journée de 4 h, en un lieu donné de

Plus en détail

Optimisation de trajectoire pour une mission Ariane 5

Optimisation de trajectoire pour une mission Ariane 5 Optimisation de trajectoire pour une mission Ariane 5 Ludovic Goudenège (sur la base d un projet de Pierre Martinon) ENSTA - Module IN103 Septembre 2012 Plan 1 Quelques données et chiffres 2 Dynamique

Plus en détail

Département de physique

Département de physique Département de physique Etude de la densité spectrale de puissance du bruit thermique dans une résistance Travail expérimental et rédaction du document : Jean-Baptiste Desmoulins (P.R.A.G.) mail : desmouli@physique.ens-cachan.fr

Plus en détail

Oscillations libres des systèmes à deux degrés de liberté

Oscillations libres des systèmes à deux degrés de liberté Chapitre 4 Oscillations libres des systèmes à deux degrés de liberté 4.1 Introduction Les systèmes qui nécessitent deux coordonnées indépendantes pour spécifier leurs positions sont appelés systèmes à

Plus en détail

Projet de Traitement du Signal Segmentation d images SAR

Projet de Traitement du Signal Segmentation d images SAR Projet de Traitement du Signal Segmentation d images SAR Introduction En analyse d images, la segmentation est une étape essentielle, préliminaire à des traitements de haut niveau tels que la classification,

Plus en détail

Corrigé du baccalauréat STI 2D/STL spécialité SPCL Métropole La Réunion 18 juin 2015

Corrigé du baccalauréat STI 2D/STL spécialité SPCL Métropole La Réunion 18 juin 2015 Durée : 4 heures Corrigé du baccalauréat STI 2D/STL spécialité SPCL Métropole La Réunion 18 juin 15 EXERCICE 1 4 points Cet exercice est un questionnaire à choix multiples. Pour chacune des questions suivantes,

Plus en détail

TROISIÈME LOI DE KÉPLER : VÉRIFICATIONS ET APPLICATIONS DANS LE SYSTÈME SOLAIRE

TROISIÈME LOI DE KÉPLER : VÉRIFICATIONS ET APPLICATIONS DANS LE SYSTÈME SOLAIRE Gabriel Scherer TS3 TROISIÈME LOI DE KÉPLER : VÉRIFICATIONS ET APPLICATIONS DANS LE SYSTÈME SOLAIRE TPP4.odt 1/6 Rappels : 1 U.A. = 1,497.10 11 m Constante de gravitation universelle G = 6,67.10 11 u.s.i.

Plus en détail

5 Méthodes algorithmiques

5 Méthodes algorithmiques Cours 5 5 Méthodes algorithmiques Le calcul effectif des lois a posteriori peut s avérer extrêmement difficile. En particulier, la prédictive nécessite des calculs d intégrales parfois multiples qui peuvent

Plus en détail

NOTE SUR LA MODELISATION DU RISQUE D INFLATION

NOTE SUR LA MODELISATION DU RISQUE D INFLATION NOTE SUR LA MODELISATION DU RISQUE D INFLATION 1/ RESUME DE L ANALYSE Cette étude a pour objectif de modéliser l écart entre deux indices d inflation afin d appréhender le risque à très long terme qui

Plus en détail

Analyse d images introduction

Analyse d images introduction L3, option Image Analyse d images introduction http ://perception.inrialpes.fr/people/boyer/teaching/l3/ Elise Arnaud - Edmond Boyer Université Joseph Fourier / INRIA Rhône-Alpes elise.arnaud@inrialpes.fr

Plus en détail

Baccalauréat ES Centres étrangers 12 juin 2014 - Corrigé

Baccalauréat ES Centres étrangers 12 juin 2014 - Corrigé Baccalauréat ES Centres étrangers 1 juin 14 - Corrigé A. P. M. E. P. Exercice 1 5 points Commun à tous les candidats 1. On prend un candidat au hasard et on note : l évènement «le candidat a un dossier

Plus en détail

TP 03 B : Mesure d une vitesse par effet Doppler

TP 03 B : Mesure d une vitesse par effet Doppler TP 03 B : Mesure d une vitesse par effet Doppler Compétences exigibles : - Mettre en œuvre une démarche expérimentale pour mesurer une vitesse en utilisant l effet Doppler. - Exploiter l expression du

Plus en détail

Simulation de variables aléatoires

Simulation de variables aléatoires Simulation de variables aléatoires S. Robin INA PG, Biométrie Décembre 1997 Table des matières 1 Introduction Variables aléatoires discrètes 3.1 Pile ou face................................... 3. Loi de

Plus en détail

MCMC et approximations en champ moyen pour les modèles de Markov

MCMC et approximations en champ moyen pour les modèles de Markov MCMC et approximations en champ moyen pour les modèles de Markov Gersende FORT LTCI CNRS - TELECOM ParisTech En collaboration avec Florence FORBES (Projet MISTIS, INRIA Rhône-Alpes). Basé sur l article:

Plus en détail

Introduction aux vibrations

Introduction aux vibrations Introduction aux vibrations Human Induced Vibration of Steel Structures 11/4/28 RFS2-CT-27-33 Vue d ensemble Vue d ensemble Les bases Equation du mouvement Fréquence propre Masse modale Amortissement Vibrations

Plus en détail

Informatique visuelle - Vision par ordinateur. Pré-traitement d images

Informatique visuelle - Vision par ordinateur. Pré-traitement d images Informatique visuelle - Vision par ordinateur Pré-traitement d images Elise Arnaud elise.arnaud@imag.fr cours inspiré par X. Descombes, J. Ros, A. Boucher, A. Manzanera, E. Boyer, M Black, V. Gouet-Brunet

Plus en détail

O 2 Formation d images par un système optique.

O 2 Formation d images par un système optique. par un système optique. PCS 2015 2016 Définitions Système optique : un système optique est formé par une succession de milieux homogènes, transparents et isotropes (MHT) séparés par des dioptres (et /

Plus en détail

TP fibres optiques. Laser, Matériaux, Milieux Biologiques. Sécurité laser. Précautions à prendre

TP fibres optiques. Laser, Matériaux, Milieux Biologiques. Sécurité laser. Précautions à prendre TP fibres optiques Laser, Matériaux, Milieux Biologiques Sécurité laser ATTENTION : la diode laser à 810 nm est puissante (50 mw). Pour des raisons de sécurité et de sauvegarde de la santé des yeux, vous

Plus en détail

SPACE SHUTTLE SIMULATOR DEROULEMENT DU JEU

SPACE SHUTTLE SIMULATOR DEROULEMENT DU JEU SPACE SHUTTLE SIMULATOR Notice d utilisation Le compte à rebours va commencer, vous êtes aux commandes de la navette spatiale. Votre mission consiste à retrouver et à ramener sur Terre le satellite LCR

Plus en détail

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e

Plus en détail

1 Générateurs à Congruences Linéaires (GCL)

1 Générateurs à Congruences Linéaires (GCL) TP 4 : Générateurs pseudo-aléatoires et applications Un générateur de nombres pseudo-aléatoires, pseudorandom number generator (PRNG) en anglais, est un algorithme qui génère une séquence de nombres présentant

Plus en détail

Sujet Centrale 2012 Physique Option MP

Sujet Centrale 2012 Physique Option MP I Le Satellite Jason 2 IA1) IA - Etude l orbite Sujet Centrale 2012 Physique Option MP Cf cours : IA2) a) Le référentiel géocentrique est le référentiel de centre Terre en translation par rapport au référentiel

Plus en détail

11. Tests d hypothèses (partie 1/2)

11. Tests d hypothèses (partie 1/2) 11. Tests d hypothèses (partie 1/2) MTH2302D S. Le Digabel, École Polytechnique de Montréal H2015 (v1) MTH2302D: tests d hypothèses 1/30 Plan 1. Introduction 2. Hypothèses et erreurs 3. Tests d hypothèses

Plus en détail

TP Méthodes Numériques

TP Méthodes Numériques ENSIMAG 1ère année, 2007-2008 TP Méthodes Numériques Objectifs Les objectifs de ce TP sont : de revenir sur les méthodes de résolution des équations différentielles vues en cours de MN ; d utiliser un

Plus en détail

Correction de l exercice 2 du cours Gestion de patrimoine : «Analyse d un produit structuré à capital garanti»

Correction de l exercice 2 du cours Gestion de patrimoine : «Analyse d un produit structuré à capital garanti» Correction de l exercice 2 du cours Gestion de patrimoine : «Analyse d un produit structuré à capital garanti» Question 1 : représenter graphiquement le taux de rentabilité du produit à capital garanti

Plus en détail

TD 9 Problème à deux corps

TD 9 Problème à deux corps PH1ME2-C Université Paris 7 - Denis Diderot 2012-2013 TD 9 Problème à deux corps 1. Systèmes de deux particules : centre de masse et particule relative. Application à l étude des étoiles doubles Une étoile

Plus en détail

Signal et propagation

Signal et propagation SP1 Signal et propagation Exercice 1 Communication à distance Identifier des types de signaux et les grandeurs physiques correspondantes Déterminer comment changer la nature d un signal On considère deux

Plus en détail

Les fonctions sinus et cosinus

Les fonctions sinus et cosinus DERNIÈRE IMPRESSION LE 6 juin 03 à 5:06 Les fonctions sinus et cosinus Table des matières Rappels. Mesure principale.............................. Résolution d équations...........................3 Signe

Plus en détail

Electrocinétique et magnétostatique

Electrocinétique et magnétostatique Chapitre 3 Electrocinétique et magnétostatique 3.1 Electrocinétique - Vecteur densité de courant Un courant électrique correspond à des charges électriques mobiles. On appelle vecteur densité de courant

Plus en détail

Master IAD Module PS. Reconnaissance de la parole (suite) Modèles de Markov et bases de données. Gaël RICHARD Février 2008

Master IAD Module PS. Reconnaissance de la parole (suite) Modèles de Markov et bases de données. Gaël RICHARD Février 2008 Master IAD Module PS Reconnaissance de la parole (suite) Modèles de Markov et bases de données Gaël RICHARD Février 2008 1 Reconnaissance de la parole Introduction Approches pour la reconnaissance vocale

Plus en détail

Séries de Fourier. T f (x) exp 2iπn x T dx, n Z. T/2 f (x) cos ( ) f (x) dx a n (f) = 2 T. f (x) cos 2πn x )

Séries de Fourier. T f (x) exp 2iπn x T dx, n Z. T/2 f (x) cos ( ) f (x) dx a n (f) = 2 T. f (x) cos 2πn x ) Séries de Fourier Les séries de Fourier constituent un outil fondamental de la théorie du signal. Il donne lieu à des prolongements et des extensions nombreux. Les séries de Fourier permettent à la fois

Plus en détail

Courant électrique et distributions de courants

Courant électrique et distributions de courants Cours d électromagnétisme Courant électrique et distributions de courants 1 Courant électrique 1.1 Définition du courant électrique On appelle courant électrique tout mouvement d ensemble des particules

Plus en détail

1 Introduction. CIRCUITS RLC À COURANT ALTERNATIF

1 Introduction. CIRCUITS RLC À COURANT ALTERNATIF PHYSQ 126: Circuits RLC 1 CIRCUITS RLC À COURANT ALTERNATIF 1 Introduction. Le but de cette expérience est d introduire le concept de courant alternatif (en anglais, Alternating Current ou AC) et d étudier

Plus en détail

Prospection Géophysique : Méthode Electromagnétique

Prospection Géophysique : Méthode Electromagnétique Prospection Géophysique : Méthode Electromagnétique Romain Brossier romain.brossier@ujf-grenoble.fr ISTerre, Université Joseph Fourier Grenoble L3P PPRS 2013-2014 R. Brossier (ISTerre, UJF) Méthode EM

Plus en détail

Examen 2 labview 2009-2010

Examen 2 labview 2009-2010 Examen labview 009-010 Nicolas POUSSET Tous documents autorisés Conception 1 : Programme permettant d effectuer des simulations Monte Carlo 1 - Introduction La méthode Monte Carlo est une technique de

Plus en détail

Ch. 2 : Emetteur en Bande de Base

Ch. 2 : Emetteur en Bande de Base Ch. 2 : Emetteur en Bande de Base 1 1) Les codes en ligne 1-1) Principe des codes en ligne Codes en ligne binaire On suppose que le message numérique est constitué d une suite d éléments binaires α k,

Plus en détail

Utilisation de python pour le calcul numérique

Utilisation de python pour le calcul numérique Utilisation de python pour le calcul numérique Résumé L objectif de ce TP est de découvrir quelques possibilités de python pour le calcul numérique. Il pourra également vous servir de référence si vous

Plus en détail

ECHANTILLONNAGES Fiche de repérage

ECHANTILLONNAGES Fiche de repérage M Objectifs pédagogiques généraux : Fiche de repérage Type : Activité d approche de la notion de fluctuation d échantillonnage et d intervalle de confiance à travers quelques simulations. Niveau : Lycée

Plus en détail

Quelques points de traitement du signal

Quelques points de traitement du signal Quelques points de traitement du signal Introduction: de la mesure au traitement Source(s) BRUIT BRUIT Système d acquisition Amplitude (Pa) Temps (s) Amplitude (Pa) Mesure Opérations mathématiques appliquées

Plus en détail

TP N 57. Déploiement et renouvellement d une constellation de satellites

TP N 57. Déploiement et renouvellement d une constellation de satellites TP N 57 Déploiement et renouvellement d une constellation de satellites L objet de ce TP est d optimiser la stratégie de déploiement et de renouvellement d une constellation de satellites ainsi que les

Plus en détail

Loi binomiale Lois normales

Loi binomiale Lois normales Loi binomiale Lois normales Christophe ROSSIGNOL Année scolaire 204/205 Table des matières Rappels sur la loi binomiale 2. Loi de Bernoulli............................................ 2.2 Schéma de Bernoulli

Plus en détail

Baccalauréat STI 2D/STL spécialité SPCL Métropole La Réunion 18 juin 2015

Baccalauréat STI 2D/STL spécialité SPCL Métropole La Réunion 18 juin 2015 Durée : 4 heures Baccalauréat STI 2D/STL spécialité SPCL Métropole La Réunion 18 juin 2015 EXERCICE 1 4 points Cet exercice est un questionnaire à choix multiples. Pour chacune des questions suivantes,

Plus en détail

Soutien illimité 7j/7 en maths: Coach, profs, exercices & annales, cours. Sujet de Bac 2013 Maths S Obligatoire & Spécialité - Liban

Soutien illimité 7j/7 en maths: Coach, profs, exercices & annales, cours. Sujet de Bac 2013 Maths S Obligatoire & Spécialité - Liban Sujet de Bac 2013 Maths S Obligatoire & Spécialité - Liban EXERCICE 1 : 4 Points Cet exercice est un questionnaire à choix multiples. Aucune justification n est demandée. Pour chacune des questions, une

Plus en détail

CR Mesures durant Eclipse de lune du 3 au 4 Mars 2007 maj 06/03/07

CR Mesures durant Eclipse de lune du 3 au 4 Mars 2007 maj 06/03/07 CR Mesures durant Eclipse de lune du 3 au 4 Mars 2007 maj 06/03/07 La station de mesure F6KSX Calibration sur soleil Les mesures Données brutes principe de traitement Variation de la température de brillance

Plus en détail

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Modèles à Événements Discrets. Réseaux de Petri Stochastiques Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés

Plus en détail

Système des satellites de Jupiter sous Géogébra Partie II - vu de la Terre

Système des satellites de Jupiter sous Géogébra Partie II - vu de la Terre ystème des satellites de upiter sous Géogébra Partie II - vu de la Terre Les satellites de upiter représentent une très bonne illustration d un système képlérien simple si l on ne prend pas en compte les

Plus en détail

Master IAD Module PS. Reconnaissance de la parole (suite): Paramétrisation. Gaël RICHARD Février 2008

Master IAD Module PS. Reconnaissance de la parole (suite): Paramétrisation. Gaël RICHARD Février 2008 Master IAD Module PS Reconnaissance de la parole (suite): Paramétrisation Gaël RICHARD Février 2008 1 Reconnaissance de la parole Introduction Approches pour la reconnaissance vocale Paramétrisation Distances

Plus en détail

Ch. 1 : Bases de programmation en Visual Basic

Ch. 1 : Bases de programmation en Visual Basic Ch. 1 : Bases de programmation en Visual Basic 1 1 Variables 1.1 Définition Les variables permettent de stocker en mémoire des données. Elles sont représentées par des lettres ou des groupements de lettres

Plus en détail

Analyse stochastique de la CRM à ordre partiel dans le cadre des essais cliniques de phase I

Analyse stochastique de la CRM à ordre partiel dans le cadre des essais cliniques de phase I Analyse stochastique de la CRM à ordre partiel dans le cadre des essais cliniques de phase I Roxane Duroux 1 Cadre de l étude Cette étude s inscrit dans le cadre de recherche de doses pour des essais cliniques

Plus en détail

6GEI500 Signaux et systèmes. Laboratoire #2

6GEI500 Signaux et systèmes. Laboratoire #2 6GEI500 Signaux et systèmes Laboratoire #2 Analyse en fréquences avec MATLAB Automne 2009. Objectifs Se familiariser avec l analyse en fréquences avec MATLAB Explorer le phénomène de Gibbs Faire une analyse

Plus en détail

Théorie du chaos multiplicatif et application à l étude de la mesure MRM lognormale. 15 novembre 2010

Théorie du chaos multiplicatif et application à l étude de la mesure MRM lognormale. 15 novembre 2010 Théorie du chaos multiplicatif et application à l étude de la mesure MRM lognormale 15 novembre 2010 Table des matières 1 Rappel sur les Processus Gaussiens 2 Théorie du chaos multiplicatif gaussien de

Plus en détail

Calcul de la distance de la Lune par parallaxe

Calcul de la distance de la Lune par parallaxe Calcul de la distance de la Lune par parallaxe La Lune au 5 ème jour Sommaire Feuille de route p.3 I) Introduction 1) La Lune dans l Histoire p.4 2) Parallaxe de la Lune p.4 II) Expérience 1) Mise en situation

Plus en détail

INTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE

INTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE INTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE Le schéma synoptique ci-dessous décrit les différentes étapes du traitement numérique

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)

Plus en détail

UNIVERSITÉ PARIS OUEST NANTERRE LA DÉFENSE U.F.R. SEGMI Année universitaire 2014 2015 Cours de B. Desgraupes. Simulation Stochastique

UNIVERSITÉ PARIS OUEST NANTERRE LA DÉFENSE U.F.R. SEGMI Année universitaire 2014 2015 Cours de B. Desgraupes. Simulation Stochastique UNIVERSITÉ PARIS OUEST NANTERRE LA DÉFENSE U.F.R. SEGMI Année universitaire 2014 2015 L2 MIASHS Cours de B. Desgraupes Simulation Stochastique Séance 04: Nombres pseudo-aléatoires Table des matières 1

Plus en détail

Probabilités 5. Simulation de variables aléatoires

Probabilités 5. Simulation de variables aléatoires Probabilités 5. Simulation de variables aléatoires Céline Lacaux École des Mines de Nancy IECL 27 avril 2015 1 / 25 Plan 1 Méthodes de Monte-Carlo 2 3 4 2 / 25 Estimation d intégrales Fiabilité d un système

Plus en détail

I - Quelques propriétés des étoiles à neutrons

I - Quelques propriétés des étoiles à neutrons Formation Interuniversitaire de Physique Option de L3 Ecole Normale Supérieure de Paris Astrophysique Patrick Hennebelle François Levrier Sixième TD 14 avril 2015 Les étoiles dont la masse initiale est

Plus en détail

Corrigés de la séance 5 Chap 5 et 7: Gravitation et frottements

Corrigés de la séance 5 Chap 5 et 7: Gravitation et frottements Corrigés de la séance 5 Chap 5 et 7: Gravitation et frottements Questions pour réfléchir Q4. p.262. Jupiter a une masse 318 fois plus grande que celle de la Terre. Pourtant, l accélération de la pesanteur

Plus en détail

Résolution d équations non linéaires

Résolution d équations non linéaires Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique

Plus en détail

Détection en environnement non-gaussien Cas du fouillis de mer et extension aux milieux

Détection en environnement non-gaussien Cas du fouillis de mer et extension aux milieux Détection en environnement non-gaussien Cas du fouillis de mer et extension aux milieux hétérogènes Laurent Déjean Thales Airborne Systems/ENST-Bretagne Le 20 novembre 2006 Laurent Déjean Détection en

Plus en détail

DEFINITION et PROPRIETES des PRINCIPALES LOIS de PROBABILITES

DEFINITION et PROPRIETES des PRINCIPALES LOIS de PROBABILITES Université Paris1, Licence 00-003, Mme Pradel : Principales lois de Probabilité 1 DEFINITION et PROPRIETES des PRINCIPALES LOIS de PROBABILITES Notations Si la variable aléatoire X suit la loi L, onnoterax

Plus en détail

L analyse d images regroupe plusieurs disciplines que l on classe en deux catégories :

L analyse d images regroupe plusieurs disciplines que l on classe en deux catégories : La vision nous permet de percevoir et d interpreter le monde qui nous entoure. La vision artificielle a pour but de reproduire certaines fonctionnalités de la vision humaine au travers de l analyse d images.

Plus en détail

Sur les vols en formation.

Sur les vols en formation. Sur les vols en formation. Grasse, 8 Février 2006 Plan de l exposé 1. Missions en cours et prévues 2. Le problème du mouvement relatif 2.1 Positionnement du problème 2.2 Les équations de Hill 2.2 Les changements

Plus en détail

CST-RT021-part 3:2013

CST-RT021-part 3:2013 CST-RT021-part 3:2013 Annexe sur les transformations couleur Groupe de travail CST-RT-021-MFFW Nom Version Auteur Date de publication CST-RT021-part3:2013 1 François Helt 24 mars 2014 CST-RT021-MFFW 1.1

Plus en détail

Introduction aux Méthodes de Monte Carlo

Introduction aux Méthodes de Monte Carlo Méthodes de Monte Carlo pour la Modélisation et le Calcul Intensif Applications à la Physique Numérique et à la Biologie Séminaire CIMENT GRID Introduction aux Méthodes de Monte Carlo Olivier François

Plus en détail

9. Distributions d échantillonnage

9. Distributions d échantillonnage 9. Distributions d échantillonnage MTH2302D S. Le Digabel, École Polytechnique de Montréal H2015 (v3) MTH2302D: distributions d échantillonnage 1/46 Plan 1. Échantillons aléatoires 2. Statistiques et distributions

Plus en détail

Exercices de simulation 1

Exercices de simulation 1 Licence MIA 2ème année Année universitaire 2009-2010 Simulation stochastique C. Léonard Exercices de simulation 1 Les simulations qui suivent sont à effectuer avec Scilab. Le générateur aléatoire de Scilab.

Plus en détail

Préparation à l agrégation de physique 2005-2006. Utilisation du logiciel IGOR Pro: représentation, acquisition et analyse de données

Préparation à l agrégation de physique 2005-2006. Utilisation du logiciel IGOR Pro: représentation, acquisition et analyse de données Préparation à l agrégation de physique 2005-2006 Utilisation du logiciel IGOR Pro: représentation, acquisition et analyse de données Pourquoi le logiciel IGOR Pro? Un grapheur scientifique comme de nombreux

Plus en détail

Utiliser les propriétés Savoir réduire un radical savoir +,-,x,: Utiliser les propriétés des puissances Calculer avec des puissances

Utiliser les propriétés Savoir réduire un radical savoir +,-,x,: Utiliser les propriétés des puissances Calculer avec des puissances ARITHMETIQUE 1 C B A Numération Ecrire en lettres et en chiffres Poser des questions fermées autour d un document simple (message, consigne, planning ) Connaître le système décimal Déterminer la position

Plus en détail

Effet d une onde électromagnétique sur un atome à deux niveaux

Effet d une onde électromagnétique sur un atome à deux niveaux Université Pierre et Marie Curie Master de sciences et technologie Interaction matière-rayonnement Effet d une onde électromagnétique sur un atome à deux niveaux Introduction On considère un système atomique

Plus en détail

CONCOURS D'ELEVE INGENIEUR STATISTICIEN ECONOMISTE OPTIONS MATHEMATIQUES ET ECONOMIE. Les candidats traiteront l'un des trois sujets au choix.

CONCOURS D'ELEVE INGENIEUR STATISTICIEN ECONOMISTE OPTIONS MATHEMATIQUES ET ECONOMIE. Les candidats traiteront l'un des trois sujets au choix. ECOLE NATIONALE SUPERIEURE DE STATISTIQUE ET D'ECONOMIE APPLIQUEE ABIDJAN 1 AVRIL 21 CONCOURS D'ELEVE INGENIEUR STATISTICIEN ECONOMISTE OPTIONS MATHEMATIQUES ET ECONOMIE EPREUVE D'ORDRE GENERAL DUREE :

Plus en détail

COMMENT OBTENIR UN SPECTRE SATISFAISANT D UN SIGNAL ENREGISTRE PAR ORDINATEUR?

COMMENT OBTENIR UN SPECTRE SATISFAISANT D UN SIGNAL ENREGISTRE PAR ORDINATEUR? NOM: Coéquipier : COMMENT OBTENIR UN SPECTRE SATISFAISANT D UN SIGNAL ENREGISTRE PAR ORDINATEUR? Soit une fonction G(t) périodique, de fréquence f. D'après Fourier, cette fonction peut se décomposer en

Plus en détail

Université René Descartes Faculté de Pharmacie - Master Professionnel Dimension Économique des Produits de Santé 14 décembre 2005

Université René Descartes Faculté de Pharmacie - Master Professionnel Dimension Économique des Produits de Santé 14 décembre 2005 Université René Descartes Faculté de Pharmacie - Master Professionnel Dimension Économique des Produits de Santé 14 décembre 2005 Prise en Compte de l Incertitude dans l Évaluation des Technologies de

Plus en détail

Traitement des Signaux Aléatoires

Traitement des Signaux Aléatoires Université Paris Diderot Physique PMA M1 et M1 EIDD 2011-2012 Traitement des Signaux Aléatoires TP 1 Introduction L objectif de cette séance est de prendre en main le logiciel MATLAB. Les notions traitées

Plus en détail

SPLEX Statistiques pour la classification et fouille de données en

SPLEX Statistiques pour la classification et fouille de données en SPLEX Statistiques pour la classification et fouille de données en génomique Classification Linéaire Binaire CLB Pierre-Henri WUILLEMIN DEcision, Système Intelligent et Recherche opérationnelle LIP6 pierre-henri.wuillemin@lip6.fr

Plus en détail

Analyse d images. L analyse d images regroupe plusieurs disciplines que l on classe en deux catégories :

Analyse d images. L analyse d images regroupe plusieurs disciplines que l on classe en deux catégories : Analyse d images La vision nous permet de percevoir et d interpreter le monde qui nous entoure. La vision artificielle a pour but de reproduire certaines fonctionnalités de la vision humaine au travers

Plus en détail

Comment mesure-t-on la masse des planètes?

Comment mesure-t-on la masse des planètes? Comment mesure-t-on la masse des planètes? Evidemment, les planètes ne sont pas mises sur une balance. Ce sont les mathématiques et les lois physiques qui nous permettent de connaître leur masse. Encore

Plus en détail

MNF Programmes Scilab

MNF Programmes Scilab Université de Rouen M2 AIMAF Année 212-213 MNF Programmes cilab 1. CHANGEMENT DE ARIABLE (COMPLIQUÉ) oici tout d abord les programmes cilab équation de la chaleur, schéma explicite équation de la chaleur,

Plus en détail

Annexe commune aux séries ES, L et S : boîtes et quantiles

Annexe commune aux séries ES, L et S : boîtes et quantiles Annexe commune aux séries ES, L et S : boîtes et quantiles Quantiles En statistique, pour toute série numérique de données à valeurs dans un intervalle I, on définit la fonction quantile Q, de [,1] dans

Plus en détail

Exercices. Sirius 1 ère S - Livre du professeur Chapitre 15. Champs et forces. Exercices d application. 5 minutes chrono!

Exercices. Sirius 1 ère S - Livre du professeur Chapitre 15. Champs et forces. Exercices d application. 5 minutes chrono! Exercices Exercices d application 5 minutes chrono 1. Mots manquants a. scalaire b. aimants/courants c. aiguille aimantée d. électrostatique. e. uniforme/ parallèles. f. la verticale/la Terre g. gravitation/la

Plus en détail

Galiléo. Galiléo : le système européen de positionnement par satellite

Galiléo. Galiléo : le système européen de positionnement par satellite Galiléo Voici quelques informations sur une situation concrète où le caractère relatif du temps est à prendre en compte. Plutôt que sur le système américain GPS, pourquoi ne pas travailler autour du système

Plus en détail

Corrigé du baccalauréat ES Antilles Guyane 24 juin 2015

Corrigé du baccalauréat ES Antilles Guyane 24 juin 2015 Corrigé du baccalauréat ES Antilles Guyane 2 juin 2015 EXERCICE 1 Commun à tous les candidats Aucune justification n était demandée dans cet exercice. 1. La fonction f définie sur R par f (x)= x 3 + 6x

Plus en détail

Introduction à la programmation sous Scilab : TP auto-correctifs II

Introduction à la programmation sous Scilab : TP auto-correctifs II Introduction à la programmation sous Scilab : TP auto-correctifs II Licence de Physique à distance Table des matières I Vecteurs et matrices (II) 1 a) Vecteurs........................................ 1

Plus en détail

Distance et classification. Cours 4: Traitement du signal et reconnaissance de forme

Distance et classification. Cours 4: Traitement du signal et reconnaissance de forme Distance et classification Cours 4: Traitement du signal et reconnaissance de forme Plan Introduction Pré-traitement Segmentation d images Morphologie mathématique Extraction de caractéristiques Classification

Plus en détail

Logiciel de calcul des paramètres astronomiques à l usage des installations solaires

Logiciel de calcul des paramètres astronomiques à l usage des installations solaires Revue des Energies Renouvelables ICRESD-07 Tlemcen (2007) 343 348 Logiciel de calcul des paramètres astronomiques à l usage des installations solaires R. Yaiche * Centre de Développement des Energies renouvelables

Plus en détail

TP 7 : oscillateur de torsion

TP 7 : oscillateur de torsion TP 7 : oscillateur de torsion Objectif : étude des oscillations libres et forcées d un pendule de torsion 1 Principe général 1.1 Définition Un pendule de torsion est constitué par un fil large (métallique)

Plus en détail

3 - Description et orbite d'un satellite d'observation

3 - Description et orbite d'un satellite d'observation Introduction à la télédétection 3 - Description et orbite d'un satellite d'observation OLIVIER DE JOINVILLE Table des matières I - Description d'un satellite d'observation 5 A. Schéma d'un satellite...5

Plus en détail

COURS DE STATISTIQUES (24h)

COURS DE STATISTIQUES (24h) COURS DE STATISTIQUES (24h) Introduction Statistiques descriptives (4 h) Rappels de Probabilités (4 h) Echantillonnage(4 h) Estimation ponctuelle (6 h) Introduction aux tests (6 h) Qu est-ce que la statistique?

Plus en détail

Baccalauréat S Nouvelle-Calédonie 17 novembre 2014

Baccalauréat S Nouvelle-Calédonie 17 novembre 2014 Durée : 4 heures Baccalauréat S Nouvelle-Calédonie 17 novembre 2014 A. P. M. E. P. EXERCICE 1 Commun à tous les candidats Les trois parties A, B et C sont indépendantes Une fabrique de desserts glacés

Plus en détail

Le sondeur monofaisceau :

Le sondeur monofaisceau : Le sondeur monofaisceau : Un sondeur monofaisceau classique (de type sondeur de navigation par exemple), émet un signal acoustique vers le fond et analyse l écho retour. L instant de détection se traduit

Plus en détail

Imagerie interférométrique avec des données bruitées

Imagerie interférométrique avec des données bruitées Imagerie interférométrique avec des données bruitées Josselin Garnier (Université Paris Diderot) But de l imagerie : sonder un milieu inconnu avec des ondes pour en extraire de l information. Une méthode

Plus en détail

Transmission de données. A) Principaux éléments intervenant dans la transmission

Transmission de données. A) Principaux éléments intervenant dans la transmission Page 1 / 7 A) Principaux éléments intervenant dans la transmission A.1 Equipement voisins Ordinateur ou terminal Ordinateur ou terminal Canal de transmission ETTD ETTD ETTD : Equipement Terminal de Traitement

Plus en détail

ENSEIRB-MATMECA PG-113 2014. TP6: Optimisation au sens des moindres carrés

ENSEIRB-MATMECA PG-113 2014. TP6: Optimisation au sens des moindres carrés ENSEIRB-MATMECA PG-113 014 TP6: Optimisation au sens des moindres carrés Le but de ce TP est d implémenter une technique de recalage d images qui utilise une méthode vue en cours d analyse numérique :

Plus en détail