Assessing the reliability of diverse fault-tolerant software-based systems

We discuss a problem in the safety assessment of automatic control and protection systems. There is an increasing dependence on software for performing safety-critical functions, like the safety shut-down of dangerous plants. Software brings increased risk of design defects and thus systematic failures; redundancy with diversity between redundant channels is a possible defence. While diversity techniques can improve the dependability of software-based systems, they do not alleviate the difficulties of assessing whether such a system is safe enough for operation. We study this problem for a simple safety protection system consisting of two diverse channels performing the same function. The problem is evaluating its probability of failure in demand. Assuming failure independence between dangerous failures of the channels is unrealistic. One can instead use evidence from the observation of the whole system's behaviour under realistic test conditions. Standard inference procedures can then estimate system reliability, but they take no advantage of a system's fault-tolerant structure. We show how to extend these techniques to take account of fault tolerance by a conceptually straightforward application of Bayesian inference. Unfortunately, the method is computationally complex and requires the conceptually difficult step of specifying ‘prior’ distributions for the parameters of interest. This paper presents the correct inference procedure, exemplifies possible pitfalls in its application and clarifies some non-intuitive issues about reliability assessment for fault-tolerant software.     

External heating closed-volume thermally activated tube forming: A fundamentally new approach for hydroforming thick-walled tubes

The underlying principles of water’s equation of state (ES) and its associated pressure–volume–temperature (PVT) relationship, are employed for the purpose of producing “ultra-high” pressure within the closed volume of a thick-walled metal tube, resulting in a new and innovative hydroforming process. The process, called “Closed-Volume Thermally Activated” (CVTA) Tube Hydroforming, involves conducting a high level of heat through the walls of a thick-walled, metallic, water-containing closed tube. Experimental validation of the concept is presented, and potential applications are discussed. This work represents a break-through in manufacturing technology, which, when further developed, is expected to enable manufacturers to expand significantly their manufacturing capability.     

Guidelines for routine mercury speciation analysis in seafood by gas chromatography coupled to a home-modified AFS detector. Application to the Andalusian coast (south Spain)

A home-modified atomic fluorescence detector (mAFS) has been employed for mercury and methylmercury determination in bivalves from the Andalusian coast (south Spain). This modification consists on the inclusion of a quartz flow cell into the detector, which increases the concentration of mercury atoms in the detector and therefore enhances sensitivity about two fold. Two analytical approaches for mercury speciation based on the coupling of gas chromatography on-line pyrolysis and mAFS (GC-Pyro-mAFS) have been tested. The first approach (Method 1) is based on aqueous ethylation followed by extraction into an organic solvent, and the second one (Method 2) in the extraction of monoalkylated mercury as chloride. Method 1 is a rapid procedure but not sensitive enough for the analysis of methylmercury in non-polluted sites (detection limit: 20 ng g(-1) as mercury, wet basis). The second one is quite more sensitive (detection limit: 0.2 ng g(-1), wet weight), but sample treatment is cumbersome and time-consuming. The optimum range for mercury determination for both methods are complementary and exhibit an overlapping measurable concentration range (OMCR) in which methylmercury can be indistinctly determined (75-100 ng g(-1) as mercury, wet basis). The suitability of both methods has been assayed with spiking experiences at levels within the OMCR with good recoveries. Both approaches have been validated with two certified reference materials (BCR-463, mercury and methylmercury in tuna fish; and NIST-2977, organic contaminants and trace metals in mussel tissue). Both procedures have been used for the analysis of three species of bivalve molluscs collected along the Andalusian coast (south Spain), all of them employed for human consumption (Chamelea gallina, Donax trunculus and Scrobicularia plana), and their potential use in routine analysis has been established.     

Design-based spatial interpolation with data driven selection of the smoothing parameter

Environmental and Ecological Statistics - In the inverse distance weighting interpolation the interpolated, value is a weighted mean of the sampled values, with weights decreasing with the...     

Red-list status and extinction risk of the world's whales,dolphins, and porpoises

To understand the scope and scale of the loss of biodiversity, tools are required that can be applied in a standardized manner to all species globally, spanning realms from land to the open ocean. We used data from the International Union for the Conservation of Nature Red List to provide a synthesis of the conservation status and extinction risk of cetaceans. One in 4 cetacean species (26% of 92 species) was threatened with extinction (i.e., critically endangered, endangered, or vulnerable) and 11% were near threatened. Ten percent of cetacean species were data deficient, and we predicted that 2–3 of these species may also be threatened. The proportion of threatened cetaceans has increased: 15% in 1991, 19% in 2008, and 26% in 2021. The assessed conservation status of 20% of species has worsened from 2008 to 2021, and only 3 moved into categories of lesser threat. Cetacean species with small geographic ranges were more likely to be listed as threatened than those with large ranges, and those that occur in freshwater (100% of species) and coastal (60% of species) habitats were under the greatest threat. Analysis of odontocete species distributions revealed a global hotspot of threatened small cetaceans in Southeast Asia, in an area encompassing the Coral Triangle and extending through nearshore waters of the Bay of Bengal, northern Australia, and Papua New Guinea and into the coastal waters of China. Improved management of fisheries to limit overfishing and reduce bycatch is urgently needed to avoid extinctions or further declines, especially in coastal areas of Asia, Africa, and South America.     

Chloride extraction for quality improvement of municipal solid waste incinerator ash for the concrete industry.

Coal ash from power stations has long been used successfully in the cement industry as binders in several Portland formulations. This is not the case for municipal solid waste (MSW) ash as chloride concentrations, ranging from 10 to 200 g kg(-1) dry weight in the bottom and fly ash, respectively, exceed the maximum allowable concentration in most cement mixtures. To reduce chloride content in MSW bottom ash, a laboratory investigation was carried out based on the exhaustive washing in tap water. The influence of operative parameters such as temperature, granulometric properties and solid/liquid ratio of extraction was evaluated. In addition to optimization of the mentioned operative parameters for full-scale application, the paper gives preliminary indications on mechanistic aspects of the washing operation.     

Mathematical modelling for conservation and management of gorgonians corals: youngs and olds,could they coexist?

Gorgonian corals are long-lived, slow-growing marine species dominating Mediterranean rocky bottoms. Endowed with complex morphologies they give a structure to the whole community, moreover, being efficient suspension feeders, they play a key role in plankton-benthos energy flow and CO₂${\text{CO}}_2$ storage. Thus, the structure and the development of benthic, hard bottom communities are linked to gorgonian survival. The red coral Corallium rubrum (L. 1758) is a precious gorgonian endemic to the Mediterranean Sea. Harvested and traded world-wide since ancient times red coral is a clear example of overexploited marine resource. This species is structured into self-seeding, genetically differentiated populations, some of which, living in the shallower part of the species bathymetric distribution, was recently affected by anomalous mortality events linked to global climate change. The co-occurrence of overharvesting and mass mortality could dramatically affect such populations. Demographic population models, widely applied by conservation biologists to check population viability and to project population trends over time are fundamental to foster survival of such populations matching harvesting to population growth rates. Therefore we set out a dynamic model of a genetically differentiated red coral population living in shallow waters. This population is characterised by small/young, crowded colonies and high recruitment rate. On the basis of the size–age structure determined for this population, a static life-history table, in which survival and reproduction coefficients of the different size–age classes were reported, has been set out. Demographic data were included in a non-linear, discrete, age-structured dynamic model, based on a Leslie-Lewis transition matrix. Our field data indicate that the recruits-to-larvae ratio is actually density-dependent. Such dependence, positive for low and negative for high density values, was included into the model and the effect of colonies of different size–age classes on recruits-to-larvae ratio was considered to be proportional to the number of polyps they have. We applied such model to simulate the trends of the studied population under different increases of survival and life-span. As some populations of gorgonians actually show the dominance of sparse, big/old colonies and low recruitment rate, while others are characterised by crowded, small/young colonies and high recruitment rate, we simulated the shift from the former to the latter structure increasing survival and life-span. Our results suggest that a dramatic mortality increase of bigger–older colonies (due, in the case of red coral to overfishing) could have determined the population structure we found.     

Preliminary study on persistence in soil and residues in maize of imidacloprid

The aim of this work was to study the distribution of imidacloprid in soil and its translocation to roots and aerial parts of maize plant. The main objective was to assess imidacloprid residues in field environment, in order to provide data on honeybees exposure level to such an active substance. Imidacloprid has been detected and quantified by Triple Quadrupole HPLC-MS-MS. Pesticide persistence in the soil and its residues in pollen and in maize plants have been evaluated during the growing of maize plants developed from seeds dressed with Gaucho 350 FS (imidacloprid: 1.0 mg/seed). The sowing has been performed by means of a pneumatic precision drill. Samples have been collected at 30, 45, 60, 80, 130 days after the sowing, as pollen samples have been collected at the tasseling. Imidacloprid presence in aerial part of maize plant declined to 2-3 μg/kg 80 days after the sowing, while concentration in kernel at harvest was <1 μg/kg. Maize pollen represents an important part of protein supply of beehives, and it is of critical importance to bee foraging. The values detected (imidacloprid residues <1 μg/kg) showed that maize pollen source should not be relevant for acute toxicity impact on honey bees.     

Assessing the impact of Cross Compliance measures on nitrogen fluxes from European farmlands with DNDC-EUROPE

We investigated the effects of the agricultural Cross Compliance measures for European cultivated lands, focusing on nitrogen (N) fluxes from corn fields. Four scenarios have been designed according to some conservation farming practices, namely no-till, max manure, catch crop and N splitting. Results indicated that (1) in the no-till scenario the N₂O fluxes are decreased during the first simulated years, with a return to default fluxes in following years; no-till particularly decreased N₂O emission in the dryer and colder simulation spatial units (HSMUs); (2) the no-till and the N splitting scenarios slightly increased the N surplus because of a decrease in plant uptake; (3) introducing a rotation with alfalfa decreased the N leaching in the corn crops following the catch crops; and (4) the application of fertilizer and manure during the cold and wet seasons led to an increase of N leaching.     

Does community resilience decrease social–ecological vulnerability? Adaptation pathways trade-off in the Bolivian Altiplano

Worsening climate change impacts and environmental degradation are increasingly supporting policies and plans in framing a linear understanding of resilience building and vulnerability reduction. However, adaptations to different but interacting drivers of change are unclear in the mix of opportunities and threats related to increasing connections, emerging technologies, new patterns of dependency and possible lock-in effects. This paper discusses a more open-ended understanding of the relationship between resilience and vulnerability, highlighting emerging trade-offs among adaptive capacities and exposures to different (and new) threats as they relate to social–ecological sustainability. The transition of the Southern Bolivian Altiplano, from being a remote rural area of subsistence farming to a global leader in quinoa production and exportation, has been taken as a study case. Results from 18 workshops organised within different communities provide insights about a range of trade-offs between community resilience attributes and social–ecological vulnerability induced from land use changes, livestock strategies, communities’ behavioural change and institutions’ emerging policies. The main theoretical advances of the paper relate to the need for critically framing multiple threat exposures and adaptive capacity trade-offs, contributing to arguing the usually positive meaning of resilience, and taking into account “to whom or to what is positive which adaptation” and “which trade-off should be accepted, and why”. Framing adaptive pathways through these questions would serve as a tool for addressing sustainable development goals, while avoiding lock-ins or unsustainable path dependencies.