Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Temporal trends in mode, site and stage of presentation with the introduction of colorectal cancer screening: a decade of experience from the West of Scotland

background:  Population colorectal cancer screening programmes have been introduced to reduce cancer-specific mortality through the detection of early-stage disease. The present study aimed to examine the impact of screening introduction in the West of Scotland. methods:  Data on all patients with a diagnosis of colorectal cancer between January 2003 and December 2012 were extracted from a prospectively maintained regional audit database. Changes in mode, site and stage of presentation before, during and after screening introduction were examined. results:  In a population of 2.4 million, over a 10-year period, 14 487 incident cases of colorectal cancer were noted. Of these, 7827 (54%) were males and 7727 (53%) were socioeconomically deprived. In the postscreening era, 18% were diagnosed via the screening programme. There was a reduction in both emergency presentation (20% prescreening vs 13% postscreening, P0.001) and the proportion of rectal cancers (34% prescreening vs 31% pos-screening, P0.001) over the timeframe. Within non-metastatic disease, an increase in the proportion of stage I tumours at diagnosis was noted (17% prescreening vs 28% postscreening, P0.001). conclusions:  Within non-metastatic disease, a shift towards earlier stage at diagnosis has accompanied the introduction of a national screening programme. Such a change should lead to improved outcomes in patients with colorectal cancer

Effect of soil saturation on denitrification in a grassland soil

Nitrous oxide (N2O) is of major importance as a greenhouse gas and precursor of ozone (O3) destruction in the stratosphere mostly produced in soils. The soil-emitted N2O is generally predominantly derived from denitrification and, to a smaller extent, nitrification, both processes controlled by environmental factors and their interactions, and are influenced by agricultural management. Soil water content expressed as water-filled pore space (WFPS) is a major controlling factor of emissions and its interaction with compaction, has not been studied at the micropore scale. A laboratory incubation was carried out at different saturation levels for a grassland soil and emissions of N2O and N2 were measured as well as the isotopocules of N2O. We found that flux variability was larger in the less saturated soils probably due to nutrient distribution heterogeneity created from soil cracks and consequently nutrient hot spots. The results agreed with denitrification as the main source of fluxes at the highest saturations, but nitrification could have occurred at the lower saturation, even though moisture was still high (71% WFSP). The isotopocules data indicated isotopic similarities in the wettest treatments vs. the two drier ones. The results agreed with previous findings where it is clear there are two N pools with different dynamics: added N producing intense denitrification vs. soil N resulting in less isotopic fractionation

Assessing the role of EO in biodiversity monitoring: options for integrating in-situ observations with EO within the context of the EBONE concept

The European Biodiversity Observation Network (EBONE) is a European contribution on terrestrial monitoring to GEO BON, the Group on Earth Observations Biodiversity Observation Network. EBONE’s aims are to develop a system of biodiversity observation at regional, national and European levels by assessing existing approaches in terms of their validity and applicability starting in Europe, then expanding to regions in Africa. The objective of EBONE is to deliver: 1. A sound scientific basis for the production of statistical estimates of stock and change of key indicators; 2. The development of a system for estimating past changes and forecasting and testing policy options and management strategies for threatened ecosystems and species; 3. A proposal for a cost-effective biodiversity monitoring system. There is a consensus that Earth Observation (EO) has a role to play in monitoring biodiversity. With its capacity to observe detailed spatial patterns and variability across large areas at regular intervals, our instinct suggests that EO could deliver the type of spatial and temporal coverage that is beyond reach with in-situ efforts. Furthermore, when considering the emerging networks of in-situ observations, the prospect of enhancing the quality of the information whilst reducing cost through integration is compelling. This report gives a realistic assessment of the role of EO in biodiversity monitoring and the options for integrating in-situ observations with EO within the context of the EBONE concept (cfr. EBONE-ID1.4). The assessment is mainly based on a set of targeted pilot studies. Building on this assessment, the report then presents a series of recommendations on the best options for using EO in an effective, consistent and sustainable biodiversity monitoring scheme. The issues that we faced were many: 1. Integration can be interpreted in different ways. One possible interpretation is: the combined use of independent data sets to deliver a different but improved data set; another is: the use of one data set to complement another dataset. 2. The targeted improvement will vary with stakeholder group: some will seek for more efficiency, others for more reliable estimates (accuracy and/or precision); others for more detail in space and/or time or more of everything. 3. Integration requires a link between the datasets (EO and in-situ). The strength of the link between reflected electromagnetic radiation and the habitats and their biodiversity observed in-situ is function of many variables, for example: the spatial scale of the observations; timing of the observations; the adopted nomenclature for classification; the complexity of the landscape in terms of composition, spatial structure and the physical environment; the habitat and land cover types under consideration. 4. The type of the EO data available varies (function of e.g. budget, size and location of region, cloudiness, national and/or international investment in airborne campaigns or space technology) which determines its capability to deliver the required output. EO and in-situ could be combined in different ways, depending on the type of integration we wanted to achieve and the targeted improvement. We aimed for an improvement in accuracy (i.e. the reduction in error of our indicator estimate calculated for an environmental zone). Furthermore, EO would also provide the spatial patterns for correlated in-situ data. EBONE in its initial development, focused on three main indicators covering: (i) the extent and change of habitats of European interest in the context of a general habitat assessment; (ii) abundance and distribution of selected species (birds, butterflies and plants); and (iii) fragmentation of natural and semi-natural areas. For habitat extent, we decided that it did not matter how in-situ was integrated with EO as long as we could demonstrate that acceptable accuracies could be achieved and the precision could consistently be improved. The nomenclature used to map habitats in-situ was the General Habitat Classification. We considered the following options where the EO and in-situ play different roles: using in-situ samples to re-calibrate a habitat map independently derived from EO; improving the accuracy of in-situ sampled habitat statistics, by post-stratification with correlated EO data; and using in-situ samples to train the classification of EO data into habitat types where the EO data delivers full coverage or a larger number of samples. For some of the above cases we also considered the impact that the sampling strategy employed to deliver the samples would have on the accuracy and precision achieved. Restricted access to European wide species data prevented work on the indicator ‘abundance and distribution of species’. With respect to the indicator ‘fragmentation’, we investigated ways of delivering EO derived measures of habitat patterns that are meaningful to sampled in-situ observations

The impact of population-based faecal occult blood test screening on colorectal cancer mortality:a matched cohort study

BACKGROUND: Randomised trials show reduced colorectal cancer (CRC) mortality with faecal occult blood testing (FOBT). This outcome is now examined in a routine, population-based, screening programme. METHODS: Three biennial rounds of the UK CRC screening pilot were completed in Scotland (2000–2007) before the roll out of a national programme. All residents (50–69 years) in the three pilot Health Boards were invited for screening. They received a FOBT test by post to complete at home and return for analysis. Positive tests were followed up with colonoscopy. Controls, selected from non-pilot Health Boards, were matched by age, gender, and deprivation and assigned the invitation date of matched invitee. Follow-up was from invitation date to 31 December 2009 or date of death if earlier. RESULTS: There were 379 655 people in each group (median age 55.6 years, 51.6% male). Participation was 60.6%. There were 961 (0.25%) CRC deaths in invitees, 1056 (0.28%) in controls, rate ratio (RR) 0.90 (95% confidence interval (CI) 0.83–0.99) overall and 0.73 (95% CI 0.65–0.82) for participants. Non-participants had increased CRC mortality compared with controls, RR 1.21 (95% CI 1.06–1.38). CONCLUSION: There was a 10% relative reduction in CRC mortality in a routine screening programme, rising to 27% in participants

Use of Novel Incubation Technique to Measure N2 on 0/N2 Following Surface or Injected Application of Slurry

Measurements of N2O and N2 efflux were made following surface or injected application of slurry to a wet, fine-textured pasture soil. Intact blocks of the slurry applied soil were incubated in a laboratory system that permitted replacement of the original N2 in soil atmosphere with He, and thus the detection and estimation of N2 arising from denitrification. Following application at a rate equivalent to 112 kg N ha-1, 7.2 and 13.4 kg N ha-1 were lost from surface applied and injected slurry, respectively, during a 40 d period at 15 oC. Peak efflux of N2O occurred after about 20 d from both the surface applied and injected slurry, and was 0.4 and 0.8 kg N ha-1 d-1, respectively. The efflux of N2 was undetectable (\u3c 20 g N ha-1 d-1), except during the first few days, and the overall N2O/N2 was 1.72 for both treatments

Three-Dimensional Thermoluminescence Spectra and Their Application in the Study of Some Sedimentary Quartz

The intensity of thermoluminescence emission is a function of both temperature and photon energy (or wavelength) and therefore lends itself to a three-dimensional (3-D) display, either in the form of an isometric plot or a contour diagram. The technique of 3-D thermoluminescence spectrometry is briefly reviewed and the advantages and applications are illustrated by reference to the spectral properties of samples of Australian sedimentary quartz drawn from the context of thermoluminescence dating. In this context, the temperature of emission, the photon energy and the ease with which the emission is bleachable by sunlight are of significance. It is suggested that, in one of the samples, the energy of the photon emitted from one of the luminescence centres depends on the temperature of emission

An Integrated Soil Testing-Modeling Approach to Improve Fertilizer Recommendations for Grassland

New management strategies are required in order to reduce the appreciable emissions of N from intensively managed grassland. Previous work has shown that if fertiliser is applied at rates that take account of the mineral N found in soil at the time of each application, N use efficiency can be improved. A novel approach is described which integrates soil testing and modelling to produce N fertiliser recommendations on a monthly basis. An existing annual model of the N cycle in grassland has been modified to produce monthly predictions of mineral N in the soil. The model is being validated by data from a replicated cut plot experiment at 3 sites