Autonomous satellite orbit determination during the development phases of the global positioning system

An onboard navigation system was developed to aid the design and evaluation of algorithms used in autonomous satellite navigation with Global Positioning System (GPS) data. The performance of the algorithms designed for a GPS Receiver/Processor Assembly (R/PA) intended for LANDSAT-D was investigated during the development phases of the GPS (four to six satellites in the constellation). This evaluation emphasized the effects on the orbit determination accuracy of the expected user clock errors, GPS satellite visibility, force model approximations, and state and covariance propagation approximations. Results are presented giving the sensitivity of orbit determination accuracy to these constraints

Eclipse radius measurements

Methods for predicting the path edges and reducing observations of total solar eclipses for determining variations of the solar radius are described. Analyzed observations of the 1925 January eclipse show a 0.7 (arc second) decrease in the solar radius during the past fifty years

An experiment in software reliability

The results of a software reliability experiment conducted in a controlled laboratory setting are reported. The experiment was undertaken to gather data on software failures and is one in a series of experiments being pursued by the Fault Tolerant Systems Branch of NASA Langley Research Center to find a means of credibly performing reliability evaluations of flight control software. The experiment tests a small sample of implementations of radar tracking software having ultra-reliability requirements and uses n-version programming for error detection, and repetitive run modeling for failure and fault rate estimation. The experiment results agree with those of Nagel and Skrivan in that the program error rates suggest an approximate log-linear pattern and the individual faults occurred with significantly different error rates. Additional analysis of the experimental data raises new questions concerning the phenomenon of interacting faults. This phenomenon may provide one explanation for software reliability decay

Production of Reliable Flight Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working Group Meeting

The state of the art in the production of crucial software for flight control applications was addressed. The association between reliability metrics and software is considered. Thirteen software development projects are discussed. A short term need for research in the areas of tool development and software fault tolerance was indicated. For the long term, research in format verification or proof methods was recommended. Formal specification and software reliability modeling, were recommended as topics for both short and long term research

An empirical study of flight control software reliability

The results of a laboratory experiment in flight control software reliability are reported. The experiment tests a small sample of implementations of a pitch axis control law for a PA28 aircraft with over 14 million pitch commands with varying levels of additive input and feedback noise. The testing which uses the method of n-version programming for error detection surfaced four software faults in one implementation of the control law. The small number of detected faults precluded the conduct of the error burst analyses. The pitch axis problem provides data for use in constructing a model in the prediction of the reliability of software in systems with feedback. The study is undertaken to find means to perform reliability evaluations of flight control software

AUTOSIM: An automated repetitive software testing tool

AUTOSIM is a software tool which automates the repetitive run testing of software. This tool executes programming tasks previously performed by a programmer with one year of programming experience. Use of the AUTOSIM tool requires a knowledge base containing information about known faults, code fixes, and the fault diagnosis-correction process. AUTOSIM can be considered as an expert system which replaces a low level of programming expertise. Reference information about the design and implementation of the AUTOSIM software test tool provides flowcharts to assist in maintaining the software code and a description of how to use the tool

Cosmic background explorer (COBE) navigation with TDRSS one-way return-link Doppler in the post-helium-venting phase

A navigation experiment was performed which establishes Ultra-Stable Oscillator (USO) frequency stabilized one way return link Doppler TDRSS tracking data as a feasible option for mission orbit determination support at the Goddard Space Center Flight Dynamics Facility. The study was conducted using both one way and two way Tracking and Data Relay Satellite System (TDRSS) tracking measurements for the Cosmic Background Explorer (COBE) spacecraft. Tracking data for a 4 week period immediately follow the depletion of the helium supply was used. The study showed that, for both definitive orbit solution and short term orbit prediction (up to 4 weeks), orbit determination results based on one way return link Doppler tracking measurements are comparable to orbit determination results based on two way range and two way Doppler tracking measurements

Comparison of wind velocity in thunderstorms determined from measurements by a ground-based Doppler radar and an F-106B airplane

As a part of the NASA Storm Hazards Program, the wind velocity in several thunderstorms was measured by an F-106B instrumented airplane and a ground-based Doppler radar. The results of five airplane penetrations of two storms in 1980 and six penetrations of one storm in 1981 are given. Comparisons were made between the radial wind velocity components measured by the radar and the airplane. The correlation coefficients for the 1980 data and part of the 1981 data were 0.88 and 0.78, respectively. It is suggested that larger values for these coefficients may be obtained by improving the experimental technique and in particular by slaving the radar to track the airplane during such tests

Mathematical specifications of the Onboard Navigation Package (ONPAC) simulator (revision 1)

The mathematical theory of the computational algorithms employed in the onboard navigation package system is described. This system, which simulates an onboard navigation processor, was developed to aid in the design and evaluation of onboard navigation software. The mathematical formulations presented include the factorized UDU(T) form of the extended Kalman filter, the equations of motion of the user satellite, the user clock equations, the observation equations and their partial derivatives, the coodinate transformations, and the matrix decomposition algorithms

CO2 Ice toward Low-luminosity, Embedded Protostars: Evidence for Episodic Mass Accretion via Chemical History

We present Spitzer IRS spectroscopy of CO2 ice bending mode spectra at 15.2 micrometer toward 19 young stellar objects with luminosity lower than 1 Lsun (3 with luminosity lower than 0.1 Lsun). Ice on dust grain surfaces can encode the history of heating because pure CO2 ice forms only at elevated temperature, T > 20 K, and thus around protostars of higher luminosity. Current internal luminosities of YSOs with L < 1 Lsun do not provide the conditions needed to produce pure CO2 ice at radii where typical envelopes begin. The presence of detectable amounts of pure CO2 ice would signify a higher past luminosity. Many of the spectra require a contribution from a pure, crystalline CO2 component, traced by the presence of a characteristic band splitting in the 15.2 micrometer bending mode. About half of the sources (9 out of 19) in the low luminosity sample have evidence for pure CO2 ice, and six of these have significant double-peaked features, which are very strong evidence of pure CO2 ice. The presence of the pure CO2 ice component indicates that the dust temperature, and hence luminosity of the central star/accretion disk system, must have been higher in the past. An episodic accretion scenario, in which mixed CO-CO2 ice is converted to pure CO2 ice during each high luminosity phase, explains the presence of pure CO2 ice, the total amount of CO2 ice, and the observed residual C18O gas.Comment: Accepted for publication in ApJ, total 24 pages, 14 figure