Testing timed systems modeled by stream X-machines

Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification

Strategies for greenhouse gas emissions mitigation in Mediterranean agriculture: A review

[EN] An integrated assessment of the potential of different management practices for mitigating specific components of the total GHG budget (N2O and CH4 emissions and C sequestration) of Mediterranean agrosystems was performed in this study. Their suitability regarding both yield and environmental (e.g. nitrate leaching and ammonia volatilization) sustainability, and regional barriers and opportunities for their implementation were also considered. Based on its results best strategies to abate GHG emissions in Mediterranean agro-systems were proposed. Adjusting N fertilization to crop needs in both irrigated and rain-fed systems could reduce N2O emissions up to 50% compared with a non-adjusted practice. Substitution of N synthetic fertilizers by solid manure can be also implemented in those systems, and may abate N2O emissions by about 20% under Mediterranean conditions, with additional indirect benefits associated to energy savings and positive effects in crop yields. The use of urease and nitrification inhibitors enhances N use efficiency of the cropping systems and may mitigate N2O emissions up to 80% and 50%, respectively. The type of irrigation may also have a great mitigation potential in the Mediterranean region. Drip-irrigated systems have on average 80% lower N2O emissions than sprinkler systems and drip-irrigation combined with optimized fertilization showed a reduction in direct N2O emissions up to 50%. Methane fluxes have a relatively small contribution to the total GHG budget of Mediterranean crops, which can mostly be controlled by careful management of the water table and organic inputs in paddies. Reduced soil tillage, improved management of crop residues and agro-industry by-products, and cover cropping in orchards, are the most suitable interventions to enhance organic C stocks in Mediterranean agricultural soils. The adoption of the proposed agricultural practices will require farmers training. The global analysis of life cycle emissions associated to irrigation type (drip, sprinkle and furrow) and N fertilization rate (100 and 300 kg N ha(-1) yr(-1)) revealed that these factors may outweigh the reduction in GHG emissions beyond the plot scale. The analysis of the impact of some structural changes on top-down mitigation of GHG emissions revealed that 3-15% of N2O emissions could be suppressed by avoiding food waste at the end-consumer level. A 40% reduction in meat and dairy consumption could reduce GHG emissions by 20-30%. Reintroducing the Mediterranean diet (i.e. similar to 35% intake of animal protein) would therefore result in a significant decrease of GHG emissions from agricultural production systems under Mediterranean conditions. (C) 2016 Elsevier B.V. All rights reserved.The authors would like to thank the Spanish National R+D+i Plan (AGL2012-37815-C05-01, AGL2012-37815-C05-04) and very specifically the workshop held in December 2016 in Butron (Bizkaia) to synthesize the most promising measures to reduce N2O emissions from Spanish agricultural soils. BC3 is sponsored by the Basque Government. M. L. Cayuela thanks Fundacion Seneca for financing the project 19281/PI/14.Sanz-Cobeña, A.; Lassaletta, L.; Aguilera, E.; Del Prado, A.; Garnier, J.; Billen, G.; Iglesias, A.... (2017). Strategies for greenhouse gas emissions mitigation in Mediterranean agriculture: A review. Agriculture Ecosystems & Environment. 238:5-24. https://doi.org/10.1016/j.agee.2016.09.038S52423

Strategies for GHG mitigation in Mediterranean cropping systems. A review

In this review we aimed to synthetize and analyze the most promising GHGs mitigation strategies for Mediterranean cropping systems. A description of most relevant measures, based on the best crop choice and management by farmers (i.e., agronomical practices), was firstly carried out. Many of these measures can be also efficient in other climatic regions, but here we provide particular results and discussion of their efficiencies for Mediterranean cropping systems. An integrated assessment of management practices on mitigating each component of the global warming potential (N2O and CH4 emissions and C sequestration) of production systems considering potential side-effects of their implementation allowed us to propose the best strategies to abate GHG emissions, while sustaining crop yields and mitigating other sources of environmental pollution (e.g. nitrate leaching and ammonia volatilization)

Assessment of risk of insect-resistant transgenic crops to nontarget arthropods

An international initiative is developing a scientifically rigorous approach to evaluate the potential risks to nontarget arthropods (NTAs) posed by insect-resistant, genetically modified (IRGM) crops. It adapts the tiered approach to risk assessment that is used internationally within regulatory toxicology and environmental sciences. The approach focuses on the formulation and testing of clearly stated risk hypotheses, making maximum use of available data and using formal decision guidelines to progress between testing stages (or tiers). It is intended to provide guidance to regulatory agencies that are currently developing their own NTA risk assessment guidelines for IRGM crops and to help harmonize regulatory requirements between different countries and different regions of the world

Avalanche behavior in yield stress fluids

We show that, above a critical stress, typical yield stress fluids (gels and clay suspensions) and soft glassy materials (colloidal glasses) start flowing abruptly and subsequently accelerate, leading to avalanches that are remarkably similar to those of granular materials. Rheometrical tests reveal that this is associated with a bifurcation in rheological behavior: for small stresses, the viscosity increases in time; the material eventually stops flowing. For slightly larger stresses the viscosity decreases continuously in time; the flow accelerates. Thus the viscosity jumps discontinuously to infinity at the critical stress. We propose a simple physical model capable of reproducing these effects.Philippe Coussot, Q. D. Nguyen, H.T. Huynh, and Daniel Bon

Challenges of adapting English médium instruction into the Spanish university curricula and some novel solutions

The integration of the Spanish university system in the European Higher Education Area (EHEA) demands a series of concrete proposals. As we advance in the implementation of the process of Bologna, it is necessary to contemplate a new paradigm of teaching/learning. Central to this new paradigm is the adaptation of the curricula into the English language medium (EMI). Among many strategies for internationalization of the Universidad Politécnica de Madrid (UPM) under adoption, this university has funded a project TechEnglish intends to facilitate the conversion of subjects and eventually degree programs into the delivery in the English Language. This paper details a work in progress and describes the collaboration between content teachers and applied linguistics. The three collaborative actions are currently underway: observation of classes by applied linguists, seminar delivery on topics requested by the content teachers, and materials development with the help of teaching assistants. We are convinced that this collaboration is the necessary ingredient to promote teaching and learning through English at our university