Dans ce mémoire, l'objet d'étude est le statut des règles morphophonologiques dans la grammaire générative. L'hypothèse d'une grammaire structurée en différentes composantes fut développée dans les travaux de Chomsky (1965,1970,1981). Pourtant, dans la littérature en général, se trouvent des règles qui mélangent des éléments tirés de différentes composantes. Un cas de règle mixte est présenté dans le premier chapitre en prenant comme exemple les adjectifs du français qui servent à construire les adverbes en -ment. Le deuxième chapitre est consacré à l'étude des théories nécessaires pour illustrer l'importance que soulève la question des règles morphophonologiques dans la grammaire générative. Un bref historique est présenté de ce qui a été fait depuis les structuralistes avec Hockett (1958) notamment, jusqu'aux avancées théoriques que représentent la phonologie auto-segmentale de Goldsmith (1976) et de McCarthy (1979) pour la phonologie et de la théorie morphologique d'Anderson (1980), de Lumsden (1987), de Halle et Marantz (1993) pour la morphologie. Le troisième chapitre est consacré à l'application actuelle de l'ouverture théorique qu'a représenté la phonologie auto-segmentale. Ceci avec l'étude de la thèse de doctorat de Pagliano (2003). La base de son analyse est le cadre phonologique auto-segmental de la théorie du gouvernement classique (Kaye & al. 1990, Charrette. 1991, Harris. 1994) centrée sur la structure syllabique. L'objet spécifique de son étude sur les adverbes en -ment du français (Pagliano 1999a), est de prouver que ceux-ci se forment sur la base phonologique de l'adjectif sans passer par la forme morphologique du féminin. En transformant ainsi un «objet morphologique» en un élément phonologique interprétable strictement dans la composante phonologique, Pagliano (2003) répond à la question sur les statuts des règles morphophonologiques puisqu'elle permet de rendre obsolète l'élément morphologique. Mais ce mémoire montre que son étude n'est pas assez exhaustive au niveau de ses données adverbiales pour pouvoir rendre compte de l'allomorphie aléatoire qui reste encore le problème central des théories morphologiques. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Statut règles morpho phonologiques, Étude allomorphie aléatoire.

Cette recherche porte sur l'exploration et la qualification des dispositifs évolutionnaires appliquées à la conception architecturale. Ici, ce sont les qualités environnementales et plus particulièrement les qualités solaires passives de l'enveloppe de l'édifice qui guideront le processus évolutionnaire. Nous nous attachons plus particulièrement aux phases initiales de la conception, et nous cherchons à spécifier un outil d'assistance favorisant et stimulant une conception créative. Après avoir établi et structuré une connaissance sur les processus de conception, sur la créativité, sur les qualités thermiques et sur les méthodes évolutionnaires, nous proposons un outil prototypal, fondé sur un algorithme génétique et implanté dans un logiciel de type modeleur. Celui-ci a été expérimenté dans le milieu pédagogique, et nous a conduit à caractériser les modalités de création et de conceptualisation de la forme architecturale dans le cadre d'une instrumentation évolutionnaire. Ainsi nous notons le basculement cognitif d'une pensée implicite vers une pensée explicite comme caractéristique fondamentalement de l'instrumentation générative. De plus nous insistons sur l'importance de l'indétermination signifiante comme composante essentielle de la création. Enfin nous proposons la notion de « trans-forme » comme élément caractéristique d'une pensée du processus et de la multiplicité. Cette « meta-forme » serait issue de la description des conditions de mise en forme à travers la paramétrisation des comportements aux limites et des modalités d'émergence.

Construire des terminologies de maladies est un enjeu majeur dans le développement des systèmes d’information épidémiologiques et d’aide à la décision de santé publique qui soient efficients et durables. A partir du contexte du registre français de l'Insuffisance Rénale Terminale, une analyse des besoins de représentation des termes de maladies a été réalisée mettant en évidence le problème aigu et occulté de continuité statistique dans les bases de données et de connaissances. La « continuité terminologique » est proposée comme une réponse au besoin de continuité statistique. Une méthode générative de construction de Ressources Termino-Ontologiques a été conçue et expérimentée. Plutôt que de s’intéresser à l’ensemble des termes qui sont nécessaires pour décrire un domaine, nous nous sommes concentré uniquement sur la modélisation d'un sous ensemble de connaissances élémentaires sur les maladies. Cette méthode générative produit simultanément des termes normalisés (Nomenclature artificielle) et leur représentation sémantique/conceptuelle formelle se basant sur le formalisme des Graphes Conceptuels (GC). Les opérations de généralisation/spécialisation des GC sont utilisées pour déduire l’organisation poly-hiérarchique La continuité terminologique doit être considéré comme étant un critère majeur dans la construction de terminologies de maladies au même titre que la couverture terminologique. Les approches génératives contribuent à améliorer la continuité terminologique, car elles imposent cette contrainte de créer chaque nouveau terme sur des bases formelles avec des propriétés définitoires nécessairement sémantiquement définis dans une ontologie existante. / Expressing terms referring to pathological conceptualization is an important issue toward the development of clinical research and public health decision support systems. From the context of the French Registry of End Stage Renal Disease, requirements for disease terms representation are anlysed highlighting the acute and hidden problem of statistical continuity in disease data and knowledge representation. The underpinned assumption relies on the idea of ensuring terminological continuity through agenerative method of building Ontology Based Terminological systems. Rather than looking at all the terms that are necessary to describe a domain, we focused solely on the modeling of basic and definitional knowledge about disease. A set ontological rules for diseases hierachies were defined. Eperiments have been designed and implemented taking advantage of GC formalism and a logic programming toll called prolog-GC. The results confimed that such method allow performing two major activities that are carried out in the conventional building process of medical terminologies : refinement of disease terms granularity and consistency improvement. Terminological continuity needs to be considered as major criteria in disease terminological building. Generative approaches helps to improve the terminological continuity as imposes to create news terms of the bases of existing ones formal definitions.

Nombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour Sense--Compute--Control, est particulièrement adapté à la description de ces applications. Le développement d'applications suivant ce paradigme est cependant rendu difficile par le manque de cadre conceptuel et d'outils de support. Cette thèse propose un cadre conceptuel dédié au paradigme SCC et se concrétise par un langage de description d'architectures nommé DiaSpec. Ce langage fournit un cadre de travail pour guider le développement d'une application SCC en assignant des rôles aux membres du projet et en proposant une séparation des préoccupations. En plus de fournir un cadre de conception, cette thèse fournit un support de programmation. En effet, à partir de descriptions écrites en DiaSpec, un framework de programmation dédié est généré dans un langage cible. Ce framework de programmation guide l'implémentation d'une application SCC en exposant les mêmes abstractions que le langage DiaSpec. Ce framework de programmation est conçu de façon à assurer que l'implémentation d'une application est conforme à l'architecture décrite en DiaSpec, en s'appuyant sur le système de types du langage cible. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité.

Pruesse et Ruskey ont présenté un algorithme pour la génération de leur code Gray pour les idéaux d'un poset (ensemble partiellement ordonné) où deux idéaux adjacents diffèrent par un ou deux éléments. Leur algorithme fonctionne en temps amorti de O(n) par idéal. Squire a présenté une récurrence pour les idéaux d'un poset qui lui a permis de trouver un algorithme pour générer ces idéaux en temps amorti de O(log n) par idéal, mais pas en code Gray. Nous utilisons la récurrence de Squire pour trouver un code Gray pour les idéaux d'un poset, où deux idéaux adjacents diffèrent par un ou deux éléments. Dans le pire des cas, notre algorithme a la même complexité que celle de l'algorithme de Pruesse et Ruskey et dans les autres cas, sa complexité est meilleure que celle de leur algorithme et se rapproche de celle de l'algorithme de Squire. Squire a donné une condition pour obtenir cette complexité. Nous avons trouvé une condition moins restrictive que la sienne. Cette condition nous a permis d'améliorer la complexité de notre algorithme. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Poset, Extension linéaire, Cycle hamiltonien, Code Gray, Algorithme, Complexité.

Dans cette thèse, nous présentons des développements de l'approche utilisée dans l'équipe « ParSys » du LRI pour traduire automatiquement des codes scientifiques écrits dans un langage dédié inspiré de Matlab en codes de production haute performance. Pour garantir cette performance, nous mettons à profit d'une part la méta-programmation par templates C++ afin d'analyser chaque expression pour détecter les opportunités de parallélisme, et d'autre part la programmation parallèle asynchrone pour utiliser au mieux les ressources disponibles des machines multi-cœurs. Pour faire le lien entre ces deux étapes du processus de génération de code, des squelettes algorithmiques multi-niveaux sont implémentés. Nos outils ont été implantés dans la bibliothèque NT2 et évalués sur des applications scientifiques du monde réel. / In this thesis, we present developments to the approach used by the LRI Parsys team to automatically translate MATLAB-like scientific codes into high performance production codes. To reach a high level of performance, we have combined C++ template meta-programming and asynchronous parallel programming to analyze each expression and detect parallelism opportunities first, and then to ensure near-optimal use of the available resources of multi-core machines. To link these two stages of the code generation process, we have implemented a solution based on multi-level algorithmic skeletons. We have implemented our tools in the NT2 library and evaluated them with several significant scientific benchmarks.

"Mémoire présenté comme exigence partielle de la maîtrise en linguistique offerte à l'Université du Québec à Chicoutimi en vertu d'un protocole d'entente avec l'Université Laval". / Cette étude porte sur les prépositions orphelines en français, i.e. les prépositions lexicales simples et les prépositions complexes apparaissant sans complément dans cette langue, telles qu'évoquées par Zribi-Hertz (1984) dans une analyse de ces éléments ne manifestant aucun déplacement syntaxique, contrairement aux prépositions esseulées en anglais. N'appartenant pas à la structure argumentale des verbes, les éléments orphelins sont traditionnellement reconnus comme arguments circonstants et donc, à fonction adverbiale, provoquant le changement de catégorie grammaticale des éléments. Rejetant l'intransitivité des prépositions orphelines, Zribi-Hertz analyse ces dernières comme étant suivies du pronom implicite pro. Remettant en cause ce traitement des prépositions orphelines, l'étude montre que les structures locatives orphelines du français sont de même nature nominale et de même comportement que les possessions inaliénables du corps humain apparaissant dans le même type de contexte, soit avec déterminant défini et argument implicite. D'où le caractère relationnel des structures orphelines exprimant les parties intrinsèques des objets dans une relation partie-tout, parallèment aux noms parties du corps exprimant les parties inhérentes du corps humain dans une relation possédé-possesseur. De façon similaire aux noms parties du corps, les orphelins en français se révèlent donc être décomposables et leur argument optionnel, i.e. sans position structurale, et ce, de façon similaire à tout syntagme libre employé avec défini et ellipse de l'objet. D'où l'existence d'un continuum des objets locatifs s'étalant des noms de lieu à caractère concret aux noms de lieu à caractère abstrait ou relationnel et donc, la nature pragmatique de la relation entre l'objet relationnel et le réfèrent de son argument implicite. La relation de coréférence entre l'objet locatif et le réfèrent de son argument implicite est opérée par indiciation par l'entremise du défini lié à ses conditions discursives d'emploi. Cette solution est présentée sous forme de règle lexicale dans le cadre de la théorie Head-driven Phrase Structure Grammar.

Cette thèse approfondit la notion de mot qui a cours en grammaire française contemporaine. Plus précisément, elle fait ressortir les problèmes qui découlent du fait d’employer un concept relevant de la pensée commune (le mot) pour élaborer une explication scientifique du langage. Elle examine la manière dont les linguistes exploitent cette notion dans la tradition grammaticale et dans trois courants théoriques marquant la linguistique moderne (structuralisme, fonctionnalisme, générativisme); elle évalue également les stratégies employées par ces approches pour régler les problèmes posés par la définition et l’emploi du concept de mot dans la description linguistique. Comme voie de résolution de ces problèmes, elle propose la notion de morpholexème, qui correspond à l’unité significative associant en permanence un signifié lexical à un signifié grammatical, de manière à former une unité qui se ramènent dans l’ensemble aux unités considérées comme faisant partie des classes de mots variables, qui correspondent à environ 97 % du lexique du français. / This thesis examines the concept of word used in contemporary French grammar. Specifically, it highlights issues which stem from using a concept belonging to ordinary language (the word) to develop a scientific explanation of human language. It investigates how linguists exploit this notion in the grammatical tradition and in three theoretical currents which have made their mark in modern linguistics (structuralism, functionalism, generativism). It also assesses the strategies used by these approaches to solve the problems related to the definition and usage of the concept of word in the linguistic description. To address these issues, it proposes the concept of morpholexeme, which corresponds to a linguistic unit permanently combining a lexical meaning and a grammatical meaning, as a basis for identifying a homogenous category corresponding to morphologically variable words, a category covering close approximately 97 % of the French lexicon.

Les héritages d'Auguste Comte, du positivisme logique orthodoxe, et de l'opérationalisme de Bridgman ont conduit à penser que la science se construit en classant des faits et en élaborant des généralisations inductives. Cette vision radicalement empiriste a longtemps restreint la psychologie et la linguistique au « déjà connu » et aux problèmes banals, rejetant l'étude des processus mentaux dans le domaine de la non-science. Cette recherche tente de démontrer qu'il est devenu impensable d'adhérer à la thèse du sceau vide (béhaviorisme) ou aux théories de l'apprentissage (constructivisme), car ces positions empêchent de rendre compte adéquatement de l'acquisition de la connaissance. L'approche rationaliste de Chomsky est la seule qui, dans la période de grands bouleversements qu'a connues la psychologie dans les années 1970, fournissait les outils m éthodologiques et théoriques nécessaires à la mise en place d 'u n cadre conceptuel capable d'orienter les futures recherches effectuées en psychologie, en linguistique et en psycholinguistique.

Nombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour sense-compute-control, est particulièrement adapté à la description de ces applications. Le développement d'applications suivant ce paradigme est complexe à cause du manque de cadre conceptuel et d'outils de support.Cette thèse propose un cadre conceptuel dédié au paradigme SCC et se concrétise par un langage de description d'architectures. À partir d'une description dans ce langage, un framework de programmation peut être généré. Il guide l'implémentation d'une application grâce à un support dédié et vérifie que cette implémentation est conforme à l'architecture décrite. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité. / Numerous applications have, as their main behavior, to wait for information coming from a foreign environment, to prepare a result, and to execute actions on this environment. Graphical user interfaces and avionic systems are two examples. The SCC paradigm, for Sense–Compute–Control, is dedicated to the description of such applications. Developing applications with this paradigm is made difficult by the lack of conceptual framework and tool support.This thesis proposes a conceptual framework dedicated to the SCC paradigm which is materialized by an architecture description language named DiaSpec. This language provides a framework to support the development of an SCC application, assigning roles to the stakeholders and providing separation of concerns. This thesis also proposes dedicated programming support. Indeed, from DiaSpec descriptions a dedicated programming framework is generated in a target language. This programming framework guides the implementation of an SCC application and raises the level of abstraction of this implementation with both high-level and dedicated mechanisms. This programming framework is designed to ensure conformance of the implementation to its architecture described in DiaSpec by leveraging the target language type system. Contributions of this thesis are evaluated through three criteria: expressiveness, usability and productivity.