SEARCH · Search NASA

Results for “MATHEMATICAL STATEMENT”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records

All sources NASA NTRS DOE OSTI

NASA NTRS1991

Applications of fuzzy theories to multi-objective system optimization

Most of the computer aided design techniques developed so far deal with the optimization of a single objective function over the feasible design space. However, there often exist several engineering design problems which require a simultaneous consideration of several objective functions. This work presents several techniques of multiobjective optimization. In addition, a new formulation, based on fuzzy theories, is also introduced for the solution of multiobjective system optimization problems. The fuzzy formulation is useful in dealing with systems which are described imprecisely using fuzzy terms such as, 'sufficiently large', 'very strong', or 'satisfactory'. The proposed theory translates the imprecise linguistic statements and multiple objectives into equivalent crisp mathematical statements using fuzzy logic. The effectiveness of all the methodologies and theories presented is illustrated by formulating and solving two different engineering design problems. The first one involves the flight trajectory optimization and the main rotor design of helicopters. The second one is concerned with the integrated kinematic-dynamic synthesis of planar mechanisms. The use and effectiveness of nonlinear membership functions in fuzzy formulation is also demonstrated. The numerical results indicate that the fuzzy formulation could yield results which are qualitatively different from those provided by the crisp formulation. It is felt that the fuzzy formulation will handle real life design problems on a more rational basis.

Rao, S. S.↗

DOE OSTI2018

Minimax Program Terminal Control in Two-Level Hierarchic Nonlinear Discrete Dynamical System

We consider a discrete dynamical system consisting of a number of controllable objects whose dynamics is governed by vector nonlinear discrete recurrent relations with control parameters and perturbations (noises). In such system, two levels of making management decisions are distinguished: the dominating (first) level and the subordinate (second) level, which have different criteria of functioning. These levels are integrated by certain information and control relations. We consider the problem of two-level minimax program terminal control in a discrete dynamical system and propose its mathematical statement and a general scheme of its solution.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1972

Analysis of thermal stress and metal movement during welding

Objectives of study were: investigation of temperature changes caused by welding arc with analysis of temperature distribution; development of system of mathematical statements describing thermal stresses and plastic strains during welding; and development of system of mathematical solutions and computer programs for one-dimensional analysis.

Andrews, J. B.↗

DOE OSTI2016

Teko: A block preconditioning capability with concrete example applications in Navier--Stokes and MHD

This study describes the design of Teko, an object-oriented C++ library for implementing advanced block preconditioners. Mathematical design criteria that elucidate the needs of block preconditioning libraries and techniques are explained and shown to motivate the structure of Teko. For instance, a principal design choice was for Teko to strongly reflect the mathematical statement of the preconditioners to reduce development burden and permit focus on the numerics. Additional mechanisms are explained that provide a pathway to developing an optimized production capable block preconditioning capability with Teko. Finally, Teko is demonstrated on fluid flow and magnetohydrodynamics applications. In addition to highlighting the features of the Teko library, these new results illustrate the effectiveness of recent preconditioning developments applied to advanced discretization approaches.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1967

A study of low-thrust guidance

Mathematical statement and computer simulation of low thrust guidance problem - minimum time solutions

LOW THRUST PROPULSION↗

NASA NTRS1973

Prediction of free shear flows: A comparison of the performance of six turbulence models

The performance is evaluated of three distinct classes of turbulence model. These classes are: (1) Turbulent-viscosity models in which the length scale of turbulence is found by way of algebraic formulas, (2) turbulent-viscosity models in which the length scale of turbulence is found from a partial differential equation of transport, and (3) models in which the shear stress itself is the dependent variable of a partial differential conservation equation. Two models were examined in each class; thus, six different models were tested. A complete mathematical statement of these models is provided and a brief commentary on the models is included.

Launder, B. E.↗

NASA NTRS1974

Nonproportional loading limit for structures

The design of most structures involves ensuring integrity for several independent loading conditions. Often, it is rational to design these, exploiting the ductility of the materials to reduce structural costs. Then, ensuring integrity evokes the need for nonmonotonic limit analyses. A groundwork is laid for implementing these analyses. An alternate limit load characterization to that of Greenberg is provided, a mathematical statement of the problem leading to both monotonic (proportional) and nonmonotonic limit loads values is formulated, a direct limit load analysis procedure for analysis within a finite-element framework is described, and limit loads for sets of simple structures are evaluated. A direct limit analysis process is described, and monotonic limit loads are characterized. The process furnishes 'exact' values of limit loads with increasing efficiency as the number of structural elements and force redundancy decreases. Tests show that the accuracy of predicting nonmonotonic limit loads is very sensitive to the number of degrees of freedom in the analysis compared with the total number in the model.

Melosh, R. J.↗

NASA NTRS1983

Algorithm development for the control design of flexible structures

The critical problems associated with the control of highly damped flexible structures are outlined. The practical problems include: high performance; assembly in space, configuration changes; on-line controller software design; and lack of test data. Underlying all of these problems is the central problem of modeling errors. To justify the expense of a space structure, the performance requirements will necessarily be very severe. On the other hand, the absence of economical tests precludes the availability of reliable data before flight. A design algorithm is offered which: (1) provides damping for a larger number of modes than the optimal attitude controller controls; (2) coordinates the rate of feedback design with the attitude control design by use of a similar cost function; and (3) provides model reduction and controller reduction decisions which are systematically connected to the mathematical statement of the control objectives and the disturbance models.

Skelton, R. E.↗

NASA NTRS1984

The ADS general-purpose optimization program

The mathematical statement of the general nonlinear optimization problem is given as follows: find the vector of design variables, X, that will minimize f(X) subject to G sub J (x) + or - 0 j=1,m H sub K hk(X) = 0 k=1,l X Lower I approx less than X sub I approx. less than X U over I i = 1,N. The vector of design variables, X, includes all those variables which may be changed by the ADS program in order to arrive at the optimum design. The objective function F(X) to be minimized may be weight, cost or some other performance measure. If the objective is to be maximized, this is accomplished by minimizing -F(X). The inequality constraints include limits on stress, deformation, aeroelastic response or controllability, as examples, and may be nonlinear implicit functions of the design variables, X. The equality constraints h sub k(X) represent conditions that must be satisfied precisely for the design to be acceptable. Equality constraints are not fully operational in version 1.0 of the ADS program, although they are available in the Augmented Lagrange Multiplier method. The side constraints given by the last equation are used to directly limit the region of search for the optimum. The ADS program will never consider a design which is not within these limits.

Vanderplaats, G. N.↗

NASA NTRS1989

A practical approach for minimum time control of the Spacecraft Control Laboratory Experiment (SCOLE), appendix A

The Space COntrol Laboratory Experiment (SCOLE) is a challenge for control engineering applications. This is a result of the system dynamics, the available measurement information, the actuator capabilities and finally the specified performance requirements set. Results on the use of Model Reference Adaptive Control were reported. In view of the necessity for rapid response, this work deals with an optimal control formulation, with a minimum time requirement and constrained input. A mathematical statement of the problem is presented. The time optimal control formulation is presented and the reasons that make such an approach not promising are discussed. As a result, a pseudo time-optimal control algorithm is discussed. The proposed approach is tested to see if it satisfies the design specifications, and finally a discussion and suggestions for further research are provided.

Kaufman, H.↗

DOE OSTI2019

Kinetic theory for classical and quantum many-body chaos

For perturbative scalar field theories, the late-time-limit of the out-of-time-ordered correlation function that measures (quantum) chaos is shown to be equal to a Boltzmann-type kinetic equation that measures the total gross (instead of net) particle exchange between phase-space cells, weighted by a function of energy. This derivation gives a concrete form to numerous attempts to derive chaotic many-body dynamics from ad hoc kinetic equations. A period of exponential growth in the total gross exchange determines the Lyapunov exponent of the chaotic system. Physically, the exponential growth is a front propagating into an unstable state in phase space. As in conventional Boltzmann transport, which follows from the dynamics of the net particle number density exchange, the kernel of this kinetic integral equation for chaos is also set by the 2-to-2 scattering rate. This provides a mathematically precise statement of the known fact that in dilute weakly coupled gases, transport and scrambling (or ergodicity) are controlled by the same physics.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

NASA NTRS1979

An improved analysis/synthesis capability based on dual methods - ACCESS 3

Approximation concepts and dual method algorithms are combined to create a new method for minimum weight design of structural systems. Approximation concepts convert the basic mathematical programming statement of the structural synthesis problem into a sequence of explicit primal problems of separable form. These problems are solved by constructing explicit dual functions, which are maximized subject to nonnegativity constraints. The dual method is successfully extended to deal with pure discrete and mixed continuous-discrete design variable problems. The power of the method presented is illustrated with numerical results for example problems, including a thin delta wing with fiber composite skins.

Schmit, L. A.↗

NASA NTRS1980

Dual methods and approximation concepts in structural synthesis

Approximation concepts and dual method algorithms are combined to create a method for minimum weight design of structural systems. Approximation concepts convert the basic mathematical programming statement of the structural synthesis problem into a sequence of explicit primal problems of separable form. These problems are solved by constructing explicit dual functions, which are maximized subject to nonnegativity constraints on the dual variables. It is shown that the joining together of approximation concepts and dual methods can be viewed as a generalized optimality criteria approach. The dual method is successfully extended to deal with pure discrete and mixed continuous-discrete design variable problems. The power of the method presented is illustrated with numerical results for example problems, including a metallic swept wing and a thin delta wing with fiber composite skins.

Fleury, C.↗

NASA NTRS1980

Discrete-continuous variable structural synthesis using dual methods

Approximation concepts and dual methods are extended to solve structural synthesis problems involving a mix of discrete and continuous sizing type of design variables. Pure discrete and pure continuous variable problems can be handled as special cases. The basic mathematical programming statement of the structural synthesis problem is converted into a sequence of explicit approximate primal problems of separable form. These problems are solved by constructing continuous explicit dual functions, which are maximized subject to simple nonnegativity constraints on the dual variables. A newly devised gradient projection type of algorithm called DUAL 1, which includes special features for handling dual function gradient discontinuities that arise from the discrete primal variables, is used to find the solution of each dual problem. Computational implementation is accomplished by incorporating the DUAL 1 algorithm into the ACCESS 3 program as a new optimizer option. The power of the method set forth is demonstrated by presenting numerical results for several example problems, including a pure discrete variable treatment of a metallic swept wing and a mixed discrete-continuous variable solution for a thin delta wing with fiber composite skins.

Schmit, L. A.↗

NASA NTRS1988

A flexible computer aid for conceptual design based on constraint propagation and component-modeling

The Rubber Airplane program, which combines two symbolic processing techniques with a component-based database of design knowledge, is proposed as a computer aid for conceptual design. Using object-oriented programming, programs are organized around the objects and behavior to be simulated, and using constraint propagation, declarative statements designate mathematical relationships among all the equation variables. It is found that the additional level of organizational structure resulting from the arrangement of the design information in terms of design components provides greater flexibility and convenience.

Kolb, Mark A.↗

DOE OSTI2016

Sebastien Philippe Discusses the Zero-Knowledge Protocol

A system that can compare physical objects while potentially protecting sensitive information about the objects themselves has been demonstrated experimentally at the U.S. Department of Energy’s (DOE) Princeton Plasma Physics Laboratory (PPPL). This work, by researchers at Princeton University and PPPL, marks an initial confirmation of the application of a powerful cryptographic technique in the physical world. Graduate student Sébastien Philippe discusses the experiment.

97 MATHEMATICS AND COMPUTING↗

NASA NTRSDate not supplied

Applying Formal Methods to Safety-Critical Systems

How do you know a proof is correct? Traditionally, mathematical proofs are socially verified – at least one human, following a set of implicit rules of natural language and logic, determines if the proof is believable. If the proof becomes overly tedious and/or is essential to some safety- or mission-critical application, it becomes necessary to determine the soundness to a higher standard. 'Formal methods' refer to mathematically rigorous techniques and tools that enable specification, design, and verification of hardware and software systems. The specification used in formal methods are statements in a mathematical logic while the formal verifications are deductions in that logic. Formal methods can be difficult or time/resource intensive, but offer a higher level of assurance than standard verification through testing or handwritten proofs. This talk will introduce formal methods, motivated by applications of interest to NASA, including uncrewed aircraft operations in the national airspace, urban air environments, and wildfire areas. The audience will be given a crash course in mechanically verified proofs in the Prototype Verification System (PVS), an interactive theorem prover.

Formal Methods↗

DOE OSTI2018

Arak’s Inequalities for the Generalized Arithmetic Progressions

In 1980s, Arak has obtained powerful inequalities for the concentration functions of sums of independent random variables. Using these results, he has solved an old problem stated by Kolmogorov. In this paper, one of Arak’s results is modified to include generalized arithmetic progressions in the statement.

97 MATHEMATICS AND COMPUTING↗