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.

Analyse de mouvements faciaux à partir d'images vidéo

Lors d'une intervention conversationnelle, le langage est supporté par une communication non-verbale qui joue un rôle central dans le comportement social humain en permettant de la rétroaction et en gérant la synchronisation, appuyant ainsi le contenu et la signification du discours. En effet, 55% du message est véhiculé par les expressions faciales, alors que seulement 7% est dû au message linguistique et 38% au paralangage. L'information concernant l'état émotionnel d'une personne est généralement inférée par les attributs faciaux. Cependant, on ne dispose pas vraiment d'instruments de mesure spécifiquement dédiés à ce type de comportements. En vision par ordinateur, on s'intéresse davantage au développement de systèmes d'analyse automatique des expressions faciales prototypiques pour les applications d'interaction homme-machine, d'analyse de vidéos de réunions, de sécurité, et même pour des applications cliniques. Dans la présente recherche, pour appréhender de tels indicateurs observables, nous essayons d'implanter un système capable de construire une source consistante et relativement exhaustive d'informations visuelles, lequel sera capable de distinguer sur un visage les traits et leurs déformations, permettant ainsi de reconnaître la présence ou absence d'une action faciale particulière. Une réflexion sur les techniques recensées nous a amené à explorer deux différentes approches. La première concerne l'aspect apparence dans lequel on se sert de l'orientation des gradients pour dégager une représentation dense des attributs faciaux. Hormis la représentation faciale, la principale difficulté d'un système, qui se veut être général, est la mise en œuvre d'un modèle générique indépendamment de l'identité de la personne, de la géométrie et de la taille des visages. La démarche qu'on propose repose sur l'élaboration d'un référentiel prototypique à partir d'un recalage par SIFT-flow dont on démontre, dans cette thèse, la supériorité par rapport à un alignement conventionnel utilisant la position des yeux. Dans une deuxième approche, on fait appel à un modèle géométrique à travers lequel les primitives faciales sont représentées par un filtrage de Gabor. Motivé par le fait que les expressions faciales sont non seulement ambigües et incohérentes d'une personne à une autre mais aussi dépendantes du contexte lui-même, à travers cette approche, on présente un système personnalisé de reconnaissance d'expressions faciales, dont la performance globale dépend directement de la performance du suivi d'un ensemble de points caractéristiques du visage. Ce suivi est effectué par une forme modifiée d'une technique d'estimation de disparité faisant intervenir la phase de Gabor. Dans cette thèse, on propose une redéfinition de la mesure de confiance et introduisons une procédure itérative et conditionnelle d'estimation du déplacement qui offrent un suivi plus robuste que les méthodes originales.

Identification et caractérisation des protéines responsables de l’entrée en phase M chez Lingulodinium polyedrum

Les dinoflagellés sont des eucaryotes unicellulaires qui composent une grande partie du phytoplancton et qui jouent un rôle important au niveau de la photosynthèse, de la production primaire et de la conservation des écosystèmes marins. Les dinoflagellés se distinguent des autres eucaryotes par leur biologie et leur organisation nucléaire unique. Lors de la mitose, leur membrane nucléaire demeure intacte et la ségrégation des chromosomes se fait à partir de fuseaux mitotiques formés dans le cytoplasme et qui traversent le noyau au travers de canaux spécialisés Aussi, leurs chromosomes sont condensés en permanence et le processus utilisé pour y arriver est encore très mal compris puisque les dinoflagellés ne possèdent aucunes histones détectables. Lingulodinium polyedrum est un dinoflagellé photosynthétique marin utilisé comme organisme modèle en ce qui concerne l’étude des rythmes circadiens (bioluminescence, migration verticale, mitose et photosynthèse). La découverte et l’étude des éléments régulateurs du cycle cellulaire peuvent nous amener à comprendre le mécanisme, l’influence et la portée du contrôle circadien sur le cycle cellulaire. De plus, l’étude du cycle cellulaire pourrait permettre de révéler des indices quant aux caractéristiques singulières des dinoflagellés qui sont pour le moment énigmatiques. Par le passé, une étude chez Lingulodinium polyedrum a permis d’identifier la cycline impliquée dans la mitose, LpCyc1, le premier régulateur du cycle cellulaire a être découvert chez les dinoflagellés. La présente étude s’attarde sur la caractérisation de la LpCyc1, soit son expression, sa localisation, sa phosphorylation. Ces trois éléments concordent de façon à synchroniser l’activité de la LpCyc1 (et ainsi la mitose) de façon circadienne. Cette étude présente aussi la création et le développement d’un outil majeur pour l’étude future de Lingulodinium polyedrum, le transcriptome des ARNm à partir d’un iv séquençage Illumina. C’est d’ailleurs avec cet outil que nous avons découvert la CDK responsable du contrôle de la phase M, LpCdk1. Cette CDK possède tous les domaines d’une CDK classique, un site de liaison des substrats, un site de liaison à l’ATP, une boucle activatrice, et une interface de liaison avec la cycline. Le transcriptome de Lingulodinium polyedrum a aussi permis de recenser toutes les protéines conservées normalement retrouvées dans le contrôle du cycle cellulaire, qui nous a permis de faire une ébauche préliminaire du cycle cellulaire de L. polyedrum. Cette analyse est une première chez Lingulodinium polyedrum et peut s’étendre pour l’étude d’une multitude d’autres processus métaboliques.

Composition d'oeuvres pour hyper-flûtes et traitement audionumérique interactif

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

La paix adjar

On assiste en Géorgie, entre 1989 et 1994, à deux conflits civils couplés d’une violence politique majeure. L’Ossétie du Sud et l’Abkhazie, soit deux des trois régions dotées d’un statut autonome à l’intérieur de la Géorgie pendant la période soviétique, sont le théâtre de ces conflits. Les affrontements violents sont par ailleurs évités dans le cas de l’Adjarie, cette troisième région dotée d’un statut autonome. Les raisons de cette relative paix adjar ne sont pas évidentes à saisir à prime abord, surtout lorsqu’on observe la situation chaotique dans laquelle se trouve la Géorgie au moment de la chute de l’URSS. Il apparaît ainsi adéquat de se pencher plus spécifiquement sur l’Adjarie, en tant que région de la Géorgie, qui a certes entretenu de fortes tensions avec l’État géorgien nouvellement indépendant, mais sans pour autant que ces tensions politiques ne basculent en un conflit ouvert. Étant donné la similarité qui caractérise les territoires de l’Abkhazie et de l’Adjarie, les arguments géopolitiques ou encore les arguments concernant les structures institutionnelles n’apportent qu’une explication partielle. C’est plutôt un argument identitaire mettant de l’avant la relation entre les groupes qui apparaît déterminant pour expliquer l’absence de conflit en Adjarie.

Exploring the neural entrainment to musical rhythms and meter : a steady-state evoked potential approach

Thèse de doctorat réalisé en cotutelle avec l'Université catholique de Louvain, Belgique (Faculté de médecine, Institut de Neuroscience)

A brain-computer interface for navigation in virtual reality

L'interface cerveau-ordinateur (ICO) décode les signaux électriques du cerveau requise par l’électroencéphalographie et transforme ces signaux en commande pour contrôler un appareil ou un logiciel. Un nombre limité de tâches mentales ont été détectés et classifier par différents groupes de recherche. D’autres types de contrôle, par exemple l’exécution d'un mouvement du pied, réel ou imaginaire, peut modifier les ondes cérébrales du cortex moteur. Nous avons utilisé un ICO pour déterminer si nous pouvions faire une classification entre la navigation de type marche avant et arrière, en temps réel et en temps différé, en utilisant différentes méthodes. Dix personnes en bonne santé ont participé à l’expérience sur les ICO dans un tunnel virtuel. L’expérience fut a était divisé en deux séances (48 min chaque). Chaque séance comprenait 320 essais. On a demandé au sujets d’imaginer un déplacement avant ou arrière dans le tunnel virtuel de façon aléatoire d’après une commande écrite sur l'écran. Les essais ont été menés avec feedback. Trois électrodes ont été montées sur le scalp, vis-à-vis du cortex moteur. Durant la 1re séance, la classification des deux taches (navigation avant et arrière) a été réalisée par les méthodes de puissance de bande, de représentation temporel-fréquence, des modèles autorégressifs et des rapports d’asymétrie du rythme β avec classificateurs d’analyse discriminante linéaire et SVM. Les seuils ont été calculés en temps différé pour former des signaux de contrôle qui ont été utilisés en temps réel durant la 2e séance afin d’initier, par les ondes cérébrales de l'utilisateur, le déplacement du tunnel virtuel dans le sens demandé. Après 96 min d'entrainement, la méthode « online biofeedback » de la puissance de bande a atteint une précision de classification moyenne de 76 %, et la classification en temps différé avec les rapports d’asymétrie et puissance de bande, a atteint une précision de classification d’environ 80 %.

Le périmètre métropolitain du Grand Montréal, son évolution, son encadrement et ses potentialités : le cas de la Couronne Nord

Le nouveau contexte de planification du Grand Montréal engendré par la Loi modifiant la Loi sur l’aménagement et l’urbanisme et d’autres dispositions législatives concernant les communautés métropolitaines (L.Q. 2010, c. 10) soulève un grand nombre de questions en matière d’aménagement, notamment par rapport à la gestion de l’urbanisation et plus spécifiquement en ce qui a trait à la notion de périmètre d’urbanisation. Ce nouveau contexte de planification est donc l’élément déclencheur de la présente recherche qui vise à examiner la conception du périmètre métropolitain définie dans le Plan métropolitain d’aménagement et de développement (PMAD) adopté par la Communauté métropolitaine de Montréal (CMM) et qui est entré en vigueur le 12 mars 2012, suite à l’avis favorable du gouvernement du Québec. Cette recherche vise également à examiner l’encadrement du périmètre métropolitain en fonction du contenu des schémas d’aménagement et de développement (SAD) en vigueur des cinq municipalités régionales de compté (MRC) de la Couronne Nord. Plus précisément, il s’agit d’examiner ces documents en ce qui a trait à quatre outils de planification complémentaires, soit les seuils minimaux de densité, les programmes de phasage, les plans de développement de la zone agricole et les demandes à portée collective, ceci afin d’évaluer leur présence et leur contribution à l’atteinte des objectifs poursuivis par le concept de périmètre d’urbanisation. La présente recherche a permis de conclure qu’en matière de conception, le périmètre métropolitain est un outil nettement plus stratégique, comparativement au rôle attribué à cette notion au préalable dans les schémas régionaux, et ce, même considérant le peu de complémentarité entre les périmètres régionaux et ce dernier. En matière d’encadrement, il est possible de conclure que le contexte de planification révèle une situation régionale hautement variable qui illustre le besoin d’une approche de planification commune afin d’atteindre les objectifs du périmètre métropolitain.

Beat deafness: développement d'un outil de dépistage et nouveaux cas.

Le terme beat deafness désigne une forme d’amusie congénitale spécifique à l’aspect temporel en musique qui a été découverte récemment par l’étude d’un cas unique (Phillips-Silver et al., 2011). L’objectif principal de ce mémoire était d’identifier de nouveaux cas. Nous avons évalué, chez 100 étudiants universitaires, les capacités à percevoir le beat à se synchroniser sur celui-ci. Les capacités de perception ont été évaluées au moyen de deux tests: un test de détection de perturbations rythmiques et un test de classification de courts extraits musicaux en marches et valses. Les capacités de synchronisation ont été évaluées au moyen d’une tâche consistant à taper du doigt sur les temps forts des mêmes marches et valses. Quatre personnes se sont démarquées du groupe par des difficultés de perception et de synchronisation, et sont dès lors considérées comme des nouveaux cas de beat deafness.

Les ondes en sommeil lent au cours du vieillissement normal : marqueurs du processus homéostatique et de la cognition

Les ondes lentes (OL) et les fuseaux de sommeil (FS) caractérisent le sommeil lent. Ces ondes sont particulièrement vulnérables aux effets du vieillissement, et ce, dès le milieu de l’âge adulte. La signification fonctionnelle de ces changements demeure toutefois inconnue. Les OL constituent des marqueurs sensibles de la pression homéostatique au sommeil qui augmente avec la durée de l’éveil et qui diminue avec la durée de sommeil. L’hypothèse que les changements des OL puissent refléter une altération de la régulation homéostatique demeure toujours matière à débat dans la littérature. D’autre part, les FS et les OL ont tous deux été associés à la plasticité cérébrale et à la cognition. La correspondance entre les ondes en sommeil lent et le fonctionnement cognitif au cours du vieillissement normal demeure peu étudiée et les résultats sont inconsistants. L’objectif de cette thèse est de déterminer comment l’âge affecte la réponse homéostatique des OL et d’évaluer l’association entre les caractéristiques des ondes en sommeil lent et les performances cognitives chez des personnes d’âge moyen et âgées. La première étude a évalué l’effet de 25 heures d’éveil sur les OL durant un épisode de sommeil de récupération diurne chez de jeunes adultes et des personnes d’âge moyen. Comparativement aux jeunes, les personnes d’âge moyen ont montré une augmentation atténuée de la densité des OL après la privation de sommeil. Elles ont également montré une augmentation plus faible de la synchronisation neuronale durant une OL dans les régions frontales et préfrontales, mesurée par l’amplitude et la pente des OL. La deuxième étude a évalué le lien prédictif des OL, des FS et de l’architecture du sommeil sur les performances à des tests neuropsychologiques mesurant les capacités attentionnelles, les fonctions exécutives et les capacités d’apprentissage verbal chez des participants d’âge moyen et âgés en bonne santé. Seule la fluence verbale était associée à la densité et à la pente des OL. Les OL ne semblent donc pas constituer un marqueur stable du fonctionnement cognitif. Comparativement aux OL, les caractéristiques des FS étaient associées de façon plus systématique aux performances cognitives et plus particulièrement aux capacités d’apprentissage et aux fonctions attentionnelles. Dans l’ensemble, cette thèse suggère que l’augmentation plus faible de la synchronisation neuronale dans les régions antérieures après une privation de sommeil est expliquée par une plasticité synaptique réduite chez les personnes d’âge moyen comparativement aux jeunes. Par ailleurs, la capacité à générer une activité neuronale synchronisée, mesurée par les OL, ne prédit ni la capacité à maintenir le sommeil durant le jour, ni les fonctions cognitives de façon consistante. Les FS, quant à eux, représentent un meilleur marqueur du fonctionnement cognitif au cours du vieillissement normal. Les FS pourraient refléter une meilleure intégrité anatomique/physiologique des réseaux neuronaux impliqués dans les capacités attentionnelles et d’apprentissage.

Meta-heuristic Solution Methods for Rich Vehicle Routing Problems

Le problème de tournées de véhicules (VRP), introduit par Dantzig and Ramser en 1959, est devenu l'un des problèmes les plus étudiés en recherche opérationnelle, et ce, en raison de son intérêt méthodologique et de ses retombées pratiques dans de nombreux domaines tels que le transport, la logistique, les télécommunications et la production. L'objectif général du VRP est d'optimiser l'utilisation des ressources de transport afin de répondre aux besoins des clients tout en respectant les contraintes découlant des exigences du contexte d’application. Les applications réelles du VRP doivent tenir compte d’une grande variété de contraintes et plus ces contraintes sont nombreuse, plus le problème est difficile à résoudre. Les VRPs qui tiennent compte de l’ensemble de ces contraintes rencontrées en pratique et qui se rapprochent des applications réelles forment la classe des problèmes ‘riches’ de tournées de véhicules. Résoudre ces problèmes de manière efficiente pose des défis considérables pour la communauté de chercheurs qui se penchent sur les VRPs. Cette thèse, composée de deux parties, explore certaines extensions du VRP vers ces problèmes. La première partie de cette thèse porte sur le VRP périodique avec des contraintes de fenêtres de temps (PVRPTW). Celui-ci est une extension du VRP classique avec fenêtres de temps (VRPTW) puisqu’il considère un horizon de planification de plusieurs jours pendant lesquels les clients n'ont généralement pas besoin d’être desservi à tous les jours, mais plutôt peuvent être visités selon un certain nombre de combinaisons possibles de jours de livraison. Cette généralisation étend l'éventail d'applications de ce problème à diverses activités de distributions commerciales, telle la collecte des déchets, le balayage des rues, la distribution de produits alimentaires, la livraison du courrier, etc. La principale contribution scientifique de la première partie de cette thèse est le développement d'une méta-heuristique hybride dans la quelle un ensemble de procédures de recherche locales et de méta-heuristiques basées sur les principes de voisinages coopèrent avec un algorithme génétique afin d’améliorer la qualité des solutions et de promouvoir la diversité de la population. Les résultats obtenus montrent que la méthode proposée est très performante et donne de nouvelles meilleures solutions pour certains grands exemplaires du problème. La deuxième partie de cette étude a pour but de présenter, modéliser et résoudre deux problèmes riches de tournées de véhicules, qui sont des extensions du VRPTW en ce sens qu'ils incluent des demandes dépendantes du temps de ramassage et de livraison avec des restrictions au niveau de la synchronization temporelle. Ces problèmes sont connus respectivement sous le nom de Time-dependent Multi-zone Multi-Trip Vehicle Routing Problem with Time Windows (TMZT-VRPTW) et de Multi-zone Mult-Trip Pickup and Delivery Problem with Time Windows and Synchronization (MZT-PDTWS). Ces deux problèmes proviennent de la planification des opérations de systèmes logistiques urbains à deux niveaux. La difficulté de ces problèmes réside dans la manipulation de deux ensembles entrelacés de décisions: la composante des tournées de véhicules qui vise à déterminer les séquences de clients visités par chaque véhicule, et la composante de planification qui vise à faciliter l'arrivée des véhicules selon des restrictions au niveau de la synchronisation temporelle. Auparavant, ces questions ont été abordées séparément. La combinaison de ces types de décisions dans une seule formulation mathématique et dans une même méthode de résolution devrait donc donner de meilleurs résultats que de considérer ces décisions séparément. Dans cette étude, nous proposons des solutions heuristiques qui tiennent compte de ces deux types de décisions simultanément, et ce, d'une manière complète et efficace. Les résultats de tests expérimentaux confirment la performance de la méthode proposée lorsqu’on la compare aux autres méthodes présentées dans la littérature. En effet, la méthode développée propose des solutions nécessitant moins de véhicules et engendrant de moindres frais de déplacement pour effectuer efficacement la même quantité de travail. Dans le contexte des systèmes logistiques urbains, nos résultats impliquent une réduction de la présence de véhicules dans les rues de la ville et, par conséquent, de leur impact négatif sur la congestion et sur l’environnement.

La poésie cinématographique Terrence Malick et la sensation

Pour respecter les droits d’auteur, la version électronique de ce mémoire a été dépouillée de certains documents visuels et audio-visuels. La version intégrale du mémoire a été déposée au Service de la gestion des documents et des archives de l'Université de Montréal

Les frontières culturelles et politiques du monde mycénien

Le bassin oriental de la Méditerranée à l’âge du bronze égéen est un ensemble hétérogène où s’entremêlent plusieurs cultures : Égyptiens, Hittites, Minoens et Mycéniens se côtoient et interagissent à divers degrés. Un examen méticuleux des sources archéologiques et épigraphiques permet de mettre un peu d’ordre à cette mosaïque chaotique afin de mieux apprécier les interactions entre ces cultures. La culture mycénienne est celle à laquelle s’intéresse particulièrement cette présente étude. Bien que son coeur soit unanimement localisé en Grèce continentale, la culture mycénienne se répand également de l’Italie jusqu’au Levant et de la Thrace à l’Égypte. Selon l’importance et la nature des vestiges, l’archéologie ordonne en trois catégories les régions où se retrouve la culture mycénienne, alors que les sources épigraphiques hittites et égyptiennes permettent de remettre en question la société mycénienne et de localiser les frontières politiques de cette culture.

A heuristic algorithm for the Capacitated Vehicle Routing Problem with Synchronized Pick-ups and Drop-offs : a case study for medications delivery and supervision in DR Congo

Dans des contextes de post-urgence tels que le vit la partie occidentale de la République Démocratique du Congo (RDC), l’un des défis cruciaux auxquels font face les hôpitaux ruraux est de maintenir un niveau de médicaments essentiels dans la pharmacie. Sans ces médicaments pour traiter les maladies graves, l’impact sur la santé de la population est significatif. Les hôpitaux encourent également des pertes financières dues à la péremption lorsque trop de médicaments sont commandés. De plus, les coûts du transport des médicaments ainsi que du superviseur sont très élevés pour les hôpitaux isolés ; les coûts du transport peuvent à eux seuls dépasser ceux des médicaments. En utilisant la province du Bandundu, RDC pour une étude de cas, notre recherche tente de déterminer la faisabilité (en termes et de la complexité du problème et des économies potentielles) d’un problème de routage synchronisé pour la livraison de médicaments et pour les visites de supervision. Nous proposons une formulation du problème de tournées de véhicules avec capacité limitée qui gère plusieurs exigences nouvelles, soit la synchronisation des activités, la préséance et deux fréquences d’activités. Nous mettons en œuvre une heuristique « cluster first, route second » avec une base de données géospatiales qui permet de résoudre le problème. Nous présentons également un outil Internet qui permet de visualiser les solutions sur des cartes. Les résultats préliminaires de notre étude suggèrent qu’une solution synchronisée pourrait offrir la possibilité aux hôpitaux ruraux d’augmenter l’accessibilité des services médicaux aux populations rurales avec une augmentation modique du coût de transport actuel.

STUDIES ON THE STRESS FLUCTUATIONS IN SHEARED STOKESIAN SUSPENSIONS USING CHAOS THEORY AND NONLINEAR DYNAMICS

The thesis report results obtained from a detailed analysis of the fluctuations of the rheological parameters viz. shear and normal stresses, simulated by means of the Stokesian Dynamics method, of a macroscopically homogeneous sheared suspension of neutrally buoyant non-Brownian suspension of identical spheres in the Couette gap between two parallel walls in the limit of vanishingly small Reynolds numbers using the tools of non-linear dynamics and chaos theory for a range of particle concentration and Couette gaps. The thesis used the tools of nonlinear dynamics and chaos theory viz. average mutual information, space-time separation plots, visual recurrence analysis, principal component analysis, false nearest-neighbor technique, correlation integrals, computation of Lyapunov exponents for a range of area fraction of particles and for different Couette gaps. The thesis observed that one stress component can be predicted using another stress component at the same area fraction. This implies a type of synchronization of one stress component with another stress component. This finding suggests us to further analysis of the synchronization of stress components with another stress component at the same or different area fraction of particles. The different model equations of stress components for different area fraction of particles hints at the possible existence a general formula for stress fluctuations with area fraction of particle as a parameter