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

New results for a photon-photon collider

We present new results from studies in progress on physics at a two-photon collider. We report on the sensitivity to top squark parameters of MSSM Higgs boson production in two-photon collisions; Higgs boson decay to two photons; radion production in models of warped extra dimensions; chargino pair production; sensitivity to the trilinear Higgs boson coupling; charged Higgs boson pair production; and we discuss the backgrounds produced by resolved photon-photon interactions.Comment: 17 pages, 15 figure

Dynamics of zonal flow-like structures in the edge of the TJ-II stellarator

The dynamics of fluctuating electric field structures in the edge of the TJ-II stellarator, that display zonal flow-like traits, is studied. These structures have been shown to be global and affect particle transport dynamically [J.A. Alonso et al., Nucl. Fus. 52 063010 (2012)]. In this article we discuss possible drive (Reynolds stress) and damping (Neoclassical viscosity, geodesic transfer) mechanisms for the associated ExB velocity. We show that: (a) while the observed turbulence-driven forces can provide the necessary perpendicular acceleration, a causal relation could not be firmly established, possibly because of the locality of the Reynolds stress measurements, (b) the calculated neoclassical viscosity and damping times are comparable to the observed zonal flow relaxation times, and (c) although an accompanying density modulation is observed to be associated to the zonal flow, it is not consistent with the excitation of pressure side-bands, like those present in geodesic acoustic oscillations, caused by the compression of the ExB flow field

Integrated Assessment of Climate Change Impacts and Urban Resilience: From Climate and Hydrological Hazards to Risk Analysis and Measures

This Special Issue brings together recent research findings related to urban resilience, in particular taking into account climate change impacts and hydrological hazards. Taking advantage of the work done in the H2020 RESCCUE project, 12 different papers dealing with several issues related to the resilience of urban areas have been published. Due to the complexity of cities, urban resilience management is one of the key challenges that our societies have to deal with in the near future. In addition, urban resilience is a transversal and multi-sectorial issue, affecting different urban services, several hazards, and all the steps of the risk management cycle. This is precisely why the papers contained in this Special Issue focus on varied subjects, such as impact assessments, urban resilience assessments, adaptation strategies, flood risk and urban services, always focusing on at least two of these topics

Minimum Conductivity and Evidence for Phase Transitions in Ultra-clean Bilayer Graphene

Bilayer graphene (BLG) at the charge neutrality point (CNP) is strongly susceptible to electronic interactions, and expected to undergo a phase transition into a state with spontaneous broken symmetries. By systematically investigating a large number of singly- and doubly-gated bilayer graphene (BLG) devices, we show that an insulating state appears only in devices with high mobility and low extrinsic doping. This insulating state has an associated transition temperature Tc~5K and an energy gap of ~3 meV, thus strongly suggesting a gapped broken symmetry state that is destroyed by very weak disorder. The transition to the intrinsic broken symmetry state can be tuned by disorder, out-of-plane electric field, or carrier density

Creating a Micro-Enterprise for the Development and Marketing of a Chili Sauce Based on Sambo Seeds: Market Analysis

The present work was carried out to promote a chili sauce made with the seeds of the sambo fruit – a local variety of pumpkin. Presently, the sauce is consumed only in Ecuador and is prepared using just the fleshy part of the fruit, while the seeds are discarded. The authors of this article see a larger potential application of the fruit in the food industry, as the fruit not only adds a pleasant flavor but is also full of nutrition. They have made a new chili sauce with a base of sambo seeds. The research was carried out using an inductive method, where people were selected at random. Variables such as gender, age, level, and consumption preferences, among others, were analyzed. The study was conducted in Riobamba canton on 164 people, aged 20 and over, considering various aspects. The instrument used was a questionnaire. The results showed that 71.95% of those surveyed consumed chili-based sauces, and 54.88% of them consumed it at least once a week. In addition, 63.41% of them consumed or had consumed sambo seeds, thus denoting that consumers were aware of and were consuming this product. The current research allowed us to innovate the product using correct methods and techniques, and adapt the best use of seeds in the food industry. Keywords: chili, sambo, economic analysis, consumption, commercialization. RESUMEN El presente trabajo se realizó con el objetivo de dar a conocer la aceptación y el beneficio económico de la salsa de ají con adición de semillas del fruto de sambo en el mercado, actualmente su consumo se da en todo el país y se aprovecha únicamente la parte carnosa de la fruta, las semillas son desechadas, por cuanto vemos una potencial aplicación en la industria alimentaria de estas, a más de aportar con sabor agradable aportan nutricionalmente, y se las han adicionado en una salsa de ají, al integrar al mercado una nueva salsa elaborada con este producto icónico además se busca utilizar las semillas de la calabaza local conocida como sambo. Esta investigación se realizó mediante un método inductivo, donde las personas fueron seleccionadas al azar, se analizaron variables como: género, edad, nivel y preferencias de consumo, entre otras. La búsqueda de información fue en el cantón Riobamba, a 164 personas, de 20 años en adelante, considerando varios aspectos; el instrumento aplicado fue cuestionario. Los resultados demuestran que el 71.95% de los How to encuestados consumen salsas elaboradas a base de ají, y de estos 54.88% lo consumen como mínimo una vez a la semana, además que el 63,41% consume o ha consumido semillas de sambo, denotando así que los consumidores conocen y consumen estos productos. La actual investigación nos permitió innovar el producto, utilizando correctamente métodos y técnicas adaptando el mejor uso de las semillas en la industria alimentaria. Palabras Clave: Ají, sambo, semillas, análisis económico, consumo, comercialización

GAP WORK project report: training for youth practitioners on tackling gender-related violence

This project sought to challenge gender-related violence against (and by) children and young people by developing training for practitioners who have everyday contact with general populations of children and young people (‘youth practitioners’). Through improved knowledge and understanding practitioners can better identify and challenge sexist, sexualising, homophobic or controlling language and behaviour, and know when and how to refer children and young people to the most appropriate support services. This summary outlines the Project and our initial findings about the success of the four training programmes developed and piloted.Co-funded by the DAPHNE III programme of the EU

Influence of SO2 on CO2 storage for CCS technology: Evaluation of CO2/SO2 co-capture

In this work, we determined the influence of SO2 as an impurity in anthropogenic CO2 on carbon capture and storage (CCS) technology. We evaluated the impact on selected injection and storage parameters and the Joule-Thomson coefficient to assess the safety of long-term geological storage of CO2. For this purpose, we obtained new pressure-density-temperature-composition, vapor-liquid-equilibrium, and pressure-speed of sound-temperature-composition experimental data for CO2-rich mixtures containing SO2. To increase the general understanding of the impact of SO2, the compositions cover possible co-capture mixtures, SO2-enriched mixtures, and mixtures similar to industrial emissions. Temperatures and pressures were based on relevant geological storage site values. Our experimental results were used to validate the EOS-CG and PC-SAFT equations of state (EoSs) for CO2 + SO2 under the studied CCS conditions. On the understanding that the chemical reactivity effects due to SO2 have not been considered, we concluded that the presence of SO2 is profitable in most of the studied aspects, especially in the case of shallow reservoirs, and that CO2/SO2 co-capture may be considered as an alternative approach to reduce the costs of CO2 purification. Based on the assessment of the impact of 5 mol% SO2 in the injected fluid in seven saline aquifers, we determined that the reservoirs that would receive the most benefit were Sleipner, Nagaoka and Frio

Some thoughts about nonequilibrium temperature

The main objective of this paper is to show that, within the present framework of the kinetic theoretical approach to irreversible thermodynamics, there is no evidence that provides a basis to modify the ordinary Fourier equation relating the heat flux in a non-equilibrium steady state to the gradient of the local equilibrium temperature. This fact is supported, among other arguments, through the kinetic foundations of generalized hydrodynamics. Some attempts have been recently proposed asserting that, in the presence of non-linearities of the state variables, such a temperature should be replaced by the non-equilibrium temperature as defined in Extended Irreversible Thermodynamics. In the approximations used for such a temperature there is so far no evidence that sustains this proposal.Comment: 13 pages, TeX, no figures, to appear in Mol. Phy