Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique

Les systèmes multiprocesseurs sur puce électronique (On-Chip Multiprocessor [OCM]) sont considérés comme les meilleures structures pour occuper l'espace disponible sur les circuits intégrés actuels. Dans nos travaux, nous nous intéressons à un modèle architectural, appelé architecture isométrique de systèmes multiprocesseurs sur puce, qui permet d'évaluer, de prédire et d'optimiser les systèmes OCM en misant sur une organisation efficace des nœuds (processeurs et mémoires), et à des méthodologies qui permettent d'utiliser efficacement ces architectures. Dans la première partie de la thèse, nous nous intéressons à la topologie du modèle et nous proposons une architecture qui permet d'utiliser efficacement et massivement les mémoires sur la puce. Les processeurs et les mémoires sont organisés selon une approche isométrique qui consiste à rapprocher les données des processus plutôt que d'optimiser les transferts entre les processeurs et les mémoires disposés de manière conventionnelle. L'architecture est un modèle maillé en trois dimensions. La disposition des unités sur ce modèle est inspirée de la structure cristalline du chlorure de sodium (NaCl), où chaque processeur peut accéder à six mémoires à la fois et où chaque mémoire peut communiquer avec autant de processeurs à la fois. Dans la deuxième partie de notre travail, nous nous intéressons à une méthodologie de décomposition où le nombre de nœuds du modèle est idéal et peut être déterminé à partir d'une spécification matricielle de l'application qui est traitée par le modèle proposé. Sachant que la performance d'un modèle dépend de la quantité de flot de données échangées entre ses unités, en l'occurrence leur nombre, et notre but étant de garantir une bonne performance de calcul en fonction de l'application traitée, nous proposons de trouver le nombre idéal de processeurs et de mémoires du système à construire. Aussi, considérons-nous la décomposition de la spécification du modèle à construire ou de l'application à traiter en fonction de l'équilibre de charge des unités. Nous proposons ainsi une approche de décomposition sur trois points : la transformation de la spécification ou de l'application en une matrice d'incidence dont les éléments sont les flots de données entre les processus et les données, une nouvelle méthodologie basée sur le problème de la formation des cellules (Cell Formation Problem [CFP]), et un équilibre de charge de processus dans les processeurs et de données dans les mémoires. Dans la troisième partie, toujours dans le souci de concevoir un système efficace et performant, nous nous intéressons à l'affectation des processeurs et des mémoires par une méthodologie en deux étapes. Dans un premier temps, nous affectons des unités aux nœuds du système, considéré ici comme un graphe non orienté, et dans un deuxième temps, nous affectons des valeurs aux arcs de ce graphe. Pour l'affectation, nous proposons une modélisation des applications décomposées en utilisant une approche matricielle et l'utilisation du problème d'affectation quadratique (Quadratic Assignment Problem [QAP]). Pour l'affectation de valeurs aux arcs, nous proposons une approche de perturbation graduelle, afin de chercher la meilleure combinaison du coût de l'affectation, ceci en respectant certains paramètres comme la température, la dissipation de chaleur, la consommation d'énergie et la surface occupée par la puce. Le but ultime de ce travail est de proposer aux architectes de systèmes multiprocesseurs sur puce une méthodologie non traditionnelle et un outil systématique et efficace d'aide à la conception dès la phase de la spécification fonctionnelle du système.

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.

ESys.Net : a new .Net based system-level design environment

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

Reconnaissance des actions humaines à partir d'une séquence vidéo

The work done in this master's thesis, presents a new system for the recognition of human actions from a video sequence. The system uses, as input, a video sequence taken by a static camera. A binary segmentation method of the the video sequence is first achieved, by a learning algorithm, in order to detect and extract the different people from the background. To recognize an action, the system then exploits a set of prototypes generated from an MDS-based dimensionality reduction technique, from two different points of view in the video sequence. This dimensionality reduction technique, according to two different viewpoints, allows us to model each human action of the training base with a set of prototypes (supposed to be similar for each class) represented in a low dimensional non-linear space. The prototypes, extracted according to the two viewpoints, are fed to a $K$-NN classifier which allows us to identify the human action that takes place in the video sequence. The experiments of our model conducted on the Weizmann dataset of human actions provide interesting results compared to the other state-of-the art (and often more complicated) methods. These experiments show first the sensitivity of our model for each viewpoint and its effectiveness to recognize the different actions, with a variable but satisfactory recognition rate and also the results obtained by the fusion of these two points of view, which allows us to achieve a high performance recognition rate.

La volatilité du taux de change et son impact sur les exportations canadiennes aux États-Unis depuis l'éclatement du système Bretton-Woods.

Rapport de recherche

Système de transactions automatiques sur le marché des contrats à terme sur le taux d’intérêt.

Rapport de stage (maîtrise en finance mathématique et computationnelle)

La détermination de la peine dans le contexte de la Loi sur le système de justice pénale pour les adolescents

La Loi sur le système de justice pénale pour les adolescents est récente en matière de justice des mineurs. Sa mise en vigueur en avril 2003 a précisé et changé les critères de la détermination de la peine. Le présent mémoire vise à mieux cerner ce sur quoi les juges se fondent pour prendre leurs décisions. À cette fin, une analyse de la jurisprudence disponible ainsi que des entrevues avec des juges oeuvrant à la chambre de la jeunesse de Montréal ont été effectuées. L’application des dispositions relatives aux objectifs et aux principes propres à la détermination de la peine a suscité des commentaires de la part des juges et des difficultés ont été soulevées. Des balises ont également été établies par les juges dans le cadre de leur pratique. Ils les suivent pour déterminer les peines. Il en ressort que le système de justice pour mineurs se rapproche du système de justice pour adultes, dont les interventions sont davantage centrées sur l’infraction que sur l’infracteur. Les juges semblent néanmoins accorder une attention particulière pour que ces deux systèmes de justice demeurent différents, et ce malgré le rapprochement constaté. De plus, il ressort qu’un équilibre est recherché entre deux principes directeurs : la proportionnalité de la peine à la gravité de l’infraction et au degré de responsabilité de l’adolescent, ainsi que la réadaptation et la réinsertion sociale de ce dernier.

L’influence de la gouvernance sur la capacité de changement du système de soins : l’exemple de l’implantation des groupes de médecine de famille

Cette thèse s’intéresse à la gouvernance de changements en contextes pluralistes. Nous souhaitons mieux comprendre l’exercice de gouvernance déployé pour développer et implanter un changement par le biais d’une politique publique visant la transformation d’organisations pluralistes. Pour ce faire, nous étudions l’émergence et l’implantation de la politique encadrant la création de groupes de médecine de famille (GMF) à l’aide d’études de cas correspondant à cinq GMF. Les cas sont informés par plus de cents entrevues réalisées en deux vagues ainsi que par une analyse documentaire et des questionnaires portant sur l’organisation du GMF. Trois articles constituent le cœur de la thèse. Dans le premier article, nous proposons une analyse de l’émergence et de l’implantation de la politique GMF à l’aide d’une perspective processuelle et contextuelle développée à partir du champ du changement organisationnel, tel qu’étudié en théorie des organisations. Les résultats démontrent que la gestion du changement en contexte pluraliste est liée à de multiples processus prescrits et construits. Nous avons qualifié ce phénomène de régulation de l’action social (regulation of collective action). La conceptualisation développée et les résultats de l’analyse permettent de mieux comprendre les interactions entre les processus, le contexte et la nature du changement. Le deuxième article propose une conceptualisation de la gouvernance permettant l’étude de la gouvernance en contextes pluralistes. La conceptualisation de la gouvernance proposée tire profit de plusieurs courants des sciences politiques et de l’administration publique. Elle considère la gouvernance comme un ensemble de processus auxquels participent plusieurs acteurs détenant des capacités variables de gouvernance. Ces processus émergent des actions des acteurs et des instruments qu’ils mobilisent. Ils permettent la réalisation des fonctions de la gouvernance (la prospective, la prise de décisions ainsi que la régulation) assurant la coordination de l’action collective. Le troisième article propose, comme le premier, une analyse de l’émergence et de l’implantation de la politique mais cette fois à l’aide de la conceptualisation de la gouvernance développée dans l’article précédent. Nos résultats permettent des apprentissages particuliers concernant les différentes fonctions de la gouvernance et les processus permettant leur réalisation. Ils révèlent l’influence du pluralisme sur les différentes fonctions de gouvernance. Dans un tel contexte, la fonction de régulation s’exerce de façon indirecte et est étroitement liée aux fonctions de prospective et de prise de décisions. Ces fonctions rendent possibles les apprentissages et le développement de consensus nécessaires à l’action collective. L’analyse des actions et des instruments a permis de mieux comprendre les multiples formes qu’ils prennent, en lien avec les contextes dans lesquels ils sont mobilisés. Les instruments indirects permettent les interactions (p. ex. commission d’étude, comité ou réunion) et la formalisation d’ententes entre acteurs (p. ex. des contrats ou des protocoles de soins). Ils se sont révélés fondamentaux pour coordonner les différents acteurs participant à la gouvernance, et ce tant aux niveaux organisationnel qu’inter organisationnel. Les résultats démontrent que les deux conceptualisations contribuent à l’étude de la gouvernance du changement. Nous avons développé deux perspectives inspirées par les sciences politiques, l’administration publique et la théorie des organisations et les analyses qu’elles ont permises ont révélé leur complémentarité. Les résultats permettent de mieux comprendre les processus impliqués dans un tel changement ainsi que leur lien avec les efforts déployés aux différents niveaux par les acteurs mobilisant leurs capacités de gouvernance pour influencer et construire la politique GMF.

Implantation des futures sur un système distribué par passage de messages

Ce mémoire présente une implantation de la création paresseuse de tâches desti- née à des systèmes multiprocesseurs à mémoire distribuée. Elle offre un sous-ensemble des fonctionnalités du Message-Passing Interface et permet de paralléliser certains problèmes qui se partitionnent difficilement de manière statique grâce à un système de partitionnement dynamique et de balancement de charge. Pour ce faire, il se base sur le langage Multilisp, un dialecte de Scheme orienté vers le traitement parallèle, et implante sur ce dernier une interface semblable à MPI permettant le calcul distribué multipro- cessus. Ce système offre un langage beaucoup plus riche et expressif que le C et réduit considérablement le travail nécessaire au programmeur pour pouvoir développer des programmes équivalents à ceux en MPI. Enfin, le partitionnement dynamique permet de concevoir des programmes qui seraient très complexes à réaliser sur MPI. Des tests ont été effectués sur un système local à 16 processeurs et une grappe à 16 processeurs et il offre de bonnes accélérations en comparaison à des programmes séquentiels équiva- lents ainsi que des performances acceptables par rapport à MPI. Ce mémoire démontre que l’usage des futures comme technique de partitionnement dynamique est faisable sur des multiprocesseurs à mémoire distribuée.

Effet de la source du sélénium sur le statut du sélénium, de la GSH-Px et sur le système immunitaire des bovins de boucherie

Résumé L’objectif de cette étude était de déterminer les effets de la source de sélénium sur les concentrations de Se et de GSH-Px des vaches de boucherie (n =33) et leurs veaux et sur des paramètres immunitaires des veaux. Deux groupes de vaches ont reçu 3 mg/j/animal de Se organique ou inorganique dans le minéral. Le troisième groupe n'a pas été supplémenté en Se et leurs veaux ont été divisés en deux sous-groupes, l’un des deux a reçu une injection de sélénite de sodium (0,087 mg/Kg) à la naissance. Le Se et la GSH-Px ont été respectivement mesurés par HPLC-UV et par cinétique enzymatique. La phagocytose, la flambée respiratoire et le ratio CD4:CD8ont été évalués par des kits commerciaux et les IgG totales ont été mesurés par immunodiffusion radiale. La supplémentation de Se a augmenté significativement le Se sérique et colostral (P<0,02) et la GSH-Px(P≤0,04) pour les vaches et leurs veaux avec un effet significativement plus élevé pour le Se organique. Le Se du lait a augmenté de façon significative uniquement avec la source organique du Se (P≤0,0007). L’injection du Se chez les veaux a permis une augmentation significative mais temporaire (P<0,0001) du Se sérique. La supplémentation en Se n’a pas influencé les paramètres immunitaires mesurés (P>0,01, non significatif après correction de Bonferroni). Nous concluons que la supplémentation en Se améliore le niveau du Se colostral, lacté et sérique ainsi que la GSH-Px pour les vaches et leurs veaux sans effet sur les paramètres immunitaires mesurés des veaux. Mots clés: Sélénium, veaux de boucherie, phagocytose, flambée respiratoire, anticorps, ratio CD4:CD8, GSH-Px.

La perception du risque terroriste et de ses conséquences sur la gestion de la sécurité dans le système de transport en commun de Montréal

Dans cet ouvrage, nous cherchons à comprendre l‘impact des perceptions sur la production et la gestion de la sécurité dans le réseau du transport en commun de Montréal. Quinze entrevues de recherche ont été effectuées avec des policiers de l‘Unité-Métro pour dégager les principaux éléments qui entrent dans la conception du risque. Les policiers sont appelés à travailler dans un environnement où, d‘une part, il n‘y a jamais eu d‘attaques terroristes, mais d‘autre part qui demeure une cible potentielle à la fois pour les experts, les gouvernements et dans la culture populaire. Nos résultats montrent que les policiers se développent une perception du risque qui leur est propre. En général, ils ont une attitude pragmatique qui leur permet de relativiser les situations et de décider lesquelles nécessitent une intervention de leur part. De plus, les policiers adoptent des stratégies de justification et de protection qui minimisent la perception du risque. Nos participants soulignent que ces stratégies sont nécessaires pour leur permettre d‘effectuer leurs tâches quotidiennes. Ainsi, afin d‘échapper à la paranoïa, les policiers évitent de penser à la menace terroriste et focus plutôt leur attention sur la criminalité sur laquelle ils ont l‘impression d‘avoir un pouvoir réel. Toutefois, la vigilance reste de mise. Malgré que les policiers ne conçoivent pas le risque de la même manière que les gestionnaires, la présence de l‘Unité-Métro demeure un élément important de production de la sécurité sur le terrain.

Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable

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