Spelling suggestions: "subject:"mathématiques""
31 |
Structures de corrélation partiellement échangeables : inférence et apprentissage automatiquePerreault, Samuel 27 January 2024 (has links)
No description available.
|
32 |
Séries rationnelles et distributions de longueursBassino, Frédérique 22 November 1996 (has links) (PDF)
Ce travail porte sur les séries à coefficients entiers positifs, sur les séries N-rationnelles et est centré autour de deux types de questions : le problème de la hauteur d'étoile et l'étude des propriétés des distributions de longueurs des codes. On étudie le problème de la hauteur d'étoile de séries rationnelles particulières : les séries N-rationnelles en une variable. On caractérise de différentes façons les séries N-rationnelles qui sont de hauteur d'étoile 1, et on donne un critère permettant de décider de la hauteur d'étoile d'une classe importante de séries N-rationnelles en une variable. L'étude de la hauteur d'étoile des séries N-rationnelles en une variable repose sur l'utilisation des propriétés de leurs représentations par des matrices. On établit, en particulier, à partir d'un résultat d'Handelman, une caractérisation du rayon spectral d'une matrice compagnon irréductible à coefficients entiers positifs. On étudie, ensuite, les distributions de longueurs des codes circulaires et des codes préfixes. On prouve trois nouveaux résultats concernant les codes circulaires. On généralise, dans plusieurs directions, la caractérisation des distributions de longueurs des codes circulaires établie dans le cas d'un alphabet fini par Schützenberger. D'une part, on remplace l'alphabet fini par un alphabet quelconque dont les éléments ont des poids, ce qui permet d'étendre le résultat à deux distributions de longueurs. D'autre part, on restreint les conditions, ce qui permet d'établir la décidabilité dans le cas d'une distribution finie. On donne une nouvelle formulation de cette caractérisation. Ce résultat, établi par des méthodes combinatoires, met en évidence la décidabilité dans le cas d'une distribution finie. On établit une condition nécessaire et suffisante pour qu'une suite d'entiers positifs soit la distribution de longueur d'un code circulaire maximal sur un alphabet fini. Enfin, on met en évidence les liens entre les séries génératrices des codes préfixes rationnels et une classe de séries N-rationnelles : les DOL-séries. On donne une condition suffisante pour qu'une suite N-rationnelle soit la distribution de longueurs d'un code rationnel préfixe maximal sur un alphabet à k lettres.
|
33 |
Mathématiques et Métaphysique. Une défense du platonisme mathématique / Mathematics and Metaphysics. A defence of mathematical platonismBravo Osorio, Felipe 24 September 2016 (has links)
Le platonisme mathématique, la thèse selon laquelle les mathématiques portent sur des objets abstraits existant de manière indépendante à notre esprit et notre langage, est un des sujets les plus débattues dans la philosophie des mathématiques. L’image des mathématiques qui s’en dégage est souvent perçue comme se heurtant à des problèmes épistémologiques considérables : si il est vrai que les mathématiques sont une science qui porte sur des objets en dehors de l’espace et du temps, comment nous, des êtres situés spatio-temporellement, pouvons avoir une quelconque connaissance mathématique ? En conséquence, la défense du platonisme et le débat sur l’ontologie des mathématiques se sont largement concentrées sur cette dimension épistémologique. Dans ce travail de thèse, nous essaierons de réitérer le rôle de la métaphysique et de la pratique des mathématiques dans le débat sur l’ontologie des objets mathématiques. Notre objectif principal est plus particulièrement le développement et l’application d’un programme métaphysique général, capable de rendre compte des aspects ontologiques des mathématiques qui sont propres à une interprétation platoniste des mathématiques. Pour ce faire, notre stratégie consiste à insister tout d’abord sur le besoin de clarification des thèses platonistes concernant la nature abstraite des objets mathématiques et l’indépendance de ces objets et à essayer d’étendre la portée du platonisme au-delà des concepts et théories mathématiques habituelles. / Mathematical platonism is the idea according to which mathematics is about a domain of abstract objects, existing independently of our though and language. It is one of the central subjects in philosophy of mathematics, and is often considered to face important epistemological problems. If, as the platonist thinks, mathematics really are a science of objects outside of space and time, then how is mathematical knowledge even possible? As a consequence of the epistemological problem, the debate has focused mainly around the epistemological dimension of platonism. In this study however, we will try to move away from epistemology and restate the role of metaphysics and mathematical practice in the ontological debate on mathematical objects. Our main objective will be to develop and apply a general metaphysical program in order to explain the ontological aspects of a platonist interpretation of mathematics. In order to do this, it will be necessary to clarify the abstract nature of mathematical objects and the ontological independence of these entities, and to extend the scope of platonism beyond the usual concepts and mathematical theories.
|
34 |
Optimisation de la chaîne logistique dans l'industrie de process. Méthodes et application à l'industrie du verre platMiegeville, Nicolas 21 September 2005 (has links) (PDF)
L'importance croissante que le client accorde à la manière dont une entreprise<br />satisfait sa demande bouleverse les fondements des organisations anciennement pensées sous l'angle de la production. Phénomène tout à fait perceptible dans un grand<br />groupe industriel comme Saint-Gobain, à forte culture ingénieur, cette prise de<br />conscience donne un nouvel élan aux métiers transversaux focalisés à la fois sur<br />l'optimisation du schéma industriel et de la chaîne logistique. Cette thèse est une<br />illustration de cette évolution : l'intérêt porté aux problèmes d'optimisation des systèmes industriels et logistiques est relativement récent à Saint-Gobain Recherche.<br />Nous nous sommes intéressés dans nos travaux à différents problèmes industriels<br />complémentaires rencontrés chez Saint-Gobain Glass, leader de la production de<br />verre plat en Europe. Nous avons apporté des solutions mettant en lumière l'interdépendance de différentes décisions à des problèmes industriels complexes, avec un<br />souci constant de produire des outils d'aide à la décision utiles et appréciés.<br />Après un avant-propos rappelant le sens de notre démarche, nous découvrirons<br />dans le chapitre 1 le contexte industriel qui a motivé notre recherche. Nous présentons<br />les métiers du groupe - produire, transformer et distribuer du verre plat - et les<br />différents niveaux de décision que nous avons décidé d'aborder. Les chapitres suivants<br />présentent les problèmes d'optimisation que nous avons identifiés et qui nous sont<br />apparus comme clés.<br />Nous abordons dans le chapitre 2 un modèle permettant de déterminer les dimensions<br />des produits standards. L'intégration verticale du groupe permet l'étude<br />du meilleur compromis entre les chutes de verre tout au long de la chaîne logistique<br />et le nombre de références à gérer. La suite de la thèse tend à aboutir à une modélisation complète du schéma industriel et logistique et fait l'objet du chapitre 6. Pour cela, nous traitons les questions de localisation d'installations logistiques (chapitre 3) et de modélisation des processus de production : le chapitre 4 présente notre modèle<br />et l'illustre avec la production de verre plat, tandis que le chapitre 5 présente un<br />travail complémentaire permettant de l'appliquer aux lignes de transformation. Finalement, nous intégrons dans le chapitre 6 tous ces travaux dans un modèle linéaire<br />en nombres entiers.<br />Fruit d'une véritable collaboration entre chercheurs et industriels, ce travail présente<br />un modèle générique déterministe d'optimisation de la chaîne logistique appliqué avec succès à l'industrie du verre. De nombreuses perspectives dignes d'intérêt<br />sont imaginables, autant théoriques que pratiques.
|
35 |
Types de généralisations et épistémologie des mathématiques : de l'intégrale de Cauchy à l'intégrale de LebesgueVilleneuve, Jean-Philippe January 2007 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.
|
36 |
Étude de l'enseignement et de l'apprentissage des formes indéterminéesOdierna, Mélanie January 2004 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
37 |
Modélisation mathématique de la transmission locale du virus de la fièvre aphteuseKaboré, Henri January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
38 |
Analyse de la stabilité des modèles intra-hôtes avec retard : application à des modèles intra-hôtes de paludisme et de V.I.H-1 / Stability analysis of within-host models with delays : application to within-host models of H.I.V-1Mbang, Joseph 20 March 2009 (has links)
Dans cette thèse, nous analysons certains modèles épidémiologiques comportant des retards distribués. Le phénomène du retard est omniprésent en biologie. Les équations différentielles avec retard constant discret encore appelées "lag", ont été beaucoup étudiées. Cependant les retards distribués sont plus adaptés aux phénomènes biologiques. Nous entendons par retards distribués, des retards qui sont décrits par une fonction continue de densité de probabilité. Les retards jouent un rôle important en biologie plus particulièrement en épidémiologie. Par exemple dans le cas d'une maladie infectieuse, le temps d'incubation c'est-à-dire le temps entre le moment où l'individu est infecté et celui où il transmet cette maladie joue un rôle important dans l'analyse de la transmission. Un autre exemple est celui des modèles intra-hôtes d'une infection. Un parasite a besoin d'envahir une cellule cible pour se reproduire. C'est le cas de Plasmodium falciparum, le parasite du paludisme qui envahit les globules rouges, ou le virus VIH dont les cellules cibles sont les lymphocytes CD+4. Quand le parasite rentre dans la cellule cible cela déclenche toute une cascade d'évènements qui aboutiront à la production de nouveaux parasites par bourgeonnement ou lyse de la cellule. (HIV, HBV, Paludisme). La production de nouveaux parasites n'est pas instantanée. Plus généralement le mouvement de quantité de matières d'un endroit à un autre prend du temps. Si l'on veut modéliser une injection de substance dans le flot sanguin, le temps d'apparition dans les capillaires introduit un retard. Les modèles étudiés dans cette thèse sont des modèles intra-hôtes avec retard. Les modèles intra-hôtes ont pour objectif de décrire la dynamique des différents niveaux d'étapes de parasites ainsi que leur interaction avec les cellules cibles du parasite. Pour les modèles biologiques les systèmes compartimentaux sont naturellement utilisés dans la modélisation. Le retard est modélisé par la fonction d'Erlang comme fonction de densité de probabilité. Les modèles intra-hôtes de parasite avec retard peuvent aussi être vus comme les systèmes provenant des modèles SE1...En I, où les Ei sont les classes latentes des infectés. Les classes latentes sont représentées par des chaînes linéaires parallèles de différentes longueurs qui sont insérées entre le compartiment des susceptibles et celui des infectieux. Dans cette thèse, nous utilisons quelques outils de la théorie du contrôle pour "généraliser" le "linear chain trick". Nous calculons le nombre de reproduction de base R0 pour ces systèmes considérés et nous établissons les résultats suivants : – si R0 < 1 les parasites disparaissent et l'équilibre sans parasite (PFE) est globalement asymptotiquement stable dans l'orthant positif ; – si R0 > 1 et avec une hypothèse supplémentaire, il existe un équilibre endémique (EE) qui est globalement asymptotiquement stable dans l’orthant positif hormis l’axe des « susceptibles ». Ces résultats donnent une possibilité de relecture de certains modèles de parasites incluant le retard intracellulaire et d'étude de leur stabilité globale. Comme application de ce résultat, nous reprenons et améliorons les résultats de Nelson et Perelson dans sur les modèles intra-hôtes de l'infection au VIH / In this thesis, we analyze certain epidemiologic models with delays. The phenomenon of delay is omnipresent in biology. The differential equations with constant discrete delay called by Jacquez "lag"have been much studied. However the distributed delays are adapted to many biology phenomena. By distributed delays, we mean delays described by a continuous probability density function. Indeed for example the incubation time for a germs is not constant. The delays are very important in biology particulary in epidemiologic. For example in the case of infectious disease the time of incubation is very important for the analysis of the transmission. The entrance of a parasite into a targetcell initiates a cascade of events that ultimately lead to the production of new parasites by the infected cell. The production of new parasites is not instantaneous. The models studied in this thesis are within-host models with delays. The objectives of within-host parasite models is to describe the dynamic of various stages of the parasites and their interaction with the host cells like red blood cells and the immunity effectors. the delay used in this thesis is the probability density functions of Erlang. The within-host parasite models with distributed delays can also be see as the systems arising from systems with parallel classes of different length of latently infected target cells SE1... EnI where, Ei are latently infected classes. We used some tools of control theory to "generalize" the "linear chain trick". We computed the basic reproduction ratio R0 for systems under consideration. We established the following results : – if R< 1, the parasite is cleared and the parasite free equilibrium is glabal asymptotic stability on the positive orthan ; – if R > 1 and with a sufficient condition is satis fied, we conclude to the global asymptotic stability of the endemic equilibrium. In application, we improve the results of Nelson and Perelson
|
39 |
Une étude didactique sur l'introduction dans l'enseignement mathématique vietnamien de notions statistiques dans leurs liens avec les probabilitésVu Nhu, Thu Huong 01 September 2009 (has links) (PDF)
L'étude didactique porte sur l'enseignement secondaire vietnamien des statistiques dans ses liens potentiels avec les concepts de probabilité. Elle part de deux constats, le premier de nature épistémologique et le second de nature didactique :<br />- il existe un corpus des savoirs en statistique inférentielle qui caractérise mathématiquement les liens entre statistiques et probabilités <br />- les deux systèmes d'enseignement, vietnamien et français diffèrent profondément puisque statistiques et probabilités sont enseignées séparément au Vietnam et ces savoirs sont absents des programmes alors qu'en France plusieurs réformes récentes ont inscrit dans les programmes certains de ces savoirs au travers de notions comme la fluctuation d'échantillonnage ou l'adéquation d'une distribution statistique à une loi probabiliste. <br />L'articulation d'une analyse épistémologique et d'une analyse institutionnelle développe la problématique de l'étude dans deux questions successives : quel effet a la coupure constatée entre statistiques et probabilités sur le rapport institutionnel à des « objets-candidats pour les liens statistiques-probabilités » au Vietnam aussi bien du côté enseignant que du côté élève ? Est-il possible de faire vivre dans les conditions actuelles de l'enseignement vietnamien quelques uns de ces objets-candidats ? Chacune des questions est travaillée via un dispositif expérimental : la première à travers un questionnaire aux élèves et aux enseignants vietnamiens et la seconde dans une ingénierie didactique réalisée dans une classe de lycée vietnamien.
|
40 |
La théorie de la viabilité au service de la modélisation mathématique du développement durable. Application au cas de la forêt humide de MadagascarBernard, Claire 19 September 2011 (has links) (PDF)
Le développement durable, défini à l'origine comme un mode de développement qui répond aux besoins du présent sans compromettre la capacité des générations futures à répondre aux leurs, souffre aujourd'hui des limites de cette définition. On dénombre en effet des centaines de définitions rendant le concept flou au point que mesures politiques et économiques les plus diverses se revendiquent durables.L'objectif de cette thèse est de modéliser le développement durable à l'aide des outils mathématiques de la théorie de la viabilité et de rendre sa définition opérationnelle. La théorie de la viabilité permet en effet d'intégrer les principales caractéristiques d'un développement durable : l'approche multi-objectifs, la prise en compte d'un horizon temporel infini, la possibilité de déterminer plusieurs politiques d'actions viables et le respect de l'équité intergénérationnelle. Le principe de la viabilité est l'étude de systèmes dynamiques contrôlés soumis à un ensemble de contraintes. Le concept central est celui de noyau de viabilité, ensemble regroupant tous les états initiaux à partir desquels il existe une évolution restant dans l'ensemble de contraintes. Après avoir mis en évidence les limites des méthodes utilisées dans la modélisation du développement durable telles que l'analyse multicritères, notre démarche scientifique s'appuie sur le développement de deux modèles mathématiques appliqués à la gestion durable du corridor forestier de Fianarantsoa (Madagascar). L'enjeu est alors de déterminer des politiques d'actions permettant de satisfaire un double objectif : la conservation de la forêt et la satisfaction des besoins de la population locale. Nous démontrons alors l'utilité de la théorie de la viabilité pour atteindre ces objectifs en définissant les contraintes adaptées et en calculant des noyaux de viabilité.
|
Page generated in 0.0514 seconds