• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 243
  • 54
  • 25
  • 14
  • 7
  • 6
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 385
  • 176
  • 134
  • 89
  • 79
  • 77
  • 53
  • 53
  • 49
  • 44
  • 43
  • 38
  • 36
  • 35
  • 35
  • 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.
311

L'enseignement de la grammaire du français langue seconde à des apprenants adultes immigrants : explications et représentations des enseignants

Flores, Lucia 11 April 2018 (has links)
Notre recherche visait à examiner l'impact des représentations de six enseignants sur la façon dont ils ont donné des explications grammaticales à des adultes immigrants scolarisés ou peu scolarisés. À cette fin, nous avons mené douze heures d'observation dans chacune des classes ciblées et deux entrevues semi-dirigées. Nos résultats ont révélé les aspects suivants : 1) les représentations des enseignants sur les apprenants et sur l'enseignement de la grammaire ont un impact sur le nombre d'explications données ; 2) leurs représentations sur les apprenants ont un impact sur les types d'explications donnés ainsi que sur le contenu des explications, notamment sur l'emploi ou non de métalangage; 3) l'impact de leurs représentations sur les habiletés cognitives sollicitées n'est pas apparent dans leurs réponses aux deux entrevues. Cependant, leurs représentations sur les apprenants, considérés comme étant faibles ou peu scolarisés, pourraient expliquer la sollicitation massive d'habiletés peu exigeantes sur le plan cognitif. / The present research seeked to examine the impact of the representations made by six teachers of the way in which they provide grammatical explanations to educated and barely educated adult immigrants. The research involved twelve hours of observation in each of the targeted classes and two semi-guided interviews. Our results revealed the following: (1) teacher representations of learners and of the teaching of grammar have an impact on the number of explanations given; (2) their representations of learners have an impact on the type of explanations given and the content of the explanations, particularly regarding whether metalanguage is used or not; (3) the impact of their representations of the cognitive skills they encourage is not apparent in the two interviews. However, their representation of the learners considered as being weak or barely educated could be seen to explain the widespread elicitation of cognitive skills which are not very complex.
312

Le statut de la grammaire et la place de Donat dans les Communia gramatice : (anonyme, XIIIe siècle, ms. Paris, Bibliothèque nationale de France, fonds latin 16617, fol. 183rb-205vb)

Létourneau, René 17 April 2018 (has links)
Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2009-2010 / Très peu, voire rien n'a été écrit sur la place du célèbre grammairien latin Donat (IVe siècle) dans les spéculations des maîtres es arts parisiens du milieu du XIIIe siècle, ni d'ailleurs sur le statut de la grammaire en tant que nouvelle science, au sens où l'entend Aristote dans les Seconds analytiques et le reste de son oeuvre. Le premier paradigme est intimement lié au second. On n'étudie pas n'importe quel livre à la Faculté des arts médiévale ; chacun représente un pilier du gigantesque édifice qu'est alors la disciplina philosophica : Donat, dans la science grammaticale, complète Priscien (VIe siècle). C'est pourquoi nous avons traité de ces deux thématiques : la "place de Donat" d'après le "statut de la grammaire", suivant l'ordre logique dudit raisonnement. Fondée essentiellement sur une édition et une traduction partielles des Communia gramatice - un compendium grammatical universitaire de cette époque - la crédibilité de notre étude est également soutenue par plusieurs autres sources directes, essentiellement la littérature universitaire de base. Nous avons voulu ainsi dresser le portrait littéraire le plus éclairant et le plus vraisemblable possible entourant l'état de la grammaire en plein coeur de la très influente Université de Paris médiévale.
313

Phénomènes d'interface, stades d'acquisition et variabilité : explications en termes de degrés de complexité computationnelle

Mercier, Steeve 17 April 2018 (has links)
Cette étude suggère que ce n'est pas les interfaces en général qui causent des difficultés en acquisition d'une L2, mais la complexité computationnelle qui leur est inhérente et qui provoque un important fardeau sur la mémoire de travail. Lorsque les apprenants ne peuvent gérer cette complexité, les comportements non cibles (ex. omission, transfert, surgénéralisation, variabilité) découlent de considérations computationnelles forçant naturellement des options structurelles plus économiques (O'Grady et al., 2009). L'acquisition des clitiques accusatifs du français le et me par des apprenants japonophones adultes a été examinée. Ces clitiques impliquent deux interfaces qui peuvent être étudiées en parallèle - syntaxe/phonologie, syntaxe/pragmatique - et leurs propriétés multimodulaires sont absentes en japonais : la catégorie SCAcc (en syntaxe); le segment IV, plus deux propriétés phonotactiques (en phonologie); le statut [+ argumentai] de la catégorie Temps, qui ne permet pas l'omission de l'objet même si le contexte identifie les referents (en pragmatique). Notre hypothèse principale est que les apprenants vont acquérir la syntaxe des clitiques avant qu'ils ne puissent en maîtriser les propriétés aux interfaces. La raison est que le traitement des interfaces, avec leurs propriétés multimodulaires, implique un travail computationnel accru par rapport au traitement de la syntaxe seule (Sorace, 2006). Les résultats, provenant de cinq tâches administrées à 15 apprenants débutants, 15 intermédiaires, 15 avancés et à 15 locuteurs natifs, confirment notre hypothèse : les intermédiaires, qui ont acquis la syntaxe des clitiques en raison de leurs jugements grammaticaux cibles (comme ceux des natifs), ne peuvent toujours pas intégrer en parallèle les propriétés des clitiques lors de tâches de production induite écrite (ciblant l'interface syntaxe/pragmatique) et orale (ciblant en particulier l'interface syntaxe/phonologie). Leurs résultats moyens à ces tâches, soit 46,8% et 45,6%, sont significativement inférieurs à ceux des locuteurs natifs, lesquels atteignent 87,4% et 88,9%. En fait, ce n'est qu'à partir du niveau avancé que les apprenants sont en mesure de gérer les coûts de traitement des interfaces syntaxe/phonologie et syntaxe/pragmatique. Une analyse plus fine à partir de tâches de perception et de répétition révèle cependant que, contrairement aux natifs, les avancés (tout comme pour les débutants et les intermédiaires) ont d'importantes difficultés avec la phonologie cible, particulièrement avec le phonème /1/ du clitique le.
314

L'enseignement de la grammaire dans une classe de français au premier cycle du secondaire

Tambourgi, Sandra 13 April 2018 (has links)
En 1995, le ministère de l'Éducation a implanté au secondaire un programme de français plus précis pour l'ensemble du Québec. La démarche proposée pour l'enseignement de la grammaire a été très largement inspirée d'une réforme qui a eu lieu en Europe francophone, notamment en Suisse romande, dans les années 1970. La grammaire traditionnelle a été alors remplacée par la grammaire nouvelle. Après une dizaine d'années d'implantation de ce programme, on peut se demander avec des auteurs comme Nadeau et Fisher, si, dans les salles de classe, la grammaire traditionnelle coexiste à divers degrés avec la grammaire nouvelle. Est-ce que les enseignants des années 1995 et suivantes ont bien assimilé cette transformation pédagogique ? Est-ce que le transfert de la grammaire traditionnelle à la grammaire nouvelle s'est fait aisément ? Pour les besoins de ce mémoire, nous avons limité nos observations aux pratiques d'enseignement grammatical au premier cycle du secondaire portant sur la subordonnée relative, qui constitue un élément essentiel de la phrase française et une notion nouvelle pour les élèves de ce cycle. Nous avons analysé l'enseignement d'un professeur de français ayant 23 années d'expérience. Trois modes de recueil de données ont été utilisés et croisés : le questionnaire écrit, l'entrevue semi-dirigée et la séquence d'enseignement filmée. Le principal résultat observé dans notre étude de cas est que l'enseignant, qui possède certaines connaissances de la grammaire nouvelle, hybride cependant l'enseignement traditionnel et la grammaire nouvelle.
315

Histoire de la première nomenclature grammaticale officielle en France (janvier 1905 - avril 1911) / History of the first official grammatical nomenclature in France (January 1905 - April 1911)

Elalouf, Aurélia 08 December 2017 (has links)
L’étude retrace l’histoire de la première nomenclature grammaticale officielle en France, depuis les premiers débats publics sur la nécessité d’une simplification et d’une unification terminologiques (à partir de janvier 1905) jusqu’à la promulgation des trois textes officiels que sont l’arrêté du 25 juillet 1910 (qui fixe la liste des termes grammaticaux dont la connaissance est exigible dans les examens et concours de l’enseignement primaire et de l’enseignement secondaire) ainsi que la circulaire du 28 septembre 1910 et la note du 21 mars 1911 (qui précisent la manière dont doit être mis en œuvre l’arrêté). L’étude soulève des enjeux politiques, théoriques et épistémologiques : la simplification et l’unification des nomenclatures grammaticales répond à la volonté de l’État d’améliorer la maitrise de la langue nationale et d’unifier son enseignement sur tout le territoire ; l’élaboration de la nomenclature révèle les problèmes posés par l’analyse des constructions verbales et de la phrase complexe au début du XXe siècle ; la réforme des nomenclatures met en lumière la tension entre un idéal terminologique et la réalité des pratiques. Ces enjeux croisent à tous moments des questionnements d’ordre didactique : sur la place d’un enseignement explicite de la grammaire dans l’enseignement de la langue, sur les relations que les savoirs scolaires entretiennent avec les savoirs savants ou encore sur les limitations imposées par ce qui peut être enseigné. / This study recounts the history of the first official grammatical nomenclature in France, since the first public debates on the necessity of a terminological simplification and unification (from January 1905) to the promulgation of the three official texts that are the decree of the 25th of July 1910 (that fixes the list of the grammatical terms that have to be known in the exams and examinations of both primary and secondary educations) as well as the circular of the 28th of September 1910 and the note of the 21st of March 1911 (that both explain how the decree has to be implemented). The study raises political, theoretical and epistemological issues: the simplification and unification of grammatical nomenclatures encounter the State’s will to improve the command of the national language and to unify education on the entire territory; the elaboration of the nomenclature reveals the problems caused by the analysis of verbal constructions and the complex sentence at the beginning of the 20th century; the reform of the nomenclatures highlights the tension between a terminological ideal and the reality of practices. These issues consistently intersect with didactic questions: on the place of an explicit teaching of grammar in the teaching of language, on the relations that school knowledge has with academic knowledge or furthermore on the limitations imposed by what can be taught.
316

Julio Ribeiro na historia das ideias linguisticas no Brasil / Julio Ribeiro dans l'histoire des idées linguistiques au Brésil

De Aquino, José Edicarlos 30 November 2016 (has links)
Cette thèse analyse la place de Júlio Ribeiro dans l'histoire des idées linguistiques au Brésil. Dans le domaine de l'Histoire des idées linguistiques, nous essayons de comprendre comment se construit l'image de Júlio Ribeiro comme auteur fondateur dans l'histoire de l'étude du portugais au Brésil dans trois cas de figure: 1) dans les recherches menées sur l’axe du projet Histoire des idées linguistique au Brésil et dans les mémoires et les thèses qui, à partir de ces recherches, dans ces dernières années ont eu l'auteur comme objet d'étude; 2) dans son propre travail; 3) dans l’œuvre des auteurs postérieurs jusqu'à l'introduction de la Norme grammaticale brésilienne en 1959. Dans ce cadre, nous montrons comment Júlio Ribeiro lui-même se représente dans une histoire brésilienne de réflexion sur le langage et la façon dont il est incorporé ou effacé dans l'horizon de rétrospection de la grammatisation brésilienne. L’analyse d’ensemble de l’œuvre de Júlio Ribeiro nous a permis de cartographier ses premières positions sur l'étude des langues et du langage et de faire connaître et d'analyser en détail les œuvres d'un auteur unique en son genre en son temps et jusqu’alors complètement oublié : Traços Geraes de Linguistica, le premier livre de linguistique produit au Brésil ; et Holmes Brazileiro ou Grammatica da Puericia, l'un des rares exemples de grammaire destinée aux enfants dans le Brésil du XIXe siècle. En outre, nous avons pu observer comment Júlio Ribeiro compose ses textes par l'utilisation d'œuvres de tiers dans les procédures de traduction et d’adaptation, et la réutilisation de ses propres écrits, ainsi que la façon dont l'auteur a rejeté les accusations de plagiat suscitées par ces méthodes de composition de ses textes et en réaction à ses positions théoriques, mais aussi politiques. En approfondissant la connaissance des idées linguistiques en circulation au Brésil depuis la fin du XIXe siècle jusqu’au milieu du XXe siècle, notre étude vise à porter un nouveau regard sur le travail de Júlio Ribeiro comme grammairien adoptant la grammaire historique et comparative, montrant des interprétations peu orthodoxes de l’objet central du comparatisme - le changement linguistique, et à attirer l'attention sur l'existence de tout un mouvement grammatical important au Maranhão, à considérer au-delà de l'axe Rio de Janeiro-São Paulo, montrant par l'analyse de la controverse entre Júlio Ribeiro et le maranhense Augusto Freire da Silva que la grammaire générale a également été un modèle scientifique dans le grammatisation brésilienne du portugais. Par ailleurs, nous défendons que, plus qu’un grammairien, Júlio Ribeiro peut être aussi considéré comme un auteur de linguistique, qui reprend et réinvente les questions de la grammaire historique, et aussi comme un historien des sciences du langage, qui présente des interprétations particulières de l'histoire de la linguistique, en insérant la langue portugaise et les langues indigènes brésiliennes dans les questions générales de la connaissance scientifique sur le langage au XIXe siècle. En fin de compte, nous concluons qu'il existe une contradiction entre un double effacement de Júlio Ribeiro comme référence de l'analyse grammaticale et linguistique et aussi de la plupart de ses œuvres dans l'horizon de rétrospection de la grammatisation brésilienne et un discours historique, soutenu par un petit nombre d’auteurs de la fin du XIXe siècle et de la première moitié du XXe siècle, qui le mettent à chaque moment en première place dans l'histoire des études grammaticales et linguistiques au Brésil. / This paper analyzes the place of Júlio Ribeiro in the history of linguistic ideas in Brazil. Situated in the field of History of Linguistic Ideas, we try to understand how the image of Júlio Ribeiro is constructed as a founding author in the history of Portuguese studies in Brazil in three instances: 1) in the research carried out in the axis of the project History of Linguistic Ideas in Brazil and in the dissertations and theses that in recent years have taken the author as object of study; 2) in his own work; 3) in the work of subsequent authors until the establishment of the Brazilian Grammatical Norm in 1959. With this, we show how Júlio Ribeiro himself is represented in a Brazilian history of reflection on language and how he is incorporated or erased in the horizon of retrospection of Brazilian grammatization. The analysis of the whole Júlio Ribeiro's work allowed us not only to map his first positions on the study of languages and language; but also to publicize and analyze in detail works of the author unique in their genre in their time and until now completely forgotten – two of them are: Traços Geraes de Linguistica, the first book of linguistics produced in Brazil, and Holmes Brazileiro ou Grammatica da Puericia, one of the rare examples of grammar directed to childhood in nineteenth-century Brazil. Besides, we have been able to verify how Júlio Ribeiro composes his texts with the use of third-party works in translation and adaptation procedures, and with the reuse of his own writings; as well as how the author countered the accusations of plagiarism aroused by these methods of composition of their texts and in reaction to their theoretical but also political positions. Deepening the knowledge about the linguistic ideas circulating in Brazil at the turn of the 19th century to the 20th century, our work seeks not only to throw a new look at Júlio Ribeiro's work as a grammarian who adopts historical and comparative grammar, pointing to unorthodox interpretations; but also to draw attention to the existence of an important grammatical movement in Maranhão to be considered beyond the Rio de Janeiro-São Paulo axis, for the analysis of the controversy between Júlio Ribeiro and Augusto Freire da Silva (from Maranhão), showing that the general grammar was also a model of scientificity in the Brazilian grammatization process of Portuguese. Furthermore, we argue that, besides being a grammarian, Júlio Ribeiro can also be taken as an author of linguistics, who takes up and innovates the questions of historical grammar, and also as a historian of the language sciences, who presents particular interpretations of the history of Linguistics, inserting the Portuguese language and the Brazilian indigenous languages in the general questions of the scientific knowledge on language in the 19th century. In the end, we could conclude that there is a contradiction between a double erasure of Júlio Ribeiro as a reference for performing grammatical and linguistic analyses and also most of his works in the horizon of retrospection of Brazilian grammatization and a historical discourse, supported by a reduced number of authors of the late 19th and first half of the 20th century, which puts Júlio Ribeiro at all times in the first place in the history of grammatical and linguistic studies in Brazil. / O presente trabalho analisa o lugar de Júlio Ribeiro na história das ideias linguísticas no Brasil. Situados no campo da História das Ideias Linguísticas, procuramos compreender como se constrói a imagem de Júlio Ribeiro como um autor fundador na história dos estudos sobre o português no Brasil em três instâncias: 1) nas pesquisas realizadas no eixo do projeto História das Ideias Linguísticas no Brasil e nas dissertações e teses que nos últimos anos, a partir dessas pesquisas, têm tomado o autor como objeto de estudo; 2) na sua própria obra; 3) na obra de autores posteriores a ele até a instauração da Norma Gramatical Brasileira em 1959. Com isso, mostramos como o próprio Júlio Ribeiro se representa numa história brasileira de reflexão sobre a linguagem e como ele é incorporado ou apagado no horizonte de retrospecção da gramatização brasileira. A análise do conjunto da obra de Júlio Ribeiro nos permitiu mapear as suas primeiras posições sobre o estudo das línguas e da linguagem e dar publicidade e analisar em detalhes obras do autor únicas no seu gênero em sua época e até agora completamente esquecidas, caso dos Traços Geraes de Linguistica, o primeiro livro de linguística produzido no Brasil, e a Holmes Brazileiro ou Grammatica da Puericia, um dos raros exemplares de gramática voltada para a infância no Brasil do século XIX. Além disso, pudemos verificar o modo como Júlio Ribeiro compõe os seus textos com a utilização de obras de terceiros em procedimentos de tradução e adaptação e com a reutilização dos seus próprios escritos, bem como o modo como o autor rebateu as acusações de plágio despertadas por esses métodos de composição de seus textos e em reação a seus posicionamentos teóricos mas também políticos. Aprofundando o conhecimento sobre as ideias linguísticas em circulação no Brasil na virada do século XIX para o século XX, nosso trabalho busca lançar um novo olhar sobre o próprio trabalho de Júlio Ribeiro como um gramático que adota a gramática histórica e comparada, apontando interpretações não ortodoxas quanto ao objeto central do comparatismo, a mudança linguística, e chamar a atenção para a existência de todo um movimento gramatical importante no Maranhão a ser considerado além do eixo Rio de Janeiro-São Paulo, pela análise da polêmica entre Júlio Ribeiro e o maranhense Augusto Freire da Silva, mostrando que a gramática geral também foi modelo de cientificidade na gramatização brasileira do português. Além disso, defendemos que, para além de gramático, Júlio Ribeiro pode ser tomado também como um autor de linguística, que retoma e inova as questões da gramática histórica, e também como um historiador das ciências da linguagem, que apresenta interpretações particulares da história da linguística, inserindo a língua portuguesa e as línguas indígenas brasileiras nas questões gerais do conhecimento científico sobre a linguagem no século XIX. No fim das contas, pudemos concluir haver uma contradição entre um duplo apagamento de Júlio Ribeiro como referência para a realização de análises gramaticais e linguísticas e também da maior parte de suas obras no horizonte de retrospecção da gramatização brasileira e um discurso histórico, sustentado por um número reduzido de autores de finais do século XIX e primeira metade do século XX, que o coloca a cada instante em primeiro lugar na história dos estudos gramaticais e linguísticos no Brasil.
317

Modélisation procédurale par composants

Leblanc, Luc 08 1900 (has links)
Le réalisme des images en infographie exige de créer des objets (ou des scènes) de plus en plus complexes, ce qui entraîne des coûts considérables. La modélisation procédurale peut aider à automatiser le processus de création, à simplifier le processus de modification ou à générer de multiples variantes d'une instance d'objet. Cependant même si plusieurs méthodes procédurales existent, aucune méthode unique permet de créer tous les types d'objets complexes, dont en particulier un édifice complet. Les travaux réalisés dans le cadre de cette thèse proposent deux solutions au problème de la modélisation procédurale: une solution au niveau de la géométrie de base, et l’autre sous forme d'un système général adapté à la modélisation des objets complexes. Premièrement, nous présentons le bloc, une nouvelle primitive de modélisation simple et générale, basée sur une forme cubique généralisée. Les blocs sont disposés et connectés entre eux pour constituer la forme de base des objets, à partir de laquelle est extrait un maillage de contrôle pouvant produire des arêtes lisses et vives. La nature volumétrique des blocs permet une spécification simple de la topologie, ainsi que le support des opérations de CSG entre les blocs. La paramétrisation de la surface, héritée des faces des blocs, fournit un soutien pour les textures et les fonctions de déplacements afin d'appliquer des détails de surface. Une variété d'exemples illustrent la généralité des blocs dans des contextes de modélisation à la fois interactive et procédurale. Deuxièmement, nous présentons un nouveau système de modélisation procédurale qui unifie diverses techniques dans un cadre commun. Notre système repose sur le concept de composants pour définir spatialement et sémantiquement divers éléments. À travers une série de déclarations successives exécutées sur un sous-ensemble de composants obtenus à l'aide de requêtes, nous créons un arbre de composants définissant ultimement un objet dont la géométrie est générée à l'aide des blocs. Nous avons appliqué notre concept de modélisation par composants à la génération d'édifices complets, avec intérieurs et extérieurs cohérents. Ce nouveau système s'avère général et bien adapté pour le partionnement des espaces, l'insertion d'ouvertures (portes et fenêtres), l'intégration d'escaliers, la décoration de façades et de murs, l'agencement de meubles, et diverses autres opérations nécessaires lors de la construction d'un édifice complet. / The realism of computer graphics images requires the creation of objects (or scenes) of increasing complexity, which leads to considerable costs. Procedural modeling can help to automate the creation process, to simplify the modification process or to generate multiple variations of an object instance. However although several procedural methods exist, no single method allows the creation of all types of complex objects, including in particular a complete building. This thesis proposes two solutions to the problem of procedural modeling: one solution addressing the geometry level, and the other introducing a general system suitable for complex object modeling. First, we present a simple and general modeling primitive, called a block, based on a generalized cuboid shape. Blocks are laid out and connected together to constitute the base shape of complex objects, from which is extracted a control mesh that can contain both smooth and sharp edges. The volumetric nature of the blocks allows for easy topology specification, as well as CSG operations between blocks. The surface parameterization inherited from the block faces provides support for texturing and displacement functions to apply surface details. A variety of examples illustrate the generality of our blocks in both interactive and procedural modeling contexts. Second, we present a novel procedural modeling system which unifies some techniques into a common framework. Our system relies on the concept of components to spatially and semantically define various elements. Through a series of successive statements executed on a subset of queried components, we grow a tree of components ultimately defining an object whose geometry is made from blocks. We applied our concept and representation of components to the generation of complete buildings, with coherent interiors and exteriors. It proves general and well adapted to support partitioning of spaces, insertion of openings (doors and windows), embedding of staircases, decoration of façades and walls, layout of furniture, and various other operations required when constructing a complete building.
318

The control system in formal language theory and the model monitoring approach for reliability and safety / Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité

Chen, Zhe 09 July 2010 (has links)
Cette thèse contribue à l’étude de la fiabilité et de la sécurité-innocuité des systèmes informatisés, modélisés par des systèmes à événements discrets. Les principales contributions concernent la théorie des Systèmes de Contrôle (notés C Systems) et l’approche par Monitoring des modèles.Dans la première partie de la thèse, nous étudions la théorie des Systèmes de Contrôle qui combine et étend de façon significative, les systèmes de réécriture de la théorie des langages et le contrôle supervisé. Un système de contrôle est une structure générique qui contient deux composants : le composant contrôlé et le composant contrôlant qui restreint le comportement du composant contrôlé. Les deux composants sont exprimés en utilisant le même formalisme comme des automates ou des grammaires. Nous considérons différentes classes de systèmes de contrôle basés sur différents formalismes comme, par exemple, les automates, les grammaires, ainsi que leurs versions infinies et concurrentes. Ensuite, une application de cette théorie est présentée. Les systèmes de contrôle basés sur les automates de Büchi sont utilisés pour vérifier par model-checking, des propriétés définissant la correction sur des traces d’exécution spécifiées par une assertion de type nevertrace.Dans la seconde partie de la thèse, nous investiguons l’approche de monitoring des modèles dont la théorie des systèmes de contrôle constitue les fondations formelles. Le principe pivot de cette approche est la «spécification de propriétés comme contrôleur». En d’autres termes, pour un système, les exigences fonctionnelles, d’une part, et des propriétés, d’autre part, sont modélisées et implantées séparément, les propriétés spécifiées contrôlant le comportement issu des exigences fonctionnelles. De cette approche découle ainsi deux techniques alternatives, respectivement nommées monitoring de modèle et génération de modèle. Cette approche peut être utilisée de diverses manières pour améliorer la fiabilité et la sécurité-innocuité de divers types de systèmes. Nous présentons quelques applications qui montrent l’intérêt pratique de cette contribution théorique. Tout d’abord, cette approche aide à prendre en compte les évolutions des spécifications des propriétés. En second lieu, elle fournit une base théorique à la sécurité fonctionnelle, popularisée par la norme IEC 61508. En troisième lieu, l’approche peut être utilisée pour formaliser et vérifier l’application de guides de bonnes pratiques ou des règles de modélisation appliquées par exemple pour des modèles UML.Ces résultats constituent les bases pour des études futures de dispositifs plus perfectionnés, et fournissent une nouvelle voie pour s’assurer de la fiabilité et de la sécurité-innocuité des systèmes / This thesis contributes to the study of reliability and safety of computer and software systems which are modeled as discrete event systems. The major contributions include the theory of Control Systems (C Systems) and the model monitoring approach.In the first part of the thesis, we study the theory of control systems which combines and significantly extends regulated rewriting in formal languages theory and supervisory control. The control system is a generic framework, and contains two components: the controlled component and the controlling component that restricts the behavior of the controlled component. The two components are expressed using the same formalism, e.g., automata or grammars. We consider various classes of control systems based on different formalisms, for example, automaton control systems, grammar control systems, and their infinite versions and concurrent variants. After that, an application of the theory is presented. The Büchi automata based control system is used to model and check correctness properties on execution traces specified by nevertrace claims.In the second part of the thesis, we investigate the model monitoring approach whose theoretical foundation is the theory of control systems. The key principle of the approach is “property specifications as controllers”. In other words, the functional requirements and property specification of a system are separately modeled and implemented, and the latter one controls the behavior of the former one. The model monitoring approach contains two alternative techniques, namely model monitoring and model generating. The approach can be applied in several ways to improve reliability and safety of various classes of systems. We present some typical applications to show its strong power. First, the approach provides better support for the change and evolution of property specifications. Second, it provides the theoretical foundation of safety-related systems in the standard IEC 61508 for ensuring the functional validity. Third, it is used to formalize and check guidelines and consistency rules of UML.These results lay out the foundations for further study of more advanced control mechanisms, and provide a new way for ensuring reliability and safety
319

Coopérer pour apprendre la syntaxe écrite : recherche-action sur la phrase subordonnée relative en troisième secondaire

Arseneau, Rosianne 10 1900 (has links)
Cette recherche vise à documenter les apprentissages d’élèves du secondaire en situation d’écriture suivant l’expérimentation d’une séquence didactique fondée sur la coopération. Vu le nombre important d’erreurs syntaxiques dans les textes des élèves du secondaire tel que rapporté par le MÉLS (2012), notre séquence didactique cible une structure syntaxique, la phrase subordonnée relative. En plus de causer des difficultés aux apprenants de français notamment dans le choix du pronom relatif, la phrase subordonnée relative est un objet d’enseignement touffu reconnu comme posant des défis nombreux aux enseignants de français à la lumière des travaux du Groupe de recherche pour l’analyse du français enseigné (e.g. Dolz et Schneuwly, 2009a, 2009b). Après avoir décrit la situation d’écriture et la phrase subordonnée relative de manière conceptuelle, nous dégageons des principes issus de la didactique de la grammaire et de la didactique de l’écriture jugés pertinents pour favoriser l’apprentissage de la relative et la mobilisation des connaissances grammaticales en situation d’écriture. Nous intégrons à ces principes un principe innovateur pour la didactique, celui fondé sur la coopération. Développé dans le courant de l’apprentissage coopératif, la coopération est une approche pédagogique visant à structurer le travail en petits groupes afin d’établir une dynamique d’interdépendance positive (Johnson et Johnson, 2009) de manière à induire le déroulement d’interactions verbales entre les élèves montrées comme étant plus fructueuses pour l’apprentissage que celles ayant cours en l’absence de cadre coopératif (e.g. Krol et al., 2004). Suivant une démarche de recherche-action menée conjointement avec une enseignante, la séquence didactique est conçue puis expérimentée auprès de 55 élèves de trois classes de 3e secondaire de Montréal (Canada) de manière à actualiser les principes didactiques retenus. Deux instruments sont utilisés pour documenter les apprentissages des élèves. Le texte vise à documenter l’évolution dans la production des phrases subordonnées relatives, alors que l’entretien métagraphique vise l’évolution des habiletés métalinguistiques en lien avec ces phrases subordonnées relatives. L’analyse des textes collectés au prétest et au posttest (n = 107) montre une diminution significative des erreurs d’emploi du pronom relatif, ainsi qu’une augmentation significative de l’emploi des pronoms relatifs complexes, tels que « dont » et « auquel ». L’analyse des entretiens métagraphiques au prétest et au posttest (n = 34) montre que les élèves recourent davantage aux critères syntaxiques pour expliquer l’emploi du pronom relatif, et qu’ils utilisent significativement plus de métalangage dans leurs explications. Les résultats de cette recherche mettent en lumière l’intérêt d’actualiser en classe de français les principes didactiques retenus, et plus spécifiquement celui innovant de la coopération en vue de réduire les erreurs syntaxiques dans les textes et de développer les habiletés métalinguistiques des élèves. / This research aims to document the learning of grade-nine students in writing situation following the testing of a didactic sequence based on cooperation. Given the large number of syntactic errors in the texts of secondary students as reported by the MELS (2012), our series of courses targets a syntactic structure, the relative clause. In addition to causing problems for learners of French regarding the choice of the relative pronoun in particular, the relative clause is a dense teaching object known for posing many challenges to French teachers according to the work of Groupe de recherche pour l’analyse du français enseigné (e.g. Dolz et Schneuwly, 2009a, 2009b). After describing the writing situation and the relative clause conceptually, we extricate principles from the fields of grammar didactics and writing didactics deemed relevant to foster the learning of the relative clause and the mobilization of grammatical knowledge in writing situation. An innovative principle for teaching is integrated, one based on cooperation. Developed in the field of cooperative learning, cooperation is an educational approach aimed at structuring work in small groups to establish a dynamic of positive interdependence (Johnson and Johnson, 2009) so as to induce the unfolding of verbal interactions between students shown to be more fruitful in terms of learning than those prevailing in the absence of cooperative framework (e.g. Krol et al., 2004). Following an action research approach conducted jointly with a teacher, the series of courses is designed and tested with 55 students from three grade-nine students classes of Montreal (Canada) in order to actualize the didactic principles extricated. Two instruments are used to document students’ learning. The text aims to document the evolution in the production of subordinate clauses, while metagraphic interviews are aiming at metalinguistic skills related to these relative clauses. The analysis of texts collected at pretest and post test (n = 107) shows a significant decrease of mistakes in the use of relative pronoun in the texts, and a significant increase in use of complex relative pronouns such as "dont" (whose) and "auquel" (which). Analysis of metagraphic interviews at pretest and post test (n = 34) shows that students rely more on syntactic criteria to explain their use of the relative pronoun, and they use significantly more metalanguage in their explanations. The results of this research highlight the interest of implementing in French class didactic principles used, and more specifically the innovative cooperation one in order to reduce the syntactic errors in the texts and to develop students’metalinguistic skills.
320

Difficultés d’ordre grammatical rencontrées chez les immigrants adultes allophones dans l’apprentissage du français langue seconde

Liang, Xian 06 1900 (has links)
La présente étude vise à identifier et classer les difficultés d’ordre grammatical rencontrées chez les immigrants adultes allophones dans l’apprentissage du français langue seconde. Nous avons d’une part analysé les examens finaux de 98 apprenants inscrits dans les cours de francisation à l’Université de Montréal afin de décrire leurs erreurs grammaticales fréquentes commises. Nous avons décrit les erreurs grammaticales fréquentes produites par les apprenants de chaque niveau de francisation d’une manière précise afin que les apprenants puissent bien éviter l’usage de formes erronées et bien développer des compétences linguistiques en français langue seconde. D’autre part, nous avons collecté les opinions personnelles de cinq professeurs principaux de francisation à l’égard de l’importance de l’enseignement de la grammaire dans les cours de langue seconde, du traitement des erreurs grammaticales, et de la persistance des erreurs à travers différents niveaux, etc. En précisant les points grammaticaux à apprendre de chaque niveau de francisation et en fusionnant les résultats des apprenants et des professeurs, nous pouvons offrir aux apprenants adultes allophones des tableaux simples des points grammaticaux et des erreurs grammaticales correspondantes de chaque niveau. Ces derniers pourraient les exploiter pour favoriser la maîtrise du français langue seconde ainsi leur intégration à la société québécoise. / The current research is to identify and classify grammatical difficulties facing by adult English speaking immigrants in their French as a second language (FSL) study. On one side, we have analyzed exams of 98 students from French learning course in Université de Montréal in order to describe their common grammar mistakes. We have described in detail common grammar mistakes produced by learners of each level of French learning course so that they can effectively prevent themselves from using common errors and develop language skill in studying FSL. On the other side, we have also collected personal opinions of five senior teachers of French as a second language course in terms of the importance of teaching grammar in FSL course, the treatment of grammar errors, and the persistence of errors throughout various level, etc. By specifying grammar points to study in each level of FSL course and merging the results of learners and teachers, we can provide adult English speaking learners simple tables of grammar points and grammar errors corresponding to each level. They could use them to improve their language skills and to better integrate themselves into Quebec society.

Page generated in 0.093 seconds