Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Ce travail de recherche se situe à un moment particulier de réforme du système éducatif algérien. Il prend sa source dans les difficultés suscitées par la mise en œuvre de cette réforme, du point de vue, pour l’enseignement des mathématiques, de l’approche par les compétences et de l’intégration des TICe. Il questionne le potentiel des ressources de Sésamath, une association française d’enseignants, pour soutenir le travail des professeurs confrontés à cette réforme.Ancrée dans l’approche documentaire du didactique, la thèse a suivi plus particulièrement trois professeurs d’un collège, à la fois dans leurs classes régulières et dans un atelier de mathématiques, laboratoire d’intégration des ressources de Sésamath.Elle considère particulièrement les systèmes de ressources des enseignants en analysant leur structure et leur évolution, dans la perspective d’une modélisation de ces systèmes. Elle exploite la notion de schème, et notamment d’invariants opératoires, pour décrire l’évolution des connaissances des professeurs.Elle montre comment l’intégration des ressources de Sésamath, dans un milieu arabophone, conduit à développer un travail collectif de sélection, d’adaptation, de traduction et de mise en œuvre de ses ressources. Elle montre comment l’intégration des activités de Sésamath basées sur la résolution de problèmes a soutenu les enseignants dans leur travail de mise en œuvre de la réforme. Elle met en évidence l’intérêt de ces interactions pour l’évolution des connaissances et le développement professionnel des enseignants impliqués.L’étude ouvre des pistes, aussi bien pour la formation des enseignants que pour la modélisation de leur système de ressources / This research is situated at a particular moment of reform of the Algerian educational system. It originates from the difficulties of implementing this reform from a point of view, for mathematics education, of the competency-based approach and the integration of ICT. It questions the potential of the resources of Sésamath, a French association of teachers, for supporting the work of teachers facing this reform.Anchored in the documentary approach to didactics, the PhD followed in particular three teachers from a college, both in their regular classes and in a mathematics workshop, the Sésamath resource integration laboratory.It particularly considers teacher resource systems by analyzing their structure and evolution, aiming to modelling these systems. It exploits the notion of scheme, and especially operational invariants, to describe the evolution of teachers' knowledge.It shows how the integration of Sésamath's resources, in an Arabic-speaking environment, leads to developing a collective work of selection, adaptation, translation and implementation of these resources. It shows how the integration of problem-based Sésamath activities has supported teachers in their work for implementing the reform. It highlights the value of these interactions for the evolution of knowledge and professional development of the teachers involved.The study opens ways, both for teacher training and for modelling their resource system

Les espèces de Mascarocoffea (61 sur 124 décrites endémiques de Madagascar) sont fortement menacées d'extinction à cause de la réduction considérable des surfaces forestières à Madagascar. En vue de leur préservation, l'évaluation du niveau de diversité dans la collection de Mascarocoffea de la station de Recherche du FOFIFA à Kianjavato comparé à celui de quatre populations en in situ a été faite. Le niveau de diversité des populations en collection est plus important que celui en in situ dont l'hétérozygotie observée est similaire avec une importante richesse allélique. La modélisation de la croissance et du développement des jeunes individus de ces populations par le modèle GreenLab a permis d'appréhender la mise en place de la structure de la plante en accord avec la variabilité architecturale interspécifique chez les populations étudiées à différents stades de développement. Un bon ajustement sur la croissance a été obtenu par la calibration des populations étudiées dans le dispositif expérimental. L'évolution de la variable clé du modèle GreenLab, le rapport source-puits (Q/D) en fonction du temps pour les 7 populations ajustées a montré que la production de beaucoup plus d'organes influence l'évolution du rapport Q/D au court du temps. Ce rapport affecte la taille des organes et l'architecture des Mascarocoffea. Un essai sur des individus adultes poussant dans des milieux différents (ex et in situ) dont les paramètres morphologiques, architecturaux et génétiques ont été déterminés dans cette étude, permettrait de déterminer la réponse des plantes selon l'environnement dans lequel elles poussent et de faire une optimisation du modèle. La détection des individus hybrides aussi bien in situ qu'en collection permet de voir ultérieurement la conséquence sur la structure de la plante et d'envisager d'intégrer les paramètres génétiques dans le modèle…. / Mascarocoffea species (61 / 124 described, endemics to Madagascar) are highly endangered because of the considerable Madagascar area forest reduction. For their preservation, assessment of the Mascarocoffea diversity level in the FOFIFA Kianjavato Collection Research Station compared to four in situ populations was made. The collection population's diversity level is larger than that in situ, observed heterozygosity is similar with a significant allelic richness. Modeling the young individuals in these populations' growth and development by the GreenLab model helped to understand the development of the plant structure in accordance with the interspecific architectural variability in studied populations at different development stages. A good fitting on growth was obtained on the populations studied in the experimental plot. The evolution of the GreenLab model key variable, the source-sink ratio (Q / D), showed that the production of many more organs influences the ratio Q / D evolution in time. This variable affects organ size and Mascarocoffea architecture. An essay on adult individuals growing in different environments (in and ex situ), whose morphological, genetic and architectural parameters were determined in this study, would allow the plants response in terms of architecture depending on the environment in which they grow and to optimize the model. The detection of hybrid individuals in both in situ and at the collection would detect hybrids characters on the plant structure and consider integrating genetic parameters in the model....

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. <br />Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactif, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes.

Ce document présente tout d'abord un état de l'art pour la modélisation de la gestion des ressources renouvelables, puis différents outils et modèles développés avant de proposer un projet de recherche.

Nos recherches portent sur l'analyse automatique de textes par application de grammaires lexicalisées en utilisant des ressources linguistiques à large couverture. Dans ce contexte, nous avons approfondi nos travaux dans trois domaines : l'algorithmique, la réalisation d'applications utilisables dans un contexte industriel et l'analyse syntaxique profonde. En ce qui concerne le premier point, nous avons implémenté des algorithmes originaux pour l'optimisation des grammaires locales en préalable à leur utilisation pour l'analyse et nous proposons un algorithme efficace pour l'application de ce type de grammaire sur un texte. Notre algorithme améliore le traitement des ambiguïtés lexicales et syntaxiques. Nous montrons par des évauations chiffrées que nos algorithmes permettent de traiter de gros volumes de données textuelles en combinaison avec des ressources linguistiques fines et à large couverture. Au niveau applicatif, nous avons participé au développement de la plate-forme RNTL Outilex dédiée aux traitements automatiques de textes écrits. L'architecture modulaire de la plate-forme et sa licence peu restrictive (LGPL) permet la réalisation, à faible coût, d'applications hybrides mélangeant les méthodes à base de ressources linguistiques avec les méthodes statistiques. Enfin, le troisième axe de nos recherches porte sur l'exploitation des tables du lexique-grammaire, pour l'analyse syntaxique profonde et l'extraction des prédicats et de leurs arguments dans les textes français. A cet effet, nous avons fait évoluer le formalisme de nos grammaires vers un formalisme à structure de traits. Les équations sur les traits qui décorent notre grammaire nous permettent de résoudre de manière déclarative différents phénomènes syntaxiques et de représenter de manière formelle les résultats d'analyse. Nous présentons notre grammaire du français dans l'état actuel, qui est générée de manière semi-automatique à partir des tables du lexique grammaire, et nous donnons des évaluations de sa couverture lexicale et syntaxique.

Le problème d'allocation de ressources consiste à optimiser le coût global d'un système en répartissant selon diverses composantes une ressource contrainte par un budget. Chaque composante du système est régie par une loi reliant la ressource au coût qu'elle engendre. Cette description s'applique à de nombreux contextes dont les deux principaux évoqués ici sont issus du codage en communications numériques. Ainsi, les systèmes de codage de source par transformée ou de codage de canal à modulation multi-porteuses intègrent ce problème dans la recherche d'un point de fonctionnement optimal, s'adaptant bien à un formalisme commun. En communications numériques, différentes méthodes de résolution ont été élaborées au cours des quarante dernières années. Leur validité se limite souvent à des cas non-exhaustifs et leurs performances dépendent des caractéristiques des fonctions considérées. De plus, complexité et optimalité revêtent une importance particulière mais sont rarement optimisées de concert en raison des techniques de modélisation et des principes de recherche employés. Un des problèmes majeurs provient en particulier de l'existence de points dit "cachés" n'appartenant pas à l'enveloppe convexe du nuage global et souvent ignorés par les méthodes actuelles d'optimisation. Cette thèse propose d'aborder le problème d'allocation de ressources en communications numériques sous un angle nouveau et global. La reformulation complète du problème et de l'ensemble des concepts sous-jacents permet ainsi d'énoncer des critères propices à la description de quatre algorithmes novateurs.

Le nombre croissant des terminaux (PDAs, ordinateurs portables, téléphones) et l'expansion des réseaux sans fil (GSM, GPRS, UMTS, WLAN, Bluetooth) témoignent de la demande croissante des utilisateurs pour un accès à des ressources telles que des données ou des services applicatifs, à tout moment, et, n'importe où. Dans ce contexte, les réseaux ad hoc peuvent jouer un rôle important puisqu'ils ne nécessitent pas d'infrastructures pour communiquer, ils peuvent également être utilisés lorsque le déploiement d'infrastructures est coûteux ou sans objet, ou encore pour accroître la portée des réseaux à base d'infrastructure. De plus ces réseaux ad hoc peuvent opérer de façon autonome ou être connectés à d'autres types de réseaux afin de fournir à l'utilisateur un accès vers un ensemble plus important de ressources. Dans les réseaux filaires ou sans fil basés sur des infrastructures, les solutions proposées afin de localiser les ressources se basent majoritairement sur un répertoire centralisant les informations relatives aux ressources du réseau. Ces solutions sont inexploitables dans les réseaux ad hoc en raison du manque de connectivité induit notamment par les changements de topologie du réseau, et par l'épuisement des réserves énergétiques des batteries. Les solutions proposées pour les réseaux ad hoc se basent quant à elle sur des techniques de diffusion coûteuses, en terme de bande passante, et conduisent à surcharger le réseau. Cette inefficacité des solutions existantes demeure l'un des freins majeurs au développement d'applications pour les réseaux sans fil intégrant des réseaux ad hoc. L'objectif de cette thèse est d'offrir une localisation efficace des ressources afin de garantir un accès transparent aux ressources disponibles dans un environnement intégrant des réseaux ad hoc. Tout d'abord, cette thèse présente les travaux de recherche portant sur la localisation des terminaux et des ressources dans un réseau ad hoc. Nous introduisons ensuite les techniques que nous proposons pour effectuer une localisation des ressources adaptée aux caractéristiques des réseaux ad hoc (e.g., densité des nœuds, surface du réseau), et cela afin de limiter le trafic généré par cette localisation. Ceci nous conduit notamment à aborder distinctement la localisation de ressources dans les réseaux ad hoc à petite et large échelle. La première approche que nous proposons est entièrement distribuée. Les terminaux coopèrent ensemble afin de localiser des ressources sur le réseau. De plus, ce protocole inclut des techniques de caching et de préchargement afin d'améliorer les performances lors de la localisation et lors de l'accès aux ressources. Afin d'effectuer une localisation efficace des ressources dans un réseau ad hoc à grande échelle, nous introduisons une solution semi-distribuée basée sur un ensemble de répertoire déployés dynamiquement sur le réseau ad hoc (ou possiblement hybride). Ces contributions sont complétées par une évaluation des performances incluant une étude théorique et pratique basée sur des simulations et des expérimentations. Enfin, nous présentons une mise en œuvre de notre protocole de localisation de ressources dans le contexte des services Web. Cet intergiciel supporte un accès ubiquitaire à des services Web mobiles en se basant sur une découverte dynamique des instances de services Web présentes dans l'environement.