SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Device extracts average frequency of human speech and produces second, third, and fourth moments of instantaneous frequency about this average. It operates on electrical time representation of input signal, performs statistical analysis on zero-crossing of almost any signal, and does not require specialized personnel to operate it.
Nonlinear stochastic estimation theory is applied to the problem of obtaining discrete-time demodulator structures for the common types of analog communication signals. A stochastic communication model is presented that can be treated with current results in estimation theory. Approximate algorithms are developed for the estimation problem that yield mathematically realizable receiver structures for the cases of AM, PC, and FM. The digital receivers yield performance characteristics that compare favorably with those of their analog counterparts.
Subjects covered at this meeting were navigation, communications, applications of interferometry, frequency and time standards and synchronization, and radio wave propagation.
Defense Mapping Agency timing requirements ranging from milliseconds to tenths of nanoseconds and its use of geodetic astronomy and satellite geodesy programs are discussed in detail.
Technical possibilities and economic advantages of integrating hot water storage systems into power plants fired with fossil fuels are discussed. The systems can be charged during times of load reduction and then used for back-up during peak load periods. Investment costs are higher for such systems than for gas turbine power plants fired with natural gas or light oil installed to meet peak load demand. However, by improving specific heat consumption by about 1,000 kcal/k ohm, which thus reduces the related costs, investment costs will be compensated for, so that power production costs will not increase.
The results are presented of a continuing research and development program the objective of which is to develop a reduced bandwidth television system and a technique for television transmission of holograms. The result of the former is a variable frame rate television system, the operation of which was demonstrated for both black-and-white and color signals. This system employs a novel combination of the inexpensive mass storage capacity of a magnetic disc with the reliability of a digital system for time expansion and compression. Also reported are the results of a theoretical analysis and preliminary feasibility experiment of an innovative system for television transmission of holograms using relatively conventional TV equipment along with a phase modulated reference wave for production of the original interference pattern.
Time measurement, frequency standards and clock synchronization are discussed in terms of application to navigation and communication. Emphasis is placed on satellite applications.
Two off-line schemes are proposed for the identification of unknown noise covariance matrices Q and R of a discrete-time dynamic system. The first scheme is based on a maximum a posteriori cost function utilizing smoothed state estimates, while the second is based on a maximum likelihood cost function utilizing filtered state estimates. Sensitivity of the cost functions to Q and R is analyzed for the following cases: (1) single-input single-output systems; (2) multiinput single-output systems; and (3) single-input multioutput systems with a diagonal R. Identifiability criteria are presented for the cases considered and demonstrated by examples.
Local time displacement is shown to be a true symmetry of Minkowskian physics, thereby demonstrating the empirical equivalence of different choices of the clock synchronization parameter in generalized Lorentz transformations.
A Proximate Time-Optimal Servo (PTOS) is developed, along with conditions for its stability. An algorithm is proposed for adapting the PTOS (APTOS) to improve performance in the face of uncertain plant parameters. Under ideal conditions APTOS is shown to be uniformly asymptotically stable. Simulation results demonstrate the predicted performance.
A direct adaptive scheme based on the use of linear time-varying periodic controllers is proposed which estimates online the periodic coefficients of the controller. It is shown that adaptive stabilization is attained for all possibly nonstably invertible plants of known order but unknown delay. Although no appeal is made to persistency of excitation arguments, a provision is needed to avoid the singularity of an estimated matrix, this property being required only for the analysis and not the control calculations.
A Science Definition Team was established in December 1990 by the Space Physics Division, NASA, to develop a satellite program to conduct research on the energetics, dynamics, and chemistry of the mesosphere and lower thermosphere/ionosphere. This two-volume publication describes the TIMED (Thermosphere-Ionosphere-Mesosphere, Energetics and Dynamics) mission and associated science program. The report outlines the scientific objectives of the mission, the program requirements, and the approach towards meeting these requirements.
Examples are presented of applications of a fast Fourier transform algorithm to analyze time series of images of Normalized Difference Vegetation Index values. The results obtained for a case study on Zambia indicated that differences in vegetation development among map units of an existing agroclimatic map were not significant, while reliable differences were observed among the map units obtained using the Fourier analysis.
A nontraditional numerical method for solving conservation laws is being developed. The new method is designed from a physicist's perspective, i.e., its development is based more on physics than numerics. Even though it uses only the simplest approximation techniques, a 2D time-marching Euler solver developed recently using the new method is capable of generating nearly perfect solutions for a 2D shock reflection problem used by Helen Yee and others. Moreover, a recent application of this solver to computational aeroacoustics (CAA) problems reveals that: (1) accuracy of its results is comparable to that of a 6th order compact difference scheme even though nominally the current solver is only of 2nd-order accuracy; (2) generally, the non-reflecting boundary condition can be implemented in a simple way without involving characteristic variables; and (3) most importantly, the current solver is capable of handling both continuous and discontinuous flows very well and thus provides a unique numerical tool for solving those flow problems where the interactions between sound waves and shocks are important, such as the noise field around a supersonic over- or under-expansion jet.
A responsibility of the Trajectory Operations Officer is to ensure that the International Space Station (ISS) avoids colliding with debris. United States Space Command (USSPACECOM) tracks and catalogs a portion of the debris in Earth orbit, but only objects with a perigee less than 600 km and a radar cross section (RCS) greater than 10 cm-objects that, in fact, represent only a small fraction of the objects in Earth orbit. To accommodate for this, the ISS uses shielding to protect against collisions with smaller objects. This study provides a better understanding of how quickly, and to what degree, USSPACECOM projections tend to converge to the final, true miss distance. The information included is formulated to better predict the behavior of miss distance data during real-time operations. It was determined that the driving components, in order of impact on miss distance fluctuations, are energy dissipation rate (EDR), RCS, and inclination. Data used in this analysis, calculations made, and conclusions drawn are stored in Microsoft Excel log sheets. A separate log sheet, created for each conjunction, contains information such as predicted miss distances, apogee and perigee of debris orbit, EDR, RCS, inclination, tracks and observations, statistical data, and other evaluation/orbital parameters.
In this paper we report on the work we performed to extend the logic model checker SPIN with built-in support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic tasks. This library was used in a recent application of the SPIN model checker to verify the engine control software of an automobile, to study the feasibility of software triggers for unintended acceleration events.
This document describes the Impeded (ITIM) and Unimpeded Taxi In Time Prediction Model (UTIM) Machine Learning (ML) services developed under the ATD-2 subproject as a reference implementation and released by NASA as Open Source software on github.
This document describes the Impeded (ITOM) and Unimpeded Taxi Out Time Prediction Model (UTOM) Machine Learning (ML) services developed under the ATD-2 subproject as a reference implementation and released by NASA as Open Source software on github.