L'acoustique picoseconde est basée sur une technique pompe-sonde optique nécessitant l'emploi d'un laser pulsé subpicoseconde permettant la génération et la détection d'impulsions acoustiques ultrabrèves. L'onde acoustique picoseconde générée est par nature longitudinale lorsque le transducteur opto-acoustique est isotrope. Ainsi, jusqu'à présent, dans la plupart des cas, seul le mode acoustique longitudinal a pu être employé au diagnostic mécanique de structures submicroniques. La mise en oeuvre d'une source acoustique picoseconde d'ondes transverses ouvrirait la voie à de nouvelles perspectives expérimentales. <br /><br />Dans ce travail de thèse, la génération d'ondes acoustiques transverses picosecondes par le mécanisme de génération thermoélastique est envisagée analytiquement et exploitée expérimentalement à partir de transducteurs opto-acoustiques anisotropes, le cas échéant, des substrats métalliques désorientés. La problématique concerne tant la génération thermoélastique que la détection élasto-optique des ondes acoustiques transverses picosecondes.<br /><br />En premier lieu, la théorie de la génération thermoélastique dans des matériaux anisotropes est présentée afin de caractériser la potentialité de la génération thermoélastique et de concevoir les mécanismes propres à la génération des ondes transverses. Puis la théorie de la détection élasto-optique est exposée afin d'étayer l'opportunité d'utilisation du substrat métallique anisotrope en tant que capteur d'ondes transverses picosecondes. Le rôle bivalent du substrat en tant que transducteur et capteur d'ondes transverses picosecondes est opportun.<br /><br />En second lieu, les expériences picosecondes réalisées avec des substrats monocristallins de zinc désorientés sont présentées et interprétées grâce aux prédictions théoriques. Les expériences attestent de l'efficacité de la génération in situ des ondes acoustiques transverses picosecondes et de la génération par réflexion-conversion de modes des ondes acoustiques longitudinales picosecondes. Les simulations numériques concernant les résultats expérimentaux permettent la mesure des coefficients photo-élastiques du zinc. Enfin, l'extrapolation à des substrats polycristallins métalliques permet de démontrer l'efficacité de la génération thermoélastique à partir de cristallites non texturés (001).

La métrologie n'est appliquée dans la recherche, l'ingénierie et la conception des réseaux Internet que depuis peu de temps (le début des années 2000), mais cette approche est de plus en plus populaire et devrait tendre à se généraliser. Ses principes consistent à étudier, caractériser, analyser et modéliser le tra_c existant sur les liens de l'Internet, a_n de comprendre les principes qui régissent le comportement du réseau par rapport à un tra_c qui s'avère méconnu. En particulier, garantir la qualité de service (QdS) dans l'Internet est un problème essentiel aujourd'hui. La métrologie du tra_c Internet, et notamment son analyse montre que les mécanismes de transport actuels (TCP) introduisent des propriétés de LRD (Long Range Dependence) qui se traduisent par une grande variabilité du tra_c et obligent à surdimensionner les ressources de communication [20]. L'objectif de cette thèse est de trouver des protocoles de transport qui réduisent cette LRD a_n d'optimiser l'utilisation des ressources de communication. Ainsi, les nouveaux mécanismes protocolaires et architecturaux de l'Internet pourront être parfaitement adaptés aux besoins des utilisateurs et aux contraintes du tra_c [Lar03a]. Finalement, c'est le processus de recherche et d'ingénierie des réseaux qui sera modi_é en lui ajoutant une phase métrologique en amont permettant de collecter des données et des connaissances sur l'existant, qui permettront ensuite de concevoir et mettre en ÷uvre de nouveaux réseaux optimisés. Ainsi, ce travail de thèse présente une nouvelle approche pour l'Internet, dont l'objectif est d'améliorer la gestion du tra_c, la QdS et plus généralement, les services réseaux. Cette approche, appelée MBN (Measurement Based Networking), repose principalement sur l'utilisation de techniques de métrologie actives et passives qui permettent de mesurer en temps réel di_érents paramètres du réseau et de son tra_c pour ainsi réagir très rapidement et très précisément à des évènements spéci_ques se produisant dans le réseau (apparition de congestion par exemple). Nous illustrerons en particulier l'approche MBN au travers du développement d'un mécanisme de contrôle de congestion orienté mesures intitulé MBCC (Measurement Based Congestion Control) et nous l'évaluerons au travers de simulations NS-2 [Lar05c]. Nous montrerons, en particulier, comment ce nouveau mécanisme permet d'améliorer les caractéristiques du tra_c ainsi que la QdS dans l'Internet, malgré la complexité et la variabilité du tra_c actuel. En_n, dans la dernière partie de ce travail de thèse nous présenterons comment l'approche MBN et le mécanisme MBCC, en particulier, peuvent garantir une QdS robuste, i.e. capable de fournir la QdS demandée en toutes circonstances, notamment en présence d'attaques de DdS (Déni de Service) [Owe04f]. En e_et, nous utiliserons l'architecture MBA (Measurement Based Architecture) basée sur des mesures du tra_c en temps réel pour s'adapter aux ruptures légitimes ou illégitimes du tra_c s'y produisant en continu. En particulier, nous démontrerons que le mécanisme de congestion MBCC associé à MBA, conçu pour générer des tra_cs réguliers et optimaux, rend l'Internet plus robuste que TCP face aux attaques de DdS.

L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests les tests exécutables pour une cible technologique, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. Nos travaux portent sur deux points. le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil TObiAs a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori.

Ce travail de thèse constitue une contribution théorique et expérimentale aux études sur les effets d'optique non linéaires dans les cristaux photoniques en semiconducteurs III-V. Les cristaux photoniques sont des matériaux artificiels présentant une modulation périodique de l'indice de réfraction à l'échelle de la longueur d'onde de la lumière. En contrôlant les paramètres physiques de ces structures (périodicité, motifs, facteur de remplissage en air...), il est possible de réaliser une véritable ingénierie des propriétés dispersives de la matière pour, par exemple, empêcher la lumière de se propager dans toutes les directions de l'espace. L'objectif de cette thèse est de combiner les propriétés dispersives uniques des cristaux photoniques aux propriétés non linéaires très intéressantes des semiconducteurs III-V afin d'exalter les interactions non linéaires entre la lumière et la matière. Nous verrons que les cristaux photoniques 1D et 2D sont adéquats pour obtenir des effets non linéaires du second ordre (génération de seconde harmonique) efficaces sur de courtes distances car ils permettent de réaliser la condition d'accord de phase dans des matériaux fortement non linéaires comme l'AlxGa1-xAs tout en ralentissant la lumière. Nous montrerons également que les cristaux photoniques 2D en semiconducteurs III-V permettent de réaliser les briques de bases actives pour le traitement du signal tout optique comme des sources lasers, des amplificateurs, des commutateurs ultrarapides...

La coédition d'un texte en langue naturelle et de sa représentation dans une forme interlingue semble le seul moyen de partager la révision du texte vers plusieurs langues. Pour diverses raisons, les graphes UNL sont les meilleurs candidats dans ce contexte. Nous développons un prototype où, dans le scénario avec partage le plus simple, des utilisateurs "naïfs" interagissent directement avec le texte dans leur langue (L0), et indirectement avec le graphe associé. Le graphe modifié est ensuite envoyé au déconvertisseur UNL-L0 et le résultat est affiché. S'il est satisfaisant, les erreurs étaient probablement dues au graphe et non au déconvertisseur, et le graphe est envoyé aux déconvertisseurs vers d'autres langues. Les versions dans certaines autres langues connues de l'utilisateur peuvent être affichées, de sorte que le partage de l'amélioration soit visible et encourageant. Comme les nouvelles versions sont ajoutées dans le document multilingue original avec des balises et des attributs appropriés, rien n'est jamais perdu, et le travail coopératif sur un même document est rendu possible. Du côté interne, des liaisons sont établies entre des éléments du texte et du graphe en utilisant des ressources largement disponibles comme un dictionnaire L0-anglais, ou mieux L0-UNL, un analyseur morphosyntaxique de L0, et une transformation canonique de graphe UNL à arbre. On peut établir une "meilleure" correspondance entre "l'arbre-UNL+L0" et la "structure MS-L0", une treille, en utilisant le dictionnaire et en cherchant à aligner l'arbre et une trajectoire avec aussi peu que possible de croisements de liaisons. Un but central de cette recherche est de fusionner les approches de la TA par pivot, de la TA interactive, et de la génération multilingue de texte.

L'injection d'ondes radiofréquence dans un plasma de tokamak afin d'y générer le courant toroïdal répond à une double exigence. Premièrement, la nature non inductive de la méthode évite le recours aux courants variables circulant dans les bobines, peu compatibles avec l'opération stationnaire d'un futur réacteur. Par ailleurs, il est reconnu que la principale limitation des performances d'un plasma de fusion est causée par la turbulence électromagnétique. Celle-ci peut toutefois être réduite, voire supprimée, en optimisant le profil de courant, ce qu'autorise précisément l'emploi des ondes, dans le cadre des scénarios avancés. Cette thèse traite de l'utilisation de l'onde cyclotronique électronique (EC) en vue de contrôler le profil de courant. S'agissant d'une question cruciale conditionnant l'usage de cette onde dans les plasma chauds, l'effet de la température finie sur la polarisation de l'onde est d'abord étudié dans divers régimes. D'autre part, dans les scénarios avancés, l'association des ondes EC et hybride basse (LH) est prometteuse, du fait de leurs caractéristiques complémentaires. Une large partie de ce travail est donc consacrée à l'étude théorique, numérique et expérimentale des décharges combinées. Les résultats obtenus, parmi lesquels la démonstration analytique d'un effet de synergie entre les deux ondes, montrent clairement l'intérêt de ces scénarios et motivent la mise au point de nouvelles expériences.

Cette thèse explore la thématique des microsystèmes autonomes, notamment la problématique de leur alimentation en énergie. Jusqu'à présent, l'énergie nécessaire pour faire fonctionner ces dispositifs était fournie par une source finie, par exemple une batterie électrochimique. Cela implique, qu'après un certain temps, le réservoir doit être rempli, sinon le dispositif cesse de fonctionner. De plus, un compromis doit être fait entre la taille et la durée de vie du système. L'objectif de ce travail est d'étudier la possibilité d'alimenter de tels systèmes à partir de l'énergie des vibrations mécaniques ambiantes. Nous nous sommes focalisés sur la miniaturisation du dispositif de récupération d'énergie, et sur la possibilité de son élaboration en employant les techniques de micro fabrication et les couches minces piézoélectriques. L'utilisation d'un dispositif de type MEMS permettrait de créer des systèmes autonomes sur une seule puce (SoC) où dans un boîtier (SoP). Au cours de cette thèse nous avons créé des modèles analytiques et par éléments finis des structures de générateurs piézoélectriques. Nous avons conçu et fabriqué les dispositifs en utilisant deux matériaux piézoélectriques : le nitrure d'aluminium (AlN) et le zirconate titanate de plomb (PZT). Nous avons démontré que de telles structures peuvent fournir une puissance de l'ordre de quelques microwatts. De plus, avec des circuits spécifiques de gestion de puissance elles permettent de charger des dispositifs de stockage à partir des vibrations d'une très faible amplitude. Les dispositifs présentés sont pour le moment les seuls microgénérateurs piézoélectriques au monde adaptés aux vibrations ambiantes. Cette thèse s'inscrit dans le cadre du projet VIBES (VIBration Energy Scavenging) qui est un STREP du sixième programme cadre de l'Union Européenne (IST-1-STREP-507911).

La segmentation de personnes dans les images et les vidéos est une problématique actuellement au coeur de nombreux travaux. Nous nous intéressons à la segmentation de personnes debout. Pour cela, nous avons mis au point deux méthodes originales : La première est une continuation d'une méthode de détection efficace. On réalise une pré-segmentation en associant aux segments de contour de l'image une valeur de vraisemblance en tant qu'élément d'une silhouette humaine par une combinaison d'histogrammes de gradients orientés (HOG) et de machines à vecteurs de support (SVM) prises à l'échelle des ces segments. Une recherche d'arbre optimal dans un graphe intégrant les données de la pré-segmentation permet de reconstruire la silhouette de la personne. Enfin, une utilisation itérative de ce processus permet d'en améliorer la performance. La seconde méthode prend en compte l'interaction de l'utilisateur pour une image. Une coupe de graphe est guidée par un gabarit non binaire représentant une silhouette humaine. Nous proposons également un gabarit par parties pour s'adapter à la posture de la personne. Nous avons enfin transposé cette méthode à la segmentation de vidéos et la réalisation automatique de trimaps.

L'acceptation et l'utilisation des services Web en industrie se développent de par leursupport au développement d'application distribuées comme compositions d'entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d'une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l'état de l'art, nous développons une approchesymbolique de façon à éviter des problèmes d'explosion d'espace d'état dus à la largeutilisation de données XML dans les services Web. Cette approche est basée sur desmodèles symboliques (STS), l'exécution symbolique de ces modèles et l'utilisationd'un solveur SMT. De plus, nous proposons une approche de bout en bout, quiva de la spécification à l'aide d'un langage normalisé d'orchestration (ABPEL) etde la possible description d'objectifs de tests à la concrétisation et l'exécution enligne de cas de tests symboliques. Un point important est notre transformation demodèle entre ABPEL et les STS qui prend en compte les spécifications sémantiquesd'ABPEL. L'automatisation de notre approche est supportée par un ensemble d'outilsque nous avons développés.

Cette thèse traite de l'étude numérique des propriétés et des applications des impulsions spatio-temporellement couplées, paquets d'ondes coniques et filaments laser, dans les processus fortement non-linéaires, comme la génération d'harmoniques d'ordre élevé. Nous étudions la redistribution de l'énergie au sein de ces paquets d'ondes en propagation linéaire et non-linéaire. Le flux d'énergie constitue un diagnostic des couplages spatio-temporels que nous avons appliqué à des résultats expérimentaux réels. Nous analysons l'évolution spectrale des filaments dans un gaz et nous obtenons les conditions pour la génération d'impulsions de quelques cycles dans le spectre UV. Nous étudions la génération d'harmoniques d'ordre élevé par des ondes coniques ultra-courtes. En particulier, nous montrons comment leurs propriétés de propagation influencent le champ généré dans la région X-UV. Nous étudions aussi l'interférence des différents chemins quantiques correspondant aux trajectoires électroniques. Enfin, nous obtenons la forme des faisceaux d'Airy stationnaires dans le régime non-linéaire. Pour chaque sujet, nous présentons des résultats expérimentaux qui ont motivé nos travaux ou ont été motivés par nos simulations.