Reproduction de : Thèse de doctorat : Informatique : Le Mans : 2008. / Titre provenant de l'écran-titre. Bibliogr. p. 253-265.

Titre de l'écran-titre (visionné le 7 juillet 2023) / Cette thèse tente de répondre à la question suivante : quel est le coût de la séparation des éléments de terres rares par le procédé d'extraction par solvant ? Pour arriver à répondre à la question, un outil de simulation spécifique à la séparation des éléments de terres rares (ETR) par extraction par solvant est développé. L'approche fondamentale du modèle utilise les constantes d'équilibre de la réaction d'extraction pour produire des simulations robustes et plus précises que les autres méthodes de simulation du procédé rapportées dans la littérature. L'approche proposée permet d'intégrer dans les simulations l'ensemble des paramètres opératoires d'un circuit de séparation réel, dont certains sont rarement considérés tels le degré de saponification ou les reflux entre les bancs de mélangeurs-décanteurs. Le modèle utilise une approche itérative à plusieurs niveaux de différents objets programmés afin d'obtenir une solution pour un sous-circuit comportant plusieurs mélangeurs-décanteurs agencés dans des bancs d'extraction, d'élution partielle et d'élution pour une de séparation entre deux éléments ou groupes d'éléments. Les prédictions du modèle sont confrontées avec succès à des résultats d'un pilotage d'un circuit de séparation des ETR. Le simulateur est utilisé pour étudier l'effet des facteurs de séparation, convertis par la suite en constantes d'équilibre, sur la facilité de séparation et développer différentes stratégies d'optimisation de consommation de réactifs, principalement pour l'étape d'élution d'un circuit. Les simulations montrent que le nombre de mélangeurs-décanteurs nécessaire à une séparation est le principal facteur affecté par une variation dans les facteurs de séparation, alors que la consommation en réactifs est affectée dans une moindre mesure. Le simulateur permet de faire la conception d'usines de séparation des ETR. En plus de détailler les paramètres de conception et d'opération des usines, les coûts d'opération et en capital sont estimés. Une usine alimentée a 10 t/j d'un concentré d'oxydes de terres rares (OTR) effectuant la majorité des séparations des ETR produisant 9 oxydes de terres rares couterait 405 M$ à construire et exigerait des coûts d'opération de 26 298 $ /t de concentré mixte d'OTR alimenté, alors qu'une usine séparant seulement les ETR générant le plus de revenus couterait 101 M$ et 9 805 $/t d'OTR à opérer. La simulation démontre, chiffres à l'appui, que basé sur les prix des OTR de 2021, la construction d'une usine comprenant une pré-séparation du cérium par précipitation et ne produisant que des oxydes de La, Pr-Nd, Tb et Dy est la solution la plus rentable, permettant de générer un bénéfice de 46 595 $/t d'OTR alimenté. Afin de quantifier objectivement la qualité de séparation d'un circuit en considérant l'aspect économique de la séparation, un indice de performance économique est développé ainsi qu'un calcul du flux monétaire généré pour une séparation tenant compte de la consommation en réactif. L'outil de simulation est utilisé pour déterminer des stratégies d'optimisation économique de l'opération d'une usine fictive. En cas de fluctuation des prix des ETR, il est possible de modifier le circuit pour cibler les ETR de valeur et diminuer les coûts d'opération afin de conserver la rentabilité de l'usine. Dans le cas où l'alimentation de l'usine changerait à la suite d'un changement dans la composition de son alimentation, le simulateur permet de déterminer les conditions d'opération à ajuster afin de conserver les puretés des produits telle la concentration en HCl des solutions d'élution partielle. / This thesis attempts to answer the following question: what is the cost of separating rare earth elements using the solvent extraction process? To achieve this, a simulation software specific to REE separation by solvent extraction is developed. The model fundamental approach using the equilibrium constants of the extraction reaction allows to produce robust and more accurate simulations than other process simulation methods reported in the literature. This approach allows to integrate all the parameters of a real circuit, some of which are rarely considered such as the degree of saponification or the reflux between the batteries of mixers-settlers. The model uses a multi-level iterative approach based on object-programming to obtain a solution for a defined separation sub-circuit. The predictions of the model are successfully confronted with results of a pilot REE separation circuit. The simulator is used to study the effect of separation factors on the ease of separation and to develop different optimization strategies for reagent usage, mainly for the elution stage of a circuit. The simulation shows that the number of mixer-settlers required for a circuit is the variable mostly affected by a variation in the separation factors, while reagent consumption is affected to a lesser extent. The simulator allows the design of different REE separation plants. In addition to detailing the design and operating parameters of the plants, the operating and capital costs are estimated. A plant fed with 10 t/d of rare earth oxide (REO) concentrate performing the majority of REE separations with 9 separated rare earth oxides would cost 405 M$ to build and 26 298 $/t of REO to operate with a marginal profit. On the other hand, a plant separating only the most valuable REE would cost $101 M and 9 805 $/t of REO fed to operate and would generate a profit of 46 595 $/t of REO fed based on 2021 REO prices. Simulation also shows that the construction of a plant including pre-separation of cerium by precipitation and producing only La, Pr-Nd, Tb and Dy oxides is the most cost-effective solution; an intuition of many authors, that is mathematically demonstrated here. In order to objectively quantify the separation quality of a circuit by considering the economic aspect of the separation, an economic performance index is developed as well as a calculation of the cash flow generated for a separation taking into account the reagent consumption. The simulation tool is used to determine economic optimization strategies for a virtual plant. In case of fluctuating REE prices, it is possible to modify the circuit operating strategy to target valuable REE and decrease the operating costs in order to keep the plant profitable. In case the plant feed changes due to differences in the composition of the REO concentrates purchased from different mines, the simulator can be used to determine the operating conditions to be adjusted in order to keep the products purities on target.

Les spirales gravimétriques ou « spirales » sont des équipements de séparation par gravité utilisés pour la valorisation des minerais pour lesquels la densité des minéraux de valeur est significativement différente de celle de gangue. C'est le cas du traitement du minerai de fer discuté dans cette thèse. Les spirales sont préférées à d'autres séparateurs car elles sont peu coûteuses, simples à utiliser, pratiquement sans entretien, peu exigeantes en énergie et n'utilisent pas de réactif. Malgré ces qualités attrayantes et contrairement à la flottation, peu d'études sont consacrées à examiner l'opération des spirales. En effet, ce n'est que récemment que l'analyse de ce procédé a démontré que les spirales ne réussissaient pas à récupérer les particules minérales denses et grossières au produit lourd alors qu'elles le devraient en théorie. Il a également été démontré récemment que l'eau de lavage, qui est la principale variable de contrôle pour les spirales, est en partie responsable de la perte des particules grossières. Pour compenser cette perte, d'autres variables de contrôle doivent être utilisées, dont l'ouverture des couteaux de concentré et la position des portes du diviseur à la décharge de la spirale. L'étude de stratégies alternatives de contrôle des spirales ne peut difficilement se faire en milieu industriel, car l'opération des usines de traitement des minéraux est soumise à des contraintes imposées par la production et la qualité du produit final. Par ailleurs, l'impact des perturbations dues aux variations du minerai et/ou aux problèmes mécaniques dans l'usine est inévitable. Tester de nouvelles stratégies de contrôle dans une usine pilote est une option certainement trop coûteuse. Les opérateurs d'usine recherchent donc des approches rapides et peu coûteuses pour identifier des stratégies qui pourraient ensuite être testées sécuritairement dans l'usine. La simulation de procédé offre cette possibilité, mais une étude de la littérature a rapidement révélé l'absence d'outils de simulation pour les spirales et plus particulièrement pour les circuits de séparation gravimétrique utilisant des spirales. Pour construire un tel simulateur il faut donc trouver ou développer des modèles mathématiques pour les unités du circuit. Pour pouvoir tester des stratégies de contrôle, il est important que le modèle développé prenne en compte les variables de fonctionnement de la spirale, dont l'ouverture des couteux de concentré et du diviseur à la décharge de spirale ainsi que l'ajout d'eau de lavage. L'objectif de ce projet de recherche est de proposer un tel modèle pour les spirales. Le modèle mathématique proposé décrit la trajectoire des particules distribuées en classes de minéraux/taille lors de leur descente dans la spirale. Cette prédiction est réalisée en introduisant le nouveau concept de Fonctions de Déplacement de Particules (FDP) pour décrire les mouvements des particules. Le modèle est calibré en utilisant des données générées à partir d'essais réalisés sur un montage à l'échelle pilote construit autour d'une spirale Mineral Technologies WW6 +, installée au Laboratoire de Traitement de Minerai de l'Université Laval. Le modèle est ensuite validé avec des données obtenues avec une spirale WW6E opérée au COREM. Le montage, mis en service à l'Université Laval, utilise une distribution contrôlée d'eau de lavage dans les tours de spirale pour surmonter le problème observé de distribution inégale de l'eau de lavage lorsque le système intégré à la spirale est utilisé. Le montage est également conçu pour échantillonner simultanément le produit de chaque couteau de concentré de la spirale, de sorte que la progression de la séparation des minéraux dans la spirale puisse être utilisée pour calibrer le modèle. Le simulateur calibré prédit de manière adéquate la réponse de la spirale aux changements des états des variables manipulables. Le modèle est capable de simuler l'opération d'une spirale nettoyeuse bien qu'il ait été calibré à l'aide de données collectées à partir d'une spirale ébaucheuse. Le modèle proposé est prêt à être implanté dans un simulateur pour une usine de traitement de minerai de fer, bien qu'il reste du travail à faire pour finaliser la méthodologie de calibrage pour améliorer la prédiction de la distribution granulométrique des minéraux dans le flux mixte de la spirale / Spiral concentrators are gravity separation devices used for the valorization of ores for which the specific gravity of the valuable minerals is significantly different from that of the gangue minerals. This is the case of iron ore processing discussed in this thesis. Spirals are preferred to other mineral separation devices because they are inexpensive, simple of operation, practically maintenance free, low energy demanding and do not require the use of reagents to separate minerals. Despite these appealing qualities and unlike flotation, few studies are dedicated to the analyze the spiral operation. Indeed, it is only recently that basic process analysis has shown that spirals fail to recover coarse dense mineral particles to the heavy product. It has also been recently found that wash water, as the main control variable for the operation of the studied spirals, is partly responsible for the loss of coarse valuable particles. To make up for this loss and to maintain a satisfactory operation of spirals, other control variables such as the concentrate cutter openings and position of the splitter gates at the spiral discharge should be used. The study of alternative control strategies for spirals implies testing these strategies in the industrial environment, which is practically impossible considering that the operation of mineral processing plants is subjected to constraints imposed on the production and on the quality of the plant product. Besides, the impact of disturbances due to ore variations and/or mechanical problems in the plant is unavoidable. Testing new control strategies in pilot plant is possible but it is certainly costly if one can find a pilot plant equipped for such testing. Plant operators are thus seeking for rapid and inexpensive approaches to carry out such investigation to identify strategies that can subsequently be safely tested in a plant. Process simulation offers this possibility, but a literature survey rapidly revealed the absence of simulation tools for spirals and more particularly for gravity separation circuits that use spiral concentrators. The first step in building such circuit simulator is to find or develop mathematical models for the units of the circuit. With the objective of testing control strategies, it is thus important that the model to be developed be able to account for the usual spiral operating variables, namely the cutter opening, the discharge splitter position and the wash water addition. The objective of this research project is to propose such model for spirals. A mathematical model is therefore described to predict the trajectory of particles distributed in mineral/size classes as they flow down a spiral. This is achieved here by introducing the new concept of Particle Displacement Functions (PDF) in spiral modelling to describe the movements of the particles flowing down the spiral. The model is calibrated using data generated from tests conducted on a pilot-scale test rig built around a Mineral Technologies WW6+ spiral, installed in the Mineral Processing Laboratory of Université Laval. The model is further validated with data obtained from a WW6E spiral operated at COREM. The test rig commissioned at Laval University uses a controlled wash water distribution within the spiral turns to overcome the observed problem of unequal wash water distribution when using the spiral built-in wash water distribution system. The test rig is also designed to sample simultaneously the product from each concentrate cutter of the spiral, so that the progress of the heavy mineral concentration down the spiral can be monitored. This information can be used to calibrate the model. The calibrated spiral simulator predicts adequately the spiral response to changes in the states of the operating variables. The model can simulate a cleaner spiral operation although it is calibrated using data collected from a rougher spiral operation. The proposed model is ready to be implemented into a simulator for an iron ore processing plant, although work remains to be done to finalize the calibration methodology to improve the prediction of the mineral size distribution in the spiral middling stream.

Nous avons étudié la dynamique de Glauber sur les pavages de domaines finies du plan par des losanges ou par des dominos de taille 2 × 1. Ces pavages sont naturellement associés à des surfaces de R^3, qui peuvent être vues comme des interfaces dans des modèles de physique statistique. En particulier les pavages par des losanges correspondent au modèle d'Ising tridimensionnel à température nulle. Plus précisément les pavages d'un domaine sont en bijection avec les configurations d'Ising vérifiant certaines conditions au bord (dépendant du domaine pavé). Ces conditions forcent la coexistence des phases + et - ainsi que la position du bord de l'interface. Dans la limite thermodynamique où L, la longueur caractéristique du système, tend vers l'infini, ces interfaces obéissent à une loi des grand nombre et convergent vers une forme limite déterministe ne dépendant que des conditions aux bord. Dans le cas où la forme limite est planaire et pour les losanges, Caputo, Martinelli et Toninelli [CMT12] ont montré que le temps de mélange Tmix de la dynamique est d'ordre O(L^{2+o(1)}) (scaling diffusif). Nous avons généralisé ce résultat aux pavages par des dominos, toujours dans le cas d'une forme limite planaire. Nous avons aussi prouvé une borne inférieure Tmix ≥ cL^2 qui améliore d'un facteur log le résultat de [CMT12]. Dans le cas où la forme limite n'est pas planaire, elle peut être analytique ou bien contenir des parties "gelées" où elle est en un sens dégénérée. Dans le cas où elle n'a pas de telle partie gelée, et pour les pavages par des losanges, nous avons montré que la dynamique de Glauber devient "macroscopiquement proche" de l'équilibre en un temps L^{2+o(1)}

La fiabilité d'une technique d’Évaluation Non-Destructive (END) est l'un des aspects les plus importants dans la procédure globale de contrôle industriel. La courbe de la Probabilité de Détection (PdD) est la mesure quantitative de la fiabilité acceptée en END. Celle-ci est habituellement exprimée en fonction de la taille du défaut. Chaque expérience de fiabilité en END devrait être bien conçue pour obtenir l'ensemble de données avec une source valide, y compris la technique de Thermographie Infrarouge (TI). La gamme des valeurs du rapport de l'aspect de défaut (Dimension / profondeur) est conçue selon nos expériences expérimentales afin d’assurer qu’elle vient du rapport d’aspect non détectable jusqu’à celui-ci soit détectable au minimum et plus large ensuite. Un test préliminaire est mis en œuvre pour choisir les meilleurs paramètres de contrôle, telles que l'énergie de chauffage, le temps d'acquisition et la fréquence. Pendant le processus de traitement des images et des données, plusieurs paramètres importants influent les résultats obtenus et sont également décrits. Pour la TI active, il existe diverses sources de chauffage (optique ou ultrason), des formes différentes de chauffage (pulsé ou modulé, ainsi que des méthodes différentes de traitement des données. Diverses approches de chauffage et de traitement des données produisent des résultats d'inspection divers. Dans cette recherche, les techniques de Thermographie Pulsée (TP) et Thermographie Modulée(TM) seront impliquées dans l'analyse de PdD. Pour la TP, des courbes PdD selon différentes méthodes de traitement de données sont comparées, y compris la Transformation de Fourier, la Reconstruction du Signal thermique, la Transformation en Ondelettes, le Contraste Absolu Différentiel et les Composantes Principales en Thermographie. Des études systématiques sur l'analyse PdD pour la technique de TI sont effectuées. Par ailleurs, les courbes de PdD en TI sont comparées avec celles obtenues par d'autres approches traditionnelles d’END. / The reliability of a Non-Destructive Testing and Evaluation (NDT& E) technique is one of the most important aspects of the overall industrial inspection procedure. The Probability of Detection (PoD) curve is the accepted quantitative measure of the NDT& E reliability, which is usually expressed as a function of flaw size. Every reliability experiment of the NDT& E system must be well designed to obtain a valid source data set, including the infrared thermography (IRT) technique. The range of defect aspect ratio (Dimension / depth) values is designed according to our experimental experiences to make sure it is from non-detectable to minimum detectable aspect ratio and larger. A preliminary test will be implemented to choose the best inspection parameters, such as heating energy, the acquisition time and frequency. In the data and image processing procedure, several important parameters which influence the results obtained are also described. For active IRT, there are different heating sources (optical or ultrasound), heating forms (pulsed or lock-in) and also data processing methods. Distinct heating and data processing manipulations produce different inspection results. In this research, both optical Pulsed Thermography (PT) and Lock-in Thermography (LT) techniques will be involved in the PoD analysis. For PT, PoD curves of different data processing methods are compared, including Fourier Transform (FT), 1st Derivative (1st D) after Thermal Signal Reconstruction (TSR), Wavelet Transform (WT), Differential Absolute Contrast (DAC), and Principal Component Thermography (PCT). Systematic studies on PoD analysis for IRT technique are carried out. Additionally, constructed PoD curves of IRT technique are compared with those obtained by other traditional NDT& E approaches.

Le rappel d'une douleur passée est souvent utilisé par les professionnels de la santé afin d'évaluer la progression d'une douleur clinique et l'efficacité des moyens mis en place pour la traiter. Hors, le rappel d'une douleur est rarement précis et ceci représente une entrave majeure au processus décisionnel du traitement de la douleur clinique. À ce jour, on ignore toujours les mécanismes neuronaux engagés dans la formation de la mémoire d'une douleur et ceci est regrettable puisqu'aucune disposition ne peut être prise pour favoriser le rappel précis de la douleur. Il est aujourd'hui bien documenté que les mécanismes cérébraux engagés au moment de l'encodage mnésique sont essentiels dans la formation de la mémoire à long terme. En se basant sur ces résultats, nous avons postulé que l'activité cérébrale engagée au moment de l'encodage d'une douleur pourrait permettre de prédire la précision du rappel à long terme de cette douleur. Des stimulations électriques transcutanées, provoquant des sensations non-douloureuses et douloureuses, ont été administrées chez 21 participants en santé tout en procédant à l'enregistrement de leur activité cérébrale par la technique d'imagerie par résonance magnétique fonctionnelle (IRMf). Le rappel de la douleur a été évalué deux mois plus tard. La différence entre le rappel de la douleur et l'intensité de la douleur a constitué la variable dépendante principale, soit le score de précision du rappel de la douleur (PRD). Ces scores ont été rectifiés, de façon à ce que de faibles scores représentent un rappel précis de la douleur et de hauts scores représentent un rappel imprécis de la douleur. La douleur expérimentale a provoqué l'activation des régions classiquement associées au traitement et à la perception de la douleur, soit les cortex somatosensoriels primaires et secondaires, le cortex insulaire, le thalamus, le cortex cingulé antérieur et le cervelet (Z > 2.4, p < 0.05). L'analyse corrélationnelle principale a démontré que les scores de PRD étaient significativement et négativement associés à l'activité de l'insula dorso-antérieure gauche à l'encodage (r = -0.7549, p < 0.05 après correction pour mesures répétées). Aucune association similaire n'a été observée pour les stimulations électriques non-douloureuses. L'insula dorso-antérieure est traditionnellement associée à la saillance émotionnelle, l'interoception et la pertinence personnelle relative à une expérience. Puisque la précision du rappel est associée l'activité insulaire et qu'il a été démontré que le rappel d'un évènement qui nous concerne personnellement est plus précis, il est possible que le rappel d'une douleur passée soit plus précis lorsque la sensation ou le contexte a une importante signification émotionnelle ou personnelle.

Par-4 is a leucine zipper domain protein that induces apoptosis on its own in certain cancer cells and in Ras-transformed cells, but not in normal or immortalized cells. Par-4 induces apoptosis by activation of the Fas death receptor pathway and co-parallel inhibition of NF-B transcription activity. Cells that are resistant to apoptosis by Par-4 alone, however, are greatly sensitized by Par-4 to the action of other pro-apoptotic insults such as growth factor withdrawal, TNF, ionizing radiation, intracellular calcium elevation, or those involved in neuronal degeneration such as Alzheimer's, Parkinson's, Huntington's and Stroke. Previous studies have suggested that the apoptosis-sensitization potential of Par-4 is dependent upon inhibition of PKC or WT1 cell survival function by direct interaction between the leucine zipper domain at the carboxy-terminus of Par-4 and the zinc finger domains of PKC or WT1. In this study, I performed structure-function analysis using GFP-fusion proteins and deletion mutants to identify the functional localization and domains of Par-4 that are essential for apoptosis induction. My findings suggest that apoptosis by Par-4 is dependent on its translocation to the nucleus for induction of apoptosis. A bipartite nuclear localization signal sequence corresponding to amino acids 137-155 was necessary for nuclear translocation of Par-4. Importantly, the core residues 137-204 in the center part of Par-4 were necessary and sufficient to induce Fas pathway activation, inhibition of nuclear NF-B transcription activity and apoptosis. These findings imply that binding of Par-4 via its leucine zipper domain to other proteins is dispensable for apoptosis by Par-4.

Cette étude porte sur la Fragilisation par Hydrogène (FPH), sous voie gazeuse haute pression et à température ambiante, d'un acier à Haute Limite d'Elasticité (HLE) de grade API X80, utilisé pour la construction de pipelines, ainsi que sur la compréhension des mécanismes physiques de fragilisation associés. Ce travail s'inscrit dans un contexte de développement d'une nouvelle politique énergétique, basée sur l'utilisation d'énergies renouvelables, et dans laquelle l'utilisation de l'hydrogène, en tant que vecteur énergétique, s'inscrit pleinement. Dans cette optique, l'utilisation de pipelines en acier HLE semble être, pour le transport de l'hydrogène à grande échelle et à moindre coût, une des solutions à envisager. Celle-ci nécessite cependant de quantifier, et de comprendre, l'impact de l'hydrogène sur ces aciers. En premier lieu, ce travail s'est axé sur l'étude bibliographique des phénomènes d'adsorption, d'absorption, de diffusion, de transport et de piégeage de l'hydrogène dans les aciers. Il est s'accompagné d'un travail expérimental et numérique permettant l'implantation, dans le code de calcul par éléments finis CAST3M, d'un modèle de diffusion de l'hydrogène couplé aux champs mécaniques. En second lieu, l'influence de l'hydrogène sur les caractéristiques mécaniques de l'acier X80, de microstructure ferrito-perlitique, a été étudiée aux moyens d'essais de traction sous 300 bar d'hydrogène et à température ambiante. Une fois mise en évidence, la sensibilité de l'acier X80 à la FPH a été analysée plus en détail via la réalisation d'essais de traction à différentes vitesses de déformation, sous diverses pressions d'hydrogène, et sur des éprouvettes axisymétriques entaillées. Ces travaux ont montré que l'ampleur de la FPH varie effectivement avec les conditions expérimentales. De plus, corrélés aux résultats issus des simulations de ces essais, ils ont également mis en lumière que, dans nos conditions expérimentales et pour cet acier, la FPH est induite par trois populations distinctes d'hydrogène : l'hydrogène piégé aux interfaces ferrite/perlite, l'hydrogène adsorbé en surface, et enfin l'hydrogène réticulaire et piégé dans le volume du matériau. En dernier lieu, la réalisation d'essais de traction et de rupture de disques, durant lesquels des changements d'atmosphères ont été réalisés, ont montré une forte réversibilité de la FPH, associée à son apparition quasi immédiate dès l'introduction d'hydrogène dans l'atmosphère. Corrélés aux simulations de ces essais, ces résultats ont mis en exergue le rôle de l'hydrogène adsorbé dans les mécanismes de fragilisation de l'acier X80. Ces travaux ont également mis en évidence que l'hydrogène fortement piégé ne participe pas à la fragilisation de l'acier. Au contraire, l'hydrogène réticulaire et faiblement piégé (WB ≤ 16 kJ/mol), présent à proximité de la surface, semble amplifier l'effet fragilisant de l'hydrogène adsorbé. Au final, trois mécanismes de fragilisation, associés chacun à une des populations d'hydrogène incriminées dans la FPH de l'acier X80, sont présentés et discutés. Il ressort principalement de cette étude que l'hydrogène adsorbé, par son influence sur l'organisation des atomes du matériau en surface, a un rôle de tout premier plan dans la FPH sous voie gazeuse haute pression et à température ambiante de l'acier X80 / Manquant

Dans le cadre de cette thèse, il s’agit de voir l’influence de la composition du fluide sur le flux extrait. En effet l’eau utilisée pour le refroidissement des bandes d’acier en sortie de laminoir est recyclée et est potentiellement polluée par des résidus d’huile provenant de la lubrification des cylindres de laminoir. Nous avons conçu un dispositif expérimental original qui consiste à chauffer sur sa face supérieure un disque en Nickel à des températures de l’ordre de 600°C grâce à un dispositif d’induction électromagnétique et ensuite à le refroidir par un jet impactant. La face non refroidie est accessible à une mesure par thermographie infrarouge. Ces conditions de mesures nous ont permis d’estimer le flux extrait sur la face supérieure (lieu du refroidissement) à partir des mesures de température par thermographie infrarouge sur la face inférieure à l’aide d’un modèle de conduction inverse spécifiquement développé. Les résultats ont permis de montrer que la présence d’huile, si elle dégrade le flux maximal extrait dans certaines zones, conduit à une cinétique globale du refroidissement supérieure à celle de l’eau pure. / In this work, we are interested in the influence of the fluid’s composition on the cooling flux. In fact water used for cooling is recycled and can be potentially polluted by residues oil from the lubrication of rolling cylinder. We have designed an original experimental device which consists of heating a Nickel disk on its upper face at temperatures of 600°C through electromagnetic induction and then cooling it by jet impingement. The reverse face is available by infrared thermography measurements. These conditions allowed us to estimate the heat flux on the upper face (the cooling area) by infrared thermography measurements with a specific inverse heat conduction model. The results showed that the presence of oil, if it degrades the maximum cooling flux in some areas, led to a better overall cooling than that obtained with pure water.

L’introduction des nouvelles technologies de l’information et de la communication dans les systèmes automatisés entraîne un accroissement de la complexité des fonctions qu’ils supportent. Cet accroissement de la complexité a un impact sur la sécurité des systèmes. En effet, leurs propriétés ne sont plus réductibles aux propriétés de leurs constituants pris isolément mais émergent d’un réseau d’interactions entre ces constituants qui peut être à l’origine de comportements néfastes et difficiles à prévoir. Notre conviction est que le développement sûr de ces systèmes doit combiner des approches pragmatiques orientées « système », qui tiennent compte du facteur d'échelle réel d'une automatisation pour appréhender le fonctionnement global du système et son architecture, avec des approches plus formelles qui permettent de s’assurer que les propriétés intrinsèques des constituants contribuent efficacement au respect des exigences « système » formulées par les utilisateurs. Le travail présenté dans ce mémoire définit donc une approche méthodologique basée sur le formalisme SysML (System Modeling Language) permettant l’identification, la formalisation et la structuration d’exigences globales relatives à un système, puis leur projection, sous forme de propriétés invariantes, sur une architecture de composants. La vérification des exigences de sécurité, repose alors, d’une part, sur un raffinement prouvé (par theroem proving) des exigences « système » permettant d’établir leur équivalence avec un ensemble de propriétés intrinsèques relatives à chacun des composants, et d’autre part, sur la vérification formelle (par model checking) de ces propriétés intrinsèques. / Introduction of new information and communication technology in automated systems leads to a growth of safety functions complexity. System properties are not limited to components properties, they issued from an interactions network that can introduces bad behaviour. Our conviction is that a safe development of such system must involve system oriented approaches in order to apprehend system global behaviour and architecture and more formal approaches allowing verifying that components properties satisfy end users system requirements We define a methodological approach based on SysML formalism (System Modelling Language) allowing global system requirements identification; formalisation and structuring in order to project these requirements on the system components architecture and so obtain local components properties. Then safety requirements verification is based in one hand on proved refinement (using theorem proving) of system requirements to components properties; and, in the other hand, on the formal verification (using model checking) of these components properties.