Génération efficace de graphes d’appels dynamiques complets

Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation individuelle de chaque approche ne peut fournir les résultats souhaités. Les approches combinées appliquent l’analyse dynamique pour déterminer les portions à problèmes dans le code et effectuent par la suite une analyse statique concentrée sur les parties identifiées. Toutefois les outils d’analyse dynamique existants génèrent des données imprécises ou incomplètes, ou aboutissent en un ralentissement inacceptable du temps d’exécution. Lors de ce travail, nous nous intéressons à la génération de graphes d’appels dynamiques complets ainsi que d’autres informations nécessaires à la détection des portions à problèmes dans le code. Pour ceci, nous faisons usage de la technique d’instrumentation dynamique du bytecode Java pour extraire l’information sur les sites d’appels, les sites de création d’objets et construire le graphe d’appel dynamique du programme. Nous démontrons qu’il est possible de profiler dynamiquement une exécution complète d’une application à temps d’exécution non triviale, et d’extraire la totalité de l’information à un coup raisonnable. Des mesures de performance de notre profileur sur trois séries de benchmarks à charges de travail diverses nous ont permis de constater que la moyenne du coût de profilage se situe entre 2.01 et 6.42. Notre outil de génération de graphes dynamiques complets, nommé dyko, constitue également une plateforme extensible pour l’ajout de nouvelles approches d’instrumentation. Nous avons testé une nouvelle technique d’instrumentation des sites de création d’objets qui consiste à adapter les modifications apportées par l’instrumentation au bytecode de chaque méthode. Nous avons aussi testé l’impact de la résolution des sites d’appels sur la performance générale du profileur.

Approche hybride : une approche pour une meilleure intégration des outils CAAD dans le développement du processus architecturale du projet

Avec l’usage élargi de la CAAO, ces outils ont été largement utilisés dans le processus de conception architecturale. En dépit des fonctionnalités avancées offertes par les systèmes de CAAO, l'utilisation de la CAAO est principalement concentrée dans les étapes de production, comme un support graphique pour le dessin, la modélisation, le rendu et la simulation. Par conséquent, il est raisonnable de considérer que la situation actuelle relative à l’usage de la CAAO dans la profession d'architecte appelle à de nouvelles améliorations. En d'autres termes, nous devons trouver un moyen de mieux intégrer la technologie et les outils de CAAO dans le processus de conception architecturale, qui est notre question de recherche. Nous avons besoin de savoir comment la CAAO pourrait être utilisée pour améliorer la capacité de conception de l'architecte. Il ressort des discussions et des recherches menées pour cette étude que nous voulons un soutien de la technologie pour nous aider à mieux concevoir et non pas que la technologie conçoive à notre place. Nous aimerions avoir un système de CAAO qui pourrait nous servir d’assistant à la conception. En étudiant la situation de l'intégration des outils de CAAO dans les pratiques actuelles de conception des architectes et en examinant les approches utilisées dans les premières tentatives de développement d’un outil de CAAO intégré au processus de conception, on peut conclure que l'approche exploratoire et heuristique serait une meilleure approche qui pourrait être adaptée pour développer un système CAAO en soutien au travail de l’architecte. De plus, une étude plus approfondie a démontré que les deux sous- approches des approches exploratoires et heuristiques (approches basées sur les cas et les contraintes), sont applicables, mais aucune d'elles n'est suffisante. Par conséquent, l’approche hybride qui prend en compte les avantages de chacune des deux sous- approches précitées serait la plus applicable. Elle nous permettrait de développer un outil CAAD qui pourrait vraiment être intégré dans le processus de conception architecturale. Cette conclusion a été vérifiée par une étude complémentaire basée sur des entrevues.

L'interdiction de la discrimination au travail et les obligations du syndicat en matière de représentation

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

Les droits fondamentaux des animaux : une approche anti-spéciste

Dans cette thèse, nous partons des grands principes de justice pour démontrer la nécessité d’octroyer aux êtres sensibles nonhumains les droits moraux et légaux les plus fondamentaux. Dans un premier temps, nous nous penchons sur les principes sous-jacents aux droits fondamentaux de la personne : le principe d’égalité voulant que les cas similaires soient traités de manière similaire; la notion de droit fondamental, qui repose sur celle d’intérêt; le principe de l’égale considération des intérêts auquel mène le principe d’égalité; et, enfin, le concept d’intérêt, qui s’applique à tous les êtres sensibles. Cette première partie établit l’exigence d’accorder les droits les plus fondamentaux à tous les êtres possédant les intérêts que ces droits visent à protéger. Cela permet d’étudier trois droits particuliers et les intérêts qui les sous-tendent en examinant d’abord le droit à l'intégrité physique. Nous montrons que de nombreux animaux nonhumains sont des êtres sensibles, que tous les êtres sensibles ont, par définition, intérêt à ne pas souffrir et que, pour cette raison, ils devraient jouir du droit à l’intégrité physique. Le troisième chapitre est consacré au droit à la vie. Nous soutenons qu’il est raisonnable de supposer que tous les êtres sensibles, parce qu’ils peuvent jouir des bonnes choses de la vie, ont un certain intérêt à persévérer dans leur existence, intérêt qui, peu importe son intensité ou sa nature, doit être protégé par l’égal droit de vivre. Notre dernier chapitre se concentre sur le droit à la liberté. Nous montrons que cet intérêt est généralement interprété négativement et ne consiste qu’à pouvoir agir sans subir d’interférence. Nous soutenons que cette acception du concept de liberté nous force à reconnaître l’intérêt à être libre de tous les êtres sensibles et notre devoir de leur accorder un droit à la liberté. Nous ajoutons finalement que l’interprétation républicaine de la liberté nous incite à reconnaître à tous ces animaux un statut égal à celui des humains. Nous terminons cette réflexion en concluant que l'octroi des droits fondamentaux aux animaux sensibles implique que l’exploitation animale institutionalisée soit abandonnée et que les animaux conscients jouissent du statut de personne.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Heuristic solution methods for multi-attribute vehicle routing problems

Le Problème de Tournées de Véhicules (PTV) est une clé importante pour gérér efficacement des systèmes logistiques, ce qui peut entraîner une amélioration du niveau de satisfaction de la clientèle. Ceci est fait en servant plus de clients dans un temps plus court. En terme général, il implique la planification des tournées d'une flotte de véhicules de capacité donnée basée à un ou plusieurs dépôts. Le but est de livrer ou collecter une certain quantité de marchandises à un ensemble des clients géographiquement dispersés, tout en respectant les contraintes de capacité des véhicules. Le PTV, comme classe de problèmes d'optimisation discrète et de grande complexité, a été étudié par de nombreux au cours des dernières décennies. Étant donné son importance pratique, des chercheurs dans les domaines de l'informatique, de la recherche opérationnelle et du génie industrielle ont mis au point des algorithmes très efficaces, de nature exacte ou heuristique, pour faire face aux différents types du PTV. Toutefois, les approches proposées pour le PTV ont souvent été accusées d'être trop concentrées sur des versions simplistes des problèmes de tournées de véhicules rencontrés dans des applications réelles. Par conséquent, les chercheurs sont récemment tournés vers des variantes du PTV qui auparavant étaient considérées trop difficiles à résoudre. Ces variantes incluent les attributs et les contraintes complexes observés dans les cas réels et fournissent des solutions qui sont exécutables dans la pratique. Ces extensions du PTV s'appellent Problème de Tournées de Véhicules Multi-Attributs (PTVMA). Le but principal de cette thèse est d'étudier les différents aspects pratiques de trois types de problèmes de tournées de véhicules multi-attributs qui seront modélisés dans celle-ci. En plus, puisque pour le PTV, comme pour la plupart des problèmes NP-complets, il est difficile de résoudre des instances de grande taille de façon optimale et dans un temps d'exécution raisonnable, nous nous tournons vers des méthodes approcheés à base d’heuristiques.

Of Eureka Moments and Magic Barometers: Freedom of Religion as the “First” Freedom in the Canadian Constitutional Context

"La liberté de religion, souvent reconnue comme étant la « première liberté » dans de nombreuses traditions juridiques, reflète également les différentes conceptions de la place de l'individu et de la communauté dans la société. Cet article examinera la liberté de religion dans le contexte constitutionnel canadien. Nous avons choisi d'étudier la liberté de religion dans trois vagues successives : avant l'entrée en vigueur de la Déclaration canadienne des droits, sous la Déclaration canadienne des droits; et enfin, après l'entrée en vigueur de la Charte canadienne des droits et libertés. De plus, l'accommodement ainsi que de la proportionnalité de la liberté de religion d'un individu sera également traité. Ainsi que nous le démontrerons, la liberté de religion a engendré un repositionnement de l'individu face aux intérêts de la communauté ainsi qu'une réinterprétation des justifications menant à la sauvegarde de ces croyances."

Réflexion juridique autours de la notion de désinformation eu égard à la transmission de métavirus

Nous sommes quotidiennement envahis pour d’innombrables messages électroniques non sollicités, qu’il s’agisse d’annonces publicitaires, de virus ou encore de ce qu’on appelle désormais les métavirus. Ces derniers sont des canulars transmis aux internautes leur suggérant de poser tel ou tel geste, lequel causera des dommages plus ou moins importants au système de l’utilisateur. L’auteur se penche sur la problématique que suscitent ces métavirus au niveau de la responsabilité civile de leurs émetteurs. Il en vient à la conclusion que ce régime, bien qu’applicable en théorie, demeure mal adapté au problème notamment au niveau de la preuve des éléments de la responsabilité civile. Il faut d’abord établir la capacité de discernement (ou l’incapacité) de l’émetteur, la connaissance ou non de cet état par le destinataire et la preuve d’un comportement fautif de la part de l’émetteur voire même des deux parties. Reste à savoir quelle aurait été l’attitude raisonnable dans la situation. À noter que la victime pourrait être trouvée partiellement responsable pour ses propres dommages. Reste alors à prouver le lien de causalité entre l’acte et le dommage ce qui, compte tenu de la situation factuelle, peut s’avérer une tâche ardue. L’auteur conclut que l’opportunité d’un tel recours est très discutable puisque les coûts sont disproportionnés aux dommages et car les chances pour qu’un juge retienne la responsabilité de celui qui a envoyé le métavirus sont assez faibles. La meilleure solution, ajoute-t-il, reste la prudence.

La résolution du problème de formation de cellules dans un contexte multicritère

Les techniques de groupement technologique sont aujourd’hui utilisées dans de nombreux ateliers de fabrication; elles consistent à décomposer les systèmes industriels en sous-systèmes ou cellules constitués de pièces et de machines. Trouver le groupement technologique le plus efficace est formulé en recherche opérationnelle comme un problème de formation de cellules. La résolution de ce problème permet de tirer plusieurs avantages tels que la réduction des stocks et la simplification de la programmation. Plusieurs critères peuvent être définis au niveau des contraintes du problème tel que le flot intercellulaire,l’équilibrage de charges intracellulaires, les coûts de sous-traitance, les coûts de duplication des machines, etc. Le problème de formation de cellules est un problème d'optimisation NP-difficile. Par conséquent les méthodes exactes ne peuvent être utilisées pour résoudre des problèmes de grande dimension dans un délai raisonnable. Par contre des méthodes heuristiques peuvent générer des solutions de qualité inférieure, mais dans un temps d’exécution raisonnable. Dans ce mémoire, nous considérons ce problème dans un contexte bi-objectif spécifié en termes d’un facteur d’autonomie et de l’équilibre de charge entre les cellules. Nous présentons trois types de méthodes métaheuristiques pour sa résolution et nous comparons numériquement ces métaheuristiques. De plus, pour des problèmes de petite dimension qui peuvent être résolus de façon exacte avec CPLEX, nous vérifions que ces métaheuristiques génèrent des solutions optimales.

Perceptions par divers acteurs d'une politique éventuelle de promotion de santé nutritionnelle en milieu scolaire libanais

Thesis (French) including 3 main articles (English)

La multiculturalité de la société des peuples : éthique et géopolitique d'une utopie réaliste : le cas de l'Afrique

La publication de Théorie de la justice par John Rawls en 1971 a apporté un nouvel élan à la philosophie politique. Plusieurs commentaires et critiques de ce livre ont ainsi nourri la réflexion sur la question de la justice sociale dans son application à l’échelle mondiale. Dans ce livre, l’auteur a démontré entre autres que la démocratie libérale permet aux citoyens ayant diverses conceptions du bien, conceptions religieuses, philosophiques ou morales, souvent incompatibles et irréconciliables, d’avoir par ailleurs une conception politique de la rectitude morale et de la justice comme fondement de la structure de base de leur société. Ceci permet alors de soutenir l’unité politique et sociale de cette structure sur une base rationnelle et raisonnable. Par la suite, dans The Law of Peoples, Rawls a présenté un autre projet, celui d’étendre cette conception à la ‘Société des peuples’ qui, pour lui, est une idéalisation du regroupement des peuples qui respectent les idéaux et les principes du ‘Droit des peuples’ dans leurs relations mutuelles, le ‘Droit des peuples’ étant, pour Rawls, une conception politique particulière de la rectitude morale et de la justice qui s’applique aux principes et aux normes du droit et des usages internationaux. Ce projet de Rawls est, comme il l’a nommé lui-même, une utopie réaliste. Partant de cette dernière comme d’un prétexte, notre étude s’inscrit dans un champ de recherche particulier de la philosophie politique, à savoir l’éthique des relations internationales. Elle se veut une contribution à l’élaboration d’une réflexion normative portant sur les principes fondamentaux de justice dans l’ordre international tel qu’il se présente dans les institutions qui l’incarnent aujourd’hui encore, comme le système des Nations Unies, et sur les conséquences de cet ordre dans l’intégration des pays de la région africaine des Grands Lacs. D’où ces questions : Qu’est-ce que l’utopie rawlsienne change-t-elle à l’ordre mondial actuel? Ses principes fondent-ils une éthique susceptible d’améliorer les relations internationales? Quelle serait la place des pays africains, et plus spécialement ceux de la région des Grands Lacs, dans l’ordre mondial inhérent à ce projet? Les réponses à ces questions déterminent ce qui pourrait être considéré comme l’éthique de la gouvernance démocratique globale et les structures pouvant l’incarner.

Le port des signes religieux dans l'espace public : une réflexion à partir du droit international et d'une comparaison entre le Canada, les États-Unis, la France et la Suisse

Après avoir établi les bases méthodologiques de cette recherche, nous avons débuté notre réflexion en inscrivant la problématique du port des signes religieux dans l’espace public dans le débat qui perdure entre les perspectives différentialiste et universaliste au niveau de l’application des droits à l’égalité. Par la suite, nous effectuons un survol des cadres conceptuels appropriés à l’analyse du sujet: le libéralisme classique et le républicanisme qui se rapportent à la vision universaliste. Les divers types de féminisme juridique, la théorie de l’intersectionnalité, l’approche communautarienne, le libéralisme repensé de Kymlicka et les valeurs relatives au droit à l’égalité de Sandra Fredman qui se rangent sous la houlette de la philosophie différentialiste. Par la suite, le libéralisme repensé de Kymlicka et les valeurs relatives au droit à l’égalité de Fredman sont identifiés comme étant les cadres les plus appropriés à l’analyse du sujet à l’étude. Dans cette même optique, notre examen du droit international nous a permis de démontrer que pendant que le droit européen se range davantage dans la perspective universaliste au niveau de l’examen du droit à la liberté de religion, tel n’est pas le cas pour le droit onusien qui se joint timidement à la vision différentialiste et donc, du libéralisme repensé de Kymlicka et de la perspective des droits à l’égalité de Fredman. Au niveau des systèmes juridiques des États-Unis, du Canada, de la France et de la Suisse, nous avons vu une application intermittente des deux perspectives dépendant du domaine d’activité en cause. Cependant, le Canada est ressorti de notre analyse comme étant celle ayant une approche plus axée sur la vision différentialiste en raison de sa neutralité inclusive ou bienveillante qui accorde une grande place à l’inclusion et à l’égalité réelle de ces nationaux.

L'absorption des recours pour atteinte illicite prévus à la Charte des droits et libertés de la personne par le régime de responsabilité civile de droit commun

Dans une séquence d'arrêts rendus à partir de 1996, la Cour suprême du Canada établit que les recours pour « atteinte illicite » prévus à l'article 49 de la Charte des droits et libertés de la personne doivent être soumis au régime de responsabilité civile de droit commun. La Cour suprême indique à cette occasion que, pour qu’il y ait atteinte illicite à un droit, la violation de ce droit devra être qualifiée de fautive. Cette qualification pourra être démontrée par « la transgression d’une norme de conduite jugée raisonnable dans les circonstances selon le droit commun » ou, « comme c’est le cas pour certains droits », lorsqu’un comportement transgresse « […] une norme dictée par la Charte elle-même ». Dans le premier cas, la notion de faute absorbe la notion d’illicéité, alors que dans le deuxième cas elle se dissout dans l’illicite (ce qui en fait une faute objective in abstracto). Or, dans ce dernier cas, la Cour suprême du Canada, en 2008, dans l’arrêt Ciment du Saint-Laurent, a indiqué que la faute constitue une obligation de moyens, qui s’évalue selon le critère de la personne prudente et diligente. Il ne peut donc s’agir d’une obligation de résultats. Il serait donc maintenant difficile de concilier cette caractérisation de la faute avec la politique adoptée par la Cour suprême en matière de Charte. Puisque le texte de la Charte contient lui-même les conditions matérielles et formelles dans lesquelles il sera possible de conclure à l’existence d’une atteinte illicite, il serait souhaitable, aux fins d’assurer la cohérence du droit, que la méthode de convergence des recours entre le Code et la Charte soit délaissée afin de reconnaître la pleine autonomie matérielle des recours prévus à la Charte, ce qui, du même coup, aurait pour effet de ne pas dénaturer la notion de faute. De plus, alors que la Cour suprême établissait dans ces arrêts qu’une atteinte illicite ne comporte pas un préjudice en soi, l’auteure soutien que le dommage causé à un droit comporte toujours un préjudice inhérent, que le droit se doit de sanctionner.

L’argument de la pente glissante : analyse rhétorique de son usage en bioéthique (avortement et euthanasie)

Cette étude examine comment l’argument de la pente glissante est employé dans les débats sur l’avortement et sur l’euthanasie. L’hypothèse est la suivante : l’argument de la pente glissante peut être utilisé de manière fallacieuse dans certains cas, mais il peut également s’avérer raisonnable dans d’autres. L’objectif de cette étude est d’étudier certains arguments récurrents du discours bioéthique afin de tester leur pertinence, leur validité et leurs conséquences sur le plan philosophique. Cette étude se divise en deux parties. La première partie s’intéresse à l’usage de la pente glissante de type « sorite » dans le débat sur l’avortement. La deuxième partie se penche sur l’argument de la pente glissante complète telle qu’il est employé dans le débat sur l’euthanasie.

Développement d’une méthode d’extraction des contaminants émergents dans les solides particulaires par LDTD-APCI-MS/MS

Douze contaminants émergents (composés pharmaceutiques, pesticides et hormones) ont été quantifiés et extraits de l'eau de rivières et d’échantillons d'eaux usées municipales. La séparation des solides en suspension est effectuée par filtration des échantillons d'eau. L'effet de filtration sur les concentrations de contaminants dissous a été évaluée afin de minimiser les pertes de composés cibles. Les échantillons ont été lyophilisés et ont été extraits en deux cycles par ultrasons combinés avec une étape de nettoyage sur cartouche d’extraction de type C18. La quantification a été réalisée en utilisant la spectrométrie de masse. Les recouvrements de la méthode pour tous les composés ont varié de 68 à 112% dans toutes les matrices étudiées, sauf pour le sulfaméthoxazole et le diclofénac où des recouvrements plus modestes ont été obtenus (38 à 85%). Les limites de détection pour les 12 analytes dans les sédiments et particules en suspension (SPM) de la rivière variaient de 0,7 à 9,4 ng g-1 et de 21 à 92 ng g-1, pour les échantillons SPM de station d'épuration. Tous les contaminants émergents cibles ont été détectés à des concentrations variant de 3 à 5440 ng g-1 dans les matrices étudiées, les concentrations les plus élevées ont été observées dans les échantillons SPM de stations d'épuration. Une partie importante de certains de ces contaminants est clairement associée aux sédiments de rivière ou aux particules en suspension. L’optimisation des processus de traitement de l'eau et le devenir environnemental doit absolument tenir compte de la fraction de contaminants qui liée à des particules si on espère avoir un bilan de masse raisonnable.