Добірка наукової літератури з теми "Modèle différentiable"

RésuméL'objet de cet article est de construire un modèle pour l'élément β1, de Toda (premier élément non nul de la composante p - primaire de l'homotopie stable des sphères qui n'est pas dans l'image du J-homomorphisme, p ≠ 2). Le modèle construit possède en outre la propriété de se plonger, comme variété différentiable, en codimension 1.La construction, basée sur la J-théorie et la chirurgie, exhibe en outre des complexes cellulaires satisfaisant à certaines conditions de plongement, répondant partiellement à un problème posé par le 2e et le 3e auteur.

RÉSUMÉ En éliminant certaines des conditions nécessaires à l’équilibre walrasien, on obtient une variété différentiable que nous avons appelée ici variété de Patinkin-Malinvaud puisque cette façon de faire revient à prendre la méthodologie de ces auteurs. En plus de fournir un modèle simple qui soit assez souple pour contenir, sans rupture structurelle, autant l’équilibre walrasien temporaire que l’équilibre keynésien, autant la théorie des cycles réels que celle de la stabilité keynésienne (du moins dans leur principe), elle permet d’étudier l’optimalité des équilibres mentionnés plus haut dans le contexte qui leur est propre, c’est-à-dire le contexte temporaire et ce du point de vue du premier comme du second rang.

Le développement des programmes rencontre actuellement des difficultés pour la séparation des préoccupations qui le composent. Elles sont entrelacées et leur code est éparpillé dans le programme. La programmation orientée-aspect a pour but de rendre modulaires les préoccupations et de fournir les outils pour les mélanger entre elles et au programme. Après avoir analysé en détail quatre systèmes orientés-aspect majeurs, ce mémoire présente un modèle à grains fins, les " lentilles ". Elles sont regroupées par niveaux d'abstraction. Le premier stade est le " flot " qui peut entrer en intersection avec d'autres flots. Le second stade est l' " aspect " qui est appliqué de façon clairement localisée au programme. L'objectif principal ici est l'expression de la structure du programme, afin de la rendre visible et modifiable dynamiquement. Le modèle permet d'avancer d'un pas dans la distinction entre architecturation du programme et développement des composants. Le métier d'architecte des programmes, qui possède l'outil de composition, et séparé de celui de développeur, qui manipule le langage de programmation
Current programming technologies do not able to clearly separate crosscutting concerns. The code of a concern is scattered into the program components. After having detailed and analysed four main aspect-oriented systems, this report presents a fine-grained model. These grains, the "lenses", are grouped to create more abstract components. The first step of the report describes a "flow" as a chain of lenses. A program can be defined as a set of intersecting flows. The second step of the report comes to the "aspect" concept, applied onto specified points of the program. These abstract groups (flows and aspects) are exactly shaped like lenses. Thus the model is consistent from the bottom level (classes) to the more abstract ones (groups, and groups of groups). The main goal of this report is to enable to express as brightly as possible the structure of the program. The model walks on the way which aims at splitting the program architecture building phase from the component writing phase. Architect is a job which requires composition skills and tools. It is to be separated from the developer job which uses and manipulates the program language to write components

Ce mémoire s'intéresse à l'étude des comportements dynamiques dans les systèmes d'électronique de puissance. La nature des cycles définis par les variables d'état du système peut être établie soit grâce à un diagramme de bifurcation soit grâce aux multiplieurs de Floquet obtenus par le modèle discret du convertisseur. Cependant, pour certaines structures de convertisseur statique, un modèle discret ne peut être obtenu sans introduire de fortes hypothèses. Les bifurcations de type flip (à l'échelle des hautes fréquences) ne peuvent pas être prédites par le modèle moyen alors qu'elles apparaissent dans de nombreux convertisseurs statiques. Une nouvelle formulation d'un modèle moyen continu permettant d'estimer le premier point de bifurcation (flip, Hopf...) a été présentée. La méthodologie proposée a été appliquée à un convertisseur boost, en mode de conduction continu, contrôlé en courant par différents types de contrôleur à fréquence fixe de commutation. Ensuite, ce modèle moyen a été utilisé pour le dimensionnement des paramètres du régulateur de courant associé à un système de filtrage actif. Les résultats obtenus par le modèle proposé ont été validés par simulation numérique ainsi que par des résultats expérimentaux.Les méthodes d'analyse des cycles limites ont été étendues pour étudier la stabilité des réseaux DC lorsque la fréquence de coupure du filtre LC reliant la source de tension avec le convertisseur statique est proche de la fréquence apparente de commutation des convertisseurs utilisés. Différents modèles discrets ont été développés pour pouvoir considérer ou non le caractère échantillonné de la commande des convertisseurs
This thesis discusses the study of dynamic behavior in power electronics systems. The nature of cycles defined by the state variables of the system can be settled either by a bifurcation diagram or by Floquet multipliers obtained from the discrete model of the converter. However, for certain structures of static converters, a discrete model cannot be obtained without introducing large assumptions. The flip bifurcations (fast-scale) cannot be predicted by the averaged model whereas they appear in many statics converters. A new formulation of a continuous averaged model is presented to estimate the first bifurcation point (flip, Hopf ...). The proposed methodology is applied to a boost converter, operated in continuous conduction mode, controlled by different types of fixed frequency switching current controllers. Then, this averaged model is used for the design of the current controller parameters associated with an active filter system. The variables obtained by the proposed model have been validated by numerical simulation and experimental results. Methods of analysis of limit cycles are extended to study the stability of DC networks when the cutoff frequency of the LC filter between the voltage source and the converter is close to the switching frequency of converters. Different discrete-time models have been developed in order to consider whether to use sampled or no-sampled converter control

La création de matériaux et de textures procéduraux demande une grande expertise et constitue un travail long, fastidieux et coûteux, c’est pourquoi on cherche à développer des outils permettant leur génération automatique à partir d’exemples en entrée fournis sous la forme d’images : on parle de modélisation procédurale inverse.Dans cette thèse, nous proposons un modèle procédural appelé Cellular Point Process Texture Basis Function (C-PPTBF) permettant de représenter des structures cellulaires stochastiques 2D, impliquant des fonctions différentiables par rapport à la plupart de leurs paramètres, ce qui rend possible l’estimation de ces paramètres à partir d’exemples sans recourir entièrement à des réseaux de neurones profonds. Nous avons mis en place une chaîne de traitement permettant d’estimer les paramètres de notre modèle à partir d’exemples de structures fournis sous la forme d’images binaires, combinant une estimation réalisée à l’aide d’un réseau de neurones convolutif entraîné sur des images produites avec notre modèle de C-PPTBF et une phase d’estimation par descente de gradient directement sur les paramètres du modèle procédural
The creation of procedural materials and textures requires considerable expertise, and is time-consuming, tedious and costly. We are therefore looking to develop tools for the automatic generation of procedural textures and materials from input exemplars provided in the form of images: This is known as inverse procedural modeling.In this thesis, we propose a procedural model called Cellular Point Process Texture Basis Function (C-PPTBF) for representing 2D stochastic cellular structures, involving functions that are differentiable with respect to most of their parameters, making it possible to estimate these parameters from examples without resorting entirely to deep neural networks. We have set up a processing pipeline to estimate the parameters of our model from structural examples provided in the form of binary images, combining an estimation performed using a convolutional neural network trained on images produced with our C-PPTBF model and an estimation phase using gradient descent directly on the parameters of the procedural model

Les travaux présentés dans cette thèse visent à proposer des méthodes de routage d’une population de masse à travers un réseau perturbé dont les données varient dans le temps pour l’aide à la conception de plan d’évacuation. Ce problème s’illustre parfaitement en cas de catastrophe d’origine humaine ou naturelle où les populations (potentiellement) impactées par ces sinistres doivent quitter leur lieux de vie pour une période pouvant aller d’un à plusieurs jours. Dans la littérature, ces routages de masse sont souvent modélisés comme des problèmes de flots dynamiques dont l’objectif est de minimiser la durée globale du transfert des individus depuis un certain nombre de points de départs dangereux vers des points d’arrivé sûrs. Toutefois, peu de travaux prennent en compte la notion de sécurité durant ce routage et encore moins le déploiement d’agents (policiers, sapeur-pompiers, ambulanciers,...) pouvant sécuriser et/ou faciliter le déplacement des personnes
The work presented in this thesis aims to propose methods for routing a mass population through a disturbed network whose data vary over time. This problem can be illustrated by disasters due to humans or natural events where people (potentially) affected have to leave their living places for a period of one to several days. In the literature, mass routing are often modeled as dynamic flow problems whose objective is to minimize the overall duration of the evacuation process from a set of gathering points towards another set of shelter locations. However few papers take into account the concept of safety during this routing nor deploying task forces that can secure or facilitate this process. In this context, the safety security can be seen as a danger affecting the quality of life of people we organize the trip. In this context, the safety can be seen as a danger that influence the health of the people we are trying to evacuate. Indeed, this hazardous event can be related to a radioactive cloud, a fire, a tsunami, an earthquake or a flooding which make some of paths becoming dangerous or less usable by evacuees

Dans ce travail, on étudie quelques exemples de systèmes ou d'équations de réaction-diffusion-advection apparaissant dans des modèles de physique, de chimie et de biologie. Dans la première partie, on étudie le système de Gray-Scott qui modélise une réaction autocatalytique cubique. On commence par établir l'existence globale et l'unicité d'une solution non triviale de ce système dans un domaine borné. On montre aussi la non-existence de solution stationnaire non constante et de solution en onde pulsatoire pour certains domaines de paramètres. On s'intéresse ensuite aux ondes progressives. On donne tout d'abord une solution exacte dans le cas bistable. En utilisant une méthode de perturbation et un argument de point fixe, on montre que cette solution continue à exister lorsqu'on est proche de ce cas. Dans la seconde partie, on s'intéresse aux ondes progressives solutions d'un système de diffusion croisée modélisant un phénomène de combustion dans un milieu poreux. En utilisant la méthode de degré topologique, on montre l'existence d'une solution du problème dans un domaine borné. Puis, par un argument de compacité, on montre que la solution ainsi obtenue converge vers une solution du problème limite sur tout R. Dans la troisième partie, on étudie la limite singulière d'une équation de réaction-diffusion-advection dégénérée modélisant un phénomène de chimiotaxie. On montre la convergence vers la solution d'un problème à frontière libre où l'équation du mouvement de l'interface est une équation de Hamilton-Jacobi du premier ordre. La preuve s'appuie sur le principe de comparaison et sur des constructions des sur- et sous-solutions
In this work, we study some examples of reaction-diffusion-advection systems which appear in models of physics, chemistry and biology. In the first, part we study the Gray-Scott system, which modelizes a cubic autocatalytic reaction. We first establish the global existence and uniqueness of a non trivial solution of this system in a bounded domain. We also prove the non-existence of non-constant stationary solution and of traveling pulse for some domain of parameters. As for traveling waves we first give an exact solution in the bistable case. Using a perturbation method and a fixed point argument, we show that this solution still exists near this case. In the second part we are interested in traveling wave solutions of a cross-diffusion system modelizing a combustion phenomenon in a porous medium. Using the topological degree method, we show the existence of a solution of the problem in a bounded domain. Then, by a compactness argument, we show that the solution obtained this way converges to a solution of the limit problem over on the line. In the last part, we study the singular limit of a degenerate reaction-diffusion-advection equation modelizing a chemotaxis phenomenon. We prove the convergence to a solution of a free boundary problem where the equation of the interface motion is a first-order Hamilton-Jacobi equation. The proof is based on the comparison principle and on the construction of sub- and super-solutions

Ce mémoire s'intéresse à l'étude des comportements dynamiques dans les systèmes d'électronique de puissance. La nature des cycles définis par les variables d'état du système peut être établie soit grâce à un diagramme de bifurcation soit grâce aux multiplieurs de Floquet obtenus par le modèle discret du convertisseur. Cependant, pour certaines structures de convertisseur statique, un modèle discret ne peut être obtenu sans introduire de fortes hypothèses. Les bifurcations de type flip (à l'échelle des hautes fréquences) ne peuvent pas être prédites par le modèle moyen alors qu'elles apparaissent dans de nombreux convertisseurs statiques. Une nouvelle formulation d'un modèle moyen continu permettant d'estimer le premier point de bifurcation (flip, Hopf...) a été présentée. La méthodologie proposée a été appliquée à un convertisseur boost, en mode de conduction continu, contrôlé en courant par différents types de contrôleur à fréquence fixe de commutation. Ensuite, ce modèle moyen a été utilisé pour le dimensionnement des paramètres du régulateur de courant associé à un système de filtrage actif. Les résultats obtenus par le modèle proposé ont été validés par simulation numérique ainsi que par des résultats expérimentaux.Les méthodes d'analyse des cycles limites ont été étendues pour étudier la stabilité des réseaux DC lorsque la fréquence de coupure du filtre LC reliant la source de tension avec le convertisseur statique est proche de la fréquence apparente de commutation des convertisseurs utilisés. Différents modèles discrets ont été développés pour pouvoir considérer ou non le caractère échantillonné de la commande des convertisseurs
This thesis discusses the study of dynamic behavior in power electronics systems. The nature of cycles defined by the state variables of the system can be settled either by a bifurcation diagram or by Floquet multipliers obtained from the discrete model of the converter. However, for certain structures of static converters, a discrete model cannot be obtained without introducing large assumptions. The flip bifurcations (fast-scale) cannot be predicted by the averaged model whereas they appear in many statics converters. A new formulation of a continuous averaged model is presented to estimate the first bifurcation point (flip, Hopf ...). The proposed methodology is applied to a boost converter, operated in continuous conduction mode, controlled by different types of fixed frequency switching current controllers. Then, this averaged model is used for the design of the current controller parameters associated with an active filter system. The variables obtained by the proposed model have been validated by numerical simulation and experimental results. Methods of analysis of limit cycles are extended to study the stability of DC networks when the cutoff frequency of the LC filter between the voltage source and the converter is close to the switching frequency of converters. Different discrete-time models have been developed in order to consider whether to use sampled or no-sampled converter control

Nous considérons une classe d'estimateurs à rétrécisseur de la moyenne d'une loi normale multidimensionnelle (documents 1 et 2) et plus généralement du paramètre de position d'une loi à symétrie sphérique (document 3). Nous établissons des conditions suffisantes de domination uniforme de l'estimateur des moindres carrés relativement à un coût quadratique quelconque (documents 1 et 2) et, plus généralement, relativement à une classe de lois à symétrie sphérique et une famille de coûts quadratiques associée à cette classe (document 3)

Plusieurs études dendroclimatiques (variations inter-annuelles de la largeur de cernes en fonction du climat) du chêne sessile (bois à zone poreuse) et du hêtre (bois à pores diffus) ont mis en évidence des corrélations avec le climat de l'année et des effets différés du climat ou de la croissance. Ces effets différés sont souvent plus marqués et plus anciens chez le chêne. Nos objectifs sont de vérifier si les anatomies et/ou les phénologies contrastées (mise en place des feuilles, reprise de croissance du bois) de ces deux essences s'accompagnent d'une gestion différente des réserves carbonées, et de schémas d'allocation du carbone spécifiques, à la fois en intra- et en inter-annuel. Pour répondre à ces objectifs, nous avons développé une approche pluridisciplinaire associant dendrochronologie, écophysiologie, dendrométrie et modélisation du fonctionnement hydrique et carboné de peuplements de chênes et de hêtres. L'analyse des variations interannuelles de croissance radiale du chêne et du hêtre a été réalisée sur les 30 dernières années à partir de 900 arbres répartis dans des classes d'âges et de fertilités variées en forêt de Fontainebleau. L'étude dendroclimatique met en évidence une forte dépendance de la productivité des hêtraies à la disponibilité en eau du sol pendant la saison de végétation de l'année et de l'année précédente. Pour les chênaies, la productivité est corrélée à la disponibilité en eau du sol pendant la saison de végétation et à la croissance de l'année précédente. L'analyse biochimique des réserves glucidiques (amidon, saccharose, glucose et fructose), réalisée sur deux peuplements purs de chênes et de hêtres âgés de 35 ans en Lorraine, révèle une dynamique saisonnière des réserves plus marquée et des concentrations plus élevées chez le chêne. Ces différences de gestion des réserves sont cohérentes avec des besoins plus importants en croissance chez le chêne pendant la phase d'hétérotrophie du carbone. L'estimation des quantités de réserves et d'accroissement annuel en biomasse du peuplement sur plusieurs années a nécessité un travail préliminaire pour décrire les variabilités intra- et inter-arbres puis pour effectuer le changement d'échelle des arbres étudiés au peuplement. .
Several dendroecological studies (inter-annual variations of the tree-rings width according to the climate) of the sessile oak (ring porous species) and of the beech (diffuse porous species) put into evidence their interrelationships with the climatic signal of the year and differed effects of the climate or the growth. These differed effects are often more obvious and older on oaks. Our objectives are to verify if the anatomies and/or the contrasted phenology (setting up of leaves, resuming of wood growth) of these two species entail a different management of carbohydrate reserves, and of specific carbon allocation pattern, at intra- and in inter-annual scales. To reach these objectives, we have developed a pluridisciplinary approach associating dendrochronology, ecophysiology, dendrometry and modeling of water and carbon functioning of oaks and beeches stands. The analysis of the inter-annual variations of radial growth of the oak and of the beech was based on the last 30 years measurements on 900 varied trees in terms of fertility and age in the Fontainebleau forest. Dendroclimatic study puts into evidence a strong dependence of the beeches stands productivity on the soil water availability during the season of vegetation of the year and the previous year. For oaks stands, the productivity is correlated to the soil water availability during the season of vegetation and to the growth of the previous year. The biochemical analysis of carbohydrate reserves (starch, sucrose, glucose and fructose), made on two pure stands of oaks and beeches of 35 years old in Lorraine, reveals a seasonal dynamics of reserves more obvious as well as an higher concentration for the oak. These differences of reserve management correspond to the important needs in growth of the oak during the phase of carbon heterotrophy. Analyzing the reserves quantities and yearly growth in biomass of the population on several years required preliminary works to describe intra- and inter-trees variability and then to up-scale the studied tree to the stand. Knowledge acquired on the seasonal dynamics of carbohydrate reserves quantities, as well as on the growth phenology of the oak and the beech, have been integrated in a model of stand carbon balance (CASTANEA, E. Dufrêne). The possible changes of carbon allocation to the growth between years can be tested thanks to the model, through hypotheses of interactions between dynamics appropriate in reserves and growth. These modifications have been tested on the Fontainebleau site. .

Un des problèmes majeurs dans le domaine des télécommunications est de construire des réseaux robustes qui puissent faire face à l’incertitude de la demande. Ayant l’architecture d’un réseau et un budget donné pour le problème d’allocation de la capacité, le but est d’identifier une capacité faisable, qui minimise le pire cas de demande insatisfaite. Premièrement, nous formulons l’incertitude de la demande comme un polytope engendré par un nombre fini de scénarios de la demande. Nous montrons que le problème peut se ramener à la minimisation d’une fonction convexe sur un polyèdre. Nous calculons alors une solution optimale par trois méthodes de plans sécants : Kelley, Elzinga & Moore et faisceaux induits. Ensuite, nous formulons l’incertitude comme un polyèdre décrit par un nombre fini d’inégalités linéaires, ce qui résulte en un problème considérablement plus difficile. Par conséquent, nous cherchons uniquement des bornes supérieures et inférieures. Quelques idées novatrices sont présentées et l’algorithme de type « Branch & Bound » de Falk & Soland est utilisé afin de calculer le maximum d’une fonction convexe additive ; de plus, nous définissons une variante de cet algorithme, adaptée à notre situation particulière. Après avoir défini la capacité d’un réseau, l’étape suivante est de calculer le routage optimal dans ce réseau. Nous minimisons la congestion en utilisant comme objectif la fonction moyenne de retard de Kleinrock. Le problème résultant est convexe mais non-linéaire et la fonction duale est la somme d’un terme polyèdral et d’un terme différentiable. Afin de résoudre ce problème, nous implémentons un algorithme hybride basé sur la relaxation lagrangienne.