Wind tunnel test 0A113 of the 0.010-scale space shuttle orbiter model 51-0 in the calspan hypersonic shock tunnel (48-inch leg)

Results are presented of wind tunnel test conducted Hypersonic Shock Tunnel using a 0.010-scale 140A/B configuration orbiter model designated 51-0. The test objectives were: (1) to obtain force and moment data at various Mach numbers and Reynolds numbers from which viscous interaction effects on stability and control may be determined. (1) To provide flow visualization data from which the effects of control surface separation may be evaluated. and (3) To obtain pressure data in conjunction with force and moment data to assist in analyzing viscous interaction and flow separation effects. Data were obtained at angles-of-attack of 20 deg, 30 deg, 40 deg, and 50 deg. The Mach number range covered was from 10 to 16 and the viscous interaction parameter range was from 0.01 to 0.06

z'-band Ground-Based Detection of the Secondary Eclipse of WASP-19b

We present the ground-based detection of the secondary eclipse of the transiting exoplanet WASP-19b. The observations were made in the Sloan z'-band using the ULTRACAM triple-beam CCD camera mounted on the NTT. The measurement shows a 0.088\pm0.019% eclipse depth, matching previous predictions based on H- and K-band measurements. We discuss in detail our approach to the removal of errors arising due to systematics in the data set, in addition to fitting a model transit to our data. This fit returns an eclipse centre, T0, of 2455578.7676 HJD, consistent with a circular orbit. Our measurement of the secondary eclipse depth is also compared to model atmospheres of WASP-19b, and is found to be consistent with previous measurements at longer wavelengths for the model atmospheres we investigated.Comment: 20 pages, 10 figures. Published in the ApJ Supplement serie

Spectroscopic Constants, Abundances, and Opacities of the TiH Molecule

Using previous measurements and quantum chemical calculations to derive the molecular properties of the TiH molecule, we obtain new values for its ro-vibrational constants, thermochemical data, spectral line lists, line strengths, and absorption opacities. Furthermore, we calculate the abundance of TiH in M and L dwarf atmospheres and conclude that it is much higher than previously thought. We find that the TiH/TiO ratio increases strongly with decreasing metallicity, and at high temperatures can exceed unity. We suggest that, particularly for subdwarf L and M dwarfs, spectral features of TiH near $\sim$0.52 \mic, 0.94 \mic, and in the $H$ band may be more easily measureable than heretofore thought. The recent possible identification in the L subdwarf 2MASS J0532 of the 0.94 \mic feature of TiH is in keeping with this expectation. We speculate that looking for TiH in other dwarfs and subdwarfs will shed light on the distinctive titanium chemistry of the atmospheres of substellar-mass objects and the dimmest stars.Comment: 37 pages, including 4 figures and 13 tables, accepted to the Astrophysical Journa

Perspectives on the Missiological Legacy of Martin Luther and the Protestant Reformation

Upon the occasion of the 500th anniversary Martin Luther’s publication of his 95 theses, this composite article brings together five perspectives on the missiological legacy of the reformer and the subsequent Protestant Reformation. The blend of voices makes clear that Luther and the subsequent Protestant Reformation do not have a simple missiological legacy but rather various legacies: theological, ecclesiological, political, and practical; some of which co-exist, and even collide, in the same ecclesiastical community. The scandalous legacy of a splintered and splintering church remains. Yet, demonstrations of mutual recognition, reciprocal respect, and genuine fellowship can be found in certain missiological circles

Line Intensities and Molecular Opacities of the FeH F4Δi−X4ΔiF^4\Delta_i-X^4\Delta_i Transition

We calculate new line lists and opacities for the $F^4\Delta_i-X^4\Delta_i$ transition of FeH. The 0-0 band of this transition is responsible for the Wing-Ford band seen in M-type stars, sunspots and brown dwarfs. The new Einstein A values for each line are based on a high level ab initio calculation of the electronic transition dipole moment. The necessary rotational line strength factors (H\"onl-London factors) are derived for both the Hund's case (a) and (b) coupling limits. A new set of spectroscopic constants were derived from the existing FeH term values for v=0, 1 and 2 levels of the $X$ and $F$ states. Using these constants extrapolated term values were generated for v=3 and 4 and for $J$ values up to 50.5. The line lists (including Einstein A values) for the 25 vibrational bands with v$\leq$4 were generated using a merged list of experimental and extrapolated term values. The FeH line lists were use to compute the molecular opacities for a range of temperatures and pressures encountered in L and M dwarf atmospheres. Good agreement was found between the computed and observed spectral energy distribution of the L5 dwarf 2MASS-1507.Comment: 52 pages, 3 figures, many tables, accepted for publication in the Astrophysical Journal Supplement

Chemical Equilibrium Abundances in Brown Dwarf and Extrasolar Giant Planet Atmospheres

We calculate detailed chemical abundance profiles for a variety of brown dwarf and extrasolar giant planet atmosphere models, focusing in particular on Gliese 229B, and derive the systematics of the changes in the dominant reservoirs of the major elements with altitude and temperature. We assume an Anders and Grevesse (1989) solar composition of 27 chemical elements and track 330 gas--phase species, including the monatomic forms of the elements, as well as about 120 condensates. We address the issue of the formation and composition of clouds in the cool atmospheres of substellar objects and explore the rain out and depletion of refractories. We conclude that the opacity of clouds of low--temperature ($\le$900 K), small--radius condensibles (specific chlorides and sulfides), may be responsible for the steep spectrum of Gliese 229B observed in the near infrared below 1 \mic. Furthermore, we assemble a temperature sequence of chemical transitions in substellar atmospheres that may be used to anchor and define a sequence of spectral types for substellar objects with T$_{eff}$s from $\sim$2200 K to $\sim$100 K.Comment: 57 pages total, LaTeX, 14 figures, 5 tables, also available in uuencoded, gzipped, and tarred form via anonymous ftp at www.astrophysics.arizona.edu (cd to pub/burrows/chem), submitted to Ap.

Design and operation of a prototype interaction point beam collision feedback system for the International Linear Collider

A high-resolution, intratrain position feedback system has been developed to achieve and maintain collisions at the proposed future electron-positron International Linear Collider (ILC). A prototype has been commissioned and tested with a beam in the extraction line of the Accelerator Test Facility at the High Energy Accelerator Research Organization in Japan. It consists of a stripline beam position monitor (BPM) with analogue signal-processing electronics, a custom digital board to perform the feedback calculation, and a stripline kicker driven by a high-current amplifier. The closed-loop feedback latency is 148 ns. For a three-bunch train with 154 ns bunch spacing, the feedback system has been used to stabilize the third bunch to 450 nm. The kicker response is linear, and the feedback performance is maintained, over a correction range of over $\pm$60 {\mu}m. The propagation of the correction has been confirmed by using an independent stripline BPM located downstream of the feedback system. The system has been demonstrated to meet the BPM resolution, beam kick, and latency requirements for the ILC

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples