Ce poster présente une nouvelle modélisation asymptotique de la diffusion électromagnétique cohérente par des milieux multi-couches contenant des interfaces rugueuses. Elle résulte de l’extension de l’approximation de Kirchhoff scalaire à un empilement d’interfaces. Ce modèle permet de simuler de façon rapide et réaliste le signal GPR (Ground Penetrating Radar), en prenant en compte la rugosité des interfaces du milieu multi-couches. Des comparaisons avec une méthode numérique de référence basée sur la méthode des moments (MdM) permettent de valider ce modèle. - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2019

Ce poster présente une nouvelle modélisation asymptotique de la diffusion électromagnétique cohérente par des milieux multi-couches contenant des interfaces rugueuses. Elle résulte de l’extension de l’approximation de Kirchhoff scalaire à un empilement d’interfaces. Ce modèle permet de simuler de façon rapide et réaliste le signal GPR (Ground Penetrating Radar), en prenant en compte la rugosité des interfaces du milieu multi-couches. Des comparaisons avec une méthode numérique de référence basée sur la méthode des moments (MdM) permettent de valider ce modèle.

Résumé

Ce papier présente notre travail sur l’implémentation d’un dispositif de vérification en ligne pour la surveillance d’une application qui s’exécute sur un SoPC (System on Programmable Chip). Le but est de vérifier que l’exécution de l’application est conforme à un ensemble de propriétés. Cette vérification est réalisée par des moniteurs implémentés sur le FPGA du SoPC. Ces moniteurs sont générés à partir de spécifications qui traduisent le comportement du système exprimé dans le langage formel ptLTL (past-time Linear Temporal Logic).
Fichier principal
Vignette du fichier
2019_GDR_Ondes_Pinel_Poster.pdf (841.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02421542 , version 1 (20-12-2019)

Identifiants

  • HAL Id : hal-02421542 , version 1

Citer

Nicolas Pinel, Cédric Le Bastard, Christophe Bourlier. Ce poster présente une nouvelle modélisation asymptotique de la diffusion électromagnétique cohérente par des milieux multi-couches contenant des interfaces rugueuses. Elle résulte de l’extension de l’approximation de Kirchhoff scalaire à un empilement d’interfaces. Ce modèle permet de simuler de façon rapide et réaliste le signal GPR (Ground Penetrating Radar), en prenant en compte la rugosité des interfaces du milieu multi-couches. Des comparaisons avec une méthode numérique de référence basée sur la méthode des moments (MdM) permettent de valider ce modèle.. Conférence plénière biennale du GDR ONDES, Oct 2019, Gif-sur-Yvette, France. pp40-41, 2019. ⟨hal-02421542⟩
42 Consultations
20 Téléchargements

Partager

Gmail Facebook X LinkedIn More