Le système de télescopes H.E.S.S. (High Energy Stereoscopic System) est une expérience constituée de quatre imageurs Cherenkov atmosphériques destinés à observer les rayons gamma de plus de 100 GeV et jusqu'à quelques dizaines de TeV. En 2012, une seconde phase de l'expérience consistera en l'ajout d'un cinquième télescope de 28 mètres de diamètre au centre du système existant. Au seuil de déclenchement de 15 GeV, les événements ne seront visibles que par ce grand télescope, une nouvelle méthode de reconstruction est proposée. A l'aide de plusieurs réseaux de neurones, l'énergie de gerbes électromagnétiques est bien reconstruite avec une discrimination du fond hadronique efficace à partir de 30 GeV. A basse énergie, la sensibilité totale permettra de détecter une source de quelques pourcent du Crabe en 50 heures. Cette méthode est testée sur les données de H.E.S.S. et s'avère compétitive ; une extension est présentée pour les événements stéréoscopiques. Les tests mis en place pour l'étalonnage des photomultiplicateurs sont présentés ainsi que les résultats obtenus. Un modèle de propagation de rayons cosmiques a été développé pour étudier l'émission du fond diffus gamma. Pour cela, il a fallu propager les protons et les noyaux hélium dans la galaxie et estimer le taux de pions neutres issus des interactions avec le milieu. La méthode de génération des cartes est décrite jusqu'à leur établissement. Dans le cas de H.E.S.S., j'ai estimé les sensibilités pour les comparer aux flux prédits par la modélisation. La galaxie naine sphéroïdale du Sagittaire a été étudiée comme source présumée de matière noire. Pour cela, les données ont été réparties en angles zénithaux similaires pour étudier l'effet du seuil de l'analyse dans les observations en utilisant les analyses les plus performantes de la collaboration H.E.S.S. Les sensibilités de détection ont été améliorées. Aucun excès d'événements notable n'a été observé.

Ce travail porte sur la caractérisation spatiale et la quantification de l'influence des pressions environnantes (occupation des sols à différentes échelles, du bassin versant amont au corridor rivulaire local) sur l'état écologique des cours d'eau. Abordée au niveau régional l'étude porte une attention particulière aux corridors rivulaires pour leur intérêt dans l'élaboration de stratégies de préservation et de restauration en application de la Directive Cadre européenne sur l'Eau. Elle repose sur le développement de méthodologies robustes et fiables (i) de cartographie fine de l'occupation des sols dans les corridors rivulaires, (ii) de construction d'indicateurs spatialisés traduisant cette occupation et (iii) de modélisation pressions/impacts quantifiant le lien entre occupation des sols dans les corridors rivulaires et état écologique des milieux aquatiques. Les résultats utilisant ces avancées méthodologiques montrent l'intérêt de disposer d'une donnée d'occupation du sol à Très Haute Résolution Spatiale sur de grands territoires, d'indicateurs calculés sur différentes emprises spatiales au niveau du corridor qui traduisent les mécanismes d'impacts d'une catégorie d'occupation du sol donnée sur l'état écologique pour améliorer l'identification et la localisation des sources de pressions dans ces espaces. Ils mettent en évidence également au niveau régional le rôle significatif des formations végétales rivulaires locales sur l'état écologique des cours d'eau, ceci sur une bande de 20 m de part et d'autre du cours d'eau.

Les données de télédétection acquises à Très Haute Résolution Spatiale (THRS) constituent une source d'information importante pour le suivi détaillé des changements d'occupation du sol sur de petites surfaces. Ces données sont particulièrement intéressantes pour les applications dans les milieux urbains et périurbains car elles permettent d'appréhender des changements brusques et irréguliers autant que des modifications subtiles et régulières. Toutefois, l'exploitation d'images à THRS nécessite des développements méthodologiques, les méthodes de détection de changement généralement utilisées pour traiter les images à basse et moyenne résolution n'étant pas adaptées : d'une part l'étendue et la résolution spectrale des capteurs à THRS sont souvent inférieures à celles des autres capteurs, la résolution spectrale des capteurs diminuant avec l'augmentation de leur résolution spatiale. D'autre part, la variabilité spectrale des pixels définissant les classes d'occupation du sol augmente en fonction de la résolution spatiale. Cette thèse présente ainsi une série d'outils méthodologiques qui permettent d'identifier et de caractériser automatiquement des changements affectant de petites surfaces à partir de données à THRS acquises à différentes dates et provenant de différentes sources. Contrairement à la majorité des méthodes utilisées en télédétection, l'originalité des outils présentés ne repose pas exclusivement ou essentiellement sur l'utilisation de l'information spectrale de l'image ; ils reposent surtout sur les propriétés de texture des objets géographiques observés. La texture est caractérisée à partir d'une analyse des coefficients issus d'une décomposition en ondelettes des images. Les outils développés comprennent : une méthode de correction de l'effet de vignettage des photographies aériennes anciennes ; une technique de segmentation d'images ; une méthode d'estimation de l'orientation dominante de motifs texturés ; une méthode de classification ; une méthode de détection de changements. L'ensemble de ces outils a été validé à partir d'exemples synthétiques, puis appliqué sur un secteur périurbain de l'agglomération rennaise afin de détecter les changements d'occupation et d'utilisation des sols à partir de photographies aériennes acquises en 1978 et 2001. Les taux de changement correctement détectés, qui varient de 78 % à 85 %, montrent l'intérêt d'exploiter la texture pour classer des images à THRS. Il est possible de détecter automatiquement différents types de changements et ainsi de distinguer des changements de pratiques culturales et des changements liés à l'artificialisation des sols. Les outils développés dans cette thèse sont génériques et s'appliquent à l'analyse de tout objet texturé. Ainsi nous avons exploité certains outils proposés pour détecter et caractériser des parcelles viticoles ou estimer des mouvements fluides en aéronautique

Les travaux présentés dans ce document sont orientés vers la vérification formelle de propriétés de sûreté dans le cadre de la conception des systèmes enfouis. Nous nous plaçons dans le formalisme du modèle polyédrique, combinaison des systèmes d'équations récurrentes affines avec les polyèdes entiers. Ce modèle permet de faire de la synthèse de haut niveau pour générer des architectures parallèles à partir de la description d'un système régulier dont les dimensions sont définies par des paramètres symboliques. Nous nous intéressons à la vérification de propriétés de sûreté portant sur des signaux booléens de contrôle, générés ou introduits manuellement lors de la synthèse. Les propriétés sur de tels signaux seront appelées propriétés de contrôle. Nous montrons dans ce document que le modèle polyédrique est adapté pour la vérification formelle de propriétés de contrôle.<br /> Dans ce travail, nous développons une "logique polyédrique" qui nous permet de spécifier et prouver des propriétés dans le modèle polyédrique. La syntaxe et la sémantique des formules logiques s'appuient sur celles d'un langage de description de systèmes d'équations récurrentes affines sur des domaines polyédriques. Les règles de déduction sont de différents types : des règles "classiques" sur les connecteurs logiques, des règles de réécriture et des règles induites par des calculs dans le modèle. Nous développons des algorithmes pour automatiser la construction des preuves, ainsi que des techniques heuristiques permettant d'accélérer cette construction. Ces algorithmes nous permettent de prouver des propriétés simples, comme par exemple la propriété qu'un signal vaut toujours vrai pour un ensemble de processeurs et une durée déterminés. Nous présentons ensuite et commençons à développer des pistes afin d'enrichir notre logique pour exprimer des propriétés plus complexes, comme par exemple des propriétés d'exclusion mutuelle. Nous présentons quelques tactiques de preuve pour ces propriétés plus riches.

La simulation numérique est aujourd'hui un outils majeur dans la conception des objets aérodynamiques, que ce soit dans l'aéronautique, l'automobile, l'industrie navale, etc... Un des défis majeurs pour repousser les limites des codes de simulation est d'améliorer leur précision, tout en utilisant une quantité fixe de ressources (puissance et/ou temps de calcul). Cet objectif peut être atteint par deux approches différentes, soit en construisant une discrétisation fournissant sur un maillage donné une solution d'ordre très élevé, soit en construisant un schéma compact et massivement parallélisable, de manière à minimiser le temps de calcul en distribuant le problème sur un grand nombre de processeurs. Dans cette thèse, nous tentons de rassembler ces deux approches par le développement et l'implémentation de Schéma Distribuant le Résidu (RDS) d'ordre très élevé et de compacité maximale. Ce manuscrit commence par un rappel des principaux résultats mathématiques concernant les Lois de Conservation hyperboliques (CLs). Le but de cette première partie est de mettre en évidence les propriétés des solutions analytiques que nous cherchons à approcher, de manière à injecter ces propriétés dans celles de la solution discrète recherchée. Nous décrivons ensuite les trois étapes principales de la construction d'un schéma RD d'ordre très élevé : \begin{itemize} \item la représentation polynomiale d'ordre très élevé de la solution sur des polygones et des polyèdres; \item la description de méthodes distribuant le résidu de faible ordre, compactes et conservatives, consistantes avec une représentation polynomiale des données de très haut degré. Parmi elles, une attention particulière est donnée à la plus simple, issue d'une généralisation du schéma de Lax-Friedrichs (LxF); \item la mise en place d'une procédure préservant la positivité qui transforme tout schéma stable et linéaire, en un schéma non linéaire d'ordre très élevé, capturant les chocs de manière non oscillante. \end{itemize} Dans le manuscrit, nous montrons que les schémas obtenus par cette procédure sont consistants avec la CL considérée, qu'ils sont stables en norme $\L^{\infty}$ et qu'ils ont la bonne erreur de troncature. Même si tous ces développements théoriques ne sont démontrés que dans le cas de CL scalaires, des remarques au sujet des problèmes vectoriels sont faites dès que cela est possible. Malheureusement, lorsqu'on considère le schéma LxF, le problème algébrique non linéaire associé à la recherche de la solution stationnaire est en général mal posé. En particulier, on observe l'apparition de modes parasites de haute fréquence dans les régions de faible gradient. Ceux-ci sont éliminés grâce à un terme supplémentaire de stabilisation dont les effets et l'évaluation numérique sont précisément détaillés. Enfin, nous nous intéressons à une discrétisation correcte des conditions limites pour le schéma d'ordre élevé proposé. Cette théorie est ensuite illustrée sur des cas test scalaires bidimensionnels simples. Afin de montrer la généralité de notre approche, des maillages composés uniquement de triangles et des maillages hybrides, composés de triangles et de quadrangles, sont utilisés. Les résultats obtenus par ces tests confirment ce qui est attendu par la théorie et mettent en avant certains avantages des maillages hybrides. Nous considérons ensuite des solutions bidimensionnelles des équations d'Euler de la dynamique des gaz. Les résultats sont assez bons, mais on perd les pentes de convergence attendues dès que des conditions limite de paroi sont utilisées. Ce problème nécessite encore d'être étudié. Nous présentons alors l'implémentation parallèle du schéma. Celle-ci est analysée et illustrée à travers des cas test tridimensionnel de grande taille. Du fait de la relative nouveauté et de la complexité des problèmes tridimensionels, seuls des remarques qualitatives sont faites pour ces cas test : le comportement global semble être bon, mais plus de travail est encore nécessaire pour définir les propriétés du schémas en trois dimensions. Enfin, nous présentons une extension possible du schéma aux équations de Navier-Stokes dans laquelle les termes visqueux sont traités par une formulation de type Galerkin. La consistance de cette formulation avec les équations de Navier-Stokes est démontrée et quelques remarques au sujet de la précision du schéma sont soulevées. La méthode est validé sur une couche limite de Blasius pour laquelle nous obtenons des résultats satisfaisants. Ce travail offre une meilleure compréhension des propriétés générales des schémas RD d'ordre très élevé et soulève de nouvelles questions pour des améliorations futures. Ces améliorations devrait faire des schémas RD une alternative attractive aux discrétisations classiques FV ou ENO/WENO, aussi bien qu'aux schémas Galerkin Discontinu d'ordre très élevé, de plus en plus populaires.

Ce travail de thèse vise à concevoir un nouveau schéma de quantification vectorielle (QV) devant prendre place au sein d'une chaîne de codage hybride pour la compression de séquences d'images. Le but est de contribuer à l'élaboration de futures normes de compression du signal vidéo (MPEG4) et à la conception de nouveaux services de vidéocommunications. La nature non-stationnaire du signal à coder (des vecteurs d'erreurs de prédiction de compensation du mouvement transformées) conduit à retenir une technique d'apprentissage pour la construction du dictionnaire. Si la condition d'opérations d'encodage-décodage rapides est remplie, une QV adaptative est opérationnelle où, quand cela est nécessaire (changement de plan vidéo), l'actualisation des vecteurs représentants est effectuée en utilisant une séquence d'apprentissage issue de la source courante. Le coût calculatoire des techniques classiques d'apprentissage les rend inadaptées. La QV algébrique, rapide, n'est appropriée que si la statistique de la source autorise une troncature aisée des réseaux. Notre approche vise alors à tirer profit de deux techniques de codage : une quantification rapide sur réseaux algébriques, la construction d'un dictionnaire arborescent non-équilibré apportant une partition de l'espace adaptée à la distribution de la source et selon un compromis débit-distorsion. Précisément, la technique utilisée consiste en un emboîtement de réseaux tronqués de même nature et aboutit à un schéma de QV multi-étages. Pour une cellule de Voronoï d'un réseau à une résolution donnée, sur un critère local débit-distorsion, il est décidé ou non de descendre au réseau plus fin. Notre recherche se conclue par l'expérimentation de ce quantificateur vectoriel inscrit au sein de deux types de codeurs : un classique (assemblage d'outils algorithmiques de la famille MPEG), l'autre novateur (codeur orienté régions).

Les molécules H2, HD et D2 occupent une place fondamentale en physique moléculaire, en astrophysique et en physique des plasmas. H2 est la molécule la plus abondante dans l'univers. Les récentes observations à haute résolution des transitions VUV de cette molécule et de son isotope HD ont été effectuées par le satellite FUSE dans le domaine 90.5 -118.7 nm. Ces observations permettent de déterminer le rapport d'intensités des raies HD/H2, considéré comme un outil nouveau pour évaluer le rapport d'abondances D/H, qui est connu pour être un traceur efficace de l'évolution chimique de l'Univers. Par ailleurs, les molécules H2, HD et D2 sont formées dans le plasma de bord des tokamaks et contribuent aux pertes radiatives du milieu. Par conséquent, il est indispensable de disposer de données spectroscopiques de haute qualité obtenues en laboratoire pour une exploitation fiable des résultats d'observations ou pour une modélisation réaliste des plasmas de fusion.<br /> <br />L'objectif de cette thèse est d'effectuer une étude expérimentale à haute résolution des spectres d'émission et d'absorption des isotopes D2 et HD de l'hydrogène moléculaire dans le VUV et de la compléter par une étude théorique des états électroniques excités en relation avec les transitions observées. Une telle étude avait été effectuée dans notre laboratoire et avait abouti à la réalisation d'un atlas VUV dans le domaine 78-170 nm.<br /> <br />Les spectres d'émission de HD et D2 sont produits par une source à décharge Penning opérant sous faible pression, et sont enregistrés dans la région spectrale 78 -170 nm à l'aide du spectrographe sous vide de 10 mètres à haute résolution (~ 150 000) de l'Observatoire de Meudon, soit sur plaques photographiques, soit sur des écrans phosphore photostimulables pour mesure d'intensités. Les spectres enregistrés contiennent plus de 20 000 raies. Les longueurs d'onde sont mesurées avec une précision de Δλ/λ= 10-6.Les raies des molécules D2 et H2 étant inévitablement présentes dans le spectre de HD, nous avons d'abord cherché à réaliser l'analyse du spectre de D2, qui consiste à identifier et à assigner les raies aux transitions électroniques entre des niveaux d'énergie de la molécule.<br /><br /> Nous avons par ailleurs réalisé une étude en absorption des molécules HD et D2 au Centre Laser LCVU d'Amsterdam. Nous avons mesuré par spectroscopie laser à deux photons 1XUV+1UV, de nouvelles longueurs d'onde avec une précision inégalée de Δλ/λ= 10-8 dans le domaine spectral 99.9-104 nm permis par l'accordabilité du laser XUV.<br /><br /> Ces nouvelles longueurs d'ondes constitueront une base de données de raies de référence pour la calibration des spectres moléculaires, mais leurs intérêts ne s'arrêtent pas au laboratoire. En effet, les nouvelles raies de HD mesurées par spectroscopie laser, ajoutées aux raies de H2 déjà mesurées avec une précision similaire, seront utilisées comme référence pour mettre en évidence une possible variation cosmologique du rapport de masse proton-électron μ= mp/me, par comparaison avec des longueurs d'onde de raies de H2 ou de HD observées dans les spectres d'absorption de quasars à grands déplacements vers le rouge. Cette étude nécessite la connaissance des coefficients de sensibilité des longueurs d'onde par rapport à la possible variation de μ, que nous avons calculés par la résolution d'un système d'équations couplées pour les états électroniques B, B', C et D de la molécule H2 et HD pour diverses valeurs de μ. <br /><br />Durant ce travail de thèse, nous nous sommes également intéressés à des transitions entre états libres-libres et états libres-liés de la molécule H2. Ces transitions se produisent lors d'une collision H-H formant une quasi-molécule et sont responsables de l'apparition de satellites dans l'aile des raies de l'atome d'hydrogène. Nous avons effectué une étude quantique du satellite quasi-moléculaire de la raie Lymanβ et calculé le profil d'absorption du satellite en fonction de la température. Cette variation est un outil important de diagnostic pour la détermination des caractéristiques des atmosphères des naines blanches.

Ce travail de thèse porte sur la recherche de grandes déformations dans des noyaux lourds, très déficients en neutrons, proches de la ligne d'émission spontanée de proton, donc soumis à des conditions extrêmes d'isospin, dans la région de masse A~130. L'expérience a été réalisée au GANIL à Caen auprès de l'accélérateur de faisceaux radioactifs SPIRAL. Les noyaux étudiés ont été peuplés par des réactions de fusion-évaporation en utilisant un faisceau radioactif de 76Kr, déficient en neutrons et de période T½ = 14.8 h.<br />Les rayonnements γ ont été détectés par le multidétecteur EXOGAM, composé de « clovers » segmentés de germanium pour lesquels une nouvelle méthode de calibration en énergie des segments a été développée. Pour extraire les événements de fusion-évaporation d'un fort bruit de fond lié à la radioactivité du faisceau, nous avons couplé EXOGAM avec le détecteur de particules chargées légères DIAMANT ainsi qu'avec le spectromètre de grande acceptance VAMOS, utilisé pour la première fois pour la détection de résidus d'évaporation. <br />L'analyse minutieuse de l'ensemble des données nous a permis de montrer que le couplage EXOGAM + DIAMANT + VAMOS est opérationnel et nécessaire pour l'étude de la structure des noyaux de cette région. De plus, nous avons pu mettre en évidence la première transition γ du noyau très exotique impair-impair 130Pm. Les résultats ont été interprétés à partir de calculs théoriques microscopiques auto-cohérents statiques et dynamiques effectués en collaboration avec les physiciens du groupe de Physique Théorique de l'IPN Lyon.

La disponibilité d'images satellites à très haute résolution spatiale au dessus de zones urbaines est récente. Elle constitue potentiellement un très grand apport pour la cartographie des villes à des échelles de l'ordre du 1:10 000. La très haute résolution spatiale permet une représentation réelle des rues sue une carte, mais engendre une augmentation significative du bruit. Dans cette thèse, nous proposons une méthode d'extraction des réseaux de rues en milieu urbain à partir des images à très haute résolution spatiale. Son objectif est de répondre à une forte demande dans la création automatisée de cartes. La méthode proposée n'utilise que l'image numérique comme source d'information. Elle est semi-automatique au niveau de la détection et exploite la coopération entre la représentation linéique de la rue et sa représentation surfacique. Le graphe topologique du réseau est d'abord extrait et est utilisé pour initialiser l'étape de reconstruction surfacique. Le résultat d'extraction peut alors servir à recaler le graphe précisément sur l'axe des rues. La méthode utilise des contraintes géométriques fortes afin de ne pas dépendre d'un modèle de profil radiométrique de la rue, trop variable en milieu urbain. Dans cette optique, un modèle de contours actif associé à la transformée en ondelettes, le DoubleSnake, a été développé. Son évolution dans un cadre multi-échelle permet d'extraire les sections de rues à bords parallèles dans un environnement bruité. Les positions finales des DoubleSnakes permettent ensuite l'extraction des intersections. La méthode a été appliquée à des images de différents capteurs et avec différents types d'urbanisation. Un protocole innovant d'évaluation quantitative des résultats par comparaison à l'interprétation humaine a permis de montrer le caractère générique de la méthode, ainsi que sa bonne robustesse vis-à-vis du bruit. Cette méthode constitue un pas vers une cartographie automatisée du réseau de rues urbain.

Le télescope ANTARES pour detecter les neutrinos de haute énergie est un réseau tridimensionnel de photomultiplicateurs répartis sur 12 lignes, installés sur le fond marin de la Méditerranée. Le détecteur a été utilisé dans des configurations partielles depuis Mars 2006 et le déploiement a été achevée en mai 2008. Le principal objectif de l'expérience est la recherche de neutrinos de haute énergie à partir de sources astrophysiques . Un télescope à neutrinos dans l'hémisphère Nord inclut le centre galactique dans son champ de vision et il peut être considéré comme complémentaire au télescope IceCube en Antarctique. Le détecteur est optimisée pour la détection de neutrinos muoniques, au delà de la seuile de 1 TeV et en détectant les muons issus des interactions, particules chargées qui peuvent voyager kilomètres et sont presque colinéaires avec les neutrinos originaires. Les neutrinos de haute énergie peuvent avoir différentes origines : ils pourraient être créés lors de l'interaction des rayons cosmiques énergétiques élevés avec le CMB ou dans des phénomènes cosmologiques tels que restes de supernovae ou AGN. Il y a d'autres sources possibles en raison de nouvelles théories dans le domaine de la physique au-delà du Modèle Standard. Dans ma troisième année de thèse, j'ai effectué la recherche pour des neutrinos muoniques extraterrestres d'énergie ultra-haute (dans la gamme dynamique de 100 PeV - 10 EEV) issus de sources non résolues . Si la sensibilité des techniques de recherche de sources ponctuelles est trop petit à détecter flux de neutrinos de corps célestes individuels, il est possible que les sources ensemble pourraient produire un excès d'événements au cours du fond de neutrinos atmosphériques et reconnaissable comme un signal UHE. La sensibilité du détecteur de neutrinos ANTARES à diffuser est évaluée à partir de simulations MonteCarlo, une production dédiée à la gamme d'énergies écrit ci-dessus. L'absorption des neutrinos par la Terre pour des énergies supérieures que PeV avait été prise en compte, de sorte que la recherche de l' astrophysique signal est limitée près de l'horizon. Dans cette zone angulaire la plus sévère source de fond sont les neutrinos atmosphériques , mais aussi les muons atmospheriques qui même très réduites en nombre, peuvent feindre un signal cosmique. Sachant que les événements UHE déposent une grande quantité de lumière dans le détecteur , six des variables de ce type ont été choisies et ensuite une combinaison d'entre eux a été utilisés pour discriminer le signal du fond. J'ai pris en compte les différentes configurations de détection du Dec. 2008 à Décembre 2011 lors de l'analyse des données , avec une durée de vie équivalente de 800 jours. Les résultats sont représentés et la limite supérieure de flux diffus de neutrinos va être estimé, compte tenu de différents types de flux de UHE astrophysique sources d'accélération , comme AGN , un Waxman - Bahcall comme spectre ou un modèle de GZK coupure , dans le scénario de neutrinos cosmologique.