Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematical Model”

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 577 records · Page 32
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Flight and wind-tunnel calibrations of a flush airdata sensor at high angles of attack and sideslip and at supersonic Mach numbers

A nonintrusive airdata-sensing system was calibrated in flight and wind-tunnel experiments to an angle of attack of 70 deg and to angles of sideslip of +/- 15 deg. Flight-calibration data have also been obtained to Mach 1.2. The sensor, known as the flush airdata sensor, was installed on the nosecap of an F-18 aircraft for flight tests and on a full-scale F-18 forebody for wind-tunnel tests. Flight tests occurred at the NASA Dryden Flight Research Facility, Edwards, California, using the F-18 High Alpha Research Vehicle. Wind-tunnel tests were conducted in the 30- by 60-ft wind tunnel at the NASA LaRC, Hampton, Virginia. The sensor consisted of 23 flush-mounted pressure ports arranged in concentric circles and located within 1.75 in. of the tip of the nosecap. An overdetermined mathematical model was used to relate the pressure measurements to the local airdata quantities. The mathematical model was based on potential flow over a sphere and was empirically adjusted based on flight and wind-tunnel data. For quasi-steady maneuvering, the mathematical model worked well throughout the subsonic, transonic, and low supersonic flight regimes. The model also worked well throughout the angle-of-attack and sideslip regions studied.

Moes, Timothy R.↗
NASA NTRS1990

Recent literature on structural modeling, identification, and analysis

The literature on the mathematical modeling of large space structures is first reviewed, with attention given to continuum models, model order reduction, substructuring, and computational techniques. System identification and mode verification are then discussed with reference to the verification of mathematical models of large space structures. In connection with analysis, the paper surveys recent research on eigensolvers and dynamic response solvers for large-order finite-element-based models.

Craig, Roy R., Jr.↗
NASA NTRS1990

What can formal methods offer to digital flight control systems design

Formal methods research begins to produce methods which will enable mathematic modeling of the physical behavior of digital hardware and software systems. The development of these methods directly supports the NASA mission of increasing the scope and effectiveness of flight system modeling capabilities. The conventional, continuous mathematics that is used extensively in modeling flight systems is not adequate for accurate modeling of digital systems. Therefore, the current practice of digital flight control system design has not had the benefits of extensive mathematical modeling which are common in other parts of flight system engineering. Formal methods research shows that by using discrete mathematics, very accurate modeling of digital systems is possible. These discrete modeling methods will bring the traditional benefits of modeling to digital hardware and hardware design. Sound reasoning about accurate mathematical models of flight control systems can be an important part of reducing risk of unsafe flight control.

Good, Donald I.↗
DOE OSTI2024

Optimizing Batch Crystallization with Model-based Design of Experiments

Adaptive and self-optimizing intelligent systems such as digital twins are increasingly important in science and engineering. Digital twins utilize mathematical models to provide added precision to decision-making. However, physics-informed models are challenging to build, calibrate, and validate with existing data science methods. Model-based design of experiments (MBDoE) is a popular framework for optimizing data collection to maximize parameter precision in mathematical models and digital twins. In this work, we apply MBDoE, facilitated by the open-source package Pyomo.DoE, to train and validate mathematical models for batch crystallization. We quantitatively examined the estimability of the model parameters for experiments with different cooling rates. This analysis provides a quantitative explanation for the heuristic of using multiple experiments at different cooling rates.

Lynch, Hailey↗
NASA NTRS1986

Formally verifying Ada programs which use real number types

Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.

Sutherland, David↗
NASA NTRS1972

Nonlinear and Digital Man-machine Control Systems Modeling

An adaptive modeling technique is examined by which controllers can be synthesized to provide corrective dynamics to a human operator's mathematical model in closed loop control systems. The technique utilizes a class of Liapunov functions formulated for this purpose, Liapunov's stability criterion and a model-reference system configuration. The Liapunov function is formulated to posses variable characteristics to take into consideration the identification dynamics. The time derivative of the Liapunov function generate the identification and control laws for the mathematical model system. These laws permit the realization of a controller which updates the human operator's mathematical model parameters so that model and human operator produce the same response when subjected to the same stimulus. A very useful feature is the development of a digital computer program which is easily implemented and modified concurrent with experimentation. The program permits the modeling process to interact with the experimentation process in a mutually beneficial way.

Mekel, R.↗
NASA NTRS1972

The staging dynamics of a proposed space shuttle configuration

A mathematical model was developed to simulate the staging dynamics of a proposed space shuttle configuration. Included in the mathematical model is the kinematics and dynamics of the staging mechanism, thrust forces and thrust vector control, rigid-body dynamics, and structural dynamics of both the booster and orbiter stages of the configuration. The mathematical model was incorporated into a computer program so that the staging maneuver could be simulated. Results of the simulations are presented.

Hamilton, D. A.↗
NASA NTRS2005

Mathematical Metaphors: Problem Reformulation and Analysis Strategies

This paper addresses the critical need for the development of intelligent or assisting software tools for the scientist who is working in the initial problem formulation and mathematical model representation stage of research. In particular, examples of that representation in fluid dynamics and instability theory are discussed. The creation of a mathematical model that is ready for application of certain solution strategies requires extensive symbolic manipulation of the original mathematical model. These manipulations can be as simple as term reordering or as complicated as discovery of various symmetry groups embodied in the equations, whereby Backlund-type transformations create new determining equations and integrability conditions or create differential Grobner bases that are then solved in place of the original nonlinear PDEs. Several examples are presented of the kinds of problem formulations and transforms that can be frequently encountered in model representation for fluids problems. The capability of intelligently automating these types of transforms, available prior to actual mathematical solution, is advocated. Physical meaning and assumption-understanding can then be propagated through the mathematical transformations, allowing for explicit strategy development.

Thompson, David E.↗
NASA NTRS1981

Some applications of aerodynamic formulations to problems in aircraft dynamics

Two applications of mathematical modeling to aerodynamic problems are cussed. The first application is an investigation of the capacity of a nonlinear aerodynamic mathematical model to describe the aerodynamic reactions on an airfoil with a deflecting flap in transonic flow. Flow field computational methods are used to evaluate the nonlinear, unsteady aerodynamic data in terms of characteristic motions called for by the model. Histories of unconstrained motions of the flap are generated from the flap equations of motion, with the aerodynamic reactions specified by the mathematical model. In the second application wing rock is investigated. The most recent model accommodates experimental results wing rock by admitting the existence of aerodynamic hysteresis in the variation of the steady state rolling moment coefficient with roll angle is described.

Schiff, L. B.↗
DOE OSTI2019

Eulerian-Eulerian large eddy simulation of two-phase dilute bubbly flows

An efficient mathematical model is presented for conducting large eddy simulation (LES) of turbulent bubbly flows at low gas hold-ups. The mathematical model is based on the filtered multi-fluid equations derived by application of the component-weighted volume-averaging process of each phase. A two-fluid model is applied to the filtered set of equations, yielding a more computationally tractable set of filtered equations. The filtered equations are formulated in generalized curvilinear coordinates to simulate turbulent gas-liquid bubbly flows in complex geometries. The Germano model is used to account for sub-grid turbulent stresses. The gas and liquid momentum equations are discretized with the hybrid staggered/non-staggered method. The performance of the developed mathematical model is demonstrated by simulating the benchmark test case of a turbulent gas-liquid bubbly flow in a rectangular bubble column. The accuracy of the proposed method is assessed via comparison with the experimental data and other numerical results in the literature.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1988

Formulaton of a general technique for predicting pneumatic attenuation errors in airborne pressure sensing devices

Presented is a mathematical model, derived from the Navier-Stokes equations of momentum and continuity, which may be accurately used to predict the behavior of conventionally mounted pneumatic sensing systems subject to arbitrary pressure inputs. Numerical techniques for solving the general model are developed. Both step and frequency response lab tests were performed. These data are compared against solutions of the mathematical model. The comparisons show excellent agreement. The procedures used to obtain the lab data are described. In-flight step and frequency response data were obtained. Comparisons with numerical solutions of the mathematical model show good agreement. Procedures used to obtain the flight data are described. Difficulties encountered with obtaining the flight data are discussed.

Whitmore, Stephen A.↗
NASA NTRS1988

Experimental facilities for system identification

Future space vehicles will differ significantly from the space systems used in the past. The planned spacecraft configurations will include extremely large structures, up to 100-200 meters across. Because the allowable launch weights are limited, the large space structures must be constructed of lightweight, flexible elements, and active control of the shape and attitude of the spacecraft will be required. The behavior of large structures is characterized by many closely spaced natural modes, and some applications may also include large on-board disturbances. Consequently, the control and disturbance forces will invariably spill over to a large number of modes. Structural identification will be necessary for precision pointing and shape controls to be effective. An accurate mathematical model of a structure is essential for the success of precision control system design. However, the currently available analytical modeling codes, such as NASTRAN, are incapable of producing numerical models of the required precision. The favored approach for model determination is to refine the mathematical model based on experiments in the orbital environment. It is to this effect that we must develop techniques to reliably generate the accurate models required for future missions, and the arena in which these methods will be developed and proved is through ground-based system identification experiments and demonstrations. The Air Force Astronautics Laboratory (AFAL) has expanded the on-site ground-test facilities in recent years, and additional sites are planned for the immediate future. We shall review the plans for laboratory growth at AFAL with regard to the type of experiments proposed and the availability of the new facilities.

Das, Alok↗
NASA NTRS2010

Pathway Model of the Kinetics of the TGFbeta Antagonist Smad7 and Cross-Talk with the ATM and WNT Pathways

Signal transduction controls cellular and tissue responses to radiation. Transforming growth factor beta (TGFbeta) is an important regulator of cell growth and differentiation and tissue homeostasis, and is often dis-regulated in tumor formation. Mathematical models of signal transduction pathways can be used to elucidate how signal transduction varies with radiation quality, and dose and dose-rate. Furthermore, modeling of tissue specific responses can be considered through mechanistic based modeling. We developed a mathematical model of the negative feedback regulation by Smad7 in TGFbeta-Smad signaling and are exploring possible connections to the WNT/beta -catenin, and ATM/ATF2 signaling pathways. A pathway model of TGFbeta-Smad signaling that includes Smad7 kinetics based on data in the scientific literature is described. Kinetic terms included are TGFbeta/Smad transcriptional regulation of Smad7 through the Smad3-Smad4 complex, Smad7-Smurf1 translocation from nucleus to cytoplasm, and Smad7 negative feedback regulation of the TGFO receptor through direct binding to the TGFO receptor complex. The negative feedback controls operating in this pathway suggests non-linear responses in signal transduction, which are described mathematically. We then explored possibilities for cross-talk mediated by Smad7 between DNA damage responses mediated by ATM, and with the WNT pathway and consider the design of experiments to test model driven hypothesis. Numerical comparisons of the mathematical model to experiments and representative predictions are described.

Carra, Claudio↗
NASA NTRS1972

Design of inducers for two-phase operation

A mathematical model and a digital computer program were developed for the design and evaluation of inducers for pumping two-phase oxygen. The mathematical model indicated that any design would have to be run at relatively low speeds to pump two-phase oxygen and that the J-2S oxygen inducer was close to optimum and should perform the task. A J-2S pump was built up and tested in two-phase oxygen at speeds indicated by the mathematical model. The pump was able to handle two-phase oxygen over a wide range of inducer incidence angles and up to a vapor content of 37 percent by volume with very little loss in head. The pump was still able to produce some head at vapor fractions approaching 60 percent.

King, J. A.↗
NASA NTRS1991

Analysis of shell-type structures subjected to time-dependent mechanical and thermal loading

This report deals with the development of a general mathematical model and solution methodology for analyzing the structural response of thin, metallic shell-like structures under dynamic and/or static thermomechanical loads. In the mathematical model, geometric as well as the material-type of nonlinearities are considered. Traditional as well as novel approaches are reported and detailed applications are presented in the appendices. The emphasis for the mathematical model, the related solution schemes, and the applications, is on thermal viscoelastic and viscoplastic phenomena, which can predict creep and ratchetting.

Simitses, G. J.↗