163 research outputs found

    Différenciation toposéquentielle et transformations morphologiques d'un sol brun de Bretagne

    Get PDF
    Cet article présente l'étude d'une toposéquence, située dans la basse forêt de Paimpont (Rennes), qui associe un domaine podzolique à l'amont, un domaine médian à sol brun lessivé et un domaine aval avec un sol à caractères planosoliques. Les observations macromorphologiques et micromorphologiques mettent en évidence une progression latérale du podzol et du sol planosolique aux dépens du sol brun. Il s'agirait d'un système de transformation avec deux systèmes transformants : l'un centrifuge (podzol), l'autre centripète (planosol

    Les systèmes transformants d'une couverture ferrallitique de Guyane française : analyse structurale d'une formation supergène et mode de représentation

    Get PDF
    Les auteurs présentent une étude détaillée d'un interfluve de Guyane française qui apporte une contribution à la connaissance des systèmes transformants dans les formations supergènes des régions tropicales humides

    Does Code Generation Promote or Prevent Optimizations?

    Get PDF
    International audienceThis paper addresses the problem of code optimization for Real-Time and Embedded Systems (RTES). Such systems are designed using Model-Based Development (MBD)approach that consists of performing three major steps: building models, generating code from them and compiling the generated code. Actually, during the code generation, an important part of the modeling language semantics which could be useful for optimization is lost, thus, making impossible some optimizations achievement. This paper shows how adding a new level of optimization at the model level results in a more compact code. It also discusses the impact of the code generation on optimization: whether this step promotes or prevents optimizations. We conclude on a proposal of a new MBD approach containing only steps that advance optimization: modeling and compiling steps

    Toward optimized code generation through model-based optimization

    Get PDF
    International audienceModel-Based Development (MBD) provides an additional level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic treatments of these models with dedicated tools like synthesis of system's application by automatic code generation. Real-Time and Embedded Systems (RTES) are often constrained by their environment and/or the resources they own in terms of memory, energy consumption with respect to performance requirements. Hence, an important problem to deal with in RTES development is linked to the optimization of their software part. Although automatic code generation and the use of optimizing compilers bring some answers to application optimization issue, we will show in this paper that optimization results may be enhanced by adding a new level of optimizations in the modeling process. Our arguments are illustrated with examples of the Unified Modeling Language (UML) state machines diagrams which are widely used for control aspect modeling of RTES. The well-known Gnu Compiler Collection (GCC) is used for this study. The paper concludes on a proposal of two step optimization approach that allows reusing as they are, existing compiler optimizations

    Optimisation simultanée des processus de production et des stratégies de maintenance

    Get PDF
    Dans ce projet, le problème de la planification de la production et de la maintenance d'un système manufacturier affecté par des pannes et des réparations aléatoires, sera considéré. L'analyse du système manufacturier, sera faite en intégrant des notions supplémentaires aux modèles existants. Également, l'ajout de fluctuation aléatoire à différents paramètres permettra d'analyser les impacts des hypothèses simplificatrices, présentes dans les modèles analytiques de la littérature. Notre objectif est de déterminer des politiques conjointes de production et de maintenance plus flexible et de facilité leurs adaptions dans certain contexte industriel bien précis. Afin de restreindre le nombre d'hypothèses simplificatrices, nécessaire pour la résolution analytique, une approche expérimentale basée sur la combinaison des outils de simulation et des techniques de modélisation et d'optimisation statistiques sera privilégiée. Cette méthode regroupe les plans d'expérience, la méthodologie des surfaces de réponse et l'analyse de la variance
    corecore