Applications of alternative problems
Solution to equations in function space relating linear operator defined in subspace of Banach space and linear or nonlinear operator
SEARCH · Search NASA
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.
Solution to equations in function space relating linear operator defined in subspace of Banach space and linear or nonlinear operator
The purpose of this paper is to show that most existing methods for the calculation of fluid flows can be interpreted as special applications of a single mathematical formalism. This formalism, called the generalized Galerkin method, then provides a single conceptual framework for comparing various methods in terms of convergence and accuracy. The method is presented in sufficient mathematical detail to permit its interpretation as a projection in function space. In order to demonstrate the basic thesis, finite difference, finite element, strip integral, and classical integral methods of boundary layer theory are developed by application of the method.
In-flight estimation of large structure model errors is usually required as a means of detecting inevitable deficiencies in large structure controller/estimator models. The present paper deals with a least-squares formulation which seeks to minimize a quadratic functional of the model errors. The properties of these error estimates are analyzed. It is shown that an arbitrary model error can be decomposed as the sum of two components that are orthogonal in a suitably defined function space. Relations between true and estimated errors are defined. The estimates are found to be approximations that retain many of the significant dynamics of the true model errors. Current efforts are directed toward application of the analytical results to a reference large structure model.
The theory of stochastic partial differential equations (PDEs) and problems relating to turbulence are discussed by employing the theories of Brownian motion and diffusion in infinite dimensions, functional differential equations, and functional integration. Relevant results in probablistic analysis, especially Gaussian measures in function spaces and the theory of stochastic PDEs of Ito type, are taken into account. Linear stochastic PDEs are analyzed through linearized Navier-Stokes equations with a random forcing. Stochastic equations for waves in random media as well as model equations in turbulent transport theory are considered. Markovian models in fully developed turbulence are discussed from a stochastic equation viewpoint.
It is found that under mild assumptions, feedback system stability can be concluded if one can 'topologically separate' the infinite-dimensional function space containing the system's dynamical input-output relations into two regions, one region containing the dynamical input-output relation of the 'feedforward' element of the system and the other region containing the dynamical output-input relation of the 'feedback' element. Nonlinear system stability criteria of both the input-output type and the state-space (Liapunov) type are interpreted in this context. The abstract generality and conceptual simplicity afforded by the topological separation perspective clarifies some of the basic issues underlying stability theory and serves to suggest improvements in existing stability criteria. A generalization of Zames' (1966) conic-relation stability criterion is proved, laying the foundation for improved multivariable generalizations of the frequency-domain circle stability criterion for nonlinear systems.
The numerical simulation of the transonic flows of idealized fluids and of incompressible viscous fluids, by the nonlinear least squares methods is presented. The nonlinear equations, the boundary conditions, and the various constraints controlling the two types of flow are described. The standard iterative methods for solving a quasi elliptical nonlinear equation with partial derivatives are reviewed with emphasis placed on two examples: the fixed point method applied to the Gelder functional in the case of compressible subsonic flows and the Newton method used in the technique of decomposition of the lifting potential. The new abstract least squares method is discussed. It consists of substituting the nonlinear equation by a problem of minimization in a H to the minus 1 type Sobolev functional space.
Using a geometric growth condition, both the function space and Euclidean controllability of a nonlinear delay system which has a compact and convex control set are characterized. This extends analogous results for ordinary differential systems, and it yields conditions under which perturbed nonlinear delay controllable systems are controllable.
A theory for obtaining approximate solutions to nonlinear problems whose exact solutions require the use of large computational procedures is described. The technique represents in some respects a generalization of the method of base and comparison solutions for flows depending on a parameter. For the generalized problem, the input variable is no longer a parameter but a function that is incremented over its entire domain. After performing calculations for a base configuration and a small number of variations of it, solutions for a large class of configurations can be obtained by forming linear combinations of the solution increments. For a restricted class of problems, approximate solutions can be obtained for general variations of a base configuration by using a function-space derivative estimate obtained from a base solution and a single variation.
Approximation techniques for estimating spatially varying coefficients and unknown boundary parameters in second order hyperbolic systems are discussed. Methods for state approximation (cubic splines, tau-Legendre) and approximation of function space parameters (interpolatory splines) are outlined and numerical findings for use of the resulting schemes in model "one dimensional seismic inversion' problems are summarized.
This paper outlines methods for modeling, identification and estimation for static determination of flexible structures. The shape estimation schemes are based on structural models specified by (possibly interconnected) elliptic partial differential equations. The identification techniques provide approximate knowledge of parameters in elliptic systems. The techniques are based on the method of maximum-likelihood that finds parameter values such that the likelihood functional associated with the system model is maximized. The estimation methods are obtained by means of a function-space approach that seeks to obtain the conditional mean of the state given the data and a white noise characterization of model errors. The solutions are obtained in a batch-processing mode in which all the data is processed simultaneously. After methods for computing the optimal estimates are developed, an analysis of the second-order statistics of the estimates and of the related estimation error is conducted. In addition to outlining the above theoretical results, the paper presents typical flexible structure simulations illustrating performance of the shape determination methods.
An initial assessment of the feasibility of a function space gradient method for computing solutions to minimum-fuel power-limited transfers encompassing a wide range of thrust to weight ratios is conducted. Three transfers between coplanar ellipses are used as test cases. The gradient method performs best at the high end of the thrust to weight ratio range. At the lower end, there is reduced sensitivity of the fuel consumption to the control profiles. The minimum fuel consumption and the trajectory are computed quite accurately but the control profiles are in error. An approximate analytical solution, obtained by Edelbaum using the method of averaging, is discussed.
By an ansatz of a finite set of N superimposed oscillations, observatory time series are fitted. This start model is optimized for the independence of the used 2N-dimensional functional system as a criterion. Here, the contributions of each of the dimensions to the volume of the corresponding 2N-dimensional parallelpiped of the functional space is to be evaluated. Independence and an equal standard for the constituents are achieved by the optimizing procedure varying the start values of frequencies in the fitting ansatz when quotients of successively constructed Gram-determinants are beyond a definite threshold and of nearly the same numerical value. Results for globally distributed observatories characterize the secular variation.
Many spacecraft missions in the next decade will require both a high degree of agility and precision pointing. Agility includes both rotational maneuvering for retargeting and translational motion for orbit adjustment and threat avoidance. The major challenge associated with such missions is the need for control over a wide range of amplitudes and frequencies, ranging from tens of degrees at less than 1 Hz to a few micron radians at hundreds of Hz. TRW's internally funded Precision Control of Agile Spacecraft (PCAS) project is concerned with developing and validating in hardware the tools necessary to successfully complete the combined agile maneuvering/precision pointing missions. Development has been undertaken on a number of fronts for quietly slewing flexible structures. Various methods for designing slew torque profiles have been investigated. Prime candidates for slew/settle scenarios include Inverse Dynamics and Parameterized Function Space. Joint work with Processor Bayo at the University of California, Santa Barbara and Professor Flashner at the University of Southern California has led to promising torque profile design methods. Active and passive vibration suppression techniques also play a key role for rapid slew/settle mission scenarios. Active members with local control loops and passive members with high loss factor viscoelastic material have been selected for hardware verification. Progress in each of these areas produces large gains in the quiet slewing of flexible spacecraft. The main thrust of the effort to date has been the development of a modular testbed for hardware validation of the precision control concepts. The testbed is a slewing eighteen foot long flexible truss. Active and passive members can be interchanged with the baseline aluminum members to augment the inherent damping in the system. For precision control the active members utilize control laws running on a high speed digital structural control processor. Tip and midspan motions of the truss are determined using optical sensors while accelerometers can be used to monitor the motions of other points of interest. Preliminary results indicate that a mix of technologies produces the greatest benefit. For example, shaping the torque profile produces large improvements in slew/settle performance, but without added damping settling times may still be excessive. With the introduction of moderate amounts of damping, slew/settle performance is vastly improved. On the other hand, introducing damping without shaping the torque profile may not yield the desired level of performance.
The Portable Habitat for Antarctic Scientific Research, PHASR, is designed as a versatile, general purpose habitat system that addresses the problem of functional space and environmental soundness in a partially fabric-covered shelter. PHASR is used for remote field site applications that can be quickly deployed. PHASR will also provide four scientists with a comfortable and efficient use of interior space. PHASR is a NASA/USRA Advanced Design Program project conducted at the University of Houston College of Architecture, Sasadawa International Center for Space Architecture (SICSA). This report is prepared for NASA/USRA.
RAPID is a methodology and software system to define a class of airplane configurations and directly evaluate surface grids, volume grids, and grid sensitivity on and about the configurations. A distinguishing characteristic which separates RAPID from other airplane surface modellers is that the output grids and grid sensitivity are directly applicable in CFD analysis. A small set of design parameters and grid control parameters govern the process which is incorporated into interactive software for 'real time' visual analysis and into batch software for the application of optimization technology. The computed surface grids and volume grids are suitable for a wide range of Computational Fluid Dynamics (CFD) simulation. The general airplane configuration has wing, fuselage, horizontal tail, and vertical tail components. The double-delta wing and tail components are manifested by solving a fourth order partial differential equation (PDE) subject to Dirichlet and Neumann boundary conditions. The design parameters are incorporated into the boundary conditions and therefore govern the shapes of the surfaces. The PDE solution yields a smooth transition between boundaries. Surface grids suitable for CFD calculation are created by establishing an H-type topology about the configuration and incorporating grid spacing functions in the PDE equation for the lifting components and the fuselage definition equations. User specified grid parameters govern the location and degree of grid concentration. A two-block volume grid about a configuration is calculated using the Control Point Form (CPF) technique. The interactive software, which runs on Silicon Graphics IRIS workstations, allows design parameters to be continuously varied and the resulting surface grid to be observed in real time. The batch software computes both the surface and volume grids and also computes the sensitivity of the output grid with respect to the input design parameters by applying the precompiler tool ADIFOR to the grid generation program. The output of ADIFOR is a new source code containing the old code plus expressions for derivatives of specified dependent variables (grid coordinates) with respect to specified independent variables (design parameters). The RAPID methodology and software provide a means of rapidly defining numerical prototypes, grids, and grid sensitivity of a class of airplane configurations. This technology and software is highly useful for CFD research for preliminary design and optimization processes.
The overarching theme was the domain decomposition, which intended to improve the numerical solution technique for the partial differential equations at hand; in the present study, those that governed either the fluid flow, or the aeroacoustic wave propagation, or the sensitivity analysis for a gradient-based optimization. The role of the domain decomposition extended beyond the original impetus of discretizing geometrical complex regions or writing modular software for distributed-hardware computers. It induced function-space decompositions and operator decompositions that offered the valuable property of near independence of operator evaluation tasks. The objectives have gravitated about the extensions and implementations of either the previously developed or concurrently being developed methodologies: (1) aerodynamic sensitivity analysis with domain decomposition (SADD); (2) computational aeroacoustics of cavities; and (3) dynamic, multibody computational fluid dynamics using unstructured meshes.
The study of the shock structure in a viscous heat conducting fluid is an old problem. We study this problem from a novel mathematical point of view. A new class of generalized functions is defined where multiplication of any two functions is allowed with the usual properties. A Heaviside function in this class has the unit jump at occurring on an infinitesimal interval of the nonstandard analysis (NSA) in the halo of . This jump has a smooth microstructure over the infinitesimal interval . From this point of view, we have a new class of Heaviside functions, and their derivatives the Dirac delta functions, which are equivalent when viewed as continuous linear functionals over the test function space of Schwartz. However, they differ in their microstructures which in applications are determined from physics of the problem as shown in our presentation.
This invention provides a prismatic zinc-air cell including, in general, a prismatic container having therein an air cathode, a separator and a zinc anode. The container has one or more oxygen access openings, and the air cathode is disposed in the container in gaseous communication with the oxygen access openings so as to allow access of oxygen to the cathode. The separator has a first side in electrolytic communication with the air cathode and a second side in electrolytic communication with the zinc anode. The separator isolates the cathode and the zinc anode from direct electrical contact and allows passage of electrolyte therebetween. An expansion chamber adjacent to the zinc anode is provided which accommodates expansion of the zinc anode during discharge of the cell. A suitable collapsible foam member generally occupies the expansion space, providing sufficient resistance tending to oppose movement of the zinc anode away from the separator while collapsing upon expansion of the zinc anode during discharge of the cell. One or more vent openings disposed in the container are in gaseous communication with the expansion space, functioning to satisfactorily minimize the pressure buildup within the container by venting gasses expelled as the foam collapses during cell discharge.