La figure des corps performants au cirque contemporain

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Identification of behavioral and creational design patterns through dynamic analysis

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Homologie de morse et théorème de la signature

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

The dynamics of sustained reentry in a loop model with discrete gap junction resistance

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Sur un système de deux oscillateurs FitzHugh-Nagumo couplés

Ce mémoire consiste en l’étude du comportement dynamique de deux oscillateurs FitzHugh-Nagumo identiques couplés. Les paramètres considérés sont l’intensité du courant injecté et la force du couplage. Juqu’à cinq solutions stationnaires, dont on analyse la stabilité asymptotique, peuvent co-exister selon les valeurs de ces paramètres. Une analyse de bifurcation, effectuée grâce à des méthodes tant analytiques que numériques, a permis de détecter différents types de bifurcations (point de selle, Hopf, doublement de période, hétéroclinique) émergeant surtout de la variation du paramètre de couplage. Une attention particulière est portée aux conséquences de la symétrie présente dans le système.

La toxoplasmose chez les Inuits : investigation de l'écologie de toxoplasma gondii dans l'Arctique canadien

Toxoplasma gondii, un protozoaire très répandu dans le monde, peut infecter de nombreuses espèces homéothermes incluant les mammifères et les oiseaux qui développent alors une toxoplasmose. L’impact de la toxoplasmose en termes de santé publique est majeur, particulièrement chez les personnes immunodéprimées et les foetus. Les niveaux d’infection humaine dans certaines régions de l’Arctique Canadien sont parmi les plus élevés au monde et ce, malgré l’absence de félidés qui sont les seuls hôtes capables d’excréter T. gondii. Plusieurs études ont suggéré la consommation de viande crue de mammifères marins et notamment de phoques comme source d’infection des Inuits. Notre travail de recherche visait à comprendre les mécanismes de dispersion de T. gondii dans les écosystèmes aquatiques menant à la contamination du milieu marin de l’Arctique par des oocystes, et à évaluer l’importance de cette voie de dispersion dans l’infection des phoques et conséquemment dans celle des Inuits. Notre hypothèse était que les oocystes de T. gondii, excrétés durant l’hiver par des félidés dans le Subarctique et transportés par les rivières pendant la fonte printanière, contaminaient les estuaires de l’Arctique Canadien. Dans un premier temps, une étude transversale de séroprévalence chez les phoques de l’Arctique Canadien a montré que ces populations étaient infectées par T. gondii et pouvaient ainsi a priori constituer une source d’infection pour les Inuit. Des variations spatio-temporelles de la séroprévalence étaient observées suggérant un lien potentiel avec des variations dans la contamination environnementale par les oocystes. Un schéma conceptuel explicitant les mécanismes de transport et de devenir des oocystes de T. gondii, du phénomène de la fonte de la neige jusqu’à l’exposition des organismes marins, a été proposé dans le chapitre suivant. Des interactions entre les différents mécanismes identifiés, qui agissent sur des échelles spatio-temporelles variées, devraient favoriser l’apparition de concentrations relativement élevées aux estuaires permettant ainsi l’exposition et potentiellement l’infection de phoques. Pour évaluer la contamination environnementale par les oocystes excrétés par la population de lynx du bassin versant de l’Arctique Canadien (les seuls félidés majoritairement distribués dans ce vaste territoire), nous avons mené une étude sérologique de type transversale dans cette population. Cette étude a permis de montrer que des lynx étaient infectés par T. gondii et a également suggéré que la dynamique des cycles de populations lynx-lièvres pouvait être un processus important dans la transmission de T. gondii. Finalement, la modélisation du transport hydrique des oocystes a indiqué que les concentrations hypothétiques d’oocystes dans l’eau de la fonte pourraient être suffisantes pour permettre l’exposition au niveau des estuaires de bivalves filtreurs, qui sont des proies pour les phoques et donc potentiellement des sources infectieuses pour ces derniers. Dans des écosystèmes nordiques en pleine mutation, la compréhension des mécanismes de transmission d’agents pathogènes d’origine hydrique comme T. gondii est plus que nécessaire, notamment dans le but de protéger les populations fragilisées de ces régions.

Evaluating Design Decay during Software Evolution

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues dans le code. Lorsque ces logiciels évoluent, leurs architectures ont tendance à se dégrader avec le temps et deviennent moins adaptables aux nouvelles spécifications des utilisateurs. Elles deviennent plus complexes et plus difficiles à maintenir. Dans certains cas, les développeurs préfèrent refaire la conception de ces architectures à partir du zéro plutôt que de prolonger la durée de leurs vies, ce qui engendre une augmentation importante des coûts de développement et de maintenance. Par conséquent, les développeurs doivent comprendre les facteurs qui conduisent à la dégradation des architectures, pour prendre des mesures proactives qui facilitent les futurs changements et ralentissent leur dégradation. La dégradation des architectures se produit lorsque des développeurs qui ne comprennent pas la conception originale du logiciel apportent des changements au logiciel. D'une part, faire des changements sans comprendre leurs impacts peut conduire à l'introduction de bogues et à la retraite prématurée du logiciel. D'autre part, les développeurs qui manquent de connaissances et–ou d'expérience dans la résolution d'un problème de conception peuvent introduire des défauts de conception. Ces défauts ont pour conséquence de rendre les logiciels plus difficiles à maintenir et évoluer. Par conséquent, les développeurs ont besoin de mécanismes pour comprendre l'impact d'un changement sur le reste du logiciel et d'outils pour détecter les défauts de conception afin de les corriger. Dans le cadre de cette thèse, nous proposons trois principales contributions. La première contribution concerne l'évaluation de la dégradation des architectures logicielles. Cette évaluation consiste à utiliser une technique d’appariement de diagrammes, tels que les diagrammes de classes, pour identifier les changements structurels entre plusieurs versions d'une architecture logicielle. Cette étape nécessite l'identification des renommages de classes. Par conséquent, la première étape de notre approche consiste à identifier les renommages de classes durant l'évolution de l'architecture logicielle. Ensuite, la deuxième étape consiste à faire l'appariement de plusieurs versions d'une architecture pour identifier ses parties stables et celles qui sont en dégradation. Nous proposons des algorithmes de bit-vecteur et de clustering pour analyser la correspondance entre plusieurs versions d'une architecture. La troisième étape consiste à mesurer la dégradation de l'architecture durant l'évolution du logiciel. Nous proposons un ensemble de m´etriques sur les parties stables du logiciel, pour évaluer cette dégradation. La deuxième contribution est liée à l'analyse de l'impact des changements dans un logiciel. Dans ce contexte, nous présentons une nouvelle métaphore inspirée de la séismologie pour identifier l'impact des changements. Notre approche considère un changement à une classe comme un tremblement de terre qui se propage dans le logiciel à travers une longue chaîne de classes intermédiaires. Notre approche combine l'analyse de dépendances structurelles des classes et l'analyse de leur historique (les relations de co-changement) afin de mesurer l'ampleur de la propagation du changement dans le logiciel, i.e., comment un changement se propage à partir de la classe modifiée è d'autres classes du logiciel. La troisième contribution concerne la détection des défauts de conception. Nous proposons une métaphore inspirée du système immunitaire naturel. Comme toute créature vivante, la conception de systèmes est exposée aux maladies, qui sont des défauts de conception. Les approches de détection sont des mécanismes de défense pour les conception des systèmes. Un système immunitaire naturel peut détecter des pathogènes similaires avec une bonne précision. Cette bonne précision a inspiré une famille d'algorithmes de classification, appelés systèmes immunitaires artificiels (AIS), que nous utilisions pour détecter les défauts de conception. Les différentes contributions ont été évaluées sur des logiciels libres orientés objets et les résultats obtenus nous permettent de formuler les conclusions suivantes: • Les métriques Tunnel Triplets Metric (TTM) et Common Triplets Metric (CTM), fournissent aux développeurs de bons indices sur la dégradation de l'architecture. La d´ecroissance de TTM indique que la conception originale de l'architecture s’est dégradée. La stabilité de TTM indique la stabilité de la conception originale, ce qui signifie que le système est adapté aux nouvelles spécifications des utilisateurs. • La séismologie est une métaphore intéressante pour l'analyse de l'impact des changements. En effet, les changements se propagent dans les systèmes comme les tremblements de terre. L'impact d'un changement est plus important autour de la classe qui change et diminue progressivement avec la distance à cette classe. Notre approche aide les développeurs à identifier l'impact d'un changement. • Le système immunitaire est une métaphore intéressante pour la détection des défauts de conception. Les résultats des expériences ont montré que la précision et le rappel de notre approche sont comparables ou supérieurs à ceux des approches existantes.

Novel non phospholipid liposomes with high sterol content : development and characterization

Les liposomes sont des nanovecteurs polyvalents et prometteurs quant à leur utilisation dans plusieurs domaines. Il y a une décennie, un nouveau type de liposome constitué d’amphiphiles monoalkylés et de stérols est né fortuitement dans notre groupe. Ils sont nommés Stérosomes puisqu’ils contiennent une grande proportion de stérols, entre 50 et 70 mol %. Les objectifs de cette thèse sont de développer de nouvelles formulations de Stérosomes ayant des caractéristiques spécifiques et d’acquérir une compréhension plus profonde des règles physicochimiques qui dictent leur comportement de phase. Nous avons spécifiquement examiné le rôle de motifs moléculaires des stérols, de la charge interfaciale et de la capacité à former des liaisons H dans les interactions intermoléculaires menant à l’autoassemblage. Le comportement de phase a été caractérisé par calorimétrie différentielle à balayage (DSC), par spectroscopie infrarouge (IR) et par spectroscopie de résonance magnétique nucléaire du deutérium (²H NMR). Premièrement, nous avons établi certaines corrélations entre la structure des stérols, leur tendance à former des bicouches fluides en présence d'amphiphile monoalkylé et la perméabilité des grandes vésicules unilamellaires (LUV) formées. La nature des stérols module les propriétés de mélange avec de l’acide palmitique (PA). Les stérols portant une chaîne volumineuse en position C17 sont moins aptes à induire des bicouches fluides que ceux qui ont une chaîne plus simple, comme celle du cholestérol. Un grand ordre de la chaîne alkyle de PA est un effet commun à tous les stérols investigués. Il a été démontré que la perméabilité des LUV peut être contrôlée en utilisant des stérols différents. Cependant, ces stérols n’ont aucun impact significatif sur la sensibilité des Stérosomes au pH. Afin de créer des liposomes qui sont sensibles au pH et qui ont une charge positive à la surface, des Stérosomes composés de stéarylamine et de cholestérol (Chol) ont été conçus et caractérisés. Il a été conclu que l’état de protonation de l’amine, dans ce travail, ou du groupe carboxylique, dans un travail précédent, confère une sensibilité au pH et détermine la charge à la surface du liposome. Les premiers Stérosomes complètement neutres ont été fabriqués en utilisant un réseau de fortes liaisons H intermoléculaires. Le groupe sulfoxyde est capable de former de fortes liaisons H avec le cholestérol et les molécules d’eau. Une bicouche fluide métastable a été obtenue, à la température de la pièce, à partir d'un mélange équimolaire d’octadécyl méthyl sulfoxyde (OMSO) et de Chol. Ce comportement distinct a permis d’extruder le mélange pour former des LUV à la température de la pièce. Après 30 h, le temps de vie de la phase métastable, des Stérosomes stables et imperméables existaient toujours sous une forme solide. Un diagramme de température-composition a été proposé afin de résumer le comportement de phase des mélanges d’OMSO/Chol. Finalement, nous avons élaboré des Stérosomes furtifs en incorporant du polyéthylène glycol (PEG) avec une ancre de cholestérol (PEG-Chol) à l’interface de Stérosomes de PA/Chol. Jusqu’à 20 mol % de PEG-Chol peut être introduit sans perturber la structure de la bicouche. La présence du PEG-Chol n’a aucun impact significatif sur la perméabilité de la LUV. L'encapsulation active de la doxorubicine, un médicament contre le cancer, a été réalisée malgré la faible perméabilité de ces LUV et la présence du PEG à l’interface. L’inclusion de PEG a modifié considérablement les propriétés de l’interface et a diminué la libération induite par la variation de pH observée avec des LUV nues de PA/Chol. Cette formulation inédite est potentiellement utile pour l’administration intraveineuse de médicaments.

Étude numérique des origines hémodynamiques des oscillations dans des réseaux de capillaires

En simulant l’écoulement du sang dans un réseau de capillaires (en l’absence de contrôle biologique), il est possible d’observer la présence d’oscillations de certains paramètres comme le débit volumique, la pression et l’hématocrite (volume des globules rouges par rapport au volume du sang total). Ce comportement semble être en concordance avec certaines expériences in vivo. Malgré cet accord, il faut se demander si les fluctuations observées lors des simulations de l’écoulement sont physiques, numériques ou un artefact de modèles irréalistes puisqu’il existe toujours des différences entre des modélisations et des expériences in vivo. Pour répondre à cette question de façon satisfaisante, nous étudierons et analyserons l’écoulement du sang ainsi que la nature des oscillations observées dans quelques réseaux de capillaires utilisant un modèle convectif et un modèle moyenné pour décrire les équations de conservation de masse des globules rouges. Ces modèles tiennent compte de deux effets rhéologiques importants : l’effet Fåhraeus-Lindqvist décrivant la viscosité apparente dans un vaisseau et l’effet de séparation de phase schématisant la distribution des globules rouges aux points de bifurcation. Pour décrire ce dernier effet, deux lois de séparation de phase (les lois de Pries et al. et de Fenton et al.) seront étudiées et comparées. Dans ce mémoire, nous présenterons une description du problème physiologique (rhéologie du sang). Nous montrerons les modèles mathématiques employés (moyenné et convectif) ainsi que les lois de séparation de phase (Pries et al. et Fenton et al.) accompagnés d’une analyse des schémas numériques implémentés. Pour le modèle moyenné, nous employons le schéma numérique explicite traditionnel d’Euler ainsi qu’un nouveau schéma implicite qui permet de résoudre ce problème d’une manière efficace. Ceci est fait en utilisant une méthode de Newton- Krylov avec gradient conjugué préconditionné et la méthode de GMRES pour les itérations intérieures ainsi qu’une méthode quasi-Newton (la méthode de Broyden). Cette méthode inclura le schéma implicite d’Euler et la méthode des trapèzes. Pour le schéma convectif, la méthode explicite de Kiani et al. sera implémentée ainsi qu’une nouvelle approche implicite. La stabilité des deux modèles sera également explorée. À l’aide de trois différentes topologies, nous comparerons les résultats de ces deux modèles mathématiques ainsi que les lois de séparation de phase afin de déterminer dans quelle mesure les oscillations observées peuvent être attribuables au choix des modèles mathématiques ou au choix des méthodes numériques.

Détection et caractérisation de naines brunes et exoplanètes avec un filtre accordable pour applications dans l'espace

Cette thèse porte sur la capacité à détecter des compagnons de faible intensité en présence de bruit de tavelures dans le contexte de l’imagerie à haute gamme dynamique pour l’astronomie spatiale. On s’intéressera plus particulièrement à l’imagerie spectrale différentielle (ISD) obtenue en utilisant un étalon Fabry-Pérot comme filtre accordable. Les performances d’un tel filtre accordable sont présentées dans le cadre du Tunable Filter Imager (TFI), instrument conçu pour le télescope spatial James Webb (JWST). La capacité de l’étalon à supprimer les tavelures avec ISD est démontrée expérimentalement grâce à un prototype de l’étalon installé sur un banc de laboratoire. Les améliorations de contraste varient en fonction de la séparation, s’étendant d’un facteur 10 pour les séparations supérieures à 11 lambda/D jusqu’à un facteur 60 à 5 lambda/D. Ces résultats sont cohérents avec une étude théorique qui utilise un modèle basé sur la propagation de Fresnel pour montrer que les performances de suppression de tavelures sont limitées par le banc optique et non pas par l’étalon. De plus, il est démontré qu’un filtre accordable est une option séduisante pour l’imagerie à haute gamme dynamique combinée à la technique ISD. Une seconde étude basée sur la propagation de Fresnel de l’instrument TFI et du télescope, a permis de définir les performances de la technique ISD combinée avec un étalon pour l’astronomie spatiale. Les résultats prévoient une amélioration de contraste de l’ordre de 7 jusqu’à 100, selon la configuration de l’instrument. Une comparaison entre ISD et la soustraction par rotation a également été simulée. Enfin, la dernière partie de ce chapitre porte sur les performances de la technique ISD dans le cadre de l’instrument Near-Infrared Imager and Slitless Spectrograph (NIRISS), conçu pour remplacer TFI comme module scientifique à bord du Fine Guidance Sensor du JWST. Cent quatre objets localisés vers la région centrale de la nébuleuse d’Orion ont été caractérisés grâce à un spectrographe multi-objet, de basse résolution et multi-bande (0.85-2.4 um). Cette étude a relevé 7 nouvelles naines brunes et 4 nouveaux candidats de masse planétaire. Ces objets sont utiles pour déterminer la fonction de masse initiale sous-stellaire et pour évaluer les modèles atmosphériques et évolutifs futurs des jeunes objets stellaires et sous-stellaires. Combinant les magnitudes en bande H mesurées et les valeurs d’extinction, les objets classifiés sont utilisés pour créer un diagramme de Hertzsprung-Russell de cet amas stellaire. En accord avec des études antérieures, nos résultats montrent qu’il existe une seule époque de formation d’étoiles qui a débuté il y a environ 1 million d’années. La fonction de masse initiale qui en dérive est en accord avec des études antérieures portant sur d’autres amas jeunes et sur le disque galactique.

Étude DFT+U des phases structurales du La2CuO4

Ce mémoire traite des propriétés du La2CuO4 dopé en trous, le premier supraconducteur à haute température critique ayant été découvert. Les différentes phases électroniques du cristal y seront présentées, ainsi que le diagramme de phases en dopage de ce matériau. Les trois structures dans lesquelles on peut retrouver ce cristal seront décrites en détail, et leurs liens présumés avec les phases électroniques seront présentés. Il s’en suivra une étude utilisant la théorie de la fonctionnelle de la densité combinée au modèle de Hubbard (DFT+U) des différentes phases structurales, en plus des phases antiferromagnétiques et paramagnétiques. L’effet de la corrélation électronique sur la structure cristalline sera également étudié par l’intermédiaire du paramètre de Hubbard. Le but sera de vérifier si la DFT+U reproduit bien le diagramme de phases expérimentales, et sous quelles conditions. Une étude des effets de l’inclinaison des octaèdres d’oxygène sur la structure électronique sera également présentée.

Les bifurcations dans les parcours scolaires des étudiants universitaires québécois

L’objectif de ce mémoire est de proposer une analyse descriptive et explicative des bifurcations scolaires. Si plusieurs chercheurs ont noté la fréquence élevée des réorientations au cours des études postsecondaires au Québec, aucun d’entre eux ne s’est intéressé aux réorientations scolaires radicales et imprévisibles, qui peuvent être désignées par le terme de bifurcation. En s’appuyant principalement sur l’analyse d’une série d’entretiens auprès d’individus ayant vécu une réorientation scolaire au cours de leurs études supérieures, cette recherche explore les faces objectives et subjectives de ces réorientations, les différentes étapes traversées au cours du processus de réorientation, les différentes ressources mobilisées par les étudiants afin de faciliter sa réalisation, ainsi que les différentes raisons pour lesquelles les étudiants bifurquent. L’analyse descriptive montre le rôle décisif de la souplesse de fonctionnement et des ressources des institutions d’enseignement postsecondaire, tandis qu’elle tend à minorer le rôle joué par l’entourage des étudiants, et particulièrement de leurs parents. L’analyse explicative fait apparaitre deux modèles distincts de bifurcation: le modèle de la rectification, dans lequel les étudiants se réorientent vers un programme qui correspond davantage à leurs valeurs; et celui de la rétroaction, dans lequel ils se réorientent vers un domaine pour lequel ils avaient déjà de l’intérêt. In fine, ce mémoire conduit à marquer une distinction entre bifurcation et réorientation stratégique, et à nuancer l’utilisation des critères de radicalité et d’imprévisibilité pour définir les bifurcations scolaires dans la mesure où des conciliations ou des retours sur des centres d’intérêt antérieurs sont souvent possibles.

Complexe de Morse et bifurcations

Soit une famille de couples (ft,Xt)t∈J , où J est un intervalle, ft est une fonction lisse à valeurs réelles définie sur une variété lisse et compacte V , et Xt est un pseudo-gradient associé à la fonction ft. L’objet de ce mémoire est l’étude des bifurcations subies par les complexes de Morse associés à ces couples. Deux approches sont utilisées : l’étude directe des bifurcations et l’approche par homotopie. On montre que finalement ces deux approches permettent d’obtenir les mêmes résultats d’un point de vue fonctoriel.

Analyse foucaldienne du dispositif policier à l'ère des manifestations altermondialistes et assembléistes

Cette thèse poursuit la réflexion de Foucault sur les « sociétés de sécurité » en abordant le thème de l’inflexion des (in)conduites des « sujets interstitiels » : les individus qui s’inscrivent en marge du pouvoir politique et qui par leurs revendications et leurs présences suscitent des inquiétudes, provoquent des dérangements. Plus précisément, elle interroge l’histoire de la police et les stratégies de gestion des manifestations pour dégager les facteurs menant, dans la foulée des grandes mobilisations altermondialistes, à l’adoption de l’incapacitation stratégique. Sur le plan méthodologique et théorique, elle convoque les réflexions de Foucault sur la police, la loi et la communication pour élaborer un cadre à partir duquel les travaux des sociologues des manifestations et des historiens de la police, portant sur l’évolution du contrôle des foules, seront interrogés dans l’objectif de dégager les tendances « lourdes » et la rationalité policière (et étatique) marquant le maintien de l’ordre contemporain. De même, elle examine des lois encadrant les manifestations pour mettre en lumière que celles-ci sont le fruit de tactiques permettant d’accroître la puissance d’action de leurs « convocateurs ». En parallèle à cette réflexion sur les caractéristiques de la ratio sécuritaire actuelle et sur les tactiques de contrôle, cette thèse identifie les principaux objets utilisés pour circonscrire les pratiques manifestantes afin d’en dégager leurs « fonctions », mais aussi, de relever les indices permettant de schématiser les relations constitutives du dispositif policier. Ainsi, en plus de réaliser une « analytique du présent », cette thèse explicite un diagramme de pouvoir.

Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques.

Nous proposons une approche d’extraction des diagrammes de séquence à partir de programmes orientés objets en combinant l’analyse statique et dynamique. Notre objectif est d’extraire des diagrammes compacts mais contenant le plus d’informations possible pour faciliter la compréhension du comportement d’un programme. Pour cette finalité, nous avons défini un ensemble d’heuristiques pour filtrer les événements d’exécution les moins importants et extraire les structures de contrôles comme les boucles et la récursivité. Nous groupons aussi les objets en nous basant sur leurs types respectifs. Pour tenir compte des variations d’un même scénario, notre approche utilise plusieurs traces d’exécution et les aligne pour couvrir le plus possible le comportement du programme. Notre approche a été évaluée sur un système de simulation d’ATM. L’étude de cas montre que notre approche produit des diagrammes de séquence concis et informatifs.