3,139 research outputs found
Prediction of annual joint rain fade on EHF networks by weighted rain field selection
©2015. American Geophysical Union. All Rights Reserved. We present a computationally efficient method to predict joint rain fade on arbitrary networks of microwave links. Methods based on synthetic rain fields composed of a superposition of rain cells have been shown to produce useful predictions of joint fade, with low computational overhead. Other methods using rain fields derived from radar systems have much higher computational overhead but provide better predictions. The proposed method combines the best features of both methods by using a small number of measured rain fields to produce annual fade predictions. Rain fields are grouped into heavy rain and light rain groups by maximum rain rate. A small selection of rain fields from each group are downscaled and fade predictions generated by pseudointegration of specific attenuation. This paper presents a method to optimize the weights used to combine the heavy rain and light rain fade predictions to yield an estimate of the average annual distribution. The algorithm presented yields estimates of average annual fade distributions with an error small compared to year-to-year variation, using only 0.2% of the annual data set of rain fields
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
Assessment of Functional Fitness Measures Among Community-Dwelling Older and Younger Adults
Please view abstract in the attached PDF fil
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
Confirmation of the Planet Hypothesis for the Long-period Radial Velocity Variations of Beta Geminorum
We present precise stellar radial velocity measurements for the K giant star
Beta Gem spanning over 25 years. These data show that the long period low
amplitude radial velocity variations found by Hatzes & Cochran (1993) are
long-lived and coherent. An examination of the Ca II K emission, spectral line
shapes from high resolution data (R = 210,000), and Hipparcos photometry show
no significant variations of these quantities with the RV period. These data
confirm the planetary companion hypothesis suggested by Hatzes & Cochran
(1993). An orbital solution assuming a stellar mass of 1.7 M_sun yields a
period, P = 589.6 days, a minimum mass of 2.3 M_Jupiter, and a semi-major axis,
and a = 1.6 AU. The orbit is nearly circular (e = 0.02). Beta Gem is the
seventh intermediate mass star shown to host a sub-stellar companion and
suggests that planet-formation around stars much more massive than the sun may
common.Comment: 10 pages, 9 figures, Astronomy and Astrophysics, in pres
Rubidium and lead abundances in giant stars of the globular clusters M 13 and NGC 6752
We present measurements of the neutron-capture elements Rb and Pb in five
giant stars of the globular cluster NGC 6752 and Pb measurements in four giants
of the globular cluster M 13. The abundances were derived by comparing
synthetic spectra with high resolution, high signal-to-noise ratio spectra
obtained using HDS on the Subaru telescope and MIKE on the Magellan telescope.
The program stars span the range of the O-Al abundance variation. In NGC 6752,
the mean abundances are [Rb/Fe] = -0.17 +/- 0.06 (sigma = 0.14), [Rb/Zr] =
-0.12 +/- 0.06 (sigma = 0.13), and [Pb/Fe] = -0.17 +/- 0.04 (sigma = 0.08). In
M 13 the mean abundance is [Pb/Fe] = -0.28 +/- 0.03 (sigma = 0.06). Within the
measurement uncertainties, we find no evidence for a star-to-star variation for
either Rb or Pb within these clusters. None of the abundance ratios [Rb/Fe],
[Rb/Zr], or [Pb/Fe] are correlated with the Al abundance. NGC 6752 may have
slightly lower abundances of [Rb/Fe] and [Rb/Zr] compared to the small sample
of field stars at the same metallicity. For M 13 and NGC 6752 the Pb abundances
are in accord with predictions from a Galactic chemical evolution model. If
metal-poor intermediate-mass asymptotic giant branch stars did produce the
globular cluster abundance anomalies, then such stars do not synthesize
significant quantities of Rb or Pb. Alternatively, if such stars do synthesize
large amounts of Rb or Pb, then they are not responsible for the abundance
anomalies seen in globular clusters.Comment: Accepted for publication in Ap
Machine-Checked Proofs For Realizability Checking Algorithms
Virtual integration techniques focus on building architectural models of
systems that can be analyzed early in the design cycle to try to lower cost,
reduce risk, and improve quality of complex embedded systems. Given appropriate
architectural descriptions, assume/guarantee contracts, and compositional
reasoning rules, these techniques can be used to prove important safety
properties about the architecture prior to system construction. For these
proofs to be meaningful, each leaf-level component contract must be realizable;
i.e., it is possible to construct a component such that for any input allowed
by the contract assumptions, there is some output value that the component can
produce that satisfies the contract guarantees. We have recently proposed (in
[1]) a contract-based realizability checking algorithm for assume/guarantee
contracts over infinite theories supported by SMT solvers such as linear
integer/real arithmetic and uninterpreted functions. In that work, we used an
SMT solver and an algorithm similar to k-induction to establish the
realizability of a contract, and justified our approach via a hand proof. Given
the central importance of realizability to our virtual integration approach, we
wanted additional confidence that our approach was sound. This paper describes
a complete formalization of the approach in the Coq proof and specification
language. During formalization, we found several small mistakes and missing
assumptions in our reasoning. Although these did not compromise the correctness
of the algorithm used in the checking tools, they point to the value of
machine-checked formalization. In addition, we believe this is the first
machine-checked formalization for a realizability algorithm.Comment: 14 pages, 1 figur
Rubidium and lead abundances in giant stars of the globular clusters M4 and M5
We present measurements of the neutron-capture elements Rb and Pb for bright
giants in the globular clusters M4 and M5. The clusters are of similar
metallicity ([Fe/H] = -1.2) but M4 is decidedly s-process enriched relative to
M5: [Ba/Fe] = +0.6 for M4 but 0.0 for M5. The Rb and Pb abundances were derived
by comparing synthetic spectra with high-resolution, high signal-to-noise ratio
spectra obtained with MIKE on the Magellan telescope. Abundances of Y, Zr, La,
and Eu were also obtained. In M4, the mean abundances from 12 giants are
[Rb/Fe] = 0.39 +/- 0.02 (sigma = 0.07), [Rb/Zr] = 0.17 +/- 0.03 (sigma = 0.08),
and [Pb/Fe] = 0.30 +/- 0.02 (sigma = 0.07). In M5, the mean abundances from two
giants are [Rb/Fe] = 0.00 +/- 0.05 (sigma = 0.06), [Rb/Zr] = 0.08 +/- 0.08
(sigma = 0.11), and [Pb/Fe] = -0.35 +/- 0.02 (sigma = 0.04). Within the
measurement uncertainties, the abundance ratios [Rb/Fe], [Pb/Fe] and [Rb/X] for
X = Y, Zr, La are constant from star-to-star in each cluster and none of these
ratios are correlated with O or Na abundances. While M4 has a higher Rb
abundance than M5, the ratios [Rb/X] are similar in both clusters indicating
that the nature of the s-products are very similar for each cluster but the gas
from which M4's stars formed had a higher concentration of these products.Comment: Accepted for publication in Ap
CuIn1-xAlxSe2 Thin Films and Solar Cells
CuIn[sub 1-x]Al[sub x]Se[sub 2] thin films are investigated for their application as the absorber layer material for high efficiency solar cells. Single-phase CuIn[sub 1-x]Al[sub x]Se[sub 2] films were deposited by four source elemental evaporation with a composition range of 0≤x≤0.6. All these films demonstrate a normalized subband gap transmission \u3e85% with 2 µm film thickness. Band gaps obtained from spectroscopic ellipsometry show an increase with the Al content in the CuIn[sub 1-x]Al[sub x]Se[sub 2] film with a bowing parameter of 0.62. The structural properties investigated using x-ray diffraction measurements show a decrease in lattice spacing as the Al content increases. Devices with efficiencies greater than 10% are fabricated on CuIn[sub 1-x]Al[sub x]Se[sub 2] material over a wide range of Al composition. The best device demonstrated 11% efficiency, and the open circuit voltage increases to 0.73 V
- …