Property Satisfiability Analysis for Product Lines of Modelling Languages

© 2022 IEEE.  Personal use of this material is permitted.  Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.Software engineering uses models throughout most phases of the development process. Models are defined using modelling languages. To make these languages applicable to a wider set of scenarios and customizable to specific needs, researchers have proposed using product lines to specify modelling language variants. However, there is currently a lack of efficient techniques for ensuring correctness with respect to properties of the models accepted by a set of language variants. This may prevent detecting problematic combinations of language variants that produce undesired effects at the model level. To attack this problem, we first present a classification of instantiability properties for language product lines. Then, we propose a novel approach to lifting the satisfiability checking of model properties of individual language variants, to the product line level. Finally, we report on an implementation of our proposal in the Merlin tool, and demonstrate the efficiency gains of our lifted analysis method compared to an enumerative analysis of each individual language variantThis work has been funded by the Spanish Ministry of Science (RTI2018-095255-B-I00), the R&D programme of Madrid (P2018/TCS-4314), and by NSERC. We thank the anonymous referees for their useful comment

Examining the Effects of Deer Antler Velvet Supplementation on Muscular Strength, Performance, and Markers of Delayed Onset Muscle Soreness.

Purpose: To examine the effects of deer antler velvet on muscular strength, performance, and markers of delayed onset muscle soreness following a 10-week resistance training period. Participants: 16 resistance-trained males (18-35) volunteered. Measures: DEXA, 1-RM, a power test, and a 70% performance trial were measured. Creatine kinase and self-reported soreness levels were measured following an eccentric trial. Results: No pre-experimental significant differences existed between the groups for any of the variables measured. There were no significant differences between the groups regarding body composition, strength, muscular performance, or improvements in creatine kinase and soreness levels from pre to post-intervention. Both groups demonstrated significant (p\u3c0.05) increases in creatine kinase and soreness levels immediately post-exercise and 48 hours following the eccentric trial at the 0 and 10-week measurement periods. Conclusions: Deer antler velvet does not improve muscle size, strength, or performance. Nor does it reduce markers of DOMS following a 10-week supplementation period

Economic Consequences of Mandated Grading and Food Safety Assurance: Ex Ante Analysis of the Federal Marketing Order for California Pistachios

Crop Production/Industries, Food Consumption/Nutrition/Food Safety, Marketing,

Information Seeking in Rats on the Radial Maze

Metacognition is awareness of what one does and does not know. Students given a choice between studying material they have learned well and material they have learned poorly prefer to study the less mastered material (Metcalfe, 2009). Recent studies suggest that primates also know about the state of their own knowledge and will seek unknown information to complete a task (Call & Carpenter, 2001; Hampton et al., 2004). Two experimental paradigms can be used to test for the presence of metacognition within a species: uncertainty tasks and information seeking tasks. Uncertainty tasks ask animals to judge their confidence in the information that they possess. Information-seeking studies ask animals to recognize that they have insufficient information to complete a task and then study their response to such a situation. To form a strong argument for the presence of metacognition within a species, both metacognition tasks should be investigated. I used a radial arm maze to look for information-seeking behaviour in rats. Each maze arm had a bulb mounted on it to serve as a signal light. Rats were trained to go to whichever arm was lit on a trial for reward. They then were trained to press a bar in the maze hub that led to immediate food reward and turned on a light in one randomly chosen arm of the maze. Once the rats learned to press the bar, the reward for bar pressing was discontinued. I report on the rats’ readiness to press the bar for information about the location of reward under conditions that varied the presence or absence information and amount of information to be gained

Crowd Disasters as Systemic Failures: Analysis of the Love Parade Disaster

Each year, crowd disasters happen in different areas of the world. How and why do such disasters happen? Are the fatalities caused by relentless behavior of people or a psychological state of panic that makes the crowd 'go mad'? Or are they a tragic consequence of a breakdown of coordination? These and other questions are addressed, based on a qualitative analysis of publicly available videos and materials, which document the planning and organization of the Love Parade in Duisburg, Germany, and the crowd disaster on July 24, 2010. Our analysis reveals a number of misunderstandings that have widely spread. We also provide a new perspective on concepts such as 'intentional pushing', 'mass panic', 'stampede', and 'crowd crushs'. The focus of our analysis is on the contributing causal factors and their mutual interdependencies, not on legal issues or the judgment of personal or institutional responsibilities. Video recordings show that, in Duisburg, people stumbled and piled up due to a 'domino effect', resulting from a phenomenon called 'crowd turbulence' or 'crowd quake'. Crowd quakes are a typical reason for crowd disasters, to be distinguished from crowd disasters resulting from 'panic stampedes' or 'crowd crushes'. In Duisburg, crowd turbulence was the consequence of amplifying feedback and cascading effects, which are typical for systemic instabilities. Accordingly, things can go terribly wrong in spite of no bad intentions from anyone. Comparing the incident in Duisburg with others, we give recommendations to help prevent future crowd disasters. In particular, we introduce a new scale to assess the criticality of conditions in the crowd. This may allow preventative measures to be taken earlier on. Furthermore, we discuss the merits and limitations of citizen science for public investigation, considering that today, almost every event is recorded and reflected in the World Wide Web.Comment: For a collection of links to complementary video materials see http://loveparadevideos.heroku.com/ For related work see http://www.soms.ethz.c

Superconducting bearings for application in cryogenic experiments in space

Linear superconducting magnetic bearings suitable for use in a proposed orbital equivalence principle experiment and for general application in space were developed and tested. Current flows in opposite directions in adjacent superconducting wires arranged parallel to the axis of a cylinder. This configuration provides maximum stiffness radially while allowing the test mass to move freely along the cylinder axis. In a space application, the wires are extended to cover the entire perimeter of the cylinder: for the earth-based tests it was desirable to use only the bottom half. Control of the axial position of the test mass is by small control coils which may be positioned inside or outside the main bearing. The design is suitable for application to other geometries where maximum stiffness is desired. A working model scaled to operate in a 1-g environment was perfected approximate solutions for the bearings were developed. A superconducting transformer method of charging the magnets for the bearing, and a position detector based on a SQUID magnetometer and associated superconducting circuit were also investigated

The Effects of Blood Glucose Levels on Cognitive Performance: A Review of the Literature

The purpose of this review paper is to discuss the research literature on the effects of blood glucose levels on executive and non-executive functions in humans. The review begins with a brief description of blood glucose, how it has been studied, previous syntheses of prior studies, and basic results regarding the role of blood glucose on cognitive functioning. The following sections describe work that investigated the effect of blood glucose on both non-executive and executive functions (e.g., sensory processing, psychomotor functioning, attention, vigilance, memory, language and communication, judgement and decision-making, and complex task performance). Within each section, summaries of the findings and challenges to the literature are included. Measurement conversions of blood glucose levels, blood glucose values, and associated symptoms are depicted. References to the types of tests used to investigate blood glucose and cognitive performance are provided. For more detailed descriptions of references within (and in addition to) this paper, an annotated bibliography is also provided. Several moderator variables including individual differences and contextual variables related to the effects of blood glucose levels on performance (e.g., age, gender, time of day, familiarity with the task and symptom awareness, expectancy effects, dose dependent effects, time dependent effects, task specific effects, rising and falling blood glucose levels, and speed and/or accuracy trade-offs) are addressed later in the paper. Some suggestions for future experimental methodologies are also made