CONCEPTION ET MANIPULATION DE BASES DE DONNEES DIMENSIONNELLES À CONTRAINTES

This thesis defines a constraint-based model dedicated to multidimensional databases. The defined model represents data through a constellation of facts (subjects of analyse) associated to dimensions (axis of analyse), which are possibly shared. Each dimension is organised according to several hierarchies (views of analyse) integrating several levels of data granularity. In order to insure data consistency, 5 semantic constraints (exclusion, inclusion, partition, simultaneity, totality) are introduced, which can be intra-dimension or inter-dimensions. The intra-dimension constraints allow the expression of constraints between hierarchies within a same dimension whereas the inter-dimensions constraints focus on hierarchies of distinct dimensions. The repercussions of these constraints on multidimensional manipulations are studied and OLAP operator extensions are provided.L'accroissement du volume de données dans les systèmes d'information est de nos jours une réalité à laquelle chaque entreprise doit faire face. Notamment, elle doit permettre à ses responsables de déceler les informations pertinentes afin de prendre les bonnes décisions dans les plus brefs délais. Les systèmes décisionnels répondent à ces besoins en proposant des modèles et des techniques de manipulation des données. Dans le cadre de ces systèmes, mes travaux de thèse consistent à étudier la modélisation des données décisionnelles et à proposer un langage de manipulation adapté. Dans un premier temps, nous proposons un modèle dimensionnel organisant les données en une constellation de faits (sujets d'analyse) associés à des dimensions (axes d'analyse) pouvant être partagées. Notre modèle assure une plus grande cohérence des données par sa propriété de multi instanciations qui permet de spécifier des conditions d'appartenance des instances des dimensions aux hiérarchies. De plus, nous avons défini des contraintes exprimant des relations sémantiques entre les hiérarchies intra et inter dimensions (Inclusion, Exclusion, Totalité, Partition, Simultanéité). Au niveau de la manipulation des données, nous avons redéfini les opérateurs dimensionnels afin de permettre à l'utilisateur de mieux définir ses besoins en précisant l'ensemble des instances à analyser. Cette extension a permis d'éviter les incohérences lors de la manipulation des données dimensionnelles. Nous avons étudié également l'impact de ces contraintes sur l'optimisation des manipulations basée sur la technique de matérialisation des vues. La prise en compte des contraintes sémantiques a permis de supprimer des vues incohérentes et de réduire le nombre de vues candidates à la matérialisation. Dans un second temps, nous proposons un processus de conception d'un schéma dimensionnel comportant une démarche descendante, basée sur les besoins des décideurs, et une démarche ascendante basée sur les données sources. Une phase de confrontation, permet d'intégrer les résultats des deux démarches pour obtenir un schéma dimensionnel en constellation intégrant à la fois les besoins des décideurs et les données sources. Afin de valider nos propositions, nous avons développé un outil d'aide à la conception de schémas dimensionnels contraints intitulé GMAG (Générateur de MAGasin de données dimensionnelles)

Accueil et apport des activités d'éveil aux langues en milieu autochtone québécois

Ce mémoire présente une étude exploratoire sur l'apport des activités d'éveil aux langues et l'accueil réservé par le milieu autochtone à ces activités. Cette étude a été réalisée auprès de trois classes d'élèves de fin de cycle du primaire en provenance de trois communautés autochtones en milieu québécois: montagnaise (ou innue), attikamek et inuite. Nous nous sommes intéressée à certains éléments ou certaines composantes qui peuvent définir des attitudes qu'ont développées les élèves de ces milieux autochtones à la suite de la réalisation de ces activités pédagogiques qui visent l'atteinte de différents objectifs: motivation à apprendre des langues, valorisation de la langue minoritaire (en ce qui nous concerne, la langue ancestrale autochtone), ouverture à la diversité culturelle, amélioration des compétences métalinguistiques et autres. Les résultats de notre étude révèlent que les enfants ont beaucoup apprécié ces activités qui, de plus, ont favorisé un intérêt certain, sinon un « éveil » ou une curiosité envers les langues en général et d'autres que celles qui leur sont habituellement connues. Les jeunes autochtones ont eu l'occasion de valoriser un peu plus, verbalement et par écrit, leur langue ancestrale et ils ont fait preuve d'un grand intérêt face à la diversité culturelle au Québec et ailleurs dans le monde. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Éveil aux langues, Langues autochtones, Apprentissage des langues secondes, Préservation des langues ancestrales

Réalisabilité et paramétricité dans les systèmes de types purs

Cette thèse porte sur l adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de considérer les théorèmes de représentation pour le système T de Gödel et le système F de Girard comme deux instances d'un théorème plus général.Puis, nous expliquons comment les relations logiques de la théorie de la paramétricité peuvent s'exprimer en terme de réalisabilité, ce qui montre que la logique engendrée fournit un cadre adéquat pour développer une théorie de la paramétricité du langage de départ. Pour finir, nous montrons comment cette théorie de la paramétricité peut-être adaptée au système sous-jacent à l'assistant de preuve Coq et nous donnons un exemple d'application original de la paramétricité à la formalisation des mathématiques.This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to build a logic from a programming language, both described as pure type systems. This logic provides formulas to express properties of programs and offers a formal framework that allows us to develop a theory of realizability in which realizers of formulas are exactly programs of the starting programming language. In our framework, the standard representation theorems of Gödel's system T and Girard's system F may be seen as two instances of a more general theorem. Then, we explain how the so-called logical relations of parametricity theory may be expressed in terms of realizability, which shows that the generated logic provides an adequate framework for developping a general theory of parametricity. Finally, we show how this parametricity theory can be adapted to the underlying type system of the proof assistant Coq and we give an original example of application of parametricity theory to the formalization of mathematics.LYON-ENS Sciences (693872304) / SudocSudocFranceF

Interprétation linguistique et computationnelle des valeurs par défaut dans le domaine syntaxique

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur

Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)

Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence JFLA 2009.Pour la vingtième année consécutive, les Journées Francophones des Langages Applications sont l'occasion de se retrouver dans un cadre agréable et propice aux échanges conviviaux. Cette année, c'est à Saint-Quentin sur Isère, près de Grenoble, que nous nous réunissons, maintenant la tradition de l'alternance mer-montagne. Les neuf articles choisis par le comité de programme reflètent bien la diversité de notre communauté et les avancés tant du point de vue de l'application de langages fonctionnels que de la conception et de l'utilisation d'assistants à la preuve. Nous avons souhaité également inclure des articles plus proches de tutoriels ou de retours d'expérience, ceux-ci étant particulièrement adaptés au cadre pédagogique des Journées. Deux orateurs nous ont fait l'honneur d'accepter notre invitation. L'exposé de Vincent Balat, de l'université Paris 7, intitulé ≪ Ocsigen : approche fonctionnelle typée de la programmation Web ≫ illustre l'utilisation croissante de langages applicatifs dans des milieux inattendus. L'exposé de Bruno Barras, de Trusted Labs, intitulé ≪ Faut-il avoir peur de sa carte SIM ? ≫ présente l'application d'assistants à la preuve dans la modélisation de cartes à puces. Pour la quatrième année consécutive, deux sessions d'une demi-journée chacune sont consacrées à des cours. Le premier porte sur la modélisation de la linguistique (par Gérard Huet, de l'INRIA Paris - Rocquencourt) et le deuxième sur les bibliothèques Coq utilisées dans la preuve récente du théorème des quatre couleurs (par Assia Mahboubi, de l'INRIA Saclay - Île-de-France)

Modélisation et manipulation d'entrepôts de données complexes et historisées

Le mémoire de cette thèse traite de la modélisation conceptuelle et de la manipulation des données (par des algèbres) dans les systèmes d'aide à la décision. Notre thèse repose sur la dichotomie de deux espaces de stockage : l'entrepôt de données regroupe les extraits des bases sources utiles pour les décideurs et les magasins de données sont déduits de l'entrepôt et dédiés à un besoin d'analyse particulier.Au niveau de l'entrepôt, nous définissons un modèle de données permettant de décrire l'évolution temporelle des objets complexes. Dans notre proposition, l'objet entrepôt intègre des états courants, passés et archivés modélisant les données décisionnelles et leurs évolutions. L'extension du concept d'objet engendre une extension du concept de classe. Cette extension est composée de filtres (temporels et d'archives) pour construire les états passés et archivés ainsi que d'une fonction de construction modélisant le processus d'extraction (origine source). Nous introduisons également le concept d'environnement qui définit des parties temporelles cohérentes de tailles adaptées aux exigences des décideurs. La manipulation des données est une extension des algèbres objet prenant en compte les caractéristiques du modèle de représentation de l'entrepôt. L'extension se situe au niveau des opérateurs temporels et des opérateurs de manipulation des ensembles d'états.Au niveau des magasins, nous définissons un modèle de données multidimensionnelles permettant de représenter l'information en une constellation de faits ainsi que de dimensions munies de hiérarchies multiples. La manipulation des données s'appuie sur une algèbre englobant l'ensemble des opérations multidimensionnelles et offrant des opérations spécifiques à notre modèle. Nous proposons une démarche d'élaboration des magasins à partir de l'entrepôt.Pour valider nos propositions, nous présentons le logiciel GEDOOH (Générateur d'Entrepôts de Données Orientées Objet et Historisées) d'aide à la conception et à la création des entrepôts dans le cadre de l'application médicale REANIMATIC

Étude de problèmes de diffusion inverse à énergie fixée pour des variétés asymptotiquement hyperboliques

We study inverse scattering problems at fixed energy for different geometries with more or less symmetries. First, we obtain a local inverse scattering result at fixed energy for the massless and chargeless Dirac equation on asymptotically hyperbolic manifolds with spherical symmetry. In a second chapter, we are interested in Reissner-Nordström-de Sitter black holes which are spherically symmetric and electrically charged solutions of the Einstein equation. We then obtain an inverse scattering result at fixed energy for the massive and charged Dirac equation. Finally, we are interested in Stäckel manifolds of dimension three with the topology of a toric cylinder, satisfying the Robertson condition and endowed with an asymptotically hyperbolic structure. On these manifolds we use the variable separation theory for the Helmholtz equation and a multivariable version of the method of Complexification of the Angular Momentum in order to obtain an inverse scattering result at fixed energy.On étudie des problèmes de diffusion inverse à énergie fixée pour différents types de géométries ayant plus ou moins de symétries. On commence par obtenir un résultat de diffusion inverse local à énergie fixée pour l'équation de Dirac sans masse et sans charge sur des variétés asymptotiquement hyperboliques et à symétrie sphérique. Dans un second chapitre on s'intéresse aux trous noirs de type Reissner-Nordström-de Sitter qui sont des solutions à symétrie sphérique et électriquement chargées de l'équation d'Einstein. On obtient alors un résultat de diffusion inverse à énergie fixée pour l'équation de Dirac massive et chargée. Enfin, on s'intéresse à des variétés de Stäckel de dimension trois ayant la topologie d'un cylindre torique, satisfaisant la condition de Robertson et munies d'une structure asymptotiquement hyperbolique. Sur ces variétés on utilise la théorie de séparation des variables pour l'équation de Helmholtz et une version multivariable de la méthode de Complexification du Moment Angulaire afin d'obtenir un résultat de diffusion inverse à énergie fixée

Essai de géographie systématique : les paysages du Nord-Ouest de la Côte d'Ivoire

Thèse soutenue en vue de l'obtention du grade de Docteur d'Etat en Sciences humaines, mention géographie physiqueRésultat de vingt années de recherches menées en Côte d'Ivoire sur les équilibres naturels en savane au sein de l'Institut de Géographie Tropicale de l'Université d'AbidjanThis thesis study analyses geographic space giving scope to rain and rivers, rock formations and relief, vegetation, ground surface and soil...However one shouldn't be surprised to find that fallow land, villages and orchards are included in the study.It has the ambition of participating in the development of geographic study centered on the organization of materiel space formed by the actions of nature and society.The author emphasises the importance of one essential aspect which is the study of dimensional change in scalar analysis.The Abidjan analytic method for biophysical environments and land systems co-founded by Jean Charles Filleron is the method used. Thirty months of on site study were necessary to produce 826 descriptive summaries of the vegetation, ground surface, and soil. More than 2500 aerial photos were analysed in view of both landform and land cover data.Treatment of multivariable statistics, ACP, AFC and their classification paved the way for a systematic survey of biophysical environments and land systems in different scalar gradations.The study site is the NW of the Ivory Coast, a vast region of 49000 square kms, the majority of which is more or less wooded savannas which cover ferricrete plateaus and inselberge. In this sparsely populated region the author demonstrates the role of rural societies...and the nature of rock substrata... in the bio- and geodiversity pattern, with innovative discourse on the subject of ecology in tropical areas.Cette thèse privilégie dans l'analyse de l'espace géographique la pluie et la rivière, le relief et la roche, la végétation, la surface du sol et le sol... mais l'on ne s'étonnera pas d'y rencontrer des champs et des jachères, des villages et des vergers. Elle a l'ambition de participer au développement d'une géographie centrée sur l'organisation d'un espace matériel produit conjointement par la nature et l'homme. C'est dans l'étude des changements de dimensions, dans « l'analyse scalaire », que se trouve l'essentiel de son explication scientifique et c'est à cette recherche que l'auteur s'est attaché... La méthode d'analyse des milieux et des paysages est celle de l'« École d'Abidjan » dont Jean-Charles Filleron a été l'un des fondateurs. Trente mois ont été consacrés à la description de 826 relevés de la végétation, de la surface du sol et du sol sur le terrain et plus de 2500 photos aériennes ont été analysées du double point de vue de la forme et du milieu. Les traitements statistiques multivariés, ACP, AFC et classifications ont permis la réalisation d'une systématique des milieux et paysages aux différentes échelles scalaires.Le champ d'application est le Nord-Ouest de la Côte d'Ivoire, vaste territoire de 49000 km2 dont l'essentiel est dévolu aux savanes plus ou moins boisées couvrant plateaux cuirassés et inselbergs. Sur ce territoire faiblement peuplé, l'auteur met en évidence le rôle des sociétés rurales... et de la nature du substrat rocheux... dans la diversité des milieux et des paysages et renouvelle le discours écologique sur les milieux tropicaux