No description available.

La fabrication d'outils de coupe rotatifs implique plusieurs défis liés à la maximisation de la résistance à la traction et à la flexion tout en préservant la ténacité. Le produit souhaité est une plaque parfaitement plane avec de faibles contraintes résiduelles et d'excellentes et uniformes propriétés mécaniques planaires. La présente recherche vise à développer une texture et des microstructures pour maximiser la résistance, la ténacité et la dureté tout en minimisant la distorsion du corps des scies circulaires utilisées dans l'industrie de la première transformation du bois. La réalisation des objectifs mentionnés par la production du substrat des scies circulaires par laminage croisé et austempering-revenu a été étudiée. Ce projet de recherche se en deux étapes. La première s'est déroulée à l'échelle du laboratoire a traité de l'effet du laminage croisé et du traitement thermique de trempe sur un type d'acier faiblement allié utilisé dans la fabrication de lames de scies circulaires commerciales. Lors de l'étape suivante, les résultats ont été mis en œuvre à l'échelle réelle pour produire des lames de scie de taille industrielle. Les résultats ont été comparés à des scies du commerce fabriquée par laminage à chaud, trempe et revenu. Des essais de validation ont été effectués sur le produit final pour quantifier l'efficacité de la nouvelle approche. Les résultats ont montré que le laminage croisé induit des grains équiaxes homogènes et une texture {100} <110> intense des fibres α et ε dans les directions RD et TD. La texture fibreuse distincte développée par le laminage croisé a augmenté la résistance du matériau au ramollissement. La microstructure bainitique de la post-déformation austempering-revenu a amélioré simultanément la dureté (9%), la limite d'élasticité (19%), la résistance en traction (%19) et la résistance à la flexion (22%) sans sacrifier la ductilité. Les propriétés ci-dessus étaient identiques le long des directions dans le plan en raison des textures uniformes des fibres α et ε. Le revenu de la bainite près de la gamme de températures de transformation baintique a équilibré le rapport résistance/ductilité et maximisé la planéité du matériau. La fabrication d'outils rotatifs plus minces qui maximisent la récupération de la fibre de bois pendant le processus de coupe est réalisable avec cette nouvelle méthode. / Fabrication of rotary cutting tools involves several challenges related to the maximization of tensile and bending strength with the preservation of toughness. The desired product is a perfectly level plate with low residual stresses and excellent uniform properties in all directions. The present research was planned to develop a texture and microstructures to maximize strength, toughness, and hardness while minimizing distortion of the body of circular saws used in the primary transformation of wood. Achieving the mentioned objectives through the production of the substrate of the circular saws by cross-rolling and austempering-tempering was investigated. This research project consisted of two phases. In the lab-scale stage, the effect of the cross-rolling and austempering heat treatment was studied on a type of low alloy steel used in the fabrication of commercial circular saw blades. In the next step, the results were implemented at the actual scale to produce actual size saw blades. The results were compared to conventional saws made by hot rolling, quenching and tempering. Pilot tests were carried out on the final product to evaluate the efficacy of the new approach. The results showed that cross-rolling induced homogenous equiaxed grains and an intense {100} <110> texture of α and ε fibers along RD and TD directions. The distinct fiber texture developed by cross-rolling increased the material's resistance to softening. The bainitic microstructure of the post-deformation austempering-tempering simultaneously improved hardness (9%), yield stress (19%), ultimate tensile strength (%19), and flexural strength (22%) without sacrificing ductility. The above properties were identical along in-plane directions due to the uniform α and ε fiber textures. Tempering of bainite near the bainitic transformation temperature range adjusted the strength/ductility balance and maximized the levelness of the material. The manufacturing of thinner rotary tools that minimize waste during the cutting process is feasible with this novel method.

De nombreux problèmes d'intelligence artificielle et de vérification formelle se ramènent à un test de validité d'une formule booléenne quantifiée (QBF). Mais, pour effectuer ce test les solveurs QBF actuels ont besoin d'une formule sous une forme syntaxique restrictive, comme la forme normale conjonctive ou la forme normale de négation. L'objectif de notre travail est donc de s'affranchir de ces contraintes syntaxiques fortes de manière à utiliser le langage des QBF dans toute son expressivité et nous traitons ce sujet de manière formelle et calculatoire. Notre première contribution est un ensemble d'équivalences et d'algorithmes qui permettent de traiter un motif particulier, les résultats intermédiaires. Ce motif apporte une alternative efficace en espace et en temps de résolution, à la suppression naïve des biimplications et des ou-exclusifs lors de la mise sous forme prénexe. Il offre également de nouvelles possibilités de transformations dans différents fragments du langage QBF. Notre deuxième contribution est d'ordre calculatoire et a pour but d'exploiter la puissance des architectures de calcul parallèles afin de traiter des QBF sans restriction syntaxique. Nous élaborons donc une architecture innovante pour la parallélisation du problème de validité des QBF. Son originalité réside dans son architecture dite de « parallélisation syntaxique » par opposition aux architectures de parallélisation basée sur la sémantique des quantificateurs.

Alors que l'on observe une disponibilité croissante de données décrivant des objets 3D, il semble essentiel de disposer de moyens de traitement efficaces de ces derniers. Ainsi, nous présentons dans ce mémoire un ensemble d'outils de manipulation de surfaces, qui exploitent à la fois leurs propriétés géométriques et topologiques. Après avoir décrit différents résultats classiques de topologie, et les structures et résultats fondamentaux de la topologie algorithmique, nous présentons les concepts de M-tuiles et M-pavages, offrant notamment une grande souplesse combinatoire, et permettant de décrire finement le résultat d'algorithmes de découpage topologique. En s'appuyant sur les possibilités de description de ce formalisme, nous présentons différents algorithmes de découpage de surface, prenant en compte non seulement la topologie et la géométrie des surfaces, mais également les propriétés des M-tuiles issues de ces découpages. Nous présentons également dans ce mémoire une généralisation des lacets par les n-cets, permettant notamment de décrire une approche originale de pavage de surfaces en cylindres puis en quadrangles. Enfin, deux applications de ces outils de découpage sont présentées. Dans un premier temps, nous déclinons ces algorithmes de découpage dans le contexte de l'infographie, en proposant un ensemble d'outils d'aide à la manipulation de surfaces. Puis nous présentons dans un second temps une chaîne complète de traitement de données issues de l'imagerie médicale, permettant la visualisation dynamique de données complexes sur des cartes planes de la surface du cerveau, en illustrant sa pertinence dans le contexte de la stimulation corticale. En conclusion de ces travaux, nous présentons les perspectives que laissent entrevoir ces développements originaux, notamment en exploitant les possibilités offertes par les n-cets et les M-pavages, qui semblent multiples. Nous soulignons également la richesse qu'assure une exploration des domaines applicatifs par des outils issus de la géométrie algorithmique.

Le découpage mécanique des métaux est un procédé très utilisé dans l'industrie. Il permet notamment de réaliser des composants de formes plus ou moins complexes dédiés à l'industrie électronique. Cependant, il nécessite le réglage et le contrôle de nombreux paramètres. Or, le contexte industriel actuel rend les méthodes fondées sur le savoir-faire des opérateurs inadaptées. L'objet principal de cette thèse est donc de proposer un outil d'aide à la mise au point d'un découpage par le biais de la simulation numérique. La modélisation repose sur une analyse mécanique complète du comportement matériel de la tôle. La sensibilité du matériau à la vitesse de déformation et à la température est prise en compte par l'intermédiaire d'un modèle thermo-élasto-viscoplastique dans un cadre adiabatique. Les mécanismes d'endommagement et de rupture sont également pris en compte dans la modélisation. Un logiciel de simulation spécifiquement dédié au découpage a été développé. Il est basé sur la méthode des éléments finis et repose sur une modélisation bi-dimensionnelle du procédé. En parallèle aux développements numériques, un dispositif expérimental a été conçu et réalisé au cours de ces travaux, afin de valider les modèles mécaniques retenus. Les applications présentées dans ce mémoire illustrent l'apport de la simulation numérique pour les entreprises spécialisées.

La correction du facteur de puissance a été récemment introduite dans les convertisseurs pour remplacer le filtrage passif en amont des convertisseurs et pour répondre aux nouvelles normes en vigueur. La correction de facteur de puissance dite mono-étage a succédé à celle en deux étages qui est caractérisée par un coût et un volume élevés. Cette étude vise deux types d'applications. Les applications à faible puissance (300 W) sous une tension d'alimentation de 230 Veff et une tension de 54 V en sortie. Pour des raisons de coût et de volume, les structures asymétriques Flyback et Sepic sont des solutions répondant au cahier des charges et qui restent incontournables. U ressort également de cette étude, que si les contraintes du convertisseur à résonance série fonctionnant en conduction discontinue sont acceptables, alors ce dernier peut aussi répondre au cahier de charge. Le second type d'applications visées par cette étude concerne la moyenne puissance (3 kW) avec une tension de 150 V en sortie. Dans ce cadre, seules les structures symétriques à résonance à commutateur de courant ou à onduleur de tension sont susceptibles de répondre au cahier des charges. Pour la seconde catégorie, et en vue d'une généralisation, une discussion sur la nature du circuit résonant est faite pour étudier le prélèvement sinusoïdal. En évaluant les avantages et les inconvénients de chaque structure, deux convertisseurs ont été retenus et les prototypes réalisés ont montré un bon facteur de puissance et le respect de la norme en vigueur (EN 61000-3-2).

L'objectif principal de ces travaux de thèse est de caractériser lecomportement et l'endommagement d'un matériau HLE durant le procédé depoinçonnage. Ils comportent dans un premier temps, une étude expérimentale quirepose sur des observations micrographiques et des essais macroscopiques àdifférents états de contrainte, afin d'identifier les mécanismes physiquesd'endommagement mis en jeu. Cette étude est complétée par une modélisationnumérique du modèle d'endommagement de Gurson modifié en cisaillement et sonimplémentation dans ABAQUS/Explicit. Une stratégie d'identification des paramètresmatériau basée sur une large gamme de configurations expérimentales a été mise enplace. Des essais de poinçonnage ont été réalisés en faisant varier le jeu poinçon-matrice, afin de tester la capacité prédictive du modèle de Gurson modifié par rapportau modèle de GTN classique et à un critère découplé basé sur l'initiation de rupture.L'influence du jeu poinçon-matrice sur la qualité de découpe et sur les niveaux desétats de contrainte et de déformation a été également mise en évidence. Lesprédictions de rupture obtenues par cette approche et pour le matériau étudié sont enbon accord avec les observations expérimentales. Il reste à valider le modèle pourdes configurations de couples matériau/procédé plus étendues et à réaliser sonenchainement avec les autres procédés de mise en forme.

Le découpage de tôles minces en alliages de cuivre est un procédé de mise en forme très utilisé pour la fabrication de composants électroniques. Deux aspects permettent la caractérisation du procédé : d'une part, le profil de découpe représente la qualité du produit et d'autre part, l'effort de découpage conduit à la définition de l'outillage (matériaux du poinçon et de la matrice, la vitesse et la puissance des presses, etc.). La modélisation numérique permet d'obtenir des réponses rapides sur les questions concernant ces deux aspects. Au sein de l'équipe modélisation et mise en forme des matériaux du Laboratoire de Mécanique Appliquée R. Chaléat, un code de calcul par éléments finis dédié à la simulation bidimensionnelle du découpage a été développé depuis quelques années (Blankform©).<br />Afin d'obtenir une meilleure prédiction de l'effort de découpage par simulation numérique, notre démarche commence par la caractérisation expérimentale du comportement thermo-élasto-viscoplastique de la nuance de cuivre CuNiP par des essais de traction à températures et à vitesses de déformation imposées. Suite à ces essais, une loi de comportement particulière permettant la prise en compte de la sensibilité du matériau à la vitesse et à la température a été proposée. Après l'implémentation de cette loi dans le code de calcul, l'application du modèle au découpage d'une tôle mince en CuNiP, dans un cadre adiabatique, montre que l'effort maximal de découpage est correctement prédit.<br />Lors d'une opération de découpage, certaines nuances de cuivre, comme le Cua1, présentent un phénomène de recristallisation dynamique. Les essais de traction sur cette nuance nous ont permis de caractériser le comportement mécanique du matériau. Sur cette base spécifique, un modèle de comportement thermo-élasto-viscoplastique avec prise en compte de la recristallisation dynamique a été proposé dans le cadre de la thermodynamique des processus irréversibles. L'application de ce modèle au découpage montre qu'il permet de prédire qualitativement les phénomènes observés expérimentalement pour cette nuance.<br />La modélisation bidimensionnelle du découpage est souvent utilisée pour des empreintes de formes relativement simples. Cependant, pour des formes complexes, il est nécessaire de résoudre le problème par une analyse tridimensionnelle. A partir d'un cas d'étude industriel, une modélisation tridimensionnelle du découpage a été réalisée afin d'étudier l'influence des paramètres technologiques sur la distribution des contraintes et des déformations. Les résultats numériques obtenus corroborent bien les constatations expérimentales en termes de profil de découpe.

Dans cette thèse, nous nous sommes intéressés à la résolution approchée de problèmes de tournées de véhicules. Nous avons exploité des travaux menés sur les graphes d'intervalles et des propriétés de dominance relatives aux tournées saturées pour traiter les problèmes de tournées sélectives plus efficacement. Des approches basées sur un algorithme d'optimisation par essaim particulaire et un algorithme mémétique ont été proposées. Les métaheuristiques développées font appel à un ensemble de techniques particulièrement efficaces telles que le découpage optimal, les opérateurs de croisement génétiques ainsi que des méthodes de recherches locales. Nous nous sommes intéressés également aux problèmes de tournées classiques avec fenêtres de temps. Différents prétraitements ont été introduits pour obtenir des bornes inférieures sur le nombre de véhicules. Ces prétraitements s'inspirent de méthodes issues de modèles de graphes, de problème d'ordonnancement et de problèmes de bin packing avec conflits. Nous avons montré également l'utilité des méthodes développées dans un contexte industriel à travers la réalisation d'un portail de services mobilité.

Le cinéma d’Atom Egoyan présente la particularité d’être difficilement classable, par son obstination à maintenir son caractère "fermé", sans craindre d’explorer ses possibilités dans des champs cinématographiques divers. Le sentiment de perte de sens, qui traverse l’organisation de son œuvre, semble jouer le rôle le plus important quant à la réception de ses films. La recherche essaye de commenter son univers filmique captivant, préférant l’examiner par l’autre côté, là où il se tait et se cache, tout en empêchant la lecture lucide d’une analyse filmique. Se fondant d’abord sur le rôle capital du découpage, nous essayons de comprendre comment le cinéaste canadien bâtit son univers aporétique, à l’aide de toute sorte de figure de juxtaposition. Essayer d’assimiler la construction d’un tel univers d’observer comment les personnages, finalement, y vivent. Lutter contre l’inquiétude, qui touche parfois même la terreur, équivaut, chez Egoyan à la lutte de ses personnages contre le découpage. La perte de sens, ne pourrait qu’être le résultat d’une vérité filmique désarmée. / Atom Egoyan’s cinema is special in that it is not easily classifiable, since it manages to retain its ‘closed’ character while, at the same time, not afraid to explore its potential in various cinematic fields. The organization of his work is permeated by the sense of losing ‘sense’, which is a characteristic of modernism, and seems to be playing an important role in the way his films are shot. This research attempts to comment on his fascinating cinematic universe, daring to examine its other side, the one which, as it remains hidden and silent, resists straightforward filmic analysis. Based on the predominant role of decoupage in his films, we attempt to understand how the Canadian director constructs his paradoxical universe, employing all kinds of juxtapositional forms. Attempting to assimilate the construction of such a universe can have but one objective, and that is to observe how its characters inhabit it. Toiling against anxiety which sometimes borders on terror is equivalent in Egoyan’s work with the struggle of his characters against decoupage. The loss of ‘sense’ is nothing if not the result of a disarmed cinematic truth.