Critical fault patterns determination in fault-tolerant computer systems

The method proposed tries to enumerate all the critical fault-patterns (successive occurrences of failures) without analyzing every single possible fault. The conditions for the system to be operating in a given mode can be expressed in terms of the static states. Thus, one can find all the system states that correspond to a given critical mode of operation. The next step consists in analyzing the fault-detection mechanisms, the diagnosis algorithm and the process of switch control. From them, one can find all the possible system configurations that can result from a failure occurrence. Thus, one can list all the characteristics, with respect to detection, diagnosis, and switch control, that failures must have to constitute critical fault-patterns. Such an enumeration of the critical fault-patterns can be directly used to evaluate the overall system tolerance to failures. Present research is focused on how to efficiently make use of these system-level characteristics to enumerate all the failures that verify these characteristics

A combined Fourier transform infrared and Cr K-edge X-ray absorption near-edge structure spectroscopy study of the substitution and diffusion of H in Cr-doped forsterite

International audienceSingle crystals of synthetic Cr-doped forsterite (Cr:Mg2SiO4) containing both Cr3+ and Cr4+ were partially hydroxylated in piston-cylinder apparatuses at 750-1300 degrees C and pressures from 0.5 to 2.5 GPa, with P(H2O) approximate to P-total. The oxygen fugacity (fO(2)) was buffered by graphite-water, Ni-NiO, Re-ReO2, Fe2O3-Fe3O4 or Ag-Ag2O, and the silica activity (a SiO2) was buffered by powdered forsterite plus either enstatite (Mg2Si2O6), periclase (MgO) or zircon-baddeleyite (ZrSiO4-ZrO2). Profiles of OH content versus distance from the crystal edge were determined using Fourier transform infrared (FTIR) spectroscopy, and profiles of the oxidation state and coordination geometry of Cr were obtained, at the same positions, using K-edge X-ray absorption near-edge structure (XANES) spectroscopy. The techniques are complementary - FTIR spectroscopy images the concentration and nature of O-H bonds, where Cr K-edge XANES spectroscopy shows the effect of the added H on the speciation of Cr already present in the lattice. Profiles of defect-specific absorbance derived from FTIR spectra were fitted to solutions of Fick's second law to derive diffusion coefficients, which yield the Arrhenius relationship for H diffusion in forsterite: log(10)(D) over tilde ([001]) = -2.5 +/- 0.6 + -(224 +/- 12 + 4.0 +/- 2.0 P)/2.303 RT , where (D) over tilde is the measured diffusion coefficient in m(2) s(-1), valid for diffusion parallel to [001] and calibrated between 1000 and 750 degrees C, P and T are in GPa and K, and R is 0.008314 kJK(-1) mol(-1). Diffusivity parallel to [100] is around 1 order of magnitude lower. This is consistent with previous determinations of H diffusion associated with M-site vacancies. The FTIR spectra represent a variety of Cr-bearing hydrous defects, along with defects associated with the pure Mg-Si-O-H system. It is proposed that all of the defects can form by interaction between the dry lattice, including Cr3+ and Cr4+, and fully hydroxylated M-site vacancies. The initial diffusive wave of hydroxylation is associated with neither reduction nor oxidation of Cr but with Cr4+ changing from tetrahedral to octahedral coordination. Superimposed on the H diffusion and concomitant change in Cr4+ site occupancy, but at a slower rate, producing shorter profiles, is reduction of Cr4+ to Cr3+ and potentially of Cr4+ and Cr3+ to Cr2+. In addition, by comparing FTIR data to trace element contents measured by laser ablation inductively coupled plasma mass spectrometry (LA-ICP-MS), constraints can be placed on absorption coefficients used for converting absorbance to H2O contents - our data support either wavenumber- or defect-dependent values of absorption coefficients. We estimate absorption coefficients of between 60 200 and 68 200 L mol(-1) cm(-1) for OH- associated with octahedral Cr3+ and an M-site vacancy and 18 700 to 24 900 L mol(-1) cm(-1) for two OH- associated with octahedrally coordinated Cr4+ and a Si vacancy (i.e. a clinohumite-type point defect)

Spinel Harzburgite-Derived Silicate Melts Forming Sulfide-Bearing Orthopyroxenite in the Lithosphere. Part 1: Partition Coefficients and Volatile Evolution Accompanying Fluid- and Redox-Induced Sulfide Formation

We report abundances of major trace and volatile elements in an orthopyroxenite vein cutting a sub-arc, mantle-derived, spinel harzburgite xenolith from Kamchatka. The orthopyroxenite contains abundant sulfides and is characterized by the presence of glass (formerly melt) both interstitially and as inclusions in minerals, comparable with similar veins from the West Bismarck arc. The glass formed by quenching of residual melts following crystallization of abundant orthopyroxene, amphibole, and minor olivine and spinel. The interstitial glass has a low-Ti, high-Mg# andesite composition, with a wide range of H2O and S contents but more limited F and Cl variations. We calculate trace element partition coefficients using mineral and glass data, including those for halogens in amphibole, which agree with experimental results from the literature. Despite having a similar, high-Mg# andesite composition, the orthopyroxene-hosted glass inclusions usually contain much more H2O and S than the interstitial glass (4–7 wt% and ∼2,600 ppm, respectively). The initial vein-forming melts were oxidized, recording oxygen fugacity conditions up to ∼1.5 log units above the fayalite–magnetite–quartz oxygen buffer. They intruded the sub-arc mantle lithosphere at ≥1,300°C, where they partially crystallized to form high-Mg# andesitic derivative melts at ca. 1,050–1,100°C. Comparison with literature data on glass-free orthopyroxenite veins from Kamchatka and the glass-bearing ones from West Bismarck reveals fundamental similarities indicating common parental melts, which were originally produced by low-degree melting (≤5%) of spinel harzburgite at ≥1,360°C and ≤1.5 GPa. This harzburgite source likely contained ≤0.05 wt% H2O and a few ppm of halogens. Volatile evolution inferred from glass compositions shows that (i) redox exchange between S6+ in the original melt and Fe2+ in the host mantle minerals, together with (ii) the formation of an S-bearing, (H2O, Cl)-rich hydrothermal fluid from the original melt, provides the conditions for the formation of abundant sulfides in the orthopyroxenites during cooling. During this process, up to 85% of the original melt S content (∼2,600 ppm) is locally precipitated as magmatic and hydrothermal sulfides. As such, melts derived from spinel harzburgite sources can concentrate chalcophile and highly siderophile metals in orthopyroxenite dykes and sills in the lithosphere

Modelling the sulfate capacity of simulated radioactive waste borosilicate glasses

The capacity of simulated high-level radioactive waste borosilicate glasses to incorporate sulfate has been studied as a function of glass composition. Combined Raman, 57Fe Mössbauer and literature evidence supports the attribution of coordination numbers and oxidation states of constituent cations for the purposes of modelling, and results confirm the validity of correlating sulfate incorporation in multicomponent borosilicate radioactive waste glasses with different models. A strong compositional dependency is observed and this can be described by an inverse linear relationship between incorporated sulfate (mol% SO42−) and total cation field strength index of the glass, Σ(z/a2), with a high goodness-of-fit (R2 ≈ 0.950). Similar relationships are also obtained if theoretical optical basicity, Λth (R2 ≈ 0.930) or non-bridging oxygen per tetrahedron ratio, NBO/T (R2 ≈ 0.919), are used. Results support the application of these models, and in particular Σ(z/a2), as predictive tools to aid the development of new glass compositions with enhanced sulfate capacities

Fractional crystallisation of eclogite during the birth of a Hawaiian Volcano

International audienceThe initial melts erupted by a Hawaiian volcano have a range of alkalic compositions but are rarely observed as they are covered by enormous volumes of shield stage tholeiites. A remarkable record of the early evolution of Hawaiian volcanoes, however, is preserved by a volcanic sandstone dredged from the submarine flank of Kilauea, which contains a suite of petrogenetically related pre-shield basanite to nephelinite glasses. Here we show that the systematic variation in the rare earth element (REE) patterns of these samples requires the fractional crystallisation of garnet. A fractionating assemblage of Ca-rich garnet (32%), omphacitic clinopyroxene (63%), and minor phlogopite can explain the variation in the major and trace element contents of the suite. The results suggest fractional crystallisation of eclogite from a primitive Hawaiian melt near the base of the lithosphere (>90 km) and that a deep magma chamber is the first stage in the development of a Hawaiian volcano

Effect of Ti4+ on the structure of nepheline (NaAlSiO4) glass

In this study, the effect of Ti4+ on the structure of nepheline glass (NaAlSiO4) is investigated as SiO2 is systematically replaced with TiO2. Traditionally, TiO2 is considered to be a nucleating agent for silicate crystallization but can also be incorporated into the glass network in relatively large amounts as either a network former or modifier depending on its coordination with oxygen. To determine the effect of Ti4+ on the structure of nepheline glass, X-ray and neutron pair distribution function (PDF) analysis paired with Empirical Potential Structure Refinement (EPSR) were conducted and are supplemented with Raman spectroscopy, electron probe microanalysis, and X-ray absorption spectroscopy (including Extended X-ray Absorption Fine Structure, EXAFS). Through these methods, it has been found that up to 15 mol% (16 wt%) TiO2 can incorporate into the glass network as a four-fold coordinated species, with a minor contribution of higher coordinated Ti. Between NaAlTi0.1Si0.9O4 and NaAlTi0.2Si0.8O4, EXAFS suggests a local structure change in the second coordination sphere of Ti, which changes from Ti-Ti to Ti-Al. Raman spectroscopy also suggests that as Ti content increases, the Na environment becomes more ordered. These results suggest that the Ti activity coefficient and its isotopic fractionation for magnetite and other Ti-bearing minerals should be fairly constant in polymerized melts, such as metaluminous and peraluminous rhyolites