Les systèmes temps-réel strict sont soumis à des contraintes temporelles dont le non respect peut entraîner des conséquences économiques, écologiques, humaines catastrophiques. Le processus de validation, garantissant la sûreté de ces logiciels en assurant le respect de ces contraintes dans toutes les situations possibles y compris le pire cas, se base sur la connaissance à priori du pire temps d'exécution de chacune des tâches du logiciel. Cependant, l'obtention de ce pire temps d'exécution est un problème difficile pour les architectures actuelles, en raison des mécanismes matériels complexes pouvant amener une variabilité importante du temps d'exécution. Ce document se concentre sur l'analyse du comportement temporel pire cas des hiérarchies de mémoires cache, afin de déterminer leur contribution au pire temps d'exécution. Plusieurs approches sont proposées afin de prédire et d'améliorer le pire temps d'exécution des tâches s'exécutant sur des processeurs multi-cœurs disposant d'une hiérarchie de mémoires cache avec des niveaux partagés entre les différents cœurs de calculs.

Ce travail présente une approche raisonnée pour alimenter en énergie électrique une lampe exciplexe à décharge à barrière diélectrique, en vue du contrôle du rayonnement UV produit. Un modèle électrique de la lampe a été développé et identifié, permettant d'étudier les interactions alimentation-lampe. Ce modèle est également utilisé pour effectuer la synthèse des structures candidates du convertisseur ; celles-ci, procèdent à un contrôle direct du courant dans la lampe. Une étude expérimentale a été menée afin de valider l'approche théorique. Les degrés de liberté apportés par le réglage des convertisseurs sont exploités, pour analyser la corrélation entre le courant du gaz et le rayonnement UV.

L'objectif de ce travail est d'élaborer un modèle mécanique de la hanche saine susceptible d'être utilisé comme référence pour pouvoir ensuite analyser le comportement de hanches pathologiques en évaluant l'effet des traitements préconisés par comparaison des différents comportements simulés. Dans ce contexte, un modèle éléments finis générique de l'articulation de la hanche est développé. Il est également nécessaire de déterminer l'état de chargement de l'articulation de la hanche pour notre simulation. L'analyse du mouvement permet le calcul des données cinématiques et dynamiques à partir des mesures expérimentales. A partir de ces données, un modèle musculo-squelettique associant une méthode de dynamique inverse et d'optimisation statique, permet de déterminer les efforts musculaires mis en jeu par les muscles croisant l'articulation de la hanche. L'évaluation des forces développées par les muscles de la hanche permet de calculer la réaction de contact articulaire exercée par le fémur sur le bassin. C'est cette réaction que nous implémentons dans le modèle éléments finis. Ainsi, les simulations du comportement de la hanche saine sont réalisées pour la phase d'appui de la marche et la phase d'appui de la montée d'escaliers. Nous traitons ensuite d'une application clinique visant à évaluer l'influence du port d'une orthèse podale sur le comportement mécanique d'une hanche arthrosique. La démarche suivie est la même que celle mise en place pour l'étude du comportement de la hanche saine. L'état de chargement de la hanche arthrosique est déterminé chez le patient pendant la marche et la montée d'escaliers évoluant successivement avec puis sans orthèses.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

L'objectif de ce travail est de prédire les évolutions microstructurales se produisant dans le tantale pur lors d'un traitement thermique en fonction de son état microstructural initial. La restauration, la recristallisation et la croissance de grains sont décrites à l'aide d'un modèle en champ moyen qui nécessite une description adéquate de la microstructure, en termes de distributions de tailles de grains et de densités de dislocations équivalentes. La densité de dislocation équivalente moyenne peut être évaluée par une simple mesure de dureté Vickers. L'établissement de la relation dureté-densité de dislocations nécessite l'utilisation d'une loi de comportement basée sur la densité de dislocations équivalente. Les évolutions microstructurales au cours d'un traitement thermique ont été observées et les paramètres pilotant ces phénomènes ont été identifiés à l'aide d'essais originaux comme l'observation in situ de la recristallisation ou l'utilisation d'essais à gradient de déformation pour déterminer le seuil de densité de dislocations équivalente pour déclencher la recristallisation. Des essais plus classiques ont permis d'obtenir des cinétiques de recristallisation dans la gamme 1000°C-1100°C pour différentes microstructures initiales. Les simulations des différents traitements thermiques à l'aide du modèle à champ moyen rendent bien compte des évolutions microstructurales en termes de fraction recristallisée et de taille des grains recristallisés pour des microstructures faiblement déformées ou fortement déformées et fragmentées, en utilisant une description adéquate du type de microstructure initiale. Le modèle devra en revanche être adapté pour traiter le cas de microstructures intermédiaires, en enrichissant non seulement la description de la microstructure initiale mais également celle de l'étape de germination des grains recristallisés. Il deviendra alors capable de prédire les évolutions de microstructures pour tout type de microstructure initiale de tantale. / This study aims at predicting the microstructural evolution of pure tantalum during annealing according the initial microstructural state. Static recovery and discontinuous recrystallization as well as grain growth are described using a mean-field model requiring an appropriate description of the microstructure, using both equivalent dislocation densities and grain sizes distributions. The average equivalent dislocation density can be assessed from Vickers microhardness measurements. The calibration of such a relation between microhardness and dislocation density involves the use of a dislocation density-based constitutive law. Microstructural evolutions during annealing have been observed and control parameters of these phenomena have been determined using original tests such as in situ observation of the recrystallization process or the use of strain gradient samples to assess the critical dislocation density for the onset of recrystallization. More classical tests have been carried out to get recrystallization kinetics in the range 1000-1100°C for different initial microstructures. Simulations of annealing using the mean-field model adapted for tantalum match the experimental evolution of both recrystallized fraction and recrystallized grain size, in either weakly deformed or severely deformed and fragmented microstructures. On the other hand, the model needs to be further adapted for intermediate microstructures, with both a more elaborate description of the initial microstructure and of the nucleation stage of the recrystallized grains. It will then be suitable to predict evolutions of any initial tantalum microstructure during annealing.

Nous nous proposons de modéliser différents types de mécanismes d'incitation salariale, de déterminer les conditions de leur mise en place et d'analyser leurs effets sur les efforts des salariés, la performance des firmes et le surplus collectif. Ces effets sont étudiés dans des cadres statique et dynamique. Les deux premiers chapitres (2 et 3) s'insèrent dans un cadre d'analyse statique. Dans les trois derniers chapitres (4, 5 et 6), nous intégrons une dimension temporelle dans l'analyse se passant dans un cadre dynamique. Dans le chapitre 2, nous analysons les déterminants de l'actionnariat salarié et évaluons son impact sur le bien être des différents agents économiques. Nous prouvons théoriquement et empiriquement, l'importance de considérer conjointement la désutilité à l'effort des salariés et la taille de l'entreprise pour expliquer l'actionnariat salarié. Nous montrons également que les entreprises assez larges vont distribuer à l'équilibre des parts de capital sous-optimales à leurs salariés. Nous comparons dans le chapitre 3, du point de vue des différents agents économiques, deux scénarios de partage du profit: un premier où la part de profit résulte d'une négociation et un second où cette part est fixée unilatéralement par les capitalistes. Nous montrons que les capitalistes peuvent préférer la négociation alors qu'il est possible pour les salariés de préférer une fixation unilatérale. Nous justifions également la nécessité d'une intervention de l'Etat, les intérêts des deux capitalistes et du planificateur social n'étant jamais convergents. / We aim at modeling various incentive mechanisms, determining the conditions of their implementation and analyzing their effects on employees’ efforts, the firm’s performance and the social welfare. These effects are studied in static and dynamic frameworks. The first two chapters (2 and 3) are parts of the static analysis. In the last three chapters (4, 5 and 6), we take into account a temporal dimension. In the chapter 2, we analyze the factors which determine the employee ownership implementation and estimate its impact on agents’ welfare. We prove the importance to consider jointly the effort disutility and size in the explanation of employee ownership implementation. We also show that large firms are going to distribute sub-optimal capital shares to their employees. We compare in the chapter 3, from the viewpoint of the various economic agents, two scenarios of profit sharing: the first one where the part of profit results from a negotiation and the second where this part is unilaterally fixed by capitalists. We show that those shareholders may prefer bargaining while it is possible for the employees to prefer a unilateral fixing of profit shares. We also justify the necessity of a regulator’s intervention as the interests of both capitalists and social planner never converge. The chapter 4 examines the optimal strategy of divesting actions by the large shareholder in an infinite horizon game where divesting shares allows an increase in the company’s value through its incentive effect on the managers’ efforts.

L'aéronautique, dans ses efforts pour un avion plus vert, tend à devenir plus électrique. Cependant dans ce passage au plus électrique, quelques actionneurs de l'avion ainsi que leurs électroniques associées se heurtent à un verrou technologique lié à la haute température (200°C). Dans ce contexte, ce mémoire présente des travaux qui contribuent à lever ce verrou technologique. Nous avons montré que le convertisseur d'électronique de puissance, désigné par onduleur, a été conçu pour répondre à notre besoin avec le composant le plus fiable et le plus mature, le JFET deux canaux de la société SICED INFINEON en carbure de silicium (ou SiC). Pour mieux cerner le fonctionnement du JFET SiC deux canaux et valider ultérieurement son modèle, nous avons effectué des caractérisations électriques de ses comportements statique et dynamique sur une plage de température importante allant de -40°C à +180°C. Nous avons montré et décrit de façon fine, en particulier à 27°C, les phases de commutation du composant JFET en mettant en avant le rôle important des couplages capacitifs (Cgd, Cds et Cgs). Un modèle représentant ses comportements statique et dynamique a été présenté et validé à 27°C. Nous avons ensuite minimisé les effets de l'Interaction Puissance Commande IPC due à Cgd au niveau du JFET fonctionnant en mode roue libre (phénomène de Punch-through à la mise en conduction et possible remise en conduction au blocage sont à considérer). Pour ce faire nous avons étudié et comparé trois circuits d'attaques de grille, et nous avons montré le rôle de l'impédance de grille (RG, lG) vis-à-vis de l'IPC et de l'optimisation des circuits d'attaque de grille. Enfin, nous avons présenté la problématique liée à la stabilité du bus continu à haute température (200°C) et à haute tension (540V). Une solution de stabilisation du bus DC simple et efficace a été présentée / The aircraft must become more electric in order to be greener. But in this transition to the more electric aircraft, some actuators and their associated electronics are facing a technological barrier related to the high temperature (200°C). In this context, this thesis presents works that contributes to raising the technological barrier. We showed that the power electronic converter, called inverter, was designed to meet our needs with the more reliable and mature component, the silicon carbide (or SiC) JFET with two-channel manufactured by SICED INFINEON. To better understand the way to work of the SiC JFET with two channels and subsequently validate its model, we performed electrical characterization of its static and dynamic behavior on a wide temperature range from -40°C to +180°C. We showed and described precisely, especially at 27°C, the phases of JFET switching; we highlighted the important role of capacitive coupling (Cgd, Cds et Cgs). A model representing its static and dynamic behavior was presented and validated at 27°C. We then minimized the effects of the Drain-to-Gate Interaction DGI due to Cgd concerning the JFET operating in freewheeling mode (punch-through phenomenon at turn-on and a risk of a leg short-circuit at turn-off have to be considered). To do this, we studied and compared three specific gate circuits, and we showed the role of the gate impedance (RG, lG) to minimize the DGI and optimize the specific gate circuits. Finally, we presented the issue related to the stability of the DC bus at high temperature (200°C) and high voltage (540V). A simple and effectiveness solution of stabilizing the DC bus was presented

Ce travail s'inscrit dans le cadre des recherches menées autour de l'analyse et la visualisation des logiciels, notamment les logiciels à objets, et en particulier Java. Très brièvement, on peut dire que le but de cette thèse revient à tenter de répondre à une question fondamentale: comment faire pour faciliter la compréhension du logiciel par ses développeurs et concepteurs ? Ce travail de recherche est basé en grande partie sur deux axes principaux. Le premier consiste à analyser l'exécution des programmes, non seulement au niveau de la méthode, mais bien au niveau du bloc de base, pour recueillir des données d'exécutions avec un maximum de précision comme par exemple les différents types d'instances sur les sites d'appels. Le second axe considère l'utilisation des informations apportées par notre analyse dynamique de l'exécution pour permettre la visualisation de ces données. En effet, ces informations offrent des détails intéressants sur le fonctionnement du programme et aident à expliquer le comportement du logiciel, aussi bien pour déceler les problèmes de performance que les problèmes de codages. Nous proposons une technique souple et efficace qui effectue une analyse dynamique de l'exécution de programmes Java. Nous introduisons ainsi une nouvelle technique et un nouvel outil permettant de recueillir des informations encore non proposées par d'autres analyseurs. Cette approche trace l'exécution précise des programmes tout en ayant une baisse des performances d'exécution acceptable, laissant le programme final utilisable. De plus, nous proposons et expérimentons une approche basé sur la visualisation des relations au sein d'une représentation du logiciel par une métaphore de ville. Nous introduisons une nouvelle technique de représentation des relations nommée "3D HierarchicalEdge Bundles" qui est basée sur une représentation 2D existante nommée "HierarchicalEdge Bundles". Cette approche conserve la puissance de visualisation du logiciel offerte par la métaphore de la ville tout en ajoutant la représentation des relations, et cela d'une façon lisible. Ces travaux sont validés entre autres par le développement d'un outil d'analyse nommé VITRAIL JBInsTrace et d'un outil de visualisation nommé VITRAIL Visualizer. Ces outils sont la base de nos recherche actuelles sur l'étude de l'exécution des programmes objets / This work falls within the scope of research pertaining to the analysis and the visualization of software systems, especially for object oriented languages, and more precisely Java. In a nutshell, it can be said the aim of this thesis is to try to answer a fundamental question: what can we do to ease the understanding of software by its designers and developers ? This research work is mainly based on two axes. The first axis consists in analyzing software runtime, not only at method level, but also at basic bloc level, so as to be able to get meaningful and precise information about the runtime. For instance, we can acquire the different types of instances on call sites at runtime. The second axis considers the use of information coming from our dynamic analyzer of software runtime and allowing the visualization of these data. Indeed, this kind of information offers important details about software functioning and provide a way to explain the behavior of software, so as to identify performance, coding and even design and architecture issues. We propose a technique that allows flexible and efficient dynamic analysis of the execution of Java programs. We thus introduce a new technique and tool for gathering information not yet offered by other analyzers. This approach precisely traces the execution of programs with acceptable performance penalty, that is while keeping the traced programs usable. In addition, we propose and experiment an approach based on visualizing relationships within a software city representation. We introduce a new technique for representing relationships in 3D named the "3D Hierarchical Edge Bundles" that is based on an existing 2D technique, the "Hierarchical Edge Bundles". This approach keeps the power of the software city metaphor while adding the representation of the relationships within the software, in a readable way. These works are validated by, among others things, the development of a tracer and analyzer tool called VITRAIL JBInsTrace and a visualization tool called VITRAIL Visualizer. These tools are used on our current researches which consist in studying runtime of object-oriented programs

Le rafraîchissement solaire constitue une alternative intéressante à la climatisation réalisée au moyen de machines frigorifiques à compression mécanique de vapeur dont l’alimentation est électrique. Parmi les différentes solutions susceptibles de convenir, l’utilisation d’un cycle frigorifique tri-therme permet une valorisation de chaleur solaire en énergie frigorifique et constitue une voie prometteuse. Cependant, la variabilité des conditions aux limites (météorologiques notamment) et de ses influences temporelles sur le comportement global rend, à ce jour, très difficile, l’évaluation des performances énergétiques du système et plus encore son dimensionnement optimal, compte tenu de l’absence de moyen d’investigation. Cette thèse introduit la problématique du sujet et analyse les différentes technologies de rafraîchissement solaire envisageables à l'heure actuelle, afin d'expliquer la forte prépondérance des systèmes à absorption. Ensuite, pour répondre au problème, une nouvelle méthode de modélisation de ces machines permettant la prédiction des performances en régime transitoire est introduite et appliquée à quatre machines du marché. Puis, une installation pilotede rafraîchissement solaire est présentée dans le but d'analyser et de comprendre son comportement dynamique, afin d'identifier des voies d'optimisation. Enfin, les résultats expérimentaux de cette installation sont utilisés dans le but de développer et valider un outil complet d'analyse et d'optimisation des performances, c'est à dire depuis le champ de capteurs jusqu'à la distribution de froid. Cet outil de modélisation de systèmes de rafraîchissement solaire pourra ensuite être valorisé par la mise au point d'une méthodologie d'aide au dimensionnement de ce type d'installation, destiné au décideur ou à l'ingénieur. / The general context of the thesis is the solar cooling. This is an interesting alternative to conventional air conditioning systems, that is to say systems using mechanical vapour compression from electric power. Among the various solutions that may be suitable, the use of a refrigeration tri-thermal cycle is a promising issue. However, given the lack of means of investigation, the variability of the boundary conditions (including weather) and its temporal influences on the overall behaviour makes it very difficult, to evaluate the energy performance of the system nowadays, and even more difficult its optimal sizing. This thesis introduces the issue of the subject and analyzes the different state-of-the-art solar cooling technologies in order to explain the strong predominance of absorption systems. Then, to address the problem, a new method of modelling of these machines for the prediction of transient performance is introduced and applied to four machines on the market. Then, a solar cooling pilot is presented in order to analyze and understand its dynamic behaviour, to identify ways of optimization. Finally, the experimental results of this plant are used in order to develop and validate a completeanalysis and performance optimization methodology, i.e. from the collector field to the cooling distribution. This modelling tool for solar cooling systems can then be enhanced by the development of a methodology to help the design of this type of installation, for the decision maker or for the engineer.

Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes. L'originalité de notre approche est d'embarquer ces nouvelles constructions dans les langages généralistes sous la forme d'un langage dédié embarqué. Les travaux de cette thèse se fondent sur le langage Tom qui propose d'embarquer des constructions de réécriture dans des langages généralistes comme Java. La première contribution de cette thèse a été de formaliser les langages embarqués sous le concept de langage îlot. Ce formalisme a ainsi permis de certifier la compilation du langage Tom. Nos travaux sur l'analyse de Bytecode nous ont ensuite conduit à réfléchir à la représentation et la manipulation de graphes de flot de programmes et nous avons alors proposé des constructions de langage inspirées de la réécriture de termes-graphes. Une autre contribution de cette thèse est la conception d'un langage de stratégies adapté à l'expression de propriétés sur un programme. Associé au filtrage, ce langage permet d'exprimer de manière déclarative des analyses et des transformations sur des arbres ou des graphes. Enfin, l'ensemble des propositions de cette thèse a été intégré au langage Tom sous la forme de nouvelles constructions syntaxiques ou d'améliorations de constructions existantes et a ainsi pu être appliqué à l'analyse du langage Java.