Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “inversion constraints”

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

Speed of sound in the solar interior

The sound speed of the solar interior is directly determinable on the basis of the frequencies of solar 5-min oscillations, irrespective of solar model, and relying only on a simple asymptotic description of the oscillations in terms of trapped acoustic waves. It is plausible that, by using this asymptotic determination as an initial trial in a more accurate inversion, and imposing constraints of smoothness on the solution resulting from the iteration, a good model representing the large scale structure of the sun which satisfies the observed frequencies may be determined.

Christensen-Dalsgaard, J.↗

Atmospheric profiling of water vapour with a 20.5-23.5 GHz autocorrelation radiometer

A tropospheric water vapor profiling system is presented. The hardware consists of an upward looking radiometer (CORRAD) deployed at ground level. The CORRAD measures the autocorrelation of the downwelling thermal emission from the atmosphere over a passband of 20.5 to 23.5 GHz out to a maximum time delay of 6.1 ns. This produces 100 MHz resolution imaging of the complete emission spectrum about the 22.235 GHz water vapor resonance line. The 31 equivalent frequency channels produced by Fourier transformation of the data provide additional constraints on the inversion process required to estimate the water vapor profile, as compared to standard 2 to 5 frequency channel profiling systems. The CORRAD hardware is described, and radiometer and radiosonde profiles are compared.

Ruff, C. S.↗

Paleomagnetic Analysis Using SQUID Microscopy

Superconducting quantum interference device (SQUID) microscopes are a new generation of instruments that map magnetic fields with unprecedented spatial resolution and moment sensitivity. Unlike standard rock magnetometers, SQUID microscopes map magnetic fields rather than measuring magnetic moments such that the sample magnetization pattern must be retrieved from source model fits to the measured field data. In this paper, we presented the first direct comparison between paleomagnetic analyses on natural samples using joint measurements from SQUID microscopy and moment magnetometry. We demonstrated that in combination with apriori geologic and petrographic data, SQUID microscopy can accurately characterize the magnetization of lunar glass spherules and Hawaiian basalt. The bulk moment magnitude and direction of these samples inferred from inversions of SQUID microscopy data match direct measurements on the same samples using moment magnetometry. In addition, these inversions provide unique constraints on the magnetization distribution within the sample. These measurements are among the most sensitive and highest resolution quantitative paleomagnetic studies of natural remanent magnetization to date. We expect that this technique will be able to extend many other standard paleomagnetic techniques to previously inaccessible microscale samples.

Weiss, Benjamin P.↗

TPSAS-NF1676L-21838-DND

Correlation relationships between particle microphysical parameters and optical data are investigated. The results show that surface-area concentrations and extinction coefficients are linearly correlated with a correlation coefficient above 0.99 for arbitrary particle size distribution. The correlation relationships that we obtained can be used as constraints in our inversion of optical lidar data. Simulation studies demonstrate a significant stabilization of aerosol microphysical data products if we apply the gradient correlation method (GCM) in our traditional regularization technique.

Alexei Kolgotin↗

Leveraging the Gravity Field Spectrum for Icy Satellite Interior Structure Determination: The case of Europa with the Europa Clipper Mission

Understanding the interior structures of icy moons is pivotal for addressing their origins and habitability. We introduce an approach employing the gravity field spectrum as an additional constraint for the inversion of differentiated icy bodies' interior structures. After developing the general methodology, we apply it to Europa, utilizing the predicted measurement capability of NASA's Europa Clipper mission, and we prove its effectiveness in resolving key geophysical parameters. Notably, we show that using the gravity field spectrum in combination with the mass and moment of inertia of the body allows us to estimate, depending on the considered end-member interior structure, the hydrosphere thickness with 4–20 km uncertainty and reliably determine the seafloor maximum topographic range and elastic thickness to within 100–600 m and 5–15 km, respectively, together with the power–degree relationship of the seafloor topography. We also show that the proposed method allows us to determine the density of the silicate mantle and the radius of the core to within 0.25 g cc −1 and 50 km, respectively.

G. Cascioli↗

A deep learning-enhanced framework for multiphysics joint inversion

Joint inversion has drawn considerable attention due to the availability of multiple geophysical data sets, ever-increasing computational resources, the development of advanced algorithms, and its ability to reduce inversion uncertainty. A key issue of joint inversion is to develop effective strategies to link different geophysical data in a unified mathematical framework, in which the information obtained from different models can complement each other. We have developed a deep learning-enhanced joint inversion framework to simultaneously reconstruct different physical models by fusing different types of geophysical data. Traditionally, structure similarity constraints are pursued by joint inversion algorithms using manually crafted formulations (e.g., cross gradient). The constraint is constructed by a deep neural network (DNN) during the learning process. The framework is designed to combine the DNN and a traditional independent inversion workflow and improve the joint inversion result iteratively. The network can be easily extended to incorporate multiphysics without structural changes. Numerical experiments on the joint inversion of 2D DC resistivity data and seismic traveltime are used to validate our method. In addition, this learning-based framework demonstrates excellent generalization abilities when tested on data sets using different geologic structures. It also can handle different sensing configurations and nonconforming discretization.

Geochemistry & Geophysics↗

An Inversion Analysis of Recent Variability in Natural CO2 Fluxes Using GOSAT and In Situ Observations

About one-half of the global CO2 emissions from fossil fuel combustion and deforestation accumulates in the atmosphere, where it contributes to global warming. The rest is taken up by vegetation and the ocean. The precise contribution of the two sinks, and their location and year-to-year variability are, however, not well understood. We use two different approaches, batch Bayesian synthesis inversion and variational data assimilation, to deduce the global spatiotemporal distributions of CO2 fluxes during 2009-2010. One of our objectives is to assess different sources of uncertainties in inferred fluxes, including uncertainties in prior flux estimates and observations, and differences in inversion techniques. For prior constraints, we utilize fluxes and uncertainties from the CASA-GFED model of the terrestrial biosphere and biomass burning driven by satellite observations and interannually varying meteorology. We also use measurement-based ocean flux estimates and two sets of fixed fossil CO2 emissions. Here, our inversions incorporate column CO2 measurements from the GOSAT satellite (ACOS retrieval, filtered and bias-corrected) and in situ observations (individual flask and afternoon-average continuous observations) to estimate fluxes in 108 regions over 8-day intervals for the batch inversion and at 3 x 3.75 weekly for the variational system. Relationships between fluxes and atmospheric concentrations are derived consistently for the two inversion systems using the PCTM atmospheric transport model driven by meteorology from the MERRA reanalysis. We compare the posterior fluxes and uncertainties derived using different data sets and the two inversion approaches, and evaluate the posterior atmospheric concentrations against independent data including aircraft measurements. The optimized fluxes generally resemble those from other studies. For example, the results indicate that the terrestrial biosphere is a net CO2 sink, and a GOSAT-only inversion suggests a shift in the global sink from the tropics south to the north relative to the prior and to an in-situ-only inversion. We also find a smaller terrestrial sink in higher-latitude northern regions in boreal summer of 2010 relative to 2009.

Carbon dioxide↗

Enhanced Multi-Dimensional Inversion Through Target-Specific Inversion Parameter Bounds With an Application to Crosswell Electromagnetic for Sequestration Monitoring

In geophysical inversions, lower and upper model parameter bounds are a means of solution stabilization. Further, constraints that intend to let only geologically plausible inverse solutions pass are amenable to lower and upper bounds. Reliable prior information is paramount to construct such bound constraints. It is common practice to narrow and widen bound intervals for regions of, respectively, more and less certain prior information. Contrary to this practice, we experiment with widened bound intervals in zones that are poorly resolved by a given survey configuration but where prior information would suggest structural anomalies of interest. The purpose of enlarged parameter bounds that correlate spatially with predefined targets is to let the inversion explore a larger solution space, thus increasing the potential to resolve otherwise hidden anomalies. Application of the method is based on a carbon-sequestration baseline (pre-injection) crosswell electromagnetic (EM) field survey at the Containment and Monitoring Institute Field Research Station (Alberta, Canada), where impeded measurements led to generally reduced sensitivities for the interwell region. Synthetic-data proofs of concept use augmented bounds designed to boost the resolution of artificial plume targets, indicating an enhanced illumination compared to constant bounds. Comparative field data inversions with spatially variable bounds constructed from prior resistivity and velocity information highlight non-horizontal baseline structures.

3-D electrical resistivity imaging↗

Retrievals of Aerosol Microphysics from Simulations of Spaceborne Multiwavelength Lidar Measurements

In support of the Aerosol, Clouds, Ecosystems mission, simulations of a spaceborne multiwavelength lidar are performed based on global model simulations of the atmosphere along a satellite orbit track. The yield for aerosol microphysical inversions is quantified and comparisons are made between the aerosol microphysics inherent in the global model and those inverted from both the model's optical data and the simulated three backscatter and two extinction lidar measurements, which are based on the model's optical data. We find that yield can be significantly increased if inversions based on a reduced optical dataset of three backscatter and one extinction are acceptable. In general, retrieval performance is better for cases where the aerosol fine mode dominates although a lack of sensitivity to particles with sizes less than 0.1 microns is found. Lack of sensitivity to coarse mode cases is also found, in agreement with earlier studies. Surface area is generally the most robustly retrieved quantity. The work here points toward the need for ancillary data to aid in the constraints of the lidar inversions and also for joint inversions involving lidar and polarimeter measurements.

aerosols↗

A smeared crack modeling framework accommodating multi-directional fracture at finite strains

A generic smeared crack modeling framework predicated on the deformation gradient decomposition (DGD) approach is proposed for use in dynamic fracture problems at finite strains, accommodating failure along multiple mutually orthogonal fracture planes embedded within an independently defined bulk material model. Within this constitutive framework, the traction equilibrium conditions imposed at each failure surface are used to determine the associated crack displacements stored as internal state variables. In general, the enforcement of interfacial equilibrium entails the implicit solution of a non-linear system of equations within the constitutive update procedure. However, if inertial effects arising due to the relative motion of the fractured material are incorporated within the model, the traction equilibrium conditions are shown to give rise to corresponding dynamic equations of motion governing the time-evolution of the crack opening displacements. For dynamic problems, an explicit time-integration procedure is devised to efficiently update the material state, subject to a set of internal frictionless contact constraints to prevent material inversion. Finally, the efficacy of the proposed modeling framework is investigated through several benchmark dynamic fracture problems run within the explicit finite element code DYNA3D.

42 ENGINEERING↗

Enhancing molecular design efficiency: Uniting language models and generative networks with genetic algorithms

This study examines the effectiveness of generative models in drug discovery, material science, and polymer science, aiming to overcome constraints associated with traditional inverse design methods relying on heuristic rules. Generative models generate synthetic data resembling real data, enabling deep learning model training without extensive labeled datasets. They prove valuable in creating virtual libraries of molecules for material science and facilitating drug discovery by generating molecules with specific properties. While generative adversarial networks (GANs) are explored for these purposes, mode collapse restricts their efficacy, limiting novel structure variability. To address this, we introduce a masked language model (LM) inspired by natural language processing. Although LMs alone can have inherent limitations, we propose a hybrid architecture combining LMs and GANs to efficiently generate new molecules, demonstrating superior performance over standalone masked LMs, particularly for smaller population sizes. This hybrid LM-GAN architecture enhances efficiency in optimizing properties and generating novel samples.

97 MATHEMATICS AND COMPUTING↗

X-ray observations of 20 3CR radio galaxies and their environs

X-ray observations of 20 3CR radio galaxies using the Imaging Proportional Counter on the Einstein Observatory are reported. Fourteen of the 18 galaxies, plus two sources without optical identification, are detected with soft X-ray luminosities (Lx) ranging from 10 to the 40.9th to 10 to the 44.4th ergs/s. In four of the galaxies there is evidence for extended X-ray structure. Lx is statistically correlated with the radio power of the core, the lobe radio power (especially below 1 GHz), and the steepness of the lobe radio spectrum at high frequencies. The complex interrelations between X-ray luminosities and radio core, radio lobe, optical nuclei, and galaxy clustering are examined; and it is found that a cluster origin of the X-rays provides the best explanation of these effects. Constraints on synchrotron and inverse Compton production of X-rays in radio lobes and on mechanisms of lobe confinement are also discussed.

Feigelson, E. D.↗

Formal verification of AI software

The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms.

Rushby, John↗

Optimization as a Tool for Consistency Maintenance in Multi-Resolution Simulation

The need for new approaches to the consistent simulation of related phenomena at multiple levels of resolution is great. While many fields of application would benefit from a complete and approachable solution to this problem, such solutions have proven extremely difficult. We present a multi-resolution simulation methodology that uses numerical optimization as a tool for maintaining external consistency between models of the same phenomena operating at different levels of temporal and/or spatial resolution. Our approach follows from previous work in the disparate fields of inverse modeling and spacetime constraint-based animation. As a case study, our methodology is applied to two environmental models of forest canopy processes that make overlapping predictions under unique sets of operating assumptions, and which execute at different temporal resolutions. Experimental results are presented and future directions are addressed.

TEMPORAL RESOLUTION↗

Image restoration consequences of the lack of a two variable fundamental theorem of algebra

It has been shown that, at least for one pair of otherwise attractive spaces of images and operators, singular convolution operators do not necessarily have nonsingular neighbors. This result is a nuisance in image restoration. It is suggested that this difficulty might be overcome if the following three conditions are satisfied: (1) a weaker constraint than absolute summability can be identified for useful operators: (2) if the z-transform of an operator has at most a finite number of zeros on the unit torus, then the inverse z-transform formula yields an inverse operator meeting the weaker constraint: and (3) operators whose z-transforms are zero in a set of real, closed curves on the unit torus have neighbors which are zero in only a finite set of points on the unit torus.

Kreznar, J. E.↗

Large-Scale Optimization with Linear Equality Constraints Using Reduced Compact Representation

For optimization problems with linear equality constraints, we prove that the (1,1) block of the inverse KKT matrix remains unchanged when projected onto the nullspace of the constraint matrix. In this work, we develop reduced compact representations of the limited-memory inverse BFGS Hessian to compute search directions efficiently when the constraint Jacobian is sparse. Orthogonal projections are implemented by a sparse QR factorization or a preconditioned LSQR iteration. In numerical experiments two proposed trust-region algorithms improve in computation times, often significantly, compared to previous implementations of related algorithms and compared to IPOPT.

97 MATHEMATICS AND COMPUTING↗

Physically constrained 3D diffusion for inverse design of fiber-reinforced polymer composite materials

Designing fiber-reinforced polymer composites (FRPCs) with a tailored nonlinear stress-strain response is crucial for applications such as energy absorption in crash structures, flexible robotics, and impact-resistant protective gear. However, the inherent complexities of composite materials and the multitude of parameters involved, render traditional design and optimization methods inadequate for achieving effective inverse design of composites. In this paper, we present an AI-based inverse design framework that effectively and efficiently generates FRPCs with targeted nonlinear stress-strain responses. We introduce a physically constrained diffusion model (PC3D_Diffusion) capable of managing the complexities of composite materials and producing detailed, high-quality designs. We propose a loss-guided, learning-free approach to generate physically feasible microstructure designs by explicitly enforcing physical constraints during the generation process. For training purposes, 1.35 million FRPC samples were created, and their corresponding stress-strain curves were computed using established physics-based computational models. The results show that PC3D_Diffusion consistently generates high-quality designs with tailored mechanical behaviors, while guaranteeing compliance with the physical constraints. PC3D_Diffusion advances FRPC inverse design and may facilitate the inverse design of other 3D materials, offering potential applications in industries reliant on materials with custom mechanical properties.

Xu, Pei [Clemson Univ., SC (United States)]↗

A Three-Step Semi Analytical Algorithm (3SAA) for Estimating Inherent Optical Properties Over Oceanic, Coastal, and Inland Waters From Remote Sensing Reflectance

We present a three-step inverse model (3SAA) for estimating the inherent optical properties (IOPs) of surface waters from the remote sensing reflectance spectra, Rrs(). The derived IOPs include the total (a()), phytoplankton (aphy()), and colored detrital matter (acdm()), absorption coefficients, and the total (bb()) and particulate (bbp()) backscattering coefficients. The first step uses an improved neural network approach to estimate the diffuse attenuation coefficient of downwelling irradiance from Rrs. a() and bbp() are then estimated using the LS2 model (Loisel et al., 2018), which does not require spectral assumptions on IOPs and hence can assess a() and bb() at any wavelength at which Rrs() is measured. Then, an inverse optimization algorithm is combined with an optical water class (OWC) approach to assess aphy() and acdm() from anw().The proposed model is evaluated using an in situ dataset collected in open oceanic, coastal, and inland waters. Comparisons with other standard semi-analytical algorithms (QAA and GSM), as well as match-up exercises, have also been performed. The applicability of the algorithm on OLCI observations was assessed through the analysis of global IOPs spatial patterns derived from 3SAA and GSM. The good performance of 3SAA is manifested by median absolute percentage differences (MAPD) of 13%, 23%, 34% and 34% for bbp(443), anw(443), aphy(443) and acdm(443), respectively for oceanic waters. Due to the absence of spectral constraints on IOPs in the inversion of total IOPs, and the adoption of an OWC-based approach, the performance of 3SAA is only slightly degraded in bio-optical complex inland waters.

ocean color↗