Bits et Rarezas : deux compositions assistées par ordinateur

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l'Université de Montréal (http://www.bib.umontreal.ca/MU)

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

Scheduled service network design for integrated planning of rail freight transportation

Cette thèse étudie une approche intégrant la gestion de l’horaire et la conception de réseaux de services pour le transport ferroviaire de marchandises. Le transport par rail s’articule autour d’une structure à deux niveaux de consolidation où l’affectation des wagons aux blocs ainsi que des blocs aux services représentent des décisions qui complexifient grandement la gestion des opérations. Dans cette thèse, les deux processus de consolidation ainsi que l’horaire d’exploitation sont étudiés simultanément. La résolution de ce problème permet d’identifier un plan d’exploitation rentable comprenant les politiques de blocage, le routage et l’horaire des trains, de même que l’habillage ainsi que l’affectation du traffic. Afin de décrire les différentes activités ferroviaires au niveau tactique, nous étendons le réseau physique et construisons une structure de réseau espace-temps comprenant trois couches dans lequel la dimension liée au temps prend en considération les impacts temporels sur les opérations. De plus, les opérations relatives aux trains, blocs et wagons sont décrites par différentes couches. Sur la base de cette structure de réseau, nous modélisons ce problème de planification ferroviaire comme un problème de conception de réseaux de services. Le modèle proposé se formule comme un programme mathématique en variables mixtes. Ce dernie r s’avère très difficile à résoudre en raison de la grande taille des instances traitées et de sa complexité intrinsèque. Trois versions sont étudiées : le modèle simplifié (comprenant des services directs uniquement), le modèle complet (comprenant des services directs et multi-arrêts), ainsi qu’un modèle complet à très grande échelle. Plusieurs heuristiques sont développées afin d’obtenir de bonnes solutions en des temps de calcul raisonnables. Premièrement, un cas particulier avec services directs est analysé. En considérant une cara ctéristique spécifique du problème de conception de réseaux de services directs nous développons un nouvel algorithme de recherche avec tabous. Un voisinage par cycles est privilégié à cet effet. Celui-ci est basé sur la distribution du flot circulant sur les blocs selon les cycles issus du réseau résiduel. Un algorithme basé sur l’ajustement de pente est développé pour le modèle complet, et nous proposons une nouvelle méthode, appelée recherche ellipsoidale, permettant d’améliorer davantage la qualité de la solution. La recherche ellipsoidale combine les bonnes solutions admissibles générées par l’algorithme d’ajustement de pente, et regroupe les caractéristiques des bonnes solutions afin de créer un problème élite qui est résolu de facon exacte à l’aide d’un logiciel commercial. L’heuristique tire donc avantage de la vitesse de convergence de l’algorithme d’ajustement de pente et de la qualité de solution de la recherche ellipsoidale. Les tests numériques illustrent l’efficacité de l’heuristique proposée. En outre, l’algorithme représente une alternative intéressante afin de résoudre le problème simplifié. Enfin, nous étudions le modèle complet à très grande échelle. Une heuristique hybride est développée en intégrant les idées de l’algorithme précédemment décrit et la génération de colonnes. Nous proposons une nouvelle procédure d’ajustement de pente où, par rapport à l’ancienne, seule l’approximation des couts liés aux services est considérée. La nouvelle approche d’ajustement de pente sépare ainsi les décisions associées aux blocs et aux services afin de fournir une décomposition naturelle du problème. Les résultats numériques obtenus montrent que l’algorithme est en mesure d’identifier des solutions de qualité dans un contexte visant la résolution d’instances réelles.

Potential of built environment interventions involving deployment of public bicycles to increase utilitarian cycling : the case of BIXI in Montreal, Quebec

Contexte : Les interventions sur l'environnement bâti reliées au transport peuvent contribuer à l'augmentation de la pratique de l'activité physique. En tant qu’intervention, les programmes de vélos en libre-service (PVLS) peuvent contribuer à l’utilisation du vélo. BIXI© (nom qui fusionne les mots BIcyclette et taXI) est un programme de vélos en libre-service implanté à Montréal, au Canada, en mai 2009. Le programme BIXI© met à la disposition des gens 5050 vélos à 405 bornes d’ancrage. Objectif : L'objectif général de cette thèse est d'étudier l'impact d'un programme de vélos en libre-service sur l’utilisation du vélo. Les objectifs spécifiques de la thèse sont de : 1) Estimer la prévalence populationnelle et identifier des variables environnementales, sociodémographiques et comportementales associées à l’utilisation des vélos en libre-service. 2) Estimer l’impact populationnel de l’implantation des vélos en libre-service sur l’utilisation du vélo et les contributions respectives de l’utilisation du vélo pour des fins utilitaires et récréatives à l’utilisation totale du vélo. 3) Estimer l’impact local de l’implantation des vélos en libre-service sur l’utilisation du vélo. Méthodes : Un devis populationnel transversal avec mesures répétées. Des enquêtes ont été réalisées au moment du lancement du programme de vélos en libre-service (4 mai au 10 juin, 2009), à la fin de la première année d’implantation (8 octobre au 12 décembre, 2009), et à la fin de la deuxième année d’implantation (8 novembre au 12 décembre, 2010). Les échantillons se composaient de 2001 (âge moyen = 49,4 années, 56,7 % de femmes), 2502 (âge moyen = 47,8 ans, 61,8 % de femmes) et 2509 (âge moyen = 48,9 années, 59,0 % de femmes) adultes à chaque période de mesure respectivement. Résultats : Globalement, les résultats démontrent le potentiel des PVLS pour augmenter l’utilisation du vélo. Les résultats suggèrent que près de 128 744 habitants ou 8,1 % de la population adulte ont utilisé les vélos BIXI© au moins une fois dans la première saison. Après deux ans d’implantation, ceux qui sont exposés à BIXI© dans leur milieu résidentiel avaient une probabilité significativement plus élevée d’utiliser le vélo par rapport à ceux non exposés. Par contre, il n'y avait aucun impact local de l’implantation du programme BIXI© sur l’utilisation du vélo. Conclusions : L’implantation d'un PVLS à Montréal a augmenté la probabilité d’utiliser le vélo chez les individus habitant près d'une borne d'ancrage. Mots clés : programme de vélos en libre-service, expérience naturelle, santé des populations.

Inégalités sociales dans la diffusion d'une innovation en transport actif : le cas des vélos en libre-service à Montréal

Introduction. Les programmes de vélos en libre-service (PVLS) représentent une innovation en transport actif. À ce jour, la sensibilisation à cette innovation en tant que prérequis à l’accessibilité n’a jamais été étudiée. Objectif. Identifier les facteurs liés à l’absence de sensibilisation à l’existence du PVLS à Montréal. Méthode. 7011 Montréalais âgés de 18 ans et plus ont été interrogés au cours de 3 sondages téléphoniques sur une période couvrant deux saisons : avant la première saison (n=2000), après la première saison (n=2502) et après la deuxième saison (n=2509). Des analyses de régression logistique ont été réalisées sur 93,6 % (n=6562) de l’échantillon pour examiner l’effet du temps, de la proximité des stations de vélos et du niveau d’éducation sur l’absence de sensibilisation à l’existence du PVLS. Résultats. Nous constatons que, après la première saison d’implantation du PVLS, la probabilité d’absence de sensibilisation au PVLS est plus élevée chez les individus dont le niveau d’éducation est faible que chez ceux dont le niveau d’éducation est élevé (RC = 1,60; 95 % IC : 1,18; 2,19). Aussi, nous observons que, après la deuxième saison d’implantation, la probabilité d’absence de sensibilisation au PVLS est plus élevée chez les individus dont le niveau d’éducation est faible et qui vivent dans un voisinage pourvu d’un PVLS, que chez ceux dont le niveau d’éducation est élevé et qui vivent dans un voisinage dépourvu d’un PVLS (RC = 1,63, 95 % IC : 1,01; 2,64). Conclusion. Malgré l’accessibilité au PVLS dans un voisinage, des inégalités sociales persistent.