STABILITY OF A CLOSED INVARIANT SET AND ITS NEARBY LYING INVARIANT SETS
Stability of a closed invariant set
STABILITY↗
SEARCH · Search NASA
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.
Finding Mutual Exclusion Invariants in Temporal Planning Domains
We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. We first identify a set of invariant candidates by inspecting the domain and then check these candidates against properties that assure invariance. If these properties are violated, we show that it is sometimes possible to refine a candidate by adding additional propositions and turn it into a real invariant. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous discrete actions by addressing temporal and numeric domains. To deal with time, we formulate invariance conditions that account for both the entire structure of the operators (including the conditions, rather than just the effects) and the possible interactions between operators. As a result, we construct a technique that is not only capable of identifying invariants for temporal domains, but is also able to find a broader set of invariants for non-temporal domains than the previous techniques.
Bernardini, Sara↗
Feedback-Driven Dynamic Invariant Discovery
Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.
Daikon↗
On an origin of numerical diffusion: Violation of invariance under space-time inversion
The invariant properties of the convection equation du/dt + adu/dx = 0 (where d is the partial differential operator) with respect to spatial reflection, time reversal, and space-time inversion are studied. Generally, a finite-difference analog of this equation may possess some or none of these properties. It is shown that, under certain conditions, the von Neumann amplification factor of an analog satisfies a special relation for each invariant property this analog possesses. Particularly, an analog is neutrally stable and thus free of numerical diffusion if it possesses the invariant property related to space-time inversion. It is also explained why generally (1) an upwind scheme possesses neither the invariant property related to spatial reflection nor that related to space-time inversion, and (2) an explicit scheme possesses neither the invariant property related to time reversal nor that related to space-time inversion. Extension to the viscous case and a remarkable connection between the current work and a new numerical framework for solving conservation laws are also discussed.
Chang, Sin-Chung↗
Scope and applications of translation invariant wavelets to image registration
The first part of this article introduces the notion of translation invariance in wavelets and discusses several wavelets that have this property. The second part discusses the possible applications of such wavelets to image registration. In the case of registration of affinely transformed images, we would conclude that the notion of translation invariance is not really necessary. What is needed is affine invariance and one way to do this is via the method of moment invariants. Wavelets or, in general, pyramid processing can then be combined with the method of moment invariants to reduce the computational load.
Chettri, Samir↗
The role of invariant manifolds in lowthrust trajectory design (part III)
This paper is the third in a series to explore the role of invariant manifolds in the design of low thrust trajectories. In previous papers, we analyzed an impulsive thrust resonant gravity assist flyby trajectory to capture into Europa orbit using the invariant manifolds of unstable resonant periodic orbits and libration orbits. The energy savings provided by the gravity assist may be interpreted dynamically as the result of a finite number of intersecting invariant manifolds. In this paper we demonstrate that the same dynamics is at work for low thrust trajectories with resonant flybys and low energy capture. However, in this case, the flybys and capture are effected by continuous families of intersecting invariant manifolds.
low thrust trajectories↗
Gauge invariance, current conservation, and GIAO's
The well known relationship between gauge invariance and current conservation is exhibited within the usual quantum mechanical formalism. It is then shown that the use of gauge-invariant atomic orbitals (GIAO) does not necessarily lead to the expected current conservation. The reason is found to lie in the constrained nature of the gauge invariance which is provided by the use of GIAO's. It is concluded that this invariance is, of itself, no argument in favor of their use.
Epstein, S. T.↗
Gauge invariance, current conservation, and GIAO's.
The well-known relationship between gauge invariance and current conservation is exhibited within the usual quantum mechanical formalism. It is then shown that the use of Gauge Invariant Atomic Orbitals does not necessarily lead to the expected current conservation. The reason is found to lie in the constrained nature of the gauge invariance which is provided by the use of GIAO's. It is concluded that this invariance is, of itself, no argument in favor of their use.
Epstein, S. T.↗
Chaotic jumps in the generalized first adiabatic invariant in current sheets
The present study examines how the changes in the generalized first adiabatic invariant J derived from the separatrix crossing theory can be incorporated into the drift variable approach to generating distribution functions. A method is proposed for determining distribution functions for an ensemble of particles following interaction with the tail current sheet by treating the interaction as a scattering problem characterized by changes in the invariant. Generalized drift velocities are obtained for a 1D tail configuration by using the generalized first invariant. The invariant remained constant except for the discrete changes caused by chaotic scattering as the particles cross the separatrix.
Brittnacher, M. J.↗
Binary optical filters for scale invariant pattern recognition
Binary synthetic discriminant function (BSDF) optical filters which are invariant to scale changes in the target object of more than 50 percent are demonstrated in simulation and experiment. Efficient databases of scale invariant BSDF filters can be designed which discriminate between two very similar objects at any view scaled over a factor of 2 or more. The BSDF technique has considerable advantages over other methods for achieving scale invariant object recognition, as it also allows determination of the object's scale. In addition to scale, the technique can be used to design recognition systems invariant to other geometric distortions.
Reid, Max B.↗
Comparison of coordinate-invariant and coordinate-aligned upwinding for the Euler equations
A floating-shock fitting method for the Euler equations has been developed that uses one-sided spatial differences along and across streamlines. The coordinate-invariant formulation of the spatial differences permits automatic capture of shears. Results are presented for unsteady shocked flow in a duct with a ramp, for supercritical flow over a circular cylinder, and for subsonic, transonic, and supersonic (0.3 is less than or equal to M(sub infinity) is less than 1.5) flow over airfoils. In flows with strong shears, the coordinate-invariant differencing concept appears to yield some gains in accuracy over Euler methods that rely on coordinate-aligned differencing concepts. In applications to transonic airfoils, fitted shocks have a tendency to be predicted upstream of captured shocks, regardless of whether coordinate-invariant or coordinate-aligned differencing is used. The coordinate-invariant differencing method requires between 2 and 3.5 times as much computing time as its coordinate-aligned counterpart.
Hartwich, Peter M.↗
Canopy Spectral Invariants: Application to Classification of Forest Types from Hyperspectral Data - Part 2
Many studies have been conducted to demonstrate the ability of hyperspectral data to discriminate plant dominant species. Most of them have employed the use of empirically based techniques, which are site specific, requires some initial training based on characteristics of known leaf and/or canopy spectra and therefore may not be extendable to operational use or adapted to changing or unknown land cover. In this paper we propose a physically based approach for separation of dominant forest type using hyperspectral data. The radiative transfer theory of canopy spectral invariants underlies the approach, which facilitates parameterization of the canopy reflectance in terms of the leaf spectral scattering and two spectrally invariant and structurally varying variables - recollision and directional escape probabilities. The methodology is based on the idea of retrieving spectrally invariant parameters from hyperspectral data first, and then relating their values to structural characteristics of three-dimensional canopy structure. Theoretical and empirical analyses of ground and airborne data acquired by Airborne Visible/Infrared Imaging Spectrometer (AVIRIS) over two sites in New England, USA, suggest that the canopy spectral invariants convey information about canopy structure at both the macro- and micro-scales. The total escape probability (one minus recollision probability) varies as a power function with the exponent related to the number of nested hierarchical levels present in the pixel. Its base is a geometrical mean of the local total escape probabilities and accounts for the cumulative effect of canopy structure over a wide range of scales. The ratio of the directional to the total escape probability becomes independent of the number of hierarchical levels and is a function of the canopy structure at the macro-scale such as tree spatial distribution, crown shape and size, within-crown foliage density and ground cover. These properties allow for the natural separation of dominant forest classes based on the location of points on the total escape probability vs the ratio log-log plane.
Schull, M. A.↗
Space Invariant Independent Component Analysis and ENose for Detection of Selective Chemicals in an Unknown Environment
In this paper, we present a space invariant architecture to enable the Independent Component Analysis (ICA) to solve chemical detection from two unknown mixing chemical sources. The two sets of unknown paired mixture sources are collected via JPL 16-ENose sensor array in the unknown environment with, at most, 12 samples data collected. Our space invariant architecture along with the maximum entropy information technique by Bell and Sejnowski and natural gradient descent by Amari has demonstrated that it is effective to separate the two mixing unknown chemical sources with unknown mixing levels to the array of two original sources under insufficient sampled data. From separated sources, they can be identified by projecting them on the 11 known chemical sources to find the best match for detection. We also present the results of our simulations. These simulations have shown that 100% correct detection could be achieved under the two cases: a) under-completed case where the number of input (mixtures) is larger than number of original chemical sources; and b) regular case where the number of input is as the same as the number of sources while the time invariant architecture approach may face the obstacles: overcomplete case, insufficient data and cumbersome architecture.
ENose↗
Invariant Manifolds, the Spatial Three-Body Problem and Space Mission Design
The invariant manifold structures of the collinear libration points for the spatial restricted three-body problem provide the framework for understanding complex dynamical phenomena from a geometric point of view. In particular, the stable and unstable invariant manifold 'tubes' associated to libration point orbits are the phase space structures that provide a conduit for orbits between primary bodies for separate three-body systems. These invariant manifold tubes can be used to construct new spacecraft trajectories, such as 'Petit Grand Tour' of the moons of Jupiter. Previous work focused on the planar circular restricted three-body problem. The current work extends the results to the spatial case.
three body problem↗
Observation of the Spectrally Invariant Properties of Clouds in Cloudy-to-Clear Transition Zones During the MAGIC Field Campaign
We use the spectrally invariant method to study the variability of cloud optical thickness τau and droplet effective radius r(sub eff) in transition zones (between the cloudy and clear sky columns) observed from Solar Spectral Flux Radiometer (SSFR) and Shortwave Array Spectroradiometer-Zenith (SASZe) during the Marine ARM GPCI Investigation of Clouds (MAGIC) field campaign. The measurements from the SSFR and the SASZe are different, however inter-instrument differences of self-normalized measurements (divided by their own spectra at a fixed time) are small. The spectrally invariant method approximates the spectra in the cloud transition zone as a linear combination of definitely clear and cloudy spectra, where the coefficients, slope and intercept, characterize the spectrally invariant properties of the transition zone. Simulation results from the SBDART (Santa Barbara DISORT Atmospheric Radiative Transfer) model demonstrate that (1) the slope of the visible band is positively correlated with the cloud optical thickness τ while the intercept of the near-infrared band has high negative correlation with the cloud drop effective radius r(sub eff)even without the exact knowledge of τau; (2) the above relations hold for all Solar Zenith Angle (SZA) and for cloud-contaminated skies. In observations using redundant measurements from SSFR and SASZe, we find that during cloudy-to-clear transitions, (a) the slopes of the visible band decrease, and (b) the intercepts of the near-infrared band remain almost constant near cloud edges. The findings in simulations and observations suggest that, while the optical thickness decreases during the cloudy-to-clear transition, the cloud drop effective radius does not change when cloud edges are approached. These results support the hypothesis that inhomogeneous mixing dominates near cloud edges in the studied cases.
spectral invariance↗
Generalized invariance principles and the theory of stability.
Description of some recent extensions of the invariance principle to more generalized dynamical systems where the state space is not locally compact and the flow is unique only in the forward direction of time. A sufficient condition for asymptotic stability of an invariant set is obtained which does not require that the Liapunov function be positive-definite. A recently developed generalized invariance principle is described which is applicable to functional differential equations, partial differential equations, and, in particular, to certain stability problems arising in thermoelasticity, viscoelasticity, and distributed nonlinear networks.
Lasalle, J. P.↗
Restricted invariance of the Navier-Stokes equation
It is well known that the classical Navier-Stokes equation for three-dimensional incompressible viscous flow is invariant under Galilean transformations. In the present paper, it is shown that, although the general invariance group is no larger than Galilean-scale dilitation, the Navier-Stokes equation for incompressible viscous flow admits time-dependent rotational invariance for solutions of special types.
Rosen, G.↗
Registration of rotated images by invariant moments
A new technique for registration of rotated images using invariant moments as the similarity measure is given. If circular windows with invariant moments are used, then window search can be carried out on rotated images in the same manner cross-correlation with rectangular windows is used on translated images. Normalization of invariant moments for more accurate window similarity measurement is also given. The proposed approach is tested against two images from different satellites that have translational and rotational differences.
Goshtasby, A.↗