"Computer ""Insecurity"" and Viral Attacks:Liability Issues Regarding Unsafe Computer Systems Under Quebec Law"

Dans un contexte où les virus informatiques présentent un risque sérieux pour les réseaux à travers le globe, il est impératif de retenir la responsabilité des compagnies qui n’y maintiennent pas une sécurité adéquate. À ce jour, les tribunaux québécois n’ont pas encore été saisis d’affaires en responsabilité pour des virus informatiques. Cet article brosse un portrait général de la responsabilité entourant les virus informatiques en fonction des principes généraux de responsabilité civile en vigueur au Québec. L’auteur propose des solutions pour interpréter les trois critères traditionnels ­ la faute, le dommage et le lien causal ­ en mettant l’accent sur l’obligation de précaution qui repose sur les épaules de l’administrateur de réseau. Ce joueur clé pourrait bénéficier de l’adoption de dispositions générales afin de limiter sa responsabilité. De plus, les manufacturiers et les distributeurs peuvent également partager une partie de la responsabilité en proportion de la gravité de leur faute. Les entreprises ont un devoir légal de s’assurer que leurs systèmes sont sécuritaires afin de protéger les intérêts de leurs clients et des tiers.

Enfant de qui ? Procréation assistée et filiation en Suisse et au Québec

"En janvier 2007, à 28 ans, Louise Brown est devenue maman. Trente ans, c’est le temps qu’il faut à une génération pour se renouveler. C’est aussi le temps, si bref à l’échelle de l’histoire, pour que les bouleversements induits par la science et les mœurs au XXème siècle modifient profondément le visage de la famille et de son ciment le plus intime, la filiation. Ce travail rend compte de la manière dont le droit appréhende ces changements dans des sociétés occidentales de plus en plus tiraillées entre leurs racines judéo-chrétiennes et leurs aspirations technologiques. Il cherche à comprendre la place du droit dans les nouveaux édifices familiaux et à évaluer la qualité des solutions que celui-ci propose face aux enjeux multiples et complexes de la procréation assistée. Il s’attache pour ce faire à l’examen de deux juridictions partageant un héritage commun à bien des égards, mais suivant des voies normatives différentes : la Suisse et le Québec. À ce titre, il définit des outils conceptuels nécessaires à la compréhension de la notion de filiation ; il rend compte de la façon dont le droit a manipulé ces outils en régissant l’établissement de la filiation, la preuve de la filiation et la procréation assistée à proprement parler ; et il conclut par une évaluation critique des solutions envisagées dans les deux systèmes étudiés. Il met ainsi en exergue les enjeux de la procréation assistée pour le droit de la filiation et la grande palette de solutions législatives envisageables. Il démontre que deux systèmes de droit peuvent traduire des préoccupations partagées par des dispositions diamétralement opposées. En particulier, l’égalité, la liberté et le bien de l’enfant se concrétisent selon des conceptions distinctes. L’attachement aux institutions se manifeste à des degrés variables. Les innovations scientifiques sont accueillies avec un enthousiasme plus ou moins soutenu. Tous ces facteurs sont les déterminants des familles suisse et québécoise, qui, pour s’être longtemps ressemblées, prennent aujourd’hui des chemins différents ... mais pas irrémédiablement irréconciliables."

Code source et sources codifiées : pour une cyberjustice québécoise ouverte et accessible

Dans cet article issu d’une conférence prononcée dans le cadre du Colloque Leg@l.IT (www.legalit.ca), l’auteur offre un rapide survol des fonctionnalités offertes par les systèmes de dépôt électronique de la Cour fédérale et de la Cour canadienne de l’impôt afin de dégager les avantages et inconvénients de chacune des technologies proposées. Cet exercice s’inscrit dans une réflexion plus large sur les conséquences de la migration progressive de certaines juridictions vers le dépôt électronique. Si cette tentative de moderniser le processus judiciaire se veut bénéfique, il demeure qu’un changement technologique d’une telle importance n’est pas sans risques et sans incidences sur les us et coutumes de l’appareil judiciaire. L’auteur se questionne ainsi sur la pratique adoptée par certains tribunaux judiciaires de développer en silo des solutions d’informatisation du processus de gestion des dossiers de la Cour. L’absence de compatibilité des systèmes et le repli vers des modèles propriétaires sont causes de soucis. Qui plus est, en confiant le développement de ces systèmes à des firmes qui en conservent la propriété du code source, ils contribuent à une certaine privatisation du processus rendant la mise en réseau de l’appareil judiciaire d’autant plus difficile. Or, dans la mesure où les systèmes de différents tribunaux seront appelés à communiquer et échanger des données, l’adoption de solutions technologiques compatibles et ouvertes est de mise. Une autre problématique réside dans l’apparente incapacité du législateur de suivre l’évolution vers la  virtualisation du processus judiciaire. Le changement technologique impose, dans certains cas, un changement conceptuel difficilement compatible avec la législation applicable. Ce constat implique la nécessité d’un questionnement plus profond sur la pertinence d’adapter le droit à la technologie ou encore la technologie au droit afin d’assurer une coexistence cohérente et effective de ces deux univers.

Sur le chemin de Kahnawake. Décolonisation du droit et mondialisations

Trop d’années sont maintenant passées pour que je me souvienne encore des conditions précises dans lesquelles j’ai noué ce colloque singulier avec Andrée Lajoie, colloque qui dure depuis plus de vingt ans, et qui n’a cessé de m’enrichir. Notre collègue et amie croit fondamentalement dans le Droit, beaucoup moins dans la capacité des juristes à trouver les réponses à la hauteur des problèmes auxquels sont confrontées nos sociétés contemporaines. D’où une attente et une exigence qui l’ont conduite à  interroger les expériences qui pourraient répondre à sa curiosité, tant dans le cadre de son propre biculturalisme juridique que dans ceux d’autres sociétés, sur d’autres continents, voire à d’autres moments de nos histoires communes. Mais, toujours me semble-t-il, avec une approche pragmatique car la théorie doit servir la pratique, non l’asservir, et l’objectif est de trouver des solutions concrètement mobilisables. Elle préfère aussi le fluide au flou, la reconnaissance de la multiplicité des facteurs interférant dans une décision juridique ou judiciaire au simplisme de la seule herméneutique juridique (Lajoie, 1997). Bref, elle est ouverte aux aventures intellectuelles.

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.

Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

Routage adaptatif et stabilité dans les réseaux maillés sans fil

Grâce à leur flexibilité et à leur facilité d’installation, les réseaux maillés sans fil (WMNs) permettent un déploiement d’une infrastructure à faible coût. Ces réseaux étendent la couverture des réseaux filaires permettant, ainsi, une connexion n’importe quand et n’importe où. Toutefois, leur performance est dégradée par les interférences et la congestion. Ces derniers causent des pertes de paquets et une augmentation du délai de transmission d’une façon drastique. Dans cette thèse, nous nous intéressons au routage adaptatif et à la stabilité dans ce type de réseaux. Dans une première partie de la thèse, nous nous intéressons à la conception d’une métrique de routage et à la sélection des passerelles permettant d’améliorer la performance des WMNs. Dans ce contexte nous proposons un protocole de routage à la source basé sur une nouvelle métrique. Cette métrique permet non seulement de capturer certaines caractéristiques des liens tels que les interférences inter-flux et intra-flux, le taux de perte des paquets mais également la surcharge des passerelles. Les résultats numériques montrent que la performance de cette métrique est meilleure que celle des solutions proposées dans la littérature. Dans une deuxième partie de la thèse, nous nous intéressons à certaines zones critiques dans les WMNs. Ces zones se trouvent autour des passerelles qui connaissent une concentration plus élevé du trafic ; elles risquent de provoquer des interférences et des congestions. À cet égard, nous proposons un protocole de routage proactif et adaptatif basé sur l’apprentissage par renforcement et qui pénalise les liens de mauvaise qualité lorsqu’on s’approche des passerelles. Un chemin dont la qualité des liens autour d’une passerelle est meilleure sera plus favorisé que les autres chemins de moindre qualité. Nous utilisons l’algorithme de Q-learning pour mettre à jour dynamiquement les coûts des chemins, sélectionner les prochains nœuds pour faire suivre les paquets vers les passerelles choisies et explorer d’autres nœuds voisins. Les résultats numériques montrent que notre protocole distribué, présente de meilleurs résultats comparativement aux protocoles présentés dans la littérature. Dans une troisième partie de cette thèse, nous nous intéressons aux problèmes d’instabilité des réseaux maillés sans fil. En effet, l’instabilité se produit à cause des changements fréquents des routes qui sont causés par les variations instantanées des qualités des liens dues à la présence des interférences et de la congestion. Ainsi, après une analyse de l’instabilité, nous proposons d’utiliser le nombre de variations des chemins dans une table de routage comme indicateur de perturbation des réseaux et nous utilisons la fonction d’entropie, connue dans les mesures de l’incertitude et du désordre des systèmes, pour sélectionner les routes stables. Les résultats numériques montrent de meilleures performances de notre protocole en comparaison avec d’autres protocoles dans la littérature en termes de débit, délai, taux de perte des paquets et l’indice de Gini.

Analyse didactique du volet numérique du programme Fluppy au préscolaire

La thèse porte sur l’analyse qualitative de situations didactiques intégrées au programme de prévention au préscolaire Fluppy. Conçu pour la prévention de la violence et du décrochage scolaire (Tremblay et al., 1992, Tremblay et al., 1995), ce programme s’est enrichi depuis une dizaine d’années de différentes composantes d’intervention, dont une sur l’enseignement du français et des mathématiques. Ce programme, relevant aujourd’hui d’une approche multimodale, a fait l’objet d’une évaluation d’impact en 2002-2004 (Capuano et al., 2010). Le devis quasi-expérimental n’a cependant pas permis de procéder à une analyse appropriée au cadre méthodologique, l’ingénierie didactique (Artigue, 1990), sur lequel se fondent les situations didactiques en mathématiques. La thèse procède donc à la validation interne des trois séquences numériques, issues de la composante mathématique, telles qu’expérimentées dans deux classes du préscolaire en 2011-2012. La première séquence vise au développement des connaissances sur la désignation de quantités. La deuxième sur la comparaison numérique et, la troisième, sur la composition additive des nombres. Les analyses mettent en évidence : 1) certains décalages entre la proposition didactique et la réalisation effective des situations; 2) l’évolution des connaissances numériques des élèves; 3) les forces et les limites de l’analyse a priori. L’interprétation des résultats ouvre sur un enrichissement de l’analyse a priori des situations didactiques ainsi que sur de nouvelles considérations relatives aux processus de dévolution et d’institutionnalisation dans le cadre de l’appropriation de situations didactiques par des enseignants du préscolaire.

Caractérisation phénotypique et génotypique de Campylobacter jejuni et évaluation d’une stratégie de contrôle de la colonisation du poulet de chair par ce pathogène alimentaire

Campylobacter jejuni est l’agent causal de la campylobactériose, infection bactérienne importante en santé publique. Un des vecteurs de transmission de C. jejuni pour l’humain est le poulet via la chaîne alimentaire. Les mécanismes impliqués dans colonisation caecale commensale des oiseaux par C. jejuni sont toujours peu caractérisés, bien qu’une meilleure compréhension de ces mécanismes puisse apporter des solutions pour le contrôle du pathogène à la ferme. Cette étude avait pour buts de caractériser les propriétés phénotypiques et les facteurs génétiques impliqués dans la colonisation du poulet par C. jejuni et d’identifier de nouveaux mécanismes impliqués dans cette association. Des souches, issues d’élevages conventionnels échantillonnés en 2003 et en 2008 ainsi que d’élevages biologiques, ont été caractérisées afin d’obtenir leur profil de résistance aux antibiotiques, leur autoagglutination et leur chimiotactisme. Les souches des élevages conventionnels ont de plus été caractérisées pour leur capacité à adhérer et envahir une culture primaire de cellules caecales de poulet. Une puce à ADN a été développée pour détecter la présence de 254 gènes et variants associés à la colonisation des poulets ainsi qu’à la résistance aux antibiotiques chez les souches issues d’élevages conventionnels. Les propriétés phénotypiques et la présence de certains gènes chez les souches ont par la suite été comparées. Finalement, des souches ayant des caractéristiques différentes ont été utilisées dans un modèle de colonisation du poulet pour évaluer l’efficacité d’un nouvel additif alimentaire à base d’acides organiques et d’huiles essentielles sur le contrôle de C. jejuni. Les propriétés phénotypiques des souches étaient très variées et n’étaient pas corrélées entre elles, à l’exception de l’adhésion et de l’invasion. L’analyse génétique a révélé que le contenu en gènes des souches était variable, notamment au niveau des gènes de l’enveloppe bactérienne, au flagelle, aux récepteurs du chimiotactisme et à la résistance à l’arsenic. Les souches de 2003 et de 2008 étaient semblables lorsque leur contenu en gènes ainsi que leurs propriétés phénotypiques étaient comparés. Des gènes possiblement associés à un fort ou un faible potentiel de colonisation ont été identifiés. L’additif alimentaire a diminué la contamination des carcasses bien qu’une augmentation de la colonisation intestinale ait été observée pour certaines souches. La moitié des lots de poulets d’origine biologique étaient positifs pour C. jejuni. Les souches issues de ce type d’élevage étaient peu résistantes aux antibiotiques et possédaient des phénotypes variés. Cette étude a permis de mieux définir les caractéristiques importantes de C. jejuni qui sont associées à la colonisation intestinale du poulet. Elle a établi pour la première fois au Canada la présence du pathogène dans les élevages de poulets biologiques. Cette étude fait partie des quelques études qui décrivent la présence des gènes de colonisation et de résistance aux antibiotiques dans une collection de souches issues uniquement du poulet. Elle a également remis en doute l’importance de certains gènes dans la colonisation. La caractérisation exhaustive des souches a également permis d’identifier de nouveaux gènes possiblement associés à la colonisation de poulet par C. jejuni. Finalement, elle a indiqué que l’utilisation d’un mélange d’huiles essentielles et d’acide organique encapsulés pouvait être efficace pour réduire la contamination des carcasses de poulet par C. jejuni et que son effet était souche-dépendant.

Élaboration d’un programme de formation continue en ligne sur les soins palliatifs aux personnes atteintes d’insuffisance cardiaque

Travail dirigé présenté à la Faculté des études supérieures et postdoctorales en vue de l’obtention du grade de Maître ès sciences (M.sc.) en soins infirmiers option formation

Programme visant l'amélioration du sentiment de compétence sociale chez les préadolescents ayant un trouble envahissant du développement sans déficience intellectuelle

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation.

Proposition théorique constructiviste du développement de la compétence culturelle infirmière

Dans un contexte de mondialisation, les frontières géographiques et politiques se font de plus en plus diffuses et donnent lieu à un mélange des cultures tant au niveau local qu'international. Ce pluralisme culturel observé dans la population se transpose dans les milieux de soins, amenant son lot d'enjeux et de défis pour la pratique et la formation infirmière. Le développement de la compétence culturelle chez les professionnels de la santé est considéré comme l'une des solutions favorisant la qualité et l'équité dans les soins en contexte de diversité culturelle. La compétence culturelle fait l'objet de nombreux articles scientifiques en sciences infirmières, mais bon nombre d'entre eux sont issus d'une perspective essentialiste. À notre connaissance, aucune étude ne permet de représenter la trajectoire de développement de cette compétence sur un continuum intégrant des apprentissages réalisés à la fois chez des étudiantes et des infirmières selon une perspective constructiviste. Cette étude vise donc à formuler une proposition théorique constructiviste du développement de la compétence culturelle infirmière. L'approche de théorisation ancrée de Corbin et Strauss (2008) a permis de documenter le processus de développement de la compétence culturelle chez des infirmières et des étudiantes dans un Centre de santé et de services sociaux desservant une population qui présente une grande diversité culturelle. Une stratégie d'échantillonnage intentionnel a permis de recruter des infirmières identifiées par leurs pairs comme étant expertes du domaine des soins en contexte de diversité culturelle, des infirmières se disant intéressées par une pratique culturellement compétente et des étudiantes en dernière année d'un programme de baccalauréat en sciences infirmières. Un total de 24 participantes, dont 13 infirmières et 11 étudiantes ont pris part à cette étude. Un questionnaire sociodémographique, des périodes d'observation participante et des entrevues semi-structurées ont servi d'outils de collecte des données. La catégorie centrale « apprendre à réunir les différentes réalités afin d'offrir des soins efficaces en contexte de diversité culturelle » a été construite à partir d'une analyse inductive des données. Cette catégorie centrale se divise en trois sous-catégories : « construire la relation avec l'autre », « sortir du cadre habituel de pratique » et « réinventer sa pratique dans l'action ». La proposition théorique formulée présente l'évolution concomitante de ces trois sous-catégories en trois niveaux de développement de la compétence culturelle infirmière : « s'ouvrir aux différentes réalités entourant la pratique en contexte de diversité culturelle », « mettre à l'épreuve sa pratique » et « réunir les différentes réalités de la pratique en contexte de diversité culturelle de façon intégrée ». La proposition théorique constructiviste est ancrée dans les données empiriques, circonscrit des étapes de développement interreliées et met en contexte les apprentissages du début du développement de la compétence culturelle à l'expertise. Les éléments contextuels précisés suggèrent l'ajout des dimensions sociales et politiques dans la définition du concept de compétence culturelle. Les deux principales contributions théoriques de cette étude soulignent que l'interaction entre l'infirmière et l'environnement de même que l'expérience clinique sont constitutifs du développement de cette compétence. Les retombées de cette recherche se situent non seulement en formation, mais aussi dans la pratique, la gestion et la recherche en sciences infirmières.

Évaluation du projet Hôpital promoteur de santé en contexte de périnatalité : analyse logique et analyse d’implantation

Problématique : Le concept d’« Hôpital promoteur de santé » (HPS) a émergé dans le sillon de la Charte d’Ottawa (1986) qui plaide notamment pour une réorientation des services de santé vers des services plus promoteurs de santé. Il cible la santé des patients, du personnel, de la communauté et de l’organisation elle-même. Dans le cadre de la réforme du système de santé au Québec qui vise à rapprocher les services de la population et à faciliter le cheminement de toute personne au sein d’un réseau local de services de santé et de services sociaux (RLS), l’adoption du concept HPS semble constituer une fenêtre d’opportunité pour les CHU, désormais inclus dans des réseaux universitaires intégrés de soins de santé et rattachés aux RLS, pour opérer des changements organisationnels majeurs. Face au peu de données scientifiques sur l’implantation des dimensions des projets HPS, les établissements de santé ont besoin d’être accompagnés dans ce processus par le développement de stratégies claires et d’outils concrets pour soutenir l’implantation. Notre étude porte sur le premier CHU à Montréal qui a décidé d’adopter le concept et d’implanter notamment un projet pilote HPS au sein de son centre périnatal. Objectifs : Les objectifs de la thèse sont 1) d’analyser la théorie d’intervention du projet HPS au sein du centre périnatal; 2) d’analyser l’implantation du projet HPS et; 3) d’explorer l’intérêt de l’évaluation développementale pour appuyer le processus d’implantation. Méthodologie : Pour mieux comprendre l’implantation du projet HPS, nous avons opté pour une étude de cas qualitative. Nous avons d’abord analysé la théorie d’intervention, en procédant à une revue de la littérature dans le but d’identifier les caractéristiques du projet HPS ainsi que les conditions nécessaires à son implantation. En ce qui concerne l’analyse d’implantation, notre étude de cas unique a intégré deux démarches méthodologiques : l’une visant à apprécier le niveau d’implantation et l’autre, à analyser les facteurs facilitants et les contraintes. Enfin, nous avons exploré l’intérêt d’une évaluation développementale pour appuyer le processus d’implantation. À partir d’un échantillonnage par choix raisonnés, les données de l’étude de cas ont été collectées auprès d’informateurs clés, des promoteurs du projet HPS, des gestionnaires, des professionnels et de couples de patients directement concernés par l’implantation du projet HPS au centre périnatal. Une analyse des documents de projet a été effectuée et nous avons procédé à une observation participante dans le milieu. Résultats : Le premier article sur l’analyse logique présente les forces et les faiblesses de la mise en oeuvre du projet HPS au centre périnatal et offre une meilleure compréhension des facteurs susceptibles d’influencer l’implantation. Le second article apprécie le niveau d’implantation des quatre dimensions du projet HPS. Grâce à la complémentarité des différentes sources utilisées, nous avons réussi à cerner les réussites globales, les activités partiellement implantées ou en cours d’implantation et les activités reposant sur une théorie d’intervention inadéquate. Le troisième article met en évidence l’influence des caractéristiques de l’intervention, des contextes externe et interne, des caractéristiques individuelles sur le processus d’implantation à partir du cadre d’analyse de l’implantation développé par Damschroder et al. (2009). Enfin, le dernier article présente les défis rencontrés par la chercheure dans sa tentative d’utilisation de l’évaluation développementale et propose des solutions permettant d’anticiper les difficultés liées à l’intégration des exigences de recherche et d’utilisation. Conclusion : Cette thèse contribue à enrichir la compréhension de l’implantation du projet HPS dans les établissements de santé et, particulièrement, en contexte périnatal. Les résultats obtenus sont intéressants pour les chercheurs et les gestionnaires d’hôpitaux ou d’établissements de santé qui souhaitent implanter ou évaluer les projets HPS dans leurs milieux.

Lagrangian-informed mixed integer programming reformulations

La programmation linéaire en nombres entiers est une approche robuste qui permet de résoudre rapidement de grandes instances de problèmes d'optimisation discrète. Toutefois, les problèmes gagnent constamment en complexité et imposent parfois de fortes limites sur le temps de calcul. Il devient alors nécessaire de développer des méthodes spécialisées afin de résoudre approximativement ces problèmes, tout en calculant des bornes sur leurs valeurs optimales afin de prouver la qualité des solutions obtenues. Nous proposons d'explorer une approche de reformulation en nombres entiers guidée par la relaxation lagrangienne. Après l'identification d'une forte relaxation lagrangienne, un processus systématique permet d'obtenir une seconde formulation en nombres entiers. Cette reformulation, plus compacte que celle de Dantzig et Wolfe, comporte exactement les mêmes solutions entières que la formulation initiale, mais en améliore la borne linéaire: elle devient égale à la borne lagrangienne. L'approche de reformulation permet d'unifier et de généraliser des formulations et des méthodes de borne connues. De plus, elle offre une manière simple d'obtenir des reformulations de moins grandes tailles en contrepartie de bornes plus faibles. Ces reformulations demeurent de grandes tailles. C'est pourquoi nous décrivons aussi des méthodes spécialisées pour en résoudre les relaxations linéaires. Finalement, nous appliquons l'approche de reformulation à deux problèmes de localisation. Cela nous mène à de nouvelles formulations pour ces problèmes; certaines sont de très grandes tailles, mais nos méthodes de résolution spécialisées les rendent pratiques.

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.