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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

An evaluation of the rate of absorption of solar radiation in the O2(X3Sigma-g - b1Sigma-g) transition

The rate at which molecular oxygen absorbs radiation in the O2(X3Sigma-g - b1Sigma-g) transition is calculated using a line-by-line radiative transfer model. This rate is critical to the determination of the population of the O2(b1Sigma-g) state required for studies of the O2(b1Sigma-g - X3Sigma-g) dayglow, the O2(a1Delta-g - X3Sigma-g) dayglow, and possibly the rates of oxidation of H2 and N2O. Previous evaluations of this rate (which is sometimes called the g-factor) have significantly overestimated its value. The rate is tabulated as a function of altitude, pressure, and solar zenith angle.

Mlynczak, Martin G.↗
NASA NTRS1943

Large-deflection theory for end compression of long rectangular plates rigidly clamped along two edges

The von Karman equations for flat plates are solved beyond the buckling load up to edge strains equal to eight time the buckling strain, for the extreme case of rigid clamping along the edges parallel to the load. Deflections, bending stresses, and membrane stresses are given as a function of end compressive load. The theoretical values of effective width are compared with the values derived for simple support along the edges parallel to the load. The increases in effective width due to rigid clamping drops from about 20 percent near the buckling strain to about 8 percent at an edge strain equal to eight times the buckling strain. Experimental values of effective width in the elastic range reported in NACA Technical Note No. 684 are between the theoretical curves for the extremes of simple support and rigid clamping.

Levy, Samuel↗
NASA NTRS1955

Preliminary Results of an Investigation at Transonic Speeds to Determine the Effects of a Heated Propulsive Jet on the Drag Characteristics of a Related Series of Afterbodies

Preliminary results are presented from an investigation to determine the influence of afterbody geometry on the effects of a sonic propulsive jet at transonic speeds. The results presented are base pressure coefficient and afterbody pressure-drag coefficient as a function of jet pressure ratio for different values of Mach number and jet temperature. Geometric parameters investigated include boattail angle, jet-to-model diameter ratio, and jet-to-base diameter ratio.

Henry, Beverly Z , Jr↗
NASA NTRS1995

A Unified Air-Sea Visualization System: Survey on Gridding Structures

The goal is to develop a Unified Air-Sea Visualization System (UASVS) to enable the rapid fusion of observational, archival, and model data for verification and analysis. To design and develop UASVS, modelers were polled to determine the gridding structures and visualization systems used, and their needs with respect to visual analysis. A basic UASVS requirement is to allow a modeler to explore multiple data sets within a single environment, or to interpolate multiple datasets onto one unified grid. From this survey, the UASVS should be able to visualize 3D scalar/vector fields; render isosurfaces; visualize arbitrary slices of the 3D data; visualize data defined on spectral element grids with the minimum number of interpolation stages; render contours; produce 3D vector plots and streamlines; provide unified visualization of satellite images, observations and model output overlays; display the visualization on a projection of the users choice; implement functions so the user can derive diagnostic values; animate the data to see the time-evolution; animate ocean and atmosphere at different rates; store the record of cursor movement, smooth the path, and animate a window around the moving path; repeatedly start and stop the visual time-stepping; generate VHS tape animations; work on a variety of workstations; and allow visualization across clusters of workstations and scalable high performance computer systems.

Anand, Harsh↗
NASA NTRS1996

Computation of Thermally Perfect Properties of Oblique Shock Waves

A set of compressible flow relations describing flow properties across oblique shock waves, derived for a thermally perfect, calorically imperfect gas, is applied within the existing thermally perfect gas (TPG) computer code. The relations are based upon a value of cp expressed as a polynomial function of temperature. The updated code produces tables of compressible flow properties of oblique shock waves, as well as the original properties of normal shock waves and basic isentropic flow, in a format similar to the tables for normal shock waves found in NACA Rep. 1135. The code results are validated in both the calorically perfect and the calorically imperfect, thermally perfect temperature regimes through comparisons with the theoretical methods of NACA Rep. 1135, and with a state-of-the-art computational fluid dynamics code. The advantages of the TPG code for oblique shock wave calculations, as well as for the properties of isentropic flow and normal shock waves, are its ease of use, and its applicability to any type of gas (monatomic, diatomic, triatomic, polyatomic, or any specified mixture thereof).

Tatum, Kenneth E.↗
NASA NTRS1995

Unoccupied electronic resonances of Sc adsorbed on W(001) by k-resolved inverse photoemission

Scandium adsorbed on the (001) face of tungsten has been studied using Auger-electron spectroscopy, low-energy electron diffraction, k-resolved inverse photoelectron spectroscopy, work-function measurements, and relativistic-electronic-structure calculations. We find that the work function of W(001) does not decrease monotonically as a function of scandium adsorption but reaches a minimum value of Phi = 3.25 eV at 50% coverage. For a complete monolayer, an order 1 X 1 Sc overlayer is formed. Inverse photoemission in the isochromat mode was used to map the unoccupied energy levels of this overlayer along the bar-Gamma(bar-Mu) symmetry direction of the surface Brillouin zone. Local-density-functional calculations using the muffin-tin orbital method were performed for a 1 X 1 Sc overlayer on W and are compared with the experimental two-dimensional band structure.

Lamouri, A.↗
NASA NTRS1997

Inversion Schemes to Retrieve Atmospheric and Oceanic Parameters from SeaWiFS Data

Firstly, we have analyzed atmospheric transmittance and sky radiance data connected at the Scripps Institution of Oceanography pier, La Jolla during the winters of 1993 and 1994. Aerosol optical thickness at 870 nm was generally low in La Jolla, with most values below 0.1 after correction for stratospheric aerosols. For such low optical thickness, variability in aerosol scattering properties cannot be determined, and a mean background model, specified regionally under stable stratospheric component, may be sufficient for ocean color remote sensing, from space. For optical thicknesses above 0. 1, two modes of variability characterized by Angstrom exponents of 1.2 and 0.5 and corresponding, to Tropospheric and Maritime models, respectively, were identified in the measurements. The aerosol models selected for ocean color remote sensing, allowed one to fit, within measurement inaccuracies, the derived values of Angstrom exponent and 'pseudo' phase function (the product of single scattering albedo and phase function), key atmospheric correction parameters. Importantly, the 'pseudo' phase function can be derived from measurements of the Angstrom exponent. Shipborne sun photometer measurements at the time of satellite overpass are usually sufficient to verify atmospheric correction for ocean color.

Frouin, Robert↗
NASA NTRS2001

Retrieval of Polar Stratospheric Cloud Microphysical Properties From Lidar Measurements: Dependence on Particle Shape Assumptions

Knowledge of particle sizes and number densities of polar stratospheric clouds (PSCs) is highly important, because they are critical parameters for the modeling of the ozone chemistry of the stratosphere. In situ measurements of PSC particles are rare. the main instrument for the accumulation of PSC data are lidar systems. Therefore the derivation of some microphysical properties of PSCS from the optical parameters measured by lidars would be highly beneficial for ozone research. Inversion of lidar data obtained in the presence of PSCs formed from crystalline particles type 11 and the various nitric acid tri Ydrrate (NAT) types cannot be easily accomplished, because a suitable scattering theory for small faceted crystals has not been readily available tip to now. As a consequence, the T-matrix method is commonly used for the interpretation of these PSC lidar data. Here the assumption is made that the optical properties of an ensemble of spheroids resemble those of crystalline PSCs, and microphysical properties of the PSC are inferred from the optical signatures of the PSC at two or more wavelengths. The problem with the T-matrix approach is that the assumption of spheroidal instead of faceted particles can lead to dramatically wrong results: Usually cloud particle properties are deduced from analysis of lidar profiles of backscatter ratio and depolarization ratio. The particle contribution to the backscatter ratio is given by the product of the particle number density and the backscattering cross section. The latter is proportional to the value of the particle's scattering phase function at 180 degrees scattering angle. At 180 degrees however, the phase functions of rough, faceted crystals and of spheroids with same maximum dimension differ by a factor of 6. From this it follows that for a PSC consisting of faceted crystals, the particle number density is underestimated by roughly the same factor if spheroidal particles are unrealistically assumed. We are currently developing a retrieval technique for determining the microphysical parameters of crystalline PSCs that takes into account the faceted shape of the PSC particles. This approach utilizes finite-difference time-domain (FDTD) calculations of particle optical properties. The accuracy and the free choice of the shape of the scattering particle make the FDTD technique a promising tool for the inversion of PSC lidar data. A first comparison of FDTD and T-matrix calculations will be presented.

Reichardt, Susanne↗
NASA NTRS2001

Electromagnetic Modeling of Distributed-Source-Excitation of Coplanar Waveguides: Applications to Traveling-Wave Photomixers

In this work an electromagnetic model and subsequent design is presented for a traveling-wave, coplanar waveguide (CPW) based source that will operate in the THz frequency regime. The radio frequency (RF) driving current is a result of photoexcitation of a thin GaAs membrane using two frequency-offset lasers. The GaAs film is grown by molecular-beam-epitaxy (MBE) and displays sub-ps carrier lifetimes which enable the material conductivity to be modulated at a very high rate. The RF current flows between electrodes deposited on the GaAs membrane which are biased with a DC voltage source. The electrodes form a CPW and are terminated with a double slot antenna that couples the power to a quasi-optical system. The membrane is suspended above a metallic reflector to launch all radiation in one direction. The theoretical investigation and consequent design is performed in two steps. The first step consists of a direct evaluation of the magnetic current distribution on an infinitely extended coplanar waveguide excited by an impressed electric current distributed over a finite area. The result of the analysis is the difference between the incident angle of the laser beams and the length of the excited area that maximizes the RF power coupled to the CPW. The optimal values for both parameters are found as functions of the CPW and membrane dimensions as well as the dielectric constants of the layers. In the second step, a design is presented of a double slot antenna that matches the CPW characteristic impedance and gives good overall performance. The design is presently being implemented and measurements will soon be available.

Pasqualini, Davide↗
NASA NTRS2004

Unfolding of Proteins: Thermal and Mechanical Unfolding

We have employed a Hamiltonian model based on a self-consistent Gaussian appoximation to examine the unfolding process of proteins in external - both mechanical and thermal - force elds. The motivation was to investigate the unfolding pathways of proteins by including only the essence of the important interactions of the native-state topology. Furthermore, if such a model can indeed correctly predict the physics of protein unfolding, it can complement more computationally expensive simulations and theoretical work. The self-consistent Gaussian approximation by Micheletti et al. has been incorporated in our model to make the model mathematically tractable by signi cantly reducing the computational cost. All thermodynamic properties and pair contact probabilities are calculated by simply evaluating the values of a series of Incomplete Gamma functions in an iterative manner. We have compared our results to previous molecular dynamics simulation and experimental data for the mechanical unfolding of the giant muscle protein Titin (1TIT). Our model, especially in light of its simplicity and excellent agreement with experiment and simulation, demonstrates the basic physical elements necessary to capture the mechanism of protein unfolding in an external force field.

Hur, Joe S.↗
NASA NTRS2002

A model for interphase chromosomes and evaluation of radiation-induced aberrations

We have developed a theoretical model for evaluating radiation-induced chromosomal exchanges by explicitly taking into account interphase (G(0)/G(1)) chromosome structure, nuclear organization of chromosomes, the production of double-strand breaks (DSBs), and the subsequent rejoinings in a faithful or unfaithful manner. Each of the 46 chromosomes for human lymphocytes (40 chromosomes for mouse lymphocytes) is modeled as a random polymer inside a spherical volume. The chromosome spheres are packed randomly inside a spherical nucleus with an allowed overlap controlled by a parameter Omega. The rejoining of DSBs is determined by a Monte Carlo procedure using a Gaussian proximity function with an interaction range parameter sigma. Values of Omega and sigma have been found which yield calculated results of interchromosomal aberration frequencies that agree with a wide range of experimental data. Our preferred solution is one with an interaction range of 0.5 microm coupled with a relatively small overlap parameter of 0.675 microm, which more or less confirms previous estimates. We have used our model with these parameter values and with resolution or detectability limits to calculate yields of translocations and dicentrics for human lymphocytes exposed to low-LET radiation that agree with experiments in the dose range 0.09 to 4 Gy. Five different experimental data sets have been compared with the theoretical results. Essentially all of the experimental data fall between theoretical curves corresponding to resolution limits of 1 Mbp and 20 Mbp, which may reflect the fact that different investigators use different limits for sensitivity or detectability. Translocation yields for mouse lymphocytes have also been calculated and are in good agreement with experimental data from 1 cGy to 10 cGy. There is also good agreement with recent data on complex aberrations. Our model is expected to be applicable to both low- and high-LET radiation, and we include a sample prediction of the yield of interchromosomal rejoining in the dose range 0.22 Gy to 2 Gy of 1000 MeV/nucleon iron particles. This dose range corresponds to average particle traversals per nucleus ranging from 1.0 to 9.12.

Non-NASA Center↗
NASA NTRS2000

Neural network recognition of chemical class information in mobility spectra obtained at high temperatures

A minimal neural network was applied to a large library of high-temperature mobility spectra drawn from 16 chemical classes including 154 substances with 2000 spectra at various concentrations. A genetic algorithm was used to create a representative subset of points from the mobility spectrum as input to a cascade-type back-propagation network. This network demonstrated that significant information specific to chemical class was located in the spectral region near the reactant ions. This network failed to generalize the solution to unfamiliar compounds necessitating the use of complete spectra in network processing. An extended back-propagation network classified unfamiliar chemicals by functional group with a mean for average values of 0.83 without sulfides and 0.79 with sulfides. Further experiments confirmed that chemical class information was resident in the spectral region near the reactant ions. Deconvolution of spectra demonstrated the presence of ions, merged with the reactant ion peaks that originated from introduced samples. The ability of the neural network to generalize the solution to unfamiliar compounds suggests that these ions are distinct and class specific.

NASA Discipline Environmental Health↗
NASA NTRS1995

Cascade Optimization Strategy Maximizes Thrust for High-Speed Civil Transport Propulsion System Concept

The design of a High-Speed Civil Transport (HSCT) air-breathing propulsion system for multimission, variable-cycle operations was successfully optimized through a soft coupling of the engine performance analyzer NASA Engine Performance Program (NEPP) to a multidisciplinary optimization tool COMETBOARDS that was developed at the NASA Lewis Research Center. The design optimization of this engine was cast as a nonlinear optimization problem, with engine thrust as the merit function and the bypass ratios, r-values of fans, fuel flow, and other factors as important active design variables. Constraints were specified on factors including the maximum speed of the compressors, the positive surge margins for the compressors with specified safety factors, the discharge temperature, the pressure ratios, and the mixer extreme Mach number. Solving the problem by using the most reliable optimization algorithm available in COMETBOARDS would provide feasible optimum results only for a portion of the aircraft flight regime because of the large number of mission points (defined by altitudes, Mach numbers, flow rates, and other factors), diverse constraint types, and overall poor conditioning of the design space. Only the cascade optimization strategy of COMETBOARDS, which was devised especially for difficult multidisciplinary applications, could successfully solve a number of engine design problems for their flight regimes. Furthermore, the cascade strategy converged to the same global optimum solution even when it was initiated from different design points. Multiple optimizers in a specified sequence, pseudorandom damping, and reduction of the design space distortion via a global scaling scheme are some of the key features of the cascade strategy. HSCT engine concept, optimized solution for HSCT engine concept. A COMETBOARDS solution for an HSCT engine (Mach-2.4 mixed-flow turbofan) along with its configuration is shown. The optimum thrust is normalized with respect to NEPP results. COMETBOARDS added value in the design optimization of the HSCT engine.

Source record↗
NASA NTRS2006

Modeling of the Near Field Coupling Between an External Loop and an Implantable Spiral Chip Antennas in Biosensor Systems

In this paper, the near field coupling between an external hand-held loop antenna and an implantable miniature (1x1 mm) printed square spiral chip antenna used in bio-MEMS sensors for contact-less powering and RF telemetry is investigated. The loop and the spiral are inductively coupled and effectively form a transformer. The numerical results include the quasi-stationary magnetic field pattern of the implanted antenna, near zone wave impedance as a function of the radial distance and the values of the lumped elements in the equivalent circuit model for the transformer.

Simons, Rainee N.↗
NASA NTRS2008

Safe Upper-Bounds Inference of Energy Consumption for Java Bytecode Applications

Many space applications such as sensor networks, on-board satellite-based platforms, on-board vehicle monitoring systems, etc. handle large amounts of data and analysis of such data is often critical for the scientific mission. Transmitting such large amounts of data to the remote control station for analysis is usually too expensive for time-critical applications. Instead, modern space applications are increasingly relying on autonomous on-board data analysis. All these applications face many resource constraints. A key requirement is to minimize energy consumption. Several approaches have been developed for estimating the energy consumption of such applications (e.g. [3, 1]) based on measuring actual consumption at run-time for large sets of random inputs. However, this approach has the limitation that it is in general not possible to cover all possible inputs. Using formal techniques offers the potential for inferring safe energy consumption bounds, thus being specially interesting for space exploration and safety-critical systems. We have proposed and implemented a general frame- work for resource usage analysis of Java bytecode [2]. The user defines a set of resource(s) of interest to be tracked and some annotations that describe the cost of some elementary elements of the program for those resources. These values can be constants or, more generally, functions of the input data sizes. The analysis then statically derives an upper bound on the amount of those resources that the program as a whole will consume or provide, also as functions of the input data sizes. This article develops a novel application of the analysis of [2] to inferring safe upper bounds on the energy consumption of Java bytecode applications. We first use a resource model that describes the cost of each bytecode instruction in terms of the joules it consumes. With this resource model, we then generate energy consumption cost relations, which are then used to infer safe upper bounds. How energy consumption for each bytecode instruction is measured is beyond the scope of this paper. Instead, this paper is about how to infer safe energy consumption estimations assuming that those energy consumption costs are provided. For concreteness, we use a simplified version of an existing resource model [1] in which an energy consumption cost for individual Java opcodes is defined.

Navas, Jorge↗
NASA NTRS2010

Model Checking with Edge-Valued Decision Diagrams

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library. We provide efficient algorithms for manipulating EVMDDs and review the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi- Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools. Compared to the CUDD package, our tool is several orders of magnitude faster

Roux, Pierre↗
NASA NTRS2010

Model-Checking with Edge-Valued Decision Diagrams

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library along with state-of-the-art algorithms for building the transition relation and the state space of discrete state systems. We provide efficient algorithms for manipulating EVMDDs and give upper bounds of the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi-Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools: EVMDDs for encoding arithmetic expressions, identity-reduced MDDs for representing the transition relation, and the saturation algorithm for reachability analysis. We compare our new symbolic model checking EVMDD library with the widely used CUDD package and show that, in many cases, our tool is several orders of magnitude faster than CUDD.

Roux, Pierre↗
NASA NTRS2012

Mission Operations Assurance

Integrate the mission operations assurance function into the flight team providing: (1) value added support in identifying, mitigating, and communicating the project's risks and, (2) being an essential member of the team during the test activities, training exercises and critical flight operations.

project tracking↗