Une approche propédagogique du diagnostic cognitif dans les STI : conception, formalisation et implémentation

Dans un STI, la question de la conception et de l'implémentation du diagnostic cognitif (DC) du comportement de l'apprenant est abordée de manière intuitive et au "cas par cas", selon les objectifs spécifiques de ce STI. D'un point de vue purement opérationnel, cette approche n'est pas vraiment néfaste puisque les STI qui en résultent "fonctionnent". Cependant lorsqu' il s'agit de rendre au DC dans un STI, la dimension pédagogique qui lui est naturellement sienne dans le tutorat humain, un regard en perspective sur des considérations plus fondamentales favorise la réflexion dans ce sens. Cette thèse formule, formalise et implémente explicitement une dimension «propédagogique» du DC dans les STI. Cette dimension pro-pédagogique s'exprime principalement à travers deux relations qui n'ont jamais été explicitement étudiées et mises en pratique dans la recherche sur le DC dans les STI : la relation entre le DC et les paradigmes de cognition; la relation entre le DC et son exploitation pédagogique, en l'occurrence la remédiation des difficultés de l'apprenant, ce à travers une boucle diagnostic-remédiation. Outre leur originalité conceptuelle, ces relations sont articulées dans un cadre de spécification pour le DC lorsqu'il s'agit de l'appliquer dans un STI. L'originalité de l'idée d'un tel cadre de référence est qu'il favorise une préservation de la fidélité pédagogique du DC au cours de son implémentation dans un système informatique. Sur le plan informatique, l'originalité de la contribution de cette thèse est qu'elle formalise cette perspective du processus de DC dans un STI, notamment en systématisant la dynamique de la boucle diagnostic-remédiation à travers: (1) un algorithme générique de type « générer et tester», (2) l'intégration à cet algorithme de mécanismes formels de raisonnement incertain par le biais des inférences bayésiennes (pour tenir compte des facteurs d'incertitude reliés au DC dans un STI) et (3) l'implémentation de cet algorithme dans une librairie de programmes génériques et donc réutilisables par tout membre de la communauté AIED désireux d'adopter cette philosophie de diagnostic cognitif dans un STI

Modèle possibiliste pour la reconnaissance d'activités habitat intelligent

Le vieillissement actuel de la population provoque un accroissement de problèmes dans les systèmes de santé, dont une pénurie de personnel médical pour les soins à domicile. Le vieillissement de la population a également pour effet d'augmenter le nombre de personnes avec troubles cognitifs. Les comportements incohérents induits par les symptômes des troubles cognitifs limitent la capacité de ces personnes à réaliser leurs activités de la vie quotidienne (AVQ). L'un des axes de recherche prometteurs de cette problématique est l'amélioration et le maintien de la qualité de vie des personnes avec troubles cognitifs dans leurs domiciles. Pour répondre à cette problématique, plusieurs laboratoires de recherche, dont le laboratoire de DOmotique et d'informatique Mobile de l'Université de Sherbrooke (DOMUS), explorent les différents moyens de soutenir, à l'intérieur d'un habitat intelligent, un occupant avec troubles cognitifs dans l'accomplissement de ses AVQ. Cette approche s'inscrit dans le récent courant de pensée issu de l'intelligence ambiante, qui fait référence à une tendance où les environnements sont enrichis avec des technologies (capteurs, effecteurs et autres dispositifs interconnectés par un réseau), dans le but de concevoir un système pouvant planifier une assistance ponctuelle aux occupants en fonction des informations recueillies et de l'historique des données accumulées. L'une des difficultés majeures inhérentes à ce contexte est la reconnaissance et la prédiction des comportements anormaux lorsque les occupants effectuent leurs AVQ à l'intérieur d'un habitat intelligent. Cette thèse vise à contribuer à l'amélioration du processus de reconnaissance de comportements d'un occupant avec troubles cognitifs. Notre proposition consiste en une approche de reconnaissance et prédiction de comportements fondée sur une formalisation des actions basée sur la théorie des possibilités, une alternative à la théorie des probabilités. Les actions sont inférées à partir de l'état actuellement observé de l'habitat intelligent obtenu grâce aux évènements envoyés par les capteurs présents dans l'appartement, lesquelles peuvent fournir une information incomplète et imparfaite. À partir de la séquence d'actions observées plausibles, l'approche proposée utilise une formalisation des activités en structure de plans d'actions pour inférer le comportement observé de l'occupant. Cette approche est en mesure de considérer les comportements erronés, où l'occupant effectue de façon erronée certaines activités tandis que d'autres peuvent être effectuées de façon cohérente, et les comportements cohérents, où l'occupant effectue une ou plusieurs activités de façon cohérente. Les hypothèses sur le comportement observé sont ensuite utilisées pour déterminer les opportunités d'assistance que l'habitat intelligent peut offrir. L'approche proposée a été implémentée et validée au sein de l'infrastructure du projet"Ambient Intelligence for Home-based Elderly Care" à l'"Institute for Infocomm Research" de Singapour et présente des résultats prometteurs pour des scénarios de cas réels effectués dans l'infrastructure. Le développement d'un habitat intelligent capable de maintenir et d'améliorer la qualité de vie des personnes avec troubles cognitifs permettrait de diminuer le fardeau des aidants naturels et professionnels, facilitant le choix des ces personnes de rester à domicile. Ce type de technologie pourrait constituer une solution viable aux problèmes des systèmes de santé associés au vieillissement de la population. De plus, ce type d'approche peut également être utilisé dans des contextes où les comportements anormaux et les situations à risque doivent être évités comme, par exemple, dans le domaine de l'aviation

Méthodologie d'identification et d'évaluation de la sûreté de fonctionnement en phase de réponse à appel d'offre

La sûreté de fonctionnement (SdF) des produits, processus et services est une préoccupation permanente de tous les acteurs industriels. C'est le cas notamment dans le secteur automobile à l'exemple des équipementiers confrontés à des clients de plus en plus exigeants en matière de sûreté de fonctionnement. Jusqu'alors uniquement intéressé par les résultats, le client requiert aujourd'hui, dès les négociations couplées à l'appel d'offre (AO), une information précise sur la démarche même que le fournisseur prévoit de mettre en place pour satisfaire aux exigences SdF. Conscients de ces nouveaux besoins, nous nous sommes intéressés à la problématique d'identification de la "dimension SdF" du produit au stade de l'AO et à l'évaluation de l'impact économique de son intégration sur le développement futur du produit. Les conséquences de la prise en compte de la SdF sont doubles puisqu'elles concernent à la fois le produit qui voit sa robustesse optimisée mais aussi la démarche d'analyse permettant de dimensionner les solutions appropriées. Dans l'objectif de répondre à la problématique, nous avons proposé une organisation du processus de réponse à appel d'offre en différentes étapes instrumentées allant de l'identification des éléments relatifs à la SdF dans les documents clients fournis pour l'AO à la définition et à l'évaluation de l'impact SdF.Products Dependability, process and services is a major and permanent topic for industrial actors and especially in automotive industry, where products suppliers are faced to customers more and more aware about dependability. Until now, Customers was only interested about results, they request today, in bid process timeframe, informations about processes put in place in order to reach dependability objectives. Taking these new requirements into accounts, we have focused our work on dependability identification during bid process and the evaluation its cost impact on development. Taking dependability into account allow to increase product robustness but also to make better design choice in term of dependability. Thus, in order to reach this objective, we propose a step by step process for bid phases from dependability topics identification to cost impact.TOULOUSE-INP (315552154) / SudocSudocFranceF

Méthodologie d'identification et d'évaluation de la sûreté de fonctionnement en phase de réponse à appel d'offre

La sûreté de fonctionnement (SdF) des produits, processus et services est une préoccupation permanente de tous les acteurs industriels. C'est le cas notamment dans le secteur automobile à l'exemple des équipementiers confrontés à des clients de plus en plus exigeants en matière de sûreté de fonctionnement. Jusqu'alors uniquement intéressé par les résultats, le client requiert aujourd'hui, dès les négociations couplées à l'appel d'offre (AO), une information précise sur la démarche même que le fournisseur prévoit de mettre en place pour satisfaire aux exigences SdF. Conscients de ces nouveaux besoins, nous nous sommes intéressés à la problématique d'identification de la "dimension SdF" du produit au stade de l'AO et à l'évaluation de l'impact économique de son intégration sur le développement futur du produit. Les conséquences de la prise en compte de la SdF sont doubles puisqu'elles concernent à la fois le produit qui voit sa robustesse optimisée mais aussi la démarche d'analyse permettant de dimensionner les solutions appropriées. Dans l'objectif de répondre à la problématique, nous avons proposé une organisation du processus de réponse à appel d'offre en différentes étapes instrumentées allant de l'identification des éléments relatifs à la SdF dans les documents clients fournis pour l'AO à la définition et à l'évaluation de l'impact SdF. ABSTRACT : Products Dependability, process and services is a major and permanent topic for industrial actors and especially in automotive industry, where products suppliers are faced to customers more and more aware about dependability. Until now, Customers was only interested about results, they request today, in bid process timeframe, informations about processes put in place in order to reach dependability objectives. Taking these new requirements into accounts, we have focused our work on dependability identification during bid process and the evaluation its cost impact on development. Taking dependability into account allow to increase product robustness but also to make better design choice in term of dependability. Thus, in order to reach this objective, we propose a step by step process for bid phases from dependability topics identification to cost impact

Développement d'un système de gestion de workflows distribué

Les nouvelles générations de systèmes d'information intègrent les systèmes d'applications aux systèmes de gestion de workflows. La modélisation de procédures d'affaires ou de workflows est un domaine récent.Les chercheurs dans ce domaine visent à développer des méta-modèles de workflows, à intégrer différentes implémentations de workflows et à augmenter la flexibilité des systèmes de gestion de workflows. Le travail de recherche présenté dans ce mémoire porte sur le développement d'un système de gestion de workflows distribué. Dans ce travail, nous appliquons une méthode orientée objets (OMT) pour l'analyse et la conception d'un tel système. Puis, nous construisons le système suivant une architecture client/serveur à base d'objets distribués. En plus, nous réalisons un client workflows et un serveur workflows. Ces deux modules sont développés avec le langage de programmation Java. La communication entre les objets distants est gérée par le bus RMI. La base de données est construite à l'aide du SGBD d'Oracle et les accès aux données sont réalisés en utilisant JDBC

Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Gestion de données terminologiques : principes, méthodes, modèles

Les données terminologiques multilingues représentent une composante essentielle dans de nombreux secteurs d'activité, dont la rédaction et la traduction techniques, l'indexation, la recherche d'information [WRI 97] [WRI 01]. L'élaboration de ces ressources s'avérant fort coûteuse, les échanges et la fusion de données constituent un aspect important de la constitution de la majeure partie des bases de données terminologiques connues. Dans le présent chapitre, nous essayons de montrer, en cohérence avec les grandes initiatives internationales de normalisation (ISO1, W3C2 et TEI3) comment il est possible d'apporter un certain nombre de réponses cohérentes à ces difficultés