Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Pendant la dernière décennie, le format de données XML est devenu l'un des principaux moyens de représentation et d'échange de données sur le Web. La détection de l'indépendance entre une requête et une mise à jour, qui a lieu en absence d'impact d'une mise à jour sur une requête, est un problème crucial pour la gestion efficace de tâches comme la maintenance des vues, le contrôle de concurrence et de sécurité. Cette thèse présente une nouvelle technique d'analyse statique pour détecter l'indépendance entre requête et mise à jour XML, dans le cas où les données sont typées par un schéma. La contribution de la thèse repose sur une notion de type plus riche que celle employée jusqu'ici dans la littérature. Au lieu de caractériser les éléments d'un document XML utiles ou touchés par une requête ou mise à jour en utilisant un ensemble d’étiquettes, ceux-ci sont caractérisés par un ensemble de chaînes d'étiquettes, correspondants aux chemins parcourus pendant l'évaluation de l’expression dans un document valide pour le schéma. L'analyse d'indépendance résulte du développement d'un système d'inférence de type pour les chaînes. Cette analyse précise soulève une question importante et difficile liés aux schémas récursifs: un ensemble infini de chaînes pouvant être inférées dans ce cas, est-il possible et comment se ramener à une analyse effective donc finie. Cette thèse présente donc une technique d'approximation correcte et complète assurant une analyse finie. L'analyse de cette technique a conduit à développer des algorithmes pour une implantation efficace de l'analyse, et de mener une large série de tests validant à la fois la qualité de l'approche et son efficacité. / In the last decade XML became one of the main standards for data storage and exchange on the Web. Detecting XML query-update independence is crucial to efficiently perform data management tasks, like those concerning view-maintenance, concurrency control, and security. This thesis presents a novel static analysis technique to detect XML query-update independence, in the presence of a schema. Rather than types, the presented system infers chains of types. Each chain represents a path that can be traversed on a valid document during query/update evaluation. The resulting independence analysis is precise, although it raises a challenging issue: recursive schemas may lead to infer infinitely many chains. This thesis presents a sound and complete approximation technique ensuring a finite analysis in any case, together with an efficient implementation performing the chain-based analysis in polynomial space and time.

L’objectif de ces travaux de thèse est de contribuer à la compréhension d’un procédé de mise en forme composite appelé EPITHER. Il s’agit d’un procédé visant la réalisation de pièces composites massives à utilisations structurelles pour les marchés de l’automobile et de l’aéronautique. Il a été breveté en 2011 et en 2015/2016.Les trois étapes de réalisation des pièces EPITHER sont les suivantes : enroulement d’une préforme en optimisant l’anisotropie du composite en fonction des chemins d’efforts de la pièce réelle, mise en forme de la préforme par thermoformage, apport de propriétés morphologiques supplémentairesLes travaux de thèse s’orientent autour de trois axes majeurs : la mise en place d’une phase expérimentale, la compréhension des étapes de consolidation des pièces et l’influence des paramètres de mise en forme. / The objective of this work is to contribute to the comprehension of a new composite forming process which name is EPITHER. This forming process was created to produce massive composites parts used for structural applications in automotive and aeronautics industries. Two patents have been deposed in 2011 and in 2015/2016.There are three steps in the forming process EPITHER: winding a preform in order to maximize and optimize the anisotropy of the composite considering the mechanical specifications of the final part, forming the preform by a thermoforming step, add morphological properties in a last step.The Phd deals with three major research axis: setting up an experimental study, the comprehension of the consolidation steps and a study of the consolidation parameters.

Ce travail de recherche traite de la mise en scène du conflit entre raison et irrationalité qui se produit dans les romans et essais de l'écrivain argentin Ernesto Sábato (1911-2011), du point de vue de la formation, de la consolidation et de la synthèse apparente de ladite confrontation symbolique. Notre objectif est principalement d'examiner la représentation de ce conflit, dans le cadre duquel ses particularités seront analysées, ainsi que la relation qu'il établit avec des thèmes tels que la dichotomie entre connaissance scientifique et création artistique, la représentation littéraire de l'irrationnel et l’expérimentation avec les genres du roman et de l’essai que l'auteur a entreprise tout au long de sa carrière littéraire. Dans ce contexte, notre attention se porte particulièrement sur les trois romans de l'auteur El Túnel (Le Tunnel) (1948), Sobre Héroes y Tumbas (Alejandra) (1961) et Abbadón el exterminador (L’ange des ténèbres) (1973), tout comme sur ses quatre principaux essais, Uno y el universo (Un et l’univers) (1945), Hombres y engranajes (Hommes et engrenages) (1951), Heterodoxia (Hétérodoxie) (1953) et El escritor y sus fantasmas (L’écrivain et la catastrophe) (1963). Cette étude sera réalisée à travers les connexions et les liens établis entre les textes en question à partir du thème commun de la mise en scène du conflit entre raison et irrationalité, en réfléchissant aux manières particulières dont chacun d’entre eux, dans son propre discours et par rapport aux autres, génère un fil conducteur qui les relie et les unifie sous une même unité thématique. Cette analyse nous permettra d'établir que la représentation symbolique du conflit entre raison et irrationalité dans les romans et essais d'Ernesto Sábato constitue la base de son travail littéraire.Pour cette raison, il a été pertinent de réfléchir aux thèmes susmentionnés, traités dans la perspective de celui qui était considéré comme l'un des écrivains latino-américains les plus importants et les plus représentatifs de la seconde moitié du XXe siècle. / This research work deals with the staging of the conflict between reason and irrationality that occurs in the novels and essays of the Argentine writer Ernesto Sábato (1911-2011), from the point of view of the formation, consolidation and apparent synthesis of said symbolic confrontation. Our objective is primarily to examine the representation of this conflict, within which its particularities will be analyzed, as well as the relationship it established with topics such as the dichotomy between scientific knowledge and artistic creation, the literary representation of the irrational and the experimentation with the novelistic and essayistic genres that the author undertook throughout his literary career. In this context, our attention is focused in particular on the three novels by the author El Túnel (1948), Sobre Héroes y Tumbas (1961) and Abbadón el exterminador (1973), as well as in his four main essays, Uno y el universo (1945), Hombres y engranajes (1951), Heterodoxia (1953) and El escritor y sus fantasmas (1963). This study will be carried out through the connections and links established between the texts in question based on the common theme of the staging of the conflict between reason and irrationality, reflecting on the particular ways in which each one, in his own discourse and in relation to others, generates a common thread that connects and unifies them under the same thematic unit. This analysis will establish that the symbolic staging of the conflict between reason and irrationality in the novels and essays of Ernesto Sábato is the basis of his literary work. For this reason, a reflection on the aforementioned issues has been relevant, treated under the perspective of who was considered one of the most important and representative Latin American writers of the second half of the 20th century.

Dans le domaine de mise en forme, la réduction des coûts et l'amélioration des produits sont des défis permanents à relever. Pour ce faire, le procédé de mise en forme doit être optimisé. Optimiser le procédé revient alors à résoudre un problème d'optimisation. Généralement ce problème est un problème d'optimisation multi-objectifs très coûteux en terme de temps de calcul, où on cherche à minimiser plusieurs fonctions coût en présence d'un certain nombre de contraintes. Pour résoudre ce type de problème, on a développé un algorithme robuste, efficace et fiable. Cet algorithme, consiste à coupler un algorithme évolutionnaire avec un métamodèle, c'est-à-dire des approximations des résultats des simulations coûteuses. Dans ce mémoire, on a commencé par la présentation du problème d'optimisation multiobjectifs, des algorithmes d'optimisation (algorithmes évolutionnaires) et des métamodèles les plus utilisés (Chapitre I), où on a choisi l'algorithme génétique élitiste de tri non dominé (NSGA-II) qui sera couplé avec le métamodèle basé sur la méthode de différence finies sans maillage. Ce métamodèle, qui est développé au cours de cette thèse, constitue le continue de Chapitre II. Dans le Chapitre III, on étudie différentes manières de couplage de notre métamodèle avec NSGA-II. Ces couplages, C-Constant, C-Actualisé C-Évolutif-H1 et C-Évolutif-MC, diffèrent par le choix des points maîtres au cours des itérations, le type d'erreur utilisée et l'évolution du métamodèle. Ils sont validés sur plusieurs problèmes tests d'optimisation tels que des problèmes mono-objectif, multi-objectifs, sans contraintes et sous contraintes. Le meilleur couplage, C-Évolutif-MC, est utilisé pour la résolution des problèmes de mise en forme mono et multi-objectifs (Chapitre IV). Les résultats obtenus montrent l'efficacité de notre méthode.

Les réseaux de diffraction pour la compression d'impulsions constituent actuellement un verrou technologique pour le développement des chaînes laser de puissance énergétiques dans le régime Petawatt. En effet, la tenue au flux laser et les dimensions des réseaux métalliques actuels sont limitées. C'est pourquoi, une nouvelle génération de réseaux de diffraction à multicouches diélectriques (MLD) a été développée. Ce travail d'étude et de caractérisation des réseaux MLD pour le laser Petawatt Pico2000 du LULI constitue la première partie de ma thèse. D'autre part, les réseaux de diffraction pour la compression d'impulsions Petawatt doivent avoir des dimensions de l'ordre du mètre, ce qui complique les procédés de fabrication et de caractérisation. Comme alternative! aux grands réseaux, le concept de la mise en phase de réseaux de diffraction a été étudié. Les différents résultats obtenus sur la mise en phase en lumière monochromatique par technique interférométrique sont exposés ainsi que la démonstration de la compression d'impulsions multi-terawatt par mosaïques de réseaux. Une étude du contrôle temporel des impulsions du laser Pico2000 a également été réalisée, portant sur la thématique du contraste temporel et sur la mise en forme spectrale des impulsions.

Dans le cadre de la simulation de procédés de mise à forme par la méthode des éléments finis, le formalisme Arbitraire Lagrangien Eulérien (ALE) permet de découpler le mouvement du maillage et de la matière. Pour de très grandes déformations, la qualité du maillage peut être ainsi améliorée sans avoir recours à une procédure de remaillage complexe et coûteuse. Un second domaine d'application du formalisme ALE est la simulation de procédés stationnaires pour lesquels le maillage peut rester fixe dans la direction de l'écoulement de matière. Ce type de maillage quasi eulérien permet de diminuer le nombre d'éléments finis du modèle numérique par rapport à une simulation lagrangienne classique. En conséquence, le temps de calcul est également réduit. Bien que le formalisme ALE ne soit pas nouveau, il est rarement utilisé en pratique. D'une part, les techniques de repositionnement de noeuds tridimensionnelles ne sont pas évidentes à mettre en oeuvre et, d'autre part, il n'existe pas de schéma de transfert de données précis adapté aux éléments finis à plus d'un point de Gauss tels que ceux utilisés en dynamique implicite. Cette thèse tente de combler ces deux lacunes: une méthode de repositionnement de noeud sur les surfaces libres du solide est présentée. Elle est très robuste et permet de conserver la forme des surfaces malgré le mouvement arbitraire du maillage. Concernant le transfert des données, un schéma de convection 3D précis au second ordre et utilisable pour des éléments finis à plusieurs points de Gauss est déduit d'un opérateur de projection. L'efficacité et la généralité de l'algorithme ALE qui en résulte sont ensuite démontrées sur une série d'applications de plus en plus complexes: impact d'une barre de Taylor, traction d'une barre d'Hopkinson, double extrusion, laminage, planage et profilage à froid. Dans chaque cas, les résultats ALE sont comparés avec des résultats lagrangiens traditionnels ainsi que des mesures expérimentales lorsque celles-ci sont disponibles.

Dans le cadre de la simulation de procédés de mise à forme par la méthode des éléments finis, le formalisme Arbitraire Lagrangien Eulérien (ALE) permet de découpler le mouvement du maillage et de la matière. Pour de très grandes déformations, la qualité du maillage peut être ainsi améliorée sans avoir recours à une procédure de remaillage complexe et coûteuse. Un second domaine d'application du formalisme ALE est la simulation de procédés stationnaires pour lesquels le maillage peut rester fixe dans la direction de l'écoulement de matière. Ce type de maillage quasi eulérien permet de diminuer le nombre d'éléments finis du modèle numérique par rapport à une simulation lagrangienne classique. En conséquence, le temps de calcul est également réduit. Bien que le formalisme ALE ne soit pas nouveau, il est rarement utilisé en pratique. D'une part, les techniques de repositionnement de noeuds tridimensionnelles ne sont pas évidentes à mettre en oeuvre et, d'autre part, il n'existe pas de schéma de transfert de données précis adapté aux éléments finis à plus d'un point de Gauss tels que ceux utilisés en dynamique implicite. Cette thèse tente de combler ces deux lacunes: une méthode de repositionnement de noeud sur les surfaces libres du solide est présentée. Elle est très robuste et permet de conserver la forme des surfaces malgré le mouvement arbitraire du maillage. Concernant le transfert des données, un schéma de convection 3D précis au second ordre et utilisable pour des éléments finis à plusieurs points de Gauss est déduit d'un opérateur de projection. L'efficacité et la généralité de l'algorithme ALE qui en résulte sont ensuite démontrées sur une série d'applications de plus en plus complexes: impact d'une barre de Taylor, traction d'une barre d'Hopkinson, double extrusion, laminage, planage et profilage à froid. Dans chaque cas, les résultats ALE sont comparés avec des résultats lagrangiens traditionnels ainsi que des mesures expérimentales lorsque celles-ci sont disponibles.

Le débogage tient une place grandissante dans le cycle de développement d'un logiciel. Les recherches dans ce domaine tentent de créer des outils permettant un accès plus rapide aux fautes, quel que soit le langage de programmation utilisé. Étant donné l'indépendance du code Java vis-à-vis de la plateforme sur laquelle il est exécuté, la machine virtuelle Java doit fournir un ensemble de mécanismes permettant aux outils de débogage d'accéder aux informations relatives à l'exécution de l'application déboguée. Bien que la grande majorité des machines virtuelles commerciales soient dotées de mécanismes de support au débogage, aucune libre, en revanche, n'offrait une telle fonctionnalité à l'achèvement de nos travaux. La principale motivation derrière ce mémoire a été la mise en lumière des différentes étapes jalonnant la mise en place d'une architecture de débogage Java totalement libre. Nous décrivons ici le choix de l'architecture et les critères nous ayant conduits à ce choix. Nous détaillons également les entités intervenant dans cette architecture, leur nature et leur rôle. Nous proposons enfin une critique constructive des normes régissant ce domaine, suggérant quelques améliorations possibles. Dans le cadre de nos travaux, nous avons réalisé l'implantation de l'interface de débogage Java (Java Virtual Machine Debug Interface, JVMDI) au sein de SableVM, machine virtuelle Java libre et conforme aux normes. D'autre part, nous avons développé un module indépendant permettant d'établir la connexion entre machine virtuelle Java et débogueur. Ce module gère également les objets manipulés durant une session de débogage, ainsi que les événements générés par la machine virtuelle. Finalement, nous avons connecté les éléments conçus ou modifiés dans le cadre de notre étude à d'autres éléments existants au préalable (Eclipse, un débogueur Java disponible librement). Les résultats obtenus lors des tests nous ont conforté dans les différents choix effectués lors du développement. L'utilisation de débogueurs totalement indépendants de la machine virtuelle utilisée, tel Eclipse, et la bonne tenue des sessions de débogage effectuées ont permis la validation de la conformité de nos travaux aux normes en vigueur. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Machine virtuelle, Java, SableVM, Débogage, Interface de débogage, Architecture de débogage, JDWP, JVMDI, JPDA, JVMTI, JRE.