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.

Le Programme Hors Normes en santé au travail : représentations d’infirmières du secteur public

Depuis 2006, le Programme Hors Normes (PHN) dicte une nouvelle marche à suivre que doivent privilégier les équipes de santé au travail (SAT) lorsque des travailleurs sont exposés à des concentrations environnementales de produits chimiques supérieures aux valeurs d’exposition admissibles, c’est-à-dire à des « hors normes ». Le PHN encadre les activités de signalements des hors normes aux instances concernées et demande des suivis plus rigoureux en établissements. Ce faisant, il redéfinit les rôles des infirmières et des membres des équipes SAT. Dans le but de mieux comprendre l’implication des infirmières dans le cadre du PHN, sept entretiens individuels semi-dirigés ont été réalisés afin d’explorer et de décrire leurs représentations. L’analyse qualitative de ces représentations, par catégorisation et comparaisons constantes des discours, révèle que les infirmières se représentent de diverses façons leur pratique dans le cadre du PHN. En effet, les résultats de l’étude montrent qu’afin de comprendre l’implication des infirmières dans ce programme d’intervention, il importe de considérer les quatre éléments suivants : l’organisation du travail, les aspects relationnels (dynamique de relations), les cibles d’intervention et l’utilité du travail des infirmières (sens donné au travail). Afin de faciliter leur participation dans les programmes d’intervention et d’encourager la collaboration, tant intersectorielle qu’interprofessionnelle, il est suggéré en premier lieu de favoriser l’implication des infirmières dans les processus d’élaboration et d’implantation de programmes d’intervention. En second lieu, il est proposé de mettre en place une formation continue interprofessionnelle permettant une meilleure harmonisation des pratiques professionnelles.

Attitudes stigmatisantes envers les personnes vivant avec le VIH : développement et validation d’un instrument de mesure intégrant un dispositif participatif

Contexte : De manière générale, on considère que le processus de validation d’un instrument de mesure porte sur la validité et la fiabilité. Or, la nature dynamique et évolutive de certaines problématiques, comme la stigmatisation des personnes vivant avec le VIH (PVVIH), laisse croire qu’il est particulièrement important de réinvestir rapidement dans la pratique, les résultats produits par les mesures ainsi validées. Objectifs : La présente thèse vise à développer et valider une échelle de mesure des attitudes stigmatisantes envers les PVVIH en intégrant un dispositif participatif. La thèse utilise en partie les données d’une enquête de surveillance des attitudes envers les PVVIH au Québec, elle comporte trois études qui répondent aux trois objectifs spécifiques suivants : (1) valider la version révisée d’un instrument de mesure des attitudes favorables à la stigmatisation dans la population générale du Québec envers les PVVIH; (2) analyser la relation entre la mesure des attitudes favorables à la stigmatisation et le recours au dépistage du VIH dans la population générale du Québec; (3) décrire et analyser les processus de circulation et d’utilisation des connaissances produites par l’instrument de mesure dans les réseaux professionnels des membres d’un comité consultatif. Méthodes : Un comité consultatif réunissant plusieurs partenaires issus de différents milieux a été constitué dès l’obtention de la subvention. Il a été consulté et informé avant, pendant et après l’enquête téléphonique populationnelle (n=1500) ayant permis de colliger les données. L’Échelle des Attitudes Stigmatisantes envers les Personnes Vivant avec le VIH (EASE-PVVIH) a été validée au moyen de plusieurs analyses psychométriques : analyses factorielles exploratoires et confirmatives, corrélations, régression linéaire multiple, test-t, tests d’hypothèses d’invariance de la structure factorielle et alphas de Cronbach (objectif 1). L’association entre les attitudes favorables à la stigmatisation et le recours au dépistage du VIH a été testée à l’aide de régressions logistiques hiérarchiques (objectif 2). Quant aux processus de circulation et d’utilisation des connaissances dans les réseaux professionnels, ils ont été analysés au moyen d’une étude de cas rétrospective (objectif 3). Résultats : Les analyses ont révélé trois résultats importants. Premièrement, d’un point de vue psychométrique, l’EASE-PVVIH est un outil fiable et valide pour mesurer les attitudes stigmatisantes envers les personnes vivant avec le VIH. Deuxièmement, sous une certaine forme caractérisée par l’inquiétude éprouvée lors de rencontres occasionnelles, les attitudes stigmatisantes par rapport aux personnes vivant avec le VIH semblent nuire au recours au test de dépistage dans la population générale au Québec. Troisièmement, un dispositif participatif en particulier, soit un comité consultatif, semble être un moyen pour favoriser le réinvestissement rapide et étendre la portée des résultats produits par la recherche dans des actions concrètes de santé publique. Conclusion : Ces résultats mettent en lumière la portée d’un dispositif participatif pour la validation d’instrument de mesure. L’arrimage entre les préoccupations scientifiques et pratiques apparaît être une avenue prometteuse pour améliorer la qualité et la pertinence sociale des données produites par les mesures.

Évaluation de la relation entre la fibrose des tissus adipeux et la résistance à l’insuline chez l’humain obèse, avant et après chirurgie bariatrique

L’obésité est associée au développement de plusieurs complications métaboliques, dont la résistance à l’insuline (RI). Or, certains sujets obèses ne développent pas de RI. Ces obèses sensibles à l’insuline (ISO) représentent un modèle humain unique pour étudier les facteurs impliqués dans le développement de la RI. La fibrose du tissu adipeux a été directement associée au développement de la RI chez le rongeur. Nous avons donc évalué la fibrose dans les tissus adipeux sous-cutané (TASC) et viscéral (TAV) d’individus obèses ISO, résistants à l’insuline (IRO) et diabétiques de type 2 (DT2), avant et six mois après leur chirurgie bariatrique. Malgré un âge, IMC et pourcentage de masse grasse semblables, les ISO présentaient une RI inférieure à celle des IRO avant la chirurgie (p < 0,05). Aucune différence n’a été observée entre les sujets ISO, IRO et DT2 en ce qui concerne la fibrose totale et les niveaux d’expression de gènes associés à la fibrose, ni dans le TASC ni dans le TAV. Toutefois, le log du pourcentage de fibrose dans le TASC était positivement corrélé avec le log de HOMA-IR (r = 0,3847, p = 0,0476) avant la chirurgie. Six mois plus tard, les niveaux de fibrose demeurent inchangés dans le TASC, mais la RI est significativement réduite dans tous les groupes, particulièrement chez les DT2. Aucune corrélation n’a été observée entre la fibrose du TASC et l’HOMA-IR après la chirurgie. Ces résultats montrent une association significative, mais éphémère entre la fibrose du TASC et la RI chez l’humain obèse.