Investigation of abort procedures for space shuttle-type vehicles

An investigation has been made of abort procedures for space shuttle-type vehicles using a point mass trajectory optimization program known as POST. This study determined the minimum time gap between immediate and once-around safe return to the launch site from a baseline due-East launch trajectory for an alternate space shuttle concept which experiences an instantaneous loss of 25 percent of the total main engine thrust

The equilibrium free surface of a contained liquid under low gravity and centrifugal forces

Equilibrium free surface of contained liquid under effects of low gravity, translational and angular acceleration, and capillary force

Clinical Pharmacy: Looking 20 Years Back… Looking 20 Years Forward

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90209/1/phco.20.16.235S.35021.pd

Gestational age at delivery and special educational need: retrospective cohort study of 407,503 schoolchildren

<STRONG>Background</STRONG> Previous studies have demonstrated an association between preterm delivery and increased risk of special educational need (SEN). The aim of our study was to examine the risk of SEN across the full range of gestation. <STRONG>Methods and Findings</STRONG> We conducted a population-based, retrospective study by linking school census data on the 407,503 eligible school-aged children resident in 19 Scottish Local Authority areas (total population 3.8 million) to their routine birth data. SEN was recorded in 17,784 (4.9%) children; 1,565 (8.4%) of those born preterm and 16,219 (4.7%) of those born at term. The risk of SEN increased across the whole range of gestation from 40 to 24 wk: 37–39 wk adjusted odds ratio (OR) 1.16, 95% confidence interval (CI) 1.12–1.20; 33–36 wk adjusted OR 1.53, 95% CI 1.43–1.63; 28–32 wk adjusted OR 2.66, 95% CI 2.38–2.97; 24–27 wk adjusted OR 6.92, 95% CI 5.58–8.58. There was no interaction between elective versus spontaneous delivery. Overall, gestation at delivery accounted for 10% of the adjusted population attributable fraction of SEN. Because of their high frequency, early term deliveries (37–39 wk) accounted for 5.5% of cases of SEN compared with preterm deliveries (<37 wk), which accounted for only 3.6% of cases. <STRONG>Conclusions</STRONG> Gestation at delivery had a strong, dose-dependent relationship with SEN that was apparent across the whole range of gestation. Because early term delivery is more common than preterm delivery, the former accounts for a higher percentage of SEN cases. Our findings have important implications for clinical practice in relation to the timing of elective delivery

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

A Program for Risk Assessment Associated with IGSCC of BWR Vessel Internals

A program is being carried out for the US Nuclear Regulatory Commission (NRC) by the Idaho National Engineering and Environmental Laboratory (INEEL), to conduct an independent risk assessment of the consequences of failures initiated by intergranular stress corrosion cracking (IGSCC) of the reactor vessel internals of boiling water reactor (BWR) plants. The overall project objective is to assess the potential consequences and risks associated with the failure of IGSCC-susceptible BWR vessel internals, both singly and in combination with the failures of others, with specific consideration given to potential cascading and common mode effects on system performance. This paper presents a description of the overall program that is underway to modify an existing probabilistic risk assessment (PRA) of the BWR/4 plant to include IGSCC-initiated failures, subsequently to complete a quantitative PRA

Size of third and fourth ventricle in obstructive and communicating acute hydrocephalus after aneurysmal subarachnoid hemorrhage

In patients with acute hydrocephalus after aneurysmal subarachnoid haemorrhage (SAH), lumbar drainage is possible if the obstruction is in the subarachnoid space (communicating hydrocephalus). In case of intraventricular obstruction (obstructive hydrocephalus), ventricular drainage is the only option. A small fourth ventricle is often considered a sign of obstructive hydrocephalus. We investigated whether the absolute or relative size of the fourth ventricle can indeed distinguish between these two types of hydrocephalus. On CT-scans of 76 consecutive patients with acute headache but normal CT and CSF, we measured the cross-sectional surface of the third and fourth ventricle to obtain normal planimetric values. Subsequently we performed the same measurements on 117 consecutive SAH patients with acute hydrocephalus. These patients were divided according to the distribution of blood on CT-scan into three groups: mainly intraventricular blood (n = 15), mainly subarachnoid blood (n = 54) and both intraventricular and subarachnoid blood (n = 48). The size of the fourth ventricle exceeded the upper limit of normal in 2 of the 6 (33%) patients with intraventricular blood but without haematocephalus, and in 15 of the 54 (28%) patients with mainly subarachnoid blood. The mean ratio between the third and fourth ventricle was 1.45 (SD 0.66) in patients with intraventricular blood and 1.42 (SD 0.91) in those with mainly subarachnoid blood. Neither fourth ventricular size nor the ratio between the third and fourth ventricles discriminates between the two groups. A small fourth ventricle does not necessarily accompany obstructive hydrocephalus and is therefore not a contraindication for lumbar drainage

A Large Hadron Electron Collider at CERN

This document provides a brief overview of the recently published report on the design of the Large Hadron Electron Collider (LHeC), which comprises its physics programme, accelerator physics, technology and main detector concepts. The LHeC exploits and develops challenging, though principally existing, accelerator and detector technologies. This summary is complemented by brief illustrations of some of the highlights of the physics programme, which relies on a vastly extended kinematic range, luminosity and unprecedented precision in deep inelastic scattering. Illustrations are provided regarding high precision QCD, new physics (Higgs, SUSY) and electron-ion physics. The LHeC is designed to run synchronously with the LHC in the twenties and to achieve an integrated luminosity of O(100) fb$^{-1}$. It will become the cleanest high resolution microscope of mankind and will substantially extend as well as complement the investigation of the physics of the TeV energy scale, which has been enabled by the LHC