SEARCH · Search NASA

Results for “Complexity bounding”

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 181 records · Page 10

All sources NASA NTRS DOE OSTI

NASA NTRS1993

Read buffer optimizations to support compiler-assisted multiple instruction retry

Multiple instruction retry is a recovery mechanism for transient processor faults. We previously developed a compiler-assisted approach to multiple instruction ferry in which a read buffer of size 2N (where N represents the maximum instruction rollback distance) was used to resolve some data hazards while the compiler resolved the remaining hazards. The compiler-assisted scheme was shown to reduce the performance overhead and/or hardware complexity normally associated with hardware-only retry schemes. This paper examines the size and design of the read buffer. We establish a practical lower bound and average size requirement for the read buffer by modifying the scheme to save only the data required for rollback. The study measures the effect on the performance of a DECstation 3100 running ten application programs using six read buffer configurations with varying read buffer sizes. Two alternative configurations are shown to be the most efficient and differed depending on whether split-cycle-saves are assumed. Up to a 55 percent read buffer size reduction is achievable with an average reduction of 39 percent given the most efficient read buffer configuration and a variety of applications.

Alewine, N. J.↗

NASA NTRS2001

Exobiochemistry

Exobiochemistry is the putative biochemistry of extraterrestrial life. It suggests the possible energy and material bases of extraterrestrial life and could help detect it. The diverse biochemistry of Earth indicates that a wide range of exobiochemistry is possible on other planets. An exobiochemistry will probably use the same energy sources as Earths ecology, light, biological organic material, and more rarely abiotic chemicals. Extraterrestrial life will be based on familiar chemical principles and probably capture, store, and release energy using oxidation-reduction reactions. Extraterrestrial life will give chemical indications of its existence. Key elements will be concentrated, stored, and recycled, altering their availability and isotopic composition. Any significant departure from chemical equilibrium would be good evidence for exobiochemistry, but an integrated system of departures from the expected equilibrium would be better. Exobiochemistry can be expected to include closed biogeochemical cycles of the major life supporting elements and may well show the complex dynamic close-coupled interactions that characterize the terrestrial biosphere. Terrestrial biochemistry provides a basis for generalization and extrapolation but it does not set bounds on exobiochemistry. In exobiochemistry we can expect: 1. closed chemical cycles that recycle materials, nutrients, and catalysts, 2. organisms with complementary metabolisms that cooperate to close the chemical cycles, 3. a high probability of a carbon and water chemistry, but some possibility of a non-carbon or non-water chemistry in extreme environments, and, 4. life similar to bacteria more prevalent than higher plants and animals.

Jones, Harry↗

NASA NTRS2009

Adaptive Morphological Feature-Based Object Classifier for a Color Imaging System

Utilizing a Compact Color Microscope Imaging System (CCMIS), a unique algorithm has been developed that combines human intelligence along with machine vision techniques to produce an autonomous microscope tool for biomedical, industrial, and space applications. This technique is based on an adaptive, morphological, feature-based mapping function comprising 24 mutually inclusive feature metrics that are used to determine the metrics for complex cell/objects derived from color image analysis. Some of the features include: Area (total numbers of non-background pixels inside and including the perimeter), Bounding Box (smallest rectangle that bounds and object), centerX (x-coordinate of intensity-weighted, center-of-mass of an entire object or multi-object blob), centerY (y-coordinate of intensity-weighted, center-of-mass, of an entire object or multi-object blob), Circumference (a measure of circumference that takes into account whether neighboring pixels are diagonal, which is a longer distance than horizontally or vertically joined pixels), . Elongation (measure of particle elongation given as a number between 0 and 1. If equal to 1, the particle bounding box is square. As the elongation decreases from 1, the particle becomes more elongated), . Ext_vector (extremal vector), . Major Axis (the length of a major axis of a smallest ellipse encompassing an object), . Minor Axis (the length of a minor axis of a smallest ellipse encompassing an object), . Partial (indicates if the particle extends beyond the field of view), . Perimeter Points (points that make up a particle perimeter), . Roundness [(4(pi) x area)/perimeter(squared)) the result is a measure of object roundness, or compactness, given as a value between 0 and 1. The greater the ratio, the rounder the object.], . Thin in center (determines if an object becomes thin in the center, (figure-eight-shaped), . Theta (orientation of the major axis), . Smoothness and color metrics for each component (red, green, blue) the minimum, maximum, average, and standard deviation within the particle are tracked. These metrics can be used for autonomous analysis of color images from a microscope, video camera, or digital, still image. It can also automatically identify tumor morphology of stained images and has been used to detect stained cell phenomena (see figure).

McDowell, Mark↗

NASA NTRS1975

Separation of the strain components for use in strainrange partitioning

Two methods are presented for separating the inelastic strain components of a complex hysteresis loop so that strainrange partitioning formulas can be applied to accurately determine cyclic life at elevated temperatures. These methods are required only if lower bounds established by strainrange partitioning concepts have been deemed inadequate in the establishment of expected lifetime. In one method, rapid loading and unloading is applied in the tensile and compressive half to isolate the plastic strain. In the second method, the creep is measured at a discrete number of points along the hysteresis loop by combining load-control tests into the general pattern of strain cycling under arbitrary temperature. Both methods are shown to give good results.

Manson, S. S.↗

NASA NTRS1975

Separation of the strain components for use in Strainrange Partitioning

Two methods are presented for separating the inelastic strain components of a complex hysteresis loop so that Strainrange Partitioning formulas can be applied to accurately determine cyclic life at elevated temperatures. These methods are required only if lower bounds established by Strainrange Partitioning concepts have been deemed inadequate in the establishment of expected lifetime. In one method rapid loading and unloading is applied in the tensile and compressive half to isolate the plastic strain. In the second method the 'creep' is measured at a discrete number of points along the hysteresis loop by combining load-control tests into the general pattern of strain cycling under arbitrary temperature. Both methods are shown to give good results.

Manson, S. S.↗

NASA NTRS2009

Computations of Aerodynamic Performance Databases Using Output-Based Refinement

Objectives: Handle complex geometry problems; Control discretization errors via solution-adaptive mesh refinement; Focus on aerodynamic databases of parametric and optimization studies: 1. Accuracy: satisfy prescribed error bounds 2. Robustness and speed: may require over 105 mesh generations 3. Automation: avoid user supervision Obtain "expert meshes" independent of user skill; and Run every case adaptively in production settings.

Nemec, Marian↗

NASA NTRS1993

Unstructured grid large eddy simulation of wall bounded turbulent flows

Historically, large eddy simulations (LES) have been restricted to simple geometries where spectral or finite difference methods have dominated due to their efficient use of structured grids. Structured grids, however, not only have difficulty representing complex domains and adapting to complicated flow features, but also are rather inefficient for simulating flows at high Reynolds numbers. The lack of efficiency stems from the need to resolve the viscous sub layer which requires very fine resolution in all three directions near the wall. Structured grids make use of a stretching to reduce the normal grid spacing but must carry the fine resolution in the streamwise and spanwise directions throughout the domain. The unnecessarily fine grid for much of the domain leads to disturbingly high grid estimates. Chapman (1979), and later Moin & Jimenez (1993), pointed out that, in order to advance the technology to airfoils at flight Reynolds numbers, structured grids must be abandoned in lieu of what are known as nested or unstructured grids. We illustrate the ability of an unstructured mesh to refine only the near wall region. Note the large number of points near the wall (where the fine vortical features need better resolution) and the coarseness in all directions away from the wall (where the scales are much larger). The important difference between this approach and the usual structured grid stretching is that the number of elements used to discretize the spanwise and streamwise features of the flow is reduced in each successive layer coming off the wall. This is due to the fact that the elements not only grow in the normal direction, but in the other directions as well. This greatly reduces the total number of points or elements required for a given Reynolds number flow.

Jansen, Kenneth↗

NASA NTRS1987

Microwave dielectric behavior of vegetation material

The microwave dielectric behavior of vegetation was examined through the development of theoretical models involving dielectric dispersion by both bound and free water and supported by extensive dielectric measurements conducted over a wide range of conditions. The experimental data were acquired using an open-ended coaxial probe that was developed for sensing the dielectric constant of thin layers of materials, such as leaves, from measurements of the complex reflection coefficient using a network analyzer. The probe system was successfully used to record the spectral variation of the dielectric constant over a wide frequency range extending from 0.5 to 20.4 GHz at numerous temperatures between -40 to +40 C. The vegetation samples were measured over a wide range of moisture conditions. To model the dielectric spectrum of the bound water component of the water included in vegetation, dielectric measurements were made for several sucrose-water solutions as analogs for the situation in vegetation. The results were used in conjunction with the experimental data for leaves to determine some of the constant coefficients in the theoretical models. Two models, both of which provide good fit to the data, are proposed.

Elrayes, Mohamed A.↗

NASA NTRS1977

Stability of higher-order Bragg interactions in active periodic media

The stability of waves in unbounded, longitudinally periodic media is studied for index and gain coupling. Time-independent periodic media are found to support both stable and absolutely unstable waves. The wave characteristics depend upon average gain or loss, coupling type, and Bragg order. The extended coupled waves equations provide explicit values of threshold, frequency, and temporal growth rate for instabilities at all Bragg resonances through the dispersion relation. Applications to multiharmonic periodicities and complex couplings are briefly discussed with particular note taken of possible reductions of the stability thresholds and removal of threshold degeneracies. Comparisons are made to the longitudinally bounded case of distributed feedback lasers.

Jaggard, D. L.↗

NASA NTRS1988

K-epsilon turbulence model assessment with reduced numerical diffusion for coaxial jets

A numerical study has been conducted to evaluate the performance of the k-epsilon turbulence model for axisymmetric, unconfined, swirling, and nonswirling coaxial jet flows. Two lower order schemes, hybrid and power-law, and two higher order schemes, flux-spline and bounded skew upwind differencing, were employed in this investigation. The predicted results indicate that the higher order numerical schemes have greater potential for future model improvements and complex flow calculations in terms of storage, accuracy, and execution time. For the nonswirling flow, computations using an algebraic stress model have also been presented.

Nikjooy, M.↗

NASA NTRS1991

An error bound for instantaneous coverage

An error bound is derived for a reliability model approximation method. The approximation method is appropriate for the semi-Markov models of reconfigurable systems that are designed to achieve extremely high reliability. The semi-Markov models of these system are complex, and a significant amount of their complexity arises from the detailed descriptions of the reconfiguration processes. The reliability model approximation method consists of replacing a detailed description of a reconfiguration process with the probabilities of the possible outcomes of the reconfiguration process. These probabilities are included in the model as instantaneous jumps from the fault-occurrence state. Since little time is spent in the reconfiguration states, instantaneous jumps are a close approximation to the original model. This approximation procedure is shown to produce an overestimation for the probability of system failure, and an error bound is derived for this overestimation.

White, Allan L.↗

NASA NTRS2010

Performance Bounds on Two Concatenated, Interleaved Codes

A method has been developed of computing bounds on the performance of a code comprised of two linear binary codes generated by two encoders serially concatenated through an interleaver. Originally intended for use in evaluating the performances of some codes proposed for deep-space communication links, the method can also be used in evaluating the performances of short-block-length codes in other applications. The method applies, more specifically, to a communication system in which following processes take place: At the transmitter, the original binary information that one seeks to transmit is first processed by an encoder into an outer code (Co) characterized by, among other things, a pair of numbers (n,k), where n (n > k)is the total number of code bits associated with k information bits and n k bits are used for correcting or at least detecting errors. Next, the outer code is processed through either a block or a convolutional interleaver. In the block interleaver, the words of the outer code are processed in blocks of I words. In the convolutional interleaver, the interleaving operation is performed bit-wise in N rows with delays that are multiples of B bits. The output of the interleaver is processed through a second encoder to obtain an inner code (Ci) characterized by (ni,ki). The output of the inner code is transmitted over an additive-white-Gaussian- noise channel characterized by a symbol signal-to-noise ratio (SNR) Es/No and a bit SNR Eb/No. At the receiver, an inner decoder generates estimates of bits. Depending on whether a block or a convolutional interleaver is used at the transmitter, the sequence of estimated bits is processed through a block or a convolutional de-interleaver, respectively, to obtain estimates of code words. Then the estimates of the code words are processed through an outer decoder, which generates estimates of the original information along with flags indicating which estimates are presumed to be correct and which are found to be erroneous. From the perspective of the present method, the topic of major interest is the performance of the communication system as quantified in the word-error rate and the undetected-error rate as functions of the SNRs and the total latency of the interleaver and inner code. The method is embodied in equations that describe bounds on these functions. Throughout the derivation of the equations that embody the method, it is assumed that the decoder for the outer code corrects any error pattern of t or fewer errors, detects any error pattern of s or fewer errors, may detect some error patterns of more than s errors, and does not correct any patterns of more than t errors. Because a mathematically complete description of the equations that embody the method and of the derivation of the equations would greatly exceed the space available for this article, it must suffice to summarize by reporting that the derivation includes consideration of several complex issues, including relationships between latency and memory requirements for block and convolutional codes, burst error statistics, enumeration of error-event intersections, and effects of different interleaving depths. In a demonstration, the method was used to calculate bounds on the performances of several communication systems, each based on serial concatenation of a (63,56) expurgated Hamming code with a convolutional inner code through a convolutional interleaver. The bounds calculated by use of the method were compared with results of numerical simulations of performances of the systems to show the regions where the bounds are tight (see figure).

Moision, Bruce↗

NASA NTRS1974

Natural evidence for chemical and early biological evolution

Oparin (1924) and Haldane (1929) have independently hypothesized that life arose under reducing conditions through an evolutionary sequence of events involving increasingly complex organic substances. The natural evidence for this hypothesis of chemical evolution is considered, giving particular attention to tangible samples which have been chemically analyzed in earth-bound laboratories. It is found that meteorites provide naturally occurring evidence in support of chemical evolution, but not of biological evolution. Studies on the early Precambrian Swaziland Sequence and the Bulawayan System of southern Africa provide evidence for very early biological evolution.

Kvenvolden, K. A.↗

NASA NTRS1979

Alternatives for jet engine control

The research is classified in two categories: (1) the use of modern multivariable frequency domain methods for control of engine models in the neighborhood of a set-point, and (2) the use of nonlinear modelling and optimization techniques for control of engine models over a more extensive part of the flight envelope. Progress in the first category included the extension of CARDIAD (Complex Acceptability Region for Diagonal Dominance) methods developed with the help of the grant to the case of engine models with four inputs and four outputs. A suitable bounding procedure for the dominance function was determined. Progress in the second category had its principal focus on automatic nonlinear model generation. Simulations of models produced satisfactory results where compared with the NASA DYNGEN digital engine deck.

Sain, M. K.↗

NASA NTRS1981

Satellite and surface geophysical expression of anomalous crustal structure in Kentucky and Tennessee

An equivalent layer magnetization model is discussed. Inversion of long wavelength satellite magnetic anomaly data indicates a very magnetic source region centered in south central Kentucky. Refraction profiles suggest that the source of the gravity anomaly is a large mass of rock occupying much of the crustal thickness. The outline of the source delineated by gravity contours is also discernible in aeromagnetic anomaly patterns. The mafic plutonic complex, and several lines of evidence are consistent with a rift association. The body is, however, clearly related to the inferred position of the Grenville Front. It is bounded on the north by the fault zones of the 38th Parallel Lineament. It is suggested that such magnetization levels are achieved with magnetic mineralogies produced by normal oxidation and metamorphic processes and enhanced by viscous build-up, especially in mafic rocks of alkaline character.

Mayhew, M. A.↗

NASA NTRS2004

Drilling to Extract Liquid Water on Mars: Feasible and Worth the Investment

A critical application for the success of the Exploration Mission is developing cost effective means to extract resources from the Moon and Mars needed to support human exploration. Water is the most important resource in this regard, providing a critical life support consumable, the starting product of energy rich propellants, energy storage media (e.g. fuel cells), and a reagent used in virtually all manufacturing processes. Water is adsorbed and chemically bound in Mars soils, ice is present near the Martian surface at high latitudes, and water vapor is a minor atmospheric constituent, but extracting meaningful quantities requires large complex mechanical systems, massive feedstock handling, and large energy inputs. Liquid water aquifers are almost certain to be found at a depth of several kilometers on Mars based on our understanding of the average subsurface thermal gradient, and geological evidence from recent Mars missions suggests liquid water may be present much closer to the surface at some locations. The discovery of hundreds of recent water-carved gullies on Mars indicates liquid water can be found at depths of 200-500 meters in many locations. Drilling to obtain liquid water via pumping is therefore feasible and could lower the cost and improve the return of Mars exploration more than any other ISRU technology on the horizon. On the Moon, water ice may be found in quantity in permanently shadowed regions near the poles.

Stoker, C.↗

NASA NTRS1988

On conjugate gradient type methods and polynomial preconditioners for a class of complex non-Hermitian matrices

Conjugate gradient type methods are considered for the solution of large linear systems Ax = b with complex coefficient matrices of the type A = T + i(sigma)I where T is Hermitian and sigma, a real scalar. Three different conjugate gradient type approaches with iterates defined by a minimal residual property, a Galerkin type condition, and an Euclidian error minimization, respectively, are investigated. In particular, numerically stable implementations based on the ideas behind Paige and Saunder's SYMMLQ and MINRES for real symmetric matrices are proposed. Error bounds for all three methods are derived. It is shown how the special shift structure of A can be preserved by using polynomial preconditioning. Results on the optimal choice of the polynomial preconditioner are given. Also, some numerical experiments for matrices arising from finite difference approximations to the complex Helmholtz equation are reported.

Freund, Roland↗

NASA NTRS1983

Convective-diffusive transport in vapor growth ampoules

Theoretical and experimental work on heat and mass transport in crystal growth by closed ampoule vapor transport is reviewed. It is shown that double-diffusive phenomena, together with the three-dimensional boundary conditions of real systems lead to a complexity of the transport modes that are beyond the reach of the simplifying models currently used in the materials preparation literature. Consequences of the new insights for earth-bound vapor transport and for optimization of future space experiments are discussed.

Rosenberger, F.↗