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

Influence of Geographical Effects in Hedonic Pricing Models for Grass-Fed Cattle in Uruguay

A series of non-spatial and spatial hedonic models of feeding and replacement cattle prices at video auctions in Uruguay (2002 to 2009) were specified with predictors measuring marketing conditions (e.g., steer price), cattle characteristics (e.g., breed) and agro-ecological factors (e.g., soil productivity, water characteristics, pasture condition, season). Results indicated that cattle prices produced under extensive production systems were influenced by all of predictor categories, confirming that found previously. Although many of the agro-ecological predictors were inherently spatial in nature, the incorporation of spatial effects into the estimation of the hedonic model itself, through either a spatially-autocorrelated error term or allowing the regression coefficients to vary spatially and at different scales, was able to provide greater insight into the cattle price process. Through the latter extension, using a multiscale geographically weighted regression, which was the most informative and most accurate model, relationships between cattle price and predictors operated at a mixture of global, regional, local and highly local spatial scales. This result is considered a key advance, where uncovering, interpreting, and utilizing such rich spatial information can help improve the geographical provenance of Uruguayan beef and is critically important for maintaining Uruguay’s status as a key exporter of beef with respect to the health and safety benefits of natural, open-sky, grass-fed production systems

Bundling ecosystem services for detecting their interactions driven by large-scale vegetation restoration: enhanced services while depressed synergies

Ecosystem service (ES) bundles can facilitate comprehensive understanding of the spatial configurations and interactions of multiple ESs across large-scale landscapes. They are critical for informing policy and improving ecosystem management. The spatial dimension of ES bundles has been addressed in recent research but little work has considered the temporal changes of ES bundles. This paper uses a case study in the Loess Plateau, the core area of vegetation restoration in China, to explore changes in ES spatial distributions, bundle types and multiple ES interactions in a period of rapid vegetation restoration between 2000 and 2015. Measurable proxies, biophysical indicators and the InVEST model were used to quantify 10 ESs. We found that (1) most of the ESs were improved, especially provisioning services and carbon sequestration. (2) There is a steady tradeoff between provisioning services and most regulating services, while the impacts of vegetation restoration on agricultural production were small. (3) The synergies among ESs were weakened, implying the presence of subtle functional ES interdependencies. (4) Changes in the bundling patterns between 2000 and 2015 revealed heightened gaps among ESs due to the upsurge of carbon sequestration and deterioration of the baseflow regulation. This research provides a new perspective for understanding the interactions between multiple ESs with regional vegetation restoration activities. Ecological restoration programmes play an important role in enhancing ESs, but they may also lead to expanded gaps between ESs. Baseflow regulation could be included as a key indicator to support a comprehensive understanding of the impacts of restoration interventions. The ES bundle framework is able to capture changes over time of the ES interactions across a large-scale landscape and facilitates informed ES management

Development of a chemical source apportionment decision support framework for catchment management.

EU legislation, including the Water Framework Directive, has led to the application of increasingly stringent quality standards for a wide range of chemical contaminants in surface waters. This has raised the question of how to determine and to quantify the sources of such substances so that measures can be taken to address breaches of these quality standards using the polluter pays principle. Contaminants enter surface waters via a number of diffuse and point sources. Decision support tools are required to assess the relative magnitudes of these sources and to estimate the impacts of any programmes of measures. This work describes the development and testing of a modeling framework, the Source Apportionment Geographical Information System (SAGIS). The model uses readily available national data sets to estimate contributions of a number of nutrients (nitrogen and phosphorus), metals (copper, zinc, cadmium, lead, mercury, and nickel) and organic chemicals (a phthalate and a number of polynuclear aromatic hydrocarbons) from multiple sector sources. Such a tool has not previously been available on a national scale for such a wide range of chemicals. It is intended to provide a common platform to assist stakeholders in future catchment management

A Template for a New Generic Geographically Weighted R Package gwverse

GWR is a popular approach for investigating the spatial variation in relationships between response and predictor variables, and critically for investigating and understanding process spatial heterogeneity. The geographically weighted (GW) framework is increasingly used to accommodate different types of models and analyses, reflecting a wider desire to explore spatial variation in model parameters and outputs. However, the growth in the use of GWR and different GW models has only been partially supported by package development in both R and Python, the major coding environments for spatial analysis. The result is that refinements have been inconsistently included within GWR and GW functions in any given package. This paper outlines the structure of a new gwverse package, that may over time replace GW model, that takes advantage of recent developments in the composition of complex, integrated packages. It conceptualizes gwverse as having a modular structure, that separates core GW functionality and applications such as GWR. It adopts a function factory approach, in which bespoke functions are created and returned to the user based on user-defined parameters. The paper introduces two demonstrator modules that can be used to undertake GWR and identifies a number of key considerations and next steps. Volume54, Issue

A Template for a New Generic Geographically Weighted R Package gwverse

GWR is a popular approach for investigating the spatial variation in relationships between response and predictor variables, and critically for investigating and understanding process spatial heterogeneity. The geographically weighted (GW) framework is increasingly used to accommodate different types of models and analyses, reflecting a wider desire to explore spatial variation in model parameters and outputs. However, the growth in the use of GWR and different GW models has only been partially supported by package development in both R and Python, the major coding environments for spatial analysis. The result is that refinements have been inconsistently included within GWR and GW functions in any given package. This paper outlines the structure of a new gwverse package, that may over time replace GW model, that takes advantage of recent developments in the composition of complex, integrated packages. It conceptualizes gwverse as having a modular structure, that separates core GW functionality and applications such as GWR. It adopts a function factory approach, in which bespoke functions are created and returned to the user based on user-defined parameters. The paper introduces two demonstrator modules that can be used to undertake GWR and identifies a number of key considerations and next steps

Driving Factors of Land Change in China’s Loess Plateau: Quantification Using Geographically Weighted Regression and Management Implications

Land change is a key topic in research on global environmental change, and the restoration of degraded land is the core component of the global Land Degradation Neutrality target under the UN 2030 Agenda for Sustainable Development. In this study, remote-sensing-derived land-use data were used to characterize the land-change processes in China’s Loess Plateau, which is experiencing large-scale ecological restoration. Geographically Weighted Regression was applied to capture the spatiotemporal variations in land change and driving-force relationships. First, we explored land-use change in the Loess Plateau for the period 1990–2015. Grassland, cropland and forestland were dominant land cover in the region, with a total percentage area of 88%. The region experienced dramatic land-use transitions during the study period: degraded grassland and wetland, expansion of cropland and built-up land and weak restoration of forestland during 1990–2000; and increases in grassland, built-up land, forestland and wetland, concurrent with shrinking cropland during 2000–2015. A Geographically Weighted Regression (GWR) analysis revealed altitude to be the common dominant factor associated with the four major land-use types (forestland, grassland, cropland and built-up land). Altitude and slope were found to be positively associated with forestland, while being negatively associated with cropland in the high, steep central region. For both forestland and grassland, temperature and precipitation behaved in a similar manner, with a positive hotspot in the northwest. Altitude, slope and distance to road were all negatively associated with built-up land across the region. The GWR captured the spatial non-stationarity on different socioeconomic driving forces. Spatial heterogeneity and temporal variation of the impact of socioeconomic drivers indicate that the ecological restoration projects positively affected the region’s greening trend with hotspots in the center and west, and also improved farmer well-being. Notably, urban population showed undesired effects, expressed in accelerating grassland degradation in central and western regions for 1990–2000, hindering forestland and grassland restoration in the south during 2000–2015, and highlighting the long-term sustainability of the vegetation restoration progress. Such local results have the potential to provide a methodological contribution (e.g., nesting local-level approaches, i.e., GWR, within land system research) and spatially explicit evidence for context-related and proactive land management (e.g., balancing urbanization and ecological restoration processes and advancing agricultural development and rural welfare improvement)

Distance metric choice can both reduce and induce collinearity in geographically weighted regression

This paper explores the impact of different distance metrics on collinearity in local regression models such as geographically weighted regression. Using a case study of house price data collected in Hà Nội, Vietnam, and by fully varying both power and rotation parameters to create different Minkowski distances, the analysis shows that local collinearity can be both negatively and positively affected by distance metric choice. The Minkowski distance that maximised collinearity in a geographically weighted regression was approximate to a Manhattan distance with (power = 0.70) with a rotation of 30°, and that which minimised collinearity was parameterised with power = 0.05 and a rotation of 70°. The results indicate that distance metric choice can provide a useful extra tuning component to address local collinearity issues in spatially varying coefficient modelling and that understanding the interaction of distance metric and collinearity can provide insight into the nature and structure of the data relationships. The discussion considers first, the exploration and selection of different distance metrics to minimise collinearity as an alternative to localised ridge regression, lasso and elastic net approaches. Second, it discusses the how distance metric choice could extend the methods that additionally optimise local model fit (lasso and elastic net) by selecting a distance metric that further helped minimise local collinearity. Third, it identifies the need to investigate the relationship between kernel bandwidth, distance metrics and collinearity as an area of further work