La programmation orientée aspect (AOP) vise à améliorer la modularité et la réutilisation des couches logiciels en proposant un mécanisme d’abstraction pour faire face aux préoccupations transversales. Cependant, dans la plupart des langages d’aspects généralistes, les aspects ont un pouvoir presque illimité, rentrant éventuellement en conflit avec ces objectifs. Dans ce travail, nous présentons Effective Aspects : une nouvelle approche pour incorporer le modèle pointcut/advice de l’AOP dans un langage de programmation fonctionnel statiquement typé comme Haskell. Notre travail comprend deux contributions principales. Premièrement, nous définissons un plongement monadique du modèle pointcut/advice complet de l’AOP. La correction du typage est garantie par l’exploitation du système de type sous-jacent, en particulier les types fantômes et une nouvelle classe de type pour faire de l’anti-unification de types. Dans ce modèle, les aspects sont de première classe, peuvent être déployés de façon dynamique, et le langage de pointcuts est extensible, combinant donc la flexibilité des langages d’aspect typés dynamiquement avec les garanties d’un système de type statique. Les monades nous permettent de raisonner directement sur les effets du calcul à la fois dans les aspects et les programmes de base en utilisant des techniques monadiques traditionnelle. Avec ce système, nous étendons la notion de “open modules” avec des effets, et aussi avec les interfaces de pointcut protégés à l’extérieur d’un advice. Ces restrictions sont appliquées statiquement par le système de type. Aussi, nous adaptons les techniques de EffectiveAdvice afin de raisonner sur des propriétés du flot de contrôle. En outre, nous montrons comment contrôler l’interférence des effets en utilisant l’approche fondée sur la paramétricité de EffectiveAdvice. Nous montrons que cette approche n’est pas satisfaisante en présence de multiples aspects et proposons une approche différente en utilisant des vues monadiques, une nouvelle technique pour le traitement de la pile monadique, développée par Schrijvers et Oliveira. Ensuite, nous exploitons les propriétés de notre modèle pour permettre la construction modulaire de nouvelles sémantiques pour la portée d’aspects et le tissage. Notre deuxième contribution s’appuie sur un modèle puissant pour raisonner sur la composition de mixins avec effets et leur interférence, fondée sur un raisonnement équationnelle, paramétrique, et les lois algébriques sur les effets monadiques. Notre contribution est de montrer comment raisonner sur l’interférence en présence de quantification sans restriction pour les pointcuts. Nous montrons que le raisonnement global peut être compositionnelle, ce qui est essentiel pour le passage à l’échelle de l’approche face aux évolutions de grands systèmes. / Aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. But, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. This work presents Effective Aspects: a novel approach to embed the pointcut/advice model of AOP in a statically-typed functional programming language like Haskell; along two main contributions. First, we define a monadic embedding of the full pointcut/advicemodel of AOP. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. In this model aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically-typed aspect languages with the guarantees of a static type system. Monads enable us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend the notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. These restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties as well as to control effect interference. We show that the parametricity-based approach to effect interference falls short in the presence of multiple aspects and propose a different approach using monad views, a novel technique for handling the monad stack, developed by Schrijvers and Oliveira. Then, we exploit the properties of our model to enable the modular construction of new semantics for aspect scoping and weaving. Our second contribution builds upon a powerful model to reason about mixin-based composition of effectful components and their interference, based on equational reasoning, parametricity, and algebraic laws about monadic effects. Our contribution is to show how to reason about interference in the presence of unrestricted quantification through pointcuts. We show that global reasoning can be compositional, which is key for the scalability of the approach in the face of large and evolving systems. We prove a general equivalence theorem that is based on a few conditions that can be established, reused, and adapted separately as the system evolves. The theorem is defined for an abstract monadic AOP model; we illustrate its use with a simple version of the model just described. This work brings type-based reasoning about effects for the first time in the pointcut/advice model, in a framework that is expressive, extensible and well-suited for development of robust aspect-oriented systems as well as a research tool for new aspect semantics.

Dans le cas des systèmes temps-réels, une difficulté majeure pour le développement d’une approche compositionnelle consiste au modèle synchrone du temps où les horloges des différents composants avancent simultanément.Cet aspect est, pourtant, difficile à considérer dans un cadre compositionnel.Nous proposons une méthode basée sur l’approche déductive et consistant à calculer d’une manière purement compositionnelle une sur-approximation de l’ensemble des états atteignables du système à travers un invariant.Ce dernier se compose d’invariants locaux propres aux composants, un invariantd’interaction caractérisant les interactions entre les composants. En plus, afin de considérer le modèle synchrone du temps, nous introduisons des horloges auxiliaires appelées « Horloges d’Histoire ». Elles permettent de générer des invariants supplémentaires permettant de détecter des relations induites par les synchronisations temporelles des différents composants. Appliqué à plusieurs exemples de systèmes, l’invariant s’est avéré souvent suffisamment fort avec une réduction importante de la complexité de vérification.Toutefois, puisque la méthode est basée sur une sur-approximation, des faux contre-exemples peuvent être générés. Nous avons complété la méthode avec un module destiné pour leur analyse.Au delà de son passage à l’échelle, la méthode est étendue pour la vérification uniforme des systèmes paramétrés, où certains composants sont identiques. La validité de la propriété peut être affirmée indépendamment de leur nombre.Cette méthode compositionnelle est implémentée dans l’outil RTD-Finder conçu pour la vérification des systèmes modélisés au langage BIP (Behavior-Interaction-Priority).Les résultats d’expérimentation montrent la réduction de la complexité de vérification en comparaison avec l’approche monolithique, surtout quand l’invariant global est en mesure de détecter la propriété d’intérêt. / The compositional Verification aims at breaking down the complexity of the verification task by relying on the separate analysis of the sub-components and inferring global properties of the system from their local properties.In the framework of real-time systems, one main obstacle for developing fully compositional methods is the synchronous model of time.We propose a verification method based on the deductive approach where the setof reachable states of the system is over-approximated by an invariant computedin a fully compositional manner. It comprises local component invariants andan interaction invariant characterizing the interactions between the components.In addition, we introduce auxiliary clocks, called history clocks which allow toautomatically generate new invariants capturing the constraints induced by thetime-synchronizations between the different components. We completed this com-positional invariant generation approach with a counterexample-based invariantenforcement module analyzing iteratively the generated counterexamples.Besides its scalability, the method can be extended to the uniform verification of parameterized timed systems.Our compositional verification method was implemented in the RTD-Finder tool.The experimental results show that the verification time for large systems is drastically reduced in comparison with exploration techniques, especially when the global invariant catches the safety property of interest.

La présente étude, faisant objet d’une thèse de doctorat, a trait à l’étude des expressions idiomatiques en lien avec la représentation spatiale en italien. Ce travail a pour objectif d’étudier et d’analyser ces expressions idiomatiques dans la langue italienne, en nous intéressant aux implications que cela peut avoir sur la représentation de l’espace en italien. L’étude que nous nous proposons de mener a pour objet la compréhension de ces structures figées en italien et de leurs équivalents en français. L’analyse des effets des expressions idiomatiques dans le discours du langage quotidien, rendue possible par l’élaboration d’un corpus de 25 romans graphiques, a été l’occasion de mieux comprendre la productivité de ces locutions figées. / This study as a doctoral thesis, deals with the analysis of the idiomatic expressions and spatial reference in the Italian and French languages. This research was aimed at describing the meanings of an idiom's element that plays important role in idiom interpretation and use, by raising the question of various non-literal forms evolves with a particular context as graphic novels. This work focuses on a systemic analysis of idiom types, the evidence relating to one major classes of idiom comprehension models: non-composition models, which assume the compositional meanings of phrases and sentences are routinely generated and used in the development of 25 graphic novels; the items are considered as one opportunity to better understand the structure of the idiom.

No description available.

Dans la première partie de cette thèse nous traitons l’écoulement diphasique compositionnel, partiellement miscible et compressible en milieux poreux. Déplacement d'une phase par un autre est analysé. Nous examinons les mélanges non idéals, la pression est variable, et les concentrations de phase, la densité et la viscosité sont les fonctions de la pression. Le processus est décrit par le problème de Riemann qui admet des solutions discontinues. Nous avons développé une méthode numérique-analytique de solution pour déterminer les paramètres à tous les chocs avant résoudre les équations de flux. Cette méthode est basée sur la séparation de thermodynamique et hydrodynamique, proposée dans [Oladyshkin, Panfilov 2006] et qui était inapplicable à problème de Riemann, en raison de manque des conditions d’Hugoniot. Dans cette thèse, nous avons construit les conditions supplémentaires d'Hugoniot. Dans la deuxième partie, nous examinons l'écoulement diphasique lors que les zones monophasique apparaissent, dans cette zone, le fluide est sur/sous-saturés et les équations diphasique dégénèrent.Nous avons proposé de décrire les zones diphasique et sur/sous-saturés avec un système uniforme des équations diphasique classique en étendant le concept de saturation d'être négatif et supérieur à un. Physiquement, cela signifie que les états monophasiques sont considérés comme des états diphasiques consistant une phase imaginaire avec la saturation négative. Une telle extension de la saturation exige développement des conditions de consistance qui sont fait dans cette thèse.La dernière partie est consacrée ensuite à étendre le modèle HT-split pour le cas d’écoulement triphasique compositionnel. Nous avons obtenu le modèle asymptotique, dans lequel la thermodynamique et l'hydrodynamique sont séparées / In the first part of thesis we deal with two-phase multicomponent, partially miscible, compressible flow in porous media. Displacement of one phase by another is analyzed. We examine non ideal solutions, pressure is variable, and phase compositions, densities and viscosities are variable functions of pressure.The process is described by Riemann problem which admits discontinuous solutions.We developed a numerical-analytical method of solution to explicitly determine all shock parameters before solving the flow equations. This method is based on splitting thermodynamics and hydrodynamics, suggested in [Oladyshkin, Panfilov 2006]. Earlier this method was inapplicable to Riemann problem, due to the lack of Hugoniot conditions. In this thesis we have constructed additional Hugoniot conditions.In the second part we examine two-phase flow when the single-phase zones appear, in this zone the fluid is over/under-saturated and two-phase flow equations degenerate and they cannot be used. We proposed to describe two-phase and over/under-saturated single-phase zones by uniform system of classic two-phase equations while extending the concept of phase saturation to be negative and higher than one. Physically it means that the oversaturated single-phase states are considered as pseudo two-phase states consisting an imaginary phase with negative saturation. Such an extension of saturation requires developing some consistence conditions which have developed in this thesis.The last part then is devoted to extend the HT-split model to the case of three-phase compositional flow. We have obtained the general asymptotic model, in which the thermodynamics and hydrodynamics are split

Cette thèse s’inscrit dans le cadre du projet Région Aquitaine - INRIA : ITIPY. Ce projet vise à terme l’extraction automatique d’itinéraires à partir de récits de voyage du XIX ème et du début du XX ème siècle. Notre premier travail fut de caractériser le corpus comme échantillon du français, par une étude contrastive d’une part de données quantitatives et d’autre part de la structure des récits de voyage. Nous nous sommes ensuite consacrée à l’étude du temps, et plus particulièrement à l’analyse automatique de la sémantique des temps verbaux du français. Disposant d’un analyseur syntaxique et sémantique à large échelle du français, basé sur les grammaires catégorielles et la sémantique compositionnelle (λ-DRT), notre tâche a été de prendre en compte les temps des verbes pour reconstituer la temporalité des événements et des états, notions regroupées sous le termes d’éventualité. Cette thèse se concentre sur la construction d’un lexique sémantique traitant des temps verbaux du français. Nous proposons une extension et une adaptation d’un système d’opérateurs compositionnels conçu pour les temps du verbe anglais, aux temps et à l’aspect du verbe français du XIX ème siècle à nos jours. Cette formalisation est de facto opérationnelle, car elle est définie en terme d’opérateurs du λ-calcul dont la composition et la réduction, déjà programmées, calculent automatiquement les représentations sémantiques souhaitées, des formules multisortes de la logique d’ordre supérieur. Le passage de l’énoncé comportant une éventualité seule au discours, dont le maillage référentiel est complexe, est discuté et nous concluons par les perspectives qu’ouvre nos travaux pour l’analyse du discours. / This work has been lead in the frame of the ITIPY project which goal was to automatically extract itineraries from travel novels from the XIX th century and from the beginning of the XX th. Our thesis work is close to the text understanding task in the information retrieval field and we aim at building a representation of meaning of linguistic utterances, leaning on the compositionnality principle. More precisely, the itinerary extraction supposes to temporally represent displacement and localization events or states (that we actually call eventualities) of a traveler as far as we understand it through discourse. Working on an automatic parser for syntax (in categorial grammars) and semantics (in λ-DRT), we focused on the building of an semantic lexicon for tense in French. We actually characterized our corpora as a sample of French language, by the means of a quantitative and qualitative analysis as well as a study of the internal structure of this genre. The main contribution of this work deals with tense and aspect semantic processing of the event expressed by tensed verbs, and with its modelling. In this respect, we propose an adaptation and an extension for French from XIX th century to nowadays of a lexicon originally produced to deal with English verbs. This formalisation is operational, for it is defined in λ-calculus which composition and réduction, already implemented, calculate automatically semantics représentations, high order logic formulas. Transition from a single event uterrance to a whole discourse which contains a complex referential network is discussed and allows us to define the limits of this hereby work.

Etablir un bilan de masses entre la génération, la migration et l'accumulation du pétrole est un processus important pour quantifier des systèmes pétroliers. Ce bilan donne en effet des indications sur la répartition du pètrole dans un bassin sédimentaire, que ce soit une province très explorée ou un secteur d'exploration frontière. Cette thèse a établi la méthodologie pour approcher un bilan de masses d'un système pétrolier sur un cas réel. Elle a non seulement quantifié les termes sources et les pertes, mais s'est également intéressée aux aspects compositionnels. Les accumulations connues ont pour cela servi de données de calibration des paramètres influant le bilan. Dans cette optique, le cas d'étude choisi est le bassin de Recôncavo au Nord-Est du Brésil. Il s'agit d'un rift avorté qui a été formé pendant la fragmentation du Gondwana, au cours de le Crétacé Inférieur. Le stade mature de l'exploration de ce bassin a contribué à réduire les incertitudes sur les pertes et les charges, points essentiels d'une définition de bilan de matière. Les nombreux paramètres qui influencent le bilan ont pu être calibrés de façon précise. Pour procéder au bilan, on a d'abord effectué des analyses géochimiques pour la description cinétique compositionnelle des membres Tauá et Gomo (Fm. Candeias), les roches mères principales de ce bassin. Une loi de restauration du carbone organique total (COT) a été obtenue en résultat des expériences thermogravimétriques et de l'analyse Rock-Eval. Une deuxième partie de ce travail a intégré les résultats de géochimie dans un schéma séquentiel de modélisation de systèmes pétroliers en 1D,2D et 3D. Une calibration du régime thermique au cours du temps géologique indépendante des données de maturité a servi de guide pour le terme source. Puis la genèse, l'expulsion et la migration ont été modélisées. Ces résultats ont fourni les éléments du bilan de masses sur ce bassin, qui montre que seulement 8% des hydrocarbures expulsés des roches-mères ont été piégés, 16% sont perdus dans le réseau poreux non réservoir et 76% sont sortis du système latéralement ou par exsudation au cours de son évolution.

Cette thèse vise à établir une théorie sémantique des textes appelée herméneutique formelle qui applique des méthodes mathématiques rigoureuses dans l'étude des processus d'interprétation des textes en langue naturelle, dits admissibles, que nous dirons écrits « avec bonne volonté » en tant que messages destinés à la compréhension. Dans le paradigme phonocentrique de lecture, une langue est décrite dans une catégorie Logos dite des espaces textuels. Un genre particulier des textes y définit une sous-catégorie pleine des schémas formels discursifs. Définies pour un texte X donné, la catégorie Schl(X) des faisceaux des significations fragmentaires, dite de Schleiermacher, sert à formaliser un principe compositionnel généralisé de Frege, et la catégorie Context(X) des espaces étalés des significations contextuelles sert à formaliser un principe contextuel généralisé de Frege. Établie par le foncteur de sections et le foncteur de germes, une équivalence de catégories Schl(X)?Context(X), dite dualité de Frege, donne lieu à une représentation fonctionnelle des significations fragmentaires, ce qui permet de décrire le processus de la compréhension d'un texte. Nous considérons comme universaux linguistiques la connexité et la T0–séparabilité de Kolmogoroff de la topologie phonocentrique sous-jacente à un texte. Dans le paradigme logocentrique de lecture, une langue est décrite dans une catégorie appelée site textuel qui est une catégorie munie de la topologie de Grothendieck moyennant les familles couvrantes d'explications fragmentaires ; un principe compositionnel généralisé de Frege dit que tout préfaisceau d'explications fragmentaires sur un site textuel est en fait un faisceau. / This thesis aims to establish a discourse interpretation theory named formal hermeneutics that applies rigorous mathematical methods in studying the process of interpretation of natural language texts supposed to be written “with a good grace” as the messages intended for human understanding; we call them admissible. In the phonocentric paradigm, a natural language is described in the category of textual spaces Logos. A particular genre of texts defines there a full subcategory of formal discourse schemes. For a given admissible text X, we introduce the category Schl(X) of sheaves of fragmentary meanings, called category of Schleiermacher, in termes of which a generalized Frege's compositionality principle is formulated, and we also introduce the category Context(X) of étale bundles of contextual meanings in termes of which a generalized Frege's contextuality principle is formulated. Established by the section-functor and the germ-functor, an equivalence of categories Schl(X)?Context(X), called Frege duality, gives rise to a functional representation for fragmentary meanings that allows one to describe the process of text understanding. We consider as linguistic universals the connectidness and the Kolmogoroff’s T0–separability of the phonocentric topology underlying to a text. In the logocentric paradigm of interpretation, our approach describes a natural language in a category named textual site which is a category endowed with a Grothendieck topology by means of covering families of fragmentary explications; a generalized Frege's compositionality principle states that any presheaf of fragmentary explications on a textual site is really a sheaf.

La thèse examine la relation entre geste et écriture dans les 32 Pièces pour piano (1940) de Skalkottas. Après identification des nombreuses influences perceptibles dans le corpus, une étude approfondie de la notation pianistique particulière du compositeur est proposée. Pourquoi les 32 Pièces pour piano sont-elles peu jouées ? La réponse argumentée repose sur la difficulté technique. L’interrogation sur le geste pianistique approprié est ainsi rendue légitime. Le terme procédé compositionnel est proposé pour rendre compte d’habitudes d’écriture dont le compositeur hérite des grands maitres du passé ; ces procédés ne sont pas en eux-mêmes notables, mais le deviennent quand ils sont combinés au geste pianistique pour l’articulation formelle des pièces. La problématique que nous proposons d’élucider, à travers l’analyse combinée des gestes pianistiques et des procédés compositionnels, est sous-tendue par l'évolution de la relation entre l’aspect physique et l’écriture, l'une ou l'autre dimension prenant le dessus. Les symboles proposés par Sandor, dans sa méthode, sont récupérés et complétés par d’autres symboles, afin de permettre une analyse gestuelle des 32 Pièces. Ils sont ensuite combinés à des symboles proposés par l’auteure, rendant compte des procédés compositionnels relevés. L’analyse d’un choix de pièces culmine à la proposition du terme distillation, mettant l’accent sur l’assimilation organique des influences de la part de Skalkottas. La question d'une éventuelle organisation cyclique de l’œuvre est aussi traitée. Le Vol. II propose une édition critique complète des 32 Pièces, fondée sur la comparaison détaillée des deux manuscrits existants. Des entretiens avec des pianistes ayant interprété les pièces complètent le travail. / The thesis examines the relationship between gesture and composition in the 32 Piano Pièces (1940) by Skalkottas. Following the identification of the various influences perceptible in the corpus, a thorough study of the pianistic notation of the composer is undertaken. Why are the 32 Piano Pièces not often performed? The answer is their technical difficulty. The legitimacy of an in-depth study of the appropriate pianistic gesture for their interpretation is thus confirmed. The term compositional procedure is proposed to describe composing techniques in Skalkottas’s work, which can be traced back to great masters of the past. These are not noteworthy per se, but become so when they are combined with pianistic gestures for the formal articulation of the pieces. The research question we propose to examine, through the combined analysis of pianistic gestures and compositional procedures, is supported by the evolution of the relationship between the two dimensions, the physical and the written aspect. The symbols in Sandor’s pianistic method are retrieved, completed by other symbols and applied in a gestural analysis of the 32 Piano Pieces. They are then combined with new symbols proposed by the author, designating compositional procedures. A selection of pieces is analyzed, culminating in the suggestion of the term distillation, to highlight how Skalkottas organically assimilated various influences. The question of whether the corpus constitutes a pianistic cycle or not, is also examined. Vol. II contains a complete critical edition of the 32 Piano Pieces, based on the detailed comparison of the two existing autograph manuscripts. The thesis is accompanied by interviews with pianists who have performed the pieces.

L'objectif de cette thèse est de fournir des modèles et des outils de simulation pour décrire les échanges de masse entre les circuits de ventilation (galeries) et les milieux poreux des ouvrages souterrains d'enfouissement des déchets nucléaires. La modélisation prend en compte le couplage à l'interface poreux-galerie entre les écoulements liquide gaz compositionnels dans le milieu poreux constituant le stockage et les écoulements gazeux compositionnels dans le milieu galerie libre. / The objective of this thesis is to develop models and algorithms to simulate efficiently the mass exchanges occurring at the interface between the nuclear waste deep geological repositories and the ventilation excavated galleries. To model such physical processes, one needs to account in the porous medium for the flow of the liquid and gas phases including the vaporization of the water component in the gas phase and the dissolution of the gaseous components in the liquid phase. In the free flow region, a single phase gas free flow is considered assuming that the liquid phase is instantaneously vaporized at the interface. This gas free flow has to be compositional to account for the change of the relative humidity in the free flow region which has a strong feedback on the liquid flow rate at the interface.