SEARCH · Search NASA

Results for “fixed points”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1977

Proving the correctness of a flight-director program for an airborne minicomputer

Program verification procedures are described and used to determine the correctness of a program written for an airborne computer. The basic method relies on the inductive assertion method of Floyd (1967), modified and extended for application to a machine-language situation. Correctness considerations in the flight director program include self-modification, system correctness, executable instructions, overflow, approximate calculations with fractional quantities, and fixed point scaling. An example proof of correctness, which proceeds by proving the correctness of a certain subroutine, is provided.

Maurer, W. D.↗

NASA NTRS1977

The optimization of self-phased arrays for diurnal motion tracking of synchronous satellites

The diurnal motion of a synchronous satellite necessitates mechanical tracking when a large aperture, high gain antenna is employed at the earth terminal. An alternative solution to this tracking problem is to use a self phased array consisting of a number of fixed pointed elements, each with moderate directivity. Non-mechanical tracking and adequate directive gain are achieved electronically by phase coherent summing of the element outputs. The element beamwidths provide overlapping area coverage of the satellite motion but introduce a diurnal variation into the array gain. The optimum element beamwidth and pointing direction of these elements can be obtained under the condition that the array gain is maximized simultaneously with the minimization of the diurnal variation.

Theobold, D. M.↗

NASA NTRS1977

Evaluation Program for Secondary Spacecraft Cells: Synchronous Orbit Testing of Sealed Nickel Cadmium Cells

Performance data concerning sealed nickel-cadmium cells operating under a synchronous orbit regime are presented. A space satellite maintaining a position over a fixed point on earth as the earth rotates on its axis and revolves about the sun was simulated. Results include: (1) exposure to synchronous orbit testing at a temperature of 40 C yields less than 6 years of life; (2) performance at -20 C presents a low capacity problem; (3) the capacity check, performed at the middle of each show period, provides a temporary red reconditioning effect on the cells in that the end-of-discharge voltages are higher, for approximately 7 to 10 days, following the capacity check than they were 7 to 10 days prior to the capacity check; (4) all the test packs at -20 C and 40 C have either failed or were discontinued because of low capacity; and (5) test packs at temperatures of 0 C and 10 C have delivered the best capacity during life and packs tested at 20 C showed better life capability than packs tested at -20 C and 40 C.

Harkness, J. D.↗

NASA NTRS1978

Vision-based guidance for an automated roving vehicle

A controller designed to guide an automated vehicle to a specified target without external intervention is described. The intended application is to the requirements of planetary exploration, where substantial autonomy is required because of the prohibitive time lags associated with closed-loop ground control. The guidance algorithm consists of a set of piecewise-linear control laws for velocity and steering commands, and is executable in real time with fixed-point arithmetic. The use of a previously-reported object tracking algorithm for the vision system to provide position feedback data is described. Test results of the control system on a breadboard rover at the Jet Propulsion Laboratory are included.

Griffin, M. D.↗

NASA NTRS1979

The digital implementation of control compensators: The coefficient wordlength issue

There exists a number of mathematical procedures for designing discrete-time compensators. However, the digital implementation of these designs, with a microprocessor for example, has not received nearly as thorough an investigation. The finite-precision nature of the digital hardware makes it necessary to choose an algorithm (computational structure) that will perform 'well-enough' with regard to the initial objectives of the design. This paper describes a procedure for estimating the required fixed-point coefficient wordlength for any given computational structure for the implementation of a single-input single-output LOG design. The results are compared to the actual number of bits necessary to achieve a specified performance index.

Moroney, P.↗

NASA NTRS1979

Applications of a high-altitude powered platform /HAPP/

The high-altitude powered platform (HAPP) is a conceptual unmanned vehicle which could be either an airship or airplane. It would keep station at an altitude of 70,000 ft above a fixed point on the ground. A microwave power transmission system would beam energy from the ground up to the HAPP to power an electric motor-driven propeller and the payload. A study of the HAPP has shown that it could potentially be a cost-competitive platform for such remote sensing applications as forest fire detection, Great Lakes ice monitoring and Coast Guard law enforcement. It also has significant potential as a communications relay platform for (among other things) direct broadcast to home TVs over a large region.

Kuhner, M. B.↗

NASA NTRS1979

Solution of a few nonlinear problems in aerodynamics by the finite elements and functional least squares methods

The numerical simulation of the transonic flows of idealized fluids and of incompressible viscous fluids, by the nonlinear least squares methods is presented. The nonlinear equations, the boundary conditions, and the various constraints controlling the two types of flow are described. The standard iterative methods for solving a quasi elliptical nonlinear equation with partial derivatives are reviewed with emphasis placed on two examples: the fixed point method applied to the Gelder functional in the case of compressible subsonic flows and the Newton method used in the technique of decomposition of the lifting potential. The new abstract least squares method is discussed. It consists of substituting the nonlinear equation by a problem of minimization in a H to the minus 1 type Sobolev functional space.

Periaux, J.↗

NASA NTRS1980

Investigations of eddy coherence in jet flows

In turbulent shear flow the term coherent structures refers to eddies which are both spatially coherent, i.e., large eddies, aand also temporally coherent, i.e., they retain their identities for times which are long compared with their time scales in fixed point measurements. In transitional flows, the existence of such structures is evident from flow visualizations. In many other flows, such structures are not so evident. The reasons for the existence of these two classes of flows are discussed and attention is focused upon the more difficult flows, where coherent structures are not so evident. Techniques by which the existence (or nonexistence) of such structures in these flows can be established from point measurements, are also discussed. A major problem is shown to be the need to discriminate between real losses in eddy coherence and apparent losses in coherence introduced by phase scrambling effects which 'smear' multipoint correlations. The analysis of multiprobe time dependent data in cold and reacting round turbulent jets is described and it is shown how evidence of strong eddy coherence can be extracted from data.

Yule, A. J.↗

NASA NTRS1980

The digital implementation of control compensators - The coefficient wordlength issue

There exist a number of mathematical procedures for designing discrete-time compensators. However, the digital implementation of these designs, with a microprocessor, for example, has not received nearly as thorough an investigation. The finite-precision nature of the digital hardware makes it necessary to choose a computational structure that will perform adequately with regard to the initial objectives of the design. This paper describes a procedure for estimating the required fixed-point coefficient wordlength for any given computational structure for the implementation of a single-input single-output LQG design. The results are compared to the actual number of bits necessary to achieve a specified performance index.

Moroney, P.↗

NASA NTRS1981

Maximum likelihood clustering with dependent feature trees

The decomposition of mixture density of the data into its normal component densities is considered. The densities are approximated with first order dependent feature trees using criteria of mutual information and distance measures. Expressions are presented for the criteria when the densities are Gaussian. By defining different typs of nodes in a general dependent feature tree, maximum likelihood equations are developed for the estimation of parameters using fixed point iterations. The field structure of the data is also taken into account in developing maximum likelihood equations. Experimental results from the processing of remotely sensed multispectral scanner imagery data are included.

Chittineni, C. B.↗

NASA NTRS1980

Brightness and polarization of the zodiacal light - Results of fixed-position observations from Skylab

A method is outlined for evaluating discrete and background starlight at the Skylab wavelengths so as to derive the total brightness of zodiacal light at five sky positions. These sky positions are north celestial pole, south ecliptic pole, vernal equinox and two places near the north galactic pole. Pioneer 10/11 imaging photopolarimeters were used to periodically measure sky brightness and polarization in the blue and red at heliocentric distances beyond 1.002 AU. Mean zodiacal light, which is assumed to be also solar color in total light, is then estimated by applying the method to all fixed-point observations.

Weinberg, J. L.↗

NASA NTRS1981

On the accuracy of pixel relaxation labeling

An analysis of pixel labeling by probabilistic relaxation techniques is presented to demonstrate that these labeling procedures degenerate to weighted averages in the vicinity of fixed points. A consequence of this is that undesired label conversions can occur, leading to a deterioration of labeling accuracy at a stage after an improvement has already been achieved. Means for overcoming the accuracy deterioration are suggested and used as the basis for a possible design strategy for using probabilistic relaxation procedures. The results obtained are illustrated using simple data sets in which labeling on individual pixels can be examined and also using Landsat imagery to show application to data typical of that encountered in remote sensing applications.

Richards, J. A.↗

NASA NTRS1981

Static diffusion cloud chambers

The chamber geometry and optical arrangement are described. The supersaturation range is given and consists of readings taken at five fixed points: 0.25%, 0.5%, 0.75%, 1.0%, and 1.25%. The detection system is described including light source, cameras, and photocell detectors. The temperature control and the calibration of the chamber are discussed.

Ayers, G.↗

NASA NTRS1981

Results of continuous synchronous orbit testing of sealed nickel-cadmium cells

Test results from continuous synchronous orbit testing of sealed nickel cadmium cells are presented. The synchronous orbit regime simulates a space satellite maintaining a position over a fixed point on earth as the earth rotates on its axis and revolves about the sun. Characteristics of each lot of cells, test conditions, and charge control methods are described.

Harkness, J. D.↗

NASA NTRS1980

Probabilistic cluster labeling of imagery data

The problem of obtaining the probabilities of class labels for the clusters using spectral and spatial information from a given set of labeled patterns and their neighbors is considered. A relationship is developed between class and clusters conditional densities in terms of probabilities of class labels for the clusters. Expressions are presented for updating the a posteriori probabilities of the classes of a pixel using information from its local neighborhood. Fixed-point iteration schemes are developed for obtaining the optimal probabilities of class labels for the clusters. These schemes utilize spatial information and also the probabilities of label imperfections. Experimental results from the processing of remotely sensed multispectral scanner imagery data are presented.

Chittineni, C. B.↗

NASA NTRS1983

Control of large thermal distortions in a cryogenic wind tunnel

The National Transonic Facility (NTF) is a research wind tunnel capable of operation at temperatures down to 89K (160 R) and pressures up to 900,000 Pa (9 atmospheres) to achieve Reynolds numbers approaching 120,000,000. Wide temperature excursions combined with the precise alignment requirements of the tunnel aerodynamic surfaces imposed constraints on the mechanisms supporting the internal structures of the tunnel. The material selections suitable for this application were also limited. A general design philosophy of utilizing a single fixed point for each linear degree of freedom and guiding the expansion as required was adopted. These support systems allow thermal expansion to take place in a manner that minimizes the development of thermally induced stresses while maintaining structural alignment and resisting high aerodynamic loads. Typical of the support mechanisms are the preload brackets used in the fan shroud system and the Watts linkage used to support the upstream nacelle. The design of these mechanisms along with the basic design requirements and the constraints imposed by the tunnel system are discussed.

Gustafson, J. C.↗

NASA NTRS1985

Thermal Compensator for Paraboloidal Reflector

Mounting structure holds off-axis paraboloidal collimating mirror so that optical axis constantly focused and remains stationary with respect to fixed point over wide temperature range.

Stanich, C. G.↗

NASA NTRS1983

Microstrip antennas for SAR applications

Current and future microstrip antenna technology development for Spaceborne Synthetic Aperture Radars (SAR) are summarized. Some of the electrical and mechanical characteristics of previously and presently developed microstrip SAR antennas are shown. The SEASAT, the SIR-A and presently the SIR-B antennas are all designed for operation at L-band with approximately 22 MHz of bandwidth. The antennas have linear polarization with minimum of 20 dB of polarization purity. Both the SEASAT and SIR-A antennas were designed for a fixed pointing angle of 20.5 deg and 47 deg, respectively. However, the SIR-B has the added feature of mechanical beam steering in elevation (range). With the exception of different mechanical characteristics, it is concluded that present spaceborne SAR antennas have only single frequency and single polarization performance. The lack of large spaceborne antennas operating at the higher degree of fabrication tolerance required for a given performance; and larger feed and radiating element losses.

Haddad, H. A.↗