Th. : mathématiques appliquées : Paris, ENPC : 1998.

Le sujet choisi a nécessité une étude bibliographique pour les études de recherche publiées dans les domaines de la Thermodynamique à Vitesse Finie (TVF) et Thermodynamique en Temps Fini (TTF), et pas seulement. Le premier chapitre est dédié à l’état de l’art bibliographique en ce qui concerne le sujet. Une synthèse des aspects énergétiques du Monde, les principales considérations sur les machines de Stirling, les principales méthodes d’analyse et optimisation thermodynamique sont présentés. La comparaison entre la TVF et TTF est présentée, car le développement original s’appuie sur deux méthodes, une de la TVF et l’autre de la TTF, ou plutôt en Dimension Finie. Le deuxième chapitre est dédié aux contributions originales dans le domaine de la TVF: l’adaptation de la Méthode Directe à l’étude et optimisation des machines à cycle inverse avec des irréversibilités internes et externes; amélioration de la méthode de Schmidt en considérant la cinématique effective de la machine considérée ; présentation d’une étude de sensibilité qui permet de séparer les irréversibilités par causes et analyser les effets séparément ; adaptation de la Méthode Directe à l’étude et optimisation de moteurs de Stirling solaires et des ensembles solaire récepteur – concentrateur - moteur Stirling solaire- générateur électrique ; validation de schéma par la comparaison avec les données expérimentales; mise en valeur de la recherche par une application pratique: système de génération d’énergie électrique à partir de l’énergie solaire et hydrogène comme vecteur d’énergie. Le troisième chapitre est dédié aux contributions originales dans le domaine de la TTF. Un modèle thermodynamique pour l’étude et optimisation des machines thermiques est proposé et appliqué pour le cycle de Carnot, pour plusieurs cas, pour des lois de transfert de chaleur linéaires et non linéaires convectif et radiatif. L‘existence des données expérimentales a fait possible la simulation du fonctionnement avec le modèle analytique et la validation. Les conclusions générales et perspectives attendues sont présentées. / The stated subject needed an important bibliographic research for the publications in the field of Thermodynamics with Finite Speed (TFS) and Thermodynamics in Finite Time (TFT), and more than that. The first chapter is dedicated to the current status in the chosen subject. A synthesis of worldwide energetic aspects, main considerations on Stirling machines, main methods for analysis and optimization are presented. An important paragraph is the comparison between TFS and TFT, since the original contributions represent two methods, one from TFS and the other one from TFT. The second chapter is dedicated to the original contributions in the field of TFS: adjustment of the Direct Method to the study and optimization of reverse cycle machines with internal and external irreversibilities; correction of the Schmidt method by considering the effective kinematics of the studied machine; development of a sensitivity study to analyze the effects of each irreversibility; adaptation of the Direct Method to the study and optimization of Stirling solar engines and solar assemblies receiver – concentrator - Stirling engine - electric generator; validation of the proposed scheme par comparison with experimental data; research practical utilization: a proposed solar system for electric energy and hydrogen (as an energy career) production. The third chapter is dedicated to the original contributions in the field of TFT. A thermodynamic model pour for the study and optimization of thermal machines is proposed and applied to the Carnot cycle, for more cases, for linear and non linear convective and radiative heat transfer laws. Existence of experimental data allowed the operating simulation and validation of the model. The general conclusions and perspectives are presented.

Garantir le fonctionnement correct des systèmes informatisés est un enjeu chaque jour plus important. La vérification formelle est un ensemble de techniquespermettant d’établir la correction d’un modèle mathématique du système par rapport à des propriétés exprimées dans un langage formel.Le "Regular model checking" est une technique bien connuede vérification de systèmes infinis. Elle manipule des ensembles infinis de configurations représentés de façon symbolique. Le "Regular model checking" de systèmes à canaux non fiables (LCS) soulève des questions fondamentales de décision et de complexité concernant l’ordre sous-mot qui modélise la perte de messages. Nous abordons ces questions et résolvons un problème ouvert sur l’index de la congruence de Simon pour les langages testables par morceaux.L’accessibilité pour les LCS est décidable mais de complexité F_{omega^omega} très élevée, bien au delà des complexités primitives récursives. Plusieurs problèmes de complexité équivalente ont été découverts récemment, par exemple dans la vérification de mémoire faibles ou de logique temporelle métrique. Le problème de plongement de Post (PEP) est une abstraction de l’accessibilité des LCS, lui aussi de complexité F_{omega^omega}, et qui nous sert de base dans la définition d’une classe de complexité correspondante. Nous proposons une généralisation commune aux deux variantes existantes de PEP et donnons une preuve de décidabilité simplifiée. Ceci permet d’étendre le modèle des systèmes à canaux unidirectionnels (UCS) par des tests simples tout en préservant la décidabilité de l’accessibilité. / The increasing use of software and automated systems has made it important to ensure their correct behaviour. Formal verification is the technique that establishes correctness of a system or a mathematical model of the system with respect to properties expressed in a formal language.Regular model checking is a common technique for verification of infinite-state systems - it represents infinite sets of configurations symbolically in a finite manner and manipulates them using these representations. Regular model checking for lossy channel systems brings up basic automata-theoretic questions concerning the subword relation on words which models the lossiness of the channels. We address these state complexity and decision problems, and also solve a long-standing problem involving the index of the Simon's piecewise-testability congruence.The reachability problem for lossy channel systems (LCS), though decidable, has very high F_{omega^omega} complexity, well beyond primitive-recursive. In recent times several problems with this complexity have been discovered, for example in the fields of verification of weak memory models and metric temporal logic. The Post Embedding Problem (PEP) is an algebraic abstraction of the reachability problem on LCS, with the same complexity, and is our champion for a "master" problem for the class F_{omega^omega}. We provide a common generalization of two known variants of PEP and give a simpler proof of decidability. This allows us to extend the unidirectional channel system (UCS) model with simple channel tests while having decidable reachability.

La simulation numérique des procédés de mise en forme joue un rôle important lors de la conception des gammes d'outils. Dans ce travail, nous utilisons la simulation éléments finis afin d'optimiser automatiquement les formes des outils de forgeage à chaud, par une approche de type inverse. Cette méthode a été appliquée à des gammes en deux passes, à symétrie axiale. Les outils à optimiser sont décrits par des courbes b_splines. Les problèmes majeurs de conception sont abordés: défaut de repli et d'aspiration, remplissage complet de la matrice de finition et amélioration des caractéristiques métallurgiques de la pièce forgée. Les solutions sont déterminées par l'utilisation d'algorithmes de quasi-newton, avec ou sans contrainte. Les dérivées des fonctions coût, par rapport aux paramètres de forme, sont obtenues par différentiation des équations discrètes régissant le problème de mise en forme. La méthode ainsi développée pour l'analyse de sensibilité tient compte de l'instationnarité du procédé et du caractère évolutif du contact. Le logiciel ainsi mis en œuvre a été appliqué à plusieurs problèmes industriels d'optimisation de forme d'outil.

L'étude conduite nous donne une lecture non canonique de l'activité de Leonor Fini en tant que costumière de théâtre, avec un regard spécial sur les spectacles réalisés entre Rome et Paris de 1944 à 1969, tout en essayant de développer un itinéraire interprétatif non ordinaire sur ce aspect peu exploré de l'art finian.En fait, l'axe de l'enquête s'est précisé à partir de la détermination des tendances travesties de l'artiste, que l'on retrouve à Trieste - où elle absorbe une pluralité de stimulus intellectuels jusqu'à son tendre âge, pour aborder la définition du travail comme costumière. L'objectif que nous avons dû affronter dans cette étude, fut celui de donner une lecture organique, de décrire un chemin ordonné et raisonné qui du travestissement conduit de manière univoque et extraordinaire à la pratique du costume théâtrale, laquelle doit être encadrée comme une moitié désirée.Il y a donc l'analyse de aucun maquettes de costume réalisés au sein des productions italiennes et d'autre parte, sur ceux de productions français. Beaucoup de ces maquettes sont inédites et certaines ont été, précédemment, victimes d'imprécisions sur leur datation ou sur le théâtre de la première mise en scène.Grace à la construction d'un parcours organique sur l'essence existentiel-identitaire de la production costumière d'une artiste controverse comme elle, la contribution que cette étude tente de conférer à la littérature finienne c'est interprétatif, autant que chronologique et récognitif.L' étude parle donc, d'interconnexions et de frôlements entre différents domaines de recherche touchés par cet artiste éclectique, cosmopolite et magnétique, cultivée et raffinée pour laquelle la pratique du costume fut une nécessaire destination à rejoindre. / The study conducted gives us a non canonical reading about the Leonor Fini's activity as theatrical costume designer, with a special view to the shows performed between Rome and Paris from 1944 to 1969, while trying to develop a non-ordinary interpretive trajectory on this little explored area of her art.In fact, using the artist's travesties trends - which have been found in Trieste, city where she absorbed a plurality of intellectuals stimulus from the earliest age- as a starting point, the axis of the survey has arrived to the definition of her work as costume designer. The aim was to give an organic reading, to describe an orderly and reasoned development that, starting by transvestism, guides to theatrical costume's creation -which should be considered as a desired purpose- in an uniquely and extraordinary way.Therefore, an analysis of some costume design sketches made for Italian productions and, on the other side, those for some French productions, has proposed. Many of these sketches are unpublished and, on previously studies, they have been victim of mistakes about the dating or the premiere's theatre.Thanks to the building of a systematic itinerary on the existential essence in the costume design production, the contribution that this study attempts to give to finienne literature is interpretative, as far as chronological and recognitive .Therefore, this study is about interconnections and touches between various research fields encompassed by this eclectic, cosmopolitan and magnetic, cultured and refined artist for which the costume's creation was a necessary goal to reach. / Lo studio condotto mira a conferire una lettura non canonica dell'attività di Leonor Fini come costumista teatrale, con uno sguardo preferenziale sugli spettacoli andati in scena a Roma e Parigi fra il 1944 e il 1969, sviluppando un itinerario interpretativo non ordinario su questo aspetto poco esplorato della sua arte.L'indagine ha preso il via a partire dalla determinazione delle tendenze travestitive dell'artista, rintracciate a Trieste -città ove la Fini assorbì una pluralità di stimoli intellettualifin dalla tenera età, per arrivare poi alla definizione del lavoro in qualità di costumista.L'obiettivo fronteggiato in questo studio è stato quello di dare una lettura organica, di descrivere un cammino ordinato e ragionato che dal travestimento ha condotto, in maniera univoca e straordinaria, alla creazione del costume teatrale il quale deve essere considerato come una meta a lungo perseguita.Sono stati quindi analizzati alcuni bozzetti di costume realizzati in seno a produzioni italiane e, inoltre, alcuni destinati invece a produzioni francesi. Molti di questi risultano inediti, e oltretutto alcuni di essi, sono stati in passato vittime di errori riguardo la loro datazione o il teatro della prima messa in scena.Grazie alla costruzione di un percorso organico sull'essenza esistenziale-identitaria della produzione costumistica di un'artista controversa come lei, il contributo che questo studio tenta di conferire alla letteratura finiana è di tipo interpretativo come anche cronologico e ricognitivo. Lo studio parla quindi di interconnessioni e sfioramenti fra differenti territori di ricerca toccati da quest'artista eclettica, cosmopolita e magnetica, colta e raffinata, per laquale la pratica del costume fu una necessaria destinazione da raggiungere.

Ce mémoire concerne l'étude de la stabilité en temps fini et de la stabilisation de systèmes dynamiques non linéaires, décrits par des équations différentielles ordinaires ou des inclusions différentielles ordinaires ou des équations fonctionnelles retardées. Après un chapitre d'introduction avec quelques rappels sur la stabilité et la stabilisation des systèmes dynamiques, la première partie est consacrée à l'étude de la stabilité en temps fini qui est un cas particulier de la stabilité asymptotique où les solutions d'un système atteignent en temps fini l'équilibre de ce système. Le travail présenté utilise les fonctions de Lyapunov pour obtenir des conditions de stabilité en temps fini. <br />La deuxième partie de ce mémoire est consacrée à la stabilisation en utilisant les fonctions de Lyapunov contrôlées. Une large part est dédiée à la stabilisation en temps fini.

Le sujet de cette thèse est d'étudier la récupération de chaleur à basse température (70 à 100 [degrés]C) avec une machine à absorption monoétagée utilisant le couple ammoniac/eau pour une nouvelle application, la réfrigération. Afin de mieux comprendre le fonctionnement des machines à absorption commerciale, et pour valider le modèle numérique, des tests en climatisation sont également présentés. Dans un premier temps, une revue de la littérature est effectuée afin d'identifier les différents cycles ainsi que les fluides utilisés dans le domaine des machines à absorption et des transformateurs thermiques. Une revue de la littérature sur les propriétés thermodynamiques et thermophysiques des mélanges ammoniac/eau est présentée. Une comparaison entre deux corrélations représentant les propriétés thermodynamiques des mélanges ammoniac/eau est effectuée dans le but de choisir celle utilisée dans les différents modèles numériques. La résolution des équations donnant les propriétés thermodynamiques des solutions d'ammoniac/eau est effectuée, et a mené à l'amélioration de la convergence par rapport au logiciel REFPROP (NIST (2007)). La modélisation d'une machine à absorption a été développée et validée avec les mesures effectuées sur un banc d'essai. Ce modèle numérique tient compte des spécificités du banc d'essai (désorbeur en thermosiphon, caractéristiques des échangeurs de chaleur, cycle thermodynamique).Le changement de phase d'une vapeur binaire d'ammoniac/eau dans le condenseur, le transfert massique et thermique dans l'absorbeur et l'évaporation d'un fluide binaire dans le désorbeur (thermosiphon) sont des éléments qui rendent ce modèle numérique complexe et innovateur. Une comparaison entre les résultats expérimentaux et théoriques, pour différentes conditions de fonctionnement, est présentée. Des oscillations de la puissance frigorifique et du COP liées à la régulation de la vanne de détente ont été mises en évidence. De plus, une mauvaise gestion du réfrigérant dans la bouteille accumulatrice lorsque la machine à absorption sort des plages de design est la cause d'une évaporation partielle dans l'évaporateur entraînant une diminution des performances de l'équipement. Une des limites à l'utilisation de ces équipements dans l'industrie serait donc les fluctuations de température de la source froide. L'influence de la température des rejets thermiques et de celle des besoins frigorifiques sur le COP est présentée. Les modélisations et les tests expérimentaux mettent en évidence qu'il est possible de récupérer des rejets thermiques de basse température pour des applications de réfrigération. Il faut noter que ce type d'application est intéressant du fait de la gratuité des rejets thermiques. Finalement, une optimisation en temps fini couplée à une analyse exergétique, faisant appel à un modèle simplifié d'une machine à absorption ainsi qu'aux deux premiers principes de la thermodynamique, est effectuée. Cette étude a permis d'obtenir trois optimums de fonctionnement, à savoir, la minimisation des surfaces d'échange, la maximisation du rendement exergétique et la minimisation du coefficient d'irréversibilité interne.

La rupture à chaud, ou crique à chaud est un défaut majeur en solidification, qui conduit au rebut de nombreuses pièces ou demi-produits. Elle correspond à l'ouverture de criques en fond de zone pâteuse, c'est-à-dire dans les régions à haute fraction de solide (typiquement 0.9 et au-delà), lorsque ces régions sont soumises à des déformations favorisant la mise en traction des films liquides résiduels. Différents critères peuvent être trouvés dans la littérature pour diagnostiquer la fissuration à chaud. L'objectif de cette étude est d'évaluer leur capacité à prédire correctement l'apparition de ce type de défauts, et ce pour différents domaines d'application tels que la solidification en lingotière et la coulée continue de billettes et de brames. Pour cela, deux types d'essais différents ont été analysés avec le modèle thermomécanique par éléments finis THERCAST® dans lequel nous avons implanté une sélection de critères. Un nouveau dispositif expérimental de solidification sous contrainte (le dispositif Crickacier) a alors été développé et mis en œuvre au CEMEF pour les besoins de cette étude. Ce dispositif s'est révélé capable de faire apparaître des défauts similaires à ceux observés dans les procédés industriels, et ce dans des conditions identifiables et discriminantes. Sa modélisation thermomécanique a permis de mettre en valeur le critère le plus pertinent. L'application de cette méthodologie à un autre type d'essai, le cintrage de lingot en cours de solidification, pour lequel nous avons accès à des résultats existants à Arcelor Research sur plusieurs nuances d'acier, nous a permis de suggérer des améliorations à apporter à l'écriture du critère. Au final, nous avons proposé un nouveau critère directement adapté à une utilisation dans un code de simulation comme THERCAST.

Le travail présenté ici porte sur la simulation numérique de l'écoulement d'un mélange de fluide et de particules solides. Le fluide obéit à une loi de comportement newtonien, et les particules solides sont des bâtonnets ou des sphères, considérées comme des corps indéformables. Ce modèle defluide complexe est une représentation de composites utilisés en injection. Le but est de connaître le comportement rhéologique en cisaillement de ce type de suspension. Pour cela nous étudions l'évolution d'un tel mélange dans une cellule cubique, soumise à un cisaillement plan, avec des conditions limites pseudo-périodiques. Les équations décrivant les champs de vitesse et pression dans le fluide sont étendues au domaine solide, en ajoutant une contrainte d'indéformabilité. On se ramène ainsi à un système d'équation en vitesse pression sur le domaine fictif total, résolu par une méthode d'éléments finis. Dans cette approche multidomaine, il est nécessaire de suivre l'évolution des positions des particules solides. Le domaine solide est suivi par sa fonction caractéristique. Une méthode de transport lagrangien est utilisée pour actualiser les positions des particules, puis une méthode de level-set permet d'en déduire à chaque instant la fonction caractéristique associée. Une technique de correction des positions des particules à posteriori permet de réimposer la condition de non-interpénétration des particules. Des calculs d'homogénéisation ont été effectués, permettant notamment de calculer des viscosités équivalentes pour des suspensions de sphères, et de construire des lois de comportement et d'évolution des tenseurs d'orientation pour des suspensions de fibres. L'utilisation de conditions limites pseudo-périodiques permet de limiter les effets de bords dans les calculs d'homogénéisation. Par ailleurs une technique de h-adaptation a été appliquée pour mieux décrire les interfaces. Les premiers résultats obtenus sont en assez bon accord avec les modèles théoriques, et une première simulation d'écoulement d'un mélange a été menée.

Cette étude, réalisée dans le cadre du groupement scientifique français comportement thermomécanique des composites céramique/céramique, a pour objectifs la caractérisation expérimentale et la modélisation du comportement mécanique, à température ambiante, en traction uniaxiale, de composites SiC/SiC élaborés par la SEP. Nous avons adopté une approche multi-échelle : différents matériaux ont successivement été considérés. Les torons : composites unidirectionnels constitués d'environ 500 fibres de SiC Nicalon imprégnées, par infiltration chimique en phase vapeur (CVI), par la matrice SiC. Les composites monocouches : nappés de torons de fibres de SiC tissés, imprégnées par la matrice SiC selon le même procédé de CVI. Les matériaux multicouches : superpositions de strates de torons de fibres tissées, infiltrées par la matrice SiC. La modélisation numérique par éléments finis proposée est fondée sur une description statistique du comportement des torons. Ces derniers sont en effet caractérisés par une dispersion importante de leurs caractéristiques mécaniques (seuils d'endommagement et de rupture). Ce phénomène non négligeable a donc été introduit dans la modélisation. Par ailleurs, l'observation en microscopie (optique, électronique à balayage) des différents matériaux, a permis de mettre en évidence les phénomènes physiques supplémentaires se produisant à chaque échelle (fissuration matricielle, délaminage). La prise en compte de ces paramètres dans les simulations a fourni une description correcte du comportement mécanique et de la dispersion des caractéristiques mécaniques des différents matériaux : des comparaisons calcul/expérience sont réalisées à chaque échelle.