Validation of Ultrahigh Dependability for Software-Based Systems

Modern society depends on computers for a number of critical tasks in which failure can have very high costs. As a consequence, high levels of dependability (reliability, safety, etc.) are required from such computers, including their software. Whenever a quantitative approach to risk is adopted, these requirements must be stated in quantitative terms, and a rigorous demonstration of their being attained is necessary. For software used in the most critical roles, such demonstrations are not usually supplied. The fact is that the dependability requirements often lie near the limit of the current state of the art, or beyond, in terms not only of the ability to satisfy them, but also, and more often, of the ability to demonstrate that they are satisfied in the individual operational products (validation). We discuss reasons why such demonstrations cannot usually be provided with the means available: reliability growth models, testing with stable reliability, structural dependability modelling, as well as more informal arguments based on good engineering practice. We state some rigorous arguments about the limits of what can be validated with each of such means. Combining evidence from these different sources would seem to raise the levels that can be validated; yet this improvement is not such as to solve the problem. It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software

The Dependence of the Superconducting Transition Temperature of Organic Molecular Crystals on Intrinsically Non-Magnetic Disorder: a Signature of either Unconventional Superconductivity or Novel Local Magnetic Moment Formation

We give a theoretical analysis of published experimental studies of the effects of impurities and disorder on the superconducting transition temperature, T_c, of the organic molecular crystals kappa-ET_2X and beta-ET_2X (where ET is bis(ethylenedithio)tetrathiafulvalene and X is an anion eg I_3). The Abrikosov-Gorkov (AG) formula describes the suppression of T_c both by magnetic impurities in singlet superconductors, including s-wave superconductors and by non-magnetic impurities in a non-s-wave superconductor. We show that various sources of disorder lead to the suppression of T_c as described by the AG formula. This is confirmed by the excellent fit to the data, the fact that these materials are in the clean limit and the excellent agreement between the value of the interlayer hopping integral, t_perp, calculated from this fit and the value of t_perp found from angular-dependant magnetoresistance and quantum oscillation experiments. If the disorder is, as seems most likely, non-magnetic then the pairing state cannot be s-wave. We show that the cooling rate dependence of the magnetisation is inconsistent with paramagnetic impurities. Triplet pairing is ruled out by several experiments. If the disorder is non-magnetic then this implies that l>=2, in which case Occam's razor suggests that d-wave pairing is realised. Given the proximity of these materials to an antiferromagnetic Mott transition, it is possible that the disorder leads to the formation of local magnetic moments via some novel mechanism. Thus we conclude that either kappa-ET_2X and beta-ET_2X are d-wave superconductors or else they display a novel mechanism for the formation of localised moments. We suggest systematic experiments to differentiate between these scenarios.Comment: 18 pages, 5 figure

Finite element simulation of three-dimensional free-surface flow problems

An adaptive finite element algorithm is described for the stable solution of three-dimensional free-surface-flow problems based primarily on the use of node movement. The algorithm also includes a discrete remeshing procedure which enhances its accuracy and robustness. The spatial discretisation allows an isoparametric piecewise-quadratic approximation of the domain geometry for accurate resolution of the curved free surface. The technique is illustrated through an implementation for surface-tension-dominated viscous flows modelled in terms of the Stokes equations with suitable boundary conditions on the deforming free surface. Two three-dimensional test problems are used to demonstrate the performance of the method: a liquid bridge problem and the formation of a fluid droplet

Measurement of the Bottom contribution to non-photonic electron production in p+pp+p collisions at s\sqrt{s} =200 GeV

The contribution of $B$ meson decays to non-photonic electrons, which are mainly produced by the semi-leptonic decays of heavy flavor mesons, in $p+p$ collisions at $\sqrt{s} =$ 200 GeV has been measured using azimuthal correlations between non-photonic electrons and hadrons. The extracted $B$ decay contribution is approximately 50% at a transverse momentum of $p_{T} \geq 5$ GeV/$c$. These measurements constrain the nuclear modification factor for electrons from $B$ and $D$ meson decays. The result indicates that $B$ meson production in heavy ion collisions is also suppressed at high $p_{T}$.Comment: 6 pages, 4 figures, accepted by PR

Spironolactone and colitis: Increased mortality in rodents and in humans

Background: Crohn's disease causes intestinal inflammation leading to intestinal fibrosis. Spironolactone is an antifibrotic medication commonly used in heart failure to reduce mortality. We examined whether spironolactone is antifibrotic in the context of intestinal inflammation. Methods: In vitro, spironolactone repressed fibrogenesis in transforming growth factor beta (TGF‐β)‐stimulated human colonic myofibroblasts. However, spironolactone therapy significantly increased mortality in two rodent models of inflammation‐induced intestinal fibrosis, suggesting spironolactone could be harmful during intestinal inflammation. Since inflammatory bowel disease (IBD) patients rarely receive spironolactone therapy, we examined whether spironolactone use was associated with mortality in a common cause of inflammatory colitis, Clostridium difficile infection (CDI). Results: Spironolactone use during CDI infection was associated with increased mortality in a retrospective cohort of 4008 inpatients (15.9% vs. 9.1%, n = 390 deaths, P < 0.0001). In patients without liver disease, the adjusted odds ratio (OR) for inpatient mortality associated with 80 mg spironolactone was 1.99 (95% confidence interval [CI]: 1.51–2.63) In contrast to the main effect of spironolactone mortality, multivariate modeling revealed a protective interaction between liver disease and spironolactone dose. The adjusted OR for mortality after CDI was 1.96 (95% CI: 1.50–2.55) for patients without liver disease on spironolactone vs. 1.28 (95% CI: 0.82–2.00) for patients with liver disease on spironolactone when compared to a reference group without liver disease or spironolactone use. Conclusions: We propose that discontinuation of spironolactone in patients without liver disease during CDI could reduce hospital mortality by 2‐fold, potentially reducing mortality from CDI by 35,000 patients annually across Europe and the U.S. (Inflamm Bowel Dis 2011;)Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/92045/1/21929_ftp.pd

Longitudinal double-spin asymmetry and cross section for inclusive neutral pion production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV

We report a measurement of the longitudinal double-spin asymmetry A_LL and the differential cross section for inclusive Pi0 production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV. The cross section was measured over a transverse momentum range of 1 < p_T < 17 GeV/c and found to be in good agreement with a next-to-leading order perturbative QCD calculation. The longitudinal double-spin asymmetry was measured in the range of 3.7 < p_T < 11 GeV/c and excludes a maximal positive gluon polarization in the proton. The mean transverse momentum fraction of Pi0's in their parent jets was found to be around 0.7 for electromagnetically triggered events.Comment: 6 pages, 3 figures, submitted to Phys. Rev. D (RC

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Structural characterization of N-protonated amides: Regioselective N-activation of medium-bridged twisted lactams

The straightforward protonation of lactams by treatment with acid and the full structural characterization of three resulting N-protonated lactams are disclosed. This work provides experimental evidence that N-protonation of amide bonds results in a dramatic increase in nonplanarity about the C-N amide bond. The resulting compounds are discussed in structural, spectroscopic, and reactivity terms. The data suggest that distortion of these amide bonds by -50° is sufficient for their effective N-activation