Aspectual Templates in UML

UML Templates allow to capture models whose some of their constituents are parameters. This construct is general enough to be used in many ways, such as generic class representation, Design Pattern modeling, view or aspect-oriented modeling (AOM). In this paper, we concentrate on this last usage and the specific characteristics of so called ''Aspectual Templates". Such templates can be applied to enrich existing models as far as they conform to a required model. Template parameters are exploited here to specify some required model, so that they must be constrained to form a full model structure. After recall of UML templates and their metamodel, we present the specificities of their aspectual interpretation, existing works and identify the issues. Then we show how standard UML templates can be enhanced to capture aspectual ones. For this, a specialization of the UML template metamodel is detailed and OCL constraints are formulated due to this specific interpretation and its proper mechanisms. As a result, this metamodel specialization is fully compatible with the existing one so that aspectual templates are full UML standard ones. Finally, we present an algorithm which constructs the result of the application of an Aspectual Template to a model. This algorithm also works for aspectual template to template application. Presented results were implemented and made available in the EMF (Eclipse Modeling Framework) technology

La sensibilité sociale : une recension critique

International audienceSocial sensitivity is defined by the adjustment of an organism to the contingencies of social reinforcement (Forget & Rivard, 2010) and relies on the generalized matching law (Baum, 1974) and the operant function of social attention (Sajwaj & Dillon, 1977) such as verbal and non-verbal approvals, staring, proximity (Forget & Otis, 1984). The current article assesses the actual state of knowledge on social sensitivity that has been carried over the last 30 years of research. Studies were identified through a search in PsycInfo regardless of the year of publication. The keywords were matching law, social sensitivity, social attention. The reference section of each article was further examined to identify additional studies on social sensitivity. Inclusion criteria were the use of single-subject designs with social reinforcers and single-subject statistical analyses relying on the generalized matching law. Other studies were rejected because of statistical issues arising from between-subject analyses (Caron, 2013). The current review identified 15 published articles and 4 theses. Results reveal that social sensitivity has been mostly studied on children with Autism Spectrum Disorder and within classroom. Most studies showed that the generalized matching law describes well participants' response allocation according to social reinforcers. Among the 83 identified participants, 57 % conformed to matching law predictions. Results suggest a continuum of social sensitivity. For instance, typical participants' response allocations were generally closer to matching law predictions whereas participants with Asperger syndrome appeared to be insensitive to social reinforcers. Response allocations of the latter population showed low explained variances and a single participant showed a high sensitivity parameter. Participants with Austism Spectrum Disorders ranged between these two groups and showed higher bias value. This result agrees with the idea that this population presents and prefers stereotypic behavior. However, the review shows that 78 % of the identified studies did not use experimental designs. Most studies relied on descriptive observations, that is unconstrained reinforcers ratios, that may lead to relevant issues (St. Peter al., 2005), incorrect outcomes (Thompson & Iwata, 2007) and does not allow definitive conclusions (Bijou, Peterson & Ault, 1968). Considering only experimental designs, a single study showed results in favor of the generalized matching law, another one shows mixed results and the last two cast doubt on the capacity of the generalized matching law to describe social interaction. These ambiguous conclusions clearly point out that more experimental studies are needed. Despite that the flight from natural fields to the laboratory may represent a challenge, it is the next necessary step forward a robust and relevant theory of social sensitivity.La sensibilité sociale se définit comme l'ajustement d'un organisme aux contingences de renforcement social de son environnement (Forget et Rivard, 2010). Ce concept repose sur la loi généralisée de l'appariement (Baum. 1974) et sur l'hypothèse selon laquelle l'attention sociale présente généralement une fonction de renforcement (Sajwaj & Dillon, 1977). La présente recension des écrits empiriques expose les résultats des trente dernières années de recherche sur cette notion de sensibilité. Parmi 83 sujets provenant de 19 études, la fréquence relative des comportements étudiés correspond majoritairement bien aux prédictions de la loi généralisée de l'appariement. Les résultats suggèrent un continuum de sensibilité d'une personne à l'autre, ou d'un type de personnes à l'autre. Ainsi, le comportement des populations tout-venant correspond davantage aux prédictions du modèle tandis que les personnes ayant un syndrome d'Asperger sembleraient insensibles aux renforçateurs sociaux. Par ailleurs, la sensibilité sociale des personnes ayant un trouble du spectre de l'autisme présente une plus grande variabilité, à mi-chemin entre ces deux premiers groupes. Toutefois, 78 % des études n'impliquent aucun contrôle expérimental du taux de renforcement prodigué par l'adulte. Si la loi généralisée de l'appariement semble avoir une valeur heuristique pour déterminer le degré de sensibilité d'une personne à son environnement social, l'établissement de la validité empirique et expérimentale du concept reste à démontrer

Optimisation structurelle des gridshells

National audienceSee http://hal.archives-ouvertes.fr/docs/00/59/29/58/ANNEX/r_Z5N5TCL9.pd

Mapping two-way continuous elastic grid on an imposed surface: Application to grid shells

p. 989-998This paper presents a method to generate a grid shell on an imposed shape and imposed boundary conditions. The proposed method is done by mapping a two-way continuous elastic grid on an imposed surface using an explicit dynamic finite element method. An initially flat two-way grid, with free boundary conditions, is set up over a formwork like surface that has the desired shape. Then, the grid is dropped on the fixed surface. Moreover, different strategies of formfinding are presented and a comparison with other methods is done. Finally, many examples are shown to illustrate the proposed method.Bouhaya, L.; Baverel, O.; Caron, J. (2010). Mapping two-way continuous elastic grid on an imposed surface: Application to grid shells. Editorial Universitat Politècnica de València. http://hdl.handle.net/10251/696

Optimization of gridshell bar orientation using a simplified genetic approach

Gridshells are defined as structures that have the shape and rigidity of a double curvature shell but consist of a grid instead of a continuous surface. This study concerns those obtained by elastic deformation of an initially flat two-way grid. This paper presents a novel approach to generate gridshells on an imposed shape under imposed boundary conditions. A numerical tool based on a geometrical method, the compass method, is developed. It is coupled with genetic algorithms to optimize the orientation of gridshell bars in order to minimize the stresses and therefore to avoid bar breakage during the construction phase. Examples of application are shown

Synthèse et modèle cartographique 3D des formations quaternaires pour les bassins-versants des rivières Chaudière et Saint-François : géochronologie, stratigraphie et paléogéographie wisconsinienne du sud du Québec

Le projet de recherche doctorale porte sur la cartographie, modélisation tridimensionnelle, stratigraphie et lithostratigraphie des sédiments de surface des bassins versants des rivières Saint-François et Chaudière. Ce projet s'inscrivait dans une série de projets initiés par le Ministère du Développement Durable, des Parcs et de l'Environnement du Québec dont l'objectif ultime était de mieux connaître et protéger les eaux souterraines des bassins versants des rivières Chaudière et Saint-François, de la frontière internationale à sa confluence avec le fleuve Saint-Laurent, dans la région de la capitale nationale. Ainsi, la présente recherche constitue un projet d'étude sur la dynamique quaternaire du Sud-Est du Québec qui permet de comprendre la nature et la distribution des sédiments et des séquences quaternaires. Dans ce contexte, un des intrants majeurs dans la détermination des propriétés géologiques régionales est la compréhension de la distribution et de l'architecture tridimensionnelle des sédiments de surface. La compilation et la cartographie des formations superficielles de ces deux bassins versants ont été des objectifs incontournables et requis pour l'analyse tridimensionnelle. Dans les bassins considérés, des dizaines de coupes naturelles ont été analysées et compilées ainsi qu'un grand nombre d'exploitations anthropiques dont les informations s'ajoutent à des milliers de forages de sources diverses. Leur intégration à la stratigraphie existante a permis l'élaboration des cartes d'épaisseurs de dépôts meubles et de la construction d'un modèle tridimensionnel des unités quaternaires pour l'ensemble des deux bassins versants. Le développement du cadre chronologique vient compléter la thèse. Un outil de corrélation stratigraphique basé sur l'âge des dépôts est proposé dans cette étude. Ce programme a pour but de corréler et de distinguer les différentes unités glaciolacustres des Appalaches. Cette nouvelle approche est fondée sur la valeur des rapports Ln/Tn, qui sont l'expression de la luminescence naturelle sur la luminescence induite après irradiation en laboratoire. Malgré une remise à zéro partielle des sédiments, les âges sur les varves de la fin du Sangamonien (85 ± 2 ka), du Wisconsinien moyen (56 ± 6 ka) et du Wisconsinien supérieur (< 24 ± 2 ka) ont permis de situer les séquences glaciolacustres à l'intérieur des cycles connus (stades, interstades et interglaciaires) qui sont eux-mêmes basés sur des axiomes (stratigraphie isotopique océanique et stratigraphie continentale). Un autre objectif principal de cette étude visait à définir les principaux événements de la paléogéographie de cette région. La complexité de la séquence stratigraphique reflète des conditions uniques d'englaciation et de déglaciation dans un secteur caractérisé par des retraits glaciaires à contre-pente, permettant le développement de lacs proglaciaires et la préservation d'un volume de sédiments quaternaires antérieurs à la dernière glaciation. Ces sédiments sont essentiellement associés à l'épisode glaciolacustre de la Formation de Gayhurst. Un travail de synthèse sur l'extension et la caractérisation des sédiments associés à ce lac proglaciaire (Wisconsinien moyen) est proposé afin d'évaluer son extension dans les deux bassins versants. L'âge de 45 ± 5 ka obtenus sur un faciès deltaïque, dans le cadre du programme de datation, indique que cette séquence s'est déposée lors du Wisconsinien Moyen.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Cartographie, stratigraphique quaternaire des Appalaches, Basses-Terres du Saint-Laurent, Modélisation géologique 3D, Inlandsis laurentidien, séquences et faciès glaciolacustres, géochronologie

Le quaternaire de la région de Mont-Laurier (Québec) : cartographie, sédimentologie et paléogéographie

En 2004, un projet de caractérisation des dépôts meubles (cartographie, sédimentologie et lithostratigraphie) a été amorcé dans la région de Mont-Laurier. L'objectif principal de cette étude réalisée dans le cadre d'une maîtrise visait à définir l'histoire glaciaire et post-glaciaire de cette région. L'orientation des marques d'érosion glaciaire durant la dernière glaciation démontre un écoulement principalement vers le SSE. Cette phase d'écoulement a été confirmée par les formes fuselées et par la thématique de dispersion glaciaire réalisée à partir des affleurements de marbre localisés à l'est de la ville de Mont-Laurier. Les dépôts quaternaires de la région de Mont-Laurier-Grand-Remous reposent en discordance angulaire sur le socle du Bouclier canadien. Le till sableux typique des Laurentides est surmonté, en plusieurs endroits, de sables et graviers fluvioglaciaires. L'une des problématiques principales de ce projet de recherche consistait à analyser les vestiges possiblement associés à l'invasion de la Mer de Champlain ou à la présence de lacs proglaciaires dans les vallées de la rivière Gatineau et du Lièvre. La photo-interprétation du territoire, les levés des coupes, les analyses sédimentologiques et l'inventaire des indicateurs biologiques effectué par Dadswell (1974) indiquent que la vallée de la rivière Gatineau et la vallée de la rivière du Lièvre ont été occupées par deux plans d'eau différents. Dans la vallée de la rivière du Lièvre, on a observé des séquences de rythmites qui présentent des caractéristiques sédimentologiques de varves; elles témoignent de la présence d'un paléolac. En tenant compte de l'hypothèse où chacun des couplets de rythmites représente une année de sédimentation, on estime que cet environnement glaciolacustre a pu exister durant environ 350 ans. Ces varves ont une épaisseur moyenne de 1,5 cm. La diminution de l'épaisseur des varves vers le haut des séquences est interprétée comme un indice du recul de la marge glaciaire. Ces varves sont constituées d'une importante quantité d'argile (35%) et ce principalement dans les lits d'hiver. Elles s'apparentent ainsi à certaines varves des lacs Barlow et Ojibway, décrites par Veillette (1996), dans la région de l' Abitibi-Témiscamingue. Les littoraux associés à ce plan d'eau indiquent que l'altitude maximale atteinte a été d'environ 255 m. La vallée de la rivière Gatineau présente un modèle géomorphologique et sédimentologique différent. Les levés de coupes stratigraphiques n'ont pas permis d'identifier des séquences de varves. L'altitude maximale des dépôts littoraux est également inférieure à celle observée dans la vallée de la rivière du Lièvre, soit 235 m. Dans le cadre de la reconstitution de l'étendue des mers et des lacs post-glaciaires, Dadswell (1974) a utilisé la répartition spatiale de bioindicateurs afin de caractériser ces paléenvironnements. Le Mysis Relicta représente le bioindicateur le plus répandu et le plus fréquemment utilisé. Ses résultats démontrent la présence du Mysis Relicta dans la majorité des lacs du secteur de la rivière Gatineau; ce qui semble indiquer que ce bassin était relié avec celui de la Mer de Champlain. À l'opposé, dans la vallée de la rivière du Lièvre, aucun lac échantillonné ne contenait ce crustacé. Compte tenu des nombreux autres indices tel que l'altitude plus élevé de ce plan d'eau, la présence de sédiments rythmés qui s'apparentent à des varves et d'un mécanisme de retenu des eaux (seuil topographique) situé à l'aval glaciaire, il semble probable qu'un lac proglaciaire ait inondé la vallée de la rivière du Lièvre alors que les eaux marines envahissaient celle de la rivière Gatineau. Il serait donc question de deux bassins indépendants: l'un paramarin à l'ouest et glaciolacustre à l'est. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Cartographie, Paléogéographie, Stratigraphie quaternaire, Sédimentologie, Mer de Champlain, Lac proglaciaire

Template Based MDE

National audienceIn MDE, design of systems can be improved and accelerated thanks to reusable models which are made available in model repositories or libraries. This paper focuses on the construction and exploitation of " o↵-the-shelf " model template bases. Model templates are parameterized models which are adaptable to various application contexts. Due to their parameterization, model templates have their own modeling space. In this paper, we present the main construction and composition operations that underlie this space while presenting its dedicated engineering processes and actors. A software environment is shown to illustrate template based engineering in Eclipse