Search NASA⌕ Search

SEARCH · Search NASA

Results for “functional approximation”

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.

At least 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Verification of floating-point software

Floating point computation presents a number of problems for formal verification. Should one treat the actual details of floating point operations, or accept them as imprecisely defined, or should one ignore round-off error altogether and behave as if floating point operations are perfectly accurate. There is the further problem that a numerical algorithm usually only approximately computes some mathematical function, and we often do not know just how good the approximation is, even in the absence of round-off error. ORA has developed a theory of asymptotic correctness which allows one to verify floating point software with a minimum entanglement in these problems. This theory and its implementation in the Ariel C verification system are described. The theory is illustrated using a simple program which finds a zero of a given function by bisection. This paper is presented in viewgraph form.

Hoover, Doug N.↗
NASA NTRS2018

High-Resolution, Ground-Based Observations of the Lunar Sodium Exosphere During the Lunar Atmosphere and Dust Environment Explorer (LADEE) Mission

We present the first comprehensive set of lunar exospheric line width and line width derived effective temperatures as a function of lunar phase (66° waxing phase to 79° waning phase). Data were collected between November 2013 and May 2014 during six observing runs at the National Solar Observatory McMath-Pierce Solar Telescope by applying high-resolution Fabry-Perot spectroscopy (R ~ 180,000) to observe emission from exospheric sodium (5,889.9509 Å, D2 line). The 3-arc min field of view of the instrument, corresponding to ~336 km at the mean lunar distance (384,400 km), was positioned at several locations off the lunar limb; only equatorial observations taken out to 950 km are presented here. We find the sodium effective temperature distribution to be approximately a symmetric function of lunar phase with respect to full Moon. Within magnetotail passage we find temperatures in the range of 2500-9000 K. For phase angles greater than 40deg we find that temperatures flatten out to ~1700 K.

Subsolar↗
NASA NTRS1992

An approximate solution for interlaminar stresses in laminated composites: Applied mechanics program

An approximate solution for interlaminar stresses in finite width, laminated composites subjected to uniform extensional, and bending loads is presented. The solution is based upon the principle of minimum complementary energy and an assumed, statically admissible stress state, derived by considering local material mismatch effects and global equilibrium requirements. The stresses in each layer are approximated by polynomial functions of the thickness coordinate, multiplied by combinations of exponential functions of the in-plane coordinate, expressed in terms of fourteen unknown decay parameters. Imposing the stationary condition of the laminate complementary energy with respect to the unknown variables yields a system of fourteen non-linear algebraic equations for the parameters. Newton's method is implemented to solve this system. Once the parameters are known, the stresses can be easily determined at any point in the laminate. Results are presented for through-thickness and interlaminar stress distributions for angle-ply, cross-ply (symmetric and unsymmetric laminates), and quasi-isotropic laminates subjected to uniform extension and bending. It is shown that the solution compares well with existing finite element solutions and represents an improved approximate solution for interlaminar stresses, primarily at interfaces where global equilibrium is satisfied by the in-plane stresses, but large local mismatch in properties requires the presence of interlaminar stresses.

Rose, Cheryl A.↗
NASA NTRS1986

Rain cell size statistics derived from radar observations at Wallops Island, Virginia

An investigation of two-dimensional rain cell size statistics has analyzed regression relations relating radar-determined rain rates to disdrometer data. This has yielded least-squares fits of radar reflectivity factors, and the application of a contouring program has generated 22,000 contours in which each isopleth belongs to predefined rain-rate intervals. An abundance of total and cell contours were observed belonging to all rain-rate categories. Both the computed number distributions and the conditional cumulative distributions as a function of contour diameter were found to be represented with good approximation by given exponential functions.

Goldhirsh, J.↗
NASA NTRS1995

Hubble space telescope observations of young star clusters in NGC-4038/4039, 'the antennae' galaxies

New, high-resolution images of the disks of NGC 4038/4039 obtained with the Wide Field Camera of the Hubble Space Telescope (HST) are presented. NGC 4038/4039, nicknamed The Antennae, is a prototypical example of a pair of colliding galaxies believed to be at an early stage of a merger. Down to the limiting magnitude of V approximately 23 mag, the HST images reveal a population of over 700 blue pointlike objects within the disks. The mean absolute magnitude of these objects is M(sub V) = -11 mag, with the brightest objects reaching M(sub V) approximately -15. Their mean apparent color indices ar U - V = -0.7 mag and V - 1 = 0.8 mag on the Johnson UVI passband system, while their mean indices corrected for internal reddening are (u - v)(sub 0) = -1.0 mag and (V - I(sub 0) = 0.5. Their mean effective radius, determined from slightly resolved images, is 18 pc (for H(sub 0) = 50 km/s /Mpc). Based on their luminosities and resolution, most of these objects cannot be individual stars, but are likely young compact star clusters. The brighter ones are similar to the objects found in NGC 1275 and NGC 7252, which appear to be young globular clusters formed during recent galazy mergers. Based on their U - V and V - I colors, the brightest, bluest clusters of NGC 4038/4039 appear to be less than 10 Myr old. Most of these bright clusters are relatively tightly clustered themselves, with typically a dozen individual clusters belonging to a complex identified as a giant H II region from ground-based observations. The cluster luminosity function (LF) is approximately a power law, phi(L)dL proportional to L(exp -1.78+/-0.05)dL, with no hint of a turnover at fainter magnitudes. This power-law shape agrees with the LF of Magellanic Cloud clusters and Galactic open clusters, but differs from the LF of old globular cluster systems that is typically Gaussian with a Full Width at Half Maximum (FWHM) of approximately 3 mag. Besides the blue clusters, we also find about a dozen extremely red objects with V - I greater than 3.0. The highest number density of these red objects is found in the SE quadrant, where star formation appears to be most recent. We propose that these objects may be very young star clusters still embedded in their placental dust cocoons.

Whitmore, Bradley C.↗
NASA NTRS1987

An adaptive pseudo-spectral method for reaction diffusion problems

The spectral interpolation error was considered for both the Chebyshev pseudo-spectral and Galerkin approximations. A family of functionals I sub r (u), with the property that the maximum norm of the error is bounded by I sub r (u)/J sub r, where r is an integer and J is the degree of the polynomial approximation, was developed. These functionals are used in the adaptive procedure whereby the problem is dynamically transformed to minimize I sub r (u). The number of collocation points is then chosen to maintain a prescribed error bound. The method is illustrated by various examples from combustion problems in one and two dimensions.

Bayliss, A.↗
NASA NTRS1989

An adaptive pseudo-spectral method for reaction diffusion problems

The spectral interpolation error was considered for both the Chebyshev pseudo-spectral and Galerkin approximations. A family of functionals I sub r (u), with the property that the maximum norm of the error is bounded by I sub r (u)/J sub r, where r is an integer and J is the degree of the polynomial approximation, was developed. These functionals are used in the adaptive procedure whereby the problem is dynamically transformed to minimize I sub r (u). The number of collocation points is then chosen to maintain a prescribed error bound. The method is illustrated by various examples from combustion problems in one and two dimensions.

Bayliss, A.↗
NASA NTRS1983

Spline Classification Methods

The use of spline functions in the development of classification algorithms is discussed. A method is formulated for producing spline approximations to univariate density functions when each density function is described by a histogram of measurements. The resulting approximations are then incorporated into a Bayesian classification procedure for which the probability of misclassification can be readily computed. Some preliminary numerical results are presented to illustrate the method.

Guseman, L. F., Jr.↗
NASA NTRS2006

Initial On-Orbit Spatial Resolution Characterization of OrbView-3 Panchromatic Images

Characterization was conducted under the Memorandum of Understanding among Orbital Sciences Corp., ORBIMAGE, Inc., and NASA Applied Sciences Directorate. Acquired five OrbView-3 panchromatic images of the permanent Stennis Space Center edge targets painted on a concrete surface. Each image is available at two processing levels: Georaw and Basic. Georaw is an intermediate image in which individual pixels are aligned by a nominal shift in the along-scan direction to adjust for the staggered layout of the panchromatic detectors along the focal plane array. Georaw images are engineering data and are not delivered to customers. The Basic product includes a cubic interpolation to align the pixels better along the focal plane and to correct for sensor artifacts, such as smile and attitude smoothing. This product retains satellite geometry - no rectification is performed. Processing of the characterized images did not include image sharpening, which is applied by default to OrbView-3 image products delivered by ORBIMAGE to customers. Edge responses were extracted from images of tilted edges in two directions: along-scan and cross-scan. Each edge response was approximated with a superposition of three sigmoidal functions through a nonlinear least-squares curve-fitting. Line Spread Functions (LSF) were derived by differentiation of the analytical approximation. Modulation Transfer Functions (MTF) were obtained after applying the discrete Fourier transform to the LSF.

Blonski, Slawomir↗
NASA NTRS1998

A Rigorous Framework for Optimization of Expensive Functions by Surrogates

The goal of the research reported here is to develop rigorous optimization algorithms to apply to some engineering design problems for which design application of traditional optimization approaches is not practical. This paper presents and analyzes a framework for generating a sequence of approximations to the objective function and managing the use of these approximations as surrogates for optimization. The result is to obtain convergence to a minimizer of an expensive objective function subject to simple constraints. The approach is widely applicable because it does not require, or even explicitly approximate, derivatives of the objective. Numerical results are presented for a 31-variable helicopter rotor blade design example and for a standard optimization test example.

Booker, Andrew J.↗