Cette thèse a été réalisée en cotutelle entre l'Université Technique Nationale Ivan Pul'uj de Ternopil (TNTU, Ukraine) et l’Université Blaise Pascal (Clermont Ferrand, France). Les travaux ont été effectués au sein de l'Institut Pascal de l’Université Blaise Pascal - Clermont II, de l’IFMA et du CNRS, dans le thème scientifique Matériaux actifs et intelligents, modélisation multi-échelle de l'axe Mécanique, Matériaux et Structures, et au sein de l'Institut Français de Mécanique Avancée. Les travaux réalisés sont inscrits dans l'action transversale « Matériaux et Modélisations Multi-Echelles » de l'Institut Pascal et, en partie, dans l'action MAIM du Laboratoire d'Excellence Labex IMobS3. La thèse présentée appartient au domaine scientifique de la mécanique de la rupture et la science des matériaux.Le but de ce travail est l’étude de l'effet du temps de fonctionnement sur les dommages de la structure, les propriétés mécaniques et la ténacité d'acier de collecteur de surchauffe dans les centrales thermiques et de développer les méthodes qui sont basées sur l'évaluation de la résistance résiduelle du collecteur en tenant compte des dispersions des propriétés mécaniques, du chargement opérationnel et des défauts de taille. La thèse étudie l'influence de l'hydrogénation sur le comportement mécanique, la ténacité et les micro-mécanismes de rupture dans le matériau du collecteur de surchauffe à déformation lente. / This thesis has been performed under the cotutelle agreement between Ternopil Ivan Pul’uj National Technical University (TNTU, Ukraine) and Blaise Pascal University (Clermont Ferrand, France). The thesis has been carried out within Pascal Institute of the Blaise Pascal University - Clermont II, the IFMA and the CNRS, in the Scientific Theme “Active and Smart Materials and Multiscale Modeling” of the Mechanics, Materials and Structures Department, and within the French Institute for Advanced Mechanics. The work is included in the Transversal Action "Materials and Multi-scale Modelling" of the Pascal Institute and in the Action MAIM of the Excellence Laboratory Labex IMobS3. The presented thesis belongs to the scientific field of fracture mechanics and material science. The aim of the thesis is to study the effect of operating time on damage of structure, mechanical properties and fracture toughness of superheater collector steel at thermal power plants (TPPs) and to develop the methods that are based on the assessment of the residual strength of collector taking into account the mechanical properties scatter, operational loading and defect sizes. The thesis studies the influence of hydrogenation on mechanical behavior, fracture toughness and fracture micromechanisms in the material of superheater collector at slow deformation.

Cette thèse étudie les propriétés calculatoires des présentations d'opérades, ou systèmes de réécriture de diagrammes de Penrose, et leurs liens avec divers types de systèmes de réécriture classiques. Grâce à des nouveaux critères pour la terminaison et la confluence, on démontre la conjecture sur la convergence de la présentation L(Z2) des Z/2Z-espaces vectoriels, une théorie équationnelle commutative. On montre que les présentations d'opérades sont des généralisations des systèmes de réécriture de mots et des réseaux de Petri et qu'elles fournissent un calcul de gestion explicite des ressources pour les systèmes de réécriture de termes linéaires à gauche. Enfin, on étudie les obstructions à ce même résultat concernant le lambda-calcul. Des annexes présentent les liens entre les opérades et d'autres structures de l'algèbre universelle, ainsi qu'un calcul de substitutions explicites.

Dans la première partie de ce travail, nous avons traité de quelques sujets qui sont pertinents dans le domaine de la physique des résonances nucléoniques dans le cadre des différents modèles des quarks constituants. Dans ce contexte, nous avons concentré nos recherches sur la description théorique des désintégrations Pi et Nu des résonances N et Delta. Les résultats obtenus montrent la nécessité d'une description plus microscopique de la dynamique responsable à la fois pour la liaison des quarks dans les baryons et la désintégration de ceux-ci.<br>Dans la seconde partie de notre étude nous avons contribué à une recherche sur le rôle de l'échange de deux bosons croisés dans l'équation de Bethe-Salpeter, aussi bien qu'à l'étude de différentes approches tri-dimensionelles, qui proviennent de l'équation de Bethe-Salpeter dans une réduction non relativiste, en particulier une équation avec interaction dépendante de l'énergie. Il est montré qu'une telle équation reproduit bien certaines propriétés de l'équation de Bethe-Salpeter et, en particulier, qu'il émerge aussi des solutions anormales dans une telle approche.

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de systèmes à grand espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes de haut niveau normalement utilisés, nous nous sommes intéressés au formalisme des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la modélisation de systèmes complexes, où un système est représenté par la composition de sous-systèmes (automates) qui interagissent entre eux. Cette interaction se réalise par l'occurrence des événements synchronisants ou des taux fonctionnels. Lorsqu'on calcule l'espace d'états atteignables de systèmes complexes, le principal problème qui surgit est l'explosion combinatoire de l'espace d'états du modèle. Dans la première partie de cette thèse, nous proposons des méthodes pour la génération de l'espace d'états atteignables de modèles compositionnels qui utilisent des taux fonctionnels. Nous utilisons les Diagrammes de Décision Multi-valués (MDD) pour représenter et manipuler les espaces d'états et le formalisme SAN pour la modélisation de systèmes. Un MDD est une structure de donnée arborescente qui permet de représenter et de manipuler de façon performante un très grand espace d'états. L'avancée par rapport à l'état de l'art a été de proposer de méthodes qui prennent en compte ces fonctions qui expriment des relations entre les composants des modèles. Des études d'exemples sont présentées afin d'illustrer les apports de ces méthodes. Dans la deuxième partie de cette thèse, nous nous sommes intéressés à la résolution d'un modèle SAN à temps discret dont la matrice de transition est représentée par une formule tensorielle (appelée descripteur discret). A cet effet, nous présentons l'Algèbre Tensorielle compleXe (ATX) adaptée à la composition parallèle des SAN à temps discret pour la représentation du descripteur et nous démontrons des propriétés qui servent de base aux méthodes itératives pour la résolution de la chaîne de Markov associée au modèle SAN. Un des avantages de représenter un modèle SAN par un descripteur est la façon compacte par laquelle on peut représenter les transitions du modèle: on remplace une description dans un espace produit par un unique produit tensoriel portant sur des facteurs qui décrivent ce qui se passe sur une seule dimension (une composante du modèle SAN). Afin de profiter de cette représentation, nous présentons une méthode de multiplication d'un vecteur de probabilité par un descripteur discret adaptée à cette algèbre. Cette méthode vise à exploiter des propriétés du produit tensoriel complexe de façon à ce que la multiplication par un opérateur sur l'espace produit soit remplacée par une suite d'opérations qui manipulent des données de la taille d'une composante (et pour toutes les composantes).

Ce travail est une contribution à la compréhension des processus d'altération de matériaux cimentaires par des eaux de pluie et des eaux sulfatées. Il est le fruit d'une collaboration entre géochimistes et cimentiers, les bétons pouvant être considérés comme des roches. Pour les eaux de pluie, les conditions envisagées en laboratoire ont été l'altération par de l'eau sous atmosphère inerte, sous atmosphère carbonatée et de l'eau acidifiée à pH égal à 4. Les échantillons testés ont été des pâtes, des mortiers et un béton à ultra hautes performances. Concernant les eaux sulfatées, des échantillons de mortier à base de ciment Portland ordinaire et de ciment Portland résistant aux sulfates ont été immergés dans une solution de Na₂SO₄ dissous. Les zonations chimiques et minéralogiques survenues dans les échantillons altérés ont été étudiées par microscopie électronique à balayage, diffraction aux rayons X et microsonde électronique. Pour comprendre l'origine des modifications survenues dans les échantillons près expérience, nous avons adopté une approche thermodynamique à l'équilibre. Le système chimique exploré a été le système CaO-SiO₂-Al₂O₃-SO₃-CO₂-H₂O à 25°C sous une atmosphère. D'après nos résultats expérimentaux, les constituants CaO, SO₃ et CO₂ se sont comportés comme en système ouvert, et SiO₂ et Al₂O₃ comme en système fermé. Des diagrammes de phases en potentiels chimiques ont été construits avec le logiciel "Zen+K" basé sur la minimisation de l'enthalpie libre de Gibbs. Pour chaque condition d'altération expérimentée, nous proposons un cheminement dans les diagrammes permettant de retrouver les zonations. Ces cheminements sont compatibles avec des modèles existants. De plus, ils montrent l'influence de l'activité de l'eau sur la présence du monosulfoaluminate de calcium. Enfin, ce travail a validé une démarche analytique et thermodynamique applicables à des conditions d'altération plus complexes.

Dans un circuit asynchrone, la synchronisation entre les blocs est locale: on s'affranchit ainsi des contraintes liées à l'horloge. Ces circuits sont plus robustes, modulaires, moins bruités, et ont une consommation dynamique plus faible que les circuits synchrones. Cependant, le manque d'outils de conception de tels circuits freine leur développement. Cette thèse a permi de développer une technique de synthèse automatique de circuits asynchrones quasi insensibles aux délais (QDI), qui sont particulièrement robustes. La méthode de synthèse permet de synthétiser un circuit totalement décomposé en portes logiques élémentaires, ce qui permet d'effectuer une projection technologique. De plus, une étude formelle réalisée durant la thèse démontre que les circuits synthétisés respectent la contrainte de quasi insensibilité aux délais. Cette technique de synthèse a été développé au sein du projet TAST. Elle a été validée sur un ensemble de circuits de tests.

Cet exposé synthétise nos principales contributions dans le cadre de la conception de services et de protocoles pour les systèmes distribués collaboratifs. La première partie présente le cadre de notre travail, le travail collaboratif, vu essentiellement selon l'angle de l'informatique répartie. Au travers d'une étude, analyse et classification, nous mettons en évidence, sous forme de bilan, les principales avancées et tendances d'évolution des systèmes collaboratifs. Nous présentons une analyse et une classification des principaux modèles de session rencontrés, que nous comparons et classifions. Finalement, nous procédons à une analyse et une comparaison des principaux gestionnaires de sessions existants. La seconde partie décrit nos contributions en terme de modélisation de sessions collaboratives. Après avoir décrit les principaux éléments qui composent une session collaborative, nous décrivons le modèle de session que nous avons proposé et nous le positionnons vis-à-vis des autres formalismes. Nous terminons par nos contributions détaillées pour l'implantation et l'utilisation de notre modèle de session. La troisième partie traite de la gestion des sessions collaboratives. Nous décrivons le service de gestion de session que nous avons proposé et nous comparons ses caractéristiques à celles des autres gestionnaires. Finalement, nos présentons le détail de nos contributions dans les domaines de la conception formelle et de l'implantation des services de gestion de session, et plus généralement de services collaboratifs.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Les analyses de sûreté de fonctionnement standards sont basées sur la représentation des événements redoutés par des arbres de défaillances, qui les décrivent à l'aide de combinaison logiques d'événements plus basiques (formules Booléennes complexes). Les analyses quantitatives se font avec l'hypothèse que les probabilités d'occurrence de ces événements basiques sont connues. Le but de cette thèse est d'étudier l'impact de l'incertitude épistémique sur les événements élémentaires, ainsi que la propagation de cette incertitude à de plus hauts niveaux. Le problème soulevé est comment calculer l'intervalle de probabilité dans lequel se trouvera l'occurrence d'un événement redouté, lorsque les événements basiques qui le décrivent ont eux-mêmes une probabilité imprécise. Lorsque l'indépendance stochastique est supposée, on se retrouve avec un problème NP-hard. Nous avons donc développé un algorithme permettant de calculer l'intervalle exact dans lequel se trouvera la probabilité d'occurrence d'un événement redouté, grâce à des techniques d'analyse par intervalles. Cet algorithme a également été étendu dans le cas où les probabilités des événements basiques évolueraient en fonction du temps. Nous avons également utilisé une approche par fonctions de croyance pour étudier le cas où l'indépendance stochastique des événements ne peut pas être démontrée : on suppose alors que les probabilités viennent de différentes sources d'information Indépendantes. Dans ce cas, les mesures de plausibilité et de nécessité d'une formule Booléenne complexe sont difficiles à calculer, néanmoins nous avons pu dégager des situations pratiques dans le cadre de leur utilisation pour les Arbres de défaillances pour lesquelles elles se prêtent aux calculs. / Standard approaches to reliability analysis relies on a probabilistic analysis of critical events based on fault tree representations. However in practice, and especially for preventive maintenance tasks, the probabilities ruling the occurrence of these events are seldom precisely known. The aim of this thesis is to study the impact of epistemic uncertainty on probabilities of elementary events such as failures over the probability of some higher level critical event. The fundamental problem addressed by the thesis is thus to compute the probability interval for a Boolean proposition representing a failure condition, given the probability intervals of atomic propositions. When the stochastic independence is assumed, we face a problem of interval analysis, which is NP-hard in general. We have provided an original algorithm that computes the output probability interval exactly, taking into account the monotonicity of the obtained function in terms of some variables so as to reduce the uncertainty. We have also considered the evolution of the probability interval with time, assuming parameters of the reliability function to be imprecisely known. Besides, taking advantage of the fact that a probability interval on a binary space can be modelled by a belief function, we have solved the same problem with a different assumption, namely information source independence. While the problem of computing the belief and plausibility of a Boolean proposition are even harder to compute, we have shown that in practical situations such as usual fault-trees, the additivity condition of probability theory is still valid, which simplifies this calculation. A prototype has been developed to compute the probability interval for a complex Boolean proposition.

Le recyclage des terres rares à partir de déchets électroniques n'a toujours pas trouvé une réalisation industrielle significative. L'une des raisons est le manque de procédures de séparation optimisées en raison de connaissances fondamentales médiocres sur ces systèmes. En raison des similitudes chimiques et physiques de ces métaux, la conception d'une formulation efficace, adaptative et prédictive est toujours hors de portée des possibilités. L'interprétation supramoléculaire de la formation complexe dans la phase organique est de plus en plus importante au cours des dernières années. C'est l'approche la plus prometteuse permettant l'explication de divers phénomènes, tels que la formation de la troisième phase et les signaux forts dans de petites expériences de diffusion et de revenir à des méthodes bien connues de la science des tensioactifs. Notre contribution à une compréhension plus complète dans cette matière est l'analyse du comportement électrodynamique de ces phases et la corrélation de ces résultats avec les résultats des propriétés d'auto-assemblage et du transport de masse dans ces médias. Pour cette étude, nous avons spécifiquement conçu un modèle de référence, en passant un processus d'extraction à ses quatre composants fondamentaux: l'extracteur avant l'extraction (acide Di-(2-éthylhexyl) phosphorique, HDEHP), l'extrait après extraction (son sel de sodium, NaDEHP ), le toluène comme diluant apolaire et de l'eau. Un prisme de phase de Gibbs a été préparé (illustré sur la figure 1), où l'axe z donne le rapport de HDEHP à NaDEHP, ce qui représente le développement d'une extraction. Couvrant le domaine de basse fréquence, la spectroscopie d'impédance a été la méthode de choix afin de déterminer la conductivité dépendant de la fréquence. En utilisant la spectroscopie de relaxation diélectrique, nous révélons des processus dynamiques rapides à haute fréquence. Des mesures combinées SAXS et SANS ont été effectuées pour comparer les tendances électrodynamiques avec les propriétés d'agrégation et les interactions entre groupes. Deux phénomènes ont été identifiés comme responsables du profil de conductivité dans les systèmes micellaires inverse: la formation d'agrégats chargés par la dissimulation et la percolation. Tout au long du système de référence, ces deux processus ont été sondés en fonction de trois variables: la concentration totale d'agent d'extraction, le rapport eau-agent tensioactif et le rapport Na: H. En tant que résultat majeur, l'eau joue un rôle important dans les deux processus. En cas de percolation, les agrégats inverse ne peuvent pas fusionner en l'absence d'eau. Par conséquent, la conductivité électrique est interdite. Dans les systèmes dilués, l'eau facilite le processus de dismutation, entraînant une augmentation de la conductivité. / Recycling of rare earths from electronic waste has still not found a significant industrial realization. One reason is the lack of optimized separation procedures due to poor fundamental knowledge on these systems. Due to the chemical and physical similarities of these metals, designing an efficient, adaptive and predictive formulation is still out of scope of possibilities. The supramolecular interpretation of complex-formation in the organic phase has gained an increasing importance in the last years. It is the most promising approach allowing the explanation of diverse phenomena, such as third phase formation and strong signals in small scattering experiments and to revert to methods well known from surfactant science. Our contribution towards a more complete understanding in this matter is the analysis of the electrodynamic behaviour of such phases and the correlation of these findings with the results of self-assembly properties and mass transport in these media.For this study, we specifically designed a reference model, breaking an extraction process down to its four fundamental components: The extractant before extraction (Di-(2-ethylhexyl)phosphoric acid, HDEHP), the extractant after extraction (its sodium salt, NaDEHP), toluene as apolar diluent and water. A Gibbs phase prism has been prepared (illustrated in Figure 1), where the z-axis gives the ratio of HDEHP to NaDEHP, representing the development of an extraction. Covering the low frequency-domain, impedance spectroscopy has been the method of choice in order to determine the frequency-dependent conductivity. Using dielectric relaxation spectroscopy, we reveal fast dynamic processes at high frequencies. Combined SAXS and SANS measurements have been performed to compare the electrodynamic trends with aggregation properties and intercluster interactions.Two phenomena have been identified to be responsible for the conductivity profile in reverse micellar systems: the formation of charged aggregates through dismutation and percolation. Throughout the reference system, these two processes have been probed as function of three variables: total extractant concentration, the water-to-surfactant ratio and the Na:H-ratio. As a major result, water plays a significant role in both processes. In case of percolation, reverse aggregates are not able to merge in the absence of water. Therefore, electrical conductivity is prohibited. In dilute systems, water facilitates the dismutation–process leading to an increase in conductivity.