Categorical Combinatorics for Innocent Strategies

International audienceWe show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former distributing over the latter. Innocent strategies are the maps in the induced two-sided Kleisli category. Thus the problematic composition of innocent strategies reflects the use of the distributive law. The composition of simple strategies, and the combinatorics of pointers used to give the comonad and monad are themselves described in categorical terms. The notions of view and of legal play arise naturally in the explanation of the distributivity. The category-theoretic perspective provides a clear discipline for the necessary combinatorics

Assessment of Buffet Forcing Function Development Process Using Unsteady Pressure Sensitive Paint

A wind tunnel test was conducted at the Ames Unitary Plan Wind Tunnel to characterize the transonic buffet environment of a generic launch vehicle forebody. The test examined a highly instrumented version of the Coe and Nute Model 11 test article first tested in the 1960s. One of the measurement techniques used during this test was unsteady pressure sensitive paint (uPSP) developed at the Arnold Engineering Development Complex. This optical measurement technique measured fluctuating pressures at over 300,000 locations on the surface of the model. The high spatial density of these measurements provided an opportunity to examine in depth the assumptions underpinning the development of buffet forcing functions (BFFs) used in the development of the Space Launch System vehicle. The comparison of discrete-measurement-based BFFs to BFFs developed by continuous surface pressure integration indicates that the current BFF development approach under predicts low frequency content of the BFFs while over predicting high frequency content. Coherence-based adjustments employed to reduce over prediction in the surface integration of discrete pressure measurements contribute to the inaccuracy of the BFFs and their implementation should be reevaluated

Bovine polledness

The persistent horns are an important trait of speciation for the family Bovidae with complex morphogenesis taking place briefly after birth. The polledness is highly favourable in modern cattle breeding systems but serious animal welfare issues urge for a solution in the production of hornless cattle other than dehorning. Although the dominant inhibition of horn morphogenesis was discovered more than 70 years ago, and the causative mutation was mapped almost 20 years ago, its molecular nature remained unknown. Here, we report allelic heterogeneity of the POLLED locus. First, we mapped the POLLED locus to a ∼381-kb interval in a multi-breed case-control design. Targeted re-sequencing of an enlarged candidate interval (547 kb) in 16 sires with known POLLED genotype did not detect a common allele associated with polled status. In eight sires of Alpine and Scottish origin (four polled versus four horned), we identified a single candidate mutation, a complex 202 bp insertion-deletion event that showed perfect association to the polled phenotype in various European cattle breeds, except Holstein-Friesian. The analysis of the same candidate interval in eight Holsteins identified five candidate variants which segregate as a 260 kb haplotype also perfectly associated with the POLLED gene without recombination or interference with the 202 bp insertion-deletion. We further identified bulls which are progeny tested as homozygous polled but bearing both, 202 bp insertion-deletion and Friesian haplotype. The distribution of genotypes of the two putative POLLED alleles in large semi-random sample (1,261 animals) supports the hypothesis of two independent mutations

Ares Launch Vehicle Transonic Buffet Testing and Analysis Techniques

It is necessary to define the launch vehicle buffet loads to ensure that structural components and vehicle subsystems possess adequate strength, stress, and fatigue margins when the vehicle structural dynamic response to buffet forcing functions are considered. In order to obtain these forcing functions, the accepted method is to perform wind-tunnel testing of a rigid model instrumented with hundreds of unsteady pressure transducers designed to measure the buffet environment across the desired frequency range. The buffet wind-tunnel test program for the Ares Crew Launch Vehicle employed 3.5 percent scale rigid models of the Ares I and Ares I-X launch vehicles instrumented with 256 unsteady pressure transducers each. These models were tested at transonic conditions at the Transonic Dynamics Tunnel at NASA Langley Research Center. The ultimate deliverable of the Ares buffet test program are buffet forcing functions (BFFs) derived from integrating the measured fluctuating pressures on the rigid wind-tunnel models. These BFFs are then used as input to a multi-mode structural analysis to determine the vehicle response to buffet and the resulting buffet loads and accelerations. This paper discusses the development of the Ares I and I-X rigid buffet model test programs from the standpoint of model design, instrumentation system design, test implementation, data analysis techniques to yield final products, and presents normalized sectional buffet forcing function root-mean-squared levels

Analysis of Ares Crew Launch Vehicle Transonic Alternating Flow Phenomenon

A transonic wind tunnel test of the Ares I-X Rigid Buffet Model (RBM) identified a Mach number regime where unusually large buffet loads are present. A subsequent investigation identified the cause of these loads to be an alternating flow phenomenon at the Crew Module-Service Module junction. The conical design of the Ares I-X Crew Module and the cylindrical design of the Service Module exposes the vehicle to unsteady pressure loads due to the sudden transition between a subsonic separated and a supersonic attached flow about the cone-cylinder junction as the local flow randomly fluctuates back and forth between the two flow states. These fluctuations produce a square-wave like pattern in the pressure time histories resulting in large amplitude, impulsive buffet loads. Subsequent testing of the Ares I RBM found much lower buffet loads since the evolved Ares I design includes an ogive fairing that covers the Crew Module-Service Module junction, thereby making the vehicle less susceptible to the onset of alternating flow. An analysis of the alternating flow separation and attachment phenomenon indicates that the phenomenon is most severe at low angles of attack and exacerbated by the presence of vehicle protuberances. A launch vehicle may experience either a single or, at most, a few impulsive loads since it is constantly accelerating during ascent rather than dwelling at constant flow conditions in a wind tunnel. A comparison of a windtunnel- test-data-derived impulsive load to flight-test-data-derived load indicates a significant over-prediction in the magnitude and duration of the buffet load. I. Introduction On

Effect of Surface Pressure Integration Methodology on Launch Vehicle Buffet Forcing Functions

The 2014 test of the Space Launch System (SLS) Rigid Buffet Model conducted at the NASA Langley Transonic Dynamics Tunnel employed an extremely high number of unsteady pressure transducers. The high channel count provided an opportunity to examine the effect of transducer placement on the resulting buffet forcing functions (BFFs). Rings of transducers on the forward half of the model were employed to simulate a single-body vehicle. The impact of transducer density, circumferential distribution, and loss of a single transducer on the resulting BFFs were examined. Rings of transducers on the aft half of the SLS model were employed to examine the effect of transducer density and circumferential distribution on BFFs for a multi-body configuration. Transducer placement considerations with respect to model size, facility infrastructure, and data acquisition system capabilities, which affect the integration process, are also discussed

A JVLA 10~degree^2 deep survey

(Abridged)One of the fundamental challenges for astrophysics in the 21st century is finding a way to untangle the physical processes that govern galaxy formation and evolution. Given the importance and scope of this problem, the multi-wavelength astronomical community has used the past decade to build up a wealth of information over specific extragalactic deep fields to address key questions in galaxy formation and evolution. These fields generally cover at least 10square degrees to facilitate the investigation of the rarest, typically most massive, galaxies and AGN. Furthermore, such areal coverage allows the environments to be fully accounted for, thereby linking the single halo to the two-halo terms in the halo occupation distribution. Surveys at radio wavelengths have begun to lag behind those at other wavelengths, especially in this medium-deep survey tier. However, the survey speed offered by the JVLA means that we can now reach a point where we can begin to obtain commensurate data at radio wavelengths to those which already exists from the X-ray through to the far-infrared over ~10 square degrees. We therefore present the case for a 10 square degree survey to 1.5uJy at L-band in A or B Array, requiring ~4000 hours to provide census of star-formation and AGN-accretion activity in the Universe. For example, the observations will allow galaxies forming stars at 10Msolar/yr to be detected out to z~1 and luminous infrared galaxies (1000Msolar/yr to be found out to z~6. Furthermore, the survey area ensures that we will have enough cosmic volume to find these rare sources at all epochs. The bandwidth will allow us to determine the polarisation properties galaxies in the high-redshift Universe as a function of stellar mass, morphology and redshift.Comment: 18 pages, 6 figures. White Paper submitted to the call for Very Large Array Sky Survey

Increased compensatory kidney workload results in cellular damage in a short time porcine model of mixed acidemia – Is acidemia a ‘first hit’ in acute kidney injury?

Acute kidney injury (AKI) corrupts the outcome of about 50% of all critically ill patients. We investigated the possible contribution of the pathology acidemia on the development of AKI. Pigs were exposed to acidemia, acidemia plus hypoxemia or a normal acid-base balance in an experimental setup, which included mechanical ventilation and renal replacement therapy to facilitate biotrauma caused by extracorporeal therapies. Interestingly, extensive histomorphological changes like a tubular loss of cell barriers occurred in the kidneys after just 5 hours exposure to acidemia. The additional exposure to hypoxemia aggravated these findings. These 'early' microscopic pathologies opposed intra vitam data of kidney function. They did not mirror cellular or systemic patterns of proinflammatory molecules (like TNF-α or IL 18) nor were they detectable by new, sensitive markers of AKI like Neutrophil gelatinase-associated lipocalin. Instead, the data suggest that the increased renal proton excretion during acidemia could be an 'early' first hit in the multifactorial pathogenesis of AKI

Pretransplant HLA typing revealed loss of heterozygosity in the major histocompatibility complex in a patient with acute myeloid leukemia

Introduction Chromosomal abnormalities are frequent events in hematological malignancies. The degree of HLA compatibility between donor and recipient in hematopoietic stem cell transplantation is critical. Purpose of the study In this report, we describe an acute myeloid leukemia case with loss of heterozygosity (LOH) encompassing the entire HLA. Materials and methods HLA molecular typing was performed on peripheral blood (PB) and buccal swabs (BS). Chromosomal microarray analysis (CMA) was performed using a whole genome platform. Results Typing results on PB sample collected during blast crisis demonstrated homozygosity at the -A, -B, -C, -DR, and -DQ loci. A BS sample demonstrated heterozygosity at all loci. A subsequent PB sample drawn after count recovery confirmed heterozygosity. The CMA performed on PB samples collected during and after blast crisis revealed a large terminal region of copy-neutral LOH involving chromosome region 6p25.3p21.31, spanning approximately 35.9 Mb. The results of the CMA assay on sample collected after count recovery did not demonstrate LOH. Conclusions LOH at the HLA gene locus may significantly influence the donor search resulting in mistakenly choosing homozygous donors. We recommend confirming the HLA typing of recipients with hematological malignancies when homozygosity is detected at any locus by using BS samples, or alternatively from PB when remission is achieved