Évaluation de la reconstruction des ligaments croisés post luxation aiguë du genou avec l’utilisation des ligaments synthétiques

La luxation du genou, bien que très rare, demeure une blessure dévastatrice car elle entraîne de multiples complications en raison de la nature complexe du traumatisme associé à cette lésion. La luxation peut résulter d'un traumatisme à haute ou basse énergie. Les blessures sévères aux ligaments et aux structures associées donnent à la luxation du genou un potentiel élevé d'atteinte fonctionnelle. Le traitement conservateur, qui était considéré comme acceptable auparavant, est maintenant réservé à un très faible pourcentage de patients. La reconstruction chirurgicale est maintenant préconisée dans la plupart des cas, mais de nombreuses options existent et le traitement chirurgical optimal à préconiser reste controversé. Certains chirurgiens recommandent la reconstruction complète de tous les ligaments endommagés le plus tôt possible, tandis que d'autres, craignant l’établissement d’arthrofibrose, limitent l'intervention chirurgicale immédiate à la reconstruction du ligament croisé postérieur et de l'angle postéro-externe. En raison des multiples structures endommagées lors d’une luxation du genou, les chirurgiens utilisent couramment la combinaison des autogreffes et des allogreffes pour compléter la reconstruction ligamentaire. Les complications associées au prélèvement de la greffe, l'allongement de la greffe, l’affaiblissement précoce du greffon ainsi que les risques de transmission de maladies ont poussé les chirurgiens à rechercher différentes options d’intervention. L'utilisation de matériaux synthétiques pour le remplacement du ligament lésé a été proposée dans les années ´80. Après une première vague d'enthousiasme, les résultats décevants à long terme et les taux élevés d'échec ont diminué sa popularité. Depuis lors, une nouvelle génération de ligaments artificiels a vu le jour et parmi eux, le Ligament Advanced Reinforced System (LARS) a montré des résultats prometteurs. Il a été utilisé récemment dans les reconstructions isolées du ligament croisé antérieur et du ligament croisé postérieur pour lesquelles il a montré de bons résultats à court et moyen termes. Le but de cette étude rétrospective était d'évaluer la fonction et la stabilité du genou après la luxation aiguë suivant la reconstruction des ligaments croisés avec le ligament artificiel de type LARS. Cette étude a évalué 71 patients présentant une luxation du genou et qui ont subi une chirurgie de reconstruction du ligament croisé antérieur et du ligament croisé postérieur à l'aide du ligament LARS. Suite à la chirurgie le même protocole intensif de réadaptation a été suivi pour tous les patients, où la mise en charge progressive était permise après une période d’environ 6 semaines pendant laquelle la force musculaire et la stabilité dynamique se rétablissaient. Les outils d’évaluation utilisés étaient le score Lysholm, le formulaire de «l’International Knee Documentation Committee», le «Short Form-36», les tests cliniques de stabilité du genou, l'amplitude de mouvement articulaire à l’aide d’un goniomètre et la radiographie en stress Telos à 30° et 90° de flexion du genou. Le même protocole d’évaluation a été appliqué au genou controlatéral pour des fins de comparaison. Les résultats subjectifs et objectifs de cette étude sont satisfaisants et suggèrent que la réparation et la reconstruction combinées avec ligaments LARS est une alternative valable pour le traitement des luxations aiguës du genou. Ces résultats démontrent que ces interventions produisent des effets durables en termes d’amélioration de la fonction et révèlent la durabilité à long terme des ligaments artificiels LARS. Les patients sont à la fois plus autonomes et plus satisfaits avec le temps, même si la luxation du genou est considérée comme une catastrophe au moment où elle se produit. Des études prospectives randomisées sont maintenant nécessaires afin de comparer la sélection de la greffe et le délai de reconstruction chirurgicale.

Écologie saisonnière des parasitoïdes des oeufs de l'arpenteuse de la pruche

Cette étude porte sur l’écologie saisonnière des parasitoïdes des œufs de l’arpenteuse de la pruche (Lepidoptera : Geometridae), un important défoliateur du Québec (Canada). Premièrement, nous décrivons les patrons saisonniers de parasitisme d’hôtes sentinelles par Telenomus coloradensis, T. droozi, T. flavotibiae (Hymenoptera : Scelionidae), et Trichogramma spp., dans la région du Bas-Saint-Laurent. Telenomus flavotibiae et Trichogramma spp. parasitent rarement les œufs de l’arpenteuse de la pruche alors que T. coloradensis et T. droozi sont très abondants au printemps. En laboratoire, la convenance des hôtes pour T. coloradensis diminue rapidement avec leur développement embryonnaire au printemps, affectant négativement les niveaux de parasitisme, ainsi que la survie, la taille, le temps de développement et la longévité de la progéniture. Telenomus coloradensis et T. droozi sont actifs très tôt en saison, alors que les températures sont froides (4°C) pour profiter du développement embryonnaire peu avancé de l’hôte. À partir de paramètres empiriques, nous estimons que la progéniture de T. coloradensis issue du parasitisme printanier émerge au milieu de l’été, alors que l’hôte est totalement absent de l’environnement forestier. La nouvelle génération de femelles serait donc susceptible d’entrer précocement en diapause reproductive. D’ailleurs, nos résultats de laboratoire démontrent qu’une période de privation d’hôtes affecte négativement l’activité parasitaire de T. coloradensis. Ce phénomène pourrait expliquer les niveaux très faibles de parasitisme des œufs de l’arpenteuse de la pruche à l’automne. Étonnamment toutefois, les hôtes en début de diapause (à l’automne) sont de meilleure qualité énergétique que les hôtes en post-diapause (au printemps). Alors que des études précédentes ont démontré que T. coloradensis peut survivre à l’hiver en tant qu’immature à l’intérieur des hôtes, nos résultats indiquent que ce sont principalement les femelles fertilisés qui passent l’hiver en diapause reproductive, avec un point de surfusion automnal moyen de -30,6°C.

Études des fuites excitoniques dans des familles de boîtes quantiques d'InAs/InP par PLRT par addition de fréquences

Ce mémoire porte sur les mécanismes de relaxation et de fuite des excitons dans des systèmes de boîtes quantiques(BQs) d’InAs/InP. Les systèmes sont composés d’un sub- strat volumique d’InP, appelé matrice (M), d’un puits quantique d’InAs, nommé couche de mouillage (CM), et des familles de BQs d’InAs. La distinction entre les familles est faite par le nombre de monocouche d’épaisseur des boîtes qui sont beaucoup plus larges que hautes. Une revue de littérature retrace les principaux mécanismes de relaxation et de fuite des excitons dans les systèmes. Ensuite, différents modèles portant sur la fuite thermique des excitons des BQs sont comparés. Les types de caractérisations déjà produites et les spécifications des croissances des échantillons sont présentés. L’approche adoptée pour ce mémoire a été de caractériser temporellement la dynamique des BQs avec des mesures d’absorbtion transitoire et de photoluminescence résolue en temps (PLRT) par addition de fréquences. L’expérience d’absorption transitoire n’a pas fait ressortir de résultats très probants, mais elle est expliquée en détails. Les mesures de PLRT ont permis de suivre en température le temps de vie effectif des excitons dans des familles de BQs. Ensuite, avec un modèle de bilan détaillé, qui a été bien explicité, il a été possible d’identifier le rôle de la M et de la CM dans la relaxation et la fuite des excitons dans les BQs. Les ajustements montrent plus précisément que la fuite de porteurs dans les BQs se fait sous la forme de paires d’électrons-trous corrélées.

L'effet de l'orientation envers les buts sur les conflits et les résultats scolaires des étudiantes et étudiants de niveau collégial impliqués dans un projet pédagogique

L’apprentissage par projet est une méthode pédagogique importante dans le réseau des cégeps, particulièrement depuis la Réforme scolaire collégiale de 1993 (Piché & Lapostolle, 2009). Toutefois, la quantité d’études sur les conditions d’efficacité de cette méthode pédagogique, particulièrement les études longitudinales, est limitée dans le milieu collégial. La présente étude analyse le rôle de plusieurs variables issues de la recherche en psychologie organisationnelle. D’abord, on considère le rôle de deux variables de personnalité affectées par la complexité d’une tâche : l’orientation envers les buts (Dweck & Leggett, 1988) et le style de gestion des conflits (Rubin, Pruitt, & Kim, 1994). Deux variables processuelles sont aussi étudiées : les types de conflits (Jehn 1995, 1997) et la proactivité (Griffin, Neale, & Parker, 2007). À l’aide d’analyses de médiation (Preacher & Hayes, 2008), les résultats démontrent que les orientations envers les buts et les styles de gestion des conflits utiles aux tâches complexes le sont également dans un contexte de projet au collégial, favorisant la proactivité des étudiants. Pour les types de conflits, un examen de leur évolution dans le temps permet de conclure à un effet généralement négatif en raison de la forte association entre eux. Une explication possible est la présence de mésattribution (Simons & Peterson, 2000), c’est-à-dire que les conflits reliés à la tâche sont faussement interprétés comme des conflits interpersonnels.

Développement d’une nouvelle méthode d’analyse multi-résidus par LDTD/APCI-MS/MS pour la quantification de pesticides et de produits pharmaceutiques dans les eaux usées

Une nouvelle méthode d'extraction en phase solide (SPE) couplée à une technique d'analyse ultrarapide a été développée pour la détermination simultanée de neuf contaminants émergents (l'atrazine, le déséthylatrazine, le 17(béta)-estradiol, l'éthynylestradiol, la noréthindrone, la caféine, la carbamazépine, le diclofénac et le sulfaméthoxazole) provenant de différentes classes thérapeutiques et présents dans les eaux usées. La pré-concentration et la purification des échantillons a été réalisée avec une cartouche SPE en mode mixte (Strata ABW) ayant à la fois des propriétés échangeuses de cations et d'anions suivie d'une analyse par une désorption thermique par diode laser/ionisation chimique à pression atmosphérique couplée à la spectrométrie de masse en tandem (LDTD-APCI-MS/MS). La LDTD est une nouvelle méthode d'introduction d'échantillon qui réduit le temps total d'analyse à moins de 15 secondes par rapport à plusieurs minutes avec la chromatographie liquide couplée à la spectrométrie de masse en tandem traditionnelle (LC-MS/MS). Plusieurs paramètres SPE ont été évalués dans le but d'optimiser l'efficacité de récupération lors de l'extraction des analytes provenant des eaux usées, tels que la nature de la phase stationnaire, le débit de chargement, le pH d'extraction, le volume et la composition de la solution de lavage et le volume de l'échantillon initial. Cette nouvelle méthode a été appliquée avec succès à de vrais échantillons d'eaux usées provenant d'un réservoir de décantation primaire. Le recouvrement des composés ciblés provenant des eaux usées a été de 78 à 106%, la limite de détection a été de 30 à 122 ng L-1, alors que la limite de quantification a été de 88 à 370 ng L-1. Les courbes d'étalonnage dans les matrices d'eaux usées ont montré une bonne linéarité (R2 > 0,991) pour les analytes cibles ainsi qu’une précision avec un coefficient de variance inférieure à 15%.

Changements épidémiologiques au Canada : un regard sur les causes de décès des personnes âgées de 65 ans et plus, 1979-2007

La mortalité aux jeunes âges devenant de plus en plus faible, l’augmentation de l’espérance de vie est de plus en plus dépendante des progrès en mortalité aux âges avancés. L’espérance de vie à 65 ans et à 85 ans n’a cependant pas connu un rythme de progression continu depuis les trois dernières décennies. Ces changements dans l’évolution de l’espérance de vie proviennent de changements dans les tendances de certaines causes de décès et de leurs interactions. Ce mémoire analyse la contribution des causes de décès aux changements qu’a connus l’espérance de vie, mais aussi l’évolution spécifique des taux de mortalité liés aux principales causes de décès au Canada entre 1979 et 2007. Finalement, une analyse de l’implication de ces changements dans un contexte de transition épidémiologique sera réalisée, par un questionnement sur le fait que l’on assiste ou non au passage de certaines pathologies dominantes à d’autres. La réponse à ce questionnement se trouve dans l’étude de l’évolution par âge et dans le temps des causes de décès. Les résultats montrent que les progrès en espérance de vie à 65 ans et à 85 ans sont encore majoritairement dus à la diminution de la mortalité par maladies cardiovasculaires. Toutefois, ces dernières causes de décès ne sont pas les seules à contribuer aux progrès en espérance de vie, puisque les taux de mortalité dus aux dix principales causes de décès au Canada ont connu une diminution, bien qu’elles n’aient pas toutes évolué de la même manière depuis 1979. On ne semble ainsi pas passer d’un type de pathologies dominantes à un autre, mais à une diminution générale de la mortalité par maladies chroniques et à une diversification plus importante des causes de décès à des âges de plus en plus avancés, notamment par la diminution des «grandes» causes de décès.

Estimation of State Space Models and Stochastic Volatility

Ma thèse est composée de trois chapitres reliés à l'estimation des modèles espace-état et volatilité stochastique. Dans le première article, nous développons une procédure de lissage de l'état, avec efficacité computationnelle, dans un modèle espace-état linéaire et gaussien. Nous montrons comment exploiter la structure particulière des modèles espace-état pour tirer les états latents efficacement. Nous analysons l'efficacité computationnelle des méthodes basées sur le filtre de Kalman, l'algorithme facteur de Cholesky et notre nouvelle méthode utilisant le compte d'opérations et d'expériences de calcul. Nous montrons que pour de nombreux cas importants, notre méthode est plus efficace. Les gains sont particulièrement grands pour les cas où la dimension des variables observées est grande ou dans les cas où il faut faire des tirages répétés des états pour les mêmes valeurs de paramètres. Comme application, on considère un modèle multivarié de Poisson avec le temps des intensités variables, lequel est utilisé pour analyser le compte de données des transactions sur les marchés financières. Dans le deuxième chapitre, nous proposons une nouvelle technique pour analyser des modèles multivariés à volatilité stochastique. La méthode proposée est basée sur le tirage efficace de la volatilité de son densité conditionnelle sachant les paramètres et les données. Notre méthodologie s'applique aux modèles avec plusieurs types de dépendance dans la coupe transversale. Nous pouvons modeler des matrices de corrélation conditionnelles variant dans le temps en incorporant des facteurs dans l'équation de rendements, où les facteurs sont des processus de volatilité stochastique indépendants. Nous pouvons incorporer des copules pour permettre la dépendance conditionnelle des rendements sachant la volatilité, permettant avoir différent lois marginaux de Student avec des degrés de liberté spécifiques pour capturer l'hétérogénéité des rendements. On tire la volatilité comme un bloc dans la dimension du temps et un à la fois dans la dimension de la coupe transversale. Nous appliquons la méthode introduite par McCausland (2012) pour obtenir une bonne approximation de la distribution conditionnelle à posteriori de la volatilité d'un rendement sachant les volatilités d'autres rendements, les paramètres et les corrélations dynamiques. Le modèle est évalué en utilisant des données réelles pour dix taux de change. Nous rapportons des résultats pour des modèles univariés de volatilité stochastique et deux modèles multivariés. Dans le troisième chapitre, nous évaluons l'information contribuée par des variations de volatilite réalisée à l'évaluation et prévision de la volatilité quand des prix sont mesurés avec et sans erreur. Nous utilisons de modèles de volatilité stochastique. Nous considérons le point de vue d'un investisseur pour qui la volatilité est une variable latent inconnu et la volatilité réalisée est une quantité d'échantillon qui contient des informations sur lui. Nous employons des méthodes bayésiennes de Monte Carlo par chaîne de Markov pour estimer les modèles, qui permettent la formulation, non seulement des densités a posteriori de la volatilité, mais aussi les densités prédictives de la volatilité future. Nous comparons les prévisions de volatilité et les taux de succès des prévisions qui emploient et n'emploient pas l'information contenue dans la volatilité réalisée. Cette approche se distingue de celles existantes dans la littérature empirique en ce sens que ces dernières se limitent le plus souvent à documenter la capacité de la volatilité réalisée à se prévoir à elle-même. Nous présentons des applications empiriques en utilisant les rendements journaliers des indices et de taux de change. Les différents modèles concurrents sont appliqués à la seconde moitié de 2008, une période marquante dans la récente crise financière.

Bootstrap for panel data models with an application to the evaluation of public policies

Le but de cette thèse est d étendre la théorie du bootstrap aux modèles de données de panel. Les données de panel s obtiennent en observant plusieurs unités statistiques sur plusieurs périodes de temps. Leur double dimension individuelle et temporelle permet de contrôler l 'hétérogénéité non observable entre individus et entre les périodes de temps et donc de faire des études plus riches que les séries chronologiques ou les données en coupe instantanée. L 'avantage du bootstrap est de permettre d obtenir une inférence plus précise que celle avec la théorie asymptotique classique ou une inférence impossible en cas de paramètre de nuisance. La méthode consiste à tirer des échantillons aléatoires qui ressemblent le plus possible à l échantillon d analyse. L 'objet statitstique d intérêt est estimé sur chacun de ses échantillons aléatoires et on utilise l ensemble des valeurs estimées pour faire de l inférence. Il existe dans la littérature certaines application du bootstrap aux données de panels sans justi cation théorique rigoureuse ou sous de fortes hypothèses. Cette thèse propose une méthode de bootstrap plus appropriée aux données de panels. Les trois chapitres analysent sa validité et son application. Le premier chapitre postule un modèle simple avec un seul paramètre et s 'attaque aux propriétés théoriques de l estimateur de la moyenne. Nous montrons que le double rééchantillonnage que nous proposons et qui tient compte à la fois de la dimension individuelle et la dimension temporelle est valide avec ces modèles. Le rééchantillonnage seulement dans la dimension individuelle n est pas valide en présence d hétérogénéité temporelle. Le ré-échantillonnage dans la dimension temporelle n est pas valide en présence d'hétérogénéité individuelle. Le deuxième chapitre étend le précédent au modèle panel de régression. linéaire. Trois types de régresseurs sont considérés : les caractéristiques individuelles, les caractéristiques temporelles et les régresseurs qui évoluent dans le temps et par individu. En utilisant un modèle à erreurs composées doubles, l'estimateur des moindres carrés ordinaires et la méthode de bootstrap des résidus, on montre que le rééchantillonnage dans la seule dimension individuelle est valide pour l'inférence sur les coe¢ cients associés aux régresseurs qui changent uniquement par individu. Le rééchantillonnage dans la dimen- sion temporelle est valide seulement pour le sous vecteur des paramètres associés aux régresseurs qui évoluent uniquement dans le temps. Le double rééchantillonnage est quand à lui est valide pour faire de l inférence pour tout le vecteur des paramètres. Le troisième chapitre re-examine l exercice de l estimateur de différence en di¤érence de Bertrand, Duflo et Mullainathan (2004). Cet estimateur est couramment utilisé dans la littérature pour évaluer l impact de certaines poli- tiques publiques. L exercice empirique utilise des données de panel provenant du Current Population Survey sur le salaire des femmes dans les 50 états des Etats-Unis d Amérique de 1979 à 1999. Des variables de pseudo-interventions publiques au niveau des états sont générées et on s attend à ce que les tests arrivent à la conclusion qu il n y a pas d e¤et de ces politiques placebos sur le salaire des femmes. Bertrand, Du o et Mullainathan (2004) montre que la non-prise en compte de l hétérogénéité et de la dépendance temporelle entraîne d importantes distorsions de niveau de test lorsqu'on évalue l'impact de politiques publiques en utilisant des données de panel. Une des solutions préconisées est d utiliser la méthode de bootstrap. La méthode de double ré-échantillonnage développée dans cette thèse permet de corriger le problème de niveau de test et donc d'évaluer correctement l'impact des politiques publiques.

Motivation scolaire et adaptation psychosociale d'élèves du secondaire scolarisés en classe de prolongation de cycle

Depuis la mise en place de la réforme, il y a plus de dix ans, les directions d’établissement sont tenues de trouver des solutions alternatives au redoublement, afin d’aider les élèves en difficulté à rattraper leur retard. C’est afin de répondre à cet impératif que la classe de prolongation de cycle a été mise en place dans les écoles secondaires. Des élèves en fin de 1er cycle, jugés incapables de poursuivre au cycle supérieur, y sont regroupés et pendant une année, ils bénéficient de mesures de soutien afin d’atteindre le niveau de compétence attendu (plus précisément en français en en mathématiques) pour pouvoir vivre un passage réussi au second cycle. Peu de résultats de recherches sont toutefois disponibles quant à l’efficacité de cette modalité. La présente étude vise donc à estimer l’incidence de deux modèles de prolongation de cycle (co-enseignement et avec enseignant unique), sur la motivation et l’adaptation psychosociale des élèves. Ainsi, les élèves qui expérimentent un modèle de co-enseignement demeurent en groupe fermé et sont accompagnés par trois enseignants titulaires qui se partagent la responsabilité de la quasi-totalité des composantes du programme de formation. Les élèves qui expérimentent un modèle avec enseignant unique demeurent eux aussi en groupe fermé, mais sont encadrés par une seule enseignante titulaire qui assume la responsabilité des enseignements en français et en mathématiques. Les autres matières sont enseignées par des spécialistes. Cent trente-quatre élèves au total, fréquentant trois écoles secondaires francophones montréalaises situées en milieu défavorisé, ont donc formé les groupes expérimentaux et témoins. En début et en fin d’année, les participants ont répondu à un questionnaire d’enquête mesurant l’évolution de leur motivation générale pour les apprentissages, de leur motivation spécifique aux disciplines, de leur adaptation psychosociale, de même que certaines facettes de leurs relations avec leurs pairs, leurs enseignants et leurs parents. Les résultats d’analyses de variance multivariées à mesures répétées (MANOVA) et des tests univariés subséquents permettent d’observer, chez les élèves qui ont expérimenté la prolongation de cycle en co-enseignement, une augmentation de leur sentiment de compétence général vis-à-vis l’école. De plus, leurs buts de performance-évitement et leur anxiété sociale ont diminué. Chez les élèves qui ont expérimenté la prolongation de cycle avec enseignant unique, ce même sentiment de compétence vis-à-vis l’école et celui spécifique au français ont augmenté. En revanche, ces derniers s’expriment plus négativement que leurs homologues en ce qui concerne leur intérêt général envers l’école, leur sentiment d’appartenance à leur école et leurs relations avec leurs pairs. Ces résultats indiquent donc que cette mesure a un effet mitigé sur la motivation et l’adaptation psychosociale des élèves. De plus, les quelques bénéfices perçus peuvent être la conséquence du fait de se retrouver dans un environnement scolaire moins compétitif. Cela dit, il apparaît important de préciser que les enseignants qui ont testé le modèle de co-enseignement en étaient à une première expérience. Leurs pratiques sont susceptibles de se bonifier, ce qui laisse croire que des résultats plus disparates pourraient éventuellement être observés entre ces deux modèles de prolongation. Par ailleurs, la pérennité des gains observés est inconnue. En conséquence, il conviendrait de poursuivre cette étude pour être en mesure de déterminer si ceux-ci sont durables dans le temps et afin de constater la pleine mesure de l’efficacité du modèle de prolongation de co-enseignement.

Analyse d’information tridimensionnelle issue de systèmes multi-caméras pour la détection de la chute et l’analyse de la marche

Réalisé en cotutelle avec le laboratoire M2S de Rennes 2

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.

Évaluation des jeux Kinect à l’aide du suivi physiologique, du suivi oculaire et des réactions faciales du joueur.

Les données sont analysées par le logiciel conçu par François Courtemanche et Féthi Guerdelli. L'expérimentation des jeux a eu lieu au Laboratoire de recherche en communication multimédia de l'Université de Montréal.

Analyse de la mobilité spatio-temporelle des armes à feu volées au Québec

Dans ce mémoire, les armes à feu impliquées dans la commission de crimes sont étudiées à partir de leur mobilité spatio-temporelle. Afin d’opérationnaliser cette mobilité, deux mesures spécifiques ont été créées, soit le « temps-au-recouvrement » et la « distance-au-recouvrement ». Ces mesures permettent d’analyser les répercussions des armes à feu en circulation illégale sur la formation du marché illégal dans le territoire québécois. Des analyses descriptives ont d’abord été effectuées dans cette étude à partir de trois segments de la banque de données québécoise des armes à feu recouvrées : la banque complète, les armes à feu impliquées dans la commission de crimes et les armes volées. Le sous-groupe de 501 d’armes à feu volées est le seul qui a été soumis à des analyses de régressions multiples sur la mobilité puisque ces armes sont les seules permettant d’avoir plus d’informations sur leur mouvement antérieur au recouvrement par les autorités policières. Les résultats montrent qu’il y a une mobilité spatio-temporelle plus importante chez les armes de poing, celles impliquées dans les crimes de marché, les armes non-enregistrées ainsi que celles sans restriction. Afin de mieux comprendre la dynamique des armes volées, le statut de l’enregistrement s’avère la variable la plus importante puisqu’elle permet de déterminer à quel point ces armes vont être enracinées dans le marché illégal au Québec. Effectivement, les armes volées non-enregistrées sont plus susceptibles de converger vers les marchés criminels, ce qui augmente considérablement leur « durée » de vie et leur mobilité dans la province.

Évolution des émotions, des obsessions et des compulsions chez les personnes souffrant de Trouble obsessionnel-compulsif au cours d’une thérapie basée sur les inférences

L’approche cognitive du trouble obsessionnel-compulsif (TOC) propose un lien bidirectionnel entre les émotions et les cognitions. Cependant, même si des études montrent une association entre les émotions et le TOC, aucune étude ne s’est attardée à la relation entre les émotions, les cognitions et les comportements au cours d’une thérapie cognitive. La présente étude a pour but d’examiner la relation entre les processus cognitif, béhavioral et émotionnel au cours d’une thérapie basée sur les inférences (TBI) chez des personnes souffrant du TOC. Plus précisément, nous avons observé comment les émotions et les symptômes du TOC s’influencent et comment ils s’influencent à travers le temps. Les patients ont rempli un journal de bord tout au long du processus thérapeutique, notant (de 0 à 100) des émotions clés, ainsi que les croyances et les comportements ciblés durant la thérapie. Des analyses à mesures répétées ont été utilisées afin de maximiser le potentiel des données longitudinales. Les résultats montrent que l’anxiété, la tristesse et la joie ont des trajectoires similaires aux croyances et aux comportements au cours de la thérapie. Les forces et limites de l’étude sont discutées. Les implications des résultats pour le traitement des émotions et des pensées à différents moments de la thérapie sont aussi discutées.

Evaluating Design Decay during Software Evolution

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues dans le code. Lorsque ces logiciels évoluent, leurs architectures ont tendance à se dégrader avec le temps et deviennent moins adaptables aux nouvelles spécifications des utilisateurs. Elles deviennent plus complexes et plus difficiles à maintenir. Dans certains cas, les développeurs préfèrent refaire la conception de ces architectures à partir du zéro plutôt que de prolonger la durée de leurs vies, ce qui engendre une augmentation importante des coûts de développement et de maintenance. Par conséquent, les développeurs doivent comprendre les facteurs qui conduisent à la dégradation des architectures, pour prendre des mesures proactives qui facilitent les futurs changements et ralentissent leur dégradation. La dégradation des architectures se produit lorsque des développeurs qui ne comprennent pas la conception originale du logiciel apportent des changements au logiciel. D'une part, faire des changements sans comprendre leurs impacts peut conduire à l'introduction de bogues et à la retraite prématurée du logiciel. D'autre part, les développeurs qui manquent de connaissances et–ou d'expérience dans la résolution d'un problème de conception peuvent introduire des défauts de conception. Ces défauts ont pour conséquence de rendre les logiciels plus difficiles à maintenir et évoluer. Par conséquent, les développeurs ont besoin de mécanismes pour comprendre l'impact d'un changement sur le reste du logiciel et d'outils pour détecter les défauts de conception afin de les corriger. Dans le cadre de cette thèse, nous proposons trois principales contributions. La première contribution concerne l'évaluation de la dégradation des architectures logicielles. Cette évaluation consiste à utiliser une technique d’appariement de diagrammes, tels que les diagrammes de classes, pour identifier les changements structurels entre plusieurs versions d'une architecture logicielle. Cette étape nécessite l'identification des renommages de classes. Par conséquent, la première étape de notre approche consiste à identifier les renommages de classes durant l'évolution de l'architecture logicielle. Ensuite, la deuxième étape consiste à faire l'appariement de plusieurs versions d'une architecture pour identifier ses parties stables et celles qui sont en dégradation. Nous proposons des algorithmes de bit-vecteur et de clustering pour analyser la correspondance entre plusieurs versions d'une architecture. La troisième étape consiste à mesurer la dégradation de l'architecture durant l'évolution du logiciel. Nous proposons un ensemble de m´etriques sur les parties stables du logiciel, pour évaluer cette dégradation. La deuxième contribution est liée à l'analyse de l'impact des changements dans un logiciel. Dans ce contexte, nous présentons une nouvelle métaphore inspirée de la séismologie pour identifier l'impact des changements. Notre approche considère un changement à une classe comme un tremblement de terre qui se propage dans le logiciel à travers une longue chaîne de classes intermédiaires. Notre approche combine l'analyse de dépendances structurelles des classes et l'analyse de leur historique (les relations de co-changement) afin de mesurer l'ampleur de la propagation du changement dans le logiciel, i.e., comment un changement se propage à partir de la classe modifiée è d'autres classes du logiciel. La troisième contribution concerne la détection des défauts de conception. Nous proposons une métaphore inspirée du système immunitaire naturel. Comme toute créature vivante, la conception de systèmes est exposée aux maladies, qui sont des défauts de conception. Les approches de détection sont des mécanismes de défense pour les conception des systèmes. Un système immunitaire naturel peut détecter des pathogènes similaires avec une bonne précision. Cette bonne précision a inspiré une famille d'algorithmes de classification, appelés systèmes immunitaires artificiels (AIS), que nous utilisions pour détecter les défauts de conception. Les différentes contributions ont été évaluées sur des logiciels libres orientés objets et les résultats obtenus nous permettent de formuler les conclusions suivantes: • Les métriques Tunnel Triplets Metric (TTM) et Common Triplets Metric (CTM), fournissent aux développeurs de bons indices sur la dégradation de l'architecture. La d´ecroissance de TTM indique que la conception originale de l'architecture s’est dégradée. La stabilité de TTM indique la stabilité de la conception originale, ce qui signifie que le système est adapté aux nouvelles spécifications des utilisateurs. • La séismologie est une métaphore intéressante pour l'analyse de l'impact des changements. En effet, les changements se propagent dans les systèmes comme les tremblements de terre. L'impact d'un changement est plus important autour de la classe qui change et diminue progressivement avec la distance à cette classe. Notre approche aide les développeurs à identifier l'impact d'un changement. • Le système immunitaire est une métaphore intéressante pour la détection des défauts de conception. Les résultats des expériences ont montré que la précision et le rappel de notre approche sont comparables ou supérieurs à ceux des approches existantes.