Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Invariants”

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 NTRS1999

A Scale-Invariant Model of Statistical Mechanics and Modified Forms of the First and the Second Laws of Thermodynamics

A scale-invariant statistical theory of fields is presented that leads to invariant definition of density, velocity, temperature, and pressure, The definition of Boltzmann constant is introduced as k(sub k) = m(sub k)v(sub k)c = 1.381 x 10(exp -23) J x K(exp -1), suggesting that the Kelvin absolute temperature scale is equivalent to a length scale. Two new state variables called the reversible heat Q(sub rev) = TS and the reversible work W(sub rev) = PV are introduced. The modified forms of the first and second law of thermodynamics are presented. The microscopic definition of heat (work) is presented as the kinetic energy due to the random (peculiar) translational, rotational, and pulsational motions. The Gibbs free energy of an element at scale Beta is identified as the total system energy at scale (Beta-1), thus leading to an invariant form of the first law of thermodynamics U(sub Beta) = Q(sub Beta) - W(sub Beta) +N(e3)U(sub Beta-1).

Sohrab, Siavash H.↗
NASA NTRS2004

Verification of Java Programs using Symbolic Execution and Invariant Generation

Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

Pasareanu, Corina↗
NASA NTRS2004

Invariant Theory for Dispersed Transverse Isotropy: An Efficient Means for Modeling Fiber Splay

Most soft tissues possess an oriented architecture of collagen fiber bundles, conferring both anisotropy and nonlinearity to their elastic behavior. Transverse isotropy has often been assumed for a subset of these tissues that have a single macroscopically-identifiable preferred fiber direction. Micro-structural studies, however, suggest that, in some tissues, collagen fibers are approximately normally distributed about a mean preferred fiber direction. Structural constitutive equations that account for this dispersion of fibers have been shown to capture the mechanical complexity of these tissues quite well. Such descriptions, however, are computationally cumbersome for two-dimensional (2D) fiber distributions, let alone for fully three-dimensional (3D) fiber populations. In this paper, we develop a new constitutive law for such tissues, based on a novel invariant theory for dispersed transverse isotropy. The invariant theory is based on a novel closed-form splay invariant that can easily handle 3D fiber populations, and that only requires a single parameter in the 2D case. The model is polyconvex and fits biaxial data for aortic valve tissue as accurately as the standard structural model. Modification of the fiber stress-strain law requires no re-formulation of the constitutive tangent matrix, making the model flexible for different types of soft tissues. Most importantly, the model is computationally expedient in a finite-element analysis.

Freed, alan D.↗
NASA NTRS2011

Spectrally-Invariant Approximation Within Atmospheric Radiative Transfer

Certain algebraic combinations of single scattering albedo and solar radiation reflected from, or transmitted through, vegetation canopies do not vary with wavelength. These "spectrally invariant relationships" are the consequence of wavelength independence of the extinction coefficient and scattering phase function in vegetation. In general, this wavelength independence does not hold in the atmosphere, but in cloud~dominated atmospheres the total extinction and total scattering phase function vary only weakly with wavelength. This paper identifies the atmospheric conditions under which the spectrally invariant approximation can accurately describe the extinction. and scattering properties of cloudy atmospheres. The validity of the assumptions and the accuracy of the approximation are tested with ID radiative transfer calculations using publicly available radiative transfer models: Discrete Ordinate Radiative Transfer (DISORT) and Santa Barbara DISORT Atmospheric Radiative Transfer (SBDART). It is shown for cloudy atmospheres with cloud optical depth above 3, and for spectral intervals that exclude strong water vapor absorption, that the spectrally invariant relationships found in vegetation canopy radiative transfer are valid to better than 5%. The physics behind this phenomenon, its mathematical basis, and possible applications to remote sensing and climate are discussed.

Marshak, A.↗
NASA NTRS2011

Spectrally Invariant Approximation within Atmospheric Radiative Transfer

Certain algebraic combinations of single scattering albedo and solar radiation reflected from, or transmitted through, vegetation canopies do not vary with wavelength. These spectrally invariant relationships are the consequence of wavelength independence of the extinction coefficient and scattering phase function in vegetation. In general, this wavelength independence does not hold in the atmosphere, but in cloud-dominated atmospheres the total extinction and total scattering phase function vary only weakly with wavelength. This paper identifies the atmospheric conditions under which the spectrally invariant approximation can accurately describe the extinction and scattering properties of cloudy atmospheres. The validity of the assumptions and the accuracy of the approximation are tested with 1D radiative transfer calculations using publicly available radiative transfer models: Discrete Ordinate Radiative Transfer (DISORT) and Santa Barbara DISORT Atmospheric Radiative Transfer (SBDART). It is shown for cloudy atmospheres with cloud optical depth above 3, and for spectral intervals that exclude strong water vapor absorption, that the spectrally invariant relationships found in vegetation canopy radiative transfer are valid to better than 5%. The physics behind this phenomenon, its mathematical basis, and possible applications to remote sensing and climate are discussed.

Marshak, A.↗
NASA NTRS2020

Direct Exploration of the L2 Isolated Invariant Set Using Isolating Neighborhoods

Previous studies have used isolating blocks to explore the isolated invariant set around the L2 Lagrange point in the circular restricted three-body problem by computing trajectories on the asymptotic set and using them to track particular orbits. Once an initial map of the location of the orbits within the isolated invariant set projected into configuration space has been found, it is possible to further explore these orbits more directly by starting from appropriately chosen points within the mapped space. Here, we develop a method that uses these points to explore the periodic and quasiperiodic orbits within the isolated invariant set.

Lo, Martin W.↗
NASA NTRS2022

Model Predictive Control in the Three-body Problem Using Invariant Funnels As Terminal Sets

This paper describes a method for augmenting Model Predictive Control techniques using invariant funnels computed in the Circular Restricted Three-Body Problem. We use ellipsoids that roughly approximate the boundary of the invariant funnel as convex terminal sets for a short look-ahead optimization problem at each time step. We apply this method to a hypothetical low-thrust mission to land on Jupiter’s mooon Europa and show that including the invariant funnels as terminal sets reduces the amount of control effort required by almost an order of magnitude.

Close, Sigrid↗
NASA NTRS2021

New Tools for Tour Design: Swiss Cheese Plot, Invariant Funnel, and Resonant Encounter Map

We define a new set of tools for tour design introduced in previous work: the”Swiss Cheese Plot,” ”Invariant Funnel,” and ”Resonant Encounter Map.” These tools promise to be useful in designing, analyzing, and navigating low-energy trajectories through multi-body systems. We review and clarify methods for generating the swiss cheese plot and invariant funnels in the Circular Restricted Three-Body Problem. We introduce the resonant encounter map as a graphical representation of the three-body design space, similar to the pork-chop plot for the two-body problem. We also discuss some interesting characteristics of the resonant encounter map and its connection to the invariant manifolds of periodic libration orbit

Close, Sigrid↗
NASA NTRS2005

Surface structure of an invariant manifold of a Halo Orbit (extended abstract)

We extract the surface structure of the unstable invariant manifold tube projected into position space, of a halo orbit near L2. We do this by using transversal planes to intersect trajectories that approximate the tube. From these intersection points we construct spline-interpolated cross section curves which give a good idea of the structure of the tube. For example, we show that, for the value of (mu) we use, the tube pinches, develops a self-intersection, develops loop-inside-tube structure, pinches some more, and so on. We also construct surfaces made of quadrilaterals and triangles from these cross-sections. The transversal planes are obtained by taking planes orthogonal to a curve that follows the general shape of the tube. One such curve we use, is the unstable invariant manifold of the equilibrium point L2 itself. In another example, we take a circle that follows the tube, as the curve for finding planes transversal to the tube. Our method is complementary to the method of taking cross-sections of constant time (the isochronous method), as used by some other researchers. The isochronous method is good at revealing the temporal structure of trajectories on a tube. However, due to the unequal speeds of different trajectories, it is harder to use for long length surface extraction. In contrast, using our method, we show cross-sections of the tube through an angular extent of nearly (pi) during which the tube becomes extremely convoluted. We also show that tubes of different energies, that start out in certain ordering, do not obey the ordering after a while. Our work is motivated by applications to space mission design.

invariant manifold↗
NASA NTRS2012

Approaching Moons from Resonance via Invariant Manifolds

In this work, the approach phase from the final resonance of the endgame scenario in a tour design is examined within the context of invariant manifolds. Previous analyses have typically solved this problem either by using numerical techniques or by computing a catalog of suitable trajectories. The invariant manifolds of a selected set of libration orbits and unstable resonant orbits are computed here to serve as guides for desirable approach trajectories. The analysis focuses on designing an approach phase that may be tied into the final resonance in the endgame sequence while also targeting desired conditions at the moon.

endgame↗
NASA NTRS2018

An Interplay between Photons, Canopy Structure, and Recollision Probability: A Review of the Spectral Invariants Theory of 3D Canopy Radiative Transfer Processes

Earth observations collected by remote sensors provide unique information to our ever-growing knowledge of the terrestrial biosphere. Yet, retrieving information from remote sensing data requires sophisticated processing and demands a better understanding of the underlying physics. This paper reviews research efforts that lead to the developments of the stochastic radiative transfer equation (RTE) and the spectral invariants theory. The former simplifies the characteristics of canopy structures with a pair-correlation function so that the 3D information can be succinctly packed into a 1D equation. The latter indicates that the interactions between photons and canopy elements converge to certain invariant patterns quantifiable by a few wavelength independent parameters, which satisfy the law of energy conservation. By revealing the connections between plant structural characteristics and photon recollision probability, these developments significantly advance our understanding of the transportation of radiation within vegetation canopies. They enable a novel physically-based algorithm to simulate the “hot-spot” phenomenon of canopy bidirectional reflectance while conserving energy, a challenge known to the classic radiative transfer models. Therefore, these theoretical developments have a far-reaching influence in optical remote sensing of the biosphere.

vegetation remote sensing; stochastic radiative tr↗
NASA NTRS1972

Lorentz-invariant formulation of Cherenkov radiation by tachyons

Previous treatments of Cherenkov radiation, electromagnetic and gravitational, by tachyons were in error because the prescription employed to cut off the divergent integral over frequency is not a Lorentz invariant procedure. The resulting equation of motion for the tachyon is therefore not covariant. The proper procedure requires an extended, deformable distribution of charge or mass and yields a particularly simple form for the tachyon's world line, one that could be deduced from simple invariance considerations. It is shown that Cherenkov radiation by tachyons implys their ultimate annihilation with an antitachyon and demonstrates a disturbing property of tachyons, namely the impossibility of specifying arbitrary Cauchy data even in a purely classical theory.

Jones, F. C.↗
NASA NTRS1972

Invariant poles feedback control of flexible, highly variable spacecraft.

This paper describes a technique for single-axis control of a model of a highly flexible Space Station. Active damping of lower frequency flexibility modes is employed. In the control technique, referred to as invariant poles feedback control (IPFC), feedback gains are adjusted so that the closed-loop system's characteristic equation is matched to that of a reference model; hence, closed-loop system's poles will not move - they will be invariant (provided bending frequencies and parameters can be identified accurately). This is accomplished by obtaining the system's characteristic equation in closed form; equating respective coefficients between terms of like powers in s in the system and reference model characteristic equations; and, solving for the feedback gains. The feedback gains are explicit functions of system plant parameters and the coefficients of the reference model's characteristic equation, and are easily programmed for the digital computer.

Mendel, J. M.↗
NASA NTRS1973

The development and preliminary application of an invariant coupled diffusion and chemistry model

In many real-world pollution chemical reaction problems, the rate of reaction problems, the rate of reaction may be greatly affected by unmixedness. An approximate closure scheme for a chemical kinetic submodel which conforms to the principles of invariant modeling and which accounts for the effects of inhomogeneous mixing over a wide range of conditions has been developed. This submodel has been coupled successfully with invariant turbulence and diffusion models, permitting calculation of two-dimensional diffusion of two reacting (isothermally) chemical species. The initial calculations indicate the ozone reactions in the wake of stratospheric aircraft will be substantially affected by the rate of diffusion of ozone into the wake, and in the early wake, by unmixedness.

Hilst, G. R.↗
NASA NTRS1972

A graphical test for checking the stability of a linear time-invariant feedback system.

A continuous-time scalar linear time-invariant feedback system is considered for the purpose of checking Willems' (1969, 1970) graphical test for a scalar linear time-invariant feedback system with constant feedback. Heavy reliance is placed on the theory of almost periodic functions. Following definition of the problem and layout of notation, attention is given to solution of the problem, considering only the almost periodic part of the open-loop transfer function.

Callier, F. M.↗
NASA NTRS1972

Invariant poles feedback control of flexible highly variable spacecraft.

Description of a technique for single-axis control of a model of a highly flexible space station. Active damping of lower frequency flexibility modes is employed. In the control technique, referred to as invariant poles feedback control, feedback gains are adjusted so that the closed-loop system characteristic equation is matched to that of a reference model. Hence closed-loop system poles will not move; they will be invariant (provided that bending frequencies and parameters can be identified accurately). This is accomplished by obtaining the system characteristic equation in closed form; equating respective coefficients between terms of like powers in s in the system and reference model characteristic equations; and solving for the feedback gains. The feedback gains are explicit functions of system plant parameters and the coefficients of the reference model characteristic equation, and are easily programmed for the digital computer.

Mendel, J. M.↗
NASA NTRS1972

Invariance and stability for bounded uncertain systems.

The positive limit sets of the solutions of a contingent differential equation are shown to possess an invariance property. In this connection the 'invariance principle' in the theory of Lyapunov stability is extended to systems with unknown, bounded, time-varying parameters, and thus to a large and important class of nonautonomous systems. Asymptotic stability criteria are obtained and applied to guaranteed cost control problems.

Peng, T. K. C.↗