6,135 research outputs found
Injection and midcourse correction analysis for the galactic probe
Midcourse attitude correction for injection and guidance errors for Jupiter flyby missio
Aerobee 350, flight 17.03 GE - Instrumentation information and calibration data
Airborne instrumentation system on Aerobee 350 sounding rocke
Vincent de Paul in Nineteenth-Century England: Charles Lowder, the Society of the Holy Cross and a Church in Crisis
Inspired by Vincent de Paul, Anglican clergyman Charles Lowder founded the Society of the Holy Cross in 1855 to strengthen the spiritual life of the clergy, conduct missions, and reform the Church of England. Led by the aristocracy and seeing sin in poverty, the Church of England neglected persons who were poor. Lowder and his Society formed mission houses to work among them, and the clergy who served there had a community life based on the Congregation. He also founded a group of sisters based on the Daughters of Charity. Lowder was part of the second generation of the Oxford Movement, which looked to the past for a more universal church. Rituals linked the Anglican Church to the history and theology of the universal church. They created a more intimate relationship among the poor, their clergy, and their church. Like Vincent, Lowder believed confession was vital to spiritual discipline; preaching, parish visiting, and hearing confessions were the Society’s main duties. Similarities between the respective societies and churches of Vincent’s France and Victorian England are explored
Reflection high-energy electron diffraction experimental analysis of polycrystalline MgO films with grain size and orientation distributions
Analysis of biaxial texture of MgO films grown by ion-beam-assisted deposition (IBAD) has been performed using a quantitative reflection high-energy electron diffraction (RHEED) based method. MgO biaxial texture is determined by analysis of diffraction spot shapes from single RHEED images, and by measuring the width of RHEED in-plane rocking curves for MgO films grown on amorphous Si3N4 by IBAD using 750 eV Ar+ ions, at 45° incidence angle, and MgO e-beam evaporation. RHEED-based biaxial texture measurement accuracy is verified by comparison with in-plane and out-of-plane orientation distribution measurements made using transmission electron microscopy and x-ray rocking curves. In situ RHEED measurements also enable the analysis of the evolution of the biaxial texture which narrows with increasing film thickness. RHEED-based measurements of IBAD MgO biaxial texture show that the minimum in-plane orientation distribution depends on the out-of-plane orientation distribution, and indicates that the minimum obtainable in-plane orientation on distribution is 2°
Computer-aided verification in mechanism design
In mechanism design, the gold standard solution concepts are dominant
strategy incentive compatibility and Bayesian incentive compatibility. These
solution concepts relieve the (possibly unsophisticated) bidders from the need
to engage in complicated strategizing. While incentive properties are simple to
state, their proofs are specific to the mechanism and can be quite complex.
This raises two concerns. From a practical perspective, checking a complex
proof can be a tedious process, often requiring experts knowledgeable in
mechanism design. Furthermore, from a modeling perspective, if unsophisticated
agents are unconvinced of incentive properties, they may strategize in
unpredictable ways.
To address both concerns, we explore techniques from computer-aided
verification to construct formal proofs of incentive properties. Because formal
proofs can be automatically checked, agents do not need to manually check the
properties, or even understand the proof. To demonstrate, we present the
verification of a sophisticated mechanism: the generic reduction from Bayesian
incentive compatible mechanism design to algorithm design given by Hartline,
Kleinberg, and Malekian. This mechanism presents new challenges for formal
verification, including essential use of randomness from both the execution of
the mechanism and from the prior type distributions. As an immediate
consequence, our work also formalizes Bayesian incentive compatibility for the
entire family of mechanisms derived via this reduction. Finally, as an
intermediate step in our formalization, we provide the first formal
verification of incentive compatibility for the celebrated
Vickrey-Clarke-Groves mechanism
Environmental protection to 922K (1200 F) for titanium alloys
Evaluations are presented of potential coating systems for protection of titanium alloys from hot-salt stress-corrosion up to temperatures of 755 K (900 F) and from oxidation embrittlement up to temperature of 922 K (1200 F). Diffusion type coatings containing Si, Al, Cr, Ni or Fe as single coating elements or in various combinations were evaluated for oxidation protection, hot-salt stress-corrosion (HSSC) resistance, effects on tensile properties, fatigue properties, erosion resistance and ballistic impact resistance on an alpha and beta phase titanium alloy (Ti-6Al-2Sn-4Zr-2Mo). All of the coatings investigated demonstrated excellent oxidation protectiveness, but none of the coatings provided protection from hot-salt stress-corrosion. Experimental results indicated that both the aluminide and silicide types of coatings actually decreased the HSSC resistance of the substrate alloy. The types of coatings which have typically been used for oxidation protection of refractory metals and nickel base superalloys are not suitable for titanium alloys because they increase the susceptibility to hot-salt stress-corrosion, and that entirely new coating concepts must be developed for titanium alloy protection in advanced turbine engines
Little islands recording global events: late Quaternary sea level history and paleozoogeography of Santa Barbara and Anacapa Islands, Channel Islands National Park, California
Marine terraces are common on the Pacific Coast of North America and record interglacial high-sea stands superimposed on either stable or tectonically rising crustal blocks. Despite many years of study of these landforms in southern California, little work on terraces has been conducted on the two smallest of the California Channel Islands, Santa Barbara Island (SBI) and Anacapa Island (ANA). Presented here are new field and laboratory data on the ages, paleontology, and sea level history of marine terraces of these two islands. On both islands, the lowest marine terraces have shoreline angle elevations of ~11 m above sea level. Amino acid geochronology shows that terrace deposits on both islands host fossils of two ages, one group dating to the ~120-ka high-sea stand and the other group likely dating to the ~100-ka high-sea stand. A mix of fossil ages is consistent with the paleontology as well, with SBI in particular showing a faunal assemblage that includes both extralimital southern and southward-ranging species (inferred to be from the ~120-ka high-sea stand) and extralimital northern and northward-ranging species (inferred to be from the ~100-ka high-sea stand). Fossil mixing from these two high-sea stands supports the hypothesis that glacial isostatic adjustment (GIA) processes have left a strong imprint on the geologic record of sea level history in southern California. Nevertheless, the elevations of these terraces and that of a low terrace on Santa Cruz Island indicate that modeled GIA estimates of paleo-sea level for the peak of the last interglacial period at ~120 ka could be too high. Future development of models of GIA effects on the Pacific Coast of North America will need to consider geologic records, such as those from SBI and ANA, in refining reconstructions of sea level history
- …