Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematical Computing”

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 1,153 records · Page 64
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Basic Research Needs for Inverse Methods for Complex Systems under Uncertainty

Inverse problems, which aim to infer unknown properties of a system using experimental and observational data, are central to addressing many of the U.S. Department of Energy’s (DOE) most critical scientific and engineering challenges. Accurate, computationally efficient, and data-efficient solutions to inverse problems are essential for advancing DOE mission-critical science drivers, including analyzing data from large-scale experimental facilities, optimizing fusion reactor performance, accelerating materials discovery, enhancing geophysical imaging, improving wildfire predictions, and enabling autonomous systems and digital twins. However, these problems are becoming increasingly complex, often involving nonlinear, highdimensional, and interconnected systems and models that span multiple physics and scales, while relying on data with varying quantity, quality, and information content. Compounding these challenges is the uncertainty inherent in DOE-relevant systems, where errors in inputs, noise in data, incompleteness of data, and discrepancies between models and reality constrain the accuracy and precision of solutions. At the same time, the convergence of recent scientific computing trends—scientific machine learning, artificial intelligence, and computing advances such as exascale computing—is creating unprecedented opportunities for tackling these challenges. The cross-cutting nature of inverse problems, combined with their growing complexity and rapidly evolving data and algorithmic demands, strongly motivates the formulation of a prioritized research agenda to maximize their capabilities and impact. In response to this need, DOE’s Advanced Scientific Computing Research (ASCR) program in the Office of Science convened the Workshop on Basic Research Needs for Inverse Problems for Complex Systems Under Uncertainty in June 2025. This workshop brought together experts across disciplines to identify grand challenges and major opportunities in the field. Through collaborative discussions, the workshop defined transformative research directions aimed at addressing the mathematical, statistical, and computational challenges posed by inverse problems under uncertainty. As a result of these efforts, four priority research directions (PRDs) were identified to guide future research and development in this area. These PRDs, summarized below, represent a roadmap for advancing the foundational science and mathematics of inverse problems, enabling robust, scalable, and uncertainty-aware solutions that are critical for DOE applications.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2017

On mechanical waves and Doppler shifts from moving boundaries

We investigate the propagation of infinitesimal harmonic mechanical waves emitted from a boundary with variable velocity and arriving at a stationary observer. In the classical Doppler effect, X s (t)=vt is the location of the source with constant velocity v. In the present work, however, we consider a source co-located with a moving boundary x=X s (t), where X s (t) can have an arbitrary functional form. For ‘slowly moving’ boundaries (i.e., ones for which the timescale set by the mechanical motion is large in comparison to the inverse of the frequency of the emitted wave), we present a multiple-scale asymptotic analysis of the moving boundary problem for the linear wave equation. Here, we obtain a closed-form leading-order (with respect to the latter small parameter) solution and show that the variable velocity of the boundary results not only in frequency modulation but also in amplitude modulation of the received signal. Consequently, our results extend the applicability of two basic tenets of the theory of a moving source on a stationary domain, specifically that (i) $.\atop{x}_s$ for non-uniform boundary motion can be inserted in place of the constant velocity v in the classical Doppler formula and (ii) that the non-uniform boundary motion introduces variability in the amplitude of the wave. The specific examples of decelerating and oscillatory boundary motion are worked out and illustrated.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2013

Optimal Portfolio Selection Under Concave Price Impact

In this paper we study an optimal portfolio selection problem under instantaneous price impact. Based on some empirical analysis in the literature, we model such impact as a concave function of the trading size when the trading size is small. The price impact can be thought of as either a liquidity cost or a transaction cost, but the concavity nature of the cost leads to some fundamental difference from those in the existing literature. We show that the problem can be reduced to an impulse control problem, but without fixed cost, and that the value function is a viscosity solution to a special type of Quasi-Variational Inequality (QVI). We also prove directly (without using the solution to the QVI) that the optimal strategy exists and more importantly, despite the absence of a fixed cost, it is still in a 'piecewise constant' form, reflecting a more practical perspective.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

On implicit abstract neutral nonlinear differential equations

In this paper we continue our developments in Hernández and O’Regan (J Funct Anal 261:3457–3481, 2011) on the existence of solutions for abstract neutral differential equations. In particular we extend the results in Hernández and O’Regan (J Funct Anal 261:3457–3481, 2011) for the case of implicit nonlinear neutral equations and we focus on applications to partial “nonlinear” neutral differential equations. Some applications involving partial neutral differential equations are presented.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

PDE-constrained high-order mesh optimization

Here, we present a novel framework for PDE-constrained r-adaptivity of high-order meshes. The proposed method formulates mesh movement as an optimization problem, with an objective function defined as a convex combination of a mesh quality metric and a measure of the accuracy of the PDE solution obtained via finite element discretization. The proposed formulation achieves optimized, well-defined high-order meshes by integrating mesh quality control, PDE solution accuracy, and robust gradient regularization. We adopt the Target-Matrix Optimization Paradigm to control geometric properties across the mesh, independent of the PDE of interest. To incorporate the accuracy of the PDE solution, we introduce error measures that control the finite element discretization error. The implicit dependence of these error measures on the mesh nodal positions is accurately captured by adjoint sensitivity analysis. Additionally, a convolution-based gradient regularization strategy is used to ensure stable and effective adaptation of high-order meshes. We demonstrate that the proposed framework can improve mesh quality and reduce the error by up to 10 times for the solution of Poisson and linear elasto-static problems. The approach is general with respect to the dimensionality, the order of the mesh, the types of mesh elements, and can be applied to any PDE that admits well-defined adjoint operators.

Computer science↗
DOE OSTI2018

Structures Computable in Polynomial Time. II

We consider a new approach to investigating categoricity of structures computable in polynomial time. The approach is based on studying polynomially computable stable relations. It is shown that this categoricity is equivalent to the usual computable categoricity for computable Boolean algebras with computable set of atoms, and for computable linear orderings with computable set of adjacent pairs. Examples are constructed which show that this does not always hold. We establish a connection between dimensions based on computable and polynomially computable stable relations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Representation of Solutions of Systems of Linear Differential Equations with Multiple Delays and Linear Parts Given by Nonpermutable Matrices

In recent results on representation of the solutions of systems of delayed differential equations, the condition that the linear parts are given by pairwise permutable matrices was assumed. We show how this strong condition can be avoided and derive a representation of solutions of systems of differential equations with nonconstant coefficients and variable delays. The results are applied to a system with two constant delays. In addition, the nonexistence of blow-up solutions is proved for nonlinear systems.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Qualitative Properties of Solutions to Elliptic Equations with Nonpower Nonlinearities in ℝ{sub n}

We consider a class of anisotropic elliptic equations with nonpower nonlinearities. We establish the existence of a solution in the local Sobolev–Orlicz spaces without conditions on the data growth at infinity. We find sufficient uniqueness conditions, obtain estimates characterizing the behavior of the solution at infinity, and prove the continuous dependence of the solution on the right-hand side of the equation.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

The Hurwitz Product, p-Adic Topology on ℤ, and Fundamental Solution to Linear Differential Equation in the Ring ℤ[[x]]

We study the linear inhomogeneous first order differential equation by′ + f(x) = y in the ring of formal power series with integer coefficients. Using the p-adic topology on the ring of integers, we construct a counterpart of the Hurwitz product of the Euler series and an arbitrary formal power series with integer coefficients. It is shown that the Euler series can be interpreted as the fundamental solution to the equation under consideration. Bibliography: 8 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Properties of Some Extensions of the Quadratic Form of the Vector Laplace Operator

We consider the action of the quadratic form of the Laplace operator and its extensions in subspaces of linear combinations of the “transverse” and “longitudinal” functions with the fixed orbital momentum with respect to the coordinate origin. In the statement of the problem, it is required that the extensions obtained, after the transfer back to the space of vector functions, can be represented as simple limit expressions with two coefficients. We study the behavior of these coefficients with respect to the initial choice of the linear subspace. Bibliography: 5 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Generators for Spaces of Entire Functions with a System of Weighted Estimates

We consider spaces of entire functions with systems of weighted estimates. The case of twoterm weight sequences consisting of radial and nonradial components is studied. Under some assumptions on the weight sequence, we obtain a complete description of generators in these spaces. We apply this result to the problem of normal solvability of systems of convolution equations in the Roumieu spaces of ultradifferentiable functions and, as a particular case, in Gevrey classes.

97 MATHEMATICS AND COMPUTING↗