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↗
Characterizing leaf-scale fluorescence with spectral invariants
Sun-induced chlorophyll fluorescence (SIF) is increasingly recognized as a non-destructive probe for tracking terrestrial photosynthesis. Emerging developments in spectral invariants theory provide an innovative and efficient approach for representing SIF radiative transfer processes at the canopy scale. However, modeling leaf-scale fluorescence based on the spectral invariants properties (SIP) remains underexplored. In this study, the spectral invariants theory is employed for the first time to model the leaf-scale total, backward and forward fluorescence (leaf-SIP SIF). The leaf-SIP SIF model separates the leaf-scale radiative transfer process into two distinct components: the wavelength-dependent one associated with leaf biochemical properties, and the wavelength-independent component linked to leaf structural characteristics. The leaf structure-related effects are characterized by two spectrally invariant parameters: the photon recollision probability (p) and the scattering asymmetry parameter (q), which are parameterized using the directly measurable leaf dry matter. Evaluation against field measurements shows that the proposed leaf-SIP SIF model has a good performance, with coefficient of determination (R 2 ) of 0.89, 0.89, 0.90 and root mean squared errors (RMSE) of 1.28, 0.69, 0.74 Wm -2 µm -1 sr -1 , respectively for the total, backward, and forward fluorescence (660–800 nm). The leaf-SIP SIF model with a more concise formulation demonstrates comparable performance with the widely used Fluspect model. Further, the leaf-SIP SIF model provides a simple and efficient approach for simulating leaf-scale fluorescence, with the potential to be integrated into a unified SIP-based model framework for simulating the radiative transfer processes across the soil-leaf-canopy-atmosphere continuum.
59 BASIC BIOLOGICAL SCIENCES↗
Algebra of invariants for the Vlasov–Maxwell system
The algebra of invariants for both the relativistic and nonrelativistic multispecies Vlasov–Maxwell system is examined, including the case with a fixed ion background. Invariants and their associated fluxes are obtained directly from the Vlasov–Maxwell system. The invariants are shown to Poisson commute with the Hamiltonian and the rest of the Poisson bracket algebra of invariants is identified. Special attention is given to the role played by the monopole condition, ∇ · B.
Fundamental invariants↗
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 and color charge fluctuations
The nature of confinement is connected with color charge. Unfortunately, the color charge densities in QCD, the Noether charge densities associated with the global color invariance, are not invariant under local color rotations. This implies that the expectation values of the net color charge in any region of any physical state in QCD—states that satisfy the color Gauss law—are automatically zero for all components of color. In this Letter, it is shown that the expectation value of the square of the net color charge in a region—a measure of the color charge fluctuations—is necessarily nonzero when evaluated in physical states and the result, while depending on the scheme and scale by which the theory is regulated, is gauge invariant. This holds despite the formal lack of gauge invariance of the operator. Moreover, there is a particular combination of the color charge fluctuations for the vacuum and for a system describable by a nontrivial density matrix that is independent that has a well-defined continuum limit.
color confinement↗
Scale and conformal invariance on (A)dS spacetimes
We examine the question of scale versus conformal invariance on maximally symmetric curved backgrounds and study general two-derivative conformally invariant free theories of vectors and tensors. For spacetime dimension D > 4 , these conformal theories can be diagonalized into standard massive fields in which unbroken conformal symmetry nontrivially mixes components of different spins. In D = 4 , the tensor case becomes a conformal theory mixing a partially massless spin-2 field with a massless spin-1 field. For massless linearized gravity in D = 4 , we confirm through direct calculation that correlation functions of gauge-invariant operators take the conformally invariant form, despite the absence of standard conformal symmetry at the level of the action. Published by the American Physical Society 2024
Astronomy & Astrophysics↗
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↗