Les systèmes pédagogiques sont apparus récemment à propos des calculs propositionnels (jusqu'à l'ordre supérieur), et consistent à donner systématiquement des exemples des notions (hypothèses) introduites. Formellement, cela signifie que pour mettre un ensemble Delta de formules en hypothèse, il est requis de donner une substitution sigma telle que les instances de formules sigma(Delta) soient démontrables. Cette nécessité d'exemplification ayant été pointée du doigt par Poincaré (1913) comme relevant du bon sens: une définition d'un objet par postulat n'ayant d'intérêt que si un tel objet peut être construit. Cette restriction appliquée à des systèmes formels intuitionnistes rejoint l'idée des mathématiques sans négation défendues par Griss (1946) au milieu du siècle dernier, et présentées comme une version radicale de l'intuitionnisme. À travers l'isomorphisme de Curry-Howard (1980), la contrepartie calculatoire est l'utilité des programmes définis dans les systèmes fonctionnels correspondant: toute fonction peut être appliquée à un argument clos. Les premiers résultats concernant les calculs propositionnels jusqu'au second ordre ont été publiés récemment par Colson et Michel (2007, 2008, 2009). Nous exposons dans ce rapport une tentative d'uniformisation et d'extension au Calcul des Constructions (CC) des précédents résultats. Tout d'abord une définition formelle et précise de sous-système pédagogique du Calcul des Constructions est introduite, puis différents tels sous-systèmes sont déclinés en exemple / Pedagogical formal systems have appeared recently for propositional calculus (up to the higher order), and it consists of systematically give examples of introduced notions (hypotheses). Formally, it means that to use a set Delta of formulas as hypotheses, one must first give a substitution sigma such that all the instances of formulas sigma(Delta) can be proved. This neccesity of giving examples has been pointed out by Poincaré (1913) as a common-sense practice: a definition of an object by means of assumptions has interest only if such an object can be constructed. This restriction applied to intuitionistic formal systems is consistent with the idea of negationless mathematics advocated by Griss (1946) in the middle of the past century, and shown as a more radical view of intuitionism. Through the Curry-Howard isomorphism (1980), the computational counterpart is the utility of programs defined in the associated functional systems: every function can be applied to a closed value. First results concerning propositional calculi up to the second-order has recently been published by Colson and Michel (2007, 2008, 2009). In this thesis we present an attempt to standardize and to extend to the Calculus of Constructions (CC) those previous results. First a formal and precise definition of pedagogical sub-systems of the Calculus of Constructions is introduced, and different such sub-systems are exhibited as examples

Le développement de nouveaux matériaux supraconducteurs et la mise au point de processus de fabrication de câbles comme les films YBaCuO, permettent d'envisager de nouvelles application ou d'en améliorer les performances. Pour l'étude des applications industrielles, il est nécessaire de connaitre les caractéristiques électromagnétiques de ces nouveaux matériaux. Pour tous les supraconducteurs, la difficulté réside dans la reconstitution de la loi électrique locale E(J), à partir des mesures. Cette thèse consiste donc à la mise au point d'outils théoriques et expérimentaux permettant la caractérisation des matériaux supraconducteurs à haute température critique. Les travaux ont principalement été menés sur deux méthodes : - la méthode MB, qui consiste à effectuer des mesures sur une bobine puis d'extraire les propriétés du ruban supraconducteur. - le field mapping, qui repose sur la mesure d'une cartographie de l'induction magnétique. Ces méthodes ont été testée et validée tant au niveau expérimental que théorique / The development of new superconducting materials and of new cables manufacturing processes such as YBaCuO films, allow to consider new application or to improve their performances. For the study of industrial applications, it is necessary to know the electromagnetic characteristics of these new materials. For superconductors, the difficulty lies in the reconstruction of the local electric law E(J), from measurements. This thesis therefore consists in the developing theoretical and experimental tools for characterization of high temperature superconductors. The work has mainly been carried out on two methods: - the MB method, which consists in making measurements on a coil and then extracting the properties of the superconducting tape. - the field mapping, based on the measurement of a map of the magnetic flux density. These methods have been tested and validated both experimentally and theoretically

La simulation de la dynamique des systèmes multicorps avec contact frottant joue un rôle important dans un grand nombre d'applications industrielles.Elle est même devenue une partie importante du développement de nouveaux produits, de la vérification et même de l'optimisation de leur conception pour améliorer les anciens produits.Les travaux présentés dans cette thèse font partie d'une collaboration entre l'équipe BiPoP, équipe de recherche de l'INRIA Grenoble, et Schneider Electric.Le but principal de ces travaux est de comprendre l'influence du jeu dans les articulations, ainsi que l'influence du dimensionnement industriel et les tolérances géométriques sur lecomportement global des liaisons mécaniques. Plus spécifiquement nous avons étudié le mini-disjoncteur C-60 (domaine dans lequel la sécurité humaine doit être garantie), pour répondre à cette demande de robustesse, tout en respectant les tolérances sur les pièces constituant le disjoncteur C-60.Le jeu radial dans les articulations pivot est une source de variabilité dans les conditions initiales du système, mais également dans la dégradation de ses performances.La dégradation du système se présente toujours sous forme de vibrations, de bruit, de forces de réactions très grandes dans les articulations, de mauvaise précision et exactitude de la sortie.Le but est d'étudier l'influence des conditions initiales et le déplacement hors-plan, ainsi que l'effet de polarisation en trois dimensions.Un objectif supplémentaire est de développer un banc d'essai virtuel efficace pour reproduire les mesures obtenues sur un vrai banc d'essai en laboratoire, en utilisant la plateforme logicielle SICONOS qui utilise la méthode NSCD (Non Smooth Contact Dynamic) introduite par J.J. Moreau et M. Jean.Le schéma NSCD a prouvé son efficacité numérique: il est capable de traiter des problèmes de complémentarité, le contact ainsi que les impacts et les lois de frottement multivaluées.Le but est de comprendre quelle est la meilleure description géométrique pour simuler de très petits jeux.L'étude complète est divisée en deux parties. La progression part du cas planaire pour arriver au cas spatial, et la complexité suit le même chemin.Dans le cas planaire, on analyse un mécanisme à quatre barres avec du jeu quand une des articulations est commandée en boucle ouverte, ou par retour d'état linéaire ou non-linéaire(PD, linéarisation par retour d'état, ou commande passive).L'accent est mis sur la quantification de la dégradation des performances quand du jeu est ajouté dans les articulations. On montre alors que les commandes par retour d'état se comportent de façon robuste.Dans le cas spatial, le mécanisme C-60 est analysé précisément pour explorer les possibilités de relaxer les tolérances industrielles sur les pièces sans compromettre ni les performances ni la sécurité. L'influence de l'entrée, du modèle et des incertitudes numériques sur le modèle C-60 est étudiée.L'influence induite par le jeu et le coefficient de frottement dans les articulations sur la performance du produit est étudiée.Pour valider le modèle de simulation, des expériences sont effectuées sur des prototypes d'essai et les résultats sont comparés avec les simulations numériques.Nous avons trouvé une bonne correlation entre les résultats numériques et expérimentaux.L'analyse statistique~(analyse du pire cas, et par des simulations basées sur la méthode de Monte-Carlo) a été réalisée pour trouver la dispersion des conditions fonctionnelles.En plus des variations dimensionnelles, la tolérence aux variations géométriques comme la forme, l'orientation et la position, est analysée.Ce travail de recherche devrait aider les concepteurs à simuler le comportement du système mécanique avec une articulation de révolution imparfaite,depuis l'étape de conception préliminaire jusqu'à la fin de la conception pour avoir une amélioration significative de la planification et du budget. / Dynamic simulation of multibody systems with unilateral contact and friction plays an important role in a wide range of industrial applications. It has become an integral part of new product development, verification/optimization of the design and to enhance the old products.This work is a part of collaboration between the BiPoP research team of INRIA Grenoble and the Schneider Electric company.The main goal of this thesis is to understand the influence of clearances in the revolute joints on the overall behaviour of the linkage mechanisms and specifically on the C-60 miniature circuit breaker where human safety must be guaranteed.In other words, the objective is to address the robustness of the C-60 breaker with respect to the production tolerances, which areexpressed in the form of dimensional and geometrical variations on the parts. These variations are the source of clearance in the joints of the mechanism.The radial clearance in the revolute joints is a source of variability in the initial conditions of the system and also the degradation of the system's performance. The degradation of the system isalways in the form of vibration, noise, very high reaction forces at the joints.The aim is to study the influence of initial conditions and the out-of-plane motion, so the polarization effect in three dimensional case.Another objective is to develop the time efficient virtual test bench to reproduce the measurements of real test bench in the laboratory using the open-source simulation software SICONOS which is based on the NonSmooth Contact Dynamic method (NSCD) introduced by J.J. Moreau and M. Jean.The NSCD scheme is proven to be a quite efficient numerical method, capable of handling complementarity conditions, as well as impacts and set-valued friction laws.The goal is to understand what is the most appropriate geometricdescription which allows to simulate very small clearances.The complete study is divided in two main sections.The progress through these partsgoes from the planar to the spatial case, the complexity follows the same advance.In the planar case, a four-bar mechanism with joint clearance, when one joint is actuated by collocated open-loop or state feedback controllers (PD, statefeedback linearization, passivity-based) is analysed. The focus is put on how much the performancedeteriorates when clearances are added in the joints. It is shown that collocated feedback controllersbehave in a robust way.In the spatial case, the C-60 mechanism is analysed precisely to explore the possibilities to relax the manufacturing tolerances on the parts withoutany compromise on either performance or the human safelyThe influence of the input, model and numerical uncertainties on the C-60 model is studied. The joint-wise influences of the clearance and coefficient of friction on theproduct performance are studied.To validate the simulation model, experiments are carried-out on the prototype samples and the results are compared with the simulations.We found quite good correlation between the virtual and experimental results.A statistical analysis~(worst-case and Monte Carlo simulation) has been carried out to find out the dispersion of the functional conditions.In addition to dimensional variations, the geometrical variations such as form, orientation and position tolerances are also analyzed.This research work shall help the designers to simulate the real time behaviour of the mechanical systems with the imperfect revolutejoint from the pre-design stage till the end of the design, to have good improvement on schedule and budget.

Les aciers austénitiques inoxydables sont des candidats potentiels pour des composants de circuits des réacteurs de génération IV. Ces composants sont conçus pour fonctionner à hautes températures (500-600°C) et seront soumis à des sollicitations cycliques incluant de longs maintiens (~1mois) induisant une relaxation due aux phénomènes de viscoplasticité et de diffusion de lacunes. Ces temps de maintien sont inaccessibles en laboratoire d'où l'intérêt de la modélisation. L'objectif de cette étude a été de proposer des modèles de comportement capables de reproduire les différents mécanismes physiques observés expérimentalement. Dans un premier temps, une étude expérimentale a été menée sur l'acier 316L(N) incluant des essais de fatigue et de fatigue-relaxation à 500°C. Des essais de traction à différentes vitesses de déformation ont également été réalisés afin d'étudier le phénomène du vieillissement dynamique. La démarche de modélisation a été progressive. Nous nous sommes d'abord intéressés à la modélisation du comportement mécanique en fatigue pure et à température ambiante, pour différents matériaux métalliques de structure cubique à faces centrées dont l'acier 316L(N), en adoptant l'homogénéisation à champs moyens validée grâce à des calculs par éléments finis multicristallins. Ensuite, un modèle cristallin basé sur les densités de dislocations a été proposé et identifié pour des chargements de traction simple. Le modèle a ensuite été enrichi afin de prendre en compte les mécanismes de viscoplasticité, de montée et le vieillissement dynamique. le modèle fait appel à trois paramètres ajustables seulement et prédit correctement les courbes de traction et de relaxation. / Austenitic stainless steels are potential candidates for structural components of sodium-cooled fast neutron reactors. Many of these components will be subjected to cyclic loadings including long hold times (~ 1month) under creep or relaxation at high temperature. These hold times are unattainable experimentally. The aim of the present study is to propose mechanical models which take into account the involved mechanisms and their interactions during such complex loadings. First, an experimental study of the pure fatigue and fatigue-relaxation behavior of 316L(N) at 500°C has been carried out with very long hold times (10h and 50h) compared with the ones studied in literature. Tensile tests at 600°C with different applied strain rates have been undertaken in order to study the dynamic strain ageing phenomenon. Before focusing on more complex loadings, the mean field homogenization approach has been used to predict the mechanical behavior of different FCC metals and alloys under low cycle fatigue at room temperature. Both Hill-Hutchinson and Kröner models have been used. Next, a physically-based model based on dislocation densities has been developed and its parameters measured. The model allows predictions in a qualitative agreement with experimental data for tensile loadings. Finally, this model has been enriched to take into account viscoplasticity, dislocation climb and interaction between dislocations and solute atoms, which are influent during creep-fatigue or fatigue relaxation at high temperature. The proposed model uses three adjustable parameters only and allows rather accurate prediction of the behavior of 316L(N) steel under tensile loading and relaxation.

J'ai décrit dans ce mémoire mes activités de chercheur aussi bien à Tomsk, avant 2003, successivement à l'Université d'Etat de Tomsk à la faculté de Physique, à l'Institut de Physique de Sibérie, puis à l'Institut d'Optique Atmosphérique, qu'en France depuis cette date, essentiellement à l'Université de Bourgogne (ICB), mais également à l'Université de Lille I (PhLAM) et à l'Université de Marne-la-Vallée (LCT). Une partie de mon travail a donc été dédiée à l'évaluation par calcul ab initio (avec Gaussian) de constantes rovibrationnelles pour des molécules quasi-sphériques. J'ai donné les constantes de distorsion centrifuge et le moment dipolaire de la molécule SO2 F2 pour valider la théorie tensorielle développée à l'ICB et interpréter le spectre. On peut constater que les calculs ab initio peuvent fournir les constantes rovibrationnelles avec une précision satisfaisante pour les besoins de la spectroscopie à haute résolution. Les calculs ab initio sont a priori une source intéressante de données supplémentaires. J'ai présenté aussi des résultats de calculs ab initio pour le champ de force anharmonique et la structure à l'équilibre de la molécule C2H3Br. La structure calculée par moindres carrés des moments d'inertie semi-expérimentaux avec les constantes d'interaction de rotation-vibration déduites de calculs ab initio combinées avec les constantes de rotation expérimentales révèle une très bonne précision. Cette stratégie de recalage, dans laquelle le champ de force fourni par le calcul ab initio est utilisé pour evaluer les constantes de rotation obtenues à partir des données expérimentales s'affirme donc bien comme une méthode intéressante pour calibrer des constantes physiques. Une grande partie de mon activité a consisté à rechercher et à exploiter de nouvelles ouvertures pour la détection de molécules et de complexes en phase gazeuse. Dans ce cadre, les différents états électroniques et vibrationnels des molécules et des complexes ont été étudiés par méthodes ab initio. Nous avons tenté de mieux comprendre la photophysique induite par les radiations et la possibilité d'application de la méthode de photofragmentation. Les longueurs d'ondes pour certains processus de photofragmentation ont été proposées. . Les résultats obtenus sont importants pour la détection des composants mineurs dans l'atmosphère et peuvent contribuer à la modélisation de la balance thermique de l'atmosphère. La partie concernant le complexe CH4 − N2 a consisté à obtenir la surface de potentiel du complexe pour des configurations différentes par calculs ab initio et à étudier des propriétés telles que le moment dipolaire, la polarisabilité et l'hyperpolarisabilité du complexe. Ce travail donne lieu à une thèse (quieje co-encadre depuis octobre 2007). La surface de potentiel est obtenue en s'appuyant sur le calcul ab initio au niveau «Coupled Cluster CCSD(T)» et sur une base de type aug-cc-pV(X)Z. La forme analytique du potentiel correspondant a été proposée. L'analyse de la surface de potentiel détermine la famille des configurations les plus stables correspondant à la rotation de la molécule N2 autour de l'axe x . Les fréquences harmoniques et anharmoniques sont calculées pour la configuration la plus stable. Le paramètre d'asymétrie K = (2B − A − C)/(A − C) = −0.99 est très proche de −1, ce qui correspond à une toupie quasi-symétrique allongée. Ce travail peut contribuer aux études sur l'élargissement des bandes rovibrationnelles et présente une contribution à la compréhension fondamentale de l'interaction des molécules sphériques comme le méthane avec des molécules constituant des atmosphères planétaires. Le partie concernant l'adsorption sur la zéolithe contient mes résultats sur la modélisation de la silicalite-1 et le processus d'adsorption de l'éthylène. Ces résultats montrent l'importance qu'il y a à bien choisir à la fois la zéolithe modèle et le niveau de la théorie pour obtenir la bonne réponse spectroscopique. On a montré que l'adsorption de la molécule non-polaire d'éthylène correspond à un processus de physisorption et que, dans le cas d'adsorption sur la silicalite-1, il n'y a pas de sites privilégiés. Donc, les calculs devraient être effectués sur différentes orientations des molécules. Les modifications des spectres d'adsorbat/adsorbant et leur interprétation ont été aussi présentées. Les déplacements causés par l'interaction de la molécule avec la silicalite tendent pour la plupart des modes de vibration vers les fréquences plus basses. La silicalite-1 peut adsorber jusqu'à 11 molécules par cellule élémentaire. Par conséquent, à haute charge, les interactions entre molécules jouent un rôle important. Ceci signifie que l'on doit également simuler l'adsorption de deux ou plusieurs molécules d'éthylène. silicalite-1 and the adsorption of ethylene.

Nous nous intéressons au cas de structures poutres vibrantes soumises à des précharges. Ces précharges influent sur les fréquences propres. Elles induisent un comportement non linéaire de la structure. L'attention est portée en particulier sur les poutres préchargées en rotation uniforme. Celles-ci subissent alors les effets des forces d'inertie centrifuge et aérodynamiques. Les effets rigidifiants augmentent la raideur en flexion des poutres et décalent les modes propres. Il apparaît alors une matrice de raideur géométrique, et une matrice de raideur cinétique dans le cas des poutres en rotation. Nous utilisons une méthode développée par D. GAY permettant une modélisation unidimensionnelle d'une structure réelle composite tridimensionnelle. Cette méthode s'appuie sur le concept d'homogénéisation avec prise en compte des effets de gauchissement. Des paramètres intégraux de déplacements et de rotation «moyens» de la section permettent alors la constitution d'un élément fini de poutre. Nous avons rédigé et mis au point le code de calculs correspondant, qui permet d'effectuer des calculs de fréquences et modes de poutres composites à ligne moyenne rectiligne avec des conditions aux limites variées en déplacement et en efforts. Afin de valider les outils informatiques développés, nous avons réalisé des vérifications expérimentales sur des poutres soumises à des précontraintes de traction et de flexion pure. Ces essais, menés conjointement aux calculs numériques ont montré une bonne corrélation

Le sujet de ma thèse recouvre deux aspects. En premier lieu, l'objectif était d'étudier et d'améliorer les méthodes de calcul à une boucle pour les corrections radiatives dans le cadre des théories de champs perturbatives. En second lieu, l'objectif était d'appliquer ces techniques pour calculer les effets dominants des corrections radiatives electrofaibles au processus important de production de Higgs associé à deux quarks bottom au LHC (Large Hadron Collider) du CERN. L'étude concerne le Higgs du Modèle Standard. <br /><br />Le premier objectif est d'importance plutôt théorique. Bien que la méthode générale pour le calcul à une boucle des corrections radiatives dans le modèle standard soit, en principe, bien compris par le biais de la renormalisation, il y a un certain nombre de difficultés techniques. Celles-ci sont liées aux intégrales de boucle. Pour les processus avec plus de 4 particules externes, les expressions d'amplitude obtenues en utilisant la méthode d'analyse sont <br />extrêmement lourdes et très difficiles à manipuler. Dans cette thèse, nous avons étudié ce problème et réalisé que tout le calcul peut être facilement optimisé si l'on utilise la méthode des amplitudes d'hélicité. Un autre problème est lié aux propriétés analytiques des intégrales scalaires. Une partie importante de cette thèse est consacrée à ce problème et à l'étude des équations de Landau. Nous avons trouvé des effets significatifs en raison de singularités de Landau dans le processus de production de Higgs associé à deux quarks bottom au LHC.<br /><br />Le deuxième objectif est d'ordre pratique avec des conséquences expérimentales. On peut résumer les résultats obtenus dans cette thèse comme suit. Si la masse du Higgs est d'environ 120GeV, la correction au premier ordre dominant est petite de l'ordre d'environ -4%. Si la masse de Higgs est d'environ 160GeV, seuil de production d'une paire de W par le Higgs, les corrections électrofaibles bénéficient du couplage fort du Yukawa du top et sont amplifiées par la singularité de Landau conduisant à une importante correction d'environ 50%.

Ce travail présente quelques résultats d'arithmétique des ordinateurs. Dans une première partie, on fait une brève présentation des systèmes les plus classiques de représentation des nombres et on présente une modification de l'algorithme d'Avizienis d'addition en temps constant avec des conditions moins restrictives. La seconde partie traite du probleme de la multiplication de grands entiers: on preséente une implantation efficace de l'algorithme de Pollard que l'on compare a d'autres algorithmes. La troisième partie est consacrée au calcul en-ligne (bit série poids forts en tête): on reprend les résultats de la première partie pour obtenir des bornes sur le délai des fonctions calculables en-ligne. Enfin on présente un codage original des nombres complexes, qui permet entre autre de réaliser des additions en temps constant ainsi que des opérations arithmétiques en-ligne

L'identification des lois de comportement multi-échelles des matériaux polycristallins est étudiée. Une méthode couplant calculs par léments finis et modèles en champs moyens est développée. La description des interactions entre systèmes de glissement est améliorée par confrontation des réponses expérimentales et issues de la simulation du comportement d'un cuivre OFHC, sous chargements complexes.<br />La localisation de la déformation est analysée grâce à des mesures de champs réalisées, sous microscope électronique à balayage. Une microstructure synthétique tridimensionnelle représentative est développée à partir des cartographies EBSD.<br />Par ailleurs, on effectue la confrontation, sur microstructure périodique, entre plusieurs modèles en champs moyens et les simulations par éléments finis, à l'échelle des états moyens par phase. Le volume élémentaire représentatif est défini aux échelles globales et locales.

La théorie moléculaire du défaut quantique à plusieurs voies (MQDT) s'intéresse aux propriétés d'états atomiques ou moléculaires contenant un électron en dehors d'un cœur, typiquement des états de Rydberg excités ou du continuum. Combinée au calcul de moments de transition, des spectres électroniques peuvent ainsi être calculés. De plus, la théorie des changements de représentation permet d'inclure dans le traitement les effets des structures vibrationnelles et rotationnelles du cœur sur l'électron menant au calcul de spectres rovibrationnels.