Some n-p (Hg,Cd)Te photodiodes for 8-14 micrometer heterodyne applications

The results describing the dc and CO2 laser heterodyne characteristics of a three element photodiode array and single element and four element photodiode arrays are presented. The measured data shows that the n(+)-p configuration is capable of achieving bandwidths of 475 to 725 MHz and noise equivalent powers of 3.2 x 10 to the minus 20th power W/Hz at 77 K and 1.0 x 10 to the minus 19th power W/Hz at 145 K. The n(+)-n(-)-p photodiodes exhibited wide bandwidths (approximately 2.0 GHz) and fairly good effective heterodyne quantum efficiencies (approximately 13-30 percent at 2.0 GHz). Noise equivalent powers ranging from 1.44 x 10 to the minus 19th power W/Hz to 6.23 x 10 to the minus 20th power W/Hz were measured at 2.0 GHz

Development and flight tests of a Kalman filter for navigation during terminal area and landing operations

A Kalman filter for aircraft terminal area and landing navigation was implemented and flight tested in the NASA Ames STOLAND avionics computer onboard a Twin Otter aircraft. This system combines navaid measurements from TACAN, MODILS, air data, radar altimeter sensors along with measurements from strap-down accelerometer and attitude angle sensors. The flight test results demonstrate that the Kalman filter provides improved estimates of the aircraft position and velocity as compared with estimates from the more standard complementary filter. The onboard computer implementation requirements to achieve this improved performance are discussed

Shuttle flight pressure instrumentation: Experience and lessons for the future

Flight data obtained from the Space Transportation System orbiter entries are processed and analyzed to assess the accuracy and performance of the Development Flight Instrumentation (DFI) pressure measurement system. Selected pressure measurements are compared with available wind tunnel and computational data and are further used to perform air data analyses using the Shuttle Entry Air Data System (SEADS) computation technique. The results are compared to air data from other sources. These comparisons isolate and demonstrate the effects of the various limitations of the DFI pressure measurement system. The effects of these limitations on orbiter performance analyses are addressed, and instrumentation modifications are recommended to improve the accuracy of similar fight data systems in the future

Chandra X-ray Observation of a Mature Cloud-Shock Interaction in the Bright Eastern Knot Region of Puppis A

We present Chandra X-ray images and spectra of the most prominent cloud-shock interaction region in the Puppis A supernova remnant. The Bright Eastern Knot (BEK) has two main morphological components: (1) a bright compact knot that lies directly behind the apex of an indentation in the eastern X-ray boundary and (2) lying 1' westward behind the shock, a curved vertical structure (bar) that is separated from a smaller bright cloud (cap) by faint diffuse emission. Based on hardness images and spectra, we identify the bar and cap as a single shocked interstellar cloud. Its morphology strongly resembles the ``voided sphere'' structures seen at late times in Klein et al.'s experimental simulations of cloud-shock interactions, when the crushing of the cloud by shear instabilities is well underway. We infer an interaction time of roughly 3 cloud-crushing timescales, which translates to 2000-4000 years, based on the X-ray temperature, physical size, and estimated expansion of the shocked cloud. This is the first X-ray identified example of a cloud-shock interaction in this advanced phase. Closer to the shock front, the X-ray emission of the compact knot in the eastern part of the BEK region implies a recent interaction with relatively denser gas, some of which lies in front of the remnant. The complex spatial relationship of the X-ray emission of the compact knot to optical [O III] emission suggests that there are multiple cloud interactions occurring along the line of sight.Comment: 22 pages LaTeX with multiple figures, to appear in Ap

Solar electric performance data for extra ecliptic and solar probes and Ceres, D'Arrest, and Encke rendezvous missions

Solar electric propulsion performance and trajectory data for indirect solar probes, extra-ecliptic missions, and rendezvous with Ceres, D-Arrest, and Enck

Predicting the Starquakes in PSR J0537-6910

We report on more than 7 years of monitoring of PSR J0537-6910, the 16 ms pulsar in the Large Magellanic Cloud, using data acquired with the RXTE. During this campaign the pulsar experienced 23 sudden increases in frequency (``glitches'') amounting to a total gain of over six ppm of rotation frequency superposed on its gradual spindown of d(nu)/d(t) = -2e-10 Hz/s. The time interval from one glitch to the next obeys a strong linear correlation to the amplitude of the first glitch, with a mean slope of about 400 days ppm (6.5 days per uHz), such that these intervals can be predicted to within a few days, an accuracy which has never before been seen in any other pulsar. There appears to be an upper limit of ~40 uHz for the size of glitches in_all_ pulsars, with the 1999 April glitch of J0537 as the largest so far. The change in the spindown of J0537 across the glitches, Delta(d(nu)/d(t)), appears to have the same hard lower limit of -1.5e-13 Hz/s, as, again, that observed in all other pulsars. The spindown continues to increase in the long term, d(d(nu)/d(t))/d(t) = -1e-21 Hz/s/s, and thus the timing age of J0537 (-0.5 nu d(nu)/d(t)) continues to decrease at a rate of nearly one year every year, consistent with movement of its magnetic moment away from its rotational axis by one radian every 10,000 years, or about one meter per year. J0537 was likely to have been born as a nearly-aligned rotator spinning at 75-80 Hz, with a |d(nu)/d(t)| considerably smaller than its current value of 2e-10 Hz/s. The pulse profile of J0537 consists of a single pulse which is found to be flat at its peak for at least 0.02 cycles.Comment: 54 pages, 12 figures. Accepted for publication in The Astrophysical Journal. Cleaner figure 2. V4 -- in line with version accepted by Ap

Revised Relativistic Hydrodynamical Model for Neutron-Star Binaries

We report on numerical results from a revised hydrodynamic simulation of binary neutron-star orbits near merger. We find that the correction recently identified by Flanagan significantly reduces but does not eliminate the neutron-star compression effect. Although results of the revised simulations show that the compression is reduced for a given total orbital angular momentum, the inner most stable circular orbit moves to closer separation distances. At these closer orbits significant compression and even collapse is still possible prior to merger for a sufficiently soft EOS. The reduced compression in the corrected simulation is consistent with other recent studies of rigid irrotational binaries in quasiequilibrium in which the compression effect is observed to be small. Another significant effect of this correction is that the derived binary orbital frequencies are now in closer agreement with post-Newtonian expectations.Comment: Submitted to Phys. Rev.

Quantum Weak Energy Inequalities for the Dirac field in Flat Spacetime

Quantum Weak Energy Inequalities (QWEIs) have been established for a variety of quantum field theories in both flat and curved spacetimes. Dirac fields are known (by a result of Fewster and Verch) to satisfy QWEIs under very general circumstances. However this result does not provide an explicit formula for the QWEI bound, so its magnitude has not previously been determined. In this paper we present a new and explicit QWEI bound for Dirac fields of arbitrary mass in four-dimensional Minkowski space. We follow the methods employed by Fewster and Eveson for the scalar field, modified to take account of anticommutation relations. A key ingredient is an identity for Fourier transforms established by Fewster and Verch. We also compare our QWEI with those previously obtained for scalar and spin-1 fields.Comment: 8 pages, REVTeX4, version to appear in Phys Rev

Scaling Bounded Model Checking By Transforming Programs With Arrays

Bounded Model Checking is one the most successful techniques for finding bugs in program. However, model checkers are resource hungry and are often unable to verify programs with loops iterating over large arrays.We present a transformation that enables bounded model checkers to verify a certain class of array properties. Our technique transforms an array-manipulating (ANSI-C) program to an array-free and loop-free (ANSI-C) program thereby reducing the resource requirements of a model checker significantly. Model checking of the transformed program using an off-the-shelf bounded model checker simulates the loop iterations efficiently. Thus, our transformed program is a sound abstraction of the original program and is also precise in a large number of cases - we formally characterize the class of programs for which it is guaranteed to be precise. We demonstrate the applicability and usefulness of our technique on both industry code as well as academic benchmarks