Wind-tunnel investigation of the powered low-speed longitudinal aerodynamics of the Vectored-Engine-Over (VEO) wing fighter configuration

A wind-tunnel investigation incorporating both static and wind-on testing was conducted in the Langley 4- by 7-Meter Tunnel to determine the effects of vectored thrust along with spanwise blowing on the low-speed aerodynamics of an advanced fighter configuration. Data were obtained over a large range of thrust coefficients corresponding to takeoff and landing thrust settings for many nozzle configurations. The complete set of static thrust data and the complete set of longitudinal aerodynamic data obtained in the investigation are presented. These data are intended for reference purposes and, therefore, are presented without analysis or comment. The analysis of the thrust-induced effects found in the investigation are not discussed

Differential Radial Velocities and Stellar Parameters of Nearby Young Stars

Radial velocity searches for substellar mass companions have focused primarily on stars older than 1 Gyr. Increased levels of stellar activity in young stars hinders the detection of solar system analogs and therefore there has been a prejudice against inclusion of young stars in radial velocity surveys until recently. Adaptive optics surveys of young stars have given us insight into the multiplicity of young stars but only for massive, distant companions. Understanding the limit of the radial velocity technique, restricted to high-mass, close-orbiting planets and brown dwarfs, we began a survey of young stars of various ages. While the number of stars needed to carry out full analysis of the problems of planetary and brown dwarf population and evolution is large, the beginning of such a sample is included here. We report on 61 young stars ranging in age from beta Pic association (~12 Myr) to the Ursa Majoris association (~300 Myr). This initial search resulted in no stars showing evidence for companions greater than ~1-2 M_Jup in short period orbits at the 3 sigma-level. Additionally, we present derived stellar parameters, as most have unpublished values. The chemical homogeneity of a cluster, and presumably of an association, may help to constrain true membership. As such, we present [Fe/H] abundances for the stars in our sample.Comment: Accepted for publication in the PAS

Searching for Planets in the Hyades V: Limits on Planet Detection in the Presence of Stellar Activity

We present the results of a radial velocity survey of a sample of Hyades stars, and discuss the effects of stellar activity on radial velocity measurements. The level of radial velocity scatter due to rotational modulation of stellar surface features for the Hyades is in agreement with the predictions of Saar & Donahue (1997)- the maximum radial velocity rms of up to ~50 m/s, with an average rms of ~16 m/s. In this sample of 94 stars, we find 1 new binary, 2 stars with linear trends indicative of binary companions, and no close-in giant planets. We discuss the limits on extrasolar planet detection in the Hyades and the constraints imposed on radial velocity surveys of young stars.Comment: To appear in the June 2004 issue of A

4-Hydr­oxy-4,4-diphenyl­butan-2-one

The mol­ecules of the title compound, C16H16O2, display an intra­molecular O—H⋯O hydrogen bond between the hydroxyl donor and the ketone acceptor. Inter­molecular C—H⋯π inter­actions connect adjacent mol­ecules into chains that propagate parallel to the ac diagonal. The chains are arranged in sheets, and mol­ecules in adjacent sheets inter­act via inter­molecular O—H⋯O hydrogen bonds

Formalising Mathematics in Simple Type Theory

Despite the considerable interest in new dependent type theories, simple type theory (which dates from 1940) is sufficient to formalise serious topics in mathematics. This point is seen by examining formal proofs of a theorem about stereographic projections. A formalisation using the HOL Light proof assistant is contrasted with one using Isabelle/HOL. Harrison's technique for formalising Euclidean spaces is contrasted with an approach using Isabelle/HOL's axiomatic type classes. However, every formal system can be outgrown, and mathematics should be formalised with a view that it will eventually migrate to a new formalism

Searching for Planets in the Hyades. I. The Keck Radial Velocity Survey

We describe a high-precision radial velocity search for jovian-mass companions to main sequence stars in the Hyades star cluster. The Hyades provides an extremely well controlled sample of stars of the same age, the same metallicity, and a common birth and early dynamical environment. This sample allows us to explore the dependence of the process of planet formation on only a single independent variable: the stellar mass. In this paper we describe the survey and summarize results for the first five years.Comment: 8 pages, 3 figures; To appear in the July 2002 issue of The Astronomical Journa

The Magnetic Field Geometry of Small Solar Wind Flux Ropes Inferred from their Twist Distribution

This work extends recent efforts on the force-free modeling of large flux rope-type structures (magnetic clouds, MCs) to much smaller spatial scales. We first select small flux ropes (SFRs) by eye whose duration is unambiguous and which were observed by the Solar Terrestrial Relations Observatory (STEREO) or Wind spacecraft during solar maximum years. We inquire into which analytical technique is physically most appropriate. We consider three models: (i) linear force-free field ($\bigtriangledown\times$ B = $\alpha (r)$ B) with a specific, prescribed constant $\alpha$ (Lundquist solution), and (ii) with $\alpha$ as a free constant parameter (Lundquist-alpha solution), (iii) uniform twist field (Gold-Hoyle solution). We retain only those cases where the impact parameter is less than one-half the FR radius, $R$, so the results should be robust (29 cases). The SFR radii lie in the range [$\sim$ 0.003, 0.059] AU. Comparing results, we find that the Lundquist-alpha and uniform twist solutions yielded comparable and small normalized $\chi^2$ values in most cases. We then use Grad-Shafranov (GS) reconstruction to analyze these events further. We then considered the twist per unit length, $\tau$, both its profile through the FR and its absolute value. We find $\tau$ to lie in the range [5.6, 34] turns/AU. The GH model-derived $\tau$ values are comparable to those obtained from GS reconstruction. We find that twist unit length ($L$) is inversely proportional to $R$, as $\tau \sim 0.17/R$. We combine MC and SFR results on $\tau (R)$ and give a relation which is approximately valid for both sets. The axial and azimuthal fluxes, $F_z$ and $F_\phi$, vary as $\approx 2.1 B_0 R^2 \times10^{21}$ Mx and $F_{\phi}/L \approx 0.36 B_0 R \times10^{21}$Mx/AU. The relative helicity per unit length, $H/L \approx 0.75 B_0^2 R^3$$\times 10^{42}$ Mx$^2$/AU.Comment: abstract shortened for arxiv, 31 pages, 15 Figures, in press at Solar Physic

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

Relationship of alkaline stress and acute copper toxicity in the snail Goniobasis livescens (Menke)

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47987/1/128_2005_Article_BF01606051.pd