Parmi les différentes méthodes de résolution numérique de l'équation du transport des neutrons, la méthode des caractéristiques est actuellement l'une des plus employées pour les calculs industriels. Elle permet en effet d'obtenir un bon rapport entre précision et temps de calcul, tout en facilitant la description précise de géométries complexes grâce à un maillage non structuré. Afin de réduire la quantité de ressources requises par la méthode des caractéristiques, nous proposons dans ce mémoire deux axes d'amélioration. Le premier axe de travail est fondé sur une analyse de la technique d'intégration transverse dans la méthode des caractéristiques. Un certain nombre de limites ont été détectées à ce niveau, que nous nous proposons de corriger en proposant une variante de la méthode des caractéristiques. En traitant au mieux les discontinuités matérielles, l'objectif est d'accroître la précision de l'intégration transverse, en vue de réduire le temps de calcul sans sacrifier la qualité des résultats. L'analyse des résultats numériques fournis par cette nouvelle méthode permet d'en montrer l'intérêt, ainsi que de mieux quantifier les approximations dues à l'intégration transverse. Une autre amélioration découle de l'observation que la plupart des réacteurs en exploitation présentent des structures complexes, mais formées –au moins en partie– d'un réseau de cellules ou d'assemblages de géométries identiques. Nous proposons une méthode systématique issue de la théorie des groupes et permettant de tirer parti de ces répétitions. L'implémentation de cette technique permet de diminuer la quantité de ressources nécessaires pour stocker les informations relatives à la géométrie. Les résultats numériques en montrent l'intérêt dans un contexte industriel.

L'objet de cette thèse est la diffusion numérique sécurisée réalisée à l'aide de courbes elliptiques. Le premier chapitre est consacré au calcul de points de l-torsion sur une courbe elliptique définie sur un corps fini de caractéristique p. Plus précisément, nous combinons un algorithme rapide de calcul d'isogénies dû à Bostan, Morain, Salvy et Schost avec l'approche p-adique suivie par Joux et Lercier. Nous obtenons ainsi le premier algorithme valide sans limitation sur l et p dont la complexité est similaire à celle de l'algorithme proposé par Bostan et al. Dans le deuxième chapitre, nous développons un modèle générique de groupes avec couplage qui généralise les modèles présentés auparavant dans la littérature. Nous fournissons un cadre général permettant de prouver dans ce modèle les hypothèses cryptographiques reliées au problème du logarithme discret sur des groupes avec couplage. Dans le troisième chapitre, nous proposons et étudions un nouveau schéma de diffusion pour des récepteurs sans état. À la différence des schémas s'appuyant sur des techniques de recouvrement par des sous-ensembles définis par des arbres binaires, notre schéma considère que l'ensemble des récepteurs destinataires d'un message est décrit par des attributs. La taille du chiffré est linéaire en le nombre d'attributs utilisés dans cette description, mais ne dépend pas du nombre de destinataires. Par rapport à d'autres schémas basés sur des attributs, le déchiffrement nécessite des capacités de calculs bien plus faibles. Le dernier chapitre est consacré à un schéma de chiffrement avec traçage de traîtres, c'est-à-dire conçu pour lutter contre le piratage dans la distribution sécurisée de contenus vers de nombreux destinataires. Nous proposons un nouveau schéma, utilisant des techniques de marquage de contenu, présentant un taux de chiffrement constant et une sécurité contre des décodeurs pirates puissants. Une particularité de ce schéma est la possibilité pour un destinataire de déchiffrer à la volée le contenu transmis.

Cette thèse est consacrée à la perception visuelle des mouvements humains. L'objectif est de démontrer l'existence de liaisons fonctionnelles entre la perception et la motricité en utilisant des données issues de l'imagerie cérébrale, de l'étude de cas clinique (maladie de Parkinson) et de l'analyse comportementale de sujets adultes et d'enfants. Dans un premier temps, les recherches ont consisté à identifier les structures assurant ces liaisons fonctionnelles. La tomographie par émission de positon est utilisée pour révéler les réseaux neuronaux activés lors de la perception visuelle des mouvements d'écriture et de pointage. Les résultats indiquent que la perception de ces deux catégories de mouvements implique des structures distinctes ayants un rôle dans la planification et l'exécution de ces mouvements. Dans un second temps, les recherches ont consisté à préciser le rôle de ces liens entre perception et motricité. Dans ce but, nous nous sommes plus particulièrement intéressés à un phénomène de préférence perceptive pour la vitesse, dans le cas des mouvements de traçage et de pointage. Après avoir démontré et analysé en détail ce phénomène de préférence perceptive, nous avons étudié la façon dont ces préférences sont modulées en fonction de la représentation que le sujet a du mouvement, de la longueur de la trajectoire, du type de mouvement, du niveau de développement moteur, et de l'état du système moteur des sujets (maladie de Parkinson). Les résultats principaux montrent que : 1) les valeurs des périodes préférées pour un cycle du mouvement révèlent l'existence d'une tendance centrale dans les choix ; 2) les périodes préférées sont comparables aux périodes des mouvements imaginés ; 3) la modulation de la période de référence du sujet dépend, comme dans le cas de l'exécution des mouvements, d'un tempo et d'un paramètre d'échelle ; 4) les valeurs de ces paramètres dépendent du type de mouvement, pour la perception comme pour l'action. Cet ensemble de données permet de penser que la préférence perceptive s'appuie sur un processus de simulation motrice intériorisée du mouvement perçu se déroulant à un niveau implicite. La préférence perceptive pour la vitesse serait la manifestation d'une tendance naturelle du sujet à préférer des stimuli dynamiques conformes à sa propre motricité.

La présente thèse décrit des travaux de recherche effectués dans le domaine des systèmes tutoriels intelligents (STI). Plus particulièrement, elle s'intéresse aux tuteurs par traçage de modèle (MTT). Les MTTs ont montré leur efficacité pour le tutorat de la résolution de tâches bien définies. Par contre, les interventions pédagogiques qu'ils produisent doivent être incluses, par l'auteur du tuteur, dans le modèle de la tâche enseignée. La recherche effectuée répond à cette limite en proposant des méthodes et algorithmes permettant la génération automatique d'interventions pédagogiques. Une méthode a été développée afin de permettre à la plateforme Astus de générer des indices par rapport à la prochaine étape en examinant le contenu du modèle de la tâche enseignée. De plus, un algorithme a été conçu afin de diagnostiquer les erreurs des apprenants en fonction des actions hors trace qu'ils commettent. Ce diagnostic permet à Astus d'offrir une rétroaction par rapport aux erreurs sans que l'auteur du tuteur ait à explicitement modéliser les erreurs. Cinq expérimentations ont été effectuées lors de cours enseignés au département d'informatique de l'Université de Sherbrooke afin de valider de façon empirique les interventions générées par Astus. Le résultat de ces expérimentations montre que 1) il est possible de générer des indices par rapport à la prochaine étape qui sont aussi efficaces et aussi appréciés que ceux conçus par un enseignant et que 2) la plateforme Astus est en mesure de diagnostiquer un grand nombre d'actions hors trace des apprenants afin de fournir une rétroaction par rapport aux erreurs.

Le concept de processeur multicœurs constitue le facteur dominant pour offrir des hautes performances aux applications parallèles. Afin de développer des applications parallèles capable de tirer profit de ces plate-formes, les développeurs doivent prendre en compte plusieurs aspects, allant de l'architecture aux caractéristiques propres à l'application. Dans ce contexte, la Mémoire Transactionnelle (Transactional Memory - TM) apparaît comme une alternative intéressante à la synchronisation basée sur les verrous pour ces plates-formes. Elle permet aux programmeurs d'écrire du code parallèle encapsulé dans des transactions, offrant des garanties comme l'atomicité et l'isolement. Lors de l'exécution, les opérations sont exécutées spéculativement et les conflits sont résolus par ré-exécution des transactions en conflit. Bien que le modèle de TM ait pour but de simplifier la programmation concurrente, les meilleures performances ne pourront être obtenues que si l'exécutif est capable de s'adapter aux caractéristiques des applications et de la plate-forme. Les contributions de cette thèse concernent l'analyse et l'amélioration des performances des applications basées sur la Mémoire Transactionnelle Logicielle (Software Transactional Memory - STM) pour des plates-formes multicœurs. Dans un premier temps, nous montrons que le modèle de TM et ses performances sont difficiles à analyser. Pour s'attaquer à ce problème, nous proposons un mécanisme de traçage générique et portable qui permet de récupérer des événements spécifiques à la TM afin de mieux analyser les performances des applications. Par exemple, les données tracées peuvent être utilisées pour détecter si l'application présente des points de contention ou si cette contention est répartie sur toute l'exécution. Notre approche peut être utilisée sur différentes applications et systèmes STM sans modifier leurs codes sources. Ensuite, nous abordons l'amélioration des performances des applications sur des plate-formes multicœurs. Nous soulignons que le placement des threads (thread mapping) est très important et peut améliorer considérablement les performances globales obtenues. Pour faire face à la grande diversité des applications, des systèmes STM et des plates-formes, nous proposons une approche basée sur l'Apprentissage Automatique (Machine Learning) pour prédire automatiquement les stratégies de placement de threads appropriées pour les applications de TM. Au cours d'une phase d'apprentissage préliminaire, nous construisons les profiles des applications s'exécutant sur différents systèmes STM pour obtenir un prédicteur. Nous utilisons ensuite ce prédicteur pour placer les threads de façon statique ou dynamique dans un système STM récent. Finalement, nous effectuons une évaluation expérimentale et nous montrons que l'approche statique est suffisamment précise et améliore les performances d'un ensemble d'applications d'un maximum de 18%. En ce qui concerne l'approche dynamique, nous montrons que l'on peut détecter des changements de phase d'exécution des applications composées des diverses charges de travail, en prévoyant une stratégie de placement appropriée pour chaque phase. Sur ces applications, nous avons obtenu des améliorations de performances d'un maximum de 31% par rapport à la meilleure stratégie statique.

Les ondes de type choeur sont parmi les ondes électromagnétiques les plus intenses observées dans la magnétosphère interne de la Terre, et jouent un rôle crucial dans la dynamique des ceintures de radiation terrestres qui est un enjeu majeur de la météorologie de l'espace. Elles sont en effet responsables de l'accélération et la perte des électrons énergétiques qui peuplent notamment la ceinture externe. Or, les satellites ne peuvent couvrir entièrement la magnétosphère interne, et les données de ces ondes sont pauvres dans certaines régions. Le but de cette thèse est donc de pouvoir compléter les données satellites par le biais des simulations numériques, en déterminant les distributions statistiques des ondes de type choeur dans la magnétosphère interne. Pour cela, un code dit de traçage de rayons a été développé, incluant un modèle réaliste de magnétosphère interne. La propagation des ondes choeur par le biais de ce code est d'abord décrite dans ce travail, mettant notamment l'accent sur l'importance de l'angle azimutal des ondes. Puis, en utilisant la base de données de trajectoires réalisée pour des paramètres typiques des choeurs sources, la reconstruction des distributions statistiques mesurées par Cluster est présentée. Il est ainsi démontré l'invalidité, aux moyennes et hautes latitudes, de l'approximation quasi-longitudinale utilisée dans de nombreux calculs de la dynamique des ceintures de radiation. En se basant sur ces distributions réalistes d'angles normaux, mais aussi d'amplitude des ondes, il est ensuite démontré l'importante différence obtenue sur les pertes d'électrons énergétiques. Par la suite, la précision de nos simulations numériques pour l'étude des ondes choeurs réfléchies dans la magnétosphère est mise en évidence, ainsi que leur importance étant donné le peu d'observations. Nos simulations indiquent notamment que les tons descendants d'ondes choeur peuvent provenir de la réflexion magnétosphérique de tons montants.

La région de l'Abitibi renferme d'abondants dépôts fluvioglaciaires de sables et de graviers, notamment des eskers, reconnus comme des aquifères exceptionnels étant donné leurs caractéristiques hydrogéologiques intrinsèques et la faible perméabilité du roc sous-jacent. Une meilleure compréhension des régimes hydrauliques relatifs à ces systèmes est nécessaire afin d'établir une gestion adaptée de la ressource hydrique. Ainsi, une étude ayant recours aux isotopes des gaz rares fut initiée dans les eskers de la région d'Amos. Douze échantillons d'eaux furent prélevés dans l'esker Saint-Mathieu-Berry (SMB), la moraine d'Harricana, l'esker de Barraute et dans la plaine argileuse située entre ces formations. Spécifiquement, des analyses sur les concentrations en gaz rares ont été effectuées. Les résultats des rapports 20Ne/4He contre 3He/4He indiquent un mélange entre une composante radiogénique enrichie en 4He, tritiogénique enrichie en 3He et atmosphérique. Le rapport mesuré 3He/4He normalisé à celui de l'atmosphère (R/Ra), où Ra=1,386*10-6, varie entre 0.224±0.012 pour l'eau d'un puits privé prélevée dans le roc (P1) et 1.849±0.036 pour le puits d'Amos. Les âges 3H-3He, obtenus grâce aux contenus en tritium et en 3He mesurés, dévoilent la présence d'eaux modernes (≤32 ans) situées principalement dans les formations fluvioglaciaires. La moraine d'Harricana, marquée par une signature atmosphérique, présente les eaux les plus jeunes variant entre 6.44±1.30 et 9.80±1.29 ans. Les âges 3H-3He montrent une relation linéaire avec la profondeur des puits pour l'esker Saint-Mathieu-Berry (SMB) et la moraine d'Harricana. Cette relation, appuyant l'utilisation du modèle d'écoulement piston pour la plupart des puits, permet de calculer des gradients verticaux d'infiltration variant entre 0.9 et 7 m/an. Elle permet d'identifier un phénomène de dispersion/diffusion dans les puits du secteur sud de l'esker de SMB appuyé par la comparaison entre les concentrations en tritium et la courbe des précipitations à Ottawa. De ce fait, la datation 3H-3He ne semble pas valide pour les puits du secteur sud. La calibration du taux de production en 4He permet l'estimation des temps de séjour (U-Th)/4He des eaux dans les aquifères. Ces derniers montrent l'occurrence de masses d'eaux intermédiaires (50 à 6000 ans) et fossiles (≥6000 ans). Quatre échantillons de l'esker de SMB montrent des eaux possiblement d'âge intermédiaire (50 à 738 ans) selon les analyses (U-Th)/4He, mais modernes selon les analyses 3H/3He. Ces puits, en grande partie situés dans une zone de faille de type indéterminé, montre une signature d'un mélange entre une eau ancienne circulant dans les zones fragilisées du socle granitiques sous-jacent l'esker et de l'eau jeune. Les eaux de l'esker ne présentent pas de signature typique des eaux profondes circulant dans la plaine argileuse. D'autre part, l'âge apparent (U-Th)/4He le plus élevé de la zone d'étude est d'environ 8000 ans. Cet âge correspond à celui d'un puits situé dans le socle fracturé de la plaine argileuse. La salinité et le rapport 3He/4He mis en fonction de la profondeur des puits suggèrent un mélange entre de l'eau minéralisée riche en 4He radiogénique et de l'eau douce moderne plus superficielle dans l'aquifère du socle rocheux de la plaine. Cela peut également indiquer une augmentation graduelle de la salinité engendrée lors du transport de l'eau puisque le temps de séjour augmente aussi avec la distance longitudinale par rapport à la moraine d'Harricana. Ainsi, la moraine semble représenter une zone de recharge importante à la fois pour l'esker de Barraute et pour le socle de la plaine argileuse. Notons que les eaux les plus minéralisées et riches en 4He radiogénique sont celles provenant du socle fracturé Archéen de la plaine argileuse. Les températures de recharge obtenues varient entre -0.10±0.61°C et 11.64±0.73°C. Pour la plupart des puits, elles diminuent avec l'augmentation de l'élévation estimée pour la recharge. Les échantillons situés dans la plaine montrent les températures de recharge les plus basses (entre -0.10 et 2.91°C), alors que celles de l'esker SMB se situent entre 6.19 et 11.6°C. La paléotempérature pour la moraine d'Harricana est plus faible en surface (3.87°C) qu'en profondeur (9.52°C). ______________________________________________________________________________

Cette recherche réalisée dans le cadre d'un projet visant à développer les méthodes de caractérisation des eaux souterraines à l'aide des traceurs isotopiques a été entreprise grâce à un financement du FRQNT (programme partenariats-actions concertées sur les eaux souterraines). Ce projet de maîtrise s'est intéressé à la région de l'Abitibi-Témiscamingue. L'objectif était de quantifier l'apport d'eau souterraine aux tourbières à l'aide du 222Rn. Le 222Rn, radionucléide (demi-vie de 3.82 jours), produit par le 226Ra issu de la chaîne de désintégration de 238U, est un excellent traceur pour étudier les interactions entre les eaux souterraines et les eaux de surface. Les tourbières étudiées sont situées sur les flancs des eskers de Saint-Mathieu-de-Berry et de Barraute, de même que sur la moraine d'Harricana. Les sites expérimentaux ont été instrumentés et caractérisés dans le cadre d'un autre projet de recherche également financé par le FRQNT. L'eau recueillie montre des activités en 222Rn de 2,8 à 34,9 Bq/L dans les eaux des eskers et du socle fracturé archéen au-dessous des plaines séparant les eskers. L'activité en 222Rn varie de 0,02 à 16,59 Bq/L dans les eaux de tourbières. Aussi, les tourbières montrent une bonne corrélation entre l'activité du 222Rn et les ions totaux dissous, et plus particulièrement les ions HCO3-, SO42-, Mg2+ et Ca2+. La relation établie entre le 222Rn et la profondeur permet de conclure que la salinité de l'eau provient en grande partie des eaux des eskers. Un bilan de masse entre les eaux de l'aquifère, riches en 222Rn et les eaux de tourbières appauvries en sels et en 222Rn, permet d'estimer qu'entre 0,03 et 39% de toute l'eau qui alimente les tourbières provient de l'eau souterraine des eskers. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : 222Rn, tourbière, esker, eau souterraine, eau de surface, traçage, Abitibi-Témiscamingue.

La méthode des caractéristiques (méthode MOC) est une méthode efficace et flexible de résolution de l'équation de transport. Cette approche a été considérablement utilisée dans les calculs en deux dimensions car elle permet de traiter des géométries complexes et elle possède un bon ratio temps/précision. Cependant, malgré les améliorations des moyens de stockage et de calcul dans le secteur informatique, un calcul direct en trois dimensions reste encore impossible.Dans ce travail, nous introduisons et analysons plusieurs modifications de la méthode MOC dans le but de réduire la quantité requise de mémoire ainsi que la charge de calcul. Ce document se penche sur l'étude d'une approximation spatiale aux ordres supérieurs pour le flux volumique. En se démarquant de la méthode classique (la méthode MOC constante par morceaux) l'augmentation des détails de la représentation du flux volumique peut permettre de réduire la taille des mailles tout en gardant une bonne précision. Les résultats numériques effectués sur des benchmarks confirment les gains en ratio temps/précision. En ce qui concerne le stockage mémoire, le nombre de trajectoires influe sur la quantité de données à stocker. De ce fait, nous explorons une méthode de traçage par traceurs locaux définis par sous domaines possédant la même géométrie. Les redondances présentes dans les coeurs des réacteurs nucléaires promettent une réduction importante de la quantité de mémoire requise. Deux méthodes de traçage ont été étudiées : la première est une méthode de traçage non-uniforme prenant en compte les discontinuités dans la maille et la deuxième est une méthode fondée sur des trajectoires périodiques et continues d'une maille à l'autre.