Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués

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

Heuristiques efficaces pour l'optimisation de la performance des systèmes séries-parallèles

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

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.

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.

La Nuitte et la Démanche : de la parole d'ivresse au délire d'ivrogne chez Victor-Lévy Beaulieu

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

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.

Systèmes superintégrables avec spin et intégrales du mouvement d’ordre deux

Ce mémoire est une partie d’un programme de recherche qui étudie la superintégrabilité des systèmes avec spin. Plus particulièrement, nous nous intéressons à un hamiltonien avec interaction spin-orbite en trois dimensions admettant une intégrale du mouvement qui est un polynôme matriciel d’ordre deux dans l’impulsion. Puisque nous considérons un hamiltonien invariant sous rotation et sous parité, nous classifions les intégrales du mouvement selon des multiplets irréductibles de O(3). Nous calculons le commutateur entre l’hamiltonien et un opérateur général d’ordre deux dans l’impulsion scalaire, pseudoscalaire, vecteur et pseudovecteur. Nous donnons la classification complète des systèmes admettant des intégrales du mouvement scalaire et vectorielle. Nous trouvons une condition nécessaire à remplir pour le potentiel sous forme d’une équation différentielle pour les cas pseudo-scalaire et pseudo-vectoriel. Nous utilisons la réduction par symétrie pour obtenir des solutions particulières de ces équations.

Analyse d’information tridimensionnelle issue de systèmes multi-caméras pour la détection de la chute et l’analyse de la marche

Réalisé en cotutelle avec le laboratoire M2S de Rennes 2