Search NASA⌕ Search

SEARCH · Search NASA

Results for “gradient methods”

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 199 records · Page 11

Implicit mesh discontinuous Galerkin methods and interfacial gauge methods for high-order accurate interface dynamics, with applications to surface tension dynamics, rigid body fluid–structure interaction, and free surface flow: Part II

Here, in this two-part paper, a high-order accurate implicit mesh discontinuous Galerkin (dG) framework is developed for fluid interface dynamics, facilitating precise computation of interfacial fluid flow in evolving geometries. The framework uses implicitly defined meshes—wherein a reference quadtree or octree grid is combined with an implicit representation of evolving interfaces and moving domain boundaries—and allows physically prescribed interfacial jump conditions to be imposed or captured with high-order accuracy. Part one discusses the design of the framework, including: (i) high-order quadrature for implicitly defined elements and faces; (ii) high-order accurate discretisation of scalar and vector-valued elliptic partial differential equations with interfacial jumps in ellipticity coefficient, leading to optimal-order accuracy in the maximum norm and discrete linear systems that are symmetric positive (semi)definite; (iii) the design of incompressible fluid flow projection operators, which except for the influence of small penalty parameters, are discretely idempotent; and (iv) the design of geometric multigrid methods for elliptic interface problems on implicitly defined meshes and their use as preconditioners for the conjugate gradient method. Also discussed is a variety of aspects relating to moving interfaces, including: (v) dG discretisations of the level set method on implicitly defined meshes; (vi) transferring state between evolving implicit meshes; (vii) preserving mesh topology to accurately compute temporal derivatives; (viii) high-order accurate reinitialisation of level set functions; and (ix) the integration of adaptive mesh refinement. In part two, several applications of the implicit mesh dG framework in two and three dimensions are presented, including examples of single phase flow in nontrivial geometry, surface tension-driven two phase flow with phase-dependent fluid density and viscosity, rigid body fluid–structure interaction, and free surface flow. A class of techniques known as interfacial gauge methods is adopted to solve the corresponding incompressible Navier–Stokes equations, which, compared to archetypical projection methods, have a weaker coupling between fluid velocity, pressure, and interface position, and allow high-order accurate numerical methods to be developed more easily. Convergence analyses conducted throughout the work demonstrate high-order accuracy in the maximum norm for all of the applications considered; for example, fourth-order spatial accuracy in fluid velocity, pressure, and interface location is demonstrated for surface tension-driven two phase flow in 2D and 3D. Specific application examples include: vortex shedding in nontrivial geometry, capillary wave dynamics revealing fine-scale flow features, falling rigid bodies tumbling in unsteady flow, and free surface flow over a submersed obstacle, as well as high Reynolds number soap bubble oscillation dynamics and vortex shedding induced by a type of Plateau–Rayleigh instability in water ripple free surface flow. In these last two examples compare numerical results with experimental data and serve as an additional means of validation; they also reveal physical phenomena not visible in the experiments, highlight how small-scale interfacial features develop and affect macroscopic dynamics, and demonstrate the wide range of spatial scales often at play in interfacial fluid flow.

97 MATHEMATICS AND COMPUTING↗

Numerical Study of Solidification Crack Susceptibility in Novel Refractory Alloy Systems

Calculation of Phase Diagrams (CALPHAD) -based solidification computa­tions, such as Scheil or equilibrium computations, have been utilized to propose crack solidification susceptibility indices (CSSIs) of cracking. These CSSIs have been proposed in order to predict the cracking susceptibility of an alloy in the solidification range, as a function of its solidification frac­tion and as dependent upon its wt.% elemental composition through the CALPHAD computation & via comparative methods between one composition & the next. Recently Kou at al. have proposed a novel CSSI where the gradient of the e.x. Scheil solidification curve is obtained in the critical solidification cracking region of greater than 0.95 fraction of solid. Therefore, a direct Temperature dependent metric is now available for the prediction, and presumably the control, of solidification cracking. In this TM, the researchers apply this Kou gradient method to refractory alloys for the first time & discuss justification for the approach via Spearman rank correlation with Varestraint cracking test data as well as by comparisons with Thermocalc based vulnerability time CSSI calculations. A Python Pycalphad module example of the approach is provided & can be utilized as an open-source resource that utilizes also open-source available thermodynamical databases, making the CSSI quantitative aspect of ICME more available and freely available to practitioners.

ICME integrated computational materials engineerin↗

POLARIZED LINE FORMATION IN MULTI-DIMENSIONAL MEDIA. II. A FAST METHOD TO SOLVE PROBLEMS WITH PARTIAL FREQUENCY REDISTRIBUTION

In the previous paper of this series, we presented a formulation of the polarized radiative transfer equation for resonance scattering with partial frequency redistribution (PRD) in multi-dimensional media for a two-level atom model with unpolarized ground level, using the irreducible spherical tensors T{sub Q}{sup K}(i, {Omega}) for polarimetry. We also presented a polarized approximate lambda iteration method to solve this equation using the Jacobi iteration scheme. The formal solution used was based on a simple finite volume technique. In this paper, we develop a faster and more efficient method which uses the projection techniques applied to the radiative transfer equation (the Stabilized Preconditioned Bi-Conjugate Gradient method). We now use a more accurate formal solver, namely the well-known two-dimensional (2D) short characteristics method. Using the numerical method developed in Paper I, we can consider only simpler cases of finite 2D slabs due to computational limitations. Using the method developed in this paper, we could compute PRD solutions in 2D media in the more difficult context of semi-infinite 2D slabs also. We present several solutions which may serve as benchmarks in future studies in this area.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

SymbolNet: neural symbolic regression with adaptive dynamic pruning for compression

Abstract Compact symbolic expressions have been shown to be more efficient than neural network (NN) models in terms of resource consumption and inference speed when implemented on custom hardware such as field-programmable gate arrays (FPGAs), while maintaining comparable accuracy (Tsoi et al 2024 EPJ Web Conf. 295 09036). These capabilities are highly valuable in environments with stringent computational resource constraints, such as high-energy physics experiments at the CERN Large Hadron Collider. However, finding compact expressions for high-dimensional datasets remains challenging due to the inherent limitations of genetic programming (GP), the search algorithm of most symbolic regression (SR) methods. Contrary to GP, the NN approach to SR offers scalability to high-dimensional inputs and leverages gradient methods for faster equation searching. Common ways of constraining expression complexity often involve multistage pruning with fine-tuning, which can result in significant performance loss. In this work, we propose S y m b o l N e t , a NN approach to SR specifically designed as a model compression technique, aimed at enabling low-latency inference for high-dimensional inputs on custom hardware such as FPGAs. This framework allows dynamic pruning of model weights, input features, and mathematical operators in a single training process, where both training loss and expression complexity are optimized simultaneously. We introduce a sparsity regularization term for each pruning type, which can adaptively adjust its strength, leading to convergence at a target sparsity ratio. Unlike most existing SR methods that struggle with datasets containing more than O ( 10 ) inputs, we demonstrate the effectiveness of our model on the LHC jet tagging task (16 inputs), MNIST (784 inputs), and SVHN (3072 inputs).

Tsoi, Ho Fung (ORCID:0000000225502184)↗

Trajectory optimization for an asymmetric launch vehicle

A numerical optimization technique is used to fully automate the trajectory design process for an symmetric configuration of the proposed Advanced Launch System (ALS). The objective of the ALS trajectory design process is the maximization of the vehicle mass when it reaches the desired orbit. The trajectories used were based on a simple shape that could be described by a small set of parameters. The use of a simple trajectory model can significantly reduce the computation time required for trajectory optimization. A predictive simulation was developed to determine the on-orbit mass given an initial vehicle state, wind information, and a set of trajectory parameters. This simulation utilizes an idealized control system to speed computation by increasing the integration time step. The conjugate gradient method is used for the numerical optimization of on-orbit mass. The method requires only the evaluation of the on-orbit mass function using the predictive simulation, and the gradient of the on-orbit mass function with respect to the trajectory parameters. The gradient is approximated with finite differencing. Prelaunch trajectory designs were carried out using the optimization procedure. The predictive simulation is used in flight to redesign the trajectory to account for trajectory deviations produced by off-nominal conditions, e.g., stronger than expected head winds.

Sullivan, Jeanne Marie↗

Martian Aerocapture Terminal Point Guidance: A Reference Path Optimization Study

An effective method of terminal point guidance is to employ influence coefficients, which are solved from a set of differential equations adjoint to the linearized perturbations of the equations of motion about a reference trajectory. Hence, to optimize this type of guidance, one must first optimize the reference trajectory that the guidance is based upon. This study concentrates on various methods to optimize a reference trajectory for a Martian aerocapture maneuver, including a parametric analysis and first order gradient method. Resulting reference trajectories were tested in separate 2000 6-DOF Monte Carlo runs, using the Atmospheric Guidance Algorithm Testbed for the Mars Surveyor Program 2001 (MSP '01) Orbiter. These results were compared to an August 1998 study using the same terminal point control guidance algorithm and simulation testbed. Satisfactory improvements over the 1998 study are amply demonstrated.

Ro, Theodore U.↗

Algorithms for Mathematical Programming with Emphasis on Bi-level Models (Final Scientific/Technical Report)

The research supported by this grant was focused primarily on first-order methods for solving large scale and structured convex optimization problems and convex relaxations of nonconvex problems. These include optimal gradient methods, operator and variable splitting methods, alternating direction augmented Lagrangian methods, and block coordinate descent methods.

97 MATHEMATICS AND COMPUTING↗

High-performance equation solvers and their impact on finite element analysis

The role of equation solvers in modern structural analysis software is described. Direct and iterative equation solvers which exploit vectorization on modern high-performance computer systems are described and compared. The direct solvers are two Cholesky factorization methods. The first method utilizes a novel variable-band data storage format to achieve very high computation rates and the second method uses a sparse data storage format designed to reduce the number of operations. The iterative solvers are preconditioned conjugate gradient methods. Two different preconditioners are included; the first uses a diagonal matrix storage scheme to achieve high computation rates and the second requires a sparse data storage scheme and converges to the solution in fewer iterations that the first. The impact of using all of the equation solvers in a common structural analysis software system is demonstrated by solving several representative structural analysis problems.

Poole, Eugene L.↗

High-performance equation solvers and their impact on finite element analysis

The role of equation solvers in modern structural analysis software is described. Direct and iterative equation solvers which exploit vectorization on modern high-performance computer systems are described and compared. The direct solvers are two Cholesky factorization methods. The first method utilizes a novel variable-band data storage format to achieve very high computation rates and the second method uses a sparse data storage format designed to reduce the number od operations. The iterative solvers are preconditioned conjugate gradient methods. Two different preconditioners are included; the first uses a diagonal matrix storage scheme to achieve high computation rates and the second requires a sparse data storage scheme and converges to the solution in fewer iterations that the first. The impact of using all of the equation solvers in a common structural analysis software system is demonstrated by solving several representative structural analysis problems.

Poole, Eugene L.↗

Variational approaches to CFD: Applications to potential Euler and Navier-Stokes equations

Flow simulations based on variational techniques are discussed. Variational techniques are applied for the problem formulation, for the construction of discrete schemes, and for the solution procedures. Inviscid transonic flows, as well as viscous incompressible and compressible flows, are analyzed by several methods. Variational techniques to solve the discrete systems of equations are well known. The most popular one is the conjugate gradient method. Extensions to nonsymmetric and nonpositive definite systems were under investigation for the last two decades. Variational techniques were used for convergence acceleration of iterative procedures. Some of these ideas based on recent work are examined. The lectures are organized in three parts including numerical simulation of inviscid as well as viscous incompressible and compressible flows.

Hafez, M.↗

Communication-avoiding optimization methods for distributed massive-scale sparse inverse covariance estimation

Across a variety of scientific disciplines, sparse inverse covariance estimation is a popular tool for capturing the underlying dependency relationships in multivariate data. Unfortunately, most estimators are not scalable enough to handle the sizes of modern high-dimensional data sets (often on the order of terabytes), and assume Gaussian samples. To address these deficiencies, we introduce HP-CONCORD, a highly scalable optimization method for estimating a sparse inverse covariance matrix based on a regularized pseudolikelihood framework, without assuming Gaussianity. Our parallel proximal gradient method uses a novel communication-avoiding linear algebra algorithm and runs across a multi-node cluster with up to 1k nodes (24k cores), achieving parallel scalability on problems with up to ≈819 billion parameters (1.28 million dimensions); even on a single node, HP-CONCORD demonstrates scalability, outperforming a state-of-the-art method. We also use HP-CONCORD to estimate the underlying dependency structure of the brain from fMRI data, and use the result to identify functional regions automatically. The results show good agreement with a clustering from the neuroscience literature.

97 MATHEMATICS AND COMPUTING↗

Communication-Avoiding Optimization Methods for Distributed Massive-Scale Sparse Inverse Covariance Estimation.

Across a variety of scientific disciplines, sparse inverse covariance estimation is a popular tool for capturing the underlying dependency relationships in multivariate data. Unfortunately, most estimators are not scalable enough to handle the sizes of modern high-dimensional data sets (often on the order of terabytes), and assume Gaussian samples. To address these deficiencies, we introduce HP-CONCORD, a highly scalable optimization method for estimating a sparse inverse covariance matrix based on a regularized pseudolikelihood framework, without assuming Gaussianity. Our parallel proximal gradient method uses a novel communication-avoiding linear algebra algorithm and runs across a multi-node cluster with up to 1k nodes (24k cores), achieving parallel scalability on problems with up to ~819 billion parameters (1.28 million dimensions); even on a single node, HP-CONCORD demonstrates scalability, outperforming a state-of-the-art method. We also use HP-CONCORD to estimate the underlying dependency structure of the brain from fMRI data, and use the result to identify functional regions automatically. The results show good agreement with a clustering from the neuroscience literature.

Koanantakool, Penporn↗

Model-Free Primal-Dual Methods for Network Optimization with Application to Real-Time Optimal Power Flow

This paper examines the problem of real-time optimization of networked systems and develops online algorithms that steer the system towards the optimal trajectory without explicit knowledge of the system model. The problem is modeled as a dynamic optimization problem with time-varying performance objectives and engineering constraints. The design of the algorithms leverages the online zero-order primal-dual projected-gradient method. In particular, the primal step that involves the gradient of the objective function (and hence requires a networked systems model) is replaced by its zero-order approximation with two function evaluations using a deterministic perturbation signal. The evaluations are performed using the measurements of the system output, hence giving rise to a feedback interconnection, with the optimization algorithm serving as a feedback controller. The paper provides some insights on the stability and tracking properties of this interconnection. Finally, the paper applies this methodology to a real-time optimal power flow problem in power systems, and shows its efficacy on the IEEE 37-node distribution test feeder for reference power tracking and voltage regulation.

61 RADIATION PROTECTION AND DOSIMETRY↗

Model-Free Primal-Dual Methods for Network Optimization with Application to Real-Time Optimal Power Flow: Preprint

This paper examines the problem of real-time optimization of networked systems and develops online algorithms that steer the system towards the optimal trajectory without explicit knowledge of the system model. The problem is modeled as a dynamic optimization problem with time-varying performance objectives and engineering constraints. The design of the algorithms leverages the online zero-order primal-dual projected-gradient method. In particular, the primal step that involves the gradient of the objective function (and hence requires networked systems model) is replaced by its zero-order approximation with two function evaluations using a deterministic perturbation signal. The evaluations are performed using the measurements of the system output, hence giving rise to a feedback interconnection, with the optimization algorithm serving as a feedback controller. The paper provides some insights on the stability and tracking properties of this interconnection. Finally, the paper applies this methodology to a real-time optimal power flow problem in power systems, and shows its efficacy on the IEEE 37-node distribution test feeder for reference power tracking and voltage regulation.

61 RADIATION PROTECTION AND DOSIMETRY↗

Scattering of impact wave by a crack in composite plate

The surface responses due to impact load on an infinite uniaxial graphite/epoxy plate with and without delamination cracks are investigated both in time and frequency domain by using a hybrid method combining the finite element discretization of the near-field with boundary integral representation of the field outside a contour enclosing completely the crack. This combined method leads to a set of linear unsymmetric complex matrix equations which are solved to obtain the response in the frequency domain by biconjugate gradient method. The time domain response is then obtained by using an FFT. In order to capture the time-domain characteristics accurately, high order finite elements have been used. Also, both the six node singular elements and eight node transition elements are used around the crack tips to model the crack-tip singularity. It is shown that from the numerical results for surface responses both depth and length of this crack can be identified.

Ju, T. H.↗

Plant physical defenses contribute to a latitudinal gradient in resistance to insect herbivory within a widespread perennial grass

Premise: Herbivore pressure can vary across the range of a species, resulting in different defensive strategies. If herbivory is greater at lower latitudes, plants may be better defended there, potentially driving a latitudinal gradient in defense. However, relationships that manifest across the entire range of a species may be confounded by differences within genetic subpopulations, which may obscure the drivers of these latitudinal gradients. Methods: We grew plants of the widespread perennial grass Panicum virgatum in a common garden that included genotypes from three genetic subpopulations spanning an 18.5° latitudinal gradient. We then assessed defensive strategies of these plants by measuring two physical resistance traits—leaf mass per area (LMA) and leaf ash, a proxy for silica—and multiple measures of herbivory by caterpillars of the generalist herbivore fall armyworm (Spodoptera frugiperda). Results: Across all genetic subpopulations, low-latitude plants experienced less herbivory than high-latitude plants. Within genetic subpopulations, however, this relationship was inconsistent—the most widely distributed and phenotypically variable subpopulation (Atlantic) exhibited more consistent latitudinal trends than either of the other two subpopulations. The two physical resistance traits, LMA and leaf ash, were both highly heritable and positively associated with resistance to different measures of herbivory across all subpopulations, indicating their importance in defense against herbivores. Again, however, these relationships were inconsistent within subpopulations. Conclusions: Defensive gradients that occur across the entire species range may not arise within localized subpopulations. Thus, identifying the drivers of latitudinal gradients in herbivory defense may depend on adequately sampling the diversity within a species.

09 BIOMASS FUELS↗

UltraSail CubeSat Solar Sail Flight Experiment

UltraSail is a next-generation, highrisk, high-payoff sail system for the launch, deployment, stabilization, and control of very large (km2 class) solar sails enabling high payload mass fractions for interplanetary and deep space spacecraft. UltraSail is a non-traditional approach to propulsion technology achieved by combining propulsion and control systems developed for formation- flying microsatellites with an innovative solar sail architecture to achieve controllable sail areas approaching 1 km2, sail subsystem area densities approaching 1 g/m2, and thrust levels many times those of ion thrusters used for comparable deep space missions. UltraSail can achieve outer planetary rendezvous, a deep-space capability now reserved for high-mass nuclear and chemical systems. There is a twofold rationale behind the UltraSail concept for advanced solar sail systems. The first is that sail-andboom systems are inherently size-limited. The boom mass must be kept small, and column buckling limits the boom length to a few hundred meters. By eliminating the boom, UltraSail not only offers larger sail area, but also lower areal density, allowing larger payloads and shorter mission transit times. The second rationale for UltraSail is that sail films present deployment handling difficulties as the film thickness approaches one micrometer. The square sail requires that the film be folded in two directions for launch, and similarly unfolded for deployment. The film is stressed at the intersection of two folds, and this stress varies inversely with the film thickness. This stress can cause the film to yield, forming a permanent crease, or worse, to perforate. By rolling the film as UltraSail does, creases are prevented. Because the film is so thin, the roll thickness is small. Dynamic structural analysis of UltraSail coupled with dynamic control analysis shows that the system can be designed to eliminate longitudinal torsional waves created while controlling the pitch of the blades, while using solar photon pressure to slew the spin axis. Vacuum tests have also verified that electrostatic and molecular adhesion forces can substantially be eliminated by making the film electrically conductive, reducing the peel force of the film off the storage roll to levels of 100s of micro-N. The innovation demonstrated the capability of deploying a six-micron aluminum- coated film from a reel through a slit in vacuum. The innovation also demonstrated a spin-stabilized method for deploying a long reel of solar sail film using solar pressure to spin-up and orbit raise the satellite, and also a gravity gradient method for deploying a long reel of solar sail film using solar pressure to orbit raise the satellite. The solar sail mass fraction of 25% is consistent with high specific impulse ion systems, but without the added weight and cost of a power source and processing unit. The large sail area, coupled with low film density, is giving UltraSail a high payload fraction. The UltraSail deployment scheme unrolls a micrometerscale reflection-coated polyimide film from a storage mandrel to a maximum length of several kilometers with the aid of a blade tip satellite.

Carroll, David↗

A Case Study of the Weather Research and Forecasting Model Applied to the Joint Urban 2003 Tracer Field Experiment. Part 1. Wind and Turbulence

We found that numerical-weather-prediction models are often used to supply the mean wind and turbulence fields for atmospheric transport and dispersion plume models as they provide dense horizontally- and vertically-resolved geographic coverage in comparison to typically sparse monitoring networks. Here, the Weather Research and Forecasting (WRF) model was run over the month-long period of the Joint Urban 2003 field campaign conducted in Oklahoma City and the simulated fields important to transport and dispersion models were compared to measurements from a number of sodars, tower-based sonic anemometers, and balloon soundings located in the greater metropolitan area. Time histories of computed wind speed, wind direction, turbulent kinetic energy (e), friction velocity (u* ), and reciprocal Obukhov length (1 / L) were compared to measurements over the 1-month field campaign. Vertical profiles of wind speed, potential temperature (θ ), and e were compared during short intensive operating periods. The WRF model was typically able to replicate the measured diurnal variation of the wind fields, but with an average absolute wind direction and speed difference of 35° and 1.9 m s -1 , respectively. Then, using the Mellor-Yamada-Janjic (MYJ) surface-layer scheme, the WRF model was found to generally underpredict surface-layer TKE but overpredict u* that was observed above a suburban region of Oklahoma City. The TKE-threshold method used by the WRF model’s MYJ surface-layer scheme to compute the boundary-layer height (h) consistently overestimated h derived from a θ gradient method whether using observed or modelled θ profiles.

54 ENVIRONMENTAL SCIENCES↗