Search NASA⌕ Search

SEARCH · Search NASA

Results for “embedding 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 163 records · Page 9

Towards the formal verification of the requirements and design of a processor interface unit

The formal verification of the design and partial requirements for a Processor Interface Unit (PIU) using the Higher Order Logic (HOL) theorem-proving system is described. The processor interface unit is a single-chip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. It provides the opportunity to investigate the specification and verification of a real-world subsystem within a commercially-developed fault-tolerant computer. An overview of the PIU verification effort is given. The actual HOL listing from the verification effort are documented in a companion NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings' including the general-purpose HOL theories and definitions that support the PIU verification as well as tactics used in the proofs.

Fura, David A.↗

Equivalent crystal theory of alloys

Equivalent Crystal Theory (ECT) is a new, semi-empirical approach to calculating the energetics of a solid with defects. The theory has successfully reproduced surface energies in metals and semiconductors. The theory of binary alloys to date, both with first-principles and semi-empirical models, has not been very successful in predicting the energetics of alloys. This procedure is used to predict the heats of formation, cohesive energy, and lattice parameter of binary alloys of Cu, Ni, Al, Ag, Au, Pd, and Pt as functions of composition. The procedure accurately reproduces the heats of formation versus composition curves for a variety of binary alloys. The results are then compared with other approaches such as the embedded atom and lattice parameters of alloys from pure metal properties more accurately than Vegard's law is presented.

Bozzolo, Guillermo↗

Modeling of Unsteady Three-dimensional Flows in Multistage Machines

Despite many years of development, the accurate and reliable prediction of unsteady aerodynamic forces acting on turbomachinery blades remains less than satisfactory, especially when viewed next to the great success investigators have had in predicting steady flows. Hall and Silkowski (1997) have proposed that one of the main reasons for the discrepancy between theory and experiment and/or industrial experience is that many of the current unsteady aerodynamic theories model a single blade row in an infinitely long duct, ignoring potentially important multistage effects. However, unsteady flows are made up of acoustic, vortical, and entropic waves. These waves provide a mechanism for the rotors and stators of multistage machines to communicate with one another. In other words, wave behavior makes unsteady flows fundamentally a multistage (and three-dimensional) phenomenon. In this research program, we have has as goals (1) the development of computationally efficient computer models of the unsteady aerodynamic response of blade rows embedded in a multistage machine (these models will ultimately be capable of analyzing three-dimensional viscous transonic flows), and (2) the use of these computer codes to study a number of important multistage phenomena.

Hall, Kenneth C.↗

Fast Reconnection of Weak Magnetic Fields

Fast magnetic reconnection refers to annihilation or topological rearrangement of magnetic fields on a timescale that is independent (or nearly independent) of the plasma resistivity. The resistivity of astrophysical plasmas is so low that reconnection is of little practical interest unless it is fast. Yet, the theory of fast magnetic reconnection is on uncertain ground, as models must avoid the tendency of magnetic fields to pile up at the reconnection layer, slowing down the flow. In this paper it is shown that these problems can be avoided to some extent if the flow is three dimensional. On the other hand, it is shown that in the limited but important case of incompressible stagnation point flows, every flow will amplify most magnetic fields. Although examples of fast magnetic reconnection abound, a weak, disordered magnetic field embedded in stagnation point flow will in general be amplified, and should eventually modify the flow. These results support recent arguments against the operation of turbulent resistivity in highly conducting fluids.

Zweibel, Ellen G.↗

Application of Sequential Quadratic Programming to Minimize Smart Active Flap Rotor Hub Loads

In an analytical study, SMART active flap rotor hub loads have been minimized using nonlinear programming constrained optimization methodology. The recently developed NLPQLP system (Schittkowski, 2010) that employs Sequential Quadratic Programming (SQP) as its core algorithm was embedded into a driver code (NLP10x10) specifically designed to minimize active flap rotor hub loads (Leyland, 2014). Three types of practical constraints on the flap deflections have been considered. To validate the current application, two other optimization methods have been used: i) the standard, linear unconstrained method, and ii) the nonlinear Generalized Reduced Gradient (GRG) method with constraints. The new software code NLP10x10 has been systematically checked out. It has been verified that NLP10x10 is functioning as desired. The following are briefly covered in this paper: relevant optimization theory; implementation of the capability of minimizing a metric of all, or a subset, of the hub loads as well as the capability of using all, or a subset, of the flap harmonics; and finally, solutions for the SMART rotor. The eventual goal is to implement NLP10x10 in a real-time wind tunnel environment.

HUB LOADS↗

Micromechanics for ceramic matrix composites

The fiber substructuring concepts and the micromechanics equations that are embedded in the Ceramic Matrix Composite Analyzer (CEMCAN) computer code are described as well as the code itself, its current features and capabilities, and some examples to demonstrate the code's versatility. The methodology is equally applicable to metal matrix and polymer matrix composites. The prediction of ply mechanical and thermal properties agree very well with the existing models in the Integrated Composite Analyzer and the Ceramic Matrix Composite Analyzer, lending credence to the fiber substructuring approach. Fiber substructuring can capture greater local detail than conventional unit-cell-based micromechanical theories. It offers promise in simulating complex aspects of micromechanics in ceramic matrix composites.

Murthy, P. L. N.↗

Dissociation rate of bromine diatomics in an argon heat bath

The evolution of a collection of 300 K bromine diatomics embedded in a heat bath of argon atoms at 1800 K was studied by computer, and a dissociation-rate constant for the reaction Br2 + BR + Ar yields Br + Ar was determined. Previously published probability distributions for energy and angular momentum transfers in classical three-dimensional Br2-Ar collisions were used in conjunction with a newly developed Monte Carlo scheme for this purpose. Results are compared with experimental shock-tube data and the predictions of several other theoretical models. A departure from equilibrium is obtained which is significantly greater than that predicted by any of these other theories.

Razner, R.↗

Observations of short large-amplitude magnetic structures at a quasi-parallel shock

Results of a detailed analysis of short large-amplitude magnetic structures (SLAMS) observed at an encounter of the quasi-parallel blow shock by the AMPTE UKS and IRM satellites are presented. Isolated SLAMS, surrounded by solar wind conditions, and embedded SLAMS, which lie within or form the boundary with regions of significant heating and deceleration, are identified. The duration, polarization, and other characteristics of SLAMS are all consistent with their growth directly out of the ULF wave field, including the common occurrence of an attached whistler as found in ULF shocklets. The plasma rest frame propagation speeds and two-spacecraft time delays for all cases show that the SLAMS attempt to propagate upstream against the oncoming flow, but are convected back downstream. The speeds and delays vary systematically with SLAMS amplitude in the way anticipated from nonlinear wave theory, as do their polarization features. Inter-SLAMS regions and boundary regions with solar wind contain hot deflected ions of lesser density than within the SLAMS.

Schwartz, Steven J.↗

Applications of the Hybrid Theory to the Scattering of Electrons from HE+ and Li++ and Resonances in these Systems

Applications of the hybrid theory to the scattering of electrons from Ile+ and Li++ and resonances in these systems, A. K. Bhatia, NASA/Goddard Space Flight Center- The Hybrid theory of electron-hydrogen elastic scattering [I] is applied to the S-wave scattering of electrons from He+ and Li++. In this method, both short-range and long-range correlations are included in the Schrodinger equation at the same time. Phase shifts obtained in this calculation have rigorous lower bounds to the exact phase shifts and they are compared with those obtained using the Feshbach projection operator formalism [2], the close-coupling approach [3], and Harris-Nesbet method [4]. The agreement among all the calculations is very good. These systems have doubly-excited or Feshbach resonances embedded in the continuum. The resonance parameters for the lowest ' S resonances in He and Li+ are calculated and they are compared with the results obtained using the Feshbach projection operator formalism [5,6]. It is concluded that accurate resonance parameters can be obtained by the present method, which has the advantage of including corrections due to neighboring resonances and the continuum in which these resonances are embedded.

Bhatia, Anand K.↗

Metabrain for Embedded Cognition (MBEC)

This study presents the application of Hidden Markov Models (HMM) to determine specialized features without expert input. Specifically, the application of such a method for classification of high multi-path fading is targeted, for demonstrating the feasibility of such an approach. This is the first step in the development of a meta-brain for embedded cognition (M-BEC) suite that can be used to apply machine learning to various communication systems at NASA GRC. The project explores the concept of fading and how it affects communication systems in a negative way. Currently, supervised learning methods are used to study the effects of fading on space links. However, such models rely on expert features to make predictions as to the state of a link and whether fading is present. This project offers the possibility of having the HMM learn what characteristics are important and make predictions based on those characteristics. This project explores Hidden Markov Models, their theory and applications to various problems, as well as the underlying equations and assumptions. A preliminary result is presented and recommendations are made as to the use of such an approach for communications systems.

Propagation↗

Diurnal tide in the Martian atmosphere

Classical atmospheric tidal theory is extended to include the effects of large-amplitude planetary-scale variations of the terrain height. Utilizing simple models of the thermotidal forcing, the resulting technique is used to compute the diurnal tide in both the dust-free and the dust-laden Martian atmosphere. The main effect of the Martian variable terrain is to drive topographic tidal modes which can propagate vertically and to excite the possibly resonant diurnal Kelvin mode. The resulting surface wind can exceed 20 m/sec and may determine the preferred location for the initiation of global dust storms. In the middle Martian atmosphere (30-80 km) static and shear instabilities embedded within the tidal fields will generate extensive, though variable, regions of turbulence. Vertical mixing by this turbulence and transport by the tide itself may help to stabilize the middle Martian atmosphere against photolysis.

Zurek, R. W.↗

Gyroharmonic maser instability for weakly relativistic electrons with a loss-cone distribution

The weakly relativisitic dielectric tensor for a system of electrons comprised of cold and energetic populations, embedded in a neutralizing background, is reformulated in terms of an infinite series representation in powers of lamba = alpha ck(perpendicular)/omega (c), where alpha-squared is a parameter proportional to the average thermal energy of the energetic electrons, k(perpendicular) is the perpendicular component of the wave vector k, and omega (c) is the electron gyrofrequency. The energetic electrons are assumed to have a loss-cone feature in the perpendicular momentum space. The present formalism can be used in the problem of cyclotron maser as well as more general gyroharmonic maser (i.e., multiharmonics) emissions resulting from weakly relativistic loss-cone electrons. This is because, unlike the previous theories in which certain approximations such as the single-harmonic approximations are made, the present formalism retains contributions from the entire harmonics.

Yoon, Peter H.↗

Computationally Efficient Beam Elements for Accurate Stresses in Sandwich Laminates and Laminated Composites with Delaminations

Laminated composites are prone to delamination failure due to the lack of reinforcement through the thickness. Therefore, during the design process the initiation and propagation of delaminations should be accounted for as early as possible. This paper presents computationally efficient nine degree-of-freedom (dof) and eight-dof shear locking-free beam elements using the mixed form of the refined zigzag theory (RZT(sup(m))). The corresponding nine-dof and eight-dof elements use the anisoparametric and constrained anisoparametric interpolation schemes, respectively, to eliminate shear locking in slender beams. The advantage of the present element over previous RZT beam elements is that no post-processing is required to accurately model the transverse shear stress while maintaining the computational efficiency of a low-order beam element. Comparisons with high-fidelity finite element models and three-dimensional elasticity solutions show that the elements can robustly and accurately predict the displacement field, axial stress and transverse shear stress through the thickness of a sandwich beam or a composite laminate with an embedded delamination. In fact, the accuracy and computational efficiency of predicting stresses in laminates with embedded delaminations make the present elements attractive choices for RZT-based delamination initiation and propagation methodologies available in the literature.

R. M. J. Groh↗

INTEGRAL Observations of the Pulsar PSR J1846-0258

We present the results of a study of the high-energy properties of PSR J1846-0258 using INTEGRAL data PSR J1846-0258 has a period of 325 ms and is embedded within a PWN that is associated with the SNR KES 75. This pulsar is unusual for two reasons. First, like Geminga, no radio pulsations have yet been detected from this pulsar. It has thus far been detected exclusively in the X-ray and gamma-ray bands. Second, it has a large inferred magnetic field, approx. 5 x 10(exp 13) G. The 20-200 keV spectra derived from 2.35 Msec of INTEGRAL IBIS/ISGRI observations are consistent with an extension of the previous spectral results at energies below 10 keV from Chandra. The possibility of detecting PSR J1846-0258 with GLAST is discussed as well as the implications a GLAST detection would have on pulsar theory, specifically photon splitting In the magnetospheres of high-field pulsars.

Sturner, Steve J.↗

Global Plasmaspheric Imaging: A New "Light" Focusing on Familiar Questions

Until recently plasmaspheric physics, for that matter, magnetospheric physics as a whole, has relied primarily on single point in-situ measurement, theory, modeling, and a considerable amount of extrapolation in order to envision the global structure of the plasmasphere. This condition changed with the launch of the IMAGE satellite in March 2000. Using the Extreme Ultraviolet (EUV) imager on WAGE, we can now view the global structure of the plasmasphere bathed in the glow of resonantly scattered 30.4 nm radiation allowing the space physics community to view the dynamics of this global structure as never before. This talk will: (1) define the plasmasphere from the perspective of plasmaspheric physics prior to March 2000; (2) present a review of EUV imaging optics and the IMAGE mission; and focus on efforts to understand an old and familiar feature of plasmaspheric physics, embedded plasmaspheric density troughs, in this new global light with the assistance of forward modeling.

Adrian, M. L.↗

O VI Emission from the Interstellar Medium

This project's primary goal was to examine the Local Bubble, a large hot bubble surrounding the solar neighborhood. In order to do this, we observed the 1032 and 1038 A resonance line emission from O VI in the bubble and used the,results to comment on models for the Local Bubble and its embedded clouds. In order to maximize the signal to noise of our spectrum, we combined the awarded guest investigator observation with unpublished FUSE In Orbit Checkout observations. The resulting spectrum was sufficiently good as to enable us to place tight 2 sigma upper limits on the intensities of the 1032 and the 1038 A resonance lines. We also measured or placed upper limits on the other cosmic lines in the bandpass, including C III and C II. These are the first known ultraviolet emission line measurements and/or upper limits for the gas in the Local Bubble (as opposed to gas anywhere along long lines of sight). With the O VI upper limits, we were able to quantitatively evaluate competing theories for the origins of the Local Bubble. The upper limits are well below those expected in the Breitschwerdt model (which proposes that during its its early development, the Local Bubble rapidly expanded beyond its nascent cloud and, as a result, is now vastly underionized). The upper limits on the O VI resonance line doublet intensity and the measurement of the C III intensity, garnered from this project, combined with measurements of the O VI column density, garnered from another project, are so far below the predictions, that they make a good case for eliminating the Breitschwerdt model from the field of possibilities. Thus, instead of being vastly underionized, the Local Bubble is near ionizational equilibrium. In addition, the upper limits challenge the other well-known model for the Local Bubble. In that model, the Local Bubble was blown by a series of supernova explosions and winds and contains a myriad of evaporating clouds. The intensity of the O VI resonance line doublet predicted from models exceeds the observationally determined 2 sigma upper limits. The discrepancy prompts the exciting suggestion that there may be some astrophysics yet to be considered in standard hydrodynamic models. These measurements performed a second useful function. By subtract- ing them from the O VI intensity observed on long sight-lines through the Galactic halo and Local Bubble, we were able to estimate the intensity originating the Galactic halo.

Shelton, Robin L.↗

Combined Heat Transfer in High-Porosity High-Temperature Fibrous Insulations: Theory and Experimental Validation

Combined radiation and conduction heat transfer through various high-temperature, high-porosity, unbonded (loose) fibrous insulations was modeled based on first principles. The diffusion approximation was used for modeling the radiation component of heat transfer in the optically thick insulations. The relevant parameters needed for the heat transfer model were derived from experimental data. Semi-empirical formulations were used to model the solid conduction contribution of heat transfer in fibrous insulations with the relevant parameters inferred from thermal conductivity measurements at cryogenic temperatures in a vacuum. The specific extinction coefficient for radiation heat transfer was obtained from high-temperature steady-state thermal measurements with large temperature gradients maintained across the sample thickness in a vacuum. Standard gas conduction modeling was used in the heat transfer formulation. This heat transfer modeling methodology was applied to silica, two types of alumina, and a zirconia-based fibrous insulation, and to a variation of opacified fibrous insulation (OFI). OFI is a class of insulations manufactured by embedding efficient ceramic opacifiers in various unbonded fibrous insulations to significantly attenuate the radiation component of heat transfer. The heat transfer modeling methodology was validated by comparison with more rigorous analytical solutions and with standard thermal conductivity measurements. The validated heat transfer model is applicable to various densities of these high-porosity insulations as long as the fiber properties are the same (index of refraction, size distribution, orientation, and length). Furthermore, the heat transfer data for these insulations can be obtained at any static pressure in any working gas environment without the need to perform tests in various gases at various pressures.

Daryabeigi, Kamran↗

Heliophysics: The New Science of the Sun-Solar System Connection. Recommended Roadmap for Science and Technology 2005-2035

This is a Roadmap to understanding the environment of our Earth, from its life-sustaining Sun out past the frontiers of the solar system. A collection of spacecraft now patrols this space, revealing not a placid star and isolated planets, but an immense, dynamic, interconnected system within which our home planet is embedded and through which space explorers must journey. These spacecraft already form a great observatory with which the Heliophysics program can study the Sun, the heliosphere, the Earth, and other planetary environments as elements of a system--one that contains dynamic space weather and evolves in response to solar, planetary, and interstellar variability. NASA continually evolves the Heliophysics Great Observatory by adding new missions and instruments in order to answer the challenging questions confronting us now and in the future as humans explore the solar system. The three heliophysics science objectives: opening the frontier to space environment prediction; understanding the nature of our home in space, and safeguarding the journey of exploration, require sustained research programs that depend on combining new data, theory, analysis, simulation, and modeling. Our program pursues a deeper understanding of the fundamental physical processes that underlie the exotic phenomena of space.

Heliophysics↗