DECOR : détection et correction des défauts dans les systèmes orientés objet

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

Sociétés rurales et développement durable : transformations récentes des agricultures, stratégies paysannes et soutenabilité des systèmes ruraux en Afrique sahélo-soudanienne : cas du département de Bignona (Sénégal méridional)

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

Construction de méthodes de volumes finis tridimensionnelles sans solveur de Riemann pour les systèmes hyperboliques non-linéaires

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Vers une symbiose de la composition et de l'improvisation dans cinq oeuvres de musique de concert

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.

Les systèmes super intégrables d’ordre trois séparables en coordonnées paraboliques

Ce mémoire est une poursuite de l’étude de la superintégrabilité classique et quantique dans un espace euclidien de dimension deux avec une intégrale du mouvement d’ordre trois. Il est constitué d’un article. Puisque les classifications de tous les Hamiltoniens séparables en coordonnées cartésiennes et polaires sont déjà complétées, nous apportons à ce tableau l’étude de ces systèmes séparables en coordonnées paraboliques. Premièrement, nous dérivons les équations déterminantes d’un système en coordonnées paraboliques et ensuite nous résolvons les équations obtenues afin de trouver les intégrales d’ordre trois pour un potentiel qui permet la séparation en coordonnées paraboliques. Finalement, nous démontrons que toutes les intégrales d’ordre trois pour les potentiels séparables en coordonnées paraboliques dans l’espace euclidien de dimension deux sont réductibles. Dans la conclusion de l’article nous analysons les différences entre les potentiels séparables en coordonnées cartésiennes et polaires d’un côté et en coordonnées paraboliques d’une autre côté. Mots clés: intégrabilité, superintégrabilité, mécanique classique, mécanique quantique, Hamiltonien, séparation de variable, commutation.

Présence de la musique haïtienne dans la radio locale en Haïti : enjeux et perspective

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

L'éducation civique par l'enseignement de la musique chez Aristote

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

Les scènes de musique dans les tombes privées de l'Égypte ancienne : étude d'un mode de représentation

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

Démographie, histoire familiale et systèmes de valeurs de grands-parents en France

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

La durabilité de deux systèmes intégrés d'agriculture et d'aquaculture adoptés dans le delta du Mékong au Vietnam : étude de cas

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

Étude de phase des systèmes Ni/Si-endommagé et Ni/a-Si, par XRD résolue en temps et nanocalorimétrie

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

L'efficacité de la gestion des ressources humaines en contexte de gestion de projet de systèmes d'information

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

L'utilisation de la musique comme support de nouveaux apprentissages dans le vieillissement normal et la maladie d'Alzheimer

L’objectif de ce travail de thèse est d’évaluer le potentiel de la musique comme support mnémotechnique pour l’acquisition de nouvelles informations chez des personnes âgées saines et atteintes de la maladie d’Alzheimer (MA). Les bénéfices de la musique sur la cognition ont souvent été mis en évidence, y compris chez des populations âgées ou atteintes de démence. Parallèlement, chez des sujets jeunes, l’idée que la musique peut servir de support pour la mémoire a été largement débattue. Pourtant, très peu d’études ont posé cette question auprès de populations âgées ou dans la démence, malgré le besoin persistant de stratégies d’intervention dans ce domaine. Dans le présent travail, deux études sont menées dans une cohorte de 8 participants atteints d’un stade léger de la maladie d’Alzheimer, et 7 participants âgés sains appariés en âge et niveau de scolarité. La première étude porte sur la mémoire verbale, et compare l’apprentissage et la rétention de paroles (textes inconnus) présentées de manière récitée ou chantée. Lorsque les paroles sont chantées, différents degrés de familiarité de la mélodie sont contrastés. Aussi, l’action motrice étant intimement liée à l’écoute musicale, nous contrastons deux procédures d’apprentissage impliquant (ou non) la production synchronisée des paroles à mémoriser pendant l’encodage : le participant est invité à chanter à l’unisson avec un modèle (ou à écouter simplement sans chanter). Les résultats de cette étude sont présentés et discutés dans les deux premiers articles de la partie expérimentale. Ils suggèrent globalement que la musique n’aide pas l’apprentissage en rappel immédiat ; un effet délétère est même observé lorsque la mélodie utilisée est non familière. Par contre, la musique favorise la rétention à long terme des paroles, principalement pour les participants MA. Elle ne semble cependant pas interagir avec la procédure d’apprentissage impliquant le chant à l’unisson. La seconde étude porte sur l’apprentissage de séquences de gestes. Suivant la même logique que dans la première étude, nous explorons l’influence d’un accompagnement musical (versus apprentissage en silence) et d’une procédure d’apprentissage avec production synchronisée (versus observation) des gestes durant l’encodage. Les résultats (article 3) ne montrent pas non plus d’interaction entre l’accompagnement et la procédure d’apprentissage, mais différents effets de chaque composante sur les deux groupes de participants. Effectuer les gestes en synchronie avec un modèle lors de l’encodage est bénéfique pour les sujets Contrôles, mais plutôt délétère pour les participants MA. Par contre, l’accompagnement musical favorise davantage l’apprentissage chez les sujet MA que chez les Contrôles. En discussion générale, nous discutons les implications de ces résultats pour la neuropsychologie fondamentale et clinique, et proposons notamment différentes recommandations visant à maximiser ces effets et à les rendre pertinents pour l’usage thérapeutique en stimulation cognitive.

Caractérisation et délétion de tous les systèmes d'adhésion connus de Salmonella enterica sérovar Typhi

Les fimbriae sont des structures protéiques extracellulaires retrouvées chez une vaste diversité de bactéries. Ces structures ont fait l’objet de nombreuses études et sont maintenant reconnus pour leur implication dans l’adhésion et l’invasion aux cellules eucaryotes, mais aussi dans la production de biofilms. Ils sont groupés selon leur voie de sécrétion. Certains utilisent une machinerie spécifique et individuelle, c’est le cas des pili de type IV, tandis que d’autres utilisent la voie de sécrétion générale suivit d’une voie spécifique telle que la voie du chaperon-placier (« Chaperon Usher Pathway ») (fimbriae CUP) ou la voie de nucléation précipitation (« nucleation precipitation pathway ») (Curli). Malgré toutes les connaissances actuelles concernant les fimbriae, très peu d’informations sont disponibles quant aux fimbriae de Salmonella enterica sérovar Typhi (S. Typhi). Ce pathogène unique à l’homme est l’agent étiologique de la fièvre typhoïde. Puisque les fimbriae sont reconnus pour être impliqués dans l’adaptation à l’hôte, nous avons décidé d’étudier davantage l’arsenal fimbriaire de S. Typhi, dans l’espoir d’identifier des facteurs de virulence uniques à S. Typhi et impliqués dans la ségrégation de l’hôte. La souche S. Typhi ISP1820 possède 14 opérons codant pour des systèmes d’adhésion, mais plusieurs contiennent des pseudogènes et leur expression n’a jamais été observée in vitro. Afin d’étudier les systèmes d’adhésion de S. Typhi, nous avons supprimé chaque opéron du génome individuellement et cumulativement à l’aide une technique de mutagénèse par échange allélique. Ainsi, nous avons testé chaque mutant individuel et la souche mutante pour tous les systèmes d’adhésion dans plusieurs essais tels que des infections de cellules épithéliales et de macrophages, de mobilité et de formation de biofilm. Nous avons aussi évalué l’expression des fimbriae lors de différentes conditions de croissance en laboratoire par RT-PCR. Tous les tests réalisés nous ont permis de découvrir que plusieurs opérons fimbriaires de S. Typhi sont opérationnels et utilisés pour différentes fonctions par la bactérie.