Functional verification: approaches and challenges

It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.

Understanding stakeholder requirements on an NHS hospital project: application of semiotics-rooted theories.

Hospitals represent complex and difficult contexts for AEC (architecture, engineering and construction) professionals to engage with due to their functional complexity and diversity of stakeholder interests (i.e. patient, visitor, medical specialist). Hospital designers need to take note of changing NHS policy contexts (e.g. the possible empowerment of general practitioners to shape services), technological advances in medical equipment design and the potential health needs of future generations. It is imperative for hospital designers and architects to align their processes and methodologies (e.g. briefing and requirements capture) to the needs and desires of their clients so that a medical facility design is produced which is truly aligned to the requirements of the hospital stakeholders. Semiotics, the “study” or “discipline” of signs aims to investigate the nature of signs (their inception, representation and meaning), whilst semiotics-rooted theories are concerned with investigating how meaning and understanding is mobilized between persons and between organisations. This paper details a semiotics-rooted research approach for investigating the interactions between hospital designers and stakeholders on a forthcoming NHS hospital project in the UK. A semiotics grounded study will potentially provide a deeper understanding of how meaning and understanding is established between hospital project stakeholders and construction professionals.

Present state of global wetland extent and wetland methane modelling: conclusions from a model inter-comparison project (WETCHIMP)

Global wetlands are believed to be climate sensitive, and are the largest natural emitters of methane (CH4). Increased wetland CH4 emissions could act as a positive feedback to future warming. The Wetland and Wetland CH4 Inter-comparison of Models Project (WETCHIMP) investigated our present ability to simulate large-scale wetland characteristics and corresponding CH4 emissions. To ensure inter-comparability, we used a common experimental protocol driving all models with the same climate and carbon dioxide (CO2) forcing datasets. The WETCHIMP experiments were conducted for model equilibrium states as well as transient simulations covering the last century. Sensitivity experiments investigated model response to changes in selected forcing inputs (precipitation, temperature, and atmospheric CO2 concentration). Ten models participated, covering the spectrum from simple to relatively complex, including models tailored either for regional or global simulations. The models also varied in methods to calculate wetland size and location, with some models simulating wetland area prognostically, while other models relied on remotely sensed inundation datasets, or an approach intermediate between the two. Four major conclusions emerged from the project. First, the suite of models demonstrate extensive disagreement in their simulations of wetland areal extent and CH4 emissions, in both space and time. Simple metrics of wetland area, such as the latitudinal gradient, show large variability, principally between models that use inundation dataset information and those that independently determine wetland area. Agreement between the models improves for zonally summed CH4 emissions, but large variation between the models remains. For annual global CH4 emissions, the models vary by ±40% of the all-model mean (190 Tg CH4 yr−1). Second, all models show a strong positive response to increased atmospheric CO2 concentrations (857 ppm) in both CH4 emissions and wetland area. In response to increasing global temperatures (+3.4 °C globally spatially uniform), on average, the models decreased wetland area and CH4 fluxes, primarily in the tropics, but the magnitude and sign of the response varied greatly. Models were least sensitive to increased global precipitation (+3.9 % globally spatially uniform) with a consistent small positive response in CH4 fluxes and wetland area. Results from the 20th century transient simulation show that interactions between climate forcings could have strong non-linear effects. Third, we presently do not have sufficient wetland methane observation datasets adequate to evaluate model fluxes at a spatial scale comparable to model grid cells (commonly 0.5°). This limitation severely restricts our ability to model global wetland CH4 emissions with confidence. Our simulated wetland extents are also difficult to evaluate due to extensive disagreements between wetland mapping and remotely sensed inundation datasets. Fourth, the large range in predicted CH4 emission rates leads to the conclusion that there is both substantial parameter and structural uncertainty in large-scale CH4 emission models, even after uncertainties in wetland areas are accounted for.

Pollen-based reconstructions of biome distributions for Australia, Southeast Asia and the Pacific (SEAPAC region) at 0,6000 and 18,000 14C yr B.P.

Aim  This paper documents reconstructions of the vegetation patterns in Australia, Southeast Asia and the Pacific (SEAPAC region) in the mid-Holocene and at the last glacial maximum (LGM). Methods  Vegetation patterns were reconstructed from pollen data using an objective biomization scheme based on plant functional types. The biomization scheme was first tested using 535 modern pollen samples from 377 sites, and then applied unchanged to fossil pollen samples dating to 6000 ± 500 or 18,000 ± 1000 14C yr bp. Results  1. Tests using surface pollen sample sites showed that the biomization scheme is capable of reproducing the modern broad-scale patterns of vegetation distribution. The north–south gradient in temperature, reflected in transitions from cool evergreen needleleaf forest in the extreme south through temperate rain forest or wet sclerophyll forest (WSFW) and into tropical forests, is well reconstructed. The transitions from xerophytic through sclerophyll woodlands and open forests to closed-canopy forests, which reflect the gradient in plant available moisture from the continental interior towards the coast, are reconstructed with less geographical precision but nevertheless the broad-scale pattern emerges. 2. Differences between the modern and mid-Holocene vegetation patterns in mainland Australia are comparatively small and reflect changes in moisture availability rather than temperature. In south-eastern Australia some sites show a shift towards more moisture-stressed vegetation in the mid-Holocene with xerophytic woods/scrub and temperate sclerophyll woodland and shrubland at sites characterized today by WSFW or warm-temperate rain forest (WTRF). However, sites in the Snowy Mountains, on the Southern Tablelands and east of the Great Dividing Range have more moisture-demanding vegetation in the mid-Holocene than today. South-western Australia was slightly drier than today. The single site in north-western Australia also shows conditions drier than today in the mid-Holocene. Changes in the tropics are also comparatively small, but the presence of WTRF and tropical deciduous broadleaf forest and woodland in the mid-Holocene, in sites occupied today by cool-temperate rain forest, indicate warmer conditions. 3. Expansion of xerophytic vegetation in the south and tropical deciduous broadleaf forest and woodland in the north indicate drier conditions across mainland Australia at the LGM. None of these changes are informative about the degree of cooling. However the evidence from the tropics, showing lowering of the treeline and forest belts, indicates that conditions were between 1 and 9 °C (depending on elevation) colder. The encroachment of tropical deciduous broadleaf forest and woodland into lowland evergreen broadleaf forest implies greater aridity. Main conclusions  This study provides the first continental-scale reconstruction of mid-Holocene and LGM vegetation patterns from Australia, Southeast Asia and the Pacific (SEAPAC region) using an objective biomization scheme. These data will provide a benchmark for evaluation of palaeoclimate simulations within the framework of the Palaeoclimate Modelling Intercomparison Project.

Assessing and monitoring impacts of genetically modified plants on agro-ecosystems: the approach of AMIGA project

The environmental impacts of genetically modified crops is still a controversial issue in Europe. The overall risk assessment framework has recently been reinforced by the European Food Safety Authority(EFSA) and its implementation requires harmonized and efficient methodologies. The EU-funded research project AMIGA − Assessing and monitoring Impacts of Genetically modified plants on Agro-ecosystems − aims to address this issue, by providing a framework that establishes protection goals and baselines for European agro-ecosystems, improves knowledge on the potential long term environmental effects of genetically modified (GM) plants, tests the efficacy of the EFSA Guidance Document for the Environmental Risk Assessment, explores new strategies for post market monitoring, and provides a systematic analysis of economic aspects of Genetically Modified crops cultivation in the EU. Research focuses on ecological studies in different EU regions, the sustainability of GM crops is estimated by analysing the functional components of the agro-ecosystems and specific experimental protocols are being developed for this scope.

Local and landscape effects on bee functional guilds in pigeon pea crops in Kenya

Pollinators face many challenges within agricultural systems due to landscape changes and intensification which can affect resource availability that can impact pollination services. This paper examines pigeon pea pollination and considers how landscape context and agricultural intensification in terms of pesticide use affects the abundance of bees characterized by species guilds on crops. The study was conducted on six paired farms across a gradient of habitat complexity based on the distance of each farm from adjacent semi-natural vegetation in Kibwezi Sub-county, Kenya. The study found that farms which do not use insecticides in farm management, but are in close proximity to natural habitat have greater bee guild abundance, but at further distances, overall abundance is reduced with or without insecticide use. At 1 km landscape radius, the complexity of habitats but not patch size had a positive impact on the abundance of cavity nesting bees and mason bees, which can be attributed to the interspersion of the small-holder farms with semi-natural habitats across the landscapes producing mosaics of heterogeneous habitats. The study revealed the strongest relationships between fruit set and bee abundance to be with the carpenter bee, social bee and solitary bee guilds, which are among the most abundant bees visiting pigeon pea flowers in this system. Our findings provide the foundation for conservation efforts by identifying which bee guilds pollinated pigeon peas. From this study, we suggest managing the floral and nesting resources that would best support the most abundant crop pollinators, and also reducing insecticide application to the crop.

A framework for designing multi-functional cover crops

Cover crops are sown to provide a number of ecosystem services including nutrient management, mitigation of diffuse pollution, improving soil structure and organic matter content, weed suppression, nitrogen fixation and provision of resources for biodiversity. Although the decision to sow a cover crop may be driven by a desire to achieve just one of these objectives, the diversity of cover crops species and mixtures available means that there is potential to combine a number of ecosystem services within the same crop and growing season. Designing multi-functional cover crops would potentially help to reconcile the often conflicting agronomic and environmental agendas and contribute to the optimal use of land. We present a framework for integrating multiple ecosystem services delivered by cover crops that aims to design a mixture of species with complementary growth habit and functionality. The optimal number and identity of species will depend on the services included in the analysis, the functional space represented by the available species pool and the community dynamics of the crop in terms of dominance and co-existence. Experience from a project that applied the framework to fertility building leys in organic systems demonstrated its potential and emphasised the importance of the initial choice of species to include in the analysis

Host and habitat filtering in seedling root-associated fungal communities: taxonomic and functional diversity are altered in ‘novel’ soils

Climatic and land use changes have significant consequences for the distribution of tree species, both through natural dispersal processes and following management prescriptions. Responses to these changes will be expressed most strongly in seedlings near current species range boundaries. In northern temperate forest ecosystems, where changes are already being observed, ectomycorrhizal fungi contribute significantly to successful tree establishment. We hypothesised that communities of fungal symbionts might therefore play a role in facilitating, or limiting, host seedling range expansion. To test this hypothesis, ectomycorrhizal communities of interior Douglas-fir and interior lodgepole pine seedlings were analysed in a common greenhouse environment following growth in five soils collected along an ecosystem gradient. Currently, Douglas-fir’s natural distribution encompasses three of the five soils, whereas lodgepole pine’s extends much further north. Host filtering was evident amongst the 29 fungal species encountered: 7 were shared, 9 exclusive to Douglas-fir and 13 exclusive to lodgepole pine. Seedlings of both host species formed symbioses with each soil fungal community, thus Douglas-fir did so even where those soils came from outside its current distribution. However, these latter communities displayed significant taxonomic and functional differences to those found within the host distribution, indicative of habitat filtering. In contrast, lodgepole pine fungal communities displayed high functional similarity across the soil gradient. Taxonomic and/or functional shifts in Douglas-fir fungal communities may prove ecologically significant during the predicted northward migration of this species; especially in combination with changes in climate and management operations, such as seed transfer across geographical regions for forestry purposes.