Search NASA⌕ Search

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.

At least 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
DOE OSTI2014

Metric Ranking of Invariant Networks with Belief Propagation

The management of large-scale distributed information systems relies on the effective use and modeling of monitoring data collected at various points in the distributed information systems. A promising approach is to discover invariant relationships among the monitoring data and generate invariant networks, where a node is a monitoring data source (metric) and a link indicates an invariant relationship between two monitoring data. Such an invariant network representation can help system experts to localize and diagnose the system faults by examining those broken invariant relationships and their related metrics, because system faults usually propagate among the monitoring data and eventually lead to some broken invariant relationships. However, at one time, there are usually a lot of broken links (invariant relationships) within an invariant network. Without proper guidance, it is difficult for system experts to manually inspect this large number of broken links. Thus, a critical challenge is how to effectively and efficiently rank metrics (nodes) of invariant networks according to the anomaly levels of metrics. The ranked list of metrics will provide system experts with useful guidance for them to localize and diagnose the system faults. To this end, we propose to model the nodes and the broken links as a Markov Random Field (MRF), and develop an iteration algorithm to infer the anomaly of each node based on belief propagation (BP). Finally, we validate the proposed algorithm on both realworld and synthetic data sets to illustrate its effectiveness.

Tao, Changxia↗
DOE OSTI2016

Rephasing invariants of the Cabibbo-Kobayashi- Maskawa matrix

The paper is motivated by the importance of the rephasing invariance of the CKM (Cabibbo-Kobayashi-Maskawa) matrix observables. These observables appear in the discussion of the CP violation in the standard model (Jarlskog invariant) and also in the renormalization group equations for the quark Yukawa couplings. Our discussion is based on the general phase invariant monomials built out of the CKM matrix elements and their conjugates. We show that there exist 30 fundamental phase invariant monomials and 18 of them are a product of 4 CKM matrix elements and 12 are a product of 6 CKM matrix elements. In the main theorem we show that a general rephasing invariant monomial can be expressed as a product of at most five factors: four of them are fundamental phase invariant monomials and the fifth factor consists of powers of squares of absolute values of the CKM matrix elements. We also show that the imaginary part of any rephasing invariant monomial is proportional to the Jarlskog’s invariant J or is 0.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2011

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↗
DOE OSTI2012

Conformal invariance, dark energy, and CMB non-gaussianity

In addition to simple scale invariance, a universe dominated by dark energy naturally gives rise to correlation functions possessing full conformal invariance. This is due to the mathematical isomorphism between the conformal group of certain three dimensional slices of de Sitter space and the de Sitter isometry group SO(4,1). In the standard homogeneous, isotropic cosmological model in which primordial density perturbations are generated during a long vacuum energy dominated de Sitter phase, the embedding of flat spatial R{sup 3} sections in de Sitter space induces a conformal invariant perturbation spectrum and definite prediction for the shape of the non-Gaussian CMB bispectrum. In the case in which the density fluctuations are generated instead on the de Sitter horizon, conformal invariance of the S{sup 2} horizon embedding implies a different but also quite definite prediction for the angular correlations of CMB non-Gaussianity on the sky. Each of these forms for the bispectrum is intrinsic to the symmetries of de Sitter space, and in that sense, independent of specific model assumptions. Each is different from the predictions of single field slow roll inflation models, which rely on the breaking of de Sitter invariance. We propose a quantum origin for the CMB fluctuations in the scalar gravitational sector from the conformal anomaly that could give rise to these non-Gaussianities without a slow roll inflaton field, and argue that conformal invariance also leads to the expectation for the relation n{sub S}−1 = n{sub T} between the spectral indices of the scalar and tensor power spectrum. Confirmation of this prediction or detection of non-Gaussian correlations in the CMB of one of the bispectral shape functions predicted by conformal invariance can be used both to establish the physical origins of primordial density fluctuations, and distinguish between different dynamical models of cosmological vacuum dark energy.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2014

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↗
DOE OSTI2015

Invariant currents and scattering off locally symmetric potential landscapes

We study the effect of discrete symmetry breaking in inhomogeneous scattering media within the framework of generic wave propagation. Our focus is on one-dimensional scattering potentials exhibiting local symmetries. We find a class of spatially invariant nonlocal currents, emerging when the corresponding generalized potential exhibits symmetries in arbitrary spatial domains. These invariants characterize the wave propagation and provide a spatial mapping of the wave function between any symmetry related domains. This generalizes the Bloch and parity theorems for broken reflection and translational symmetries, respectively. Their nonvanishing values indicate the symmetry breaking, whereas a zero value denotes the restoration of the global symmetry where the well-known forms of the two theorems are recovered. These invariants allow for a systematic treatment of systems with any local symmetry combination, providing a tool for the investigation of the scattering properties of aperiodic but locally symmetric systems. To this aim we express the transfer matrix of a locally symmetric potential unit via the corresponding invariants and derive quantities characterizing the complete scattering device which serve as key elements for the investigation of transmission spectra and particularly of perfect transmission resonances. -- Highlights: •We show that local discrete symmetries yield invariant currents. •Bloch and parity theorems are generalized when the associated symmetries are broken. •Formulation of scattering via the symmetry-induced invariant currents. •We provide sum rules for the invariant currents characterizing perfect transmission.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗