Un environnement formel d'assistance à la modélisation de protocoles

The use of protocol design toolkits based on UML profiles has been hampered by the lack of methodological support. Indeed, those toolkits should include an assistant based on patterns and dedicated to driving the designer step by step through a well defined methodology. Thus, the TURTLE UML profile is extended with widely accepted service and protocol-oriented patterns. These patterns are built upon UML analysis diagrams i.e. use case, interaction overview and sequence diagrams. Moreover, all these patterns and diagrams have a formal semantics. Finally, they have been implemented in TTool, the open-source toolkit supporting TURTLE. The proposed approach remains general and may be applied to various modeling languages and use-case analysis driven processes

Relation Structure moléculaire - Odeur Utilisation des Réseaux de Neurones pour l’estimation de l’Odeur Balsamique

Les molécules odorantes (parfums ou flaveurs) sont utilisées dans une grande variété de produits de consommation, pour inciter les consommateurs à associer les impressions favorables à un produit donné. La Relation Structure moléculaire-Odeur (SOR) est cruciale pour la synthèse de ces molécules mais est très difficile à établir due à la subjectivité de l’odeur. Ce travail présente une approche de prédiction de l'odeur des molécules basée sur les descripteurs moléculaires. Les techniques d’analyse en composantes principales (PCA) et de d’analyse de colinéarité permettent d’identifier les descripteurs les plus pertinents. un réseau de neurones supervisé5 à deux couches (cachée et sortie) est employé pour corréler la structure moléculaire à l’odeur. La base de données décrite précédemment est utilisée pour l’apprentissage. Un ensemble de paramètres est modifié jusqu’à la satisfaction de la meilleure régression. Les résultats obtenus sont encouragent, ainsi les descripteurs moléculaires convenables corrèlent efficacement l'odeur des molécules. C’est la première étape d’un modèle générique en développement pour corréler l'odeur avec les structures moléculaire

Model coupling friction and adhesion for steel-concrete interfaces

The interface behaviour between steel and concrete, during pull-out tests, is numerically investigated using an interface model coupling adhesion and Coulomb friction. This model, first developed by Raous, Cang\'emi, Cocou and Monerie (RCCM), is based on the adhesion intensity variable, introduced by Fr\'emond, which is a surface damage variable. The RCCM model is here completed by taking a variable friction coefficient to simulate the slip weakening of the interface when sliding occurs. Identification of the parameters and validation of the model are carried on pull out experiments conducted at the INSA of Toulouse on steel-concrete interface of reinforced concrete

Génératrice à aimants permanents à flux axial à grand diamètre avec entrefer immergé

Cette étude propose une méthode de modélisation et de conception adaptée aux machines à flux axial et à Double Stator (poly-entrefer) destinée à être intégrée comme génératrice pour une hydrolienne RIM-DRIVEN de grande puissance. La particularité du concept RIM-DRIVEN ou à entrainement circonférentiel réside dans le fait que la machine électrique se situe sur la périphérie de l’hélice. De plus, dans cette étude, l’entrefer de la machine est considéré immergé dans l’eau de mer. Les particularités du système imposent de mettre au point des modèles de dimensionnement adaptés. Ainsi, un modèle électromagnétique analytique 2D inversé permettant le calcul des dimensions géométriques principales est présenté. De même, un modèle thermique spécifique aux machines à entrefer immergé est décrit. Ces modèles permettent d’estimer la masse et le coût des parties actives. Cette machine à flux axial est comparée en termes de coûts matières, masses et comportement thermique avec une machine à flux radial à aimants permanents dimensionnée pour un même cahier des charges. Il en ressort clairement que la machine à flux axial double stator est thermiquement moins contrainte que les machines à simple stator

Engineering hierarchical complex systems: an agent-based approach. The case of flexible manufacturing systems

This article introduces a formal model to specify, model and validate hierarchical complex systems described at different levels of analysis. It relies on concepts that have been developed in the multi-agent-based simulation (MABS) literature: level, influence and reaction. One application of such model is the specification of hierarchical complex systems, in which decisional capacities are dynamically adapted at each level with respect to the emergences/constraints paradigm. In the conclusion, we discuss the main perspective of this work: the definition of a generic meta-model for holonic multi-agent systems (HMAS)

Basic concepts and models in continuum damage mechanics

In this paper, we present some basic elements of macroscopic modelling of damage. We then recall the general approach of continuum damage based on the thermodynamics of irreversible processes and its application to isotropic damage modelling. The study of damage induced anisotropy is treated by considering a second order tensorial damage variable. Finally, we present an original macroscopic approach through which is addressed the question of unilateral effects due to the microcracks closure