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

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

Intimate partner violence, depression, and sexual behaviour among gay, bisexual and other men who have sex with men in the PROUD trial.

BACKGROUND: Little is known about the prevalence and correlates of intimate partner violence (IPV) among gay, bisexual and other men who have sex with men (GBMSM) in the UK. The aim of this study was to investigate the prevalence of IPV, associations of socio-economic and psychosocial factors with IPV, and the association of IPV with depression and sexual behaviour, among GBMSM in the PROUD trial of pre-exposure prophylaxis (PrEP). METHODS: PROUD enrolled 544 HIV-negative participants in England from 2012 to 2014; participants were randomised to immediate or deferred PrEP. This analysis included 436 GBMSM who had IPV data at month-12 and/or 24. Prevalence of IPV victimization and perpetration (lifetime, and in the past year) was assessed at these time-points. Generalized estimating equations were used to investigate associations with IPV, using pooled data from both time-points. RESULTS: At month-12 (N = 410), 44.9% of men reported ever being a victim of IPV, 15.6% in the last year, and 19.5% reported ever perpetrating IPV, 7.8% in the last year. At month-24 (N = 333), the corresponding prevalence was 40.2 and 14.7% for lifetime and past year IPV victimization and 18.0 and 6.9% for lifetime and past year IPV perpetration. IPV prevalence did not differ by randomised arm. Men reporting internalized homophobia and sexualized drug use were more likely to report IPV. Lifetime and last year experience of IPV victimization and perpetration were strongly associated with depressive symptoms (PHQ-9 ≥ 10) (adjusted for socio-demographics: lifetime IPV victimization PR 2.57 [95% CI: 1.71, 3.86]; past year IPV victimization PR 2.93 [95% CI: 1.96, 4.40]; lifetime IPV perpetration PR 2.87 [95% CI: 1.91, 4.32]; past year IPV perpetration PR 3.47 [95% CI: 2.13, 5.64], p < 0.001 for all); IPV was not consistently associated with measures of condomless anal sex or high partner numbers. CONCLUSIONS: GBMSM at high-risk of HIV who are seeking/taking PrEP may experience a high burden of IPV, which may be linked to depression. Training on awareness of and enquiry for IPV among GBMSM in sexual health clinics is recommended. TRIAL REGISTRATION: ClinicalTrials.gov identifier: NCT02065986 . Registered 19 February 2014 (retrospectively registered)

Interpreting an action from what we perceive and what we expect

International audienceIn update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent's epistemic state based on hyperreal numbers. In that respect, we use infinitesimals to express what would surprise the agents (and by how much) by contradicting their beliefs. We also use a subjective probability to model the notion of belief. It turns out that our probabilistic update mechanism satisfies the AGM postulates of belief revision

Search reduction in hierarchical distributed problem solving

Knoblock and Korf have determined that abstraction can reduce search at a single agent from exponential to linear complexity (Knoblock 1991; Korf 1987). We extend their results by showing how concurrent problem solving among multiple agents using abstraction can further reduce search to logarithmic complexity. We empirically validate our formal analysis by showing that it correctly predicts performance for the Towers of Hanoi problem (which meets all of the assumptions of the analysis). Furthermore, a powerful form of abstraction for large multiagent systems is to group agents into teams, and teams of agents into larger teams, to form an organizational pyramid. We apply our analysis to such an organization of agents and demonstrate the results in a delivery task domain. Our predictions about abstraction's benefits can also be met in this more realistic domain, even though assumptions made in our analysis are violated. Our analytical results thus hold the promise for explaining in general terms many experimental observations made in specific distributed AI systems, and we demonstrate this ability with examples from prior research.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42828/1/10726_2005_Article_BF01384251.pd

Access and utilisation of maternity care for disabled women who experience domestic abuse:a systematic review

BACKGROUND: Although disabled women are significantly more likely to experience domestic abuse during pregnancy than non-disabled women, very little is known about how maternity care access and utilisation is affected by the co-existence of disability and domestic abuse. This systematic review of the literature explored how domestic abuse impacts upon disabled women’s access to maternity services. METHODS: Eleven articles were identified through a search of six electronic databases and data were analysed to identify: the factors that facilitate or compromise access to care; the consequences of inadequate care for pregnant women’s health and wellbeing; and the effectiveness of existing strategies for improvement. RESULTS: Findings indicate that a mental health diagnosis, poor relationships with health professionals and environmental barriers can compromise women’s utilisation of maternity services. Domestic abuse can both compromise, and catalyse, access to services and social support is a positive factor when accessing care. Delayed and inadequate care has adverse effects on women’s physical and psychological health, however further research is required to fully explore the nature and extent of these consequences. Only one study identified strategies currently being used to improve access to services for disabled women experiencing abuse. CONCLUSIONS: Based upon the barriers and facilitators identified within the review, we suggest that future strategies for improvement should focus on: understanding women’s reasons for accessing care; fostering positive relationships; being women-centred; promoting environmental accessibility; and improving the strength of the evidence base

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

Experiences of being exposed to intimate partner violence during pregnancy

In this study a phenomenological approach was used in order to enter deeply into the experience of living with violence during pregnancy. The aim of the study was to gain a deeper understanding of women's experiences of being exposed to intimate partner violence (IPV) during pregnancy. The data were collected through in-depth interviews with five Norwegian women; two during pregnancy and three after the birth. The women were between the age of 20 and 38 years. All women had received support from a professional research and treatment centre. The essential structure shows that IPV during pregnancy is characterized by difficult existential choices related to ambivalence. Existential choices mean questioning one's existence, the meaning of life as well as one's responsibility for oneself and others. Five constituents further explain the essential structure: Living in unpredictability, the violence is living in the body, losing oneself, feeling lonely and being pregnant leads to change. Future life with the child is experienced as a possibility for existential change. It is important for health professionals to recognize and support pregnant women who are exposed to violence as well as treating their bodies with care and respect