Search NASA⌕ Search

SEARCH · Search NASA

Results for “inverse problem solving”

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 217 records · Page 12

Development of inverse inviscid transonic solution methods

A numerical method suitable for the analysis and/or design of supercritical transonic airfoils is reported. In order to achieve accuracy, the method utilizes the full inviscid potential flow equations; and in order to remain simple it solves the problem in a stretched Cartesian grid system. The resulting computer program has several advantages over others of its type -- its use in either the direct analysis mode in which the airfoil shape is prescribed and the flow field and surface pressures are determined, or in the inverse mode in which the surface pressures are given and the airfoil shape and flow field are computed. Other advantages of the program include its use in a design program, the rotated finite difference scheme and its determination of the airfoil shape simultaneously with the flow field relaxation solution.

Carlson, L. A.↗

Exact finite element method analysis of viscoelastic tapered structures to transient loads

A general method is presented for determining the dynamic torsional/axial response of linear structures composed of either tapered bars or shafts to transient excitations. The method consists of formulating and solving the dynamic problem in the Laplace transform domain by the finite element method and obtaining the response by a numerical inversion of the transformed solution. The derivation of the torsional and axial stiffness matrices is based on the exact solution of the transformed governing equation of motion, and it consequently leads to the exact solution of the problem. The solution permits treatment of the most practical cases of linear tapered bars and shafts, and employs modeling of structures with only one element per member which reduces the number of degrees of freedom involved. The effects of external viscous or internal viscoelastic damping are also taken into account.

Spyrakos, Constantine Chris↗

Calculation of fully three-dimensional separated flow with an unsteady viscous-inviscid interaction method

Three previous papers have shown that the viscous inviscid numerical methods were capable of calculating separated turbulent flows. The 'Semi-inverse method' and the models of the first author allow the computation of massive separations, stalled flows, and shock wave-boundary layer interactions, in two-dimensional or quasi-three-dimensional conditions, from low speeds to supersonic speeds. The 'Semi-implicit' method for time-consistent coupling allows for the computation of time-accurate transonic separated flow and buffer computations in two-dimensions. The present paper shows that the viscous-inviscid interaction approach is also able to compute the fully three-dimensional flow separation phenomena. The method is based on a thin-layer approximation of the theory of 'Defect-Formulation' that provides the viscous-inviscid splitting of the Navier-Stokes equations. A parametric analytical modelling of the 3D-turbulent velocity profiles is involved. Numerically, the 3D-velocity profiles are discretized in the normal z-direction and driven by parametric integral 3D-equations in direct or inverse modes in the x-direction. The viscous-inviscid coupling is fully 3D and solved the time-consistency problem with an extension of the 'Semi-implicit' method previously suggested in two-dimensions. A 3D inviscid subroutine with TSP approximation is used. Results are obtained for transonic steady flows over wings with shock-induced transonic separation. The method provides results for highly three-dimensional flow separations, such as induced by a three-dimensional through at the wall of a flat plate. The 3D viscous-inviscid coupling and the 3D model of the velocity field provide three-dimensional instantaneous skin-friction lines whose patterns exhibit the same complex topology as Navier-Stokes solvers, with foci, nodes, and saddle-points.

Leballeur, J. C.↗

A Comparison of Control Allocation Methods in the Presence of Parametric Model Uncertainty

When allocating redundant effectors to virtual control commands, linear (generalized inverse) allocators have historically been used on aircraft and spacecraft. While simple to implement, generalized inverses are unable to realize a significant portion of the attainable moments. To address this drawback, the control allocation problem can also be formulated as a linear programming or quadratic programming problem and solved using convex optimization based solvers. These approaches have been shown to access a larger set of attainable moments, however, little work has been done to understand the performance of convex optimization-based control allocation in the presence of parametric model uncertainty. This paper seeks to compare the performance of several control allocation approaches, including two forms of generalized inverse allocators, the pseudo inverse and minimum-variance, and the linear programming and quadratic programming approach in the presence of parametric model uncertainty. The performance of these four allocators were tested on an aircraft model in the presence of realistic parametric model uncertainty and the convex optimization approaches were shown to outperform the generalized inverses.

Luke J Miller↗

An improved Newton iteration for the generalized inverse of a matrix, with applications

The purpose here is to clarify and illustrate the potential for the use of variants of Newton's method of solving problems of practical interest on highly personal computers. The authors show how to accelerate the method substantially and how to modify it successfully to cope with ill-conditioned matrices. The authors conclude that Newton's method can be of value for some interesting computations, especially in parallel and other computing environments in which matrix products are especially easy to work with.

Pan, Victor↗

Interplanetary Trajectory Optimization with Powerlimited Propulsion Systems

A trajectory-optimization process is described in which the optimum­ thrust equations are derived using the calculus of variations. The mag­nitude of the thrust is constrained within an upper and a lower bound, but the thrust direction is arbitrary. This formulation allows both the constant-thrust program and the variable-thrust program to be con­sidered. For the constant-thrust program, certain propulsion-system parameters are optimized for maximum final vehicle mass. This theory has been used to study interplanetary missions to Venus and Mars using a power-limited propulsion system. Both one-way and round­ trip rendezvous trajectories are considered. The analysis employs a two-body inverse-square force-field model of three dimensions. An iterative routine used to solve the two-point boundary-value problem is described in the Appendix.

TRAJECTORY↗

Elastic lithosphere thickness on the moon from mare tectonic features - A formal inversion

The thickness (T) of the lunar elastic lithosphere at the time (3.6 to 3.8 billion years ago) of the earliest preserved basalt flows in circular mare basins can be estimated by inverting the observed locations of extensional tectonic features in and surrounding the maria. In performing the inversion, the lithosphere is modeled as an elastic shell with a liquid interior, and the basalt load for each mare is approximated by a set of concentric cylinders. To permit solving the forward problem of placing radial limits on the positions of the rilles around a given mare, an additional parameter F, the ratio of the radial stress at the radial limits to the maximum radial stress, is introduced. T and F are chosen to give the best weighted-squares fit of the radial limits to the observations, and are used as the initial values in a linearized matrix inversion to check the resolution and estimate errors. The application of the procedure to three maria with prominent extensional features, Humorum, Orientale, and Serenitatis, gives values of T from about 40 + or - 10 to 50 + or - 10 km, and in each case the linearized matrix equation has an exact inverse.

Comer, R. P.↗

Practical considerations in waverider applications

This paper proposes a practical perspective for waverider shapes with respect to their use in the commercial and military aerospace industry. Also, integration problems that must be considered when deriving these shapes for operational aircraft are discussed and general approaches to solving them are suggested. The inverse design methodology that is used to generate waverider geometries is discussed as a potentially powerful tool for the aerospace industry in the design of practical operational high-speed (Mach 4 to 25) aircraft. Further, it is suggested that unless this methodology proves to be a valuable tool in the near future, it will not likely find a customer in the aerospace industry and may become no more than an interesting academic study in aerodynamic optimization.

Stevens, Daniel R.↗

One-shot omnidirectional pressure integration through matrix inversion

In this work, we present a method to perform 2D and 3D omnidirectional pressure integration from velocity measurements with a single-iteration matrix inversion approach. This work builds upon our previous work, where the rotating parallel ray approach was extended to the limit of infinite rays by taking continuous projection integrals of the ray paths and recasting the problem as an iterative matrix inversion problem. This iterative matrix equation is now 'fast-forwarded' to the 'infinity' iteration, leading to a different matrix equation that can be solved in a single step, thereby presenting the same computational complexity as the Poisson equation. We observe computational speedups of ~10 6 when compared to brute-force omnidirectional integration methods, enabling the treatment of grids of ~10 9 points and potentially even larger in a desktop setup at the time of publication. Further examination of the boundary conditions of our one-shot method shows that omnidirectional pressure integration implements a boundary condition where the boundary points are treated as interior points to the extent that information is available. Finally, we show how the method can be extended from the regular grids typical of particle image velocimetry to the unstructured meshes characteristic of particle tracking velocimetry data.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Scientific machine learning for closure models in multiscale problems: A review

Here, closure problems are omnipresent when simulating multiscale systems, where some quantities and processes cannot be fully prescribed despite their effects on the simulation's accuracy. Recently, scientific machine learning approaches have been proposed as a way to tackle the closure problem, combining traditional (physics-based) modeling with data-driven (machine-learned) techniques, typically through enriching differential equations with neural networks. This paper reviews the different reduced model forms, distinguished by the degree to which they include known physics, and the different objectives of a priori and a posteriori learning. The importance of adhering to physical laws (such as symmetries and conservation laws) in choosing the reduced model form and choosing the learning method is discussed. The effect of spatial and temporal discretization and recent trends toward discretization-invariant models are reviewed. In addition, we make the connections between closure problems and several other research disciplines: inverse problems, Mori-Zwanzig theory, and multi-fidelity methods. In conclusion, much progress has been made with scientific machine learning approaches for solving closure problems, but many challenges remain. In particular, the generalizability and interpretability of learned models is a major issue that needs to be addressed further.

97 MATHEMATICS AND COMPUTING↗

Visible-infrared remote-sensing model and applications for ocean waters

Remote sensing has become important in the ocean sciences, especially for research involving large spatial scales. To estimate the in-water constituents through remote sensing, whether carried out by satellite or airplane, the signal emitted from beneath the sea surface, the so called water-leaving radiance (L(w)), is of prime importance. The magnitude of L(w) depends on two terms: one is the intensity of the solar input, and the other is the reflectance of the in-water constituents. The ratio of the water-leaving radiance to the downwelling irradiance (E(d)) above the sear surface (remote-sensing reflectance, R(sub rs)) is independent of the intensity of the irradiance input, and is largely a function of the optical properties of the in-water constituents. In this work, a model is developed to interpret r(sub rs) for ocean water in the visible-infrared range. In addition to terms for the radiance scattered from molecules and particles, the model includes terms that describe contributions from bottom reflectance, fluorescence of gelbstoff or colored dissolved organic matter (CDOM), and water Raman scattering. By using this model, the measured R(sub rs) of waters from the West Florida Shelf to the Mississippi River plume, which covered a (concentration of chlorophyll a) range of 0.07 - 50 mg/cu m, were well interpreted. The average percentage difference (a.p.d.) between the measured and modeled R(sub rs) is 3.4%, and, for the shallow waters, the model-required water depth is within 10% of the chart depth. Simple mathematical simulations for the phytoplankton pigment absorption coefficient (a(sub theta)) are suggested for using the R(sub rs) model. The inverse problem of R(sub rs), which is to analytically derive the in-water constituents from R(sub rs) data alone, can be solved using the a(sub theta) functions without prior knowledge of the in-water optical properties. More importantly, this method avoids problems associated with a need for knowledge of the shape and value of the chlorophyll-specific absorption coefficient. The simulation was tested for a wide range of water types, including waters from Monterey Bay, the West Florida Shelf, and the Mississippi River plume. Using the simulation, the R(sub rs)-derived in-water absorption coefficients were consistent with the values from in-water measurements (r(exp 2) greater than 0.94, slope approximately 1.0). In the remote-sensing applications, a new approach is suggested for the estimation of primary production based on remote sensing. Using this approach, the calculated primary production (PP) values based upon remotely sensed data were very close to the measured values for the euphotic zone (r(exp 2) = 0.95, slope 1.26, and 32% average difference), while traditional, pigment-based PP model provided values only one-third the size of the measured data. This indicates a potential to significantly improve the accuracy of the estimation of primary production based upon remote sensing.

Lee, Zhongping↗

Analysis of a closed-kinematic chain robot manipulator

Presented are the research results from the research grant entitled: Active Control of Robot Manipulators, sponsored by the Goddard Space Flight Center (NASA) under grant number NAG-780. This report considers a class of robot manipulators based on the closed-kinematic chain mechanism (CKCM). This type of robot manipulators mainly consists of two platforms, one is stationary and the other moving, and they are coupled together through a number of in-parallel actuators. Using spatial geometry and homogeneous transformation, a closed-form solution is derived for the inverse kinematic problem of the six-degree-of-freedom manipulator, built to study robotic assembly in space. Iterative Newton Raphson method is employed to solve the forward kinematic problem. Finally, the equations of motion of the above manipulators are obtained by employing the Lagrangian method. Study of the manipulator dynamics is performed using computer simulation whose results show that the robot actuating forces are strongly dependent on the mass and centroid locations of the robot links.

Nguyen, Charles C.↗

Users manual for the Variable dimension Automatic Synthesis Program (VASP)

A dictionary and some problems for the Variable Automatic Synthesis Program VASP are submitted. The dictionary contains a description of each subroutine and instructions on its use. The example problems give the user a better perspective on the use of VASP for solving problems in modern control theory. These example problems include dynamic response, optimal control gain, solution of the sampled data matrix Ricatti equation, matrix decomposition, and pseudo inverse of a matrix. Listings of all subroutines are also included. The VASP program has been adapted to run in the conversational mode on the Ames 360/67 computer.

White, J. S.↗

A study of non-unique solutions of the two-dimensional boundary layer equations at laminar separation and reattachment points

Nonunique laminar boundary layer equation solutions in direct problem calculations are identified for the case of accelerating flow. As a separation or reattachment point is approached, the multiple solutions approach each other and become identical. The computer code used to generate these results was developed for the solution of compressible, laminar or turbulent boundary layer, and free wake problems, in either direct or inverse mode. Similarity solutions in either a primitive variable or a stream function form are possible, and the resulting equations are solved by means of a modified Keller's Box scheme in which the energy equation and turbulence modeling equations are solved simultaneously with the continuity and momentum equations. Examples illustrating the nature of the solutions at the separation and reattachment points are presented.

Drela, M.↗

Kelvin-Helmholtz instability in an Alfven resonant layer of a solar coronal loop

A Kelvin-Helmholtz instability has been identified numerically on an azimuthally symmetric Alfven resonant layer in an axially bounded, straight cylindrical coronal loop. The set of equations is solved numerically as an initial value problem. The linear growth rate of this instability is shown to be approximately proportional to the Alfven driving amplitude and inversely proportional to the width of the Alfven resonant layer. It is also shown that the linear growth rate increases linearly with m - 1 up to a certain m, reaches its maximum value for the mode whose half wavelength is comparable to the Alfven resonant layer width, and decreases at higher azimuthal mode number.

Uchimoto, E.↗

Termination Proofs for String Rewriting Systems via Inverse Match-Bounds

Annotating a letter by a number, one can record information about its history during a reduction. A string rewriting system is called match-bounded if there is a global upper bound to these numbers. In earlier papers we established match-boundedness as a strong sufficient criterion for both termination and preservation of regular languages. We show now that the string rewriting system whose inverse (left and right hand sides exchanged) is match-bounded, also have exceptional properties, but slightly different ones. Inverse match-bounded systems effectively preserve context-free languages; their sets of normalized strings and their sets of immortal strings are effectively regular. These sets of strings can be used to decide the normalization, the termination and the uniform termination problems of inverse match-bounded systems. We also show that the termination problem is decidable in linear time, and that a certain strong reachability problem is deciable, thus solving two open problems of McNaughton's.

Butler, Ricky↗

Totally parallel multilevel algorithms for sparse elliptic systems

The fastest known algorithms for the solution of a large elliptic boundary value problem on a massively parallel hypercube all require O(log(n)) floating point operations and O(log(n)) distance-1 communications, if massively parallel is defined to mean a number of processors proportional to the size n of the problem. The Totally Parallel Multilevel Algorithm (TPMA) that has, as special cases, four of these fast algorithms is described. These four algorithms are Parallel Superconvergent Multigrid (PSMG), Robust Multigrid, the Fast Fourier Transformation (FFT) based Spectral Algorithm, and Parallel Cyclic Reduction. The algorithm TPMA, when described recursively, has four steps: (1) project to a collection of interlaced, coarser problems at the next lower level; (2) apply TPMA, recursively, to each of these lower level problems, solving directly at the lowest level; (3) interpolate these approximate solutions to the finer grid, and to verage them to form an approximate solution on this grid; and (4) refine this approximate solution with a defect-correction step, using a local approximate inverse. Choice of the projection operator (P), the interpolation operator (Q), and the smoother (S) determines the class of problems on which TPMA is most effective. There are special cases in which the first three steps produce an exact solution, and the smoother is not needed (e.g., constant coefficient operators).

Frederickson, Paul O.↗

An inverse method for computation of structural stiffness distributions of aeroelastically optimized wings

An inverse method has been developed to compute the structural stiffness properties of wings given a specified wing loading and aeroelastic twist distribution. The method directly solves for the bending and torsional stiffness distribution of the wing using a modal representation of these properties. An aeroelastic design problem involving the use of a computational aerodynamics method to optimize the aeroelastic twist distribution of a tighter wing operating at maneuver flight conditions is used to demonstrate the application of the method. This exercise verifies the ability of the inverse scheme to accurately compute the structural stiffness distribution required to generate a specific aeroelastic twist under a specified aeroelastic load.

Schuster, David M.↗