Search NASA⌕ Search

SEARCH · Search NASA

Results for “Value function”

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 757 records · Page 42
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Automated Real Proving in PVS via MetiTarski

This paper reports the development of a proof strategy that integrates the MetiTarski theorem prover as a trusted external decision procedure into the PVS theorem prover. The strategy automatically discharges PVS sequents containing real-valued formulas, including transcendental and special functions, by translating the sequents into first order formulas and submitting them to MetiTarski. The new strategy is considerably faster and more powerful than other strategies for nonlinear arithmetic available to PVS.

Denman, William↗
NASA NTRS1960

Distribution of Trapped Radiation in the Geomagnetic Field

The altitude dependence (360 to 2090 km) of the intensity of geomagnetically trapped radiation as measured with Explorer I (satellite 1958a) is given for a number of geographic locations. It is found that all intensity data in the vicinity of the magnetic dip equator and over the full range of longitude and of altitude can be represented satisfactorily by a single function of the scalar magnetic field intensity B. The value of B at the lower boundary of the inner zone of trapped radiation is a monotonically increasing function of magnetic dip latitude; such data from all available geographic locations are well represented by a single curve.

Yoshida, Sekiko↗
NASA NTRS2015

RACORO Continental Boundary Layer Cloud Investigations: 1. Case Study Development and Ensemble Large-Scale Forcings

Observation-based modeling case studies of continental boundary layer clouds have been developed to study cloudy boundary layers, aerosol influences upon them, and their representation in cloud- and global-scale models. Three 60 h case study periods span the temporal evolution of cumulus, stratiform, and drizzling boundary layer cloud systems, representing mixed and transitional states rather than idealized or canonical cases. Based on in situ measurements from the Routine AAF (Atmospheric Radiation Measurement (ARM) Aerial Facility) CLOWD (Clouds with Low Optical Water Depth) Optical Radiative Observations (RACORO) field campaign and remote sensing observations, the cases are designed with a modular configuration to simplify use in large-eddy simulations (LES) and single-column models. Aircraft measurements of aerosol number size distribution are fit to lognormal functions for concise representation in models. Values of the aerosol hygroscopicity parameter, kappa, are derived from observations to be approximately 0.10, which are lower than the 0.3 typical over continents and suggestive of a large aerosol organic fraction. Ensemble large-scale forcing data sets are derived from the ARM variational analysis, European Centre for Medium-Range Weather Forecasts, and a multiscale data assimilation system. The forcings are assessed through comparison of measured bulk atmospheric and cloud properties to those computed in "trial" large-eddy simulations, where more efficient run times are enabled through modest reductions in grid resolution and domain size compared to the full-sized LES grid. Simulations capture many of the general features observed, but the state-of-the-art forcings were limited at representing details of cloud onset, and tight gradients and high-resolution transients of importance. Methods for improving the initial conditions and forcings are discussed. The cases developed are available to the general modeling community for studying continental boundary clouds.

Boundary layers↗
NASA NTRS2015

Resolving Ice Cloud Optical Thickness Biases Between CALIOP and MODIS Using Infrared Retrievals

Despite its importance as one of the key radiative properties that determines the impact of upper tropospheric clouds on the radiation balance, ice cloud optical thickness (IOT) has proven to be one of the more challenging properties to retrieve from space-based remote sensing measurements. In particular, optically thin upper tropospheric ice clouds (cirrus) have been especially challenging due to their tenuous nature, extensive spatial scales, and complex particle shapes and light scattering characteristics. The lack of independent validation motivates the investigation presented in this paper, wherein systematic biases between MODIS Collection 5 (C5) and CALIOP Version 3 (V3) unconstrained retrievals of tenuous IOT (< 3) are examined using a month of collocated A-Train observations. An initial comparison revealed a factor of two bias between the MODIS and CALIOP IOT retrievals. This bias is investigated using an infrared (IR) radiative closure approach that compares both products with MODIS IR cirrus retrievals developed for this assessment. The analysis finds that both the MODIS C5 and the unconstrained CALIOP V3 retrievals are biased (high and low, respectively) relative to the IR IOT retrievals. Based on this finding, the MODIS and CALIOP algorithms are investigated with the goal of explaining and minimizing the biases relative to the IR. For MODIS we find that the assumed ice single scattering properties used for the C5 retrievals are not consistent with the mean IR COT distribution. The C5 ice scattering database results in the asymmetry parameter (g) varying as a function of effective radius with mean values that are too large. The MODIS retrievals have been brought into agreement with the IR by adopting a new ice scattering model for Collection 6 (C6) consisting of a modified gamma distribution comprised of a single habit (severely roughened aggregated columns); the C6 ice cloud optical property models have a constant g approx. = 0.75 in the mid-visible spectrum, 5-15% smaller than C5. For CALIOP, the assumed lidar ratio for unconstrained retrievals is fixed at 25 sr for the V3 data products.This value is found to be inconsistent with the constrained (predominantly nighttime) CALIOP retrievals. An experimental data set was produced using a modified lidar ratio of 32 sr for the unconstrained retrievals (an increase of 28%), selected to provide consistency with the constrained V3 results. These modifications greatly improve the agreement with the IR and provide consistency between the MODIS and CALIOP products. Based on these results the recently released MODIS C6 optical products use the single habit distribution given above, while the upcoming CALIOP V4 unconstrained algorithm will use higher lidar ratios for unconstrained retrievals.

Cloud↗
NASA NTRS2020

Assessing the Impact of Soil Layer Depth Specification on the Observability of Modeled Soil Moisture and Brightness Temperature

The utility of hydrologic land surface models (LSMs) can be enhanced by using information from observational platforms, but mismatches between the two are common.This study assesses the degree to which model agreement with observations (observability) is affected by two mechanisms in particular: 1) physical incongruities between the support volumes being characterized and 2) inadequateor inconsistent parameterizations of physical processes. The Noah and Noah-MP LSMs by default characterize surface soil moisture (SSM) in the top 10 cm of the soil column. This depth may be reasonable when comparing against soil moisture from in situ probes centered at 5 cm,but it is notably different from the 5 cm (or less) sensing depth of NASA’s Soil Moisture Active Passive (SMAP) satellite mission. These depth inconsistencies are examined by using thinner model layers in the Noah and Noah-MP LSMs and comparing resultant simulations to in situ and SMAP soil moisture. In addition, a forward radiative transfer model to simulate microwave brightness temperatures (Tbs) is used to facilitate direct comparisons of LSM-based and SMAP-based L-band Tb retrievals. Observability is quantified using Kolmogorov-Smirnov distance values, calculated from empirical cumulative distribution functions of SSM and Tb time series. Experiment results depend on the particular subspace being analyzed (SSM or Tb). This study concludes that therole of increasedsoil layer discretizationon LSM observability is secondary to the influence of component parameterizations, the effects of which dominate systematic differences with observations

SMAP↗
NASA NTRS1986

System engineering study of electrodynamic tether as a spaceborne generator and radiator of electromagnetic waves in the ULF/ELF frequency band

The transmission and generation by orbiting tethered satellite systems of information carrying electromagnetic waves in the ULF/ELF frequency band to the Earth at suitably high signal intensities was examined and the system maintaining these intensities in their orbits for long periods of time without excessive onboard power requirements was investigated. The injection quantity power into electromagnetic waves as a function of system parameters such as tether length and orbital height was estimated. The basic equations needed to evaluate alternataing current tethered systems for external energy requirements are presented. The energy equations to tethered systems with various lengths, tether resistances, and radiation resistances, operating at different current values are applied. Radiation resistance as a function of tether length and orbital height is discussed. It is found that ULF/ELF continuously radiating systems could be maintained in orbit with moderate power requirements. The effect of tether length on the power going into electromagnetic waves and whether a single or dual tether system is preferable for the self-driven mode is discussed. It is concluded that the single tether system is preferable over the dual system.

Estes, R. D.↗
NASA NTRS2009

Gaussian and Lognormal Models of Hurricane Gust Factors

A document describes a tool that predicts the likelihood of land-falling tropical storms and hurricanes exceeding specified peak speeds, given the mean wind speed at various heights of up to 500 feet (150 meters) above ground level. Empirical models to calculate mean and standard deviation of the gust factor as a function of height and mean wind speed were developed in Excel based on data from previous hurricanes. Separate models were developed for Gaussian and offset lognormal distributions for the gust factor. Rather than forecasting a single, specific peak wind speed, this tool provides a probability of exceeding a specified value. This probability is provided as a function of height, allowing it to be applied at a height appropriate for tall structures. The user inputs the mean wind speed, height, and operational threshold. The tool produces the probability from each model that the given threshold will be exceeded. This application does have its limits. They were tested only in tropical storm conditions associated with the periphery of hurricanes. Winds of similar speed produced by non-tropical system may have different turbulence dynamics and stability, which may change those winds statistical characteristics. These models were developed along the Central Florida seacoast, and their results may not accurately extrapolate to inland areas, or even to coastal sites that are different from those used to build the models. Although this tool cannot be generalized for use in different environments, its methodology could be applied to those locations to develop a similar tool tuned to local conditions.

Merceret, Frank↗
NASA NTRS1972

The relation between momentum transfer and capture and total scattering cross sections for ion-dipole collisions

Numerical values of momentum transfer cross sections sigma sub m for ion-dipole collisions are compared with the corresponding capture cross sections sigma sub c as a function of ion velocity and rotational temperature. For values of dipole moment mu from 1 to 4 Debyes the sigma sub m/sigma sub c ratio is in the range 1.2 to 2.0 (roughly). This is in contrast to the simple relation for Langevin collisions where sigma sub m/sigma sub c is equal to or approximately 1.10 independent of polarizability of the target atom. At low temperatures, the momentum transfer cross sections can be as large as 2000 A squared but they are only about 15 to 30 percent of the total scattering cross sections sigma sub S.

Dugan, J. V., Jr.↗
NASA NTRS2000

Effects of Space Flight on Neutrophil Functions in Astronauts

Neutrophil phagocytosis, oxidative burst, degranulation, and the expression of selected surface markers were studied in 25 astronauts following 4 space shuttle missions. Space flight duration ranged from 5 to 11 days. Blood specimens were obtained 10 days before launch, immediately after landing, and again at 3 days after landing. The number of neutrophils increased at landing by 85%. Phagocytosis of Escherichia coli (E. coli) and oxidative burst following the medium length (9 to 11 days) missions were lower than the control mean values. Whereas, following the short-duration (5 days) mission, these functions were unchanged from control values. No consistent changes in degranulation were observed following either short or medium length space missions. The expression of CD16, CD32, CD11a, CD11b, CD11c, L-selectin and CD36 were measured and found to be variable. Specifically, CD16 and CD32 did not correlate with the changes in oxidative burst. Mission duration appears to be a factor in phagocytic and oxidative functions.

Kaur, Indreshpal↗
NASA NTRS2003

Surveillance system and method having parameter estimation and operating mode partitioning

A system and method for monitoring an apparatus or process asset including partitioning an unpartitioned training data set into a plurality of training data subsets each having an operating mode associated thereto; creating a process model comprised of a plurality of process submodels each trained as a function of at least one of the training data subsets; acquiring a current set of observed signal data values from the asset; determining an operating mode of the asset for the current set of observed signal data values; selecting a process submodel from the process model as a function of the determined operating mode of the asset; calculating a current set of estimated signal data values from the selected process submodel for the determined operating mode; and outputting the calculated current set of estimated signal data values for providing asset surveillance and/or control.

Bickford, Randall L.↗
NASA NTRS1993

Radial basis function neural networks applied to NASA SSME data

This paper presents a brief report on the application of Radial Basis Function Neural Networks (RBFNN) to the prediction of sensor values for fault detection and diagnosis of the Space Shuttle's Main Engines (SSME). The location of the Radial Basis Function (RBF) node centers was determined with a K-means clustering algorithm. A neighborhood operation about these center points was used to determine the variances of the individual processing notes.

Wheeler, Kevin R.↗
NASA NTRS2017

Suomi NPP VIIRS Solar Diffuser Screen Transmittance Model and Its Applications

The visible infrared imaging radiometer suite on the Suomi National Polar-orbiting Partnership satellite calibrates its reflective solar bands through observations of a sunlit solar diffuser (SD) panel. Sunlight passes through a perforated plate, referred to as the SD screen, before reaching the SD. It is critical to know whether the SD screen transmittance measured prelaunch is accurate. Several factors such as misalignments of the SD panel and the measurement apparatus could lead to errors in the measured transmittance and thus adversely impact on-orbit calibration quality through the SD. We develop a mathematical model to describe the transmittance as a function of the angles that incident light makes with the SD screen, and apply the model to fit the prelaunch measured transmittance. The results reveal that the model does not reproduce the measured transmittance unless the size of the apertures in the SD screen is quite different from the design value. We attribute the difference to the orientation alignment errors for the SD panel and the measurement apparatus. We model the alignment errors and apply our transmittance model to fit the prelaunch transmittance to retrieve the "true" transmittance. To use this model correctly, we also examine the finite source size effect on the transmittance. Furthermore, we compare the product of the retrieved "true" transmittance and the prelaunch SD bidirectional reflectance distribution function (BRDF) value to the value derived from on-orbit data to determine whether the prelaunch SD BRDF value is relatively accurate. The model is significant in that it can evaluate whether the SD screen transmittance measured prelaunch is accurate and help retrieve the true transmittance from the transmittance with measurement errors, consequently resulting in a more accurate sensor data product by the same amount.

sensors↗
NASA NTRS1979

Friction measurements in piston-cylinder apparatus using quartz-coesite reversible transition

The value of friction determined by monitoring piston displacement as a function of nominal pressure on compression and decompression cycles at 1273 K is compared with the friction value obtained by reversing the quartz-coesite transition at 1273 and 1073 K in a talc-glass-alsimag cell (Akella and Kennedy, 1971) and a low-friction salt cell (Mirwald et al., 1975). Quenching runs at 1273 K gave double values of friction of 0.25 GPa for the talc-glass-alsimag cell and 0.03 GPa for the salt cell. The piston-displacement technique gave somewhat higher values. Use of piston-displacement hysteresis loops in evaluating the actual pressure on a sample may lead to overestimates for decompression runs and underestimates for compression runs.

Akella, J.↗
NASA NTRS1981

The graphics and data acquisition software package

A software package was developed for use with micro and minicomputers, particularly the LSI-11/DPD-11 series. The package has a number of Fortran-callable subroutines which perform a variety of frequently needed tasks for biomedical applications. All routines are well documented, flexible, easy to use and modify, and require minimal programmer knowledge of peripheral hardware. The package is also economical of memory and CPU time. A single subroutine call can perform any one of the following functions: (1) plot an array of integer values from sampled A/D data, (2) plot an array of Y values versus an array of X values; (3) draw horizontal and/or vertical grid lines of selectable type; (4) annotate grid lines with user units; (5) get coordinates of user controlled crosshairs from the terminal for interactive graphics; (6) sample any analog channel with program selectable gain; (7) wait a specified time interval, and (8) perform random access I/O of one or more blocks of a sequential disk file. Several miscellaneous functions are also provided.

Crosier, W. G.↗
NASA NTRS1981

Asymptotic form of the longitudinal correlation function for isotropic homogeneous turbulence

An asymptotic form is derived for the longitudinal correlation function for isotropic homogeneous turbulence in an incompressible fluid governed by the Navier-Stokes equation. The result is obtained from an analysis of the algebraic-differential structure of the two-point correlation tensor contained in the complex-valued Fourier transform of the probability measure over the turbulence ensemble, which reveals that the Hopf characteristic functional (the complex-valued Fourier transform of the probability measure) satisfies the Fourier interference inequality. Consequences of the expression obtained, in which the correlation function is a positive definite function of the inverse cube of the spatial coordinate as it approaches infinity, are shown to include the nonexistence of the Loitsianskii invariant, and the solution is shown to be consistent with empirical formulas.

Rosen, G.↗
NASA NTRS1979

Increased capabilities of the 30-cm diameter Hg ion thruster

A 30-cm-diam mercury ion thruster, using two or three grid ion accelerating systems, is operated at increased values of beam current. Comparisons with the SEP (Solar Electric Propulsion) and EPSEP (Extended Performance SEP) baseline thrusters are made with respect to performance and lifetime. It is found that when a third, or decelerator, grid is added to the conventional two-grid optics of a SEP-like thruster, the ion beam focusing properties are improved, as expected from theoretical considerations. The total thruster efficiency as a function of specific impulse, is increased for values of specific impulse in the range 1200-2800 sec. Lifetime test results predict a thruster lifetime, under space conditions, not less than that of the baseline SEP thruster.

Rawlin, V. K.↗
NASA NTRS1992

Penetrative convection - Parametrized expression for the growth rates

The equations determining the linear growth rate omega characterizing a convectively unstable fluid with Rayleigh number R(u) bounded below by an impenetrable free boundary and above by a convectively stable fluid with Rayleigh number R(s), are solved numerically. Using the analytical Rayleigh-Benard growth rate omega (RB) as a convenient functional form, it is possible to fit the numerical values for omega if the vertical wave number k(z) = n(pi) and the Rayleigh number R(RB) are taken to be functions of R(s), R(u), and the horizontal wave number k-perpendicular rather than n = integer as in the Rayleigh-Benard case. In addition, contrary to Rayleigh-Benard convection, in which the critical Rayleigh number is fixed, it is found that R super (cr) sub u is variable in the presence of a stable layer, (i.e., it depends on R(s)).

Savolainen, V.↗
NASA NTRS1996

Design of Multi-Parameter Steerable Functions Using Cascade Basis Reduction

A new cascade basis reduction method of computing the optimal least-squares set of basis functions steering a given function is presented. The method combines the Lie group-theoretic and the singular value decomposition approaches in such a way that their respective strengths complement each other. Since the Lie group-theoretic approach is used, the set of basis and steering functions computed can be expressed analytically. Because the singular value decomposition method is used, this set of basis and steering functions is optimal in the least-squares sense. Furthermore, the computational complexity in designing basis functions for transformation groups with large numbers of parameters is significantly reduced. The efficiency of the cascade basis reduction method is demonstrated by designing a set of basis functions that steers a Gabor function under the four-parameter linear transformation group.

Teo, P.↗