Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “invariance”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

Pichardie, David↗
NASA NTRSDate not supplied

TPSAS-NF1676L-16988-DND

There has been renewed interest to uniformly recalibrate historical geostationary (GEO) data records to aid in climate monitoring. GEO sensors have annual repeatable angular sampling over a given location. The view angle is fixed and the imaging schedule is usually constant through its lifetime. Given the fact that colocated GEOs are always share the same sub-satellite point and maintain their imaging schedules provides repeatable angular sampling over decades. One of the biggest challenges in transferring a reference sensor calibration using invariant desert targets to another sensor is the accuracy of the bidirectional reflectance distribution function (BDRF). A well-calibrated GEO can be used to predict the daily exoatmospheric radiance model (DERM) over a desert target for a given GMT that is valid for any GEO sensor at the same location. The advantage of this method is that a BRDF is not needed. Another challenge of invariant target calibration is the unique spectra signature of the desert. However, since most GEOs are built in batches, the spectral response functions (SRF) are very similar for most historical GEOs, the spectral band adjustment factor (SBAF) between GEO sensors is much smaller than for MODIS and GEO sensors. Since the water vapor burden over the desert is seasonal, both the TOA and desert surface can be considered invariant for a given day of the year. The reference GEO can be inter-calibrated with MODIS or VIIRS, which have onboard visible calibration using solar diffusers, using other methods, such as ray-matching or deep convective clouds. Also the next generation GEOs will have onboard visible calibration, which will increase the accuracy of this method. Three Meteosats over the Libyan desert will be used to illustrate the DERM method. The reference Meteosat will be inter-calibrated against Aqua-MODIS. The reference GEO DERM will be constructed and used to calibrate the remaining Meteosats. The DERM calibration will be validated by comparing the calibration using Aqua-MODIS ray-matching. Similarly, two GOES sensors using the Sonoran desert will also be highlighted. An uncertainty analysis will also be performed with emphasis on the SBAF, derived over the desert targets using both SCIAMACHY and Hyperion hyper-spectral radiances.

David Doelling↗
NASA NTRSDate not supplied

The Impact of Pixel Size on the Characterization of Deep Convective Clouds for Calibration

The NASA CERES project provides the scientific community the observed TOA SW and LW fluxes for climate monitoring and climate model validation. CERES utilizes hourly geostationary imager derived broadband fluxes, which rely on the channel radiances and associated cloud retrievals, to estimate the broadband fluxes between CERES observations. This requires stable imager visible channel calibration, which the CERES project verifies by utilizing deep convective clouds (DCC) as an invariant Earth target. GSICS, which is an international collaboration, is also evaluating the DCC invariant target calibration methodology to provide consistent calibration coefficients across geostationary imagers anchored to the Aqua-MODIS calibration reference. Tropical DCC are the brightest, coldest, most Lambertian, top of the atmosphere Earth targets. The DCC invariant target calibration methodology relies on a large ensemble of tropical DCC-identified pixel-level reflectances, which are histogrammed to find the mode reflectance of the probability density function (PDF). The imager stability is monitored by tracking the monthly DCC PDF mode reflectance over time. Radiometric scaling is accomplished by ratioing the GEO and VIIRS DCC mode reflectance values. The PDF shape and mode dependency on sensor pixel resolution, which varies among sensors, is unknown. This study will characterize the impact of pixel resolution on the DCC PDFs by aggregating Landsat 30-m pixel reflectances into various coarser pixel resolutions ranging from 100-m to 4-km, and comparing the corresponding PDF statistics. This analysis will assist in improving the uncertainty in a DCC-based intercalibration between instruments with different pixel resolutions.

Conor Haney↗
NASA NTRSDate not supplied

The Impact of Pixel Size on the Characterization of Deep Convective Clouds for Calibration

The NASA CERES project provides the scientific community the observed TOA SW and LW fluxes for climate monitoring and climate model validation. CERES utilizes hourly geostationary imager derived broadband fluxes, which rely on the channel radiances and associated cloud retrievals, are used to estimate the broadband fluxes between CERES observations. This requires stable and consistent cross-platform imager visible channel calibration. The CERES project utilizes deep convective clouds (DCC) as an invariant Earth target to both monitor the stability of sensors and for radiometric scaling. GSICS, an international collaboration, is also evaluating and implementing the DCC invariant target calibration methodology to provide consistent calibration coefficients across geostationary imagers anchored to the AquaMODIS or the NOAA-20 VIIRS calibration reference. Tropical DCC are the brightest, coldest, most Lambertian, top of the atmosphere Earth targets. The DCC invariant target calibration methodology relies on a large ensemble of tropical D CC-identified pixel-level reflectances, which are aggregated as probability density functions (PDF). By assuming the monthly PDF shape is otherwise consistent in time excepting shifts in reflectance caused by changes in the sensor calibration, the imager stability is monitored. Radiometric scaling is accomplished by ratioing the sensor pair DCC PDF reflectance values. The success of the DCC methodology relies on consistent PDF distributions. The goal of this study is to determine the impact of pixel resolution on the DCC reflectance distribution. Single SNPP-VIIRS 750-m and Landsat 8 OLI 30-m granules are aggregated to degrade the pixel resolution from the native level. The DCC pixels are identified using a BT threshold. Most of the brightest DCC pixels are also the coldest, although there are exceptions. It was found that increasing the BT threshold exponentially increased the number of darker pixels. The pixel resolution did not seem to impact the DCC reflectance PDF distribution for pixel resolutions less than 3 km, which suggests that imagers of varying pixel resolutions may be radiometrically scaled to each other using DCC targets.

DCC↗
NASA NTRSDate not supplied

Improved Spectral and Angular Characterization of Libya-4 and Dome-C for consistent MODIS and VIIRS Radiometric Scaling

The NASA CERES observed SW and LW fluxes are utilized by the climate community for monitoring the Earth’s energy imbalance and for climate model validation. To facilitate seamless flux and cloud properties across MODIS, VIIRS, and geostationary (GEO) imagers the CERES project intercalibrates the imagers directly comparing the coincident ray-matched analogous channel radiances. For CERES edition 4 products, the MODIS, VIIRS and GEO imagers were radiometrically scaled to the Aqua-MODIS C5 calibration reference. There are no direct comparison opportunities between NPP and NOAA20 VIIRS, since they are positioned a half an orbit apart. The previous usage of Aqua-MODIS as a transfer radiometer is coming to an end, since the Aqua orbit is slowly drifting towards the terminator and will be deorbited in 2026. The CERES project will utilize the Libya-4 and Dome-C invariant targets to radiometrically scale between MODIS and VIIRS reflective solar bands. The Libya-4 and Dome-C Earth invariant targets will be characterized by the repeat cycle angular configuration. The target spectral band adjustment factors (SBAF) will be derived using EMIT and DESIS hyper-spectral observations onboard the ISS and will be compared with the existing SCIAMACHY, GOME-2, and Hyperion SBAFs. The DESIS and EMIT SBAF approach can incorporate the future CLARREO CPF SI traceable hyper-spectral measurements allowing the targets to be referenced to an absolute calibration reference. Utilizing the BRDF and atmospheric corrected characterization of one sensor with another will provide the scaling factors. Consistent scaling factors between the two invariant target validates the method.

David R. Doelling↗
DOE OSTI2021

Rotational Equivariance for Object Classification Using xView

With the recent addition of large, curated and labeled data sets to the remote sensing discipline, deep learning models have largely surpassed the performance of classical techniques. These deep models, typically Convolutional Neural Networks, are invariant to translation through the use of successive convolution layers which are themselves equivariant to translation. Further, the combination of multiple convolution and pooling layers means that in practice, the model is also approximately invariant to translation. However, until recently these models could only approach rotational invariance through data augmentation. Here we propose using a new model formulation which achieves rotational equaivariance without data augmentation for overhead imagery classification. We utilize the popular xView data set to compare the rotational equivariance formalization against a regular CNN and CNN with rotational data augmentation for the task of image classification.

Bynum, Lucius EJ↗
DOE OSTI2022

McMillan map and nonlinear Twiss parameters

In this article we consider two dynamical systems: the McMillan sextupole and octupole integrable mappings originally introduced by Edwin McMillan; the second one is also known as canonical McMillan map. Both of them are simplest symmetric McMillan maps with only one intrinsic parameter, the trace of the Jacobian at the fixed point. While these dynamical systems have numerous of applications and are used in many areas of math and physics, some of their dynamical properties have not been described yet. We fulfill the gap and provide complete description of all stable trajectories including parametrization of invariant curves, Pioncaré rotation numbers and canonical action-angle variables. In the second part we relate these maps with general chaotic map in McMillan-Turaev form. We show that McMillan sextupole and octupole mappings are first order approximations of dynamics around the fixed point, in a similar way as linear map and quadratic invariant (Courant-Snyder invariant in accelerator physics) is the zeroth order approximation (known as linearization). Finally we suggest the new formalism of nonlinear Twiss parameters which incorporate dependence of rotation number as a function of amplitude, in contrast to e.g. betatron phase advance used in accelerator physics which is independent of amplitude. Specifically in application to accelerator physics this new formalism is capable of predicting dynamical aperture around 1-st, 2-nd, 3-rd and 4-th order resonances for flat beams, which is critical for beam injection/extraction.

43 PARTICLE ACCELERATORS↗
DOE OSTI2025

The Nontrivial Vacuum Structure of an Extended $t\bar{t}$ BEH (Higgs) Bound State

In a recent reformulation of top-quark condensation for the Brout-Englert-Higgs boson, we introduced an extended internal wave-function, $ϕ(r)$. We show how this leads to a manifestly Lorentz invariant formalism, where the absence of ``relative time'' is a gauge invariance of the bilocal field theory. This dictates a novel and nontrivial Lorentz invariant vacuum structure for the BEH boson, the relativistic generalization of a condensed matter state such as a BCS or Bose-Einstein condensate.

Hill, Christopher T. [Fermilab; Wisconsin U., Madi↗
DOE OSTI2026

HydroDCM: Hydrological Domain-Conditioned Modulation for Cross-Reservoir Inflow Prediction

Deep learning models have shown promise in reservoir inflow prediction, yet their performance often deteriorates when applied to different reservoirs due to distributional differences, referred to as the domain shift problem. Domain generalization (DG) solutions aim to address this issue by extracting domain-invariant representations that mitigate errors in unseen domains. However, in hydrological settings, each reservoir exhibits unique inflow patterns, while some metadata beyond observations like spatial information exerts indirect but significant influence. This mismatch limits the applicability of conventional DG techniques to many-domain hydrological systems. To overcome these challenges, we propose HydroDCM, a scalable DG framework for cross-reservoir inflow forecasting. Spatial metadata of reservoirs is used to construct pseudo-domain labels that guide adversarial learning of invariant temporal features. During inference, HydroDCM adapts these features through light-weight conditioning layers informed by the target reservoir’s metadata, reconciling DG’s invariance with location-specific adaptation. Experiment results on 30 real-world reservoirs in the Upper Colorado River Basin demonstrate that our method substantially outperforms state-of-the-art DG baselines under many-domain conditions and remains computationally efficient.

Hu, Pengfei [ORNL] (ORCID:0009000367130950)↗
DOE OSTI2020

New segmented target for studies of neutron unbound systems

The study of neutron-unbound systems using invariant mass spectroscopy is often performed using low-intensity radioactive ion beams. Low reaction yields can be countered by using thick targets but at the expense of larger uncertainties in the reconstructed invariant mass. In this work, we present a new segmented target designed to address this trade-off. It is composed of three mm thick passive beryllium targets interleaved between four thick position sensitive silicon detectors. In the first experiment to use this new system the half-life of two-neutron unbound was measured to be (stat) (syst) ps, which agrees with a previous measurement made by the MoNA Collaboration.

47 OTHER INSTRUMENTATION↗
DOE OSTI2021

Normal stability of slow manifolds in nearly periodic Hamiltonian systems

Kruskal [J. Math. Phys. 3, 806 (1962)] showed that each nearly periodic dynamical system admits a formal U(1) symmetry, generated by the so-called roto-rate. We prove that such systems also admit nearly invariant manifolds of each order, near which rapid oscillations are suppressed. We study the nonlinear normal stability of these slow manifolds for nearly periodic Hamiltonian systems on barely symplectic manifolds—manifolds equipped with closed, non-degenerate 2-forms that may be degenerate to leading order. In particular, we establish a sufficient condition for long-term normal stability based on second derivatives of the well-known adiabatic invariant. We use these results to investigate the problem of embedding guiding center dynamics of a magnetized charged particle as a slow manifold in a nearly periodic system. Here, we prove that one previous embedding and two new embeddings enjoy long-term normal stability and thereby strengthen the theoretical justification for these models.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Spectral localizer for line-gapped non-Hermitian systems

Short-ranged and line-gapped non-Hermitian Hamiltonians have strong topological invariants given by an index of an associated Fredholm operator. It is shown how these invariants can be accessed via the signature of a suitable spectral localizer. Here, this numerical technique is implemented in an example with relevance to the design of topological photonic systems, such as topological lasers.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

3 He +𝛼 resonances in 7 Be

Resonances in 7 Be which decay into the 3 He+α exit channel have been measured with improved precision using preexisting data sets. The energy and width of the J π =7/2 - state have been extracted from an invariant-mass study of projectile-breakup products originating from interactions of an E/A=10.7-MeV 10 C beam on Be and C targets. The excitation energy of this state (from the pole of the S-matrix) is determined to be E*=4.545(6)~MeV, a factor of 8 improvement in precision as compared to the ENSDF value. This improvement is enabled by fine tuning the detector calibrations using calibration resonances in 6 Li, 7 Li, 6 Be, 9 B, and 12 C whose decay energies are known to high precision. The J π =7/2- resonance in 7 Be can now itself be used as a calibration resonance in invariant-mass experiments. This utility is particularly helpful for 3 He energy calibrations of CsI(Tl) detectors which are often used in detector arrays employed for measurements with fast beams. This utility is demonstrated with a data set associated with E/A=70 MeV 7 Be beams which are inelastically excited to the 7/2 - and 5/2 - 1 resonances. Again using the pole of the S-matrix as the definition of the resonance parameters, the fitted excitation energy of the 5/2 - 1 resonance is 6.376(17) MeV, approximately 300 keV lower than the ENSDF value. Finally, its width of 565(4) keV is roughly half of the ENSDF value.

energy levels↗
NASA NTRSDate not supplied

Deep Convective Cloud Calibration Sensitivity Studies in Support of Radiometrically Scaling GEO Imagers With VIIRS

The NASA CERES SYN1deg product provides the scientific community regional hourly TOA and surface broadband fluxes and clouds. For consistent geostationary (GEO) derived fluxes and clouds the GEO imagers are radiometrically scaled to the Aqua-MODIS calibration reference. The CERES project utilizes GEO and MODIS or VIIRS analogous channel coincident, collocated, and co-angled radiance pairs as the primary method to inter-calibrate the GEO imagers. Tropical deep convective clouds (DCC) are bright, near Lambertian, top of atmosphere pseudo invariant Earth targets that do not rely on coincident ray-matched radiance pairs to radiometrically scale sensors to a common calibration reference. The DCC invariant target (DCC-IT) methodology collectively analyzes all tropical DCC identified pixel radiances by way of probability density function (PDF) distributions. Perfectly inter-calibrated sensor pairs should reveal nearly identical PDF distributions given the same DCC identification criterion. The PDF median, mean, mode, and inflection point statistics were tested as a function of DCC identification criterion using SNPP-VIIRS and Himawari-8 AHI 0.65μm channel radiances during January 2019. It was found that the PDF inflection point provided inter-calibration factors within 0.25% that were nearly independent of DCC identification criterion. The PDF median provided inter-calibration factors within 0.25% for the coldest BT and most stringent homogeneity factors. The PDF mean and mode statistics were inadequate under any DCC conditions. It is critical for the DCC pixel radiances to be anisotropically corrected. The DCC-IT methodology will also be tested for other visible and SWIR bands.

DCC↗
DOE OSTI2021

A note on one-loop cluster adjacency in N = 4 SYM

We study cluster adjacency conjectures for amplitudes in maximally supersymmetric Yang-Mills theory. We show that the n-point one-loop NMHV ratio function satisfies Steinmann cluster adjacency. We also show that the one-loop BDS-like normalized NMHV amplitude satisfies cluster adjacency between Yangian invariants and final symbol entries up to 9-points. We present conjectures for cluster adjacency properties of Plücker coordinates, quadratic cluster variables, and NMHV Yangian invariants that generalize the notion of weak separation.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Scale-fixed predictions for γ + η c production in electron-positron collisions at NNLO in perturbative QCD

In the paper, we present QCD predictions for γ + η c production at an electron-positron collider up to next-to-next-to-leading order (NNLO) accuracy without renormalization scale ambiguities. The NNLO total cross-section for e + + e – → γ + η c using the conventional scale-setting approach has large renormalization scale ambiguities, usually estimated by choosing the renormalization scale to be the e + e – center-of-mass collision energy $\sqrt{s}$. The Principle of Maximum Conformality (PMC) provides a systematic way to eliminate such renormalization scale ambiguities by summing the nonconformal β contributions into the QCD coupling α s ( Q 2 ). The renormalization group equation then sets the value of α s for the process. The PMC renormalization scale reflects the virtuality of the underlying process, and the resulting predictions satisfy all of the requirements of renormalization group invariance, including renormalization scheme invariance. After applying the PMC, we obtain a renormalization scale-and-scheme independent prediction, σ | NNLO,PMC ≃ 41.18 fb for $\sqrt{s}$=10.6 GeV. The resulting pQCD series matches the series for conformal theory and thus has no divergent renormalon contributions. The large K factor which contributes to this process reinforces the importance of uncalculated NNNLO and higher-order terms. Using the PMC scale-and-scheme independent conformal series and the Padé approximation approach, we predict σ | NNNLO,PMC+Pade ≃ 18.99 fb, which is consistent with the recent BELLE measurement ${\sigma}^{\mathrm{obs}}={16.58}_{-9.93}^{+10.51}$ fb at $\sqrt{s}$ ≃ 10.6 GeV. This procedure also provides a first estimate of the NNNLO contribution.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Even-point multi-loop unitarity and its applications: exponentiation, anomalies and evanescence

Abstract We identify novel structure in newly computed multi-loop amplitudes and quantum actions for even-point effective field theories, including both the nonlinear sigma model (NLSM) and double-copy gauge theories such as Born-Infeld and its supersymmetric generalizations. We exploit special properties of all even-point theories towards establishing an efficient unitarity based amplitude construction. In doing so, we find evidence that the leading IR divergence of NLSM amplitudes exponentiates when the target space is$$ \mathbbm{CP} $$ CP 1 ≅ SU(2)/U(1). We then systematically compute the two-loop anomalous behavior of Born-Infeld, and find that the counterterms needed to restore U(1) invariant behavior at loop-level can be constructed via a symmetric-structure double-copy. We also demonstrate that the divergent part of the one-minus (−+++) two-loop anomaly vanishes upon introducing an evanescent operator. In addition to these purely photonic counterterms, we verify through explicit calculation that the anomalous matrix elements that violate U(1) duality invariance can be alternatively cancelled by summing over internal$$ \mathcal{N} $$ N = 4 DBIVA superfields. Finally we find that$$ \mathcal{N} $$ N = 4 Dirac-Born-Infeld-Volkov-Akulov (DBIVA) amplitudes admit double-copy construction through two-loop order by reproducing our unitarity based result with a double copy between color-dual$$ \mathcal{N} $$ N = 4 super-Yang-Mills and our two-loop NLSM amplitudes. This result supports the possibility of color-dual representations for NLSM beyond one-loop. We conclude with an overview of howD-dimensional four-photon counterterms can be constructed in generality with the symmetric-structure double-copy, and outline a convenient way of counting evanescent operators using Hilbert series as generating functions.

Physics↗
DOE OSTI2024

Self-duality under gauging a non-invertible symmetry

Abstract We discuss two-dimensional conformal field theories (CFTs) which are invariant under gauging a non-invertible global symmetry. At every point on the orbifold branch ofc= 1 CFTs, it is known that the theory is self-dual under gauging a ℤ 2 × ℤ 2 symmetry, and has Rep(H 8 ) and Rep(D 8 ) fusion category symmetries as a result. We find that gauging the entire Rep(H 8 ) fusion category symmetry maps the orbifold theory at radiusRto that at radius 2/R. AtR=$$ \sqrt{2} $$ 2 , which corresponds to two decoupled Ising CFTs (Ising 2 in short), the theory is self-dual under gauging the Rep(H 8 ) symmetry. This implies the existence of a topological defect line in the Ising 2 CFT obtained from half-space gauging of the Rep(H 8 ) symmetry, which commutes with thec= 1 Virasoro algebra but does not preserve the fully extended chiral algebra. We bootstrap its action on thec= 1 Virasoro primary operators, and find that there are no relevant or marginal operators preserving it. Mathematically, the new topological line combines with the Rep(H 8 ) symmetry to form a bigger fusion category which is a ℤ 2 -extension of Rep(H 8 ). We solve the pentagon equations including the additional topological line and find 8 solutions, where two of them are realized in the Ising 2 CFT. Finally, we show that the torus partition functions of the Monster 2 CFT and Ising×Monster CFT are also invariant under gauging the Rep(H 8 ) symmetry.

Physics↗