Développé dans les années 50, le modèle de Skyrme est un modèle efficace à basse énergie qui tente de représenter les noyaux atomiques. Bien qu'intéressant, le modèle original rencontre deux problèmes majeurs : il prédit des énergies de liaison trop élevées pour les noyaux et il leur prête une structure cristalline qui n'est pas observée expérimentalement. Afin de régler ces problèmes, Adam, Sánchez-Guillén et Wereszczynski, en 2010, ont développé le modèle de Skyrme BPS en modifiant le lagrangien du modèle original. Toutefois, leur version ne permet pas de représenter des particules physiques. C'est pour cette raison que le modèle de Skyrme quasi-BPS fut développé par Bonenfant et Marleau en 2010. Le lagrangien du modèle de Skyrme quasi-BPS comprend les termes du modèle de Skyrme original en plus de ceux du modèle de Skyrme BPS, soit des termes d'ordre zéro, deux, quatre, et six en dérivée. En 2018, Bartolini, Bolognesi et Proto proposèrent une façon de générer le lagrangien du modèle de Skyrme quasi-BPS en se basant sur le modèle de Sakai-Sugimoto, qui est une extension holographique de la chromodynamique quantique. Nous tenterons, pour ce projet de recherche, d'utiliser leur méthode afin de générer des termes d'ordre supérieur en dérivée dans le lagrangien. Ainsi, nous souhaitons explorer le parallèle entre le modèle d'élasticité et le modèle de Skyrme proposé par Manton en 1987. / Developed in the 50s, the Skyrme model is a low energy effective model that aims to represent atomic nuclei. Although interesting, the original model bumps into two major problems : it predicts binding energies that are too high compared to experimental results and gives the nuclei crystalline structures that are not observed experimentally. To solve these problems, Adam, Sánchez-Guillén and Wereszczynski, in 2010, developed the BPS Skyrme model by modifying the original lagrangian. However, their version cannot represent real particles. In order to remedy this problem, the q-BPS Skyrme model was developed by Bonenfant and Marleau in 2010. Its lagrangian includes both the terms from the lagrangian of the original Skyrme model and the ones from the lagrangian of the BPS Skyrme model, that is, terms of order 0, 2, 4 and 6 in derivative. In 2018, Bartolini, Bolognesi and Proto proposed a way to generate the q-BPS Skyrme model lagrangian using the Sakai-Sugimoto model, which is a holographic extension of quantum chromodynamics. We will try, for this research project, to generalize their method in order to generate higher order terms in derivative in the q-BPS lagrangian. This way, we hope to explore the parallel between the elasticity theory and the Skyrme model described by Manton in 1987.

Nous nous étudions ici le problème d'Euler avec surface libre sur un fond non plat et dans un régime fortement non linéaire où l'hypothèse de faible amplitude de l'équation de KdV n'est pas vérifiée. On sait que, pour un tel régime, une généralisation de l'équation de KdV peut être dérivée et justifiée lorsque le fond est plat. Nous généralisons ici ces résultats en proposant une nouvelle classe d'équations prenant en compte des topographies variables. Nous démontrons également que ces nouveaux modèles sont bien posés. Nous les étudions aussi numériquement. Ensuite, nous améliorons quelques résultats sur l'existence des équations de Green-Naghdi (GN) dans le cas 1D. Dans le cas de 2D, nous dérivons et étudions un nouveau système de la même précision que les équations de GN usuelles, mais avec un meilleur comportement mathématique.

Nous nous étudions ici le problème d'Euler avec surface libre sur un fond non plat et dans un régime fortement non linéaire où l'hypothèse de faible amplitude de l'équation de KdV n'est pas vérifiée. On sait que, pour un tel régime, une généralisation de l'équation de KdV peut être dérivée et justifiée lorsque le fond est plat. Nous généralisons ici ces résultats en proposant une nouvelle classe d'équations prenant en compte des topographies variables. Nous démontrons également que ces nouveaux modèles sont bien posés. Nous les étudions aussi numériquement. Ensuite, nous améliorons quelques résultats sur l'existence des équations de Green-Naghdi (GN) dans le cas 1D. Dans le cas de 2D, nous dérivons et étudions un nouveau système de la même précision que les équations de GN usuelles, mais avec un meilleur comportement mathématique. / We study here the water-waves problem for uneven bottoms in a highly nonlinear regime where the small amplitude assumption of the KdV equation is enforced. It is known, that for such regimes, a generalization of the KdV equation can be derived and justified when the bottom is flat. We generalize here this result with a new class of equations taking into account variable bottom topographies. We also demonstrate that these new models are well-posed. We then proceed to study them numerically and compare their behavior with the Boussinesq equations over uneven bottoms. Regimes with stronger nonlinearities than the KdV/Boussinesq regime are then investigated. In particular, a variable coefficient generalization of a Camassa-Holm type equation is derived and justified. Wealso study the Green-Naghdi equations that are commonly used in coastal oceanography todescribe the propagation of large amplitude surface waves. We improve previous results on the well posedness of these equations in the case of one dimensional surface waves. In the $2D$ case, we derive and study a new system of the same accuracy as the standard $2D $ Green-Naghdi equations, but with better mathematical behavior.

The Centre d'expertise hydrique du Québec (CEHQ) operates a distributed hydrological model (MOHYSE), which integrates a snow model (SPH-AV), for the management of dams in the south of Québec. It appears that the estimation of the water quantity of snowmelt in spring remains a variable with a large uncertainty. This research aims to evaluate the potential of remote sensing data for the characterization of snow and ultimately to develop methods of integration of satellite data in the snow model for the improvement of the simulations of spring floods. Remote sensing snow cover area (SCA) products (MODIS[subscript SCN] & IMS) are compared with snow depth surveys at Environment Canada stations and initial simulations of the models. Thru these comparisons, an effective method of integration (seuil[subscript ÉEN]) of remote sensing SCA products, based on the hypothesis that satellites can not identify small amount of snow because snow become"dirty" and discontinuous, was developed.The improvement of the Nash coefficient and the root mean square error for spring 2004 to 2007 for the simulations with the approach developed compared with streamflow simulated without remote sensing is 0.11 and 21% on the optimized watershed (du Nord) and 0.13 and 22% on the verification watershed (aux Écorces).The method also relies to improve peaks identification as much as 36% on the du Nord watershed and 19% on the aux Écorces watershed.The study also shows the potential of QSCAT data for the characterization of snow cover. Overall accuracies around 90% are obtained for the detection of melt during the month of April from 2001 to 2007 on both studied watersheds.The relation between the rise of the backscatter coefficient and the snow depth surveys shows good correlation for the 2004 to 2006 years for the Lachute and St-Jérôme stations (0.64 to 0.93), but less interesting results for the St-Hippolyte station (0.29 to 0.73). QSCAT products considering only the descendant orbit give best results.The integration of remote sensing albedo product did not allow improvement in the simulations because of holes in the temporal series caused by cloud cover. Also, the relation between fractional snow cover and snow depth did not show interesting results in an operational context.The study shows the interest to create new remote sensing SCA products more precise on the studied region. Future works should also evaluate the possibility to adapt the seuil[subscript ÉEN] method for a Kalman filter approach. A more spatially extensive study and a better comprehension of the backscatter response in microwaves of the different elements might eventually permit to obtain useful results with QSCAT data.

L'intolérance à l'incertitude est un concept de plus en plus étudié, notamment en lien avec les troubles anxieux. Elle semble associée à plusieurs difficultés rencontrées chez un individu : erreurs de perception, difficulté de résolution de problèmes, réactions physiologiques et cognitives négatives face à une situation problématique. Peu d'études ont toutefois tenté de bien comprendre le construit d'intolérance à l'incertitude et de cerner les facteurs individuels qui y sont associés. L'objectif de la présente thèse consiste à vérifier la présence de liens entre ce construit et certaines caractéristiques de la personnalité. Elle vise aussi à explorer la perception des participants rapportant être intolérants à l'incertitude quant au développement de leur intolérance, son évolution et son incidence familiale. Pour ce faire, 196 adultes ont répondu aux questionnaires de l'étude. Les résultats découlant de corrélations et de régressions hiérarchiques confirment partiellement les hypothèses de la thèse : les traits conscience et ouverture du modèle de la personnalité de McCrae et Costa (1996), ainsi que les traits dépendant et obsessionnel-compulsif du modèle psychopathologique (APA, 2003) prédisent significativement l'intolérance à l'incertitude. Ces résultats amènent des précisions quant à la nature du construit d'intolérance et suggèrent des pistes à approfondir pour son évaluation et son traitement.

Les serveurs Internet sont des logiciels particuliers. Ils doivent répondre aux demandes d'un grand nombre de clients distants, supporter leur évolution et être robustes car ils ne s'arrêtent jamais. Les modèles de concurrence permettent d'entrelacer les traitements d'un grand nombre de clients. Aucun consensus ne se dégage sur un meilleur modèle. Pour s'abstraire du modèle de concurrence, je propose un modèle de développement de serveurs Internet. Les outils de vérification formelle permettent d'accroître la sûreté des logiciels mais il est nécessaire de leur fournir un modèle simple du logiciel. Le modèle de développement que je propose est utilisé pour générer le serveur et son modèle formel. Le décodage d'une requête cliente dépend du modèle de concurrence. Je propose d'utiliser un générateur d'analyseur syntaxique qui s'abstrait de ce problème et automatise le développement du décodage

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

On se propose dans cette thèse de modéliser le système pilote-véhicule dans une tâche de conduite de fauteuils roulants électriques par des personnes handicapées ayant une déficience motrice sévère. L'objectif est double. Il est tout d'abord descriptif au sens où l'on va chercher à mieux comprendre les spécificités de la commande d'un fauteuil électrique par des personnes handicapés moteurs. Le second objectif est normatif : le modèle pilote-fauteuil doit permettre de définir le mode de comportement optimal de la personne dans une situation de conduite donnée. Ceci induit une méthode d'analyse objective du pilotage de fauteuil. Le premier chapitre, bibliographique, porte sur les modèles pilote-véhicule relatés dans la littérature. Le second chapitre décrit la conception et la validation de notre simulateur de conduite en fauteuil électrique. Le troisième et le quatrième portent sur l'application des modèles Crossover et OPCM. Les résultats obtenus montrent que ces deux modèles ont des domaines d'applicabilité complémentaires dans notre contexte d'étude / In this thesis we propose to model the pilot-vehicle system made up of a person with a severe motor disability and of an electric wheelchair. The first goal is descriptive: we try to better understand the specificities of the control of an electrical wheelchair. The second goal is normative: the pilot-wheelchair model should define the optimal control mode of the wheelchair in a given situation. This should induce an objective analysis method of the piloting of the wheelchair. The first chapter of the report is devoted to a bibliographical study related to the various pilot-vehicle models. The second chapter describes the design and the validation of our wheelchair driving simulator. The third and the fourth chapters relate to the application of the Crossover models and the OPCM model. The results obtained show that these two models have complementary fields of application in our context of study

Cette thèse a proposé quelques développements pour améliorer la modélisation appliquée de la mobilité liée à l'activité d'achat de la population d'une agglomération. Pour ce faire, nous nous sommes appuyés sur un schéma de principe du processus de caractérisation de cette mobilité. Dans ce schéma nous avons considéré que cette mobilité est définie au sein d'un ménage en répondant à quatre questions posées simultanément (qui ?, où ?, comment ? et quoi ?). La première partie de cette thèse porte sur les aspects tant qualitatifs que quantitatifs qui doivent apparaître dans le schéma ; la deuxième, sur les outils de modélisation théorique et opérationnelle ; la troisième, sur la construction du schéma proprement dit ; et la quatrième, sur l'utilisation appliquée d'un outil déjà existant. Les contributions principales de notre thèse consistent en l'utilisation d'une approche systémique pour décrire cette mobilité et l'utilisation de techniques peu utilisées actuellement en France / This thesis has aimed to enhance some aspects of the modelling of shopping trips in an urban area. We have used a block diagram to represent the mechanisms used to define this mobility and we have focused on some sides of this problem in a disaggregated approach. In our diagram we have supposed that shopping trips are defined in a household by answering four simultaneous questions (who?, where?, how? and what?). We have started by studying the qualitative and quantitative elements which must appear in our block diagram and we have continued by the study of the existing theoretical and applied modelling tools. We could then build our block diagram, and we have finished by using an existing modelling tool. The main contributions of our work are the use of a systemic approach for the description of this mobility and the use of techniques not common in France

Cette thèse étudie les déterminants des choix de localisation des étudiants en mobilité internationale et des étudiants étrangers. Une analyse globale s’intéresse aux déterminants des migrations estudiantines vers les pays de l’OCDE. En utilisant des méthodes d’estimation présentes dans les travaux sur le commerce international (régressions de Poisson), il apparaît, en plus des déterminants traditionnels liés aux migrations de travailleurs, que la qualité de l’enseignement dans les pays de destinations soit un déterminant fort des migrations estudiantines. Par ailleurs, un effet réseau, par qualification, a été mis en évidence. Une analyse des déterminants appliquée au cas français confirme les résultats de l’étude précédente et met en évidence un effet réseau par âge ainsi qu’une forte sensibilité aux coûts supportés par les étudiants pendant leurs études (prix de l’immobilier…).Cette thèse évalue aussi les impacts macroéconomiques des migrations estudiantines sur l’économie française grâce à un modèle d’équilibre général calculable à générations imbriquées. Accueillir des étudiants internationaux pour les former représente un coût mais ce coût peut être compensé par un accroissement du stock de capital humain de l’économie se traduisant par un taux de croissance du PIB plus important. Néanmoins, l’ampleur des gains dépend de la taille des flux d’étudiants ainsi que de la part des étudiants formés en France qui intègrera le marché du travail français, une fois leurs études accomplies (taux de rétention). Les migrations estudiantines ont aussi un impact sur le financement du régime de retraite français en modifiant le ratio inactifs/actifs. / This thesis investigates the determinants of the localisation of international students and international students. A comprehensive analysis focuses on the determinants of student migration to OECD countries. Using estimation methods present in the literature on international trade (Poisson regressions), it appears, in addition to traditional determinants of migration of workers, that the quality of education in the destination countries is a key determinant of student migrations. Furthermore, a network effect (diaspora effect), by qualification, has been demonstrated. An analysis of determinants applied to the French case confirms the results of the previous study and highlights a network effect by age and a strong sensitivity to the costs borne by students during their studies (rental prices…).This thesis also evaluates the macroeconomic impacts of student migration on the French economy through a computable general equilibrium model with overlapping generations. Educating international students represents a cost but this cost may be offset by an increase in the stock of human capital in the economy resulting in a larger growth rate of the GDP. However, the magnitude of gains depends on the size of the students flows and on the share of the students educated in France who will integrate the French labor market, once their studies are completed (retention rate). The students migrations also have an impact on the financing of French retirement system by modifying the inactive/active ratio.