The aerodynamic challenges of SRB recovery

Recovery and reuse of the Space Shuttle solid rocket boosters was baselined to support the primary goal to develop a low cost space transportation system. The recovery system required for the 170,000-lb boosters was for the largest and heaviest object yet to be retrieved from exoatmospheric conditions. State-of-the-art design procedures were ground-ruled and development testing minimized to produce both a reliable and cost effective system. The ability to utilize the inherent drag of the boosters during the initial phase of reentry was a key factor in minimizing the parachute loads, size and weight. A wind tunnel test program was devised to enable the accurate prediction of booster aerodynamic characteristics. Concurrently, wind tunnel, rocket sled and air drop tests were performed to develop and verify the performance of the parachute decelerator subsystem. Aerodynamic problems encountered during the overall recovery system development and the respective solutions are emphasized

Cold Flow Determination of the Internal Flow Environment Around the Submerged TVC Nozzle for the Space Shuttle SRM

A series of subscale cold flow tests was performed to quantify the gas flow characteristics at the aft end of the Space Shuttle Solid Rocket Motor. This information was used to support the analyses of the redesigned nozzle/case joint. A portion of the thermal loads at the joint are due to the circumferential velocities and pressure gradients caused primarily by the gimbaling of the submerged nose TVC nozzle. When the nozzle centerline is vectored with respect to the motor centerline, asymmetries are set up in the flow field under the submerged nozzle and immediately adjacent to the nozzle/case joint. Specific program objectives included: determination of the effects of nozzle gimbal angle and propellant geometry on the circumferential flow field; measurement of the static pressure and gas velocities in the vicinity of the nozzle/case joint; use of scaling laws to apply the subscale cold flow data to the full scale SRM; and generation of data for use in validation of 3-D computational fluid dynamic, CFD, models of the SRM flow field. These tests were conducted in the NASA Marshall Space Flight Center Airflow Facility with a 7.5 percent scale model of the aft segment of the SRM. Static and dynamic pressures were measured in the model to quantify the flow field. Oil flow data was also acquired to obtain qualitative visual descriptions of the flow field. Nozzle gimbal angles of 0, 3.5, and 7 deg were used with propellant grain configurations corresponding to motor burn times of 0, 9, 19, and 114 seconds. This experimental program was successful in generating velocity and pressure gradient data for the flow field around the submerged nose nozzle of the Space Shuttle SRM at various burn times and gimbal angles. The nature of the flow field adjacent to the nozzle/case joint was determined with oil droplet streaks, and the velocity and pressure gradients were quantified with pitot probes and wall static pressure measurements. The data was applied to the full scale SRM thru a scaling analysis and the results compared well with the 3-D computational fluid dynamics computer model

Project 1640 observations of the white dwarf HD 114174 B

We present the first near infrared spectrum of the faint white dwarf companion HD 114174 B, obtained with Project 1640. Our spectrum, covering the Y, J and H bands, combined with previous TaRgetting bENchmark-objects with Doppler Spectroscopy (TRENDS) photometry measurements, allows us to place further constraints on this companion. We suggest two possible scenarios; either this object is an old, low-mass, cool H atmosphere white dwarf with T_(eff) ∼ 3800 K or a high-mass white dwarf with T_(eff) > 6000 K, potentially with an associated cool (T_(eff) ∼ 700 K) brown dwarf or debris disc resulting in an infrared excess in the L΄ band. We also provide an additional astrometry point for 2014 June 12 and use the modelled companion mass combined with the radial velocity and direct imaging data to place constraints on the orbital parameters for this companion

A lower bound on CNF encodings of the at-most-one constraint

Constraint "at most one" is a basic cardinality constraint which requires that at most one of its $n$ boolean inputs is set to $1$. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are especially interested in propagation complete encodings which have the property that unit propagation is strong enough to enforce consistency on input variables. We show a lower bound on the number of clauses in any propagation complete encoding of the "at most one" constraint. The lower bound almost matches the size of the best known encodings. We also study an important case of 2-CNF encodings where we show a slightly better lower bound. The lower bound holds also for a related "exactly one" constraint.Comment: 38 pages, version 3 is significantly reorganized in order to improve readabilit

'If she gets married when she is young, she will give birth to many kids': a qualitative study of child marriage practices amongst nomadic pastoralist communities in Kenya

Child marriage is associated with adverse health and social outcomes for women and girls. Among pastoralists in Kenya, child marriage is believed to be higher compared to the national average. This paper explores how social norms and contextual factors sustain child marriage in communities living in conflict-affected North Eastern Kenya. In-depth interviews were carried out with nomadic and semi-nomadic women and men of reproductive age in Wajir and Mandera counties. Participants were purposively sampled across a range of age groups and community types. Interviews were analysed thematically and guided by a social norms approach. We found changes in the way young couples meet and evidence for negative perceptions of child marriage due to its impact on the girls’ reproductive health and gender inequality. Despite this, child marriage was common amongst nomadic and semi-nomadic women. Two overarching themes explained child marriage practices: 1) gender norms, and 2) desire for large family size. Our findings complement the global literature, while contributing perspectives of pastoralist groups. Contextual factors of poverty, traditional pastoral lifestyles and limited formal education opportunities for girls, supported large family norms and gender norms that encouraged and sustained child marriage

Project 1640 observations of the white dwarf HD 114174 B

We present the first near infrared spectrum of the faint white dwarf companion HD 114174 B, obtained with Project 1640. Our spectrum, covering the Y, J and H bands, combined with previous TaRgetting bENchmark-objects with Doppler Spectroscopy (TRENDS) photometry measurements, allows us to place further constraints on this companion. We suggest two possible scenarios; either this object is an old, low-mass, cool H atmosphere white dwarf with T_(eff) ∼ 3800 K or a high-mass white dwarf with T_(eff) > 6000 K, potentially with an associated cool (T_(eff) ∼ 700 K) brown dwarf or debris disc resulting in an infrared excess in the L΄ band. We also provide an additional astrometry point for 2014 June 12 and use the modelled companion mass combined with the radial velocity and direct imaging data to place constraints on the orbital parameters for this companion

Randomisation and Derandomisation in Descriptive Complexity Theory

We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP, bounded error probabilistic polynomial time, is defined from PTIME. Our main focus lies on questions of derandomisation, and we prove that there is a query which is definable in BPFO, the probabilistic version of first-order logic, but not in Cinf, finite variable infinitary logic with counting. This implies that many of the standard logics of finite model theory, like transitive closure logic and fixed-point logic, both with and without counting, cannot be derandomised. Similarly, we present a query on ordered structures which is definable in BPFO but not in monadic second-order logic, and a query on additive structures which is definable in BPFO but not in FO. The latter of these queries shows that certain uniform variants of AC0 (bounded-depth polynomial sized circuits) cannot be derandomised. These results are in contrast to the general belief that most standard complexity classes can be derandomised. Finally, we note that BPIFP+C, the probabilistic version of fixed-point logic with counting, captures the complexity class BPP, even on unordered structures

On QBF Proofs and Preprocessing

QBFs (quantified boolean formulas), which are a superset of propositional formulas, provide a canonical representation for PSPACE problems. To overcome the inherent complexity of QBF, significant effort has been invested in developing QBF solvers as well as the underlying proof systems. At the same time, formula preprocessing is crucial for the application of QBF solvers. This paper focuses on a missing link in currently-available technology: How to obtain a certificate (e.g. proof) for a formula that had been preprocessed before it was given to a solver? The paper targets a suite of commonly-used preprocessing techniques and shows how to reconstruct certificates for them. On the negative side, the paper discusses certain limitations of the currently-used proof systems in the light of preprocessing. The presented techniques were implemented and evaluated in the state-of-the-art QBF preprocessor bloqqer.Comment: LPAR 201

Project 1640 Observations of Brown Dwarf GJ 758 B: Near-infrared Spectrum and Atmospheric Modeling

The nearby Sun-like star GJ 758 hosts a cold substellar companion, GJ 758 B, at a projected separation of $\lesssim$30 AU, previously detected in high-contrast multi-band photometric observations. In order to better constrain the companion's physical characteristics, we acquired the first low-resolution ($R \sim 50$) near-infrared spectrum of it using the high-contrast hyperspectral imaging instrument Project 1640 on Palomar Observatory's 5-m Hale telescope. We obtained simultaneous images in 32 wavelength channels covering the $Y$, $J$, and $H$ bands ($\sim$952-1770 nm), and used data processing techniques based on principal component analysis to efficiently subtract chromatic background speckle-noise. GJ 758 B was detected in four epochs during 2013 and 2014. Basic astrometric measurements confirm its apparent northwest trajectory relative to the primary star, with no clear signs of orbital curvature. Spectra of SpeX/IRTF observed T dwarfs were compared to the combined spectrum of GJ 758 B, with ${\chi}^2$ minimization suggesting a best fit for spectral type T7.0$\pm$1.0, but with a shallow minimum over T5-T8. Fitting of synthetic spectra from the BT-Settl13 model atmospheres gives an effective temperature $T_{\text{eff}}=741 \pm 25$ K and surface gravity $\log g = 4.3 \pm 0.5$ dex (cgs). Our derived best-fit spectral type and effective temperature from modeling of the low-resolution spectrum suggest a slightly earlier and hotter companion than previous findings from photometric data, but do not rule out current results, and confirm GJ 758 B as one of the coolest sub-stellar companions to a Sun-like star to date