Search NASA⌕ Search

SEARCH · Search NASA

Results for “theory building”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2002

Dynamical Approach Study of Spurious Numerics in Nonlinear Computations

The last two decades have been an era when computation is ahead of analysis and when very large scale practical computations are increasingly used in poorly understood multiscale complex nonlinear physical problems and non-traditional fields. Ensuring a higher level of confidence in the predictability and reliability (PAR) of these numerical simulations could play a major role in furthering the design, understanding, affordability and safety of our next generation air and space transportation systems, and systems for planetary and atmospheric sciences, and in understanding the evolution and origin of life. The need to guarantee PAR becomes acute when computations offer the ONLY way of solving these types of data limited problems. Employing theory from nonlinear dynamical systems, some building blocks to ensure a higher level of confidence in PAR of numerical simulations have been revealed by the author and world expert collaborators in relevant fields. Five building blocks with supporting numerical examples were discussed. The next step is to utilize knowledge gained by including nonlinear dynamics, bifurcation and chaos theories as an integral part of the numerical process. The third step is to design integrated criteria for reliable and accurate algorithms that cater to the different multiscale nonlinear physics. This includes but is not limited to the construction of appropriate adaptive spatial and temporal discretizations that are suitable for the underlying governing equations. In addition, a multiresolution wavelets approach for adaptive numerical dissipation/filter controls for high speed turbulence, acoustics and combustion simulations will be sought. These steps are corner stones for guarding against spurious numerical solutions that are solutions of the discretized counterparts but are not solutions of the underlying governing equations.

Yee, H. C.↗
NASA NTRS2016

Theoretical Aeroacoustics: Compiled Mathematical Derivations of Fereidoun 'Feri' Farassat

Dr. Fereidoun 'Feri' Farassat was a theoretical aero-acoustician at the National Aeronautics and Space Administration (NASA) Langley Research Center. This book contains technical derivations, notes, and classes that Dr. Farassat produced during his professional career. The layout of the book has been carefully crafted so that foundational ideas through advanced theories, which altered the technical discipline of aeroacoustics, build upon one another. The book can be used to understand the theories of acoustics and learn one contemporary aeroacoustic prediction approach made popular by Dr. Farassat. Most importantly, this book gives the general reader insight into how one of NASA's best aeroacoustics theoreticians thought, constructed, and solved problems throughout his career.

Miller, Steven A. E.↗
NASA NTRS2008

The Gravity Probe B Experiment

This presentation briefly describes the Gravity Probe B (GP-B) Experiment which is designed to measure parts of Einstein's general theory of relativity by monitoring gyroscope orientation relative to a distant guide star. To measure the miniscule angles predicted by Einstein's theory, it was necessary to build near-perfect gyroscopes that were approximately 50 million times more precise than the best navigational gyroscopes. A telescope mounted along the central axis of the dewar and spacecraft provided the experiment's pointing reference to a guide star. The telescope's image divide precisely split the star's beam into x-axis and y-axis components whose brightness could be compared. GP-B's 650-gallon dewar, kept the science instrument inside the probe at a cryogenic temperature for 17.3 months and also provided the thruster propellant for precision attitude and translation control. Built around the dewar, the GP-B spacecraft was a total-integrated system, comprising both the space vehicle and payload, dedicated as a single entity to experimentally testing predictions of Einstein's theory.

Kolodziejczak, Jeffrey↗
NASA NTRS2001

Viscoplastic Model Development to Account for Strength Differential: Application to Aged Inconel 718 at Elevated Temperature

The magnitude of yield and flow stresses in aged Inconel 718 are observed to be different in tension and compression. This phenomenon, called the Strength differential (SD), contradicts the metal plasticity axiom that the second deviatoric stress invariant alone is sufficient for representing yield and flow. Apparently, at least one of the other two stress invariants is also significant. A unified viscoplastic model was developed that is able to account for the SD effect in aged Inconel 718. Building this model involved both theory and experiments. First, a general threshold function was proposed that depends on all three stress invariants and then the flow and evolution laws were developed using a potential-based thermodynamic framework. Judiciously chosen shear and axial tests were conducted to characterize the material. Shear tests involved monotonic loading, relaxation, and creep tests with different loading rates and load levels. The axial tests were tension and compression tests that resulted in sufficiently large inelastic strains. All tests were performed at 650 C. The viscoplastic material parameters were determined by optimizing the fit to the shear tests, during which the first and the third stress invariants remained zero. The threshold surface parameters were then fit to the tension and compression test data. An experimental procedure was established to quantify the effect of each stress invariant on inelastic deformation. This requires conducting tests with nonproportional three-dimensional load paths. Validation of the model was done using biaxial tests on tubular specimens of aged Inconel 718 using proportional and nonproportional axial-torsion loading. These biaxial tests also helped to determine the most appropriate form of the threshold function; that is, how to combine the stress invariants. Of the set of trial threshold functions, the ones that incorporated the third stress invariant give the best predictions. However, inclusion of the first stress invariant does not significantly improve the model predictions. The model shows excellent predictive capability for nonproportional load paths. Additionally, it reduces to the well-known models of Mises Drucker and Drucker-Prager. The requisite experiments involve reasonably simple load paths in the axial-shear stress plane and hence can be performed on a variety of different materials: be they metallic, geological. polymeric, ceramic or granular. The general form of the threshold function allows representation of inelastic deformation in a range of materials.

Iyer, Saiganesh↗
NASA NTRS1998

Congruence Approximations for Entrophy Endowed Hyperbolic Systems

Building upon the standard symmetrization theory for hyperbolic systems of conservation laws, congruence properties of the symmetrized system are explored. These congruence properties suggest variants of several stabilized numerical discretization procedures for hyperbolic equations (upwind finite-volume, Galerkin least-squares, discontinuous Galerkin) that benefit computationally from congruence approximation. Specifically, it becomes straightforward to construct the spatial discretization and Jacobian linearization for these schemes (given a small amount of derivative information) for possible use in Newton's method, discrete optimization, homotopy algorithms, etc. Some examples will be given for the compressible Euler equations and the nonrelativistic MHD equations using linear and quadratic spatial approximation.

Barth, Timothy J.↗
NASA NTRS2019

Chapter 14: 100 Years of Progress in Hydrology

The focus of this chapter is progress in hydrology for the last 100 years. During this period, we have seen a marked transition from practical engineering hydrology to fundamental developments in hydrologic science, including contributions to Earth system science. The first three sections in this chapter review advances in theory, observations, and hydrologic prediction. Building on this foundation, the growth of global hydrology, land-atmosphere interactions and coupling, ecohydrology, and water management are discussed, as well as a brief summary of emerging challenges and future directions. Although the review attempts to be comprehensive, the chapter offers greater coverage on surface hydrology and hydrometeorology for readers of this American Meteorological Society (AMS) Monograph.

Peters-Lidard, Christa D.↗
NASA NTRS1975

Modeling arson - An exercise in qualitative model building

A detailed example is given of the role of von Neumann and Morgenstern's 1944 'expected utility theorem' (in the theory of games and economic behavior) in qualitative model building. Specifically, an arsonist's decision as to the amount of time to allocate to arson and related activities is modeled, and the responsiveness of this time allocation to changes in various policy parameters is examined. Both the activity modeled and the method of presentation are intended to provide an introduction to the scope and power of the expected utility theorem in modeling situations of 'choice under uncertainty'. The robustness of such a model is shown to vary inversely with the number of preference restrictions used in the analysis. The fewer the restrictions, the wider is the class of agents to which the model is applicable, and accordingly more confidence is put in the derived results. A methodological discussion on modeling human behavior is included.

Heineke, J. M.↗
NASA NTRS1992

Reformulating Non-Monotonic Theories for Inference and Updating

We aim to help build programs that do large-scale, expressive non-monotonic reasoning (NMR): especially, 'learning agents' that store, and revise, a body of conclusions while continually acquiring new, possibly defeasible, premise beliefs. Currently available procedures for forward inference and belief revision are exhaustive, and thus impractical: they compute the entire non-monotonic theory, then re-compute from scratch upon updating with new axioms. These methods are thus badly intractable. In most theories of interest, even backward reasoning is combinatoric (at least NP-hard). Here, we give theoretical results for prioritized circumscription that show how to reformulate default theories so as to make forward inference be selective, as well as concurrent; and to restrict belief revision to a part of the theory. We elaborate a detailed divide-and-conquer strategy. We develop concepts of structure in NM theories, by showing how to reformulate them in a particular fashion: to be conjunctively decomposed into a collection of smaller 'part' theories. We identify two well-behaved special cases that are easily recognized in terms of syntactic properties: disjoint appearances of predicates, and disjoint appearances of individuals (terms). As part of this, we also definitionally reformulate the global axioms, one by one, in addition to applying decomposition. We identify a broad class of prioritized default theories, generalizing default inheritance, for which our results especially bear fruit. For this asocially monadic class, decomposition permits reasoning to be localized to individuals (ground terms), and reduced to propositional. Our reformulation methods are implementable in polynomial time, and apply to several other NM formalisms beyond circumscription.

Grosof, Benjamin N.↗
NASA NTRS1982

The evolution of structure in the universe from axions

A scenario where axions provide the dark matter in the universe is considered. Fluctuations in the axion field density produced by domain walls and strings cause the appearance of axion clumps of masses of order 10 to the 6th power solar mass which most likely collapse to black holes by or at the time that the universe becomes axion dominated at T is approximately 10 eV. These objects form the building blocks for a clustering hierarchy theory of galaxy and supercluster formation on scales up to approximately 10 Mpc and approximately 10 to the 15th power solar mass.

Stecker, F. W.↗
NASA NTRS1983

Axions and the evolution of structure in the universe

A cosmological scenario where axions provide the dark matter in the universe is considered. Fluctuations in the axion-field energy denisty produced by domain walls and strings cause the appearance of 'axion clumps' of masses of order 10 to the 6th solar masses which most likely collapse to black holes by or at the time that the universe becomes axion dominated at T approximately 10 eV. These objects form the building blocks for the clustering hierarchy theory of galaxy and supercluster formation on scales up to about 10 Mpc and 10 to the 15th solar masses.

Stecker, F. W.↗
NASA NTRS1982

Nonlinear multivariable design by total synthesis

The Nominal Design Problem (NDP) is extended to nonlinear cases, and a new case study of robust feedback synthesis for gas turbine control design is presented. The discussion of NDP extends and builds on earlier Total Synthesis Problem theory and ideas. Some mathematical preliminaries are given in which a bijection from a set S onto a set T is considered, with T admitting the structure of an F-vector space. NDP is then discussed for a nonlinear plant, and nonlinear nominal design is defined and characterized. The design of local controllers for a turbojet and the scheduling of these controls into a global control are addressed.

Sain, M. K.↗
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↗
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 Poissan 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↗
NASA NTRS2003

Optimal Inflatable Space Towers with 3 - 100 km Height

Theory and computations are provided for building inflatable space towers up to one hundred kilometers in height. These towers can be used for tourism, scientific observation of space, observation of the Earth's surface, weather and upper atmosphere, and for radio, television, and communication transmissions. These towers can also be used to launch space ships and Earth satellites. These projects are not expensive and do not require rockets. They require thin strong films composed from artificial fibers and fabricated by current industry. The towers can be built using present technology. The towers can be used (for tourism, communication, etc.) during the construction process and provide self-financing for further construction. The tower design does not require work at high altitudes; all construction can be done at the Earth's surface. The transport system for a tower consists of a small engine (used only for friction compensation) located at the Earth's surface. The tower is separated into sections and has special protection mechanisms in case of damage. Problems involving security, control, repair, and stability of the proposed towers are addressed in other publications. The author is prepared to discuss these and other problems with serious organizations desiring to research and develop these projects.

Bolonkin, Alexander↗
NASA NTRS1993

Robust nonlinear control of vectored thrust aircraft

An interdisciplinary program in robust control for nonlinear systems with applications to a variety of engineering problems is outlined. Major emphasis will be placed on flight control, with both experimental and analytical studies. This program builds on recent new results in control theory for stability, stabilization, robust stability, robust performance, synthesis, and model reduction in a unified framework using Linear Fractional Transformations (LFT's), Linear Matrix Inequalities (LMI's), and the structured singular value micron. Most of these new advances have been accomplished by the Caltech controls group independently or in collaboration with researchers in other institutions. These recent results offer a new and remarkably unified framework for all aspects of robust control, but what is particularly important for this program is that they also have important implications for system identification and control of nonlinear systems. This combines well with Caltech's expertise in nonlinear control theory, both in geometric methods and methods for systems with constraints and saturations.

Doyle, John C.↗
NASA NTRSDate not supplied

A General Model for the Electrochemical Double Layer in Solids

It has long been clear that electrochemical double layer / space charge zone in the vicinity of interfaces and other extended defects greatly influences transport and reactivity. Over the past several years, multiple microscopic measurements of defect concentrations in the vicinity of solid-solid interfaces made clear that dilute-case thermodynamic theories to describe the behavior of charged species in space charge zones are untenable. Inhomogeneous thermodynamics – i.e., phase field models – have delivered the most success in describing both microscopic and macroscopic experiments. We still need a generalized approach that quantitatively reproduces the microscopic and macroscopic evidence, while remaining accessible to a wide range of researchers and engineers. In my talk I will present such a framework, which builds on the previously introduced Poisson-Cahn theory but utilizes data science methods which come into the thermodynamic framework in a well-defined way. I will review recent applications to both microscopic and macroscopic datasets while previewing our plans for connecting the theory to atomistic / first principles calculations and experiment simultaneously. I will also review plans for releasing open source code that runs on desktop-level computational resources.

David Mebane↗