Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

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.

Web, texte, conversation et redocumentarisation

Conférencier invité - Keynote Speaker

Étude des interactions protéiques impliquant NPM-MLF1 dans la leucémie myéloïde aiguë.

Différentes translocations génomiques sont fréquemment associées à l'apparition de leucémies myéloïdes aiguës (LMA). Ces translocations génomiques résultent de l’assemblage de deux gènes conduisant à la production d'une protéine de fusion. C'est le cas de la translocation t (3; 5) (q25.1; q34) impliquant le suppresseur tumoral NPM et l'oncogène MLF1 donnant naissance à la protéine de fusion NPM-MLF1. Généralement, les gènes impliqués dans ces translocations contrôlent la croissance cellulaire, la différenciation ou la survie cellulaire. Cependant, pour NPM-MLF1 les causes du gain ou de la perte de fonction associée à la translocation demeurent inconnues car nous ne savons pas comment cette translocation peut favoriser ou participer à l'avènement de la LMA. Le but de ce travail est d’analyser le rôle de NPM-MLF1 dans le cancer et d’examiner comment son activité contribue à la leucémie en faisant des études d’interactions protéine/protéine. En effet, l’étude de la fonction d’une protéine implique souvent de connaître ses partenaires d’interactions. Pour ce faire, la technique de double hybride dans la souche de levure AH109 a été utilisée. Tout d’abord, les ADN complémentaires (ADNc) de MLF1, NPM1 et de NPM-MLF1, MLF1-Like (une partie de MLF1 de l’acide aminé 94 à 157) normaux et mutés du domaine MTG8-Like constitué des acides aminés (a.a.) 151 à 164 de MLF1 (excepté NPM) ont été clonés dans un vecteur d'expression de levure pGBKT7. Les ADNc de GFI-1, mSin3A, PLZF, HDAC1 et HDAC3 ont été clonés dans le plasmide pGADT7 de façon à créer des protéines de fusion synthétiques avec le domaine de liaison à l'ADN et de trans-activation de la protéine GAL4. Le plasmide pGBKT7 possède un gène TRP1 et pGADT7 un gène LEU2 qui permettent la sélection des clones insérés dans la levure. Aussi, le pGBKT7 a un épitope c-myc et pGADT7 un épitope HA qui permet de voir l’expression des protéines par buvardage de type Western. Après la transformation des levures les interactions protéine/protéine ont été observées en vérifiant l’expression des gènes rapporteurs HIS3, LacZ, MEL1, ADE2 de la levure en utilisant des milieux de sélection YPD/-Leu/-Trp, YPD/-Leu/-Trp/-His, YPD/-Leu/-Trp/-His/-Ade, YPD/-Leu/-Trp/+ X-Gal, YPD/-Leu/-Trp/ + X-α-Gal. Ensuite, les interactions trouvées par double-hybride ont été vérifiées dans les cellules érythroleucémiques K562 par immuno-précipitation (IP) de protéines suivies de buvardages Westerns avec les anticorps appropriés. NPM-MLF1, MLF1, MTG8, MLF1-Like surexprimés dans les cellules K562 ont été clonés dans le plasmide pOZ-FH-N. pOZ-FH-N possède un récepteur IL-2 qui permet de sélectionner les cellules qui l’expriment ainsi qu’un tag Flag-HA qui permet de voir l’expression des protéines par buvardage-Western. Les résultats du double-hybride suggèrent une interaction faible de NPM-MLF1 avec HDAC1, HDAC3 et mSin3A ainsi qu’une interaction qui semble plus évidente entre NPM-MLF1 et PLZF, GFI-1. NPM interagit avec GFI-1 et mSin3A. Aussi, MLF1 et MLF1-Like interagissent avec HDAC1, HDAC3, GFI-1, PLZF mais pas avec mSin3A. Les IP suggèrent que NPM-MLF1 interagit avec HDAC1, HDAC3, mSin3A et PLZF. MLF1 et MLF1-Like interagissent avec HDAC1, HDAC3 et mSin3A. L’interaction de NPM-MLF1 avec GFI-1, MLF1 et MLF1-Like avec PLZF et GFI-1 n’a pas encore été vérifiée par IP. Ainsi, nos observations permettent de suggérer que NPM-MF1, MLF1 et NPM pourraient jouer un rôle dans la transcription et la régulation de l’expression de certains gènes importants dans l’hématopoïèse et une variété de processus cellulaires parce qu’ils interagissent avec différents corépresseurs. En déterminant les partenaires protéiques de MLF1, NPM et NPM-MLF1, leurs fonctions et comment NPM-MLF1 influence et modifie le fonctionnement cellulaire normal; il sera possible de renverser le processus de LMA favorisé par la t (3; 5) NPM-MLF1 par la technologie d’interférence à l’ARN.

L’influence du développement durable à travers la formation universitaire en design industriel

Aujourd’hui, nous savons qu’environ 75 à 80% des impacts environnementaux des produits sont déterminés lors de la conception. Le rôle du designer industriel est donc crucial pour arriver à une forme de développement plus viable. Cette recherche tente de cibler les champs de connaissances qui devraient faire partie de la formation des professionnels du développement de produits pour y intégrer les aspects environnementaux. Après une recension de la littérature en design industriel, en pédagogie et en environnement, l’étude de terrain a été conduite en deux temps. Selon des critères prédéfinis, des programmes universitaires « spécialisés » en environnement/développement durable, au Québec, ainsi que des formations en éco-conception, offerts en France, ont été analysés. L’étude de terrain a été complétée par un entretien en profondeur semi-dirigé avec un consultant, qui aide des entreprises québécoises à intégrer l’environnement en développement de produits. L’analyse des informations recueillies met en évidence la nécessité de transformer rapidement les formations universitaires en conception de produits. Le nouveau cursus de design industriel devrait; 1. Intégrer les connaissances relatives aux impacts environnementaux; 2. Encourager le travail en équipes multidisciplinaires pour enrichir la collecte d’informations relative aux projets de développement; 3. Établir une collaboration étroite entre les établissements d’enseignement et les industries, ce qui est essentiel à la compréhension des enjeux de développement de produits et services (culture de l’entreprise, coût, délais, logistique, réglementation, etc.).

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Problèmes de perception de la parole dans le bruit chez les enfants présentant un trouble de traitement auditif

Il est bien connu que les enfants qui présentent un trouble de traitement auditif (TTA) ont de la difficulté à percevoir la parole en présence de bruit de fond. Cependant, il n’existe aucun consensus quant à l’origine de ces difficultés d’écoute. Ce programme de recherche est consacré à l’étude des incapacités sous-jacentes aux problèmes de perception de la parole dans le bruit chez les enfants présentant un TTA. Le Test de Phrases dans le Bruit (TPB) a été développé afin d’examiner si les difficultés de perception de la parole dans le bruit d’enfants ayant un TTA relèvent d’incapacités auditives, d’incapacités cognitivo-linguistiques ou des deux à la fois. Il comprend cinq listes de 40 phrases, composées de 20 phrases hautement prévisibles (HP) et de 20 phrases faiblement prévisibles (FP), de même qu’un bruit de verbiage. Le niveau de connaissance du mot clé (mot final) de chaque phrase a été vérifié auprès d’un groupe d’enfants âgés entre 5 et 7 ans. De plus, le degré d’intelligibilité des phrases dans le bruit et le niveau de prévisibilité ont été mesurées auprès d’adultes pour assurer l’équivalence entre les listes. Enfin, le TPB a été testé auprès d’un groupe de 15 adultes et d’un groupe de 69 enfants sans trouble auditif avant de l’administrer à des enfants ayant un TTA. Pour répondre à l’objectif général du programme de recherche, dix enfants présentant un TTA (groupe TTA) et dix enfants jumelés selon le genre et l’âge sans difficulté auditive (groupe témoin) ont été soumis aux listes de phrases du TPB selon différentes conditions sonores. Le groupe TTA a obtenu des performances significativement plus faibles comparativement au groupe témoin à la tâche de reconnaissance du mot final des phrases présentées en même temps qu’un bruit de verbiage compétitif, aux rapports signal-sur-bruit de 0, +3 et +4 dB. La moyenne de la différence des scores obtenue entre les phrases HP et FP à chaque condition expérimentale de bruit était similaire entre les deux groupes. Ces résultats suggèrent que les enfants ayant un TTA ne se distinguent pas des enfants du groupe témoin au plan de la compétence cognitivo-linguistique. L’origine des difficultés d’écoute de la parole dans le bruit dans le cas de TTA serait de nature auditive. Toutefois, les résultats des analyses de groupe diffèrent de ceux des analyses individuelles. Les divers profils de difficultés d’écoute identifiés auprès de cette cohorte appuient l’importance de continuer les investigations afin de mieux comprendre l’origine des problèmes de perception de la parole dans le bruit dans le cas de TTA. En connaissant mieux la nature de ces difficultés, il sera possible d’identifier les stratégies d’intervention de réadaptation spécifiques et efficaces.

L'expérience comme mode de détermination des faits dans le procès civil

L'utilisation de l'expérience comme un mode de détermination des faits, c'est-à-dire comme un élément qui comble les lacunes dans l'ensemble des éléments de preuve dans le procès civil, est un thème quelque peu tabou. La doctrine est souvent basée sur la prémisse voulant que le décideur rende une décision uniquement en vertu des éléments de preuve et qu'il doit absolument s'abstenir d'insérer aux constatations quoi que ce soit qui n'est pas présent dans les éléments de preuve. Cette vision est éloignée de la réalité juridique. Dans la première partie, nous allons aborder les principes procéduraux qui empêchent l'utilisation de l'expérience comme mode de détermination des faits. Ce sont le principe de la reconstruction de l'événement du passé, le principe de l'abstraction des connaissances acquises hors du procès et le principe de l'exclusion de la preuve par ouï-dire. Ensuite, nous portons notre attention sur les différents types d'expérience, c'est-à-dire l'expérience profane, divisible en bon sens et sens commun, et l'expérience scientifique, ainsi sur leurs modes de fonctionnement dans le procès civil. La première partie se termine par une brève confrontation des différents types d'expérience avec les principes procéduraux. La deuxième partie est consacré à l'analyse de l'expérience dans trois instruments juridiques: la connaissance d'office, la présomption de fait et le témoignage d'expert. Nous nous intéressons principalement à vérifier si l'expérience fonctionne à l'intérieur de ces instruments juridiques comme mode de détermination des faits et ensuite quelles sont les limites que le droit pose à l'expérience dans ce rôle. L'analyse va confirmer que le principal instrument par lequel l'expérience comme mode de détermination des faits pénètre dans le procès civil est la présomption de fait.

La entrevista sociolingüística y su valor como método de investigación

Dans cette étude, nous analysons les principaux problèmes que nous retrouvons lorsque nous utilisons les entrevues sociolinguistiques comme méthode d’analyse pour obtenir des échantillons de l’actuation linguistique authentiques. Cette problématique provient de la nature même de la méthodologie employée en fonction du paradoxe de l’observateur (Labov 1972) et elle impose la nécessité de réfléchir sur les avantages et les désavantages inhérents à l’instrument de recherche utilisé. En ayant ce propos, l’objectif principal qu’on poursuit est celui de donner réponse à une question que surgit lorsqu’on parle de l’entrevue sociolinguistique : Comment pourrait-on obtenir des échantillons de parole de style spontané dans l’observation systématique de l’entrevue? Pour essayer de répondre à cette problématique, on a revu et analysé un échantillon de vingt entrevues semi dirigées (25 heures d’enregistrement) qui font partie du Corpus Oral et Sonore de l’Espagnol Rural (COSER). L’étude des entrevues sociolinguistiques comme méthode scientifique montre, comme principal résultat, que parmi les stratégies utilisées pour essayer de réduire les effets du paradoxe de l’observateur on devrait inclure celle de la tactique de faire parler l’informateur à propos d’un objet qui ait une particulière valeur affective pour lui, pour générer ainsi une déstructuration du schéma formel de l’entrevue et une situation émotionnelle de sorte que l’émotivité neutralise sa conscience linguistique et son discours. De cette façon, l’attention du parlant se concentrera dans l’objet même plutôt que dans sa parole formelle et, de cette manière, on obtiendrait des échantillons de style plus spontané et colloquial.

Essais sur les frictions financières dans les modèles d'équilibre général dynamique

Cette thèse examine les effets des imperfections des marchés financiers sur la macroéconomie. Plus particulièrement, elle se penche sur les conséquences de la faillite dans les contrats financiers dans une perspective d'équilibre général dynamique. Le premier papier construit un modèle qui utilise l'avantage comparatif des banques dans la gestion des situations de détresse financière pour expliquer le choix des firmes entre les prêts bancaires et les prêts du marché financier. Le modèle réussit à expliquer pourquoi les firmes plus petites préfèrent le financement bancaire et pourquoi les prêts bancaires sont plus répandus en Europe. Le premier fait est expliqué par le lien négatif entre la valeur nette de l'entreprise et la probabilité de faire faillite. Le deuxième fait s'explique par le coût fixe d'émission de bons plus élevé en Europe. Le deuxième papier examine l'interaction entre les contraintes de financement affectant les ménages et les firmes. Une interaction positive pourrait amplifier et augmenter la persistance de l'effet d'un choc agrégé sur l'économie. Je construis un nouveau modèle qui contient des primes de financement externes pour les firmes et les ménages. Dans le modèle de base avec prix et salaires flexibles, j'obtiens une faible interaction négative entre les coûts de financement des firmes et des ménages. Le facteur clé qui explique ce résultat est l'effet du changement contre cyclique du coût de financement des ménages sur leur offre de travail et leur demande de prêts. Dans une période d'expansion, cet effet augmente les taux d'intérêt, réduit l'investissement et augmente le coût de financement des entreprises. Le troisième papier ajoute les contraintes de financement des banques dans un modèle macroéconomiques avec des prêts hypothécaires et des fluctuations dans les prix de l'immobilier. Les banques dans le modèle ne peuvent pas complètement diversifier leurs prêts, ce qui génère un lien entre les risques de faillite des ménages et des banques. Il y a deux effets contraires des cycles économiques qui affectent la prime de financement externe de la banque. Premièrement, il y a un lien positif entre le risque de faillite des banques et des emprunteurs qui contribue à rendre le coût de financement externe des banques contre cyclique. Deuxiément, le lissage de la consommation par les ménages rend la proportion de financement externe des banques pro cyclique, ce qui tend à rendre le coût de financement bancaire pro cyclique. En combinant ces deux effets, le modèle peut reproduire des profits bancaires et des ratios d'endettement bancaires pro cycliques comme dans les données, mais pour des chocs non-financiers les frictions de financement bancaire dans le modèle n'ont pas un effet quantitativement significatif sur les principales variables agrégées comme la consommation ou l'investissement.

Corrélats neuronaux de l'expertise auditive

La voix humaine constitue la partie dominante de notre environnement auditif. Non seulement les humains utilisent-ils la voix pour la parole, mais ils sont tout aussi habiles pour en extraire une multitude d’informations pertinentes sur le locuteur. Cette expertise universelle pour la voix humaine se reflète dans la présence d’aires préférentielles à celle-ci le long des sillons temporaux supérieurs. À ce jour, peu de données nous informent sur la nature et le développement de cette réponse sélective à la voix. Dans le domaine visuel, une vaste littérature aborde une problématique semblable en ce qui a trait à la perception des visages. L’étude d’experts visuels a permis de dégager les processus et régions impliqués dans leur expertise et a démontré une forte ressemblance avec ceux utilisés pour les visages. Dans le domaine auditif, très peu d’études se sont penchées sur la comparaison entre l’expertise pour la voix et d’autres catégories auditives, alors que ces comparaisons pourraient contribuer à une meilleure compréhension de la perception vocale et auditive. La présente thèse a pour dessein de préciser la spécificité des processus et régions impliqués dans le traitement de la voix. Pour ce faire, le recrutement de différents types d’experts ainsi que l’utilisation de différentes méthodes expérimentales ont été préconisés. La première étude a évalué l’influence d’une expertise musicale sur le traitement de la voix humaine, à l’aide de tâches comportementales de discrimination de voix et d’instruments de musique. Les résultats ont démontré que les musiciens amateurs étaient meilleurs que les non-musiciens pour discriminer des timbres d’instruments de musique mais aussi les voix humaines, suggérant une généralisation des apprentissages perceptifs causés par la pratique musicale. La seconde étude avait pour but de comparer les potentiels évoqués auditifs liés aux chants d’oiseaux entre des ornithologues amateurs et des participants novices. L’observation d’une distribution topographique différente chez les ornithologues à la présentation des trois catégories sonores (voix, chants d’oiseaux, sons de l’environnement) a rendu les résultats difficiles à interpréter. Dans la troisième étude, il était question de préciser le rôle des aires temporales de la voix dans le traitement de catégories d’expertise chez deux groupes d’experts auditifs, soit des ornithologues amateurs et des luthiers. Les données comportementales ont démontré une interaction entre les deux groupes d’experts et leur catégorie d’expertise respective pour des tâches de discrimination et de mémorisation. Les résultats obtenus en imagerie par résonance magnétique fonctionnelle ont démontré une interaction du même type dans le sillon temporal supérieur gauche et le gyrus cingulaire postérieur gauche. Ainsi, les aires de la voix sont impliquées dans le traitement de stimuli d’expertise dans deux groupes d’experts auditifs différents. Ce résultat suggère que la sélectivité à la voix humaine, telle que retrouvée dans les sillons temporaux supérieurs, pourrait être expliquée par une exposition prolongée à ces stimuli. Les données présentées démontrent plusieurs similitudes comportementales et anatomo-fonctionnelles entre le traitement de la voix et d’autres catégories d’expertise. Ces aspects communs sont explicables par une organisation à la fois fonctionnelle et économique du cerveau. Par conséquent, le traitement de la voix et d’autres catégories sonores se baserait sur les mêmes réseaux neuronaux, sauf en cas de traitement plus poussé. Cette interprétation s’avère particulièrement importante pour proposer une approche intégrative quant à la spécificité du traitement de la voix.

L'influence des traumas psychologiques sur l'intervention en toxicomanie

Il est possible qu’une personne qui consulte pour un problème d’utilisation de substances souffre également d’un problème associé à un état de stress post-traumatique ( ESPT ). Plusieurs auteurs croient qu’il existe un lien expliquant cette co-morbidité. Voilà pourquoi plusieurs hypothèses ont été formulées pour expliquer le lien entre un trouble tel que celui lié à l’utilisation de substance (TUS) pouvant exister avant l’ESPT, la vulnérabilité suite au TUS, ainsi que l’automédication. Plusieurs recherches proposent deux types d’interventions afin d’aider les personnes aux prises avec cette double problématique. La première consiste à traiter les deux problèmes séparément alors que la seconde, préconise une approche intégrée et simultanée. Puisque les écrits conseillent davantage un traitement intégré, il y aura une présentation d’une de ces formes de traitement nommé « À la recherche de la sécurité ». Le volet académique visait à comprendre le lien existant entre le TUS, les traumas psychologiques et l’ESPT ainsi que les différentes formes d’interventions pour aider les personnes ayant cette co-morbidité. Nous avons utilisé un module du programme « À la recherche de la sécurité » récemment traduit en français afin de vérifier sa mise en application et l’appréciation qu’en ont fait cinq usagers du Centre Dollar-Cormier-Institut universitaire sur les dépendances (CDC-IUD) ayant vécu un traumatisme au cours de leur vie. En conclusion, il sera démontré dans nos résultats que les hypothèses quant au lien de comorbidité sont effectivement présentes dans la réalité des personnes ayant un ESPT et un TUS, et qu’une intervention intégrée offre des points positifs autant pour l’usager que pour l’intervenant.

Qualité de vie et communication entre soignant et soignée auprès de femmes atteintes de cancer du sein : approche longitudinale

Introduction : De nos jours, les femmes atteintes de cancer du sein peuvent espérer une survie prolongée et un grand nombre d’entre elles peuvent même entrevoir la guérison. Alors que le dépistage précoce et les traitements rigoureux donnent espoir à de plus en plus de femmes, les chercheurs et les cliniciens doivent maintenant se pencher sur la qualité de vie de ces femmes à chaque phase clinique de la trajectoire de soins. Les difficultés physiques, fonctionnelles, psychologiques et sociales avec lesquelles les femmes vivent peuvent compromettre leur qualité de vie, d’où l’intérêt d’évaluer celle-ci. Peu de chercheurs se sont intéressés au changement longitudinal de la qualité de vie de ces femmes aux différents moments de la trajectoire de soins en oncologie : diagnostic, traitement et suivi. De plus, peu se sont demandés si la perception que les femmes ont de leur communication avec les professionnels de la santé influence leur qualité de vie le long de la trajectoire de soins. Objectifs principaux : 1) Décrire l’évolution de la qualité de vie liée à la santé des femmes atteintes de cancer du sein pendant le diagnostic, les traitements de radiothérapie et le suivi; 2) Décrire l’évolution de la perception que les femmes ont de leur communication avec les médecins, les infirmières et les technologues en radio-oncologie au cours des mêmes phases cliniques; 3) Examiner l’évolution de la relation entre la perception que les femmes ont de leur communication avec les professionnels de la santé et leur qualité de vie liée à la santé durant les phases citées précédemment. Méthodes : L’échantillon se composait de 120 femmes atteintes d’un cancer du sein précoce (stades I et II) qui parlaient le français, âgées de plus de 18 ans (55 ans ± 9,5) qui ont eu une chirurgie conservatrice. Les femmes ont complété des questionnaires à la période entourant le diagnostic (en moyenne six semaines après le diagnostic), à mi-chemin de la radiothérapie (en moyenne 27 semaines après le diagnostic) et de trois à quatre mois après la fin de la radiothérapie (en moyenne 48 semaines après le diagnostic). À chaque temps de mesure, elles ont complété six questionnaires d’une durée totale de 60 minutes au centre hospitalier ou à domicile : un sur les données sociodémographiques, un sur les renseignements médicaux, le MOS SSS, le EORTC QLQ-C30/BR23 et le MCCS. Résultats : Les analyses GEE montrent que la qualité de vie liée à la santé des femmes atteintes de cancer du sein change dans le temps. Elle diminue pendant la radiothérapie, sauf pour le fonctionnement émotionnel et cognitif. Les analyses démontrent aussi que certains facteurs cliniques, intrapersonnels et interpersonnels influencent leur qualité de vie. Précisément, plus les femmes avancent en âge et plus elles perçoivent qu’elles ont eu du soutien social le long de la trajectoire de soins, plus leur qualité de vie est meilleure pour les dimensions génériques et spécifiques du fonctionnement. De plus, celles qui présentent une tumeur de stade II et celles qui ont eu de la radiothérapie et l’hormonothérapie ont des scores plus élevés pour certaines dimensions de qualité de vie comparativement à celles dont le cancer se situe au stade I et à celles qui ont eu la chimiothérapie, la radiothérapie et l’hormonothérapie. Les résultats font état également d’une interaction entre le facteur « temps » et un facteur intrapersonnel pour le fonctionnement « rôle » et le fonctionnement sexuel des femmes. La perception que les femmes ont de leur communication avec les médecins et les autres professionnels de la santé change très peu avec le temps. Ainsi, les femmes se perçoivent plus compétentes dans la recherche d’information avec les radio-oncologues pendant la radiothérapie qu’avec les chirurgiens-oncologues au moment du diagnostic. Elles perçoivent aussi la vérification et la recherche d’information par les radio-oncologues pendant la radiothérapie plus satisfaisante que celle des chirurgiens-oncologues lors de l’annonce du diagnostic. Globalement, les femmes perçoivent leur communication avec les radio-oncologues et les chirurgiens-oncologues comme étant meilleure pendant la radiothérapie et au suivi qu’au moment du diagnostic avec les chirurgiens-oncologues. Les analyses GEE montrent aussi que certains facteurs cliniques (nature des traitements), intrapersonnels et interpersonnels (âge, niveau de scolarité et soutien social perçu) sont des facteurs susceptibles d’influencer la façon dont elles perçoivent leur communication avec les professionnels de la santé. Enfin, la perception des femmes quant à leurs compétences de communication à l’égard des médecins et des autres professionnels de la santé explique davantage leur qualité de vie liée à la santé que celle des compétences des professionnels de la santé. Donc, les femmes ont un meilleur score pour le fonctionnement « rôle », émotionnel et elles ont moins d’effets secondaires et de symptômes pendant la radiothérapie et au suivi lorsqu’elles se perçoivent compétentes envers les médecins (chirurgiens-oncologues et radio-oncologues) pour la recherche d’information et l’aspect socio-affectif d’un entretien aux temps précédents. De plus, l’âge des femmes, le soutien social perçu, le stade de la maladie et la nature des traitements ont une influence sur le lien entre leur qualité de vie et leur communication avec les professionnels de la santé. Enfin, une interaction est présente entre le facteur « temps » et un facteur clinique ou intrapersonnel pour les dimensions de qualité de vie suivantes : rôle, émotionnel et fonctionnement sexuel. Conclusion et retombées : Les résultats de la présente thèse soulignent l’importance d’évaluer de façon longitudinale la qualité de vie liée à la santé des femmes atteintes de cancer du sein à différents moments de la trajectoire de soins, particulièrement pendant la radiothérapie, et, pour les intervenants psychosociaux, de s’occuper des jeunes femmes diagnostiquées et de celles qui ne perçoivent pas recevoir un soutien social. Ainsi, de meilleures ressources psychosociales pourront être mises sur pied pour aider ces groupes de femmes. Les résultats montrent également qu’il est essentiel d’informer les chirurgiens-oncologues de l’importance d’établir une communication satisfaisante avec les femmes atteintes de cancer du sein lors de l’annonce du diagnostic afin de favoriser une perception positive par les femmes de leur communication avec les chirurgiens-oncologues. Enfin, les résultats obtenus soulignent les avantages pour les femmes atteintes de cancer du sein d’être proactives et de se sentir compétentes pour la recherche d’information et l’aspect socio-affectif d’une relation avec les chirurgiens-oncologues et les radio-oncologues dans le maintien d’une bonne qualité de vie liée à la santé.

Étude sur la définition et la mesure des qualités des archives définitives issues d’une évaluation

Depuis quelques décennies, l'intérêt pour l’étude de la fonction d’évaluation s’est diversifié pour approfondir les principes théoriques (Jenkinson, 1922; Schellenberg, 1956; Samuels, 1992; Cook, 1992b; Eastwood, 1992b; Duranti, 1994; Couture, 1999), les stratégies (Booms, 1972; Samuels, 1986; Cook, 1992b; Eastwood, 1992b; Couture, 1999) et les dispositifs de leur processus d’application (Ham, 1984; Boles & Young, 1991; Cook, 2001a, 2001b). Mais, toutes ces contributions n'ont pas encore étudié la nature des résultats de l'évaluation que sont les archives définitives. Du point de vue patrimonial, l’absence d’études sur la définition et la mesure des qualités des archives définitives ne permet pas de vérifier si ces archives constituent un patrimoine documentaire significatif. Sur le plan administratif, l’état actuel de la pratique de l'évaluation n'a pas encore investi dans l'examen méticuleux de la nature de ses résultats. Au plan économique, le manque de méthodes et d'outils pour la mesure des qualités des archives ne permet pas de juger si ces archives valent l’investissement matériel, technique, financier et humain que leur conservation implique. Du point de vue professionnel, l’absence de méthodes et d’instruments d’évaluation des qualités des archives ne permet pas aux professionnels d’appuyer leur décision en matière d’évaluation des archives. Afin de remédier à cette situation, notre recherche vise à définir et à mesurer les qualités des archives définitives issues de l’évaluation. Pour ce faire, nous privilégions une méthodologie quantitative de nature descriptive, appropriée lorsqu’il s’agit d’étudier un sujet peu abordé (Fortin, 2006) tel que l'opérationnalisation des qualités des archives définitives. La stratégie de la recherche a comporté deux phases. La phase conceptuelle a permis d’identifier et de définir quatre qualités soit l’« Unicité », la « Preuve crédible », l’« Exploitabilité » et la « Représentativité ». La phase empirique consistait à vérifier la mesurabilité, à titre d’exemple, des variables découlant de deux des quatre dimensions de qualité dans le contexte des archives définitives, soit la « Preuve crédible » et l’« Exploitabilité ». Le mode de collecte des données réside dans l’application d’une grille de mesure conçue spécialement aux fins de cette étude. La réalisation de la collecte de données qui s’est déroulée à Bibliothèque et Archives nationales du Québec a permis l’opérationnalisation de 10 indicateurs spécifiques sur 13 appartenant à deux dimensions de qualité : la « Preuve crédible » et l’« Exploitabilité » des archives définitives. Ainsi, trois indicateurs spécifiques sur l’ensemble de 13 sont restés sans mesures à cause d’une certaine faiblesse liée à leur mesure que nous avons pu identifier et vérifier lors des pré-tests de la recherche. Ces trois indicateurs spécifiques sont le « Créateur » dans le cadre de la dimension de la « Preuve crédible », ainsi que la « Compréhensibilité » et la « Repérabilité » dans le cadre de la dimension de l’« Exploitabilité ». Les mesures obtenues pour les 10 indicateurs ont mené à l’identification des avantages et des points à améliorer concernant différentes variables liées au créateur, au service de conservation ou encore à l’état et à la nature du support. Cibler l’amélioration d’un produit ou d’un service représente, comme démontré dans la revue de la littérature, le but ultime d’une étude sur les dimensions de qualité. Trois types de contributions découlent de cette recherche. Au plan théorique, cette recherche offre un cadre conceptuel qui permet de définir le concept de qualité des archives définitives dans une perspective d’évaluation archivistique. Au plan méthodologique, elle propose une méthode de mesure des qualités applicables aux archives définitives ainsi que les instruments et le guide qui expliquent sa réalisation. Au plan professionnel, d'une part, elle permet d’évaluer les résultats de l’exercice de l’évaluation archivistique; d'autre part, elle offre aux professionnels non seulement une grille de mesure des qualités des archives définitives déjà testée, mais aussi le guide de son application.