Tesis sobre el tema "Grammaire fonctionnelle"

Cette thèse consiste en la description grammaticale du ye'kwana, langue à tradition orale de la famille caribe pratiquée au Venezuela et au Brésil par moins de 7.000 locuteurs. La variété étudiée dans ce travail est parlée dans le bassin du Caura, au Venezuela. L'étude est basée sur des données primaires obtenues auprès de 59 locuteurs grâce à un travail de documentation et quinze mois de terrain, notamment dans deux villages traditionnels. L'analyse proposée s'intègre dans le cadre de la linguistique typologique et fonctionnelle, dans le contexte des langues en danger. Ce travail s'ouvre sur un profil sociolinguistique de la langue. Puis, les thèmes linguistiques abordés dans cette thèse couvrent la phonologie, la morphologie verbale, nominale et adverbiale. Une attention particulière est accordée aux thèmes du temps-aspect-mode (TAM) et de l'indexation des marques de personne. Un chapitre est consacré aux lexique adverbial et postpositionnel relatifs à l'espace. Y sont inclus également des éléments de syntaxe, notamment sur la prédication non verbale et la subordination. Les annexes de la thèse présentent six textes, glosés et traduits, extraits d'une base de données plus ample compilée dans le cadre de la documentation. Une des caractéristiques typologiquement remarquables de la langue relève de la diversité des patrons d'alignements possibles au sein des propositions principales. En effet, on peut identifier un patron d'alignement prédominant, de type hiérarchique et intransitivement scindé, une construction imperfective innovante présentant un alignement de type ergatif et trois constructions auxiliarisées présentant un alignement mixte de type nominatif-absolutif
This dissertation is a grammatical description of Ye'kwana, a language of oral tradition of the Cariban family spoken in Venezuela and Brazil by less than 7.000 speakers. The language variety studied in this work is spoken in the Caura bassin, in Venezuela. This study is based on primary data obtained among 59 speakers thanks to a documentation project and 15 months of fieldwork, in particular in two traditional villages. The analysis was conducted within a functional-typological approach and within the context of endangered languages. The dissertation starts with a sociolinguistic profile of the language. Then the linguistic topics covered in the dissertation include the phonology and verbal, nominal and adverbial morphology. Special attention is given to the topics of tense-aspect-mood (TAM) and person cross-reference. A chapter is dedicated to the adverbial and postpositional lexicon related to space. Also included are some elements of syntax, particularly non verbal predication and subordination. The annexes provide six texts, glossed and translated, extracted from a larger database within the frame of the documentation. One of the remarkable typological characteristics of the language pertains to the diversity of main clause alignment patterns. Indeed, there is a dominant split/intransitive-hierarchically organized alignment type, an innovative imperfective construction ergatively aligned and three auxiliarized constructions presenting a mixed pattern of nominative absolutive alignment

L’auteur entreprend la description de l'arabe du coran, selon les principes de la grammaire fonctionnelle d'André Martinet. Faute de place, cette description ne comporte qu'un inventaire des classes et une syntaxe succincte, à l'exclusion de la synthétique. L'inventaire présente la liste des classes dégagées et analyse les rapports constants entre les classes, tandis que la syntaxe étudie les rapports variables entre les classes, ces rapports étant les fonctions grammaticales. Inventaire : chaque classe de monèmes fait l'objet d'un chapitre particulier. Sous la rubrique identification et unités est signalée, éventuellement, la possibilité, pour les monèmes de la classe à l'étude, de fonctionner comme prédicats; puis sont passées en revue les compatibilités de ces monèmes, successivement en tant que noyaux, points d'incidence, puis en tant que déterminants. Vient enfin la liste des unités qui composent cette classe. Sous la rubrique morphologie sont étudiées les variations des signifiants des monèmes et le conditionnement de ces variations. Celles-ci se répartissent en variantes libres et variantes combinatoires. Sous la rubrique axiologie sont examinées les valeurs, par opposition, des unités de la classe d'inventaire considérée, si cette classe est grammaticale, c. -à-d. D'inventaire limite. Syntaxe : sous la rubrique identification et unités, on examine la ou les marques de la fonction a l'étude, sous la rubrique morphologie, les variations de ces marques et leur conditionnement, et sous la rubrique axiologie la ou les valeurs de la fonction considérée
The author describes the Arabic language of the Koran, according to the principles of André Martinet's functional grammar. For lack of space this description contains only an inventory of classes and a succinct syntax with the exception of the synthematic analysis. The inventory presents the list of the isolated classes and analyses the constant relations between the classes, whereas the syntax examinates the variable relations between the classes, these relations being the grammatical functions. Inventory: a special chapter is devoted to each class of monemes. Under heading of identification and units the eventual possibility is indicated for the monemes of the considered class to act as predicate; then the compatibilities of these monemes are reviewed, successively as kernels, points of incidence, then as determinants. Finally there is the list of the units which compose this class. Under the heading of morphology the variations of the significants of the monemes and the conditioning of these variations are examinated. These are divided in free variants and in variants conditioned by the context. Under the heading of axiology the values of the units of the considered class are examinated in opposition to each other, if this class is grammatical, i. E. Of a limited inventory. Syntax: under the heading of identification and units the mark or the marks of the considered function are studied, under the heading of morphology the variations of these marks and their conditioning, and under the heading of axiology the value or the value of the considered function

Notre travail se compose de deux chapitres. Dans le premier, nous faisons la distinction entre la notion de causation, fait que quelqu'un ou quelque chose fait en sorte qu'un etat de choses se realise, et de causalite, specifiant que tout a une cause. Ensuite, nous rendons compte des travaux de kayne, zubizarreta ainsi que de l'hypothese de jackendoff en mettant en evidence leurs limites. Dans le deuxieme, nous presentons la thorie de la grammaire fonctionnelle de dik dont les composants syntaxique et semantique font partie du cadre de la pragmatique. En deuxieme lieu, nous demontrons, grace au test de la negation de l'effet, qu' une distinction s'impose entre les causatives et les structures apparentees telles que celles de requete et les permissives. En troisieme lieu, nous analysons la question de la formation des predicats causatids avant d'etudier les trois types des causatives et les questions ayant trait aux etats de chose de celles qui ont des predicats-input, a la causation directe indirecte et intentionnelle non-intentionnelle, au degre de controle de l'argument cause, et, enfin, aux regles des causatives. Nous terminons ce chapitre par l'etude de la force illocutionnaire et l'ordre des constituants descausatives. En conclusion, nous montrons l'importance de la grammaire de dik
This work is divided into two chapters. In the first one, we establish a distinction between the notion of causation, the fact that some one or something brings it about that a state of affairs obtains, and tht of causality, specifying that everything has got a cause. Then, we account for the some tretments of causative structures within the contemporary linguistic theories. In the second chapter, we first present the theory of functional grammar of simon c. Dik. The syntactic and semantic components of this theory are part of the pragmatics framework. Thus functional grammar does not restraint the notion of grammar in isolated sentences, but is shows that thos sentences may take place in coherent context. Second, thanks to the effect detachment test, we show that it is necessary to establish a distinction between causatives and similar structures as requestives and permissives. Third, we analyse the question of causative predicates formation, before studying the three types of causatives. We end this chapter by studying the illocutionary force and the ordre of constituents. In the conclusion, we justify our choice of functional grammar

L'objectif de cette thèse est de confronter trois langues romanes : le français, l'espagnol et l'italien autour du phénomène de la diathèse, afin d'examiner d'une part les propriétés des diathèses à différents niveaux de description linguistique (pragmatique, sémantique, syntaxe), qui réunissent les constructions passive, impersonnelle, réflexive et causative ; d'autre part d'examiner les particularités de fonctionnement de ces langues et de mettre au jour leurs possibilités et leurs limites à travers ce phénomène. Cette étude a non seulement des implications au niveau de la typologie des langues romanes, mais elle a également l'ambition d'améliorer certaines descriptions existantes des constructions diathétiques. En outre, elle permet de confirmer l'idée que la langue est un système cohérent dans lequel tout se tient, dans la mesure où des fonctions pragmatico-sémantiques similaires reçoivent différentes configurations morphosyntaxiques, selon les propriétés de chaque langue. Finalement, ce travail décrit les caractéristiques de chaque construction en termes de la Grammaire Fonctionnelle Discursive, qui constitue un cadre tout à fait pertinent, en raison notamment de la structuration de ses niveaux de description linguistique, comme suit : pragmatique > sémantique > morphosyntaxe. Dans cette perspective, le phénomène de la diathèse a pu être envisagé comme un choix (abstrait) du locuteur aux niveaux pragmatique et sémantique, choix qui a des conséquences (concrètes) au niveau de l'encodage syntaxique et morphologique.

L'ingénierie du logiciel doit concilier, d'une part, la modularité requise par les phases de développement et de maintenance et, d'autre part, l'efficacité indispensable dans la mise en oeuvre des applications. Ce dilemme nécessite des méthodes et des techniques de transformation permettant d'accroître l'efficacité des programmes modulaires. La déforestation, qui consiste à éliminer les structures intermédiaires apparaissant lors de la composition des différentes parties d'un programme, a suscité beaucoup d'intérêt, notamment en grammaires attribuées et en programmation fonctionnelle. En dépit de la diversité des formalismes utilisés, cette thèse compare les différentes techniques existantes et s'inspire de leurs atouts pour développer une nouvelle méthode de déforestation plus générale. Tout d'abord, une extension naturelle des grammaires attribuées est introduite pour permettre de représenter une plus large classe de programmes fonctionnels. Les grammaires attribuées dynamiques peuvent se passer de la présence physique d'un arbre pour guider les calculs et les transformations, mais bénéficient des méthodes classiques d'évaluation des grammaires attribuées. Ensuite, les principales méthodes fonctionnelles de déforestation (algorithme de Wadler, règle d'élimination foldr/build, normalisation des folds, fusion d'hylomorphismes) sont étudiées et comparées avec la composition descriptionnelle des grammaires attribuées. Les limitations de chaque méthode sont établies et permettent de déterminer les atouts nécessaires pour ces transformations de programmes. Finalement, une nouvelle méthode de déforestation est proposée. La composition symbolique utilise la puissance du formalisme des grammaires attribuées et incorpore un mécanisme d'évaluation partielle. Cette technique générale peut être appliquée sur des grammaires attribuées ou sur des programmes fonctionnels et permet de déforester des programmes pour lesquelles les méthodes existantes restaient impuissantes.

L'ingenierie du logiciel doit concilier, d'une part, la modularite requise par les phases de developpement et de maintenance et, d'autre part, l'efficacite indispensable dans la mise en uvre des applications. Ce dilemme necessite des methodes et des techniques de transformation permettant d'accroitre l'efficacite des programmes modulaires. La deforestation, qui consiste a eliminer les structures intermediaires apparaissant lors de la composition des differentes parties d'un programme, a suscite beaucoup d'interet, notamment en grammaires attribuees et en programmation fonctionnelle. En depit de la diversite des formalismes utilises, cette these compare les differentes techniques existantes et s'inspire de leurs atouts pour developper une nouvelle methode de deforestation plus generale. Tout d'abord, une extension naturelle des grammaires attribuees est introduite pour permettre de representer une plus large classe de programmes fonctionnels. Les grammaires attribuees dynamiques peuvent se passer de la presence physique d'un arbre pour guider les calculs et les transformations, mais beneficient des methodes classiques d'evaluation des grammaires attribuees. Ensuite, les principales methodes fonctionnelles de deforestation (algorithme de wadler, regle d'elimination foldr/build, normalisation des folds, fusion d'hylomorphismes) sont etudiees et comparees avec la composition descriptionnelle des grammaires attribuees. Les limitations de chaque methode sont etablies et permettent de determiner les atouts necessaires pour ces transformations de programmes. Finalement, une nouvelle methode de deforestation est proposee. La composition symbolique utilise la puissance du formalisme des grammaires attribuees et incorpore un mecanisme d'evaluation partielle. Cette technique generale peut etre appliquee sur des grammaires attribuees ou sur des programmes fonctionnels et permet de deforester des programmes pour lesquelles les methodes existantes restaient impuissantes.

Attribute coupled grammars and their descriptional composition were advocated by Ganzinger and Giegerich as a modular variant of attribute grammars, a model of syntax-directed semantics orginally introduced by Knuth. Descriptional composition has been related to various techniques of program optimization, in particular to "deforestation", a technique for eliminating intermediate data structures in function composition, In this work, we present a higher-order functional approach to attribute evaluation w. R. T. An attribute grammar based on local dependencies of the synthezised attributes on inherited attributes described by functions. This higher-order functional approach leads to efficient implementations in a higher-order lazy functional language like Haskell, but it fails to achieve deforestation. We present an alternative first-order functional interpretation of attribute grammars where the input tree is replaced by an extended cyclic tree corresponding to cyclic representations of zippers (trees with their context). Then we show that, up to that representation, descriptional composition reduces to the composition of trees transducers
Les grammaires attribuées introduites à l'origine par Knuth pour décrire les sémantiques dirigées parla syntaxe ont été présentées de façon modulaire par Ganzinger et Giegerich sous la forme de grammaires couplées par attributs. La composition de ces grammaires, appelée composition descriptionnelle, s'apparente aux techniques d'optimisation des programmes fonctionnels, telles que la déforestation qui consiste à éliminer des structures de données intermédiaires lors de la composition des fonctions. Dans ce travail, nous présentons une approche fonctionnelle d'ordre supérieure pour l'évaluation des attributs basée sur les dépendances locales entre les attributs synthétisés et les attributs hérités. Cette traduction, de nature non syntaxique et à ce titre non compatible avec les techniques de déforestation, procure néanmoins une implémentation directe des grammaires attribuées dans un langage fonctionnel paresseux d'ordre supérieur. Nous présentons alternativement une traduction fonctionnelle du premier ordre dans laquelle l'arbre d'entrée et son contexte sont représentés simultanéement par un arbre sur une signature étendue. Nous montrons que la composition descriptionnelle des grammaires attribuées se ramène, par cette traduction, en une simple composition de transducteurs d'arbres

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

La parole spontanee se caracterise par une diversite structurelle qui complique grandement l'analyse de la structure linguistique des enonces oraux. Afin de surmonter ce probleme, nous proposons une strategie cooperative entre deux agents concurrents, bases respectivement sur des representations syntaxiques et semantiques. L'analyseur semantique, qui repose sur un mecanisme d'amorcage relationnel et isotopique, permet une analyse detaillee des structures de phrase. Du fait de ce fort pouvoir structurel, nous accordons a la semantique un role preeminent, tandis que la tache de la syntaxe est limite au filtrage des hypotheses semantiques. Notre approche se demarque ainsi resolument des strategies cooperatives classiques, ou la semantique controle la coherence de l'analyse syntaxique. Puisque les contraintes de bonne formation ne concerne pas l'analyse semantique, cette approche autorise en outre le traitement des constructions non attendues, et conduit a une amelioration de la robustesse d'analyse des enonces oraux spontanes

La presente etude se compose de 6 chapitres : les 3 premiers sont consacres a l'examen de l'emploi des prepositions au sens local en francais devant des substantifs se rapportant au lieu. Nous limitons l'objet de l'analyse de cet ouvrage a 154 substantifs fondamentaux designant des pieces, des batiments, des etablissements publics, des parties de la nature, des voies et des divisions administratives. Le systeme des prepositions est fortement influence par la categorie du determinant et l'adjonction de l'adjectif epithete ou du omplement prepositionnel qui peuvent imposer a ou en contre dans. Toutefois, le substantif en question est le plus important facteur et limite souvent la les preposition(s) utilisee(s). Lorsque plusieurs prepositions sont possibles, on doit faire grand cas de la signification du predicat. Nous indiquons le pourcentage de chaque preposition : dans 46,5, a 29,9, sur 13,0, en 6,4, par 2,3, sous 1,1, etc. . . Dans les chapitres 4 et 5, notre analyse porte sur le "joshi" (postposition ou particule fonctionnelle) du japonais. Les postpositions casuelles wo, ni, e, de expriment chacune : wo - lieu de passage, ni - lieu d'existence, ni. E - direction, point d'arrivee, de - lieu de l'action, cadre spatial. La postposition relationnelle wa sert a thematiser le lieu en question et a bien preciser la relation theme - rheme : la strategie discursive du locuteur japonais consiste a developper son raisonnement en combinant habilement le connu (theme) et l'inconnu (rheme). Nous comparons ces deux systemes, au dernier chapitre, sous trois aspects
The present study is composed of 6 chpters : the first 3 are devoted to the examination of the local sense of french prepositions before the substantives concerning the place. We limite the analysis object of this work to 154 basic substantives meaning rooms, buildings, public establishments, nature's parts, ways and administrative divisions. The system of prepositions is traongly influenced by the determiner's category and the addition of the attributive adjective or prepositional complement that can enforce a or en against dans. However, the substantive in question is the most important factor and restrict utilized preposition(s). When several prepositions are possible, we must make much of the meaning of predicate. We indicate the percentage of earch preposition : dans 46. 5, a 29. 9, sur 13. 0, en 6. 4, par 2. 3, sous 1. 1, etc. . . In the chapters 4 and 5, our analysis gets on to the japanese "joshi" (postposition, fonctional particle). The case postpositions wo, ni, e, de signify respectively : wo - place of passage, ni - place of existence, ni. E - direction, point of arrival. De - place of action, spatial frame. The relational postposition wa is used for thematise the the place in question and for specify the relation theme - rheme : the utterance strategy of the japanese speaker consists in developing his argument skillfully with the combination of the known (theme) and the unknown (rheme). In the lastchapter, we compare the two systems in three aspects

Le présent travail prend appui sur une synthèse de travaux déjà effectués dans l’équipe LaLIC (Langues,Linguistiques, Informatique, Cognition) ; il insiste sur l’articulation entre différents concepts, centrés sur la notion deréférentiel. Ma thèse fait partie d’une chaîne où sont approfondis certains concepts rendus de plus en plus opératoires.Mon travail prend appui sur les travaux sur le temps et l’aspect d’E. Benveniste, A. Culioli et J.-P. Desclés, enparticulier, il s’inscrit le développement de la théorisation du temps et de l’aspect entreprise par J.-P. Desclés et Z.Guentchéva. Dans cette approche, il existe cinq classes de concepts importants :1) Trois notions aspectuelles de base constitutives d’un procès : état, processus, événement ;2) Aspectualisation d’un procès sur un intervalle topologique d’instants ;3) Énonciation conceptualisée comme processus inaccompli ;4) Repérage par identification, différenciation et rupture ;5) Prise en compte de différents référentiels.Certains concepts avaient déjà reçus une formalisation rigoureuse. Au fil des analyses de plus en plus diversifiées, lanotion de référentiel est devenue de plus en plus importante dans le dispositif théorique et dans les descriptions associées.Il m’a donc été demandé de mieux préciser cette notion de référentiel en en proposant une approche formalisée quipermettrait ultérieurement des traitements informatiques. J’ai replacé cette notion dans le cadre théorique de latemporalité appréhendée par les langues en argumentant son introduction et en formalisant ses concepts. Afin de mieuxéprouver le caractère opératoire des concepts formalisés, il est apparu que leurs traductions dans un langage informatiquepermettraient de prouver leurs caractères réellement opératoires et de jeter des ponts solides orientés vers une utilisationopérationnelle des analyses linguistiques que nous proposons
This dissertation support a synthesis of already accomplished works at the laboratory LaLIC(Languages, Linguistics, Informatics, Cognition) ; it emphasizes the articulation among different concepts, centered onthe notion of referential. My thesis forms a part of a chain where some rendered concepts are deepened more and moreoperatively. My work supports the works about the tense and the aspect of E. Benveniste, A. Culioli and J.-P. Desclés, inparticular, it is in line with the development of the theorization about the tense and the aspect proceeded by J.-P. Desclésand Z. Guentchéva. In this approach, there are five types of important concepts:1) Three basic aspectual notions constituent of a process (situation): state, process, event;2) Aspectualisation of a process (situation) on a topological interval of instants;3) Conceptualized enunciation as imperfective process;4) Reference by identification, differentiation and rupture;5) Recognition of different referentials.Some concepts are already received rigorous formalizations. Over the analyses being increasingly diversified, the notionof referential becomes more and more important in the theoretical plan and in the associated descriptions. It wasdemanded to me to improve the specification of this notion of referential while I proposed a formalized approach thatwould admit the computing treatments later. I put this notion within the theoretical framework of the temporality whichapprehended by the languages while arguing its introduction and while formalizing their concepts. To better perceive theoperative character of the formalized concepts, it was their translations in the computer language which enables to provetheir effectively operative characters and to dispose the solid link oriented towards an operational utilization of thelinguistic analyses that we propose

Aujourd'hui, dans un monde globalisé, la conception des produits est en train de basculer vers la conceptiondistribuée multi-sites. En effet, la complexité des produits avec des contraintes économiques et d'ingénierie ontaccéléré la transformation et l'organisation des activités de conception en service-orientés dans un réseau distribué.Alors, la conception pour la configuration des produits émerge comme un outil efficace pour résoudre les nouveauxdéfis de la conception des produits. Beaucoup de recherches sur la conception pour la configuration considèrent leproblème de la conception pour la configuration uniquement comme un problème d'arrangement des composants.En effet, le processus de conception implique de multiple-métiers, la distribution des métiers et des acteurs, etl'interaction dans un environnement dynamique et incertain. De plus, nous pensons que la structure interne duprocessus de conception est une image homomorphe des discontinuités du produit perçu. En considérant l'espacede la conception pour la configuration comme multi vues, multi dimensionnels et incertain, cette thèse porte surl'étude de la conception pour la configuration comme un problème holistique.Nous avons proposé à étudier : (1) appréhender et modéliser la conception pour la configuration comme unproblème de recherche de consensus entre différents métiers ; (2) appréhender et modéliser les relations intra etinter domaines considérant la conception pour la configuration comme un problème holistique ; (3) formaliser lesgrammaires génératives pour la modélisation de produit dans les deux principaux espaces : fonctionnel et structurelet (4) modéliser les liens entre ces deux espaces à l'aide du concept d'holon de conception. A partir de cesconsidérations, nous établissons les hypothèses les plus importantes de notre recherche : (a) Hypothèse de multivues; (b) Hypothèse de flou ; (c) Hypothèse de dérivation ; (d) Hypothèse holistique et (e) Hypothèse d'attracteur.Nous avons décrit un modèle de conception pour la configuration dans lequel les aspects d'optimisation desconfigurations et la recherche des noyaux des configurations sont intégrés. D'ailleurs, nous avons proposé desgrammaires fonctionnelles floues graphes et des grammaires fonctionnelles floues formelles pour représentergraphiquement et formellement les structures fonctionnelles de produit. Nous avons aussi proposé une approche demodélisation holonique des configurations. Les concepts d'Holon Conception Floue et de l'Attracteur Flou sontproposés pour comprendre la coévolution dans la conception pour la configuration. Nous avons étudié un casindustriel de la conception pour la configuration à l'aide des modules pour un groupe motopropulseur
Product design is switching to the multi-site distributed design. Indeed, the complexity of products with engineeringand economic constraints have accelerated the transformation and organization of design activities into serviceorientedin a distributed network. So, design for product configuration emerges as an effective tool to address thenew challenges of product design. Many researches on design for configuration consider the design problem only asa problem of arrangement of components. Indeed, the design process involves multi-trades, distribution of tradesand actors, and interaction in a dynamic and uncertain environment. Moreover, we believe that the internal structureof the design process is a homomorphic image of the product perceived discontinuities. Considering the space ofthe design for the configuration as multi-views, multi-dimensional and uncertain, this thesis focuses on the study ofdesign for the configuration as a holistic problem.We proposed to study: (1) understand and model design for configuration as a consensus-building problem betweendifferent trades; (2) understand and model the relationships within and between domains considering the design forconfiguration as a holistic problem; (3) formalize the generative grammars for product modeling in two main spaces:functional and structural and (4) model the links between these two spaces with the concept of design holon. Fromthese considerations, we establish the most important assumptions of our research: (a) Assumption of multi-view;(b) Assumption of fuzzy; (c) Assumption of derivation; (d) Holistic assumption and (e) Assumption of attractor.We have described a design model for configuration wherein the optimization aspects of configurations andsearching of configurations cores are integrated. Moreover, we proposed fuzzy graphs functional grammars andformal fuzzy functional grammars to represent formally and graphically the functional structures of product. We alsoproposed an approach of holonic modeling for configurations. The concepts of Fuzzy Design Holon and FuzzyAttractor are proposed to understand the co-evolution in design for configuration. We studied an industrial case ofdesign for configuration using modules of a power train

L’objectif principal de ce travail est d’explorer la frontière entre les erreurs grammaticales d'une part et les erreurs textuelles d'autre part, dans les productions écrites des étudiants francophones rédigeant en anglais langue étrangère (L2) à l’université. Pour ce faire, un corpus de textes d’apprenants en anglais L2 a été recueilli et annoté par le biais de plusieurs schémas d’annotation. Le premier schéma d’annotation est issu de l’UAM CorpusTool, un logiciel qui fournit une taxonomie d’erreurs intégrée. Les premières annotations ont été croisées avec d’autres annotations issues des métafonctions sémantiques que nous avons établies, en nous appuyant sur la linguistique systémique fonctionnelle.En plus de fournir des statistiques en termes de fréquence d’occurrence des erreurs spécifiques chez les apprenants francophones, le croisement des schémas a permis d’identifier certaines valeurs proprement phraséologique, sémantique et textuelle qui semblent poser des problèmes particulièrement épineux. A ce titre, une classification de ce que nous avons appelé des erreurs d’acceptabilité textuelle a été établie, dans le but notamment d’avoir une vue globale sur les erreurs identifiables à ce niveau d’analyse. En bref, le présent travail retrace donc le cheminement de l’ensemble de notre thèse de ses débuts conceptuels jusqu’à la proposition d’un modèle explicatif permettant d’établir la description de toute occurrence erronée identifiée en langue étrangère – qu’elle soit notamment grammaticale (c’est-à-dire, imputable au système linguistique) ou textuelle(c’est-à-dire, imputable au texte)
The main objective of this study is to try and pinpoint the frontier between grammatical (or sentence-level) errors on the one hand and textual errors on the other in university student essays. Accordingly, a corpus of English L2 learner texts, written by French learners, was collected and annotated using several annotation schemes. The first annotation scheme used is based on a model from the UAM CorpusTool software package, which provided us with an integrated error taxonomy. The annotations obtained were then cross-analyzed using the semantic metafunctions identified in systemic functional linguistics.In addition to providing statistics in terms of specific error frequency, our cross analysis has identified some areas that appear to pose particularly difficult problems, i.e. phraseology, and certain semantic and textual constructions. A classification of what we have called textual acceptability errors has thus been established. In short, the thesis begins with an examination of conceptual issues and ends with the proposal for an explanatory model that can describe erroneous occurrences identified in a foreign language – whether they are grammatical (i.e., linked to the language system itself) or textual (i.e. linked to the text) in nature

Dans la grammaire generative, le caractere semantique des categories n'a pas ete souvent mentionne, car la syntaxe etait preoccupation absolue. Au cours de ce travail, notre dessein est de rechercher une possibilite de reveler l'interaction entre les proprietes semantiques et la structure syntaxique des categories fonctionnelles temps, aspect et agr dans le cadre de la grammaire generative
In generative grammar, the semantic character of categories wan't often mentionned because syntax was a primary preoccupation. In the course of this work, our purpose is to reveal the interaction between the semantic properties and the syntactic structure of the functional categories tense, aspect and agr in the framework of generative grammar

La Programmation Orientée Langage est un paradigme de programmation qui tente, par la technique de méta-programmation, de changer les habitudes des développeurs de systèmes informatiques en leur permettant de "travailler en termes de concepts et notions du problème à résoudre, au lieu d'être toujours obligés de traduire leurs idées aux notions qu'un langage généraliste est capable de comprendre" (Ward et Sergey). Le développement de logiciels passe de ce fait par la conception de langages dédiés : on définit un ou plusieurs langages qui capturent les caractéristiques du domaine étudié, puis on écrit les applications visées en utilisant ces langages. Dans cette thèse, nous proposons une démarche méthodologique de développement logiciel reposant sur ce concept. Il s'agit de conduire la même démarche méthodologique au niveau des langages que ce qui est classiquement fait au niveau des composants logiciels. En l'occurrence, nous utilisons le formalisme des grammaires attribuées pour tenter de répondre à la question suivante : comment peut-on créer de nouveaux langages par composition de langages réutilisables existants ? Nous tirons profit de leur traduction en algèbres de combinateurs fonctionnels pour définir des spécifications exécutables de langages dédiés (vus comme composants logiciels), plongés dans le langage fonctionnel pur Haskell. \' partir d'exemples significatifs d'extension et de réutilisation de langages dédiés (par stratification de ceux-ci, ou par changement de monade), nous proposons un typage de langages dédiés en vue de leur assemblage et leur réutilisation. Pour illustrer cette démarche, nous décrivons un langage dédié (bibliothèque de combinateurs) pour l'édition de documents structurés. Un document y est représenté par un zipper attribué, une structure arborescente localisable, représentant un arbre et son contexte, et caractérisée par une grammaire attribuée. L'édition consiste alors à la modification interactive de cette structure ; ce qui entraîne une réévaluation totale ou partielle des attributs. L'édition peut aussi être réalisée à travers une vue abstraite obtenue par projection de la structure concrète. Ce qui pose le problème de \textit, un problème familier de la communauté des bases de données, auquel nous donnons une solution grâce à nos combinateurs d'éditeurs.

Cette thèse s’inscrit au sein des recherches sur l’acquisition de langues étrangères. Elle vise à étudier l’acquisition de l’expression de l’hypothèse dans deux groupes d’apprenants : des francophones qui apprennent le portugais, variété brésilienne, et des lusophones (brésiliens) qui apprennent le français. Notre recherche se concentre particulièrement sur les moyens d’expression les plus employés pour exprimer une relation de causalité virtuelle (ce que nous appellerons l’hypothèse) dans la L1 et dans deux niveaux différents de la L2. Les données sont examinées dans une perspective formelle et fonctionnelle tout en s’appuyant sur une méthode fonctionnaliste. Nous nous intéressons au rôle de la langue maternelle dans l’acquisition de l’expression de l’hypothèse en langue cible. Le recueil des données orales a été conduit auprès de 90 participants, soit 45 Français et 45 Brésiliens. Pour chaque langue, nous avons eu un groupe de contrôle, un groupe de niveaux moins avancé (B1 du CECRL) et un groupe plus avancé (C1 du CECRL). Il s’agit d’un corpus pseudo-longitudinal (oral) afin de relever les traces du développement progressif dans l’acquisition de l’expression de l’hypothèse en L2. Les résultats des analyses favorisent non seulement l’étude comparative d’apprenants de niveaux différents dans deux langues différentes, mais encore leur confrontation avec les apprenants d’autres recherches menées en différentes langues, sources et cibles. L’objectif principal est de mettre en lumière les phénomènes permanents dans l’acquisition de l’expression de l’hypothèse en L2
This thesis is in the field of research on foreign language acquisition. It aims to study the acquisition of the expression of hypothesis in two groups of learners: French speakers learning Portuguese, the Brazilian variety, and Portuguese speakers (Brazilians) learning French. Our research focuses in particular on the means of expression most used to express a virtual causal relationship (what we'll call the hypothesis) in L1 and in two different levels of L2. The data are examined from a formal and functional perspective, based on a functionalist method. We are interested in the role of the mother tongue in the acquisition of hypothesis expression in the target language. Oral data were collected from 90 participants, 45 French and 45 Brazilian. For each language, we had a control group, a less advanced group (CEFR B1) and a more advanced group (CEFR C1). A pseudo-longitudinal (oral) corpus was used to record the progressive development of hypothesis expression in L2. The results of the analyses not only facilitate the comparative study of learners at different levels in two different languages, but also their confrontation with learners from other research carried out in different source and target languages. The main aim is to highlight ongoing phenomena in the acquisition of hypothesis expression in L2

Cette recherche sur corpus a pour objet les emplois de quando (quandoque, quandoquidem, quandocumque) dans différents genres textuels du latin préclassique au latin postclassique. À partir du CD-ROM de la Bibliotheca Teubneriana Latina nous avons répertorié les occurrences de quando dans les Comédies de Plaute, les Discours de Cicéron, le De rerum natura de Lucrèce, l’Histoire romaine de Tite-Live et les Traités philosophiques de Sénèque. En principe, le terme en kw- peut servir d’adverbe interrogatif, indéfini ou relatif et de conjonction temporelle ou causale. Or la distinction de ces différents emplois ne peut se faire à l’aide de procédés classificatoires qui prendraient comme cadre d’analyse maximal la phrase en raison d’ambiguïtés sémantiques et d’interférences fonctionnelles entre types de subordonnées. Aussi optons-nous pour une approche macro-syntaxique tenant compte des relations dépassant le segment phrastique et alliant les points de vue morpho-syntaxique et sémantico-énonciatif. D’abord, l’étude de quando, terme polyvalent susceptible de fonctionner à plusieurs niveaux de la structure phrastique, nous amène à nous interroger sur les niveaux d’insertion et la fonction de quando dans la phrase. Ainsi, les interférences fonctionnelles entre relatif et conjonction temporelle mettent en évidence la perméabilité des frontières entre fonctions syntaxiques. Ensuite, l’ambiguïté sémantique invite à dépasser le strict cadre phrastique et à considérer les inférences contextuelles du terme étudié en vue de distinguer notamment la valeur temporelle de la valeur causale de quando. Enfin, l’outil grammatical ne peut être appréhendé sans considération de sa valeur illocutoire. Par la grande diversité d’actes réalisés, l’analyse des emplois interrogatifs peut révéler certaines caractéristiques liées à l’écriture générique. Dans une approche empruntée à la grammaire fonctionnelle sera étudiée enfin la portée du terme au niveau du discours. Une telle analyse s’avère nécessaire pour caractériser l’emploi causal, dans la mesure où ce dernier intervient au niveau interpersonnel et non référentiel, et joue, dans la terminologie de la grammaire fonctionnelle, le rôle de satellite disjoint. En ce sens, cette étude prouve l’utilité d’une approche éclectique dans l’analyse des emplois de quando : le recours à différentes approches linguistiques, selon les besoins de l’interprétation, met en évidence la complémentarité des points de vue morpho-syntaxique et sémantico-pragmatique dans une description empirique des faits de langue et de discours visant à définir, à partir de données textuelles apparemment disparates, les valeurs de base des différents emplois de quando. L’intérêt de l’étude réside ainsi dans la polyvalence du terme, permettant d’aborder un large éventail de problèmes linguistiques voire extralinguistiques liés à la structure phrastique, au texte et à la situation de discours
This corpus-based study analyses the use of quando (quandoque, quandoquidem, quandocumque) in different textual genres from Early to Postclassical Latin. From the Bibliotheca Teubneriana Latina CD-ROM (BTL-4) we have listed the instances of quando in Plaute’s Comedies, Cicero’s Discourses, Lucretius’ De rerum natura, Livy’s History of Rome and Seneca’s Moral Essays. Quando can be used as an interrogative, indefinite and relative adverb or as a temporal or causal conjunction. But the classification of these different uses is not possible without a macro-syntactic approach that combines morpho-syntactic, semantic and enunciative points of view. First, the study of this multifunctional term raises the question of its integration in the sentence structure. Thus the functional interference of its use as a relative adverb and as a temporal conjunction shows that the frontiers between syntactical functions are malleable. Furthermore, the semantic ambiguity invites us to extend the analyses to the contextual inferences to distinguish for instance its temporal and causal use. Moreover we cannot analyse the use of quando without considering its illocutionary force: for instance the questions introduced by quando perform a great variety of speech acts which reveal certain characteristics of the literary genre. Finally, the methods of Functional Grammar are necessary to study the level quando affects in the sentence structure, as the causal subordinate clause provides information on the interpersonal level and can be considered as a disjunct satellite. In the light of these considerations, it is evident that an eclectic approach is necessary to study the use of quando: only different linguistic approaches, combining the morpho-syntactic, semantic and enunciative point of view in an empirical description of its occurrences, can define the value of the different uses of quando. Thus the significance of this study resides in the multifunctionality of quando which allows us to consider a large variety of linguistic and extra-linguistic problems occurring not only at multiple levels of the sentence structure, but extended even to the larger context of the speech interaction and intimately linked to the authors writing techniques and the speakers discursive intentions

XML est devenu le format standard d’échange de données. Nous souhaitons construire un environnement multi-système où des systèmes locaux travaillent en harmonie avec un système global, qui est une évolution conservatrice des systèmes locaux. Dans cet environnement, l’échange de données se fait dans les deux sens. Pour y parvenir nous avons besoin d’un mapping entre les schémas des systèmes. Le but du mapping est d’assurer l’évolution des schémas et de guider l’adaptation des documents entre les schémas concernés. Nous proposons des outils pour faciliter l’évolution de base de données XML. Ces outils permettent de : (i) calculer un mapping entre le schéma global et les schémas locaux, et d’adapter les documents ; (ii) calculer les contraintes d’intégrité du système global à partir de celles des systèmes locaux ; (iii) comparer les schémas de deux systèmes pour pouvoir remplacer un système par celui qui le contient ; (iv) corriger un nouveau document qui est invalide par rapport au schéma d’un système, afin de l’ajouter au système. Des expériences ont été menées sur des données synthétiques et réelles pour montrer l’efficacité de nos méthodes
XML has become the de facto format for data exchange. We aim at establishing a multi-system environment where some local original systems work in harmony with a global integrated system, which is a conservative evolution of local ones. Data exchange is possible in both directions, allowing activities on both levels. For this purpose, we need schema mapping whose is to ensure schema evolution, and to guide the construction of a document translator, allowing automatic data adaptation wrt type evolution. We propose a set of tools to help dealing with XML database evolution. These tools are used : (i) to compute a mapping capable of obtaining a global schema which is a conservative extension of original local schemas, and to adapt XML documents ; (ii) to compute the set of integrity constraints for the global system on the basis of the local ones ; (iii) to compare XML types of two systems in order to replace a system by another one ; (iv) to correct a new document with respect to an XML schema. Experimental results are discussed, showing the efficiency of our methods in many situations

Cette thèse examine le phénomène universel de la poly-divergence dans le chinois archaïque avec cinq sous-types : La polygrammaticalisation avec le cas de huò 或 ; la polylexicalisation et l’hybridation de ces deux avec le cas de rán 然 ; La poly-divergence sous l’influence des culte-culture-philosophique avec le cas d’yī 一 ; La poly-divergence de la structure multifonctionnelle avec le cas de « Reference+Comment » ; La poly-divergence de la locution avec le cas de « chiffre+mois ». Ces divergences ont pour effet de réduire et éviter l’opacité causée par la pratique langagière de l’emploi non-obligatoire d’item fonctionnel ou le manque d’item fonctionnel exclusif. Et ces types de poly-divergence en chinois se réalisent via des mécanismes qui sont distincts de ceux des langues occidentales. Etant donné que la pratique de l’emploi non-obligatoire est omniprésente, alors l’opacité et l’imprécision sont, en conséquence, devenues également inévitable sur le plan universel. On peut en conclure que, au cours du développement diachronique, le modèle de la poly-divergence en branches devient le modèle essentiel d’évolution grammaticale dans le chinois archaïque
This dissertation examines the universal phenomenon of poly-divergence in archaic Chinese with five subtypes: the polygrammaticalization with the case of huò 或; the polylexicalization and the hybridization of these two with the case of rán 然; the poly-divergence under the influence of cult-culture-philosophical with the case of yī 一; the poly-divergence of the multifunctional structure with the case of "Reference + Comment"; the poly-divergence of the phrase with the case of "numeral +month". These divergences have the effect of reducing and avoiding the opacity caused by the non-obligatory usage of function word or the lack of exclusive function word. And these types of poly-divergence in Chinese are realized through mechanisms that are distinct from those of Western languages. Finally, a conclusion is drawn and it is argued that the poly-divergence is the essential model of evolution in archaic Chinese

Cette thèse analyse la transition topicale en anglais américain à l’aide d’un corpus audio de conversations spontanées entre proches. L’objet d’étude principal est l’action interactionnelle qui consiste à changer de topique discursif, ainsi que les diverses stratégies linguistiques que les participants ont à leur disposition. Trois modalités de marquage sont prises en compte : les questions, les marqueurs de discours, et le registre de la voix. Chaque modalité est analysée pour sa contribution individuelle, ainsi que pour les associations avec d’autres modalités qu’elle peut occasionner. Se pencher sur différentes modalités de marquage crée une vue d’ensemble composite de l’influence que la trajectoire topicale d’une conversation a sur sa grammaire et sa prosodie. Dans le cadre d’une approche mixte mêlant analyses qualitatives et quantitatives, cette étude se situe à la croisée de plusieurs cadres théoriques, empruntant tant à l’analyse conversationnelle et à la linguistique interactionnelle pour l’analyse qualitative située, qu’à la linguistique de corpus de par ses méthodes quantitatives telles que le codage systématique des données et le recours aux statistiques. Ce projet multi-domaines est complété par une comparaison entre conversations typiques et atypiques. Les personnes schizophrènes peuvent connaître des difficultés dans la gestion des topiques d’une conversation, ce qui peut occasionner des transitions non-canoniques. Comparer ce type de données à celles de participants typiques apporte un éclairage supplémentaire sur certaines des attentes, préférences et standards, par ailleurs moins visibles lorsque la transition topicale est plus aisée
The research presented in this dissertation analyzes topic transition in American English interaction, focusing on audio recordings of spontaneous conversations between friends and relatives. The main object of inquiry is the interactional action of transitioning to a new discourse topic, as well as the different linguistic strategies that participants have at their disposal. Three main types of cues are investigated: questions, discourse markers, and pitch register. Each type of cue is analyzed for its individual contribution to topic transition design, as well as for the way it can combine with, supplement, or contradict other cues. Analyzing different types of cues – verbal and prosodic – creates a composite picture of the various ways in which the topic trajectory of a conversation shapes its grammar – including its prosody. This study uses a mixed-methods approach which draws on the qualitative-oriented theoretical frameworks of Conversation Analysis and Interactional Linguistics, combining them with quantitative methods used in Corpus Linguistics, such as systematic coding and statistics. This multi-domain account is completed by elaborating a comparison between typical and atypical interactions. Persons suffering from schizophrenia can experience difficulties in managing the topics of a conversation, and they can produce non-canonical transitions. Comparing their data with that of typical participants thus sheds light on some of the expectations, preferences and standard formats which can otherwise remain hidden when topic transition goes smoothly