Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Une difféologie sur un ensemble arbitraire X, déclare, pour tout entier n,quelles applications de R[exposant n] vers X sont lisses. Cette idée est structurée par trois axiomes naturels : recouvrements, localité et compatibilité lisse. L’un des objectifs de cette thèse est de développer et d’étudier des outils classiques de la topologie algébrique dans le cadre difféologique. Parmi ces outils on se penche particulièrement sur les théories homologiques et cohomologiques généralisées. Un autre objectif est de montrer que les espaces difféologiques offrent un cadre assez naturel afin d’étudier les espaces singuliers : pseudo-variétés contrôlées à la Thom-Mather. On met en place les définitions de théories (co)homologiques généralisées dans la catégorie Diff . On définit une nouvelle notion "CW-difféologie" liée à la notion de CW-complexes. P. Iglesias Zemmour a introduit l’homologie cubique et cohomologie de De Rham dans la cadre difféologique. On développe en outre l’homologie singulière, l’homologie cellulaire et la cohomologie de Rham difféologique. On étudie les pseudo-variétés contrôlées qui sont des espaces singuliers en difféologie. / A diffeology on an arbitrary set X declares, for any integer n, which applications in R[exponent n] to X are smooth. This idea is structured by three natural axioms covering, locality and smooth compatibility. One objective of this thesis is to develop and study classical tools of algebraic topology in the diffeological framework. These tools are particularly looking at the generalized homology and cohomology theories. Another objective is to show that diffeological spaces offer a fairly natural frame to study the singular spaces : Thom-Mather stratified space. We set up the definitions of generalized (co)homology theories in the category Diff. We define a new notion of " CW- diffeology " linked to the notion of CW- complexes. P.Iglesias Zemmour introduced cubic homology and De Rham cohomology in the diffeological framework. We develop in addition the singular homology, cellular homology and diffeological de Rham cohomology. We study Thom-Mather stratified spaces which are singular spaces, with diffeology.

La définition de la géométrie du foret et le calcul des efforts de coupe générés pendant le perçage occupent une place centrale dans les travaux de modélisation. Ces informations sont indispensables pour étudier de nombreux problèmes liés au perçage. Ces travaux ont pour but de proposer une modélisation thermomécanique du perçage en utilisant le modèle de la coupe oblique développé et validé au LPMM. Le calcul des efforts de coupe est conduit à partir des angles et des conditions de coupe, du comportement du matériau usiné et des conditions de frottement à l'interface outil-copeau. Après le calcul des angles de coupe moyennant un modèle géométrique développés dans ce travail en se basant sur une définition CAO du foret, les arêtes de coupe sont décomposées en arêtes élémentaires en position de coupe oblique. Le modèle thermomécanique est ensuite appliqué après certaines modifications apportées pour tenir compte des caractéristiques du perçage. Des résultats expérimentaux en termes d'efforts de coupe sont présentés et comparés à ceux calculés par le modèle. Ces esais permettent d'analyser la pertinence du modèle et de valider. Enfin, une première étude d'optimisation de la géométrie du foret est présentée. Pour mieux comprendre les phénomènes accompagnant le perçage, des simulations de coupe orthogonale 2D et du perçage en 3D par la méthode EF ont été effectuées. L'approche numérique fournit une analyse complète et des informations sur le champ des contraintes, des températures, sur la morphologie et l'écoulement des copeaux, mais ces calculs requièrent énormément de temps. Les deux approches peuvent être considérés complémentaires pour l'optimisation du perçage / The determination of the cutting forces generated during the drilling operation is an essential step in the drilling optimisation. This information is crucial for the cutting conditions determination and the tool definition. The aim of this work is to propose a predictive thermo mechanical model for the drilling process. This model is based ont the thermo mechanical oblique cutting model developed and validated in the LPMM laboratory. The parameters used in this model are the cutting angles, the cutting conditions, the behaviour of the workpiece materials and the friction conditions on tool-chip interface. After the determination of the cutting angles from the CAD definition of the drill using a mathematical geometrical model developed in this work, the cutting edges are decomposed into a series of linear oblique cutting edges. A modified version of the thermo mechanical model is then apllied on each elemental cutting edge in order to calculate the elemental cutting forces, and then the global thrust and torque are determined. Experimental dry drilling tests were performed in order to validate the presented model. The calculated and measured global torque and thrust were compared, a good agreement was obtained. In the last section a numerical model using the finite element method with two commercial codes are presented. 2D orthogonal cutting and 3D drilling simulations were carried out. Numerical simulation provides interesting information on the chip formation and on the temperature and stress distributions but the calculations are time consuming. The two proposed methods may be used as complementary approaches to optimize cutting conditions and drill geometry

We introduce geometrically partial comodules over coalgebras in monoidal categories, as an alternative notion to the notion of partial action and coaction of Hopf algebras introduced by Caenepeel and Janssen. We show that our new notion suits better if one wants to describe phenomena of partial actions in algebraic geometry. We show that under mild conditions, the category of geometric partial comodules is complete and cocomplete and the category of partial comodules over a Hopf algebra is lax monoidal. We develop a Hopf-Galois theory for geometric partial coactions to illustrate that our new notion might be a useful additional tool in Hopf algebra theory. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Dans les années 90, Gowers démontre un théorème de type Ramsey pour les bloc-suites dans les espaces de Banach, afin de prouver deux dichotomies d'espaces de Banach. Ce théorème, contrairement à la plupart des résultats de type Ramsey en dimension infinie, ne repose pas sur un principe des tiroirs, et en conséquence, sa formulation doit faire appel à des jeux. Dans une première partie de cette thèse, nous développons un formalisme abstrait pour la théorie de Ramsey en dimension infinie avec et sans principe des tiroirs, et nous démontrons dans celui-ci une version abstraite du théorème de Gowers, duquel on peut déduire à la fois le théorème de Mathias-Silver et celui de Gowers. On en donne à la fois une version exacte dans les espaces dénombrables, et une version approximative dans les espaces métriques séparables. On démontre également le principe de Ramsey adverse, un résultat généralisant à la fois le théorème de Gowers abstrait et la détermination borélienne des jeux dénombrables. On étudie aussi les limitations de ces résultats et leurs généralisations possibles sous des hypothèses supplémentaires de théorie des ensembles.Dans une seconde partie, nous appliquons les résultats précédents à la preuve de deux dichotomies d'espaces de Banach. Ces dichotomies ont une forme similaire à celles de Gowers, mais sont Hilbert-évitantes : elles assurent que le sous-espace obtenu n'est pas isomorphe à un espace de Hilbert. Ces dichotomies sont une nouvelle étape vers la résolution d'une question de Ferenczi et Rosendal, demandant si un espace de Banach séparable non-isomorphe à un espace de Hilbert possède nécessairement un grand nombre de sous-espaces, à isomorphisme près / In the 90's, Gowers proves a Ramsey-type theorem for block-sequences in Banach spaces, in order to show two Banach-space dichotomies. Unlike most infinite-dimensional Ramsey-type results, this theorem does not rely on a pigeonhole principle, and therefore it has to have a partially game-theoretical formulation. In a first part of this thesis, we develop an abstract formalism for Ramsey theory with and without pigeonhole principle, and we prove in it an abstract version of Gowers' theorem, from which both Mathias-Silver's theorem and Gowers' theorem can be deduced. We give both an exact version of this theorem in countable spaces, and an approximate version of it in separable metric spaces. We also prove the adversarial Ramsey principle, a result generalising both the abstract Gowers' theorem and Borel determinacy of countable games. We also study the limitations of these results and their possible generalisations under additional set-theoretical hypotheses. In a second part, we apply the latter results to the proof of two Banach-space dichotomies. These dichotomies are similar to Gowers' ones, but are Hilbert-avoiding, that is, they ensure that the subspace they give is not isomorphic to a Hilbert space. These dichotomies are a new step towards the solution of a question asked by Ferenczi and Rosendal, asking whether a separable Banach space non-isomorphic to a Hilbert space necessarily contains a large number of subspaces, up to isomorphism.

Doctorat en sciences appliquées / info:eu-repo/semantics/nonPublished

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

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

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

No description available.