Global ETD Search

1	Solutions de rang k et invariants de Riemann pour les systèmes de type hydrodynamique multidimensionnels Huard, Benoit 10 1900 (has links) Dans ce travail, nous adaptons la méthode des symétries conditionnelles afin de construire des solutions exprimées en termes des invariants de Riemann. Dans ce contexte, nous considérons des systèmes non elliptiques quasilinéaires homogènes (de type hydrodynamique) du premier ordre d'équations aux dérivées partielles multidimensionnelles. Nous décrivons en détail les conditions nécessaires et suffisantes pour garantir l'existence locale de ce type de solution. Nous étudions les relations entre la structure des éléments intégraux et la possibilité de construire certaines classes de solutions de rang k. Ces classes de solutions incluent les superpositions non linéaires d'ondes de Riemann ainsi que les solutions multisolitoniques. Nous généralisons cette méthode aux systèmes non homogènes quasilinéaires et non elliptiques du premier ordre. Ces méthodes sont appliquées aux équations de la dynamique des fluides en (3+1) dimensions modélisant le flot d'un fluide isentropique. De nouvelles classes de solutions de rang 2 et 3 sont construites et elles incluent des solutions double- et triple-solitoniques. De nouveaux phénomènes non linéaires et linéaires sont établis pour la superposition des ondes de Riemann. Finalement, nous discutons de certains aspects concernant la construction de solutions de rang 2 pour l'équation de Kadomtsev-Petviashvili sans dispersion. / In this work, the conditional symmetry method is adapted in order to construct solutions expressed in terms of Riemann invariants. Nonelliptic quasilinear homogeneous systems of multidimensional partial differential equations of hydrodynamic type are considered. A detailed description of the necessary and sufficient conditions for the local existence of these types of solutions is given. The relationship between the structure of integral elements and the possibility of constructing certain classes of rank-k solutions is discussed. These classes of solutions include nonlinear superpositions of Riemann waves and multisolitonic solutions. This approach is generalized to first-order inhomogeneous hyperbolic quasilinear systems. These methods are applied to the equations describing an isentropic fluid flow in (3+1) dimensions. Several new classes of rank-2 and rank-3 solutions are obtained which contain double and triple solitonic solutions. New nonlinear and linear superpositions of Riemann waves are described. Finally, certain aspects of the construction of rank-2 solutions through an application to the dispersionless Kadomtsev-Petviashvili equation are discussed. Invariants de Riemann Riemann invariants Systèmes de type hydrodynamique Hydrodynamic type systems Méthodes de réductions par symétries Symmetry methods Symétries conditionelles Conditional symmetries Solutions de rang k Rank-k solutions
2	Solutions de rang k et invariants de Riemann pour les systèmes de type hydrodynamique multidimensionnels Huard, Benoit 10 1900 (has links) Dans ce travail, nous adaptons la méthode des symétries conditionnelles afin de construire des solutions exprimées en termes des invariants de Riemann. Dans ce contexte, nous considérons des systèmes non elliptiques quasilinéaires homogènes (de type hydrodynamique) du premier ordre d'équations aux dérivées partielles multidimensionnelles. Nous décrivons en détail les conditions nécessaires et suffisantes pour garantir l'existence locale de ce type de solution. Nous étudions les relations entre la structure des éléments intégraux et la possibilité de construire certaines classes de solutions de rang k. Ces classes de solutions incluent les superpositions non linéaires d'ondes de Riemann ainsi que les solutions multisolitoniques. Nous généralisons cette méthode aux systèmes non homogènes quasilinéaires et non elliptiques du premier ordre. Ces méthodes sont appliquées aux équations de la dynamique des fluides en (3+1) dimensions modélisant le flot d'un fluide isentropique. De nouvelles classes de solutions de rang 2 et 3 sont construites et elles incluent des solutions double- et triple-solitoniques. De nouveaux phénomènes non linéaires et linéaires sont établis pour la superposition des ondes de Riemann. Finalement, nous discutons de certains aspects concernant la construction de solutions de rang 2 pour l'équation de Kadomtsev-Petviashvili sans dispersion. / In this work, the conditional symmetry method is adapted in order to construct solutions expressed in terms of Riemann invariants. Nonelliptic quasilinear homogeneous systems of multidimensional partial differential equations of hydrodynamic type are considered. A detailed description of the necessary and sufficient conditions for the local existence of these types of solutions is given. The relationship between the structure of integral elements and the possibility of constructing certain classes of rank-k solutions is discussed. These classes of solutions include nonlinear superpositions of Riemann waves and multisolitonic solutions. This approach is generalized to first-order inhomogeneous hyperbolic quasilinear systems. These methods are applied to the equations describing an isentropic fluid flow in (3+1) dimensions. Several new classes of rank-2 and rank-3 solutions are obtained which contain double and triple solitonic solutions. New nonlinear and linear superpositions of Riemann waves are described. Finally, certain aspects of the construction of rank-2 solutions through an application to the dispersionless Kadomtsev-Petviashvili equation are discussed. Invariants de Riemann Riemann invariants Systèmes de type hydrodynamique Hydrodynamic type systems Méthodes de réductions par symétries Symmetry methods Symétries conditionelles Conditional symmetries Solutions de rang k Rank-k solutions
3	Sur des systèmes dynamiques dissipatifs de type gradient. Applications en Optimisation. Bolte, Jérôme 06 January 2003 (has links) (PDF) L'étude et l'introduction de nouveaux systèmes dynamiques<br /> de type gradient sont l'objet central de cette thèse. Le<br /> caractère dissipatif de telles dynamiques est au coeur de<br /> nombreux domaines en mathématiques : optimisation,<br /> mécanique, équations d'évolutions en dimension infinie.<br /><br />Dans une première partie, les champs de gradients (ou de sous-différentiels<br /> de fonction convexe) sont contrôlés à l'aide d'opérateurs-barrières. <br />La motivation essentielle est d'obtenir<br /> des méthodes intérieures de descente en vue d'optimiser<br /> une fonction sous des contraintes convexes. Le cadre<br /> d'étude proposé permet d'unifier dans un même formalisme de nombreuses<br /> méthodes continues : gradient projeté, plus grande pente riemannienne,<br /> méthode continue de Newton... Parmi les conséquences de <br />la généralisation proposée, on peut, par exemple, évoquer des <br /> résultats abstraits de viabilité et de convergence globale. Toujours <br />dans cette <br />perspective, les fonctions de Legendre jouent un rôle crucial~:<br /> elles permettent d'une part de donner lieu à des structures<br /> riemanniennes possédant de nombreuses propriétés - parmi lesquelles une<br /> propriété d'intégration caractéristique remarquable -, et d'autre part, <br /> elles fournissent en dimension infinie un cadre intéressant<br /> pour l'étude de certaines équations d'évolution de type<br /> parabolique.<br /><br />La deuxième partie est consacrée à l'étude de systèmes<br /> dynamiques du second ordre en temps avec une dissipation géométrique<br /> de type hessien. Outre leur intérêt en optimisation<br /> et leurs liens avec les méthodes de type Newton, ces systèmes<br /> sont d'une grande souplesse et permettent d'approcher certains <br />phénomènes non-lisses en mécanique unilatérale. En guise d'application,<br /> il est en effet prouvé que les systèmes considérés permettent <br />d'obtenir à la limite des dynamiques <br />satisfaisant des lois de chocs inélastiques. Les<br /> perspectives de cette étude ouvrent en particulier la voie à une approche <br />alternative de certains systèmes d'inégalités variationnelles de type <br />hyperbolique.<br /><br /><br />L'une des préoccupations majeures de cette thèse est la question<br /> de la convergence des orbites des systèmes étudiés. Dans le <br /> cadre de la minimisation convexe, quasi-convexe, ou analytique, de nombreux<br /> résultats sont proposés : convergence globale, , <br />vitesse de convergence, contrôle asymptotique, attractivité des <br /> minima sous contraintes en dimension infinie. [MATH] Mathematics systèmes de type gradient inclusions différentielles <br /> analyse asymptotique méthode de Newton continue minimisation convexe <br />chocs inélastiques <br /> gradient-projeté fonctions de Legendre opérateurs barrières équations paraboliques <br /> métriques hessiennes fonctions de Lyapounov méthodes proximales
4	Programming tools for intelligent systems Considine, Breandan 04 1900 (has links) Les outils de programmation sont des programmes informatiques qui aident les humains à programmer des ordinateurs. Les outils sont de toutes formes et tailles, par exemple les éditeurs, les compilateurs, les débogueurs et les profileurs. Chacun de ces outils facilite une tâche principale dans le flux de travail de programmation qui consomme des ressources cognitives lorsqu’il est effectué manuellement. Dans cette thèse, nous explorons plusieurs outils qui facilitent le processus de construction de systèmes intelligents et qui réduisent l’effort cognitif requis pour concevoir, développer, tester et déployer des systèmes logiciels intelligents. Tout d’abord, nous introduisons un environnement de développement intégré (EDI) pour la programmation d’applications Robot Operating System (ROS), appelé Hatchery (Chapter 2). Deuxièmement, nous décrivons Kotlin∇, un système de langage et de type pour la programmation différenciable, un paradigme émergent dans l’apprentissage automatique (Chapter 3). Troisièmement, nous proposons un nouvel algorithme pour tester automatiquement les programmes différenciables, en nous inspirant des techniques de tests contradictoires et métamorphiques (Chapter 4), et démontrons son efficacité empirique dans le cadre de la régression. Quatrièmement, nous explorons une infrastructure de conteneurs basée sur Docker, qui permet un déploiement reproductible des applications ROS sur la plateforme Duckietown (Chapter 5). Enfin, nous réfléchissons à l’état actuel des outils de programmation pour ces applications et spéculons à quoi pourrait ressembler la programmation de systèmes intelligents à l’avenir (Chapter 6). / Programming tools are computer programs which help humans program computers. Tools come in all shapes and forms, from editors and compilers to debuggers and profilers. Each of these tools facilitates a core task in the programming workflow which consumes cognitive resources when performed manually. In this thesis, we explore several tools that facilitate the process of building intelligent systems, and which reduce the cognitive effort required to design, develop, test and deploy intelligent software systems. First, we introduce an integrated development environment (IDE) for programming Robot Operating System (ROS) applications, called Hatchery (Chapter 2). Second, we describe Kotlin∇, a language and type system for differentiable programming, an emerging paradigm in machine learning (Chapter 3). Third, we propose a new algorithm for automatically testing differentiable programs, drawing inspiration from techniques in adversarial and metamorphic testing (Chapter 4), and demonstrate its empirical efficiency in the regression setting. Fourth, we explore a container infrastructure based on Docker, which enables reproducible deployment of ROS applications on the Duckietown platform (Chapter 5). Finally, we reflect on the current state of programming tools for these applications and speculate what intelligent systems programming might look like in the future (Chapter 6). Kotlin Docker Génie logiciel Software engineering Apprentissage automatique Machine learning Mathématiques appliquées Applied mathematics Langages de programmation Programming languages Outils de programmation Programming tools Systèmes de type Type systems Différenciation automatique Automatic differentiation Tests automatisés Automated testing Systémes embarqués Embedded systems Systèmes intelligents Intelligent systems Machines virtuelles Virtual machines ROS Metamorphic testing Programmation différenciable Differentiable programming Programmation probabiliste Probabilistic programming Programmation fonctionnelle Functional programming Compilateurs Compilers Generative modeling Modélisation générative Rétropropagation Backpropagation Fuzzing Test métamorphique Test de propriété Metamorphic testing Property-based testing Analyse statique Static analysis Moteur de production Build automation Intégration continue Continuous integration

1

Page generated in 0.0828 seconds