On propose une méthode générale de modélisation numérique des équations aux dérivées partielles à l'aide de la méthode des éléments finis. On expose son application aux équations de la physique des milieux continus. On construit un système informatique expert mettant en œuvre ces résultats, on le teste et on l'applique à plusieurs études : phénomènes magnétiques, phénomènes thermodynamiques, équations de Navier-Stokes

Cette thèse est dédiée au développement et à l'application de méthodes ensemblistes pour l'estimation d'état et de paramètres pour des systèmes non-linéaires. Deux types de modèles sont considérés : modèles donnés par des fonctions explicites à variables complexes et modèles décrits par des équations différentielles ordinaires (EDOs). L'identification de paramètres de modèles décrits par des fonctions explicites est réalisée à l'aide des techniques d'inversion ensembliste par analyse par intervalles. Par ailleurs, les modèles utilisés sont à variables complexes ; dans ce cas l'évaluation de la sortie se fait à l'aide d'intervalles complexes. Dans ce travail, nous avons développé une arithmétique des intervalles complexes basée sur la représentation polaire. La multiplication et la division sont des opérations exactes, mais la somme et la différence ne le sont pas. Pour réduire le pessimisme introduit par ces dernières opérations, nous avons développé des algorithmes assurant les propriétés de minimalité. Cette bibliothèque a été associée aux méthodes d'inversion ensembliste dans le cadre de l'estimation de paramètres de modèles diélectriques, d'une part, et pour l'identification de paramètres thermophysiques d'autre part. Dans la deuxième partie de cette thèse, des algorithmes d'estimation d'état pour des systèmes décrits par des équations différentielles sont présentés. Ils permettent de fournir, à chaque instant, un ensemble contenant d'une manière garantie, toutes les valeurs du vecteur d'état compatibles avec les mesures et avec les bornes d'erreurs. Ces estimateurs sont basés sur des méthodes d'intégration garantie d'EDOs et sur l'inversion ensembliste. Enfin, une technique d'estimation de paramètres de modèles décrits par des EDOs est proposée.

L'objet de cette thèse est la construction d'un dispositif expérimental, et en particulier d'un laser continu, accordable à 205nm, pour la mesure du déplacement de Lamb du niveau fondamental de l'atome d'hydrogène. le chapitre 1 du mémoire présente le déplacement de Lamb d'un point de vue historique, et l'intérêt que présente sa mesure, tant pour la métrologie que pour tester l'électrodynamique quantique. Le chapitre 2 est consacré à un résumé de la théorie de l'atome d'hydrogène. Le principe de l'expérience repose sur la comparaison de deux fréquences qui sont dans un rapport quatre : celles des transitions à deux photons 2S-6S ou 2S-6D et 1S-3S. Le chapitre 3 décrit le dispositif expérimental utilisé pour mesurer la transition 2S-6D, qui est excitée par un laser titane -saphir à 820nm. Le rayonnement à 205nm nécessaire à l'excitation de la transition 1S-3S est obtenu en doublant deux fois la fréquence du laser titane-saphir. Ces deux doublages successifs sont faits dans des cristaux non linéaires placés dans des cavités de surtension externes. Le chapitre 4 est entièrement consacré aux doublages de fréquence : après des rappels théoriques d'optique non linéaire, les deux cavités sont présentées en détail, ainsi que les résultats obtenus. Enfin, le chapitre 5 présente toute la recherche du signal sur la transition 1S-3S : la construction d'un jet d'atomes dans l'état fondamental et la mise au point du système de détection. Ce travail a permis d'obtenir une mesure préliminaire du déplacement de Lamb du niveau fondamental de l'atome d'hydrogène : L(1S) = 8172.850 (174) MHz dont le résultat est en très bon accord, aussi bien avec les mesures précédentes qu'avec les résultats théoriques les plus récents.

Cette thèse est une étude théorique et expérimentale sur la formation de liposomes par des procédés utilisant le dioxyde de carbone (CO2) supercritique. Les liposomes sont des vésicules sphériques nano- ou micrométriques dont la paroi est composée d'une ou plusieurs bicouches concentriques de phospholipides séparant un milieu aqueux d'un autre. L'efficacité des procédés supercritiques, comme alternative aux méthodes conventionnelles pour former des liposomes, a déjà été démontrée. Une synthèse critique des résultats de la littérature a été réalisée au cours de ce travail. Parallèlement, une étude fondamentale sur le comportement des systèmes ternaires CO2/eau/surfactant sous pression a été menée et il a été démontré qu'en fonction du type d'émulsions formées au cours du procédé sous pression, les caractéristiques des liposomes produits lors de la dépressurisation sont différentes. Le procédé Supercritical Anti-Solvent a été utilisé pour microniser des phospholipides. Des liposomes sphériques, multilamellaires et de tailles comprises entre 0,1 et 1µm ont ensuite été formés de manière reproductible par hydratation des phospholipides micronisés. Dans les mêmes conditions (même solvant), la méthode conventionnelle de Bangham n'a pas donné des résultats reproductibles et les liposomes formés n'étaient pas tous sphériques. Le résultat majeur de ce travail est la mise au point d'un procédé supercritique innovant. Innovant car continu et en une seule étape, le procédé Continuous Anti-Solvent permet de former de manière reproductible des liposomes sphériques, multilamellaires et de tailles comprises entre 10 et 100µm.

Le cadre général de ce travail concerne la modélisation du comportement mécanique sous impact de merlons de protection contre les chutes de blocs rocheux. Les ouvrages ciblés sont à technologie cellulaire, et sont composés de gabions à enveloppe grillagée remplis de matériaux granulaires (pierres concassées ou mélange de sable et de déchiquetas de pneus). L'absence de recommandations relatives au dimensionnement de ce type de structure de protection a conduit à la mise en place du projet ANR REMPARe couplant expérimentations in situ et modélisations numériques. Dans le cadre de ce projet, une méthode numérique innovante couplant les approches discrète et continue a été développée. Localement, la méthode des éléments discrets est employée pour conserver la précision de modélisation dans les zones fortement sollicitées proches de l'impact. Le remblai technique aval, peu sollicité, a été discrétisé par une méthode continue aux différences finies. La jonction entre ces deux zones fait l'objet d'un couplage basé sur des critères de conservation d'énergie et de condition cinématique en déplacement. Un modèle de comportement pour les gabions a été proposé et calibré à partir d'essais expérimentaux réalisés à l'échelle de la cellule. Des simulations d'impacts sur un merlon de protection prototype ont été menées puis validées par comparaison avec les mesures issues des expérimentations en vraie grandeur. Afin d'améliorer la compréhension des mécanismes engendrés, l'étude paramétrique portant sur les propriétés des matériaux et les caractéristiques d'impact a permis d'évaluer leur influence sur le mécanisme d'impact.

Les marchés actuels sont caractérisés par une grande compétitivité. Cette compétitivité a mis les entreprises, notamment celles d'envergure internationale, dans une situation de recherche de compromis entre des objectifs et des contraintes de plus en plus forts et contradictoires. Cet environnement nous a conduit à développer un système de pilotage et de contrôle de production qui ne soit pas seulement capable de réagir efficacement mais qui soit également en évolution permanente pour améliorer ses performances et la qualité des solutions qu'il propose en terme d'ordonnancement. Ce système doit pouvoir exploiter au mieux les ressources de production. Pour ce faire, ces ressources subissent régulièrement des entretiens préventifs ou des corrections suite aux pannes, ce qui les rend indisponibles à ces moments. Les systèmes de pilotage de production doivent prendre en considération ces indisponibilités afin de mieux contrôler et commander le système de production. Par conséquent, production et maintenance doivent être gérées conjointement au sein du système de pilotage. Dans ce cadre, l'objectif de cette thèse est de proposer un système de pilotage qui soit réactif et capable d'améliorer en permanence ses performances. Dans cet objectif, un système basé sur l'approche multi-agent et l'apprentissage par renforcement multi-objectifs a été développé, ces techniques permettent au système d'être réactif et adaptatif à son environnement. Le système développé a été testé sur un cas réel qui est une unité de fabrication des huiles finies. Les expérimentations ont donné des résultats satisfaisants ouvrant la porte à de nouvelles perspectives.

Dans ce travail intitulé « Conception de modulateurs Sigma-Delta d'ordre élevé pour convertisseurs analogique-numérique en parallèle », les travaux ont été menés dans le contexte de la radio logicielle. La voie proposée pour la réalisation du convertisseur analogique-numérique, élément clé et bloquant de la radio logicielle, est une structure composée de plusieurs modulateurs sigma-delta passe-bande à temps continu mis en parallèle. Après avoir énuméré les différentes spécifications auxquelles le modulateur doit satisfaire, une nouvelle méthodologie de design à été proposé. Un état de l'art des différentes technologies de réalisation des filtres du modulateur a été réalisé, aboutissant à l'utilisation de résonateurs à filtres à ondes d'onde de Lamb. Les caractéristiques de ce résonateur ont été présentées ainsi qu'un circuit de commande permettant la compensation des inconvénients. Après avoir défini une novelle topologie et le résonateur, une méthode pour optimiser les performances de chaque modulateur en fonction des imperfections de l'électronique utilisée pour l'implémentation en fonction de la fréquence centrale de chacun d'entre eux a été proposé. Un travail d'analyse permettant de mettre en évidence l'influence de chacun des défauts électroniques importants sur les performances globales du modulateur, que ce soit en termes de résolution ou de stabilité, a été développé. Le comportement de la fonction de transfert de signal (STF) du système optimisé ne correspond pas à un filtre sélecteur de bande. Une modification originale de la topologie du modulateur permettant l'amélioration de la réponse en fréquence de la STF sans modifier la fonction de transfert du bruit (NTF) a été proposée. Enfin, la réalisation d'un modulateur sigma-delta à temps continu du deuxième ordre au niveau layout a été effectuée. La réduction de l'ordre est justifiée par le fait que l'intégration d'un filtre à onde de Lamb n'est pas encore un processus bien maitrisé et que son utilisation dans un sixième ordre pourrait aboutir à un circuit inexploitable en termes d'analyse.

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de modèles avec très grands espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes couramment utilisés, on se place dans le cadre des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la représentation de très grands systèmes par la composition de sous-systèmes (automates), où ces automates interagissent entre eux par des événements synchronisants ou des taux et des probabilités fonctionnels. <br /><br />La première partie de cette thèse s'intéresse au calcul des indices de performances transitoires pour des grands modèles. Lorsqu'on calcule des indices de performances transitoires, tel que la disponibilité ponctuelle, la méthode d'uniformisation est la plus souvent utilisée. Cependant le nombre d'itérations vecteur-matrice peut être très grand ce qui devient critique pour de très grands modèles. Des méthodes de détection du régime stationnaire peuvent réduire le coût de calcul en arrêtant les itérations lorsque le régime stationnaire est atteint. Dans cette thèse, nous proposons une adaptation et une comparaison de différentes méthodes de détection du régime stationnaire lorsque la matrice est stockée sous un format tensoriel. Les méthodes sont comparées selon deux critères : nombre d'itérations et précision des résultats.<br /><br />Dans la deuxième partie, nous présentons le formalisme SAN à temps discret. La définition formelle du formalisme SAN présentée dans cette thèse nous permet de définir la sémantique des modèles en temps discret que nous souhaitons exploiter. Nous définissons une nouvelle algèbre tensorielle (appelée Algèbre Tensorielle compleXe - ATX) capable d'exprimer cette sémantique. Pour cela, trois opérateurs sont définis afin de décrire différents comportement d'un système, tels que la simultanéité, la concurrence et le choix. Enfin, le principal apport de cette thèse réside dans la définition d'une formule tensorielle (appelée Descripteur discret) qui utilise cette nouvelle algèbre pour représenter un modèle SAN à temps discret de façon compacte. Nous montrons que ce descripteur discret permet aisément de générer la chaîne de Markov représentée par le modèle SAN.

Au cours de ce travail, nous avons effectué une étude méthodologique pour la préparation de banques de triazoles, en utilisant la réaction de la chimie " clic ". Ces études ont démontré que la réaction entre un alcyne vrai activé et un azoture est possible dans les conditions sans solvant et sans catalyseur pour conduire un mélange d'isomères 1,4 et 1,5 avec un rendement moyen de 76%. Nous avons remarqué que l'addition des métaux (SiO2, MgCl2, Al2O3, FeCl3 et CuCl2) permettait d'améliorer les rendements des réactions, et on a observé que la silice est la meilleur catalyseur, alors que la catalyse au cuivre (I) donne une sélectivité complète pour l'isomère 1,4. Ce résultat est bien confirmé par l'étude de la régiosélectivité qui montre que les molécules contenant deux types d'alcynes (activé et non activé) peuvent êtres fonctionnalisés séquentiellement et sélectivement. Nous avons aussi préparé les bis-triazoles en deux étapes : la première sur l'alcyne activé sans catalyseur et la deuxième étape se fait sur l'alcyne non activé par catalyse au cuivre (I), ce qui permet de dire que les alcynes terminaux portant un groupement carbonyle en  de la triple liaison sont beaucoup plus réactifs.Nous avons également pu étendre l'application de la catalyse supportée dans la réaction de Huisgen dans les domaines de la synthèse de dérivés de produits naturels et d'éthers couronne. En utilisant la synthèse classique et en flux continu, nous avons pu préparer des structures originales dérivées de l'acide quinique porteuse de cycles triazoliques. Ces composés seront testés pour leur activité biologique. Nous avons également entrepris la synthèse de dérivés nouveaux d'éthers couronnes azotes afin d'incorporer à ces structures des bras contenant un ou deux noyaux triazoles. L'obtention de ces substances permettra d'ouvrir l'étude de leur propriétés complexantes dans l'avenir

Nos travaux portent sur l'estimation non paramétrique de la densité d'un processus à temps continu, faiblement stationnaire et à valeurs dans Rd lorsqu'une trajectoire est observée continûment sur [0,T]. Dans le premier chapitre, nous étudions les vitesses optimale et suroptimale des convergences L2 et presque sûres ainsi que la normalité asymptotique des estimateurs par histogrammes et polygones de fréquences dans le cadre fortement mélangeant. Le deuxième chapitre est consacré aux vitesses L2 du régressogramme pour estimer la régression quand on observe (Xt,Yt) à valeurs dans RdxRd' sur [0,T]. Le troisième chapitre reprend l'étude dans L2 de l'histogramme et du polygone de fréquences pour des observations discrétisées en introduisant différents schémas de discrétisation. En particulier, nous établissons pour le polygone de fréquences des vitesses de convergence qui sont comparables à celles des estimateurs à noyau. Finalement, des simulations viennent valider nos résultats.