Dans l'industrie, l'objectif est de remplacer certains essais expérimentaux très coûteux par des simulations numériques. Cependant, peut-on faire confiance à la simulation numérique? C'est l'objet de la thématique de recherche appelée "vérification". Elle a pour but d'estimer l'erreur commise entre la solution du modèle mathématique et celle fournie par un modèle numérique. De plus, pour le dimensionnement de structures, l'ingénieur requiert que cet estimateur d'erreur soit garanti, c'est à dire qu'il majore l'erreur réelle, et qu'il soit pertinent, c'est à dire qu'il soit proche de l'erreur réelle. Les travaux présentés ici consistent tout d'abord à prouver la faisabilité de la méthode d'obtention de bornes garanties de l'erreur sur une quantité d'intérêt dans le cadre de la dynamique transitoire. Cette méthode est basée sur le concept d'erreur en relation de comportement et la résolution d'un problème adjoint. Dans un deuxième temps, différentes stratégies sont développées afin d'améliorer la pertinence de l'estimateur d'erreur locale. Enfin, cette méthode est étendue aux quantités d'intérêt ponctuelles. La difficulté majeure réside dans la résolution du problème adjoint dont le chargement est singulier. Pour cela, nous avons choisi de décomposer la solution en une partie analytique, déterminée à partir des fonctions de Green de dynamique, et d'une partie numérique, déterminée à l'aide de la méthode des éléments finis et d'un schéma d'intégration temporel. Tous ces aspects visant à mettre en place les premières bornes garanties et pertinentes de l'erreur sur une quantité d'intérêt en dynamique, sont illustrés et validés sur des exemples numériques en 2D.

Le problème d’oscillation de fluides dans un conteneur est un problème classique d’hydrodynamique qui est etudié par des mathématiciens et ingénieurs depuis plus de 150 ans. Le présent travail est lié à l’étude de l’alternance des fonctions propres paires et impaires du problème de Steklov-Neumann pour les domaines à deux dimensions ayant une forme symétrique. On obtient des résultats sur la parité de deuxième et troisième fonctions propres d’un tel problème pour les trois premiers modes, dans le cas de domaines symétriques arbitraires. On étudie aussi la simplicité de deux premières valeurs propres non nulles d’un tel problème. Il existe nombre d’hypothèses voulant que pour le cas des domaines symétriques, toutes les valeurs propres sont simples. Il y a des résultats de Kozlov, Kuznetsov et Motygin [1] sur la simplicité de la première valeur propre non nulle obtenue pour les domaines satisfaisants la condition de John. Dans ce travail, il est montré que pour les domaines symétriques, la deuxième valeur propre non-nulle du problème de Steklov-Neumann est aussi simple. / The study of liquid sloshing in a container is a classical problem of hydrodynamics that has been actively investigated by mathematicians and engineers over the past 150 years. The present thesis is concerned with the properties of eigenfunctions of the two-dimensional sloshing problem on axially symmetric planar domains. Here the axis of symmetry is assumed to be orthogonal to the free surface of the fluid. In particular, we show that the second and the third eigenfunctions of such a problem are, respectively, odd and even with respect to the axial symmetry. There is a well-known conjecture that all eigenvalues of the two-dimensional sloshing problem are simple. Kozlov, Kuznetsov and Motygin [1] proved the simplicity of the first non-zero eigenvalue for domains satisfying the John's condition. In the thesis we show that for axially symmetric planar domains, the first two non-zero eigenvalues of the sloshing problem are simple.

Cette thèse est divisée en trois parties. Dans une première partie, on donne une description nouvelle des points récurrents par chaînes d'un système dynamique comme ensemble d'Aubry projeté d'une barrière ultramétrique. Cette approche permet de munir l'ensemble des composantes transitives par chaînes d'une structure d'espace ultramétrique expliquant leur topologie totalement discontinue, et de retrouver un théorème célèbre de Charles Conley concernant l'existence de fonctions de Lyapunov décroissant strictement le long des orbites non-récurrentes par chaînes. Dans une deuxième partie, on développe une théorie d'Aubry-Mather pour les homéomorphismes d'un espace métrique compact. On introduit dans ce cadre un ensemble d'Aubry métrique, puis topologique, ainsi qu'un ensemble de Mañé. Ces notions, plus fines que la récurrence par chaînes, permettent de mieux comprendre les fonctions de Lyapunov d'un tel système dynamique. Dans une dernière partie, on montre un résultat général de densité de certains contre-exemples au théorème de Sard pour lesquels l'ensemble des points critiques est un arc topologique et on donne des applications dynamiques de ce résultat. Celles-ci sont liées à des problèmes d'unicité, à constantes près, des solutions KAM faibles (ou solutions de viscosité) de certaines équations d'Hamilton-Jacobi.

La classification des images est aujourd'hui un défi d'une grande ampleur puisque ça concerne d'un côté les millions voir des milliards d'images qui se trouvent partout sur le web et d'autre part des images pour des applications temps réel critiques. Cette classification fait appel en général à des méthodes d'apprentissage et à des classifieurs qui doivent répondre à la fois à la précision ainsi qu'à la rapidité. Ces problèmes d'apprentissage touchent aujourd'hui un grand nombre de domaines d'applications: à savoir, le web (profiling, ciblage, réseaux sociaux, moteurs de recherche), les "Big Data" et bien évidemment la vision par ordinateur tel que la reconnaissance d'objets et la classification des images. La présente thèse se situe dans cette dernière catégorie et présente des algorithmes d'apprentissage supervisé basés sur la minimisation de fonctions de perte (erreur) dites "calibrées" pour deux types de classifieurs: k-Plus Proches voisins (kNN) et classifieurs linéaires. Ces méthodes d'apprentissage ont été testées sur de grandes bases d'images et appliquées par la suite à des images biomédicales. Ainsi, cette thèse reformule dans une première étape un algorithme de Boosting des kNN et présente ensuite une deuxième méthode d'apprentissage de ces classifieurs NN mais avec une approche de descente de Newton pour une convergence plus rapide. Dans une seconde partie, cette thèse introduit un nouvel algorithme d'apprentissage par descente stochastique de Newton pour les classifieurs linéaires connus pour leur simplicité et leur rapidité de calcul. Enfin, ces trois méthodes ont été utilisées dans une application médicale qui concerne la classification de cellules en biologie et en pathologie.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Nous avons étudié le développement du raisonnement par analogie. La conception traditionnelle de ce développement est qu'il dépend de l'accroissement des connaissances des enfants (Gentner, 1983, 1988 ; Goswami & Brown, 1989, 1990). Nous l'avons abordé sous l'angle du développement des fonctions exécutives, en particulier - de la composante d'inhibition. La capacité d'inhibition permet la suppression des informations saillantes mais non pertinentes pour faire l'analogie. Elle est requise lors de la recherche de la solution analogique. Neuf études ont été réalisées dans le cadre de cette thèse. Nous avons utilisé une tâche classique d'analogie du type A : B :: C : ?. Le rôle de la capacité d'inhibition a été testé par la présence de distracteurs perceptifs ou sémantiques qui entrent en compétition avec la solution analogique. Ils doivent être inhibés lors de sa recherche. Les résultats montrent que les informations saillantes mais non pertinentes pour trouver la solution analogique interfèrent avec sa découverte ou sa construction. Par conséquent, les performances des enfants à la tâche d'analogie dépendraient du degré de développement de leurs fonctions exécutives. Ces résultats sont compatibles avec les résultats de Richland, Morrison & Holyoak (2006) qui expliquent les performances des enfants à une tâche d'analogie par les limitations dans leur fonctionnement exécutif.

Dans la conception basée sur des modèles on construit un modèle mathématique du système que l'on utilise pour concevoir le système de sorte qu'il présente les propriétés souhaitées. Pour les systèmes de sûreté critique, il peut être d'une importance capitale de vérifier ces propriétés de sûreté sur le modèle, par exemple, pour tenir compte des variations des paramètres. Le calcul d'un nombre fini de comportements du système par le biais de simulation ne suffit pas à garantir des propriétés de sécurité. Avec une analyse d'atteignabilité on peut calculer une couverture de tous les comportements possibles du système, possiblement infinis. Cette analyse peut prendre en compte de non-déterminisme dans le modèle et peut garantir des propriétés de sécurité. Les systèmes d'intérêt présentent souvent à la fois un comportement continu et discret et de tels systèmes sont appelés systèmes hybrides. Le calcul d'atteignabilité est considéré comme difficile pour les systèmes continus et hybrides. Ce n'est que récemment que des méthodes pour le calcul d'accessibilité ont été développées qui peuvent être mis à l'échèlle. Ils sont basés sur des représentations implicites d'ensembles continus à l'aide du concepte mathématique de la fonction de support. Dans cette thèse, nous développons un outil extensible appelé SpaceEx pour le calcul d'atteignabilité des systèmes hybrides. Deux algorithmes d'atteignabilité ont été mis en œuvre dans SpaceEx, l'un basé sur l'outil PHAVer pour les automates linéaires hybrides et l'autre basé sur les fonctions de support pour les dynamiques affines par morceaux. L'algorithme de fonction support a été mis au point et sa mise à l'échelle a été amélioré en basculant entre différentes représentations d'ensembles continus. Nous proposons un algorithme de calcul d'image des transition discrètes amélioré qui réduit l'erreur de sur-approximation et nous illustrons sa précision et son efficacité avec plusieurs études de cas.

Ce mémoire d'HDR concerne l'étude des systèmes non linéaires en théorie du contrôle par les fonctions de Lyapunov. On y étudie notamment l'observation en temps fini, la stabilisation des systèmes homogènes, l'obstruction topologique, le contrôle du flux magnétique dans les plasmas de tokamak et les équations de Schrödinger d'ordre supérieur.

D'abord, on étudie trois façons d'associer une C*-algèbre à une transformation continue. Ensuite, nousdonnons une nouvelle définition de l'entropie. Nous trouvons des relations entre les états KMS des algèbrespréalablement définies et les états d'équilibre, donné par un principe variationnel. Dans la seconde partie,nous étudions les algèbres de Kajiwara-Watatani associées à un système des fonctions itérées. Nouscomparons ces algèbres avec l'algèbre de Cuntz et le produit croisé. Enfin, nous étudions les états KMS desalgèbres de Kajiwara-Watatani pour les actions provenant d'un potentiel et nous trouvouns des relationsentre ces états et les mesures trouvée dans une version de le théorème de Ruelle-Perron-Frobenius pour lessystèmes de fonctions itérées.