Le procédé d'hydroformage repose sur la déformation plastique d'une forme première (tôle, tube) sous l'action combinée d'un fluide sous pression et d'un outil rigide. L'objet de ces travaux est de contribuer à la modélisation de ce procédé. Cette contribution s'articule autour de trois problématiques essentielles: la caractérisation rhéologique, la prédiction des défauts de striction et le développement d'algorithmes adaptés à la simulation de l'hydroformage. - L'identification expérimentale des courbes d'écrouissage en grandes déformations est nécessaire afin d'éviter toute extrapolation intempestive au cours d'une simulation numérique. A cet effet, un essai de gonflage circulaire, analysé selon un modèle homogène, a été mis en place. Des résultats très satisfaisants ont pu ainsi être obtenus grâce notamment à la mesure locale du rayon de courbure de la tôle. - La prédiction de la striction au cours de l'opération d'hydroformage est essentielle pour la maîtrise de ce procédé. Dans cette optique, le Critère de Force Maximum Modifié a fait l'objet d'une étude détaillée. Il a été démontré que la forme locale de la surface de charge constitue le facteur le plus influant sur les prédictions du modèle. Le problème de la dépendance de la CLF au trajet a été également abordé, nous avons pu mettre l'accent sur l'utilité d'une représentation des CLF dans l'espace des déformations équivalentes afin de s'affranchir de cette dépendance. Enfin, nous avons proposé un modèle intégrant l'effet de la sensibilité à la vitesse de déformation. La confrontation avec les résultats expérimentaux de tôles en acier a montré une amélioration des prédictions mais le modèle reste relativement conservatif. - Le troisième volet a concerné la modélisation numérique. D'une part, un schéma d'intégration implicite reposant sur une actualisation itérative du maillage et tenant compte des dérivées du domaine a pu être testé. Les résultats ont montré la faible influence des dérivées du domaine. En revanche, l'actualisation itérative semble améliorer la conservation du volume. D'autre part, il est bien établi que certains matériaux peuvent présenter un potentiel de déformation au-delà du pic de pression. Pour une simulation correcte de ce potentiel de déformation, nous avons développé plusieurs variantes de la méthode de continuation. Reposant sur une technique de prédiction-correction, ces méthodes ont permis de dépasser le pic qui reste un point infranchissables pour la méthode conventionnelle de contrôle de pression.

Résumé indisponible

Dans un processus de photoassociation, deux atomes froids de césium absorbent un photon au cours de leur collision pour former une molécule froide électroniquement excitée dans un niveau de rotation et de vibration défini. L'énergie cinétique initiale des atomes libres étant très faible, le processus est résonnant et permet d'effectuer une spectroscopie à haute résolution qui donne accès à des niveaux de vibration de grande élongation, proches de la limite de dissociation. Nous présentons dans cette thèse les spectres des états corrélés à la limite 6S+6P et mettons en évidence le caractère purement longue distance de l'état 1u (6S+6P3/2). Cet état consiste en une paire d'atomes uniquement lié à 1,5 nm par l'interaction électrostatique multipolaire. La modulation de l'intensité des raies pour une progression vibrationnelle donnée reflète la structure nodale de la fonction radiale en onde s de deux atomes en collision dans l'état fondamental. La photoassociation par excitation de l'état 0g-(6S +6P3/2) d'atomes polarisés permet de déterminer les valeurs de la longueur de diffusion de l'état triplet du césium (aT = -530 a0) et du coefficient de Van der Waals de l'état fondamental moléculaire (C6 = 6510 u.a.). La photoassociation d'atomes froids de césium permet aussi la formation de molécules froides dans l'état fondamental singulet ou triplet après émission spontanée des molécules photoassociées. Différents schémas de formation sont caractérisés. Notament, les potentiels en double-puits 0g-(6S+6P3/2) et 1u(6S+6P3/2) présentent un point de Condon à distance intermédiare et constituent un cas idéal pour la formation de molécules froides. Le nuage moléculaire froid est analysé : des températures aussi basses que 20 microKelvins ont été mesurées et la distribution des niveaux de rotation et de vibration est étudiée. Les efficacités pour la réaction de photoassociation et pour la formation de molécules froides sont mesurées et comparées aux calculs théoriques.

Les images satellitaires ont trouvées une large application pour l'analyse des ressources naturelles et des activités humaines. Les images à haute résolution, e.g., SPOT5, sont très nombreuses. Ceci donne un grand intérêt afin de développer de nouveaux aspects théoriques et des outils pour la fouille d'images. L'objectif de la thèse est la fouille non-supervisée d'images et inclut trois parties principales. Dans la première partie nous démontrons le contenu d'images à haute résolution. Nous décrivons les zones d'images par les caractéristiques texturelles et géométriques. Les algorithmes de clustering sont présentés dans la deuxième partie. Une étude de critères de validité et de mesures d'information est donnée pour estimer la qualité de clustering. Un nouveau critère basé sur la Longueur de Description Minimale (LDM) est proposé pour estimer le nombre optimal de clusters. Par ailleurs, nous proposons un nouveau algorithme hiérarchique basé sur le critère LDM à noyau. Une nouvelle méthode de ''combinaison de clustering'' est présentée dans la thèse pour profiter de différents algorithmes de clustering. Nous développons un algorithme hiérarchique pour optimiser la fonction objective basée sur une matrice de co-association. Une deuxième méthode est proposée qui converge à une solution globale. Nous prouvons que le minimum global peut être trouvé en utilisant l'algorithme de type ''mean shift''. Les avantages de cette méthode sont une convergence rapide et une complexité linéaire. Dans la troisième partie de la thèse un protocole complet de la fouille d'images est proposé. Différents clusterings sont représentés via les relations sémantiques entre les concepts.

Depuis l'avènement en Perse, il y a 2500 ans, du service postal, la capacité à transmettre un maximum d'information sur une longue distance et en un minimum de temps s'avère être une des quêtes de l'Homme. Aujourd'hui, les moyens de télécommunications modernes font parti de notre quotidien et nous permettent de partager quasi-instantanément de la voix, de l'image ou du texte avec un interlocuteur situé à des milliers de kilomètres. Le cadre général dans lequel s'insère ce manuscrit de thèse est celui de l'étude de la couche physique des télécommunications, mais de façon plus précise, celui de la recherche d'outils de traitement tout-optique de l'information destinés particulièrement aux futurs systèmes de transmission à à très haut débit. En effet, de nombreuses recherches ces dernières années ont montré la variété d'applications possibles à partir de l'amplification paramétrique, une nouvelle technique d'amplification sur fibre optique offrant une très grande bande passante. Nous présentons dans ce manuscrit une étude théorique des amplificateurs paramétriques utilisant deux lasers de pompe. Nous analyserons également le bruit et la distorsion des signaux de télécommunications apporté par la modulation de phase des pompes, requise pour supprimer la rétro-diffusion Brillouin stimulée dans toute fibre optique. Nous donnerons la démonstration théorique que deux ondes pompes modulées en opposition de phase annulent toute distorsion des signaux. Nous présenterons également une mise en oeuvre expérimentale d'un amplificateur paramétrique optique, intégrant un nouveau modulateur de phase double réalisé en partenariat avec la société Photline Technologies. Celui-ci nous a permis de démontrer une qualité d'amplification optique ainsi qu'une conversion de longueur d'onde quasi-transparente. La troisième partie présente ce qui constitue, à notre connaissance, la première mesure distribuée du gain paramétrique le long de la fibre optique servant de milieu amplificateur. Ces travaux ont été réalisés en collaboration avec l'Ecole Fédérale Polytechnique de Lausanne (EPFL), en Suisse. Ils sont basés sur l'analyse Brillouin dans le domaine temporel. La quatrième et dernière partie de ce manuscrit relate une étude théorique et numérique d'une boucle à réplication d'impulsion laser intégrant un amplificateur paramétrique. Ces travaux ont été réalisés dans le cadre d'un contrat avec le Commissariat à l'Energie Atomique (CEA). L'originalité de cette étude réside dans l'exploitation des amplificateurs paramétriques dans la fenêtre de longueurs d'ondes autour de 1 μm en utilisant des fibres à cristal photonique.

Les méthodes de retournement temporel (RT) en micro-ondes sont appliquées à l'amplification d'impulsions et à l'imagerie. Lors d'une première partie, une chambre réverbérante ouverte sur sa face avant permet d'engendrer un champ diffus tout en laissant s'échapper l'énergie afin de focaliser le champ par RT à l'extérieur. La compression spatiotemporelle après RT produit une impulsion de forte amplitude et confère au dispositif un caractère auto-adaptatif en position et en polarisation. La seconde partie traite expérimentalement et théoriquement de la méthode DORT (décomposition de l'opérateur de RT). Le cas d'un cylindre diélectrique est examiné dans le but de retrouver ses paramètres. L'imagerie de deux cibles séparées d'une distance sub-longueur d'onde est alors abordée. Un critère de résolution déterminant le niveau de bruit à partir duquel la résolution des cibles échoue est notamment extrait. La méthode est ensuite appliquée à la localisation de personnes mobiles derrière un mur. La possibilité de suivre un déplacement est illustrée en prenant en compte la propagation à l'intérieur du mur. L'influence du déplacement d'une cible ponctuelle pendant l'acquisition de la matrice de transfert sur les invariants de l'opérateur de RT est aussi examinée. Enfin, une technique d'imagerie passive fondée sur les corrélations du bruit ambiant est expérimentalement mise en évidence en micro-ondes. Suivant une analogie avec le RT, la corrélation de signaux de bruit large bande mène à la fonction de Green entre deux antennes et ainsi à la localisation de cibles. La localisation passive d'une personne est aussi abordée en « bande étroite » grâce à l'émission d'une borne WIFI.

Les déchets radioactifs sont stockés dans des milieux poreux multi-phasiques. Un nouveau modèle d'endommagement, formulé en variable indépendantes (contrainte nette, succion et contrainte thermique) est proposé pour ces géomatériaux. La variable d'endommagement est un tenseur d'ordre deux, dont les valeurs principales croissent avec la tension. Les relations contrainte/déformation sont dérivées de l'énergie libre, dont l'expression est postulée. Les rigidités dégradées sont calculées en appliquant le principe de l'Energie Elastique Equivalente pour chaque variable d'état. La fissuration est prise en compte dans les transferts d'humidité, au moyen de longueurs internes. Le modèle d'endommagement a été intégré dans le code d'Eléments Finis Θ-Stock. Le modèle mécanique a été validé en comparant des résultats numériques à des résultats expérimentaux et théoriques. Les tendances données par le modèle dans les études paramétriques sur des configurations réalistes complexes sont bonnes.

Les résultats obtenus dans cette thèse portent principalement sur l'étude des "communications dans les réseaux optiques par multiplexage en longueur d'onde". Ils s'inscrivent dans une thématique d'allocation des ressources en vue de réaliser des communications dans un réseau. La problématique générale que nous avons considérée peut se résumer de la manière suivante. Il s'agit de satisfaire dans un réseau optique une famille de requêtes de connexion, appelée instance de communication et formée de couples de noeuds (source, destination). La satisfaction d'une requête passe par l'attribution d'un chemin dans le réseau et d'une longueur d'onde sur les liens utilisés, avec la contrainte que deux requêtes ne peuvent pas utiliser le même lien avec la même longueur d'onde. L'objectif dans ce cadre est de minimiser l'utilisation des ressources optiques, c'est-à-dire le nombre total de longueurs d'onde permettant de satisfaire l'instance donnée. Dans le chapitre 1, nous présentons la technologie optique pour les télécommunications, afin de préciser le cadre technique de notre recherche et d'aider le lecteur informaticien à la compréhension des contraintes physiques sous-jacentes à la modélisation théorique. Dans le chapitre 2, nous posons la problématique étudiée au cours de la thèse et nous donnons la modélisation qui a servi de base à nos recherches. Le chapitre 3 est une synthèse des résultats obtenus dans la littérature concernant principalement le problème du routage optique. Le reste de la thèse est constituée des annexes qui rassemblent les articles publiés, dans le format des rapports de recherche.

La miniaturisation des composants électroniques qui permet aujourd'hui une intégration à grande échelle a été possible grâce aux innovations des procédés de fabrication. Ces modifications affectent profondément le comportement électrique des transistors MOS lorsque la longueur de grille devient inférieure à 100nm, altérant notre compréhension physique de ce dispositif. Ce travail de thèse se situe dans le domaine de l'étude des performances des transistors fabriqués dans les filières avancées (technologies sub-45nm) et l'analyse de leur réponse électrique. Il propose d'améliorer les méthodologies existantes et apporte de nouvelles techniques d'extraction qui permettent une analyse des paramètres électriques valide dans un environnement industriel, sur des transistors courts. L'utilisation des ces nouvelles techniques permet une compréhension physique plus juste, utile pour prédire les performances des technologies futures.

Les codes source-canal conjoints sont des codes réalisant simultanément une compression de données et une protection du train binaire généré par rapport à d'éventuelles erreurs de transmission. Ces codes sont non-linéaires, comme la plupart des codes de source. Leur intérêt potentiel est d'offrir de bonnes performances en termes de compression et de correction d'erreur pour des longueurs de codes réduites.La performance d'un code de source se mesure par la différence entre l'entropie de la source à compresser et le nombre moyen de bits nécessaire pour coder un symbole de cette source. La performance d'un code de canal se mesure par la distance minimale entre mots de codes ou entre suite de mots de codes, et plus généralement à l'aide du spectre des distances. Les codes classiques disposent d'outils pour évaluer efficacement ces critères de performance. Par ailleurs, la synthèse de bons codes de source ou de bons codes de canal est un domaine largement exploré depuis les travaux de Shannon. Par contre des outils analogues pour des codes source-canal conjoints, tant pour l'évaluation de performance que pour la synthèse de bons codes restaient à développer, même si certaines propositions ont déjà été faites dans le passé.Cette thèse s'intéresse à la famille des codes source-canal conjoints pouvant être décrits par des automates possédant un nombre fini d'états. Les codes quasi-arithmétiques correcteurs d'erreurs et les codes à longueurs variables correcteurs d'erreurs font partie de cette famille. La manière dont un automate peut être obtenu pour un code donné est rappelée.A partir d'un automate, il est possible de construire un graphe produit permettant de décrire toutes les paires de chemins divergeant d'un même état et convergeant vers un autre état. Nous avons montré que grâce à l'algorithme de Dijkstra, il est alors possible d'évaluer la distance libre d'un code conjoint avec une complexité polynomiale.Pour les codes à longueurs variables correcteurs d'erreurs, nous avons proposé des bornes supplémentaires, faciles à évaluer. Ces bornes constituent des extensions des bornes de Plotkin et de Heller aux codes à longueurs variables. Des bornes peuvent également être déduites du graphe produit associé à un code dont seule une partie des mots de codes a été spécifiée.Ces outils pour borner ou évaluer exactement la distance libre d'un code conjoint permettent de réaliser la synthèse de codes ayant des bonnes propriétés de distance pour une redondance donnée ou minimisant la redondance pour une distance libre donnée.Notre approche consiste à organiser la recherche de bons codes source-canal conjoints à l'aide d'arbres. La racine de l'arbre correspond à un code dont aucun bit n'est spécifié, les feuilles à des codes dont tous les bits sont spécifiés, et les nœuds intermédiaires à des codes partiellement spécifiés. Lors d'un déplacement de la racine vers les feuilles de l'arbre, les bornes supérieures sur la distance libre décroissent, tandis que les bornes inférieures croissent. Ceci permet d'appliquer un algorithme de type branch-and-prune pour trouver le code avec la plus grande distance libre, sans avoir à explorer tout l'arbre contenant les codes. L'approche proposée a permis la construction de codes conjoints pour les lettres de l'alphabet. Comparé à un schéma tandem équivalent (code de source suivi d'un code convolutif), les codes obtenus ont des performances comparables (taux de codage, distance libre) tout en étant moins complexes en termes de nombre d'état du décodeur.Plusieurs extensions de ces travaux sont en cours : 1) synthèse de codes à longueurs variables correcteurs d'erreurs formalisé comme un problème de programmation linéaire mixte sur les entiers ; 2) exploration à l'aide d'un algorithme de type A* de l'espace des codes de à longueurs variables correcteur d'erreurs.