Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Impacts des TIC sur la motivation des étudiants à l’apprentissage des mathématiques à l’Université Abdou Moumouni au Niger

Cette recherche porte sur l’amélioration de la motivation à l’apprentissage des mathématiques à l’Université Abdou Moumouni. Elle se situe dans une dynamique globale de mise au point d’actions pédagogiques pour remédier au problème préoccupant de la motivation à l’apprentissage des sciences. Plus spécifiquement, il s’agit de prospecter si les environnements virtuels d’apprentissage peuvent contribuer à l’amélioration de la transmission des savoirs dans un contexte universitaire au Niger. Ainsi, notre recherche vise à mieux comprendre l’impact de l’intégration des TIC sur la motivation chez des étudiants à apprendre les mathématiques au Niger. Les trois objectifs spécifiques de notre recherche sont : explorer les impacts sur le sentiment de compétence chez des étudiants à l’apprentissage des mathématiques dans un contexte d’intégration pédagogique des TIC; mieux comprendre le changement des types de motivations autodéterminées à l’apprentissage des mathématiques chez des étudiants exposés à une intégration pédagogique des TIC; comprendre les perceptions de l’usage d’un environnement virtuel à l’apprentissage des mathématiques chez des étudiants et l’évolution de leurs motivations autodéterminées. Se fondant sur une méthodologie de type mixte, cette recherche quasi-expérimentale a consisté en la collecte de données quantitatives au moyen de 2 questionnaires sur la motivation (sentiment de compétence et sentiment d’autodétermination) en pré-test et en post-test. Pour les données qualitatives, nous avons eu recours à des entrevues dirigées auprès de 9 participants. Au total 61 étudiants inscrits en science de la vie et de la terre, dont 51 hommes, ont participé à la recherche. La thèse respecte le mode de présentation par articles. Chacun des trois articles est en lien avec un des trois objectifs de la recherche, dans l’ordre cité plus haut. Les principaux résultats indiquent un impact positif sur la motivation à travers un recul du sentiment négatif de compétence chez les étudiants ayant bénéficié de l’apport des TIC comparativement aux étudiants ordinaires. En ce qui concerne le sentiment d’autodétermination, chez les étudiants ayant bénéficié de l’apport pédagogique des TIC, il est mis en évidence une stagnation ou une légère baisse des motivations peu ou pas autodéterminées et une légère hausse ou une stagnation des motivations autodéterminées chez les étudiants ayant bénéficié de l’apport des TIC. Finalement, la recherche a permis de mettre en relief l'existence de corrélations positives entre l’augmentation des motivations autodéterminées et la perception d’une qualité positive de l’expérience d'innovation pédagogique que représente l’environnement virtuel d’apprentissage des mathématiques. En définitive, cette recherche fait ressortir l’importance de l'intégration pédagogique des TIC pour améliorer les pratiques pédagogiques actuelles, et satisfaire deux besoins psychologiques fondamentaux, notamment le sentiment de compétence et le sentiment d’autodétermination, deux composantes essentielles de la motivation selon la théorie de l’autodétermination de Deci et Ryan. Les résultats obtenus dégagent des perspectives intéressantes en vue de renforcer les recours aux environnements virtuels d'apprentissage au profit de la motivation à l'apprentissage des mathématiques. Les forces et les limites de la recherche sont discutées et un ensemble de recommandations sont émises à l’intention des acteurs académiques, notamment les perspectives assez prometteuses de l’intégration pédagogique des TIC au service de l'apprentissage des sciences en Afrique, et au Niger en particulier.

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.

Modélisation et implémentation des patrons de conception

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Analyse de la variation intra- et inter-populationnelle : application de deux méthodes craniométriques sur des collections amérindiennes-canadiennes

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

"Préservation du stock osseux acétabulaire lors de l'arthroplastie de la hanche : étude clinique randomisée et étude de modélisation par ordinateur "

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Développement et évaluation de méthodes d'isolation des spores de champignons contenues dans l'eau des rivières

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Modélisation de détecteurs à base de semiconducteurs pour la spectroscopie et l'imagerie des rayons-[y] ?

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

SCAM et modélisation 3-D du canal TRPV5

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Méthodes de détection et de classification des naines brunes

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Développement et validation de méthodes de dosage du midazolam, un marqueur de l'activité des CYP3A, et de la fexofénadine, un substrat de la glycoprotéine P, dans les milieux biologiques

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Modélisation des conséquences pédagogiques induites par des incapacités intellectuelles et auditives chez l'élève

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Étude fonctionnelle du cotransporteur Na+/glucose (hSGLT1) : courant de fuite, vitesse de cotransport et modélisation cinétique

Les résultats présentés dans cette thèse précisent certains aspects de la fonction du cotransporteur Na+/glucose (SGLT1), une protéine transmembranaire qui utilise le gradient électrochimique favorable des ions Na+ afin d’accumuler le glucose à l’intérieur des cellules épithéliales de l’intestin grêle et du rein. Nous avons tout d’abord utilisé l’électrophysiologie à deux microélectrodes sur des ovocytes de xénope afin d’identifier les ions qui constituaient le courant de fuite de SGLT1, un courant mesuré en absence de glucose qui est découplé de la stoechiométrie stricte de 2 Na+/1 glucose caractérisant le cotransport. Nos résultats ont démontré que des cations comme le Li+, le K+ et le Cs+, qui n’interagissent que faiblement avec les sites de liaison de SGLT1 et ne permettent pas les conformations engendrées par la liaison du Na+, pouvaient néanmoins générer un courant de fuite d’amplitude comparable à celui mesuré en présence de Na+. Ceci suggère que le courant de fuite traverse SGLT1 en utilisant une voie de perméation différente de celle définie par les changements de conformation propres au cotransport Na+/glucose, possiblement similaire à celle empruntée par la perméabilité à l’eau passive. Dans un deuxième temps, nous avons cherché à estimer la vitesse des cycles de cotransport de SGLT1 à l’aide de la technique de la trappe ionique, selon laquelle le large bout d’une électrode sélective (~100 μm) est pressé contre la membrane plasmique d’un ovocyte et circonscrit ainsi un petit volume de solution extracellulaire que l’on nomme la trappe. Les variations de concentration ionique se produisant dans la trappe en conséquence de l’activité de SGLT1 nous ont permis de déduire que le cotransport Na+/glucose s’effectuait à un rythme d’environ 13 s-1 lorsque le potentiel membranaire était fixé à -155 mV. Suite à cela, nous nous sommes intéressés au développement d’un modèle cinétique de SGLT1. En se servant de l’algorithme du recuit simulé, nous avons construit un schéma cinétique à 7 états reproduisant de façon précise les courants du cotransporteur en fonction du Na+ et du glucose extracellulaire. Notre modèle prédit qu’en présence d’une concentration saturante de glucose, la réorientation dans la membrane de SGLT1 suivant le relâchement intracellulaire de ses substrats est l’étape qui limite la vitesse de cotransport.

Effet de la température sur les interactions trophiques et intraguildes au sein d’un système plante-herbivore-ennemis naturels : modélisation et approches expérimentales

Doctorat réalisé en cotutelle entre l'Université de Montréal et l'Université Paul Sabatier-Toulouse III