• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 13
  • 12
  • Tagged with
  • 29
  • 6
  • 5
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Relation entre le sentiment d'empowerment et l'insertion professionnelle de nouveaux directeurs et directeurs adjoint d'établissement d'enseignement primaire et secondaire

Chevrier, Jocelyne 11 1900 (has links)
Cette recherche vise à augmenter les connaissances sur le processus d’insertion professionnelle des nouveaux directeurs et directeurs adjoints du primaire et du secondaire au Québec lors de la première année en fonction. Pour mieux connaître cette étape de la vie professionnelle, quatre dimensions du processus d’insertion professionnelle ont été étudiées : la nature de la tâche, le contexte d’exercice, le soutien et l’accompagnement et les caractéristiques motivationnelles. Le sentiment d’empowerment des nouveaux gestionnaires a été étudié simultanément afin d’examiner leur motivation à exercer la nouvelle fonction. La question générale de la recherche était de savoir si la mesure du sentiment d’empowerment utilisé pour traiter de la motivation pouvait apporter de l’information sur la façon dont se vit le processus d’insertion professionnelle des nouveaux directeurs et directeurs adjoints d’établissement d’enseignement. Les données ont été recueillies auprès de dix nouveaux directeurs et directeurs adjoints d’établissement. Une conception de l’insertion professionnelle en tant que processus ayant été retenue, chaque participant a été rencontré à trois moments au cours de l’année scolaire, soit quelques semaines après l’entrée en fonction, au milieu de l’année et à la fin de celle-ci. Lors de chaque rencontre, les participants ont été interrogés à l’aide d’une grille d’entrevue semi-dirigée sur les quatre dimensions du processus d’insertion professionnelle mentionnées précédemment. Ils complétaient par la suite un questionnaire pour mesurer le sentiment d’empowerment. Ce questionnaire est une adaptation validée par Boudreault (1990) d’un outil développé par Tymon (1988). La recherche tend à confirmer l’utilité du sentiment d’empowerment comme source d’information sur le déroulement du processus d’insertion professionnelle. Ainsi, des relations semblent possibles entre le sentiment d’empowerment et certains aspects étudiés. Il s’agit de relations qu’il faudra cependant analyser avec de plus grands échantillons pour les valider. Tout d’abord, concernant la nature de la tâche, les constats indiquent que les directeurs adjoints affichant les meilleurs sentiments d’empowerment géraient moins de dossiers différents et que la plupart des dossiers dont ils étaient responsables faisaient appel à des habiletés développées antérieurement lors d’affectation intérimaire ou lors de leur participation à des comités à titre d’enseignants. De plus, ces participants avaient moins de gestion de personnel à effectuer, et particulièrement au regard du personnel de soutien. Ensuite, une tendance marquée a ensuite été constatée en ce qui concerne le soutien et l’accompagnement. Il est apparu que les participants (directeurs et directeurs adjoints) avec les meilleurs sentiments d’empowerment étaient ceux qui bénéficiaient du meilleur soutien et accompagnement de leur supérieur immédiat. Puis, en ce qui a trait aux caractéristiques motivationnelles, les participants exprimant les meilleurs sentiments d’empowerment se sentaient plus capables d’accomplir leur tâche et remettaient moins en question l’exercice de leur fonction. La recherche a indiqué d’autres relations possibles entre le sentiment d’empowerment et certains aspects des dimensions de l’insertion professionnelle, qui bien que moins marquées dans l’échantillon, mériteraient d’être approfondies dans des travaux futurs. Il s’agit de la relation entre le sentiment d’empowerment et le climat organisationnel de l’établissement, de la marge de manœuvre consentie dans l’exercice de la fonction et de la motivation des directeurs adjoints à postuler à un poste de directeur. Finalement, la recherche a mis en lumière la conviction des nouveaux directeurs de vivre une nouvelle phase d’insertion professionnelle et la différence entre les tâches des directeurs adjoints du primaire et ceux du secondaire. / This research contributes to the discussion regarding the induction process of new Québec elementary and high school principals and vice-principals during the year following their appointment. To understand better this stage in one’s career, we analyzed four of its main components: the nature of newly assigned professional responsibilities, working conditions and context, the degree of support provided by direct supervisors and the school board, and new vice-principals and principals’ motivational characteristics. Simultaneously, this research evaluated individuals’ feeling of empowerment, in order to measure their motivation to carry on their new positions. The main goal was to determine whether the degree of principals and vice-principals’ perceived empowerment could provide information about how they are experiencing their professional induction. Ten incoming Québec elementary and high school principals and vice-principals were met through a process of semi-structured interviews. Seeing the notion of “professional induction” as a process, rather than a discrete moment in one’s career, each participant was interviewed on three occasions over the course of the school year: a few weeks after the participant took office, halfway through the school year, and at the end of the school year. During each interview, participants answered questions relating to the four components of the professional induction process that were previously mentioned. They were then asked to fill in a written questionnaire designed to measure their own perceived level of empowerment. The questionnaire used was an adaptation by Boudreault (1990) of a tool initially developed by Tymon (1988). This research seems to confirm the usefulness of the feeling of empowerment as an indicator of how professional induction is unfolding. More precisely, the findings suggest that there exist correlations between the degree of perceived empowerment and certain aspects of the four components of the professional induction process under study. Further studies with larger samples will nevertheless be necessary in order to validate these findings. Firstly, vice-principals with the highest levels of perceived empowerment were those with less variety in files to manage and who were mainly responsible for files that required skills they had already developed during previously-held interim positions or during their participation in committees as teachers. These vice-principals also had fewer responsibilities relating to human resources management, and particularly few responsibilities regarding support staff. Secondly, results regarding the quality of support available to the participants showed a marked tendency. Indeed, participants (both principals and vice-principals) with the highest levels of perceived empowerment were those who reported having received satisfactory support from their direct supervisor. Thirdly, participants with the highest levels of perceived empowerment were those who felt more able to satisfy their professional responsibilities and who questioned less whether they ought to remain in their current positions. The findings also suggest links between individuals’ perceived empowerment and other aspects of their professional induction process that, while less clear from the present research, deserve further investigation. These other aspects include the school’s organizational climate, the level of discretion given to new vice-principals and principals, and whether vice-principals plan to apply for positions as principals. Finally, the research has highlighted new principals’ belief that they are experiencing a unique induction process in their career and the differences between the tasks of elementary and high school vice-principals.
22

Quelques contributions sur les méthodes de Monte Carlo

Atchadé, Yves F. January 2003 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
23

Problèmes de placement, de coloration et d'identification

Valicov, Petru 09 July 2012 (has links) (PDF)
Dans cette thèse, nous nous intéressons à trois problèmes issus de l'informatique théorique, à savoir le placement de formes rectangulaires dans un conteneur (OPP), la coloration dite "forte" d'arêtes des graphes et les codes identifiants dans les graphes. L'OPP consiste à décider si un ensemble d'items rectangulaires peut être placé sans chevauchement dans un conteneur rectangulaire et sans dépassement des bords de celui-ci. Une contrainte supplémentaire est prise en compte, à savoir l'interdiction de rotation des items. Le problème est NP-difficile même dans le cas où le conteneur et les formes sont des carrés. Nous présentons un algorithme de résolution efficace basé sur une caractérisation du problème par des graphes d'intervalles, proposée par Fekete et Schepers. L'algorithme est exact et utilise les MPQ-arbres - structures de données qui encodent ces graphes de manière compacte tout en capturant leurs propriétés remarquables. Nous montrons les résultats expérimentaux de notre approche en les comparant aux performances d'autres algorithmes existants. L'étude de la coloration forte d'arêtes et des codes identifiants porte sur les aspects structurels et de calculabilité de ces deux problèmes. Dans le cas de la coloration forte d'arêtes nous nous intéressons plus particulièrement aux familles des graphes planaires et des graphes subcubiques. Nous montrons des bornes optimales pour l'indice chromatique fort des graphes subcubiques en fonction du degré moyen maximum et montrons que tout graphe planaire subcubique sans cycles induits de longueur 4 et 5 est coloriable avec neuf couleurs. Enfin nous confirmons la difficulté du problème de décision associé, en prouvant qu'il est NP-complet dans des sous-classes restreintes des graphes planaires subcubiques. La troisième partie de la thèse est consacrée aux codes identifiants. Nous proposons une caractérisation des graphes identifiables dont la cardinalité du code identifiant minimum est n − 1, où n est l'ordre du graphe. Nous étudions la classe des graphes adjoints et nous prouvons des bornes inférieures et supérieures serrées pour la cardinalité du code identifiant minimum dans cette classe. Finalement, nous montrons qu'il existe un algorithme linéaire de calcul de ce paramètre dans la classe des graphes adjoints L(G) où G a une largeur arborescente bornée par une constante. En revanche nous nous apercevons que le problème est NP-complet dans des sous-classes très restreintes des graphes parfaits.
24

Problèmes de placement, de coloration et d’identification / On packing, colouring and identification problems

Valicov, Petru 09 July 2012 (has links)
Dans cette thèse, nous nous intéressons à trois problèmes issus de l'informatique théorique, à savoir le placement de formes rectangulaires dans un conteneur (OPP), la coloration dite "forte" d'arêtes des graphes et les codes identifiants dans les graphes. L'OPP consiste à décider si un ensemble d'items rectangulaires peut être placé sans chevauchement dans un conteneur rectangulaire et sans dépassement des bords de celui-ci. Une contrainte supplémentaire est prise en compte, à savoir l'interdiction de rotation des items. Le problème est NP-difficile même dans le cas où le conteneur et les formes sont des carrés. Nous présentons un algorithme de résolution efficace basé sur une caractérisation du problème par des graphes d'intervalles, proposée par Fekete et Schepers. L'algorithme est exact et utilise les MPQ-arbres - structures de données qui encodent ces graphes de manière compacte tout en capturant leurs propriétés remarquables. Nous montrons les résultats expérimentaux de notre approche en les comparant aux performances d'autres algorithmes existants. L'étude de la coloration forte d'arêtes et des codes identifiants porte sur les aspects structurels et de calculabilité de ces deux problèmes. Dans le cas de la coloration forte d'arêtes nous nous intéressons plus particulièrement aux familles des graphes planaires et des graphes subcubiques. Nous montrons des bornes optimales pour l'indice chromatique fort des graphes subcubiques en fonction du degré moyen maximum et montrons que tout graphe planaire subcubique sans cycles induits de longueur 4 et 5 est coloriable avec neuf couleurs. Enfin nous confirmons la difficulté du problème de décision associé, en prouvant qu'il est NP-complet dans des sous-classes restreintes des graphes planaires subcubiques.La troisième partie de la thèse est consacrée aux codes identifiants. Nous proposons une caractérisation des graphes identifiables dont la cardinalité du code identifiant minimum ID est n-1, où n est l'ordre du graphe. Nous étudions la classe des graphes adjoints et nous prouvons des bornes inférieures et supérieures serrées pour le paramètre ID dans cette classe. Finalement, nous montrons qu'il existe un algorithme linéaire de calcul de ID dans la classe des graphes adjoints L(G) où G a une largeur arborescente bornée par une constante. En revanche nous nous apercevons que le problème est NP-complet dans des sous-classes très restreintes des graphes parfaits. / In this thesis we study three theoretical computer science problems, namely the orthogonal packing problem (OPP for short), strong edge-colouring and identifying codes.OPP consists in testing whether a set of rectangular items can be packed in a rectangular container without overlapping and without exceeding the borders of this container. An additional constraint is that the rotation of the items is not allowed. The problem is NP-hard even when the problem is reduced to packing squares in a square. We propose an exact algorithm for solving OPP efficiently using the characterization of the problem by interval graphs proposed by Fekete and Schepers. For this purpose we use some compact representation of interval graphs - MPQ-trees. We show experimental results of our approach by comparing them to the results of other algorithms known in the literature. we observe promising gains.The study of strong edge-colouring and identifying codes is focused on the structural and computational aspects of these combinatorial problems. In the case of strong edge-colouring we are interested in the families of planar graphs and subcubic graphs. We show optimal upper bounds for the strong chromatic index of subcubic graphs as a function of the maximum average degree. We also show that every planar subcubic graph without induced cycles of length 4 and 5 can be strong edge-coloured with at most nine colours. Finally, we confirm the difficulty of the problem by showing that it remains NP-complete even in some restricted classes of planar subcubic graphs.For the subject of identifying codes we propose a characterization of non-trivial graphs having maximum identifying code number ID, that is n-1, where n is the number of vertices. We study the case of line graphs and prove lower and upper bounds for ID parameter in this class. At last we investigate the complexity of the corresponding decision problem and show the existence of a linear algorithm for computing ID of the line graph L(G) where G has the size of the tree-width bounded by a constant. On the other hand, we show that the identifying code problem is NP-complete in various subclasses of planar graphs.
25

A Computational Framework for Assessing and Optimizing the Performance of Observational Networks in 4D-Var Data Assimilation

Cioaca, Alexandru 04 September 2013 (has links)
A deep scientific understanding of complex physical systems, such as the atmosphere, can be achieved neither by direct measurements nor by numerical simulations alone. Data assimilation is a rigorous procedure to fuse information from a priori knowledge of the system state, the physical laws governing the evolution of the system, and real measurements, all with associated error statistics. Data assimilation produces best (a posteriori) estimates of model states and parameter values, and results in considerably improved computer simulations. The acquisition and use of observations in data assimilation raises several important scientific questions related to optimal sensor network design, quantification of data impact, pruning redundant data, and identifying the most beneficial additional observations. These questions originate in operational data assimilation practice, and have started to attract considerable interest in the recent past. This dissertation advances the state of knowledge in four dimensional variational (4D-Var) - data assimilation by developing, implementing, and validating a novel computational framework for estimating observation impact and for optimizing sensor networks. The framework builds on the powerful methodologies of second-order adjoint modeling and the 4D-Var sensitivity equations. Efficient computational approaches for quantifying the observation impact include matrix free linear algebra algorithms and low-rank approximations of the sensitivities to observations. The sensor network configuration problem is formulated as a meta-optimization problem. Best values for parameters such as sensor location are obtained by optimizing a performance criterion, subject to the constraint posed by the 4D-Var optimization. Tractable computational solutions to this "optimization-constrained" optimization problem are provided. The results of this work can be directly applied to the deployment of intelligent sensors and adaptive observations, as well as to reducing the operating costs of measuring networks, while preserving their ability to capture the essential features of the system under consideration. / Ph. D.
26

Generating and simplifying sentences / Génération et simplification des phrases

Narayan, Shashi 07 November 2014 (has links)
Selon la représentation d’entrée, cette thèse étudie ces deux types : la génération de texte à partir de représentation de sens et à partir de texte. En la première partie (Génération des phrases), nous étudions comment effectuer la réalisation de surface symbolique à l’aide d’une grammaire robuste et efficace. Cette approche s’appuie sur une grammaire FB-LTAG et prend en entrée des arbres de dépendance peu profondes. La structure d’entrée est utilisée pour filtrer l’espace de recherche initial à l’aide d’un concept de filtrage local par polarité afin de paralléliser les processus. Afin nous proposons deux algorithmes de fouille d’erreur: le premier, un algorithme qui exploite les arbres de dépendance plutôt que des données séquentielles et le second, un algorithme qui structure la sortie de la fouille d’erreur au sein d’un arbre afin de représenter les erreurs de façon plus pertinente. Nous montrons que nos réalisateurs combinés à ces algorithmes de fouille d’erreur améliorent leur couverture significativement. En la seconde partie (Simplification des phrases), nous proposons l’utilisation d’une forme de représentations sémantiques (contre à approches basées la syntaxe ou SMT) afin d’améliorer la tâche de simplification de phrase. Nous utilisons les structures de représentation du discours pour la représentation sémantique profonde. Nous proposons alors deux méthodes de simplification de phrase: une première approche supervisée hybride qui combine une sémantique profonde à de la traduction automatique, et une seconde approche non-supervisée qui s’appuie sur un corpus comparable de Wikipedia / Depending on the input representation, this dissertation investigates issues from two classes: meaning representation (MR) to text and text-to-text generation. In the first class (MR-to-text generation, "Generating Sentences"), we investigate how to make symbolic grammar based surface realisation robust and efficient. We propose an efficient approach to surface realisation using a FB-LTAG and taking as input shallow dependency trees. Our algorithm combines techniques and ideas from the head-driven and lexicalist approaches. In addition, the input structure is used to filter the initial search space using a concept called local polarity filtering; and to parallelise processes. To further improve our robustness, we propose two error mining algorithms: one, an algorithm for mining dependency trees rather than sequential data and two, an algorithm that structures the output of error mining into a tree to represent them in a more meaningful way. We show that our realisers together with these error mining algorithms improves on both efficiency and coverage by a wide margin. In the second class (text-to-text generation, "Simplifying Sentences"), we argue for using deep semantic representations (compared to syntax or SMT based approaches) to improve the sentence simplification task. We use the Discourse Representation Structures for the deep semantic representation of the input. We propose two methods: a supervised approach (with state-of-the-art results) to hybrid simplification using deep semantics and SMT, and an unsupervised approach (with competitive results to the state-of-the-art systems) to simplification using the comparable Wikipedia corpus
27

Observation et commande de quelques systèmes à paramètres distribués

Li, Xiaodong 09 December 2009 (has links) (PDF)
L'objectif principal de cette thèse consiste à étudier plusieurs thématiques : l'étude de l'observation et la commande d'un système de structure flexible et l'étude de la stabilité asymptotique d'un système d'échangeurs thermiques. Ce travail s'inscrit dans le domaine du contrôle des systèmes décrits par des équations aux dérivées partielles (EDP). On s'intéresse au système du corps-poutre en rotation dont la dynamique est physiquement non mesurable. On présente un observateur du type Luenberger de dimension infinie exponentiellement convergent afin d'estimer les variables d'état. L'observateur est valable pour une vitesse angulaire en temps variant autour d'une constante. La vitesse de convergence de l'observateur peut être accélérée en tenant compte d'une seconde étape de conception. La contribution principale de ce travail consiste à construire un simulateur fiable basé sur la méthode des éléments finis. Une étude numérique est effectuée pour le système avec la vitesse angulaire constante ou variante en fonction du temps. L'influence du choix de gain est examinée sur la vitesse de convergence de l'observateur. La robustesse de l'observateur est testée face à la mesure corrompue par du bruit. En mettant en cascade notre observateur et une loi de commande stabilisante par retour d'état, on souhaite obtenir une stabilisation globale du système. Des résultats numériques pertinents permettent de conjecturer la stabilité asymptotique du système en boucle fermée. Dans la seconde partie, l'étude est effectuée sur la stabilité exponentielle des systèmes d'échangeurs thermiques avec diffusion et sans diffusion. On établit la stabilité exponentielle du modèle avec diffusion dans un espace de Banach. Le taux de décroissance optimal du système est calculé pour le modèle avec diffusion. On prouve la stabilité exponentielle dans l'espace Lp pour le modèle sans diffusion. Le taux de décroissance n'est pas encore explicité dans ce dernier cas.
28

Génération automatique de phrases pour l'apprentissage des langues / Natural language generation for language learning

Perez, Laura Haide 19 April 2013 (has links)
Dans ces travaux, nous explorons comment les techniques de Générations Automatiques de Langue Naturelle (GLN) peuvent être utilisées pour aborder la tâche de génération (semi-)automatique de matériel et d'activités dans le contexte de l'apprentissage de langues assisté par ordinateur. En particulier, nous montrons comment un Réalisateur de Surface (RS) basé sur une grammaire peut être exploité pour la création automatique d'exercices de grammaire. Notre réalisateur de surface utilise une grammaire réversible étendue, à savoir SemTAG, qui est une Grammaire d'Arbre Adjoints à Structure de Traits (FB-TAG) couplée avec une sémantique compositionnelle basée sur l'unification. Plus précisément, la grammaire FB-TAG intègre une représentation plate et sous-spécifiée des formules de Logique de Premier Ordre (FOL). Dans la première partie de la thèse, nous étudions la tâche de réalisation de surface à partir de formules sémantiques plates et nous proposons un algorithme de réalisation de surface basé sur la grammaire FB-TAG optimisé, qui supporte la génération de phrases longues étant donné une grammaire et un lexique à large couverture. L'approche suivie pour l'optimisation de la réalisation de surface basée sur FB-TAG à partir de sémantiques plates repose sur le fait qu'une grammaire FB-TAG peut être traduite en une Grammaire d'Arbres Réguliers à Structure de Traits (FB-RTG) décrivant ses arbres de dérivation. Le langage d'arbres de dérivation de la grammaire TAG constitue un langage plus simple que le langage d'arbres dérivés, c'est pourquoi des approches de génération basées sur les arbres de dérivation ont déjà été proposées. Notre approche se distingue des précédentes par le fait que notre encodage FB-RTG prend en compte les structures de traits présentes dans la grammaire FB-TAG originelle, ayant de ce fait des conséquences importantes par rapport à la sur-génération et la préservation de l'interface syntaxe-sémantique. L'algorithme de génération d'arbres de dérivation que nous proposons est un algorithme de type Earley intégrant un ensemble de techniques d'optimisation bien connues: tabulation, partage-compression (sharing-packing) et indexation basée sur la sémantique. Dans la seconde partie de la thèse, nous explorons comment notre réalisateur de surface basé sur SemTAG peut être utilisé pour la génération (semi-)automatique d'exercices de grammaire. Habituellement, les enseignants éditent manuellement les exercices et leurs solutions et les classent au regard de leur degré de difficulté ou du niveau attendu de l'apprenant. Un courant de recherche dans le Traitement Automatique des Langues (TAL) pour l'apprentissage des langues assisté par ordinateur traite de la génération (semi-)automatique d'exercices. Principalement, ces travaux s'appuient sur des textes extraits du Web, utilisent des techniques d'apprentissage automatique et des techniques d'analyse de textes (par exemple, analyse de phrases, POS tagging, etc.). Ces approches confrontent l'apprenant à des phrases qui ont des syntaxes potentiellement complexes et du vocabulaire varié. En revanche, l'approche que nous proposons dans cette thèse aborde la génération (semi-)automatique d'exercices du type rencontré dans les manuels pour l'apprentissage des langues. Il s'agit, en d'autres termes, d'exercices dont la syntaxe et le vocabulaire sont faits sur mesure pour des objectifs pédagogiques et des sujets donnés. Les approches de génération basées sur des grammaires associent les phrases du langage naturel avec une représentation linguistique fine de leur propriété morpho-syntaxiques et de leur sémantique grâce à quoi il est possible de définir un langage de contraintes syntaxiques et morpho-syntaxiques permettant la sélection de phrases souches en accord avec un objectif pédagogique donné. Cette représentation permet en outre d'opérer un post-traitement des phrases sélectionées pour construire des exercices de grammaire / In this work, we explore how Natural Language Generation (NLG) techniques can be used to address the task of (semi-)automatically generating language learning material and activities in Camputer-Assisted Language Learning (CALL). In particular, we show how a grammar-based Surface Realiser (SR) can be usefully exploited for the automatic creation of grammar exercises. Our surface realiser uses a wide-coverage reversible grammar namely SemTAG, which is a Feature-Based Tree Adjoining Grammar (FB-TAG) equipped with a unification-based compositional semantics. More precisely, the FB-TAG grammar integrates a flat and underspecified representation of First Order Logic (FOL) formulae. In the first part of the thesis, we study the task of surface realisation from flat semantic formulae and we propose an optimised FB-TAG-based realisation algorithm that supports the generation of longer sentences given a large scale grammar and lexicon. The approach followed to optimise TAG-based surface realisation from flat semantics draws on the fact that an FB-TAG can be translated into a Feature-Based Regular Tree Grammar (FB-RTG) describing its derivation trees. The derivation tree language of TAG constitutes a simpler language than the derived tree language, and thus, generation approaches based on derivation trees have been already proposed. Our approach departs from previous ones in that our FB-RTG encoding accounts for feature structures present in the original FB-TAG having thus important consequences regarding over-generation and preservation of the syntax-semantics interface. The concrete derivation tree generation algorithm that we propose is an Earley-style algorithm integrating a set of well-known optimisation techniques: tabulation, sharing-packing, and semantic-based indexing. In the second part of the thesis, we explore how our SemTAG-based surface realiser can be put to work for the (semi-)automatic generation of grammar exercises. Usually, teachers manually edit exercises and their solutions, and classify them according to the degree of dificulty or expected learner level. A strand of research in (Natural Language Processing (NLP) for CALL addresses the (semi-)automatic generation of exercises. Mostly, this work draws on texts extracted from the Web, use machine learning and text analysis techniques (e.g. parsing, POS tagging, etc.). These approaches expose the learner to sentences that have a potentially complex syntax and diverse vocabulary. In contrast, the approach we propose in this thesis addresses the (semi-)automatic generation of grammar exercises of the type found in grammar textbooks. In other words, it deals with the generation of exercises whose syntax and vocabulary are tailored to specific pedagogical goals and topics. Because the grammar-based generation approach associates natural language sentences with a rich linguistic description, it permits defining a syntactic and morpho-syntactic constraints specification language for the selection of stem sentences in compliance with a given pedagogical goal. Further, it allows for the post processing of the generated stem sentences to build grammar exercise items. We show how Fill-in-the-blank, Shuffle and Reformulation grammar exercises can be automatically produced. The approach has been integrated in the Interactive French Learning Game (I-FLEG) serious game for learning French and has been evaluated both based in the interactions with online players and in collaboration with a language teacher
29

Observation et commande de quelques systèmes à paramètres distribués / Observation and control of some distributed parameter systems

Li, Xiaodong 09 December 2009 (has links)
L’objectif principal de cette thèse consiste à étudier plusieurs thématiques : l’étude de l’observation et la commande d’un système de structure flexible et l’étude de la stabilité asymptotique d’un système d’échangeurs thermiques. Ce travail s’inscrit dans le domaine du contrôle des systèmes décrits par des équations aux dérivées partielles (EDP). On s’intéresse au système du corps-poutre en rotation dont la dynamique est physiquement non mesurable. On présente un observateur du type Luenberger de dimension infinie exponentiellement convergent afin d’estimer les variables d’état. L’observateur est valable pour une vitesse angulaire en temps variant autour d’une constante. La vitesse de convergence de l’observateur peut être accélérée en tenant compte d’une seconde étape de conception. La contribution principale de ce travail consiste à construire un simulateur fiable basé sur la méthode des éléments finis. Une étude numérique est effectuée pour le système avec la vitesse angulaire constante ou variante en fonction du temps. L’influence du choix de gain est examinée sur la vitesse de convergence de l’observateur. La robustesse de l’observateur est testée face à la mesure corrompue par du bruit. En mettant en cascade notre observateur et une loi de commande stabilisante par retour d’état, on souhaite obtenir une stabilisation globale du système. Des résultats numériques pertinents permettent de conjecturer la stabilité asymptotique du système en boucle fermée. Dans la seconde partie, l’étude est effectuée sur la stabilité exponentielle des systèmes d’échangeurs thermiques avec diffusion et sans diffusion. On établit la stabilité exponentielle du modèle avec diffusion dans un espace de Banach. Le taux de décroissance optimal du système est calculé pour le modèle avec diffusion. On prouve la stabilité exponentielle dans l’espace Lp pour le modèle sans diffusion. Le taux de décroissance n’est pas encore explicité dans ce dernier cas. / The main objective of this thesis consists to investigate the following themes : observation and control of a flexible structure system and asymptotic stability of a heat exchangers system. This work is placed in the field of the control of systems described by partial differential equations (PDEs). We consider a rotating body-beam system whose dynamics are not physically measurable. An infinite-dimensional exponentially convergent Luenberger-like observer is presented in order to estimate the state variables. The observer is also valid for a time-varying angular velocity around some constant. We can accelerate the decay rate of the observer by a second step design. The main contribution of this work consists in building a numerical simulator based on the finite element method (FEM). A numerical investigation is carried out for the system with constant or time-varying angular velocity. We examine the influence of the gain choice on the decay rate of the observer. The robustness of the observer is tested with the measurement corrupted by noise. By cascading our observer and a feedback control law, we wish to obtain a global stabilization of the rotating bodybeam system. The relevant numerical results make it possible for us to conjecture that the closed-loop system is locally asymptotically stable. We investigate the exponential stability of the heat exchangers systems with diffusion or without diffusion. We establish the exponential stability of the model with diffusion in a Banach space. Moreover, the optimal decay rate of the system is computed for the model with diffusion. We prove exponential stability in (C[0, 1])4 space for the model without diffusion. The optimal decay rate in the latter case is not yet found.

Page generated in 0.2893 seconds