Valuing conservation benefits of an offshore marine protected area

Increasing anthropogenic pressure in the offshore marine environment highlights the need for improved management and conservation of offshore ecosystems. This study scrutinises the applicability of a discrete choice experiment to value the expected benefits arising from the conservation of an offshore sandbank in UK waters. The valuation scenario refers to the UK part of the Dogger Bank, in the southern North Sea, and is based on real-world management options for fisheries, wind farms and marine protection currently under discussion for the site. It is assessed to what extent the general public perceive and value conservation benefits arising from an offshore marine protected area. The survey reveals support for marine conservation measures despite the general public's limited prior knowledge of current marine planning. Results further show significant values for an increase in species diversity, the protection of certain charismatic species and a restriction in the spread of invasive species across the site. Implications for policy and management with respect to commercial fishing, wind farm construction and nature conservation are discussed

Assessing costs and benefits of measures to achieve good environmental status in European regional seas: challenges, opportunities, and lessons learnt

The EU Marine Strategy Framework Directive (MSFD) requires Member States to assess the costs and benefits of Programmes of Measures (PoMs) put in place to ensure that European marine waters achieve Good Environmental Status by 2020. An interdisciplinary approach is needed to carry out such an assessment whereby economic analysis is used to evaluate the outputs from ecological analysis that determines the expected effects of such management measures. This paper applies and tests an existing six-step approach to assess costs and benefits of management measures with potential to support the overall goal of the MSFD and discusses a range of ecological and economic analytical tools applicable to this task. Environmental cost-benefit analyses are considered for selected PoMs in three European case studies: Baltic Sea (Finland), East Coast Marine Plan area (UK), and the Bay of Biscay (Spain). These contrasting case studies are used to investigate the application of environmental cost-benefit analysis (CBA) including the challenges, opportunities and lessons learnt from using this approach. This paper demonstrates that there are opportunities in applying the six-step environmental CBA framework presented to assess the impact of PoMs. However, given demonstrated limitations of knowledge and data availability, application of other economic techniques should also be considered (although not applied here) to complement the more formal environmental CBA approach

On the relevance of polyynyl-substituted PAHs to astrophysics

We report on the absorption spectra of the polycyclic aromatic hydrocarbon (PAH) molecules anthracene, phenanthrene, and pyrene carrying either an ethynyl (-C2H) or a butadiynyl (-C4H) group. Measurements were carried out in the mid infrared at room temperature on grains embedded in CsI pellets and in the near ultraviolet at cryogenic temperature on molecules isolated in Ne matrices. The infrared measurements show that interstellar populations of polyynyl-substituted PAHs would give rise to collective features in the same way non-substituted PAHs give rise to the aromatic infrared bands. The main features characteristic of the substituted molecules correspond to the acetylenic CH stretching mode near 3.05 mum and to the almost isoenergetic acetylenic CCH in- and out-of-plane bending modes near 15.9 mum. Sub-populations defined by the length of the polyynyl side group cause collective features which correspond to the various acetylenic CC stretching modes. The ultraviolet spectra reveal that the addition of an ethynyl group to a non-substituted PAH molecule results in all its electronic transitions being redshifted. Due to fast internal energy conversion, the bands at shorter wavelengths are significantly broadened. Those at longer wavelengths are only barely affected in this respect. As a consequence, their relative peak absorption increases. The substitution with the longer butadiynyl chain causes the same effects with a larger magnitude, resulting in the spectra to show a prominent if not dominating pi-pi* transition at long wavelength. After discussing the relevance of polyynyl-substituted PAHs to astrophysics, we conclude that this class of highly conjugated, unsaturated molecules are valid candidates for the carriers of the diffuse interstellar bands.Comment: 29 pages, 9 figures, accepted for publication in ApJ 2 April 201

Comparison of accelerometer data calibration methods used in thermospheric neutral density estimation

Ultra-sensitive space-borne accelerometers on board of low Earth orbit (LEO) satellites are used to measure non-gravitational forces acting on the surface of these satellites. These forces consist of the Earth radiation pressure, the solar radiation pressure and the atmospheric drag, where the first two are caused by the radiation emitted from the Earth and the Sun, respectively, and the latter is related to the thermospheric density. On-board accelerometer measurements contain systematic errors, which need to be mitigated by applying a calibration before their use in gravity recovery or thermospheric neutral density estimations. Therefore, we improve, apply and compare three calibration procedures: (1) a multi-step numerical estimation approach, which is based on the numerical differentiation of the kinematic orbits of LEO satellites; (2) a calibration of accelerometer observations within the dynamic precise orbit determination procedure and (3) a comparison of observed to modeled forces acting on the surface of LEO satellites. Here, accelerometer measurements obtained by the Gravity Recovery And Climate Experiment (GRACE) are used. Time series of bias and scale factor derived from the three calibration procedures are found to be different in timescales of a few days to months. Results are more similar (statistically significant) when considering longer timescales, from which the results of approach (1) and (2) show better agreement to those of approach (3) during medium and high solar activity. Calibrated accelerometer observations are then applied to estimate thermospheric neutral densities. Differences between accelerometer-based density estimations and those from empirical neutral density models, e.g., NRLMSISE-00, are observed to be significant during quiet periods, on average 22 % of the simulated densities (during low solar activity), and up to 28 % during high solar activity. Therefore, daily corrections are estimated for neutral densities derived from NRLMSISE-00. Our results indicate that these corrections improve model-based density simulations in order to provide density estimates at locations outside the vicinity of the GRACE satellites, in particular during the period of high solar/magnetic activity, e.g., during the St. Patrick's Day storm on 17 March 2015

Models of asthma: density-equalizing mapping and output benchmarking

Despite the large amount of experimental studies already conducted on bronchial asthma, further insights into the molecular basics of the disease are required to establish new therapeutic approaches. As a basis for this research different animal models of asthma have been developed in the past years. However, precise bibliometric data on the use of different models do not exist so far. Therefore the present study was conducted to establish a data base of the existing experimental approaches. Density-equalizing algorithms were used and data was retrieved from a Thomson Institute for Scientific Information database. During the period from 1900 to 2006 a number of 3489 filed items were connected to animal models of asthma, the first being published in the year 1968. The studies were published by 52 countries with the US, Japan and the UK being the most productive suppliers, participating in 55.8% of all published items. Analyzing the average citation per item as an indicator for research quality Switzerland ranked first (30.54/item) and New Zealand ranked second for countries with more than 10 published studies. The 10 most productive journals included 4 with a main focus allergy and immunology and 4 with a main focus on the respiratory system. Two journals focussed on pharmacology or pharmacy. In all assigned subject categories examined for a relation to animal models of asthma, immunology ranked first. Assessing numbers of published items in relation to animal species it was found that mice were the preferred species followed by guinea pigs. In summary it can be concluded from density-equalizing calculations that the use of animal models of asthma is restricted to a relatively small number of countries. There are also differences in the use of species. These differences are based on variations in the research focus as assessed by subject category analysis

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

Prenex Separation Logic with One Selector Field

International audienceWe show that infinite satisfiability can be reduced to finite satisfiabil-ity for all prenex formulas of Separation Logic with k ≥ 1 selector fields (SL k). This fact entails the decidability of the finite and infinite satisfiability problems for the class of prenex formulas of SL 1 , by reduction to the first-order theory of a single unary function symbol and an arbitrary number of unary predicate symbols. We also prove that the complexity of this fragment is not elementary recursive, by reduction from the first-order theory of one unary function symbol. Finally, we prove that the Bernays-Schönfinkel-Ramsey fragment of prenex SL 1 formulas with quantifier prefix in the language ∃ * ∀ * is PSPACE-complete

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

Selective effects of small barriers on river‐resident fish

Habitat fragmentation is a principal threat to biodiversity and artificial river barriers are a leading cause of the global decline in freshwater biota. Although the impact of barriers on diadromous fish is well established, impacts on river-resident fish communities remain unclear, especially for low-head barriers.We examined the movement of five contrasting freshwater fish (topmouth gudgeon, European minnow, stone loach, bullhead and brown trout) in an experimental cascade mesocosm with seven pools separated by small vertical barriers.Passage rates differed significantly among species and increased with body size and sustained swimming speed (Usus), ranging from an average of 0.2 passes/hr in topmouth gudgeon to 3.4 passes/hr in brown trout. A random-walk simulation indicated that barriers can result in net downstream movement and shifts in community composition.Passage rates in brown trout were leptokurtic, that is, most individuals were relatively sedentary while a small proportion showed frequent movements. Upstream passage rates of brown trout increased with body length and boldness while fish with lower aerobic scope tended to move downstream. Passage rates showed significant individual repeatability in brown trout, independent of body size, indicating the potential for in-stream barriers to exert selective effects on fish populations.Our results show that barrier effects can be more complex than simply blocking fish passage, and that river-resident fish can be impacted even by very small barriers. We show that fish passage depends on a wide range of morphological, physiological and behavioural drivers, and that barriers can exert selective effects on these traits and cause shifts in community composition.Policy implications. Barrier mitigation measures need to embrace interspecific and intraspecific variation in fish passage to avoid inadvertent artificial selection on fish communities. Given the high abundance of low-head structures in river systems worldwide, a paradigm shift is needed to recognise the subtle impacts of small barriers on freshwater biodiversity. Removal of small barriers or nature-like fishways should allow better passage of the wider fish community compared to widely used salmonid-centric fish passage options

Concurrent abstract state machines

n/