L'objectif de ce travail est d'étudier les apports atmosphériques de Pb à partir d'enregistrements environnementaux de Méditerranée occidentale. Le calcul des inventaires de Pb anthropique de plusieurs milieux de dépôts et la reconstruction temporelle des apports obtenus par un couplage du 210Pb et des isotopes stables du Pb est le moyen de valider ou de remettre en question l'enregistrement sédimentaire. Le sédiment de la pente continentale du Golfe du Lion révèle un inventaire moyen de Pb anthropique de 110!±!7!mg.cm-2 similaire à l'inventaire atmosphérique estimé en Camargue, soit 99!µg.cm-2. La reconstitution des apports de Pb anthropique dans ces mêmes sédiment obtenue par une modélisation prenant en compte la diffusion, rejoint les émissions anthropiques régionales au cours du dernier siècle dans la zone Ferrand (1996). Le sédiment de pente continentale est donc un intégrateur efficace et fidèle du signal de pollution atmosphérique, aussi bien du point de vue quantitatif mais aussi qualitatif. En mer d'Alboran, zone particulière de par sa situation géographique, sa situation climatique, sa situation météorologique, et son contexte hydrologique, l'inventaire sédimentaire moyen de Pb anthropique est de 153!±!47!µg.cm-2, soit 1,5 fois supérieur à celui du Golfe du Lion. L'étude des retombées atmosphériques actuelles, de particules sédimentaires de la colonne d'eau et de sédiments profonds des bassins Est et Ouest de la mer d'Alboran permet de montrer la continuité du signal isotopique entre ces trois compartiments et de définir les sédiments profonds comme susceptible de restituer le signal atmosphérique sur une plus ou moins longue période de temps.

Cette thèse a porté sur l'étude théorique et expérimentale d'instabilités spatiales transverses liées à l'interaction non linéaire d'ondes électromagnétiques cohérentes avec un milieu de Kerr homogène et isotrope en configuration guidée planaire — c'est-à-dire une configuration unidimensionnelle transverse ou (1+1)D. L'objectif a été d'améliorer la compréhension de certains phénomènes lumineux liés à la propagation solitonique en milieux de Kerr. En outre, notre recherche s'est inscrite dans une perspective tout autant appliquée que fondamentale, étant donné le fort potentiel de ces guides d'ondes auto-induits et reconfigurables que sont les solitons Kerr en traitement tout-optique et ultrarapide de l'information. La majeure partie de notre travail a été consacrée au processus d'instabilité de modulation spatiale en régime impulsionnel picoseconde. Intrinsèquement liée à une variation non linéaire de l'indice de réfraction via l'effet Kerr optique, cette instabilité est maîtrisable en propagation dans un guide plan et permet de créer des réseaux périodiques de faisceaux quasi-solitons, reconfigurables optiquement. Chaque soliton du réseau constitue alors un guide d'onde à gradient d'indice, dynamique et auto-induit. Ce travail a porté à la fois sur la génération et sur la stabilisation en propagation de tels réseaux, en vue d'applications au traitement parallèle optique ultrarapide de l'information. Une étude phénoménologique complète de l'instabilité de modulation spontanée (démarrant à partir du bruit spatial superposé à l'onde incidente) ou induite (par une modulation interférentielle de faible contraste) a été réalisée dans un guide plan de disulfure de carbone (CS2) à la longueur d'onde de 532 nm. Nous y avons montré pour la première fois la génération et le contrôle de réseaux de solitons spatiaux, dont la stabilité à la fois transverse et en propagation, bien que non prévue par les modèles théoriques usuels, a pu être assurée par l'inertie temporelle de la réorientation moléculaire responsable de l'effet Kerr optique dans le CS2. Par ailleurs, cette inertie de la réponse non linéaire provoque une dynamique spatio-temporelle nouvelle, responsable de l'apparition, le long de l'impulsion, d'un réseau secondaire intercalé spatialement. Quelques applications de tels réseaux de solitons, comme le guidage multiple et l'adressage, ont enfin été discutées. Le deuxième volet de cette thèse a été effectué dans le cadre d'une collaboration avec le Service d'optique et acoustique de l'université libre de Bruxelles. En utilisant une disposition particulière de la polarisation et des profils individuels d'une paire de faisceaux solitons, nous avons démontré pour la première fois expérimentalement, tout d'abord la propagation d'un état lié de ces solitons puis sa déstabilisation brutale et aléatoire par une instabilité de brisure de symétrie. Nous avons pu confirmer que l'instabilité est initiée par les fluctuations incontrôlables de l'amplitude de bruit de la source laser utilisée. Cette instabilité provient de la forte intermodulation de phase subie par la paire de solitons dans le guide CS2. Au-delà du caractère universel d'une telle instabilité, cette étude préliminaire permet d'envisager une possible application de commutation tout-optique et ultrarapide à puissance de commande arbitrairement faible.

La problématique qui a motivé cette étude est celle de la représentation et du traitement de l'information dans le néocortex. On s'intéresse en particulier à l'hypothèse selon laquelle l'information sensorielle est représentée par un "code" spatio-temporel dans l'activité coopérative des populations neuronales. Cette étude est fondamentale pour le développement de solutions technologiques à certains problèmes médicaux (e.g. neuroprothèses). La disponibilité de nouvelles techniques de mesure multi-sites qui permettent d'observer l'activité spatiotemporelle du cortex à de hautes résolutions, nous donne l'occasion d'aborder la notion "d'interaction neuronale" à des échelles mésoscopiques et d'étudier les mécanismes de la sensation et de la perception au niveau des aires fonctionnelles. Nous nous sommes intéressés à l'activité électrique du cortex auditif en réponse aux stimuli sonores, observée in vivo chez le cobaye à l'aide de colorants fluorescents potentiel-dépendants. Nous avons étudié des méthodes pour le traitement, l'analyse et la compression/intégration de l'information spatio-temporelle, adaptées à ce type de données. Une analyse descriptive nous a permit de caractériser les signaux recueillis, ainsi que leur variabilité et les erreurs qui nuisent à la mesure. Une étude théorique est venue compléter cette description et a permit d'interpréter nos données par rapport à l'activité neuronale sous-jacente. Le signal de fluorescence est difficile à traiter avec des techniques classiques de traitement du signal, nous avons donc utilisé des techniques basées sur la transformée en ondelettes afin d'estimer et de caractériser l'activité d'origine neuronale. Finalement, nous avons analysé quelques approches pour la modélisation spatio-temporelle de l'activité du cortex, et nous avons étudié l'adéquation de ces modèles à nos données. Des éléments de méthode pour l'étude de cette problématique et des perspectives pour les expériences futures sont avancés.

Le détecteur MUNU, destiné à l'étude de la diffusion neutrino sur électron à l'aide des antineutrinos émis par un réacteur nucléaire, est constitué d'une chambre à projection temporelle (TPC) contenant du gaz CF4. L'objectif de la thèse était de déterminer si un détecteur basé sur le même principe pouvait être envisagé pour mesurer le spectre en énergie des neutrinos solaires de basse énergie. Pour cette étude, trois aspects étaient essentiels : la résolution en énergie, la résolution angulaire et le bruit de fond du détecteur. Les deux premiers car l'énergie du neutrino est reconstituée à partir de l'énergie et de la direction initiale de l'électron de recul. Le troisième car le faible nombre d'interactions attendu impose un niveau de bruit de fond très bas. Dans un premier temps, une revue détaillée de la physique des neutrinos solaires du point de vue théorique mais aussi expérimental est réalisée puis les caractéristiques du détecteur MUNU et son principe de fonctionnement sont exposés. Ensuite, les performances du détecteur sont abordées successivement : les méthodes d'étalonnage en énergie développées et la résolution en énergie qui en découle ; la détermination de la direction initiale des électrons et la résolution angulaire associée ; et enfin les différentes sources de bruit de fond rencontrées ainsi que les taux d'événements induits. Finalement, les résultats de la simulation de la détection des neutrinos solaires sont présentés. Ils mettent en évidence les améliorations nécessaires et les points exigeant des études supplémentaires.

Etude du signal de corrélations temporelles entre photons émis dans les bandes latérales du triplet de fluorescence. Ce signal constitue une analyse mixte de la lumière de fluorescence puisqu'il concerne a la fois ses caractéristiques spectrales et temporelles. Etude théorique de cet effet: le calcul perturbatif du champ diffuse par l'atome et la méthode utilisant les équations de bloch ont permis d'interpréter l'effet mis en évidence expérimentalement. Une autre approche théorique présentée est la méthode de l'atome habille.

L'évolution des outils télécommunicationnels répond à une révolution des usages. Les réseaux d'accès et de type radio-sur-fibre doivent répondre à cette demande de l'utilisateur final et le déploiement massif de la fibre optique confirme cette évolution. Dans cette perspective, l'utilisation du multiplexage en longueur d'onde (largement utilisé dans les réseaux cœurs) est maintenant considérée dans le cas d'une augmentation du débit chez l'utilisateur. Néanmoins de nouvelles problématiques, propres à ces réseaux, émergent, telles que le coût pour l'abonné. De nouveaux composants indépendants de la longueur d'onde sont donc nécessaires pour réduire les coûts de déploiement tout en apportant flexibilité et facilité de gestion de ce type de réseaux. Les modulateurs déportés (ou RSOA) sont une solution répondant à ces exigences mais ils doivent se plier à celles, nouvelles, des réseaux d'accès et des réseaux radio-sur-fibre. Cette thèse propose une étude détaillée des propriétés physiques de ces composants ainsi que de ces applications en tant qu'émetteur indépendant de la longueur d'onde dans plusieurs configurations réseaux. Les notions fondamentales nécessaires à la compréhension de ces travaux seront abordées ainsi que la conception et la fabrication de ces composants en salle blanche. Une analyse des performances statiques et dynamiques des composants en fonction de certains paramètres clefs tels que le confinement optique, la longueur de la zone active et la réflectivité des facettes est détaillée. La théorie, une modélisation et des mesures expérimentales seront utilisées pour la création de composants optimisés ayant des performances conformes à l'état de l'art. De nouvelles configurations de RSOA à deux électrodes seront proposées pour diverses utilisations originales de ces composants. Finalement, une étude système viendra compléter notre analyse pour des applications concernant les réseaux d'accès et les réseaux de type radio-sur-fibre.

La vérification des systèmes d'états finis, qu'ils soient distribués ou concurrents, est confrontée en pratique au problème d'explosion d'états (taille prohibitive de l'espace d'états sous-jacent) qui survient pour des systèmes de taille réaliste, contenant de nombreux processus en parallèle et des structures de données complexes. Différentes techniques ont été proposées pour combattre l'explosion d'états, telles que la vérification à la volée, la réduction d'ordre partiel, ou encore la vérification distribuée. Cependant, l'expérience pratique a montré qu'aucune de ces techniques, à elle seule, n'est toujours suffisante pour maîtriser des systèmes à grande échelle. Cette thèse propose une combinaison de ces approches dans le but de faire passer à l'échelle leurs capacités de vérification. Notre approche est basée sur les Systèmes d'Equations Booléennes (SEBs), qui fournissent une représentation intermédiaire élégante des problèmes de vérification définis sur des Systèmes de Transitions Etiquetées, comme la comparaison par équivalence, la réduction par tau-confluence, l'évaluation de formules de mu-calcul modal sans alternance, ou encore la génération de cas de tests de conformité. Nous proposons DSolve et MB-DSolve, deux nouveaux algorithmes pour la résolution distribuée à la volée de SEBs (contenant un, resp. plusieurs blocs d'équations), et nous les employons comme moteurs de calcul pour quatre outils de vérification à la volée développés au sein de la boîte à outils CADP en utilisant l'environnement OPEN/CAESAR : le comparateur par équivalence BISIMULATOR, le réducteur TAU_CONFLUENCE, l'évaluateur de propriétés temporelles EVALUATOR, et le générateur de cas de tests de conformité EXTRACTOR. Les mesures expérimentales effectuées sur des grappes de machines montrent des accélérations quasi-linéaires et un bon passage à l'échelle des versions distribuées de ces outils par rapport à leurs équivalents séquentiels.

Actuellement la plupart des restitutions en patrimoine historique décrivent les édifices patrimoniaux comme un ensemble d'entités statiques et inaltérables. Toutefois, les sites historiques peuvent avoir une histoire très complexe, parfois riche d'évolutions, parfois seulement partiellement connue grâce aux sources documentaires. Trois aspects importants conditionnent l'analyse et l'interprétation du patrimoine historique. Tout d'abord, les bâtiments peuvent subir des transformations importantes ou ils peuvent disparaître au fil du temps. Deuxièmement, l'incertitude est très fréquente en patrimoine historique sous diverses formes : parfois il est impossible de définir la datation, parfois la forme originelle du bâtiment ou sa position spatiale. Troisièmement, la documentation historique concernant les états passés est hétérogène, douteuse, incomplète, et parfois contradictoire. Cette thèse propose une approche intégrée de modélisation capable d'une part de structurer les entités morphologiques spatiales en fonction du temps, d'autre part de conserver l'historique des évolutions architecturales. De plus, des hypothèses multiples à propos des sites historiques devraient être prises en compte. Comme la géométrie n'est pas suffisante pour comprendre les transformations des sites historiques, une interface de visualisation basée sur des graphes est intégrée pour manipuler les géométries et pour comprendre les transformations des édifices et leurs relations.

Cette thèse propose et analyse de nouvelles méthodes de synthèse logique. L'analyse concerne des outils de la "troisième génération" d'écriture de bases irrédondantes de fonctions booléennes, à savoir les minimiseurs dits symboliques. Cette génération de minimiseurs conduit à la solution optimale plus rapidement et avec moins d'espace mémoire que les heuristiques de la minimisation explicite. Elle permet également le calcul de la forme complémentée minimale sans être exposée à des problèmes d'explosion en complexité, ce qui permet d'aboutir à un choix efficace entre une fonction et son complément. Nous avons abordé ensuite les problèmes de granularité des expressions factorisées. Nous avons proposé une méthode originale de réinjection qui intègre d'une façon concurrente une phase de minimisation symbolique des expressions booléennes. Cette méthode a permis de "corriger" la granularité: d'une part, des expressions booléennes obtenues par la factorisation, d'autre part, des équations obtenues par une description de haut niveau de type VHDL. La méthode proposée peut être également appliquée en tant que minimiseur logique qui tient compte du partage de la logique entre les expressions booléennes, ce qui n'est pas possible avec un minimiseur logique local ou global. Les expériences pratiques et l'application sur les réseaux programmables de type CPLD sont concluantes. Enfin, nous avons proposé une méthode originale de l'exploration de l'espace des solutions des macro-générateurs de type additionneur. Cette méthode est fondée sur le filtrage des solutions générées et l'amélioration par dérivation d'une solution donnée. Cette approche peut être efficacement appliquée sur la macro-génération sous contraintes temporelles

Les contraintes de rapidité et de discrétion imposées à un système moderne de caractérisation du milieu océanique ont conduit au développement de la tomographie passive, définie comme un moyen discret et rapide d'estimation des paramètres d'un canal acoustique. Ce concept fait appel aux signaux existants dans le milieu et transmis par des sources d'opportunité. Les signaux d'opportunité sont inconnus à la réception mais contiennent des informations relatives aux paramètres physiques du canal défini entre la source et le récepteur. Le travail de recherche présenté dans ce mémoire est d´edié à la caractérisation des milieux sous-marins en utilisant des signaux bioacoustiques d'opportunité (sifflements à modulation fréquentielle). La méconnaissance du signal transmis, de la position et de la vitesse de la source acoustique d'opportunité rendent la tomographie passive difficile à mettre en oeuvre. La propagation dans l'environnement océanique et le mouvement inconnu de la source transforment conjointement les signaux d'opportunité enregistrés. Dans un premier temps, nous présentons de nouvelles méthodes d'estimation simultanée des paramètres environnementaux et des déformations engendrées par le mouvement dans le plan d'ambiguïté large-bande, dans un contexte d'émissions actives (le signal transmis est supposé connu). Ces méthodes, permettant de compenser les effets du mouvement dans les scénarios d'´emissions actives, sont appliquées et validées sur différents jeux de données simulées et réelles enregistrées en mer. Puis nous nous intéressons à la tomographie océanique acoustique passive sur un unique hydrophone. Dans ce contexte, le signal transmis, la position et la vitesse de la source sont entièrement inconnus. A partir des estimateurs développés pour les scénarios d'émissions actives, nous présentons une nouvelle méthodologie permettant d'estimer les paramètres environnementaux en utilisant des vocalises de mammifères marins enregistrées sur un unique hydrophone. Les informations extraites sur les signaux naturels d'opportunité sont ensuite utilisées pour estimer la position puis le vecteur vitesse de la source d'opportunité. Ces méthodes sont appliquées et validées sur différents jeux de données simulées et réelles enregistrées en mer.