Metamodel-based model conformance and multiview consistency checking

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

The genetic architecture underlying the evolution of a rare piscivorous life history form in brown trout after secondary contact and strong introgression

Identifying the genetic basis underlying phenotypic divergence and reproductive isolation is a longstanding problem in evolutionary biology. Genetic signals of adaptation and reproductive isolation are often confounded by a wide range of factors, such as variation in demographic history or genomic features. Brown trout ( ) in the Loch Maree catchment, Scotland, exhibit reproductively isolated divergent life history morphs, including a rare piscivorous (ferox) life history form displaying larger body size, greater longevity and delayed maturation compared to sympatric benthivorous brown trout. Using a dataset of 16,066 SNPs, we analyzed the evolutionary history and genetic architecture underlying this divergence. We found that ferox trout and benthivorous brown trout most likely evolved after recent secondary contact of two distinct glacial lineages, and identified 33 genomic outlier windows across the genome, of which several have most likely formed through selection. We further identified twelve candidate genes and biological pathways related to growth, development and immune response potentially underpinning the observed phenotypic differences. The identification of clear genomic signals divergent between life history phenotypes and potentially linked to reproductive isolation, through size assortative mating, as well as the identification of the underlying demographic history, highlights the power of genomic studies of young species pairs for understanding the factors shaping genetic differentiation

Multiple-Purpose Subsonic Naval Aircraft (MPSNA): Multiple Application Propfan Study (MAPS)

Study requirements, assumptions and guidelines were identified regarding carrier suitability, aircraft missions, technology availability, and propulsion considerations. Conceptual designs were executed for two missions, a full multimission aircraft and a minimum mission aircraft using three different propulsion systems, the UnDucted Fan (UDF), the Propfan and an advanced Turbofan. Detailed aircraft optimization was completed on those configurations yielding gross weight performance and carrier spot factors. Propfan STOVL conceptual designs were exercised also to show the effects of STOVL on gross weight, spot factor and cost. An advanced technology research plan was generated to identify additional investigation opportunities from an airframe contractors standpoint. Life cycle cost analysis was accomplished yielding a comparison of the UDF and propfan configurations against each other as well as against a turbofan with equivalent state of the art turbo-machinery

Compositional Performance Modelling with the TIPPtool

Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations

Physiological health parameters among college students to promote chronic disease prevention and health promotion

This study aimed to provide physiologic health risk parameters by gender and age among college students enrolled in a U.S. Midwestern University to promote chronic disease prevention and ameliorate health. A total of 2615 college students between 18 and 25 years old were recruited annually using a series of cross-sectional designs during the spring semester over an 8-year period. Physiologic parameters measured included body mass index (BMI), percentage body fat (%BF), blood serum cholesterol (BSC), and systolic (SBP) and diastolic (DBP) blood pressure. These measures were compared to data from NHANES to identify differences in physiologic parameters among 18-25 year olds in the general versus college-enrolled population. A quantitative instrument assessed health behaviors related to physical activity, diet, and licit drug use. Results suggest that average physiologic parameters from18 to 25 year olds enrolled in college were significantly different from parameters of 18-25 year olds in the general population. Generally, men reported higher percentiles for BMI, SBP, and DBP than women, but lower %BF and BSC percentiles than women at each age. SBP and DBP significantly increased with age and alcohol use. Students in the lowest (5th) and highest percentiles (95th and 75th), for most age groups, demonstrated DBP, BMI, and %BF levels potentially problematic for health and future development of chronic disease based on percentiles generated for their peer group. Newly identified physiologic parameters may be useful to practitioners serving college students 18–25 years old from similar institutions in determining whether behavior change or treatment interventions are appropriate

Social-Emotional Learning in Pre-Primary and Primary Education

Students entering the school setting have a need for explicit instruction to develop their social and emotional competencies. The aim of this research was to study the effects of the Mind+Heart Social Emotional Curriculum as an intervention for pre-primary and primary students. This study consisted of preschool children (age 4) in a daycare setting and kindergarten and second grade students in a public school setting. Over an eight week period various data was collected: pre- and post-conversational dialogues, student journals, student self-assessments, and teacher observation logs of student behavior. The data presented a correlation between implementation and a reduction of negative student behaviors. Students exhibited an increase of understanding in the areas of emotions, self-regulation, and conflict resolution. Due to the observed positive impact of the Mind+Heart Social Emotional Curriculum, further research is recommended for a long-term implementation of this intervention

Explaining holistic image regressors and classifiers in urban analytics with plausible counterfactuals

We propose a new form of plausible counterfactual explanation designed to explain the behaviour of computer vision systems used in urban analytics that make predictions based on properties across the entire image, rather than specific regions of it. We illustrate the merits of our approach by explaining computer vision models used to analyse street imagery, which are now widely used in GeoAI and urban analytics. Such explanations are important in urban analytics as researchers and practioners are increasingly reliant on it for decision making. Finally, we perform a user study that demonstrate our approach can be used by non-expert users, who might not be machine learning experts, to be more confident and to better understand the behaviour of image-based classifiers/regressors for street view analysis. Furthermore, the method can potentially be used as an engagement tool to visualise how public spaces can plausibly look like. The limited realism of the counterfactuals is a concern which we hope to improve in the future

Propagators in Coulomb gauge from SU(2) lattice gauge theory

A thorough study of 4-dimensional SU(2) Yang-Mills theory in Coulomb gauge is performed using large scale lattice simulations. The (equal-time) transverse gluon propagator, the ghost form factor d(p) and the Coulomb potential V_{coul} (p) ~ d^2(p) f(p)/p^2 are calculated. For large momenta p, the gluon propagator decreases like 1/p^{1+\eta} with \eta =0.5(1). At low momentum, the propagator is weakly momentum dependent. The small momentum behavior of the Coulomb potential is consistent with linear confinement. We find that the inequality \sigma_{coul} \ge \sigma comes close to be saturated. Finally, we provide evidence that the ghost form factor d(p) and f(p) acquire IR singularities, i.e., d(p) \propto 1/\sqrt{p} and f(p) \propto 1/p, respectively. It turns out that the combination g_0^2 d_0(p) of the bare gauge coupling g_0 and the bare ghost form factor d_0(p) is finite and therefore renormalization group invariant.Comment: 10 pages, 7 figure

Time-optimal synthesis of unitary transformations in coupled fast and slow qubit system

In this paper, we study time-optimal control problems related to system of two coupled qubits where the time scales involved in performing unitary transformations on each qubit are significantly different. In particular, we address the case where unitary transformations produced by evolutions of the coupling take much longer time as compared to the time required to produce unitary transformations on the first qubit but much shorter time as compared to the time to produce unitary transformations on the second qubit. We present a canonical decomposition of SU(4) in terms of the subgroup SU(2)xSU(2)xU(1), which is natural in understanding the time-optimal control problem of such a coupled qubit system with significantly different time scales. A typical setting involves dynamics of a coupled electron-nuclear spin system in pulsed electron paramagnetic resonance experiments at high fields. Using the proposed canonical decomposition, we give time-optimal control algorithms to synthesize various unitary transformations of interest in coherent spectroscopy and quantum information processing.Comment: 8 pages, 3 figure