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 1,603 records · Page 89

Symbolic Processing Combined with Model-Based Reasoning

A computer program for the detection of present and prediction of future discrete states of a complex, real-time engineering system utilizes a combination of symbolic processing and numerical model-based reasoning. One of the biggest weaknesses of a purely symbolic approach is that it enables prediction of only future discrete states while missing all unmodeled states or leading to incorrect identification of an unmodeled state as a modeled one. A purely numerical approach is based on a combination of statistical methods and mathematical models of the applicable physics and necessitates development of a complete model to the level of fidelity required for prediction. In addition, a purely numerical approach does not afford the ability to qualify its results without some form of symbolic processing. The present software implements numerical algorithms to detect unmodeled events and symbolic algorithms to predict expected behavior, correlate the expected behavior with the unmodeled events, and interpret the results in order to predict future discrete states. The approach embodied in this software differs from that of the BEAM methodology (aspects of which have been discussed in several prior NASA Tech Briefs articles), which provides for prediction of future measurements in the continuous-data domain.

James, Mark↗

Considering Cell Proliferation to Optimize Detection of Radiation-induced 53BP1+ Foci in 15 Mouse Strains ex vivo

Due to high metabolic activity, proliferating cells continuously generate free radicals, which induce DNA double strand breaks (DSB). Fluorescently tagged nuclear foci of DNA repair protein 53 binding protein-1(53BP1) are used as a standard metric for measuring DSB formation at baseline and in response to environmental insults such as radiation. Here we demonstrate that the background level of spontaneous 53BP1+ foci formation can be modeled mathematically as a function of cell confluence, which is a metric of proliferation rate. This model was validated using spontaneous 53BP1+ foci data from 68 cultures of primary skin fibroblasts derived from 15 different strains of mice, showing a ~10 fold decrease from low to full confluence that is independent of mouse strain. We developed an online open access tool to correct for the impact of cell confluence on the detection of radiation-induced 53BP1+ foci (RIF). This tool provides guidelines for the number of cells required to reach statistical significance for the detection of excess foci induced by low doses of ionizing radiation as a function of confluence and time post-irradiation. We hope that this quantification tool will help the radiation biology community in the design of future experiments that utilize 53BP1+ foci-based quantification of radiation responses in vitro. Our “tool for enhanced results of RIF in cells” (terRIFic) can be found at: https://radbiolab.shinyapps.io/terrific/

Radiation, DNA damage, confluence↗

Probabilistic data fusion and physics-informed machine learning: A new paradigm for modeling under uncertainty, and its application to accelerating the discovery of new materials

In this report we summarize the work conducted by PI Perdikaris and his group under this Early Career project DE–SC0019116 during the period of 09/01/2018 – 08/31/2023. The central aim of the work was to introduce a new paradigm for scientific data analysis that can seamlessly synthesize rigorous mathematical modeling with data of variable fidelity (e.g., measurements at multiple scales/resolutions or predictions of variable fidelity models) and multiple modalities (e.g., images, time–series, or scattered measurements). The setting we are interested in involves complex systems that are partially observed and whose dynamical behavior could be hard to model or totally unknown. The inherent uncertainty associated with this setting necessitates a departure from the classical deterministic realm of modeling and scientific computation, and, consequently, our main building blocks can no longer be crisp deterministic numbers and governing laws, but instead we must operate with probabilistic models.

97 MATHEMATICS AND COMPUTING↗

Comparison of depth-averaged concentration and bed load flux sediment transport models of dam-break flow

This paper presents numerical simulations of dam-break flow over a movable bed. Two different mathematical models were compared: a fully coupled formulation of shallow water equations with erosion and deposition terms (a depth-averaged concentration flux model), and shallow water equations with a fully coupled Exner equation (a bed load flux model). Both models were discretized using the cell-centered finite volume method, and a second-order Godunov-type scheme was used to solve the equations. The numerical flux was calculated using a Harten, Lax, and van Leer approximate Riemann solver with the contact wave restored (HLLC). A novel slope source term treatment that considers the density change was introduced to the depth-averaged concentration flux model to obtain higher-order accuracy. A source term that accounts for the sediment flux was added to the bed load flux model to reflect the influence of sediment movement on the momentum of the water. In a one-dimensional test case, a sensitivity study on different model parameters was carried out. For the depth-averaged concentration flux model, Manning's coefficient and sediment porosity values showed an almost linear relationship with the bottom change, and for the bed load flux model, the sediment porosity was identified as the most sensitive parameter. The capabilities and limitations of both model concepts are demonstrated in a benchmark experimental test case dealing with dam-break flow over variable bed topography.

58 GEOSCIENCES↗

Math modelling as a complement to the scientific inquiry of physiological adaptation to space flight: Fluid, endocrine and circulatory regulation

The contribution of mathematical modeling and computer simulation to the understanding of problems arising during weightless space flight is reviewed. Examples from fluid, endocrine, and circulatory regulation are provided to illustrate the utility of modeling as an adjunct to the process of scientific inquiry, especially in the development and theoretical testing of hypotheses. The models were used to examine the acute and chronic phases of space flight. Paradoxial results appear when data obtained during chronic adaptation is interpreted using theories which pertain to acute adjustments. The modeling process provides a means of developing a theoretical basis for interpreting the chronic adaptive phase of flight.

Leonard, J. I.↗

Linearized aerodynamic and control law models of the X-29A airplane and comparison with flight data

Flight control system design and analysis for aircraft rely on mathematical models of the vehicle dynamics. In addition to a six degree of freedom nonlinear simulation, the X-29A flight controls group developed a set of programs that calculate linear perturbation models throughout the X-29A flight envelope. The models include the aerodynamics as well as flight control system dynamics and were used for stability, controllability, and handling qualities analysis. These linear models were compared to flight test results to help provide a safe flight envelope expansion. A description is given of the linear models at three flight conditions and two flight control system modes. The models are presented with a level of detail that would allow the reader to reproduce the linear results if desired. Comparison between the response of the linear model and flight measured responses are presented to demonstrate the strengths and weaknesses of the linear models' ability to predict flight dynamics.

Bosworth, John T.↗

Computer-Based Mathematics Instructions for Engineering Students

Almost every engineering course involves mathematics in one form or another. The analytical process of developing mathematical models is very important for engineering students. However, the computational process involved in the solution of some mathematical problems may be very tedious and time consuming. There is a significant amount of mathematical software such as Mathematica, Mathcad, and Maple designed to aid in the solution of these instructional problems. The use of these packages in classroom teaching can greatly enhance understanding, and save time. Integration of computer technology in mathematics classes, without de-emphasizing the traditional analytical aspects of teaching, has proven very successful and is becoming almost essential. Sample computer laboratory modules are developed for presentation in the classroom setting. This is accomplished through the use of overhead projectors linked to graphing calculators and computers. Model problems are carefully selected from different areas.

Khan, Mustaq A.↗

Attack detection and strategy optimization in game-theoretic trust models

Trust in a microelectronics-based systems can be characterized as the level of confidence that the system is free of subversive alterations inserted by a malicious adversary during system development. Outkin et al. recently developed GPLADD, a game-theoretic framework that enables trust analysis through a set of mathematical models that represent multi-step attack graphs and contention between system attackers and defenders. This paper extends GPLADD to include detection of attacks on development processes and defender decision processes that occur in response to detection events. The paper provides mathematical details for implementing attack detection and demonstrates the models on an example system. The authors further demonstrate how optimal defender strategies vary when solution concepts and objective functions are modified.

97 MATHEMATICS AND COMPUTING↗

Integrating the Design of Desalination Technologies into Produced Water Network Optimization

The oil and gas energy sector uses billions of gallons of water for hydraulic fracturing each year to extract oil and gas. The water injected into the ground for fracturing along with naturally occurring formation water from oil wells surfaces back in the form of produced water. Produced water can contain high concentrations of total dissolved solids and is unfit for reuse outside the oil and gas industry without desalination. In semi-arid shale plays, produced water desalination for beneficial reuse could play a crucial role in alleviating water shortages and addressing extreme drought conditions. In this poster we co-optimize the design and operation of desalination technologies along with operational decisions across produced water networks. A multi-period produced water network model with simplified split-fraction-based desalination nodes is developed. Rigorous steady-state desalination mathematical models based on mechanical vapor recompression are developed and embedded at the desalination sites in the network model. An optimal common design across all periods is ensured using global capacity constraints. The solution approach is demonstrated for multi-period planning problems on networks from the PARETO open-source library. Model formulation and challenges associated with scalability are discussed.

Naik, Sakshi↗

Integrating the Design of Desalination Technologies into Produced Water Network Optimization

The oil and gas energy sector uses billions of gallons of water for hydraulic fracturing each year to extract oil and gas. The water injected into the ground for fracturing along with naturally occur-ring formation water from the oil wells surfaces back in the form of produced water. Produced water can contain high concentrations of total dissolved solids and is unfit for reuse outside the oil and gas industry without desalination. In semi-arid shale plays, produced water desalination for beneficial reuse could play a crucial role in alleviating water shortages and addressing extreme drought conditions. In this paper we co-optimize the design and operation of desalination technologies along with operational decisions across produced water networks. A multi-period produced water network model with simplified split-fraction-based desalination nodes is developed. Rigorous steady-state desalination mathematical models based on mechanical vapor recompression are developed and embedded at the desalination sites in the network model. An optimal common design is ensured across all periods using global capacity constraints. The solution approach is demonstrated for multi-period planning problems on networks from the PARETO open-source library. Model formulation and challenges associated with scalability are discussed.

Naik, Sakshi↗

Dynamic responses of railroad car models to vertical and lateral rail inputs

Simplified dynamic models were applied in a study of vibration in a high-speed railroad car. The mathematical models used were a four-degree-of-freedom model for vertical responses to vertical rail inputs and a ten-degree-of-freedom model for lateral response to lateral or rolling (cross-level) inputs from the rails. Elastic properties of the passenger car body were represented by bending and torsion of a uniform beam. Rail-to-car (truck) suspensions were modeled as spring-mass-dashpot oscillators. Lateral spring nonlinearities approximating certain complicated truck mechanisms were introduced. The models were excited by displacement and, in some cases, velocity inputs from the rails by both deterministic (including sinusoidal) and random input functions. Results were obtained both in the frequency and time domains. Solutions in the time domain for the lateral model were obtained for a wide variety of transient and random inputs generated on-line by an analog computer. Variations in one of the damping properties of the lateral car suspension gave large fluctuations in response over a range of car speeds for a given input. This damping coefficient was significant in reducing lateral car responses that were higher for nonlinear springs for three different inputs.

Sewall, J. L.↗

Prospects of a mathematical theory of human behavior in complex man-machine systems tasks

A hierarchy of human activities is derived by analyzing automobile driving in general terms. A structural description leads to a block diagram and a time-sharing computer analogy. The range of applicability of existing mathematical models is considered with respect to the hierarchy of human activities in actual complex tasks. Other mathematical tools so far not often applied to man machine systems are also discussed. The mathematical descriptions at least briefly considered here include utility, estimation, control, queueing, and fuzzy set theory as well as artificial intelligence techniques. Some thoughts are given as to how these methods might be integrated and how further work might be pursued.

Johannsen, G.↗

Preliminary results of experimental and analytical investigations of the tumbling phenomenon for an advanced configuration

A sustained autorotative pitching motion usually called 'tumbling' has been observed during dynamic model tests of the X-29A configuration. The X-29 is an advanced design incorporating forward-swept wings and canards in a highly relaxed static stability condition. Beginning with a historical review of the tumbling phenomenon, this paper discusses the current experimental results of dynamic model tumbling tests of the X-29 and the initial efforts to establish an aerodynamic and mathematical model for analysis.

Whipple, R. D.↗

Investigation of control law for active flutter suppression

Discussed is the technology of active flutter suppression research by the use of the wind-tunnel model of a delta wing with low aspect ratio. The research includes the establishment of a mathematical model for the servo-aeroelastic system, and the synthesis and analysis of sub-optimal output feedback control laws for active flutter suppression.

Wang, Weipeng↗

Model Of Orbital Density Of Air For Computing Drag

Simple, Orbital Density Model for Drag Equations program useful for computing effect of drag over one or more orbits. Mathematical model embodied in program incorporates major changes in density due to solar activity and magnetic activity of Earth. Diurnal (day/night) effects on orbit averaged out. Based on Jacchia daily-average density, evaluated at average time of year. Advantages, right ascension and declination of Sun not needed and computation time much reduced. Written in FORTRAN 77.

Lear, W. M.↗

Design-Tradeoff Model For Space Station

System Design Tradeoff Model (SDTM) computer program produces information which helps to enforce consistency of design objectives throughout system. Mathematical model of set of possible designs for Space Station Freedom. Program finds particular design enabling station to provide specified amounts of resources to users at lowest total (or life-cycle) cost. Compares alternative design concepts by changing set of possible designs, while holding specified services to users constant, and then comparing costs. Finally, both costs and services varied simultaneously when comparing different designs. Written in Turbo C 2.0.

Chamberlain, Robert G.↗

Finite element simulations of thermosolutal convection in vertical solidification of binary alloys

Dendritic vertical solidification of a binary alloy is modeled using the finite element method to assess the effect of thermosolutal convection in macrosegregation. The mathematical model assumes steady-state solidification with a planar, undeformable surface defined by the dendrite tips and the eutectic isotherm. The dendritic region is assumed to advance at a constant solidification velocity v. The stability of the modeled system has been investigated and nonlinear calculations performed that show finger-like convection when the system is unstable. Results for lead-tin alloys show that when the system is unstable, convection is only significant in the uppermost part of the mush and is entirely driven by convection in the bulk fluid.

Heinrich, J. C.↗

P-polarized reflectance spectroscopy: A high sensitive real-time monitoring technique to study surface kinetics under steady state epitaxial deposition conditions

This paper describes the results of real-time optical monitoring of epitaxial growth processes by p-polarized reflectance spectroscopy (PRS) using a single wavelength application under pulsed chemical beam epitaxy (PCBE) condition. The high surface sensitivity of PRS allows the monitoring of submonolayer precursors coverage on the surface as shown for GaP homoepitaxy and GaP on Si heteroepitaxy as examples. In the case of heteroepitaxy, the growth rate and optical properties are revealed by PRS using interference oscillations as they occur during growth. Super-imposed on these interference oscillations, the PRS signal exhibits a fine structure caused by the periodic alteration of the surface chemistry by the pulsed supply of chemical precursors. This fine structure is modeled under conditions where the surface chemistry cycles between phosphorus supersaturated and phosphorus depleted surfaces. The mathematical model describes the fine structure using a surface layer that increases during the tertiarybutyl phosphine (TBP) supply and decreases during and after the triethylgallium (TEG) pulse, which increases the growing GaP film thickness. The imaginary part of the dielectric function of the surface layer is revealed from the turning points in the fine structure, where the optical response to the first precursor pulse in the cycle sequence changes sign. The amplitude of the fine structure is determined by the surface layer thickness and the complex dielectric functions for the surface layer with the underlying bulk film. Surface kinetic data can be obtained by analyzing the rise and decay transients of the fine structure.

Dietz, Nikolaus↗