Realizing live sequence charts in SystemVerilog.

The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specified as scenarios of behavior using sequence charts for different use cases. This specification must be precise, intuitive and expressive enough to capture different aspects of embedded control systems. As a rather rich and useful extension to the classical message sequence charts, live sequence charts (LSC), which provide a rich collection of constructs for specifying both possible and mandatory behaviors, are very suitable for designing an embedded control system. However, it is not a trivial task to realize a high-level design model in executable program codes effectively and correctly. This paper tackles the challenging task by providing a mapping algorithm to automatically synthesize SystemVerilog programs from given LSC specifications

The influence of consumption context on indulgent versus healthy yoghurts: exploring the relationship between the associated emotions and the actual choices

This work examines the associated emotions of consumers transmitted from extrinsic attributes (fat-related nutrition claims (full-fat, low-fat, and fat-free) and ingredient features (plain, berries, and double chocolate chunk)) labelled on yoghurt packages. It differentiates by consumption context (health versus indulgent) at the time of the survey and studies the relationship between the associated emotions (e.g., positive versus negative) attached to extrinsic attributes and the actual choices. The research was conducted in the Netherlands in 2019, with 209 regular consumers of yoghurt. Participants were divided into two treatments according to each consumption context and a control group (no context); they were instructed to imagine purchasing yoghurt to consume it as a healthy snack or as a dessert or received no instructions. After choosing their preferred option from a discrete choice experiment, participants indicated how the choice made them feel from a list of emotions. The results revealed significant differences between positive emotional profiles for choosing healthy (low-fat) yoghurts with berries and negative profiles for choosing less healthy alternatives (full-fat) with double chocolate chunk sensory features. The findings from a random parameter logit model showed that participants who continuously chose the same type of yoghurt in all choice tasks selected mostly positive rather than negative emotions. The overall findings suggest that the associated emotions affect yoghurt choices. However, the emotions were mainly affected by the consumption context. © 2022 by the authors. Licensee MDPI, Basel, Switzerland

Validation and sensitivity analysis of an in-flow water condensation model for 3D-CFD simulations of humid air streams mixing

[EN] The mixing of gaseous streams at different humidity and temperature conditions may generate bulk con- densation, which is a particular thermodynamic process that usually implies a great computational effort. A model that provides in-flow condensation predictions without heavily impacting on the simulation time becomes a potential tool for studying situations where the presence of water droplets is a problem. For instance, in a Long- Route Exhaust Gas Recirculation (LR-EGR) system, intake fresh air is mixed with humid and hot exhaust gases, generating water droplets that may impact on the turbo-compressor impeller and produce harmful erosion. Serrano et al. [1] developed a condensation submodel for such purpose. In this work, the 3D CFD methodology is analyzed by means of sensitivity studies on the numerical setup and intake throttle valve angle. Validation of the model is addressed by means of measurements in a fully instrumented continuous flow turbocharger test bench, obtaining quantitative and qualitative agreement. Particularly, a consistent correlation was found between predicted condensation rate and the impeller damage for seven LR-EGR configurations. Moreover, the T-joint geometry is noticed to have a great impact on condensation generation, thus showing the potential of such a 3D model for improving the LR-EGR design.Daniel Tari is partially supported through contract FPI-S2-2015-1095 of Programa de Apoyo para la Investigacion y Desarrollo (PAID) of Universitat Politecnica de Valencia.Galindo, J.; Piqueras, P.; Navarro, R.; Tarí, D.; Meano, CM. (2019). Validation and sensitivity analysis of an in-flow water condensation model for 3D-CFD simulations of humid air streams mixing. International Journal of Thermal Sciences. 136:410-419. https://doi.org/10.1016/j.ijthermalsci.2018.10.043S41041913

On the true optical properties of zinc nitride

Copyright (2011) American Institute of Physics. The following article appeared in Applied Physics Letters 99.23 (2011): 232112-3 and may be found at http://apl.aip.org

Large Deformation Effects in the N = Z 44Ti Compound Nucleus

The N = Z 44Ti* nucleus has been populated in Fusion Evaporation process at very high excitation energies and angular momenta using two entrance channels with different mass-asymmetry. The deformation effects in the rapidly rotating nuclei have been investigated through the energy distribution of the alpha-particle combined to statistical-model calculations. In the case of low-multiplicity events, the ratio between first particle emitted has been measured and shows significant disagreement with the predictions of the statistical-model. This may explain The large discrepancies observed in proton energy spectra measured in previous experiments performed in the same mass region.Comment: Proceeding of the 10th International Conference on Nuclear Reaction Mechanisms, Varenna Italy, June 9-13 2003. 10 pages, 6 figures, 1 tabl

Three-body correlations in Borromean halo nuclei

Three-body correlations in the dissociation of two-neutron halo nuclei are explored using a technique based on intensity interferometry and Dalitz plots. This provides for the combined treatment of both the n-n and core-n interactions in the exit channel. As an example, the breakup of 14Be into 12Be+n+n by Pb and C targets has been analysed and the halo n-n separation extracted. A finite delay between the emission of the neutrons in the reaction on the C target was observed and is attributed to 13Be resonances populated in sequential breakup.Comment: 5 pages, 4 figures, submitted to PR

Extreme Starbursts in the Local Universe

The "Extreme starbursts in the local universe" workshop was held at the Insituto de Astrofisica de Andalucia in Granada, Spain on 21-25 June 2010. Bearing in mind the advent of a new generation of facilities such as JWST, Herschel, ALMA, eVLA and eMerlin, the aim of the workshop was to bring together observers and theorists to review the latest results. The purpose of the workshop was to address the following issues: what are the main modes of triggering extreme starbursts in the local Universe? How efficiently are stars formed in extreme starbursts? What are the star formation histories of local starburst galaxies? How well do the theoretical simulations model the observations? What can we learn about starbursts in the distant Universe through studies of their local counterparts? How important is the role of extreme starbursts in the hierarchical assembly of galaxies? How are extreme starbursts related to the triggering of AGN in the nuclei of galaxies? Overall, 41 talks and 4 posters with their corresponding 10 minutes short talks were presented during the workshop. In addition, the workshop was designed with emphasis on discussions, and therefore, there were 6 discussion sessions of up to one hour during the workshop. Here is presented a summary of the purposes of the workshop as well as a compilation of the abstracts corresponding to each of the presentations. The summary and conclusions of the workshop along with a description of the future prospects by Sylvain Veilleux can be found in the last section of this document. A photo of the assistants is included.Comment: worksho

Scientific and local ecological knowledge, shaping perceptions towards protected areas and related ecosystem services

Context Most protected areas are managed based on objectives related to scientific ecological knowledge of species and ecosystems. However, a core principle of sustainability science is that understanding and including local ecological knowledge, perceptions of ecosystem service provision and landscape vulnerability will improve sustainability and resilience of social-ecological systems. Here, we take up these assumptions in the context of protected areas to provide insight on the effectiveness of nature protection goals, particularly in highly human-influenced landscapes. Objectives We examined how residents' ecological knowledge systems, comprised of both local and scientific, mediated the relationship between their characteristics and a set of variables that represented perceptions of ecosystem services, landscape change, human-nature relationships, and impacts. Methods We administered a face-to-face survey to local residents in the Sierra de Guadarrama protected areas, Spain. We used bi- and multi-variate analysis, including partial least squares path modeling to test our hypotheses. Results Ecological knowledge systems were highly correlated and were instrumental in predicting perceptions of water-related ecosystem services, landscape change, increasing outdoors activities, and human-nature relationships. Engagement with nature, socio-demographics, trip characteristics, and a rural-urban gradient explained a high degree of variation in ecological knowledge. Bundles of perceived ecosystem services and impacts, in relation to ecological knowledge, emerged as social representation on how residents relate to, understand, and perceive landscapes. Conclusions Our findings provide insight into the interactions between ecological knowledge systems and their role in shaping perceptions of local communities about protected areas. These results are expected to inform protected area management and landscape sustainability.Peer reviewe