Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Complexity theory”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

Constitutive modeling for isotropic materials (HOST)

The results of the first year of work on a program to validate unified constitutive models for isotropic materials utilized in high temperature regions of gas turbine engines and to demonstrate their usefulness in computing stress-strain-time-temperature histories in complex three-dimensional structural components. The unified theories combine all inelastic strain-rate components in a single term avoiding, for example, treating plasticity and creep as separate response phenomena. An extensive review of existing unified theories is given and numerical methods for integrating these stiff time-temperature-dependent constitutive equations are discussed. Two particular models, those developed by Bodner and Partom and by Walker, were selected for more detailed development and evaluation against experimental tensile, creep and cyclic strain tests on specimens of a cast nickel base alloy, B19000+Hf. Initial results comparing computed and test results for tensile and cyclic straining for temperature from ambient to 982 C and strain rates from 10(exp-7) 10(exp-3) s(exp-1) are given. Some preliminary date correlations are presented also for highly non-proportional biaxial loading which demonstrate an increase in biaxial cyclic hardening rate over uniaxial or proportional loading conditions. Initial work has begun on the implementation of both constitutive models in the MARC finite element computer code.

Lindholm, Ulric S.↗
NASA NTRS1991

Optical model description of momentum transfer in relativistic heavy ion collisions

An optical model description of momentum transfer in relativistic heavy ion collisions, based upon composite particle multiple scattering theory, is presented. The imaginary component of the complex momentum transfer, which comes from the absorptive part of the optical potential, is identified as the longitudinal momentum downshift of the projectile. Predictions of fragment momentum distribution observables are made and compared with experimental data. Use of the model as a tool for estimating collision impact parameters is discussed.

Khan, F.↗
NASA NTRS1992

Formal verification of a set of memory management units

This document describes the verification of a set of memory management units (MMU). The verification effort demonstrates the use of hierarchical decomposition and abstract theories. The MMUs can be organized into a complexity hierarchy. Each new level in the hierarchy adds a few significant features or modifications to the lower level MMU. The units described include: (1) a page check translation look-aside module (TLM); (2) a page check TLM with supervisor line; (3) a base bounds MMU; (4) a virtual address translation MMU; and (5) a virtual address translation MMU with memory resident segment table.

Schubert, E. Thomas↗
NASA NTRS1992

A brief overview of computational structures technology related activities at NASA Lewis Research Center

The presentation gives a partial overview of research and development underway in the Structures Division of LeRC, which collectively is referred to as the Computational Structures Technology Program. The activities in the program are diverse and encompass four major categories: (1) composite materials and structures; (2) probabilistic analysis and reliability; (3) design optimization and expert systems; and (4) computational methods and simulation. The approach of the program is comprehensive and entails exploration of fundamental theories of structural mechanics to accurately represent the complex physics governing engine structural performance, formulation, and implementation of computational techniques and integrated simulation strategies to provide accurate and efficient solutions of the governing theoretical models by exploiting the emerging advances in computer technology, and validation and verification through numerical and experimental tests to establish confidence and define the qualities and limitations of the resulting theoretical models and computational solutions. The program comprises both in-house and sponsored research activities. The remainder of the presentation provides a sample of activities to illustrate the breadth and depth of the program and to demonstrate the accomplishments and benefits that have resulted.

Hopkins, Dale A.↗
NASA NTRS1992

The Cretaceous-Tertiary (K/T) impact: One or more source craters?

The Cretaceous-Tertiary (K/T) boundary is marked by signs of a worldwide catastrophe, marking the demise of more than 50 percent of all living species. Ever since Alvarez et al. found an enrichment of IR and other siderophile elements in rocks marking the K/T boundary and interpreted it as the mark of a giant asteroid (or comet) impact, scientists have tried to understand the complexities of the K/T boundary event. The impact theory received a critical boost by the discovery of shocked minerals that have so far been found only in association with impact craters. One of the problems of the K/T impact theory was, and still is, the lack of an adequate large crater that is close to the maximum abundance of shocked grains in K/T boundary sections, which was found to occur in sections in Northern America. The recent discovery of impact glasses from a K/T section in Haiti has been crucial in establishing a connection with documented impact processes. The location of the impact-glass findings and the continental nature of detritus found in all K/T sections supports at least one impact site near the North American continent. The Manson Impact Structure is the largest recognized in the United States, 35 km in diameter, and has a radiometric age indistinguishable from that of the Cretaceous-Tertiary (K/T) boundary. Although the Manson structure may be too small, it may be considered at least one element of the events that led to the catastrophic loss of life and extinction of many species at that time. A second candidate for the K/T boundary crater is the Chicxulub structure, which was first suggested to be an impact crater more than a decade ago. Only recently, geophysical studies and petrological (as well as limited chemical) analyses have indicated that this buried structure may in fact be of impact origin. At present we can conclude that the Manson crater is the only confirmed crater of K/T age, but Chicxulub is becoming a strong contender; however, detailed geochemical, geochronological, and isotopic data are necessary to provide definitive evidence.

Koeberl, Christian↗
NASA NTRS1992

Effective permittivity of saline ice under thermal variation

A model for calculating the effective permittivity of saline ice under thermal variation is presented. The model includes multiphase inhomogeneities with multiple species characterized by orientation, size and shape distributions. The model is used to derive the effective permittivity as a function of temperature under the strong fluctuation theory which is extended to account for the complexity. The results calculated from the model are compared with experimental data at 4.8 GHz for saline ice grown at the US Army Cold Regions Research and Engineering Laboratory (CRREL). The comparison between measured and calculated complex permittivities is good for the imaginary part, and the difference is within 10 percent for the real part.

Nghiem, S. V.↗
NASA NTRS1994

Molecular Spectroscopy by Ab Initio Methods

Due to recent advances in methods and computers, the accuracy of ab calculations has reached a point where these methods can be used to provide accurate spectroscopic constants for small molecules; this will be illustrated with several examples. We will show how ab initio calculations where used to identify the Hermann infrared system in N2 and two band systems in CO. The identification of all three of these band systems relied on very accurate calculations of quintet states. The analysis of the infrared spectra of cool stars requires knowledge of the intensity of vibrational transitions in SiO for high nu and J levels. While experiment can supply very accurate dipole moments for nu = 0 to 3, this is insufficient to construct a global dipole moment function. We show how theory, combined by the experiment, can be used to generate the line intensities up to nu = 40 and J = 250. The spectroscopy of transition metal containing systems is very difficult for both theory and experiment. We will discuss the identification of the ground state of Ti2 and the spectroscopy of AlCu as examples of how theory can contribute to the understanding of these complex systems.

Bauschlicher, Charles W., Jr.↗
NASA NTRS2002

An Efficient Scheme for Updating Sparse Cholesky Factors

Raghavan had earlier developed the software package DCSPACK which can be used for solving sparse linear systems where the coefficient matrix is symmetric and positive definite (this project was not funded by NASA but by agencies such as NSF). DSCPACK-S is the serial code and DSCPACK-P is a parallel implementation suitable for multiprocessors or networks-of-workstations with message passing using MCI. The main algorithm used is the Cholesky factorization of a sparse symmetric positive positive definite matrix A = LL(T). The code can also compute the factorization A = LDL(T). The complexity of the software arises from several factors relating to the sparsity of the matrix A. A sparse N x N matrix A has typically less that cN nonzeroes where c is a small constant. If the matrix were dense, it would have O(N2) nonzeroes. The most complicated part of such sparse Cholesky factorization relates to fill-in, i.e., zeroes in the original matrix that become nonzeroes in the factor L. An efficient implementation depends to a large extent on complex data structures and on techniques from graph theory to reduce, identify, and manage fill. DSCPACK is based on an efficient multifrontal implementation with fill-managing algorithms and implementation arising from earlier research by Raghavan and others. Sparse Cholesky factorization is typically a four step process: (1) ordering to compute a fill-reducing numbering, (2) symbolic factorization to determine the nonzero structure of L, (3) numeric factorization to compute L, and, (4) triangular solution to solve L(T)x = y and Ly = b. The first two steps are symbolic and are performed using the graph of the matrix. The numeric factorization step is of dominant cost and there are several schemes for improving performance by exploiting the nested and dense structure of groups of columns in the factor. The latter are aimed at better utilization of the cache-memory hierarchy on modem processors to prevent cache-misses and provide execution rates (operations/second) that are close to the peak rates for dense matrix computations. Currently, EPISCOPACY is being used in an application at NASA directed by J. Newman and M. James. We propose the implementation of efficient schemes for updating the LL(T) or LDL(T) factors computed in DSCPACK-S to meet the computational requirements of their project. A brief description is provided in the next section.

Raghavan, Padma↗
NASA NTRS2000

Pythium invasion of plant-based life support systems: biological control and sources

Invasion of plant-based life support systems by plant pathogens could cause plant disease and disruption of life support capability. Root rot caused by the fungus, Pythium, was observed during tests of prototype plant growth systems containing wheat at the Kennedy Space Center (KSC). We conducted experiments to determine if the presence of complex microbial communities in the plant root zone (rhizosphere) resisted invasion by the Pythium species isolated from the wheat root. Rhizosphere inocula of different complexity (as assayed by community-level physiological profile: CLPP) were developed using a dilution/extinction approach, followed by growth in hydroponic rhizosphere. Pythium growth on wheat roots and concomitant decreases in plant growth were inversely related to the complexity of the inocula during 20-day experiments in static hydroponic systems. Pythium was found on the seeds of several different wheat cultivars used in controlled environmental studies, but it is unclear if the seed-borne fungal strain(s) were identical to the pathogenic strain recovered from the KSC studies. Attempts to control pathogens and their effects in hydroponic life support systems should include early inoculation with complex microbial communities, which is consistent with ecological theory.

NASA Discipline Life Support Systems↗
NASA NTRS1988

Nonlinear dynamics in cardiac conduction

Electrical conduction in the heart shows many phenomena familiar from nonlinear dynamics. Among these phenomena are multiple basins of attraction, phase locking, and perhaps period-doubling bifurcations and chaos. We describe a simple cellular-automation model of electrical conduction which simulates normal conduction patterns in the heart as well as a wide range of disturbances of heart rhythm. In addition, we review the application of percolation theory to the analysis of the development of complex, self-sustaining conduction patterns.

NASA Discipline Cardiopulmonary↗
NASA NTRS2010

Efficient Web Services Policy Combination

Large-scale Web security systems usually involve cooperation between domains with non-identical policies. The network management and Web communication software used by the different organizations presents a stumbling block. Many of the tools used by the various divisions do not have the ability to communicate network management data with each other. At best, this means that manual human intervention into the communication protocols used at various network routers and endpoints is required. Developing practical, sound, and automated ways to compose policies to bridge these differences is a long-standing problem. One of the key subtleties is the need to deal with inconsistencies and defaults where one organization proposes a rule on a particular feature, and another has a different rule or expresses no rule. A general approach is to assign priorities to rules and observe the rules with the highest priorities when there are conflicts. The present methods have inherent inefficiency, which heavily restrict their practical applications. A new, efficient algorithm combines policies utilized for Web services. The method is based on an algorithm that allows an automatic and scalable composition of security policies between multiple organizations. It is based on defeasible policy composition, a promising approach for finding conflicts and resolving priorities between rules. In the general case, policy negotiation is an intractable problem. A promising method, suggested in the literature, is when policies are represented in defeasible logic, and composition is based on rules for non-monotonic inference. In this system, policy writers construct metapolicies describing both the policy that they wish to enforce and annotations describing their composition preferences. These annotations can indicate whether certain policy assertions are required by the policy writer or, if not, under what circumstances the policy writer is willing to compromise and allow other assertions to take precedence. Meta-policies are specified in defeasible logic, a computationally efficient non-monotonic logic developed to model human reasoning. One drawback of this method is that at one point the algorithm starts an exhaustive search of all subsets of the set of conclusions of a defeasible theory. Although the propositional defeasible logic has linear complexity, the set of conclusions here may be large, especially in real-life practical cases. This phenomenon leads to an inefficient exponential explosion of complexity. The current process of getting a Web security policy from combination of two meta-policies consists of two steps. The first is generating a new meta-policy that is a composition of the input meta-policies, and the second is mapping the meta-policy onto a security policy. The new algorithm avoids the exhaustive search in the current algorithm, and provides a security policy that matches all requirements of the involved metapolicies.

Vatan, Farrokh↗
NASA NTRS2011

Initiating Molecular Growth in the Interstellar Medium via Dimeric Complexes of Observed Ions and Molecules

A feasible initiation step for particle growth in the interstellar medium (ISM) is simulated by means of ab quantum chemistry methods. The systems studied are dimer ions formed by pairing nitrogen containing small molecules known to exist in the ISM with ions of unsaturated hydrocarbons or vice versa. Complexation energies, structures of ensuing complexes and electronic excitation spectra of the encounter complexes are estimated using various quantum chemistry methods. Moller-Plesset perturbation theory (MP2, Z-averaged perturbation theory (ZAP2), coupled cluster singles and doubles with perturbative triples corrections (CCSD(T)), and density functional theory (DFT) methods (B3LYP) were employed along with the correlation consistent cc-pVTZ and aug-cc-pVTZ basis sets. Two types of complexes are predicted. One type of complex has electrostatic binding with moderate (7-20 kcal per mol) binding energies, that are nonetheless significantly stronger than typical van der Waals interactions between molecules of this size. The other type of complex develops strong covalent bonds between the fragments. Cyclic isomers of the nitrogen containing complexes are produced very easily by ion-molecule reactions. Some of these complexes show intense ultraviolet visible spectra for electronic transitions with large oscillator strengths at the B3LYP, omegaB97, and equations of motion coupled cluster (EOM-CCSD) levels. The open shell nitrogen containing carbonaceous complexes especially exhibit a large oscillator strength electronic transition in the visible region of the electromagnetic spectrum.

Bera, Partha P.↗
NASA NTRSDate not supplied

Towards Accurate and Efficient Predictions of Martensitic Transition Temperatures for Shape Memory Alloys from First Principles

Shape memory alloys (SMAs) can remember and recover their original shapes upon heating due to the existence of a reversible martensitic transition (MT) between the high-temperature austenite (A) and low-temperature martensite (M) phases. The martensitic transition temperature (MTT) is a crucial characteristic of an SMA. SMAs have a wide range of potential applications in aerospace, civil engineering, bioengineering, etc., but their operating temperatures are limited by the available SMAs. MTT can be tuned by alloying a binary with other metals, and the multicomponent NiTi-based SMAs have attracted tremendous research efforts recently. It is not efficient to employ the trial-and-error method alone due to the dramatically increased complexity and possibilities in compositions, and thus reliable theory and accurate computations play an indispensable role in creating SMAs with desirable properties.

Zhigang Wu↗
NASA NTRS1999

Fidelity Analysis of Sampled Imaging Systems

Many modeling, simulation and performance analysis studies of sampled imaging systems are inherently incomplete because they are conditioned on a discrete-input, discrete-output model that only accounts for blurring during image acquisition and additive noise. For those sampled imaging systems where the effects of digital image acquisition, digital filtering and reconstruction are significant, the modeling, simulation and performance analysis should be based on a more comprehensive continuous-input, discrete-processing, continuous-output end-to-end model. This more comprehensive model should properly account for the low-pass filtering effects of image acquisition prior to sampling, the potentially important noiselike effects of the aliasing caused by sampling, additive noise due to device electronics and quantization, the generally high-boost filtering effects of digital processing, and the low-pass filtering effects of image reconstruction. This model should not, however, be so complex as to preclude significant mathematical analysis, particularly the mean-square (fidelity) type of analysis so common in linear system theory. We demonstrate that, although the mathematics of such a model is more complex, the increase in complexity is not so great as to prevent a complete fidelity-metric analysis at both the component level and at the end-to-end system level: that is, computable mean-square-based fidelity metrics are developed by which both component-level and system-level performance can be quantified. In addition, we demonstrate that system performance can be assessed qualitatively by visualizing the output image as the sum of three component images, each of which relates to a corresponding fidelity metric. The cascaded, or filtered, component accounts for the end-to-end system filtering of image acquisition, digital processing, and image reconstruction; the random noise component accounts for additive random noise, modulated by digital processing and image reconstruction filtering; and the aliased noise component accounts for the frequency folding effect of sampling, modulated by digital processing and image reconstruction filtering.

Park, Stephen K.↗
NASA NTRS1990

Three-dimensional potential flows from functions of a 3D complex variable

Potential, or ideal, flow velocities can be found from the gradient of an harmonic function. An ordinary complex valued analytic function can be written as the sum of two real valued functions, both of which are harmonic. Thus, 2D complex valued functions serve as a source of functions that describe two-dimensional potential flows. However, this use of complex variables has been limited to two-dimensions. Recently, a new system of three-dimensional complex variables has been developed at the NASA Ames Research Center. As a step toward application of this theory to the analysis of 3D potential flow, several functions of a three-dimensional complex variable have been investigated. The results for two such functions, the 3D exponential and 3D logarithm, are presented in this paper. Potential flows found from these functions are investigated. Important characteristics of these flows fields are noted.

Kelly, Patrick↗
NASA NTRS1977

The lifetime of ice particles in the solar system

The behavior of spherical water-ice particles in interplanetary space is investigated theoretically using an equation which gives the sublimation rate as a function of the solar energy distribution at 1 AU, solar distance, the temperature of the ice-particle surface, the temperature of the surrounding background, particle absorption efficiency, particle radius, and the complex refractive index of ice. The variation of sublimation rate with particle size is examined, and it is shown that the sublimation rate depends critically on the absorptivity of ice in the near-IR spectral region. Two different spectral-absorption curves are plotted on the basis of two different choices for the complex refractive index of ice, and an attempt is made to decide experimentally which energy distribution is more appropriate. Results of direct laboratory measurements of the sublimation rate of smooth spherical ice particles are compared with the theoretical results obtained from the cited sublimation-rate equation. Agreement between theory and experiment is found to be excellent when the complex refractive indices given by Bertie et al., (1969) are employed. Sublimation rates and particle lifetimes are then computed as a function of particle radius for heliocentric distances of 0.5, 0.75, and 1.0 AU.

Patashnick, H.↗
NASA NTRS1990

NASA's space physics theory program - An opportunity for collaboration

The field of theoretical space physics offers a unique opportunity to Latin American scientists for collaborative participation in NASA programs where the greatly increased complexity of both experimental observations and theoretical simulations requires in-depth comparisons between theory and observational data. The key problem areas identified by NASA for aggressive work in the decade of the 1990s are the nature of flows and turbulence, acceleration and transport of particles, the coupling of microphysics and macrophysics, the coupling of local and global dynamics, and nonclassical plasmas.

Vinas, Adolfo F.↗
NASA NTRS1993

Looking for O(N) Navier-Stokes solutions on non-structured meshes

Multigrid methods are good candidates for the resolution of the system arising in numerical fluid dynamics. However, the question is to know if those algorithms which are efficient for the Poisson equation on structured meshes will still apply well to the Euler and Navier-Stokes equations on unstructured meshes. The study of elliptic problems leads us to define the conditions where a full multigrid strategy has O(N) complexity. The aim of this paper is to build a comparison between the elliptic theory and practical CFD problems. First, as an introduction, we will recall some basic definitions and theorems applied to a model problem. The goal of this section is to point out the different properties that we need to produce an FMG algorithm with O(N) complexity. Then, we will show how we can apply this theory to the fluid dynamics equations such as Euler and Navier-Stokes equations. At last, we present some results which are 2nd-order accurate and some explanations about the behavior of the FMG process.

Morano, Eric↗