Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

Instrument continuously measures density of flowing fluids

Electromechanical densitometer continuously measures the densities of either single-phase or two-phase flowing cryogenic fluids. Measurement is made on actual flow. The instrument operates on the principle that the mass of any vibrating system is a primary factor in determining the dynamic characteristics of the system

Description and simulation of an integrated power and attitude control system concept for space-vehicle application

An Integrated Power and Attitude Control System (IPACS) concept with potential application to a broad class of space missions is discussed. A description is given of the basic concept of combining the onboard energy storage and attitude control functions by storing energy in spinning flywheels which are used to provide control torques. A shuttle-launched Research and Applications Module (RAM) A303B solar-observatory mission having stringent pointing requirements (1.0 arc second) is selected to investigate possible interactions between energy storage and attitude control. A simulation of this spacecraft involving actual laboratory-model control-system hardware is presented. Simulation results are discussed which indicate that the IPACS concept, even in a failure-mode configuration, can readily meet the RAM A303B pointing requirements

Durability of zirconia thermal-barrier ceramic coatings on air-cooled turbine blades in cyclic jet engine operation

Thermal barrier ceramic coatings of stabilized zirconia over a bond coat of Ni Cr Al Y were tested for durability on air cooled turbine rotor blades in a research turbojet engine. Zirconia stabilized with either yttria, magnesia, or calcia was investigated. On the basis of durability and processing cost, the yttria stabilized zirconia was considered the best of the three coatings investigated

Densitometer Patent

Measuring density of single and two-phase cryogenic fluids in rocket fuel tank

Toward the next generation of research into small area effects on health : a synthesis of multilevel investigations published since July 1998.

To map out area effects on health research, this study had the following aims: (1) to inventory multilevel investigations of area effects on self rated health, cardiovascular diseases and risk factors, and mortality among adults; (2) to describe and critically discuss methodological approaches employed and results observed; and (3) to formulate selected recommendations for advancing the study of area effects on health. Overall, 86 studies were inventoried. Although several innovative methodological approaches and analytical designs were found, small areas are most often operationalised using administrative and statistical spatial units. Most studies used indicators of area socioeconomic status derived from censuses, and few provided information on the validity and reliability of measures of exposures. A consistent finding was that a significant portion of the variation in health is associated with area context independently of individual characteristics. Area effects on health, although significant in most studies, often depend on the health outcome studied, the measure of area exposure used, and the spatial scale at which associations are examined

The genetic architecture underlying the evolution of a rare piscivorous life history form in brown trout after secondary contact and strong introgression

Identifying the genetic basis underlying phenotypic divergence and reproductive isolation is a longstanding problem in evolutionary biology. Genetic signals of adaptation and reproductive isolation are often confounded by a wide range of factors, such as variation in demographic history or genomic features. Brown trout ( ) in the Loch Maree catchment, Scotland, exhibit reproductively isolated divergent life history morphs, including a rare piscivorous (ferox) life history form displaying larger body size, greater longevity and delayed maturation compared to sympatric benthivorous brown trout. Using a dataset of 16,066 SNPs, we analyzed the evolutionary history and genetic architecture underlying this divergence. We found that ferox trout and benthivorous brown trout most likely evolved after recent secondary contact of two distinct glacial lineages, and identified 33 genomic outlier windows across the genome, of which several have most likely formed through selection. We further identified twelve candidate genes and biological pathways related to growth, development and immune response potentially underpinning the observed phenotypic differences. The identification of clear genomic signals divergent between life history phenotypes and potentially linked to reproductive isolation, through size assortative mating, as well as the identification of the underlying demographic history, highlights the power of genomic studies of young species pairs for understanding the factors shaping genetic differentiation

Imaging Radiation Pneumonitis in a Rat Model of a Radiological Terrorism Incident

We have developed a rat model of single, sub-lethal thoracic irradiation. Our irradiation protocol is considered representative of exposures near the detonation site of a dirty bomb or small nuclear device. The model is being used to investigate techniques for identifying, triaging and treating possible victims. In addition to physiological markers of right ventricular hypertrophy, pulmonary vascular resistance, and arterial distensibility, we present two methods for quantifying microvascular density. We used methods including microfocal X-ray imaging to investigate changes in lung structure/function resulting from radiation exposure. Radiation pneumonitis is a complication in subjects receiving thoracic irradiation. A radiographic hallmark of acute radiation pneumonitis is a diffuse infiltrate corresponding to the radiation treatment field. We describe two methods for quantifying small artery dropout that occurs in the model at the same time-period. Rats were examined 3-days, 2-weeks, 1-month (m), 2-m, 5-m, and 12-m post-irradiation and compared with aged-matched controls. Right ventricular hypertrophy and increases in pulmonary vascular resistance were present during the pneumonitis phase. Vascular injury was dependent on dose and post-irradiation duration. Rats irradiated with 5 Gy had few detectable changes, whereas 10 Gy resulted in a significant decrease in both microvascular density and arterial distensibility around 2- m, the decrease in each lessening, but extending through 12-m. In conclusion, rats irradiated with a 10 Gy dose had changes in vascular structure concurrent with the onset of radiation pneumonitis that were detectable with our imaging techniques and these structural changes persist after resolution of the pneumonitis