• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 69
  • 16
  • 6
  • 4
  • 3
  • 1
  • Tagged with
  • 99
  • 26
  • 21
  • 18
  • 18
  • 14
  • 12
  • 11
  • 10
  • 10
  • 10
  • 9
  • 9
  • 9
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Étude de l'enseignement et de l'apprentissage des formes indéterminées

Odierna, Mélanie January 2004 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
12

Catégories dérivées de blocs à défaut non abélien de GL(2,q)

Gonard, Bertrand 04 October 2002 (has links) (PDF)
Cette thèse étudie la catégorie dérivée du bloc principal du groupe fini GL(2,q) en caractéristique l. On dispose grâce à la théorie de Deligne-Lusztig de deux complexes Le et Ls. Si l est différent de 2 alors les l-sous-groupes de Sylow de GL(2,q) sont abéliens, je vérifie que si l divise q-1 (respectivement q+1) alors le complexe Le (respectivement Ls) induit une équivalence dérivée ``splendide'' entre la somme des blocs de défaut maximal de GL(2,q) et l'algèbre du normalisateur d'un l-sous-groupe de Sylow. Ceci vérifie la conjecture de Broué. Si l=2 et q est impair, alors les l-sous-groupes de Sylow de GL(2,q) ne sont pas abéliens. Je montre que si q est congru à 1 ou 7 modulo 8 alors il n'existe aucun sous-groupe local H de GL(2,q) tel que les blocs principaux de H et de GL(2,q) sont de même type. Si q est congru à 3 ou 5, je considère le normalisateur dans GL(2,q) d'un sous-groupe de Sylow de SL(2,q). Je montre que son bloc principal est de même type que celui de GL(2,q) puis que ces deux blocs sont reliés par une équivalence dérivée ``splendide''. J'utilise ensuite la théorie des A-infini-algèbres. A partir des complexes Le et Ls je construis une A-infini-algèbre minimale dont la catégorie dérivée est équivalente à celle du bloc principal de GL(2,q). Il s'agit donc d'une algèbre associative graduée munie d'une structure supplémentaire. Cette construction généralise la construction des équivalences splendides effectuée dans les cas où les sous-groupes de Sylow sont abéliens. Je donne une description complète des A-infini-algèbres obtenues en considérant PGL(2,q) plutôt que GL(2,q). Je montre en particulier que les applications m(n) (pour n>2) donnant la A-infini-structure supplémentaire sont nulles pour n>3.
13

Figures de l'infini : du panthéisme, de Schelling à Mallarmé

Gaulin, Morgan-Denis January 2008 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal
14

Homogénéisation et analyse numérique d'équations elliptiques et paraboliques dégénérées.

Thouroude, Gilles 18 June 2012 (has links) (PDF)
Cette thèse comporte deux parties. Dans un premier temps, nous allons faire un lien entre des solutions stationnaires de problèmes d'évolutions de frontières par courbure moyenne avec des champs extérieurs et l'existence de minimiseur globaux d'un problème de minimisation de périmètre avec une énergie. Ces solutions stationnaires permettent en outre de fournir des bornes pour les solutions non stationnaires du problème. De plus, en modifiant l'énergie, on montre que les résolutions successives des problème de périmètre permettent de calculer l'évolution d'un ensemble par courbure moyenne. Enfin, on présentera un algorithme permettant de calculer les solutions de viscosité d'un problème de Dirichlet portant sur le Laplacien Infini grâce aux équations d'Aronsson.
15

Le rapport de l'Un et de l'intellect dans la centurie de Calliste Cataphygiotes

Avramova, Sofia 08 1900 (has links)
La présente étude est une analyse et une reconstruction interprétative de la centurie de Calliste Cataphygiotès, intitulée De l'union avec Dieu et de la vie contemplative, chapitres syllogistiques et hauts. Notre approche à ce texte pluridisciplinaire est prioritairement philosophique. Dans le but de mettre en valeur l'intérêt philosophique qu'il représente, nous avons concentré notre analyse sur les problèmes liés au rapport de l'intellect avec l'Un, sur l'étude du concept de l'infini, sur son rôle dans la contemplation et sur la méthode dialectique dont Calliste Cataphygiotès s'en sert. Nous avons reconstruit la doctrine de la contemplation, implicite au texte de Calliste et nous avons tenté une reconstruction globale de la centurie qui permettra au lecteur d'apprécier les qualités spéculatives et l'esprit synthétique de ce mystique byzantin presque inconnu. / The present study is an analysis and an interpretative reconstruction of Callistus Cataphygiotes's syllogistic chapters, entitled The union with God and the contemplative life. Our approach to this multidisciplinary text is primarily philosophical. In order to emphasize the philosophical aspect of the text we focused our analysis on issues related to the concept of infinity, its role in contemplation, the relation of the intellect with the One, as well as the dialectical method used by Callistus Cataphygiotes. We rebuilt the doctrine of contemplation, implied in the text of Callistus and we tried to do a complete reconstruction of the text that will allow the reader to appreciate the speculative and the synthetic spirit of this almost unknown Byzantine mystic.
16

Dieu et l'infini dans la métaphysique de Descartes : origines, significations, prolongements / God and the infinite in descartes’ metaphysics

Arbib, Dan 12 December 2012 (has links)
Parce que l’infinité divine n’est pas une évidence théologique, Descartes travaille à lui donner un sens particulier : à la fois instauratrice des vérités créées dans les lettres du printemps1630 et nom divin par excellence selon les exigences de la philosophie première en 1641, elle endosse des déterminations incontestablement dionysiennes (l’incompréhensibilité) en même temps qu’elle relève au plus haut point de la métaphysique en voie de constitution (idea maxime vera). La détermination de la situation de l’infinité de Dieu chez Descartes au regard d’autres concepts du corpus (immensité, indéfini), de ses rapports au concept aristotélicien d’apeiron et de son histoire médiévale (Thomas d'Aquin, Bonaventure, Henri de Gand, Scot) et moderne (Suarez, Bérulle, Montaigne), doit permettre de faire voir la tension interne dont l’infinité grève la métaphysique cartésienne. / Because divine infinity is not a theological obvious fact, Descartes works to give him a particular meaning : at the same time founder of the eternal truths in the letters of printemps1630, and the divine name par excellence according to the requirements of the first philosophy in 1641. Then, infinity both assumes dionysian characteristics (incomprehensibility) and fulfils the requirements of the metaphysics in the process of constitution (idea maxime vera). The determination of the situation of God's infinity in Descartes with regard to the other concepts of the corpus (unlimitedness, indefinite), of its relationships with the Aristotelian concept of apeiron and its medieval history (Thomas d' Aquin, Bonaventure, Henry of Ghent, Scot) and modern (Suarez, Bérulle, Montaigne), allows to show the internal tension the infinite burdens Cartesian metaphysics.
17

La dialectique du fini et de l'infini dans la pensée de Hegel à la lumière de ses sources antiques et modernes / The dialectic of the finite and the infinite in Hegel’s philisophy in the light of ancient and modern sources

Yildiz, Arif 14 December 2018 (has links)
Cette thèse porte sur la question du fini et de l’infini dans la philosophie de Hegel. L’objectif est double. En premier lieu, elle vise à retracer l’influence exercée par la philosophie antique (principalement Platon et Aristote) et par la philosophie moderne (pour l’essentiel Kant et certains postkantiens) sur l’élaboration hégélienne des catégories de la finité et de l’infinité. En second lieu, elle étudie le développement systématique de la logique de l’infinité hégélienne à la lumière de cette influence. Il s’agit d’étudier, à travers une approche historique et critique, comment Hegel résout l’opposition traditionnelle du fini et de l’infini par sa théorie des deux infinis. A l’aune des conceptions de l’infinité-finie (la mauvaise infinité) et de l’infinité véritablement infinie (la véritable infinité), Hegel montre que le processus de la détermination du fini est un processus d’idéalisation qui supprime la contradiction du fini et de l’infini. Ainsi, l’enquête sur des concepts de finité et d’infinité permet de découvrir que l’idéalité spéculative est pour Hegel une réponse non seulement au problème traditionnel de leur articulation, mais aussi, plus généralement, aux problèmes soulevés par la caractérisation des idéalismes antiques et modernes. / This dissertation aims at investigating the problem of the finite and the infinite within Hegel’s philosophy. Its objective is twofold. Firstly, it begins with an examination of the impact of the ancient Greek philosophy (especially that of Plato and Aristotle) and Modern philosophy (especially that of Kant and the post-Kantians) on Hegel’s own understanding of the categories of the finite and the infinite. Secondly, it attempts to analyze the systematic development of the logic of Hegelian infinity in relation to the ancient and modern influences. By adopting an historical and critical approach, this work therefore focuses on the question of how Hegel comes to solve the traditional opposition between the finite and the infinite with the help of his theory of two infinities. With the distinction between a finite infinity (namely a spurious infinity) and an infinity which is itself infinite (namely a true infinity), Hegel shows that the process of determination of the finite is itself a process of idealization which overcomes the very contradiction of the finite and the infinite. The inquiry into the concepts of the finite and infinite thus enables us to understand that the speculative ideality is an answer not only to the traditional opposition between the finite and infinite, but also to the problems raised by the definition of ancient and modern idealisms.
18

Instabilité de l'écoulement le long d'un cylindre semi-infini en rotation / Instability of flow around a rotating, semi-infinite cylinder in an axial stream

Derebail Muralidhar, Srikanth 07 November 2016 (has links)
Ce travail concerne l’écoulement incompressible et stationnaire autour d’un cylindre semi-infini en rotation, et ses propriétés de stabilité linéaire. L’effet de la courbure et de la rotation sur la stabilité de cet écoulement est étudié de manière systématique. Avant d’étudier la stabilité, nous calculons d’abord l’écoulement de base. A grand nombre de Reynolds, une couche limite se développe le long du cylindre, ce qui permet d’utiliser l’approximation de couche limite des équations de Navier–Stokes. Ces équations dépendent de deux paramètres de contrôle sans dimension, le nombre de Reynolds (Re) et le taux de rotation (S), et sont résolues numériquement pour obtenir les profils de vitesse et de pression pour une large gamme des paramètres de contrôle. Une couche limite initialement mince s’épaissit avec la distance axiale; ainsi, son épaisseur devient comparable et finalement plus importante que le rayon du cylindre. Au-delà d’un certain taux de rotation, les effets centrifuges conduisent `a un jet de paroi le long d’une portion du cylindre. L’extension axiale de ce jet augmente avec le taux de rotation. L’intensité du jet augmente aussi avec S. Des analyses asymptotiques de l’écoulement à grande distance axiale et à fort taux de rotation sont aussi présentées. L’analyse de stabilité linéaire du précédent écoulement est effectuée dans l’approximation locale. Après une décomposition en modes normaux, les équations des perturbations sont transformées en un problème de valeur propre `a fréquence complexe (ω). Ce problème dépend de cinq paramètres sans dimension: Re, S, la distance axiale normalisée (Z), le nombre d’onde axial (α) et le nombre d’onde azimutal (m). Les équations de stabilité sont résolues numériquement pour étudier les régions instables dans l’espace des paramètres. On observe que de faibles taux de rotation ont un effet important sur la stabilité de l’écoulement. Cette forte déstabilisation est associée à la présence d’un mode quasi-marginal pour le cylindre fixe et qui devient instable pour de petites valeurs de S. Ce phénomène est confirmé par une analyse en perturbation `a petit S. Sans rotation, l’écoulement est stable pour tout Re < 1060, et pour Z > 0.81. Mais, en présence d’une faible rotation, l’instabilité n’est plus limitée par une valeur minimale de Re ou un seuil en Z. Les courbes critiques dans le plan (Z, Re) sont calculées pour une large gamme de S et les conséquences pour la stabilité de l’écoulement discutées. Enfin, un développement asymptotique pour le nombre de Reynolds critique est obtenu, valable aux grandes valeurs de Z. / This work concerns the steady, incompressible flow around a semi-infinite, rotating cylinder and its linear-stability properties. The effect of cylinder curvature and rotation on the stability of this flow is investigated in a systematic manner. Prior to studying its stability, we first compute the basic flow. At large Reynolds numbers, a boundary layer develops along the cylinder. The governing equations are obtained using a boundary-layer approximation to the Navier–Stokes equations. These equations contain two non-dimensional control parameters: the Reynolds number (Re) and the rotation rate (S), and are numerically solved to obtain the velocity and pressure profiles for a wide range of control parameters. The initially thin boundary layer grows in thickness with axial distance, becoming comparable and eventually larger than the cylinder radius. Above a threshold rotation rate, a centrifugal effect leads to the presence of a wall jet for a certain range of streamwise distances. This range widens as the rotation rate increases. Furthermore, the wall jet strengthens as S increases. Asymptotic analyses of the flow at large streamwise distances and at large rotation rates are presented. A linear stability analysis of the above flow is carried out using a local-flow approximation. Upon normal-mode decomposition, the perturbation equations are transformed to an eigenvalue problem in complex frequency (ω). The problem depends on five non-dimensional parameters: Re, S, scaled streamwise direction (Z), streamwise wavenumber (α) and azimuthal wavenumber m. The stability equations are numerically solved to investigate the unstable regions in parameter space. It is found that small amounts of rotation have strong effects on flow stability. Strong destabilization by small rotation is associated with the presence of a nearly neutral mode of the non-rotating cylinder, which becomes unstable at small S. This is further quantified using smallS perturbation theory. In the absence of rotation, the flow is stable for all Re below 1060, and for Z above 0.81. However, in the presence of small rotation, the instability becomes unconstrained by a minimum Re or a threshold in Z. The critical curves in the (Z, Re) plane are computed for a wide range of S and the consequences for stability of the flow described. Finally, a large-Z asymptotic expansion of the critical Reynolds number is obtained.
19

Observation et commande des systèmes linéaires dans les domaines temporel et fréquentiel / Observer and Control design in the Time and Frequency Domains for Linear Systems

Ezzine, Montassar 14 October 2011 (has links)
Dans ce mémoire, nous nous sommes intéressés aux problèmes d'estimation, de filtrage H-infini mais aussi à la commande via un observateur dans les domaines temporel et fréquentiel, aussi bien pour les systèmes linéaires standards que pour les systèmes algèbro-différentiels plus généraux appelés systèmes singuliers. Le fil conducteur de notre démarche a été de proposer des résultats facilement implémentables et de couvrir la classe la plus large possible des systèmes linéaires. Ainsi, nous avons commencé notre travail en proposant des méthodes de synthèse d'observateurs à entrées inconnues pour des systèmes sans et avec retard, sujet à des entrées totalement inconnues. Nous cherchons ici à éliminer l'effet des entrées inconnues sur la dynamique de l'erreur d'observation. La synthèse temporelle est basée sur des LMIs permettant de déterminer la matrice de gain paramétrant toutes les matrices de l'observateur. L'approche LMI est en fait déduite de différents lemmes bornés qui eux mêmes se basent sur l'approche Lyapunov. La synthèse fréquentielle est déduite de celle temporelle en proposant des MFDs judicieuses et en utilisant l'approche de factorisation. Ensuite, nous avons proposé des filtres qui permettent d'assurer, en plus de la stabilité, un critère de performance H-infini, c'est à dire que nous cherchons à atténuer l'effet des perturbations, supposées être inconnues mais à énergie bornée, sur la dynamique de l'erreur d'estimation. L'un des principaux apports de nos travaux, a été de proposer une nouvelle écriture de la dynamique de l'erreur d'estimation sous forme singulières afin de contourner le problème de l'apparition de la dérivée des perturbations dans la dynamique de l'erreur d'estimation. Ainsi, nous sommes arrivés à relaxer les contraintes qui existent généralement sur les matrices des filtres non biaisés synthétisés; c'est à dire, des filtres dont la dynamique de l'erreur d'estimation ne dépend pas explicitement de l'état x(t) du système et de l'entrée u(t). La méthode fréquentielle est déduite de celle temporelle en utilisant l'approche de factorisation. Il est à noter que cette description fréquentielle, entrée-sortie, pourra permettre une implémentation aisée dans le domaine fréquentiel lorsque nous nous trouvons dans une situation où celle-ci est la plus indiquée. Enfin, nous nous sommes intéressés à l'application des méthodes d'estimation proposées dans le cadre de la commande. En effet, dans un premier temps, nous proposons une synthèse directe d'une commande basée sur un filtre H-infini directement dans le domaine fréquentiel pour des systèmes linéaires standards. Ensuite, nous nous focalisons sur les systèmes singuliers aussi bien dans le cas continu que discret et nous proposons de déterminer des lois de commande en utilisant un filtre fonctionnel qui satisfait un critère de performance H-infini. En effet, nous cherchons d'abord à calculer le gain de retour d'état qui nous permet de remplir les spécifications du système bouclé (stabilité,...). Puis, nous synthétisons un filtre qui a pour but de fournir en sortie une estimée de ce retour d'état. / In this dissertation, we investigated the problems of the estimation but also the controller based-observer design in the time and frequency domains, for both standard linear systems and more general systems algebro-differentials ones also called singular systems. The goal of our approach is to propose easily implementable results and to cover the largest possible class of linear systems. So, we began to propose methods for unknown inputs observers design for linear systems without and with delay, subject to unknown inputs which can result from noise, sensors and actuators faults ... We search here to decouple the unknown inputs and the dynamics of the observation error. The time domain method is based on LMIs permitting to find the gain matrix implemented in the observer matrices. The LMI approach is deduced from various bounded lemmas which themselves are based on Lyapunov approach. The frequency domain synthesis is derived from time domain results by defining suitable MFDs and using the factorization approach. We then propose, filters that permits to ensure, in addition to the stability, an H-infinity performance criteria, i.e we search to attenuate the perturbations effect, supposed unknown but of bounded energy, on the dynamics of the estimation error. One of the main contributions of our work, is to propose a new writing of the error dynamics in a singular form in order to avoid the time derivative of the disturbance in the error dynamics. So, the constraints that generally exist on the matrices of synthesized unbiased filters can be relaxed, i.e filters, that they do not depend explicitly on the state x(t) of the system and on the input u(t). The frequency method is deduced from time domain approach by using the factorisation approach. It should be noted that this frequency domain description, (input-output) representation, may allow an easy implementation in the frequency domain when it is recommended. Finally, we apply the proposed estimation methods to control purpose. In fact, in a first part, we propose a new direct synthesis of a controller based on a H-infinity filter directly in the frequency domain for standard linear systems. Then, we focus our attention on singular systems for both continuous and discrete cases and we propose to search for a linear control law using a functional filter which ensures an H-infinity performance criteria. Our approach is obtained into two steps. In fact, first, we search for a linear control law which ensures some specifications for the closed loop system (stability,...). The state feedback is seen as a functional of the state and is then estimated using our previous results on the H-infinity filtering.
20

La notion d'indéfini en lambda calcul

Bertini, Yves 01 July 2005 (has links) (PDF)
La facilité compte parmi les notions les plus fines de l'indéfini en lambda-calcul. Un terme est dit facile s'il peut être identifié à tout autre terme clos arbitraire sans soulever de contradiction. Introduite en 1975 par Jacopini, elle fait depuis l'objet de recherches qui visent à caractériser la forme des termes faciles. Aujourd'hui, de tous les travaux entrepris il se dégage qu'un tel terme doit posséder une périodicité. Être périodique, c'est être équivalent à un sous-terme propre de l'un de ses réduits. Ici, la périodicité apparaîtra sous les traits de l'auto-similarité. Sont auto-similaires les termes dont l'arbre de Berarducci réapparaît comme sous-arbre propre à lui-même. La facilité de tels termes demeure un mystère. À ce jour, nous n'en connaissons que peu d'exemples. Le terme "Y omega_3" constitue un exemple typique dont la question de la facilité reste ouverte. Dans cette thèse, nous étendrons la connaissance de l'ensemble des termes m identiables à Y Omega_3. Nous montrerons que dans un cas critique où lambda-beta +{Y Omega_3 = m} implique m = delta_3, sous certaines hypothèses, m est lui-même auto-similaire. Ils s'en suit une description possible de toutes les équations dérivées de {Y Omega_3= m} sous la forme de classes confinantes.

Page generated in 0.0571 seconds