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,513 records · Page 84

A deformation-formulated micromechanics model of the effective Young's modulus and strength of laminated composites containing local ply curvature

A mathematical model based on the Euler-Bermoulli beam theory is proposed for predicting the effective Young's moduli of piecewise isotropic composite laminates with local ply curvatures in the main load-carrying layers. Strains in corrugated layers, in-phase layers, and out-of-phase layers are predicted for various geometries and material configurations by assuming matrix layers as elastic foundations of different spring constants. The effective Young's moduli measured from corrugated aluminum specimens and aluminum/epoxy specimens with in-phase and out-of-phase wavy patterns coincide very well with the model predictions. Moire fringe analysis of an in-phase specimen and an out-of-phase specimen are also presented, confirming the main assumption of the model related to the elastic constraint due to the matrix layers. The present model is also compared with the experimental results and other models, including the microbuckling models, published in the literature. The results of the present study show that even a very small-scale local ply curvature produces a noticeable effect on the mechanical constitutive behavior of a laminated composite.

Lee, Jong-Won↗

Recursive Linearization Of Dynamical Models Of Manipulators

Report shows how spatial-operator algebra developed by authors used to derive linearized mathematical models of dynamics of robotic manipulators. Aspects of spatial-operator algebra also described in "Robot Control Based On Spatial-Operator Algebra" (NPO-17918), "Unified Formulation Of Dynamics Of Robot Arms" (NPO-18040), and "Spatial-Operator Algebra For Robotic Manipulators" (NPO-17770).

Jain, Abhinandan↗

Well-posedness of a model for structural acoustic coupling in a cavity enclosed by a thin cylindrical shell

A fully coupled mathematical model describing the interactions between a vibrating thin cylindrical shell and enclosed acoustic field is presented. Because the model will ultimately be used in control applications involving piezoceramic actuators, the loads and material contributions resulting from piezoceramic patches bonded to the shell are included in the discussion. Theoretical and computational issues lead to the consideration of a weak form of the modeling set of partial differential equations (PDE's) and through the use of a semigroup formulation, well-posedness results for the system model are obtained.

Banks, H. T.↗

Preliminary eddy current modelling for the large angle magnetic suspension test fixture

This report presents some recent developments in the mathematical modeling of the Large Angle Magnetic Suspension Test Fixture (LAMSTF) at NASA Langley Research Center. It is shown that these effects are significant, but may be amenable to analysis, modeling and measurement. A theoretical framework is presented, together with a comparison of computed and experimental data.

Britcher, Colin↗

Fade Dynamics and Its Evolution: The Other Part of the Acts Rain Prediction Model

The inception of the Advanced Communication Technology Satellite (ACTS) Project has required as similarly advanced statistical mathematical modeling formalism to describe the behavior of the 30/20 GHz links emanating to and from the earth terminals through the deleterious effects of the earth's atmosphere. The resulting ACTS Rain Attenuation Prediction Model has been thoroughly described in [Manning, 1990]. In the present paper, the basic rudiments of this model will be reviewed; Section 1 covers the static or time-independent portion of the model and Section 2 covers the dynamic of time-dependent portion. The results of Section 2 are then applied to a new approximate solution of the famous problem of the time duration tau of a fade of random process below some threshold. This is known as the fade duration. The new approximate solution was published in Russian [Denisenko] and, unfortunately, was never published into English. Hence, this work is restated following [Denisenko] in Section 3 which is immediately applied to the random rain fade process. The results for all five ACTS propagation sites as well as Tampa, FL are then given.

Manning, Robert M.↗

Fade Dynamics and its Evolution: The Other Part of the ACTS Rain Prediction Model

The inception of the Advanced Communication Technology Satellite (ACTS) Project has required a similarly advanced statistical mathematical modeling formalism to describe the behavior of the 30/20 GHz links emanating to and from the earth terminals through the deleterious effects of the earth's atmosphere. The resulting ACTS Rain Attenuation Prediction Model has been thoroughly described in (Manning). In the present paper, the basic rudiments of this model will be reviewed; Section 1 covers the static or time-independent portion of the model and Section 2 covers the dynamic or time-dependent portion. The results of Section 2 are then applied to a new approximate solution of the famous problem of the time duration tau of a fade of a random process below some threshold. This is known as the fade duration. The new approximate solution was published in Russian (Denisenko) and, unfortunately, was never published into English. Hence, this work is restated following (Denisenko) in Section 3 which is immediately applied to the random rain fade process. The results for all five ACTS propagation sites as well as Tampa, FL are then given.

Manning, Robert M.↗

GVIPS Models and Software

Two reports discuss, respectively, (1) the generalized viscoplasticity with potential structure (GVIPS) class of mathematical models and (2) the Constitutive Material Parameter Estimator (COMPARE) computer program. GVIPS models are constructed within a thermodynamics- and potential-based theoretical framework, wherein one uses internal state variables and derives constitutive equations for both the reversible (elastic) and the irreversible (viscoplastic) behaviors of materials. Because of the underlying potential structure, GVIPS models not only capture a variety of material behaviors but also are very computationally efficient. COMPARE comprises (1) an analysis core and (2) a C++-language subprogram that implements a Windows-based graphical user interface (GUI) for controlling the core. The GUI relieves the user of the sometimes tedious task of preparing data for the analysis core, freeing the user to concentrate on the task of fitting experimental data and ultimately obtaining a set of material parameters. The analysis core consists of three modules: one for GVIPS material models, an analysis module containing a specialized finite-element solution algorithm, and an optimization module. COMPARE solves the problem of finding GVIPS material parameters in the manner of a design-optimization problem in which the parameters are the design variables.

Arnold, Steven M.↗

Random Predictor Models for Rigorous Uncertainty Quantification: Part 2

This and a companion paper propose techniques for constructing parametric mathematical models describing key features of the distribution of an output variable given input-output data. By contrast to standard models, which yield a single output value at each value of the input, Random Predictors Models (RPMs) yield a random variable at each value of the input. Optimization-based strategies for calculating RPMs having a polynomial dependency on the input and a linear dependency on the parameters are proposed. These formulations yield RPMs having various levels of fidelity in which the mean, the variance, and the range of the model's parameter, thus of the output, are prescribed. As such they encompass all RPMs conforming to these prescriptions. The RPMs are optimal in the sense that they yield the tightest predictions for which all (or, depending on the formulation, most) of the observations are less than a fixed number of standard deviations from the mean prediction. When the data satisfies mild stochastic assumptions, and the optimization problem(s) used to calculate the RPM is convex (or, when its solution coincides with the solution to an auxiliary convex problem), the model's reliability, which is the probability that a future observation would be within the predicted ranges, is bounded rigorously.

Crespo, Luis G.↗

Random Predictor Models for Rigorous Uncertainty Quantification: Part 1

This and a companion paper propose techniques for constructing parametric mathematical models describing key features of the distribution of an output variable given input-output data. By contrast to standard models, which yield a single output value at each value of the input, Random Predictors Models (RPMs) yield a random variable at each value of the input. Optimization-based strategies for calculating RPMs having a polynomial dependency on the input and a linear dependency on the parameters are proposed. These formulations yield RPMs having various levels of fidelity in which the mean and the variance of the model's parameters, thus of the predicted output, are prescribed. As such they encompass all RPMs conforming to these prescriptions. The RPMs are optimal in the sense that they yield the tightest predictions for which all (or, depending on the formulation, most) of the observations are less than a fixed number of standard deviations from the mean prediction. When the data satisfies mild stochastic assumptions, and the optimization problem(s) used to calculate the RPM is convex (or, when its solution coincides with the solution to an auxiliary convex problem), the model's reliability, which is the probability that a future observation would be within the predicted ranges, can be bounded tightly and rigorously.

Crespo, Luis G.↗

Towards a Semantically-Enabled Control Strategy for Building Simulations: Integration of Semantic Technologies and Model Predictive Control

State-of-the-art building simulation control methods incorporate physical constraints into their mathematical models, but omit implicit constraints associated with policies of operation and dependency relationships among rules representing those constraints. To overcome these shortcomings, there is a recent trend in enabling the control strategies with inference-based rule checking capabilities. One solution is to exploit semantic web technologies in building simulation control. Such approaches provide the tools for semantic modeling of domains, and the ability to deduce new information based on the models through use of Description Logic (DL). In a step toward enabling this capability, this paper presents a cross-disciplinary data-driven control strategy for building energy management simulation that integrates semantic modeling and formal rule checking mechanisms into a Model Predictive Control (MPC) formulation. The results show that MPC provides superior levels of performance when initial conditions and inputs are derived from inference-based rules.

Delgoshaei, Parastoo↗

Calibration of Multi-Parameter Models of Avascular Tumor Growth Using Time Resolved Microscopy Data

Abstract Two of the central challenges of using mathematical models for predicting the spatiotemporal development of tumors is the lack of appropriate data to calibrate the parameters of the model, and quantitative characterization of the uncertainties in both the experimental data and the modeling process itself. We present a sequence of experiments, with increasing complexity, designed to systematically calibrate the rates of apoptosis, proliferation, and necrosis, as well as mobility, within a phase-field tumor growth model. The in vitro experiments characterize the proliferation and death of human liver carcinoma cells under different initial cell concentrations, nutrient availabilities, and treatment conditions. A Bayesian framework is employed to quantify the uncertainties in model parameters. The average difference between the calibration and the data, across all time points is between 11.54% and 14.04% for the apoptosis experiments, 7.33% and 23.30% for the proliferation experiments, and 8.12% and 31.55% for the necrosis experiments. The results indicate the proposed experiment-computational approach is generalizable and appropriate for step-by-step calibration of multi-parameter models, yielding accurate estimations of model parameters related to rates of proliferation, apoptosis, and necrosis.

60 APPLIED LIFE SCIENCES↗

Analysis of a new multispecies tumor growth model coupling 3D phase-fields with a 1D vascular network

In this study, we present and analyze a mathematical model for tumor growth incorporating ECM erosion, interstitial flow, and the effect of vascular flow and nutrient transport. The model is of phase-field or diffused-interface type in which multiple phases of cell species and other constituents are separated by smooth evolving interfaces. The model involves a mesoscale version of Darcy’s law to capture the flow mechanism in the tissue matrix. Modeling flow and transport processes in the vasculature supplying the healthy and cancerous tissue, one-dimensional (1D) equations are considered. Since the models governing the transport and flow processes are defined together with cell species models on a three-dimensional (3D) domain, we obtain a 3D–1D coupled model.

3D–1D coupled blood flow models↗

Rapid methods for radionuclide contaminant transport in nuclear fuel cycle simulation

Here, nuclear fuel cycle and nuclear waste disposal decisions are technologically coupled. However, current nuclear fuel cycle simulators lack dynamic repository performance analysis due to the computational burden of high-fidelity hydrolgic contaminant transport models. The Cyder disposal environment and repository module was developed to fill this gap. It implements medium-fidelity hydrologic radionuclide transport models to support assessment appropriate for fuel cycle simulation in the Cyclus fuel cycle simulator. Rapid modeling of hundreds of discrete waste packages in a geologic environment is enabled within this module by a suite of four closed form models for advective, dispersive, coupled, and idealized con- taminant transport: a Degradation Rate model, a Mixed Cell model, a Lumped Parameter model, and a 1-D Permeable Porous Medium model. A summary of the Cyder module, its timestepping algorithm, and the mathematical models implemented within it are presented. Additionally, parametric demonstrations simulations performed with Cyder are presented and shown to demonstrate functional agreement with parametric simulations conducted in a standalone hydrologic transport model, the Clay Generic Disposal System Model developed by the Used Fuel Disposition Campaign Department of Energy Office of Nuclear Energy.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Augmented Adam-Gibbs model for glass melt viscosity and configuration entropy as functions of temperature and composition

As the temperature of glass melt increases, its structure approaches the state of a simple liquid while the configuration entropy approaches a maximum value. We describe this gradual change using a power law function of inverse temperature. The Adam-Gibbs model for glass viscosity as a function of temperature and glass composition augmented in this way is greatly simplified when applied to common glass families occupying moderate composition regions, such as float glass or nuclear waste glasses, on which properties can be approximated as linear functions of composition. The parsimonious model thus obtained is preferable for use in optimizing glass formulation and mathematical modeling of glass melting and forming. For multicomponent glasses with N viscosity-affecting components, the augmented Adam-Gibbs model requires 2N + 3 adjustable parameters. The model efficacy is demonstrated by fitting the model to a viscosity-temperature-composition dataset for low-activity nuclear waste glasses.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Modeling Within-Host Dynamics of SARS-CoV-2 Infection: A Case Study in Ferrets

The pre-clinical development of antiviral agents involves experimental trials in animals and ferrets as an animal model for the study of SARS-CoV-2. Here, we used mathematical models and experimental data to characterize the within-host infection dynamics of SARS-CoV-2 in ferrets. We also performed a global sensitivity analysis of model parameters impacting the characteristics of the viral infection. We provide estimates of the viral dynamic parameters in ferrets, such as the infection rate, the virus production rate, the infectious virus proportion, the infected cell death rate, the virus clearance rate, as well as other related characteristics, including the basic reproduction number, pre-peak infectious viral growth rate, post-peak infectious viral decay rate, pre-peak infectious viral doubling time, post-peak infectious virus half-life, and the target cell loss in the respiratory tract. These parameters and indices are not significantly different between animals infected with viral strains isolated from the environment and isolated from human hosts, indicating a potential for transmission from fomites. While the infection period in ferrets is relatively short, the similarity observed between our results and previous results in humans supports that ferrets can be an appropriate animal model for SARS-CoV-2 dynamics-related studies, and our estimates provide helpful information for such studies.

59 BASIC BIOLOGICAL SCIENCES↗

Linear operation of a p-n-p-n tetrode.

Four terminal silicon planar p-n-p-n model operating as semiconductor small signal linear tetrode amplifier, discussing properties and mathematical models

Voulgaris, N. C.↗

Bounded state space

This investigation is divided functionally into three different areas: (1) study of bounded state space, (2) nonlinear smoothing theory, and (3) system identification. (1) Study of bounded state space: necessary and sufficient conditions for an optimal control are obtained for a bounded state space optimal control problem. The difficulty of determining the so-called jump conditions is eliminated; however, the problem of determining the points where the response either enters or leaves the boundary still remains unsolved. (2) Nonlinear smoothing theory: nonlinear fixed-interval, fixed-point and fixed-lag smoothing of a random signal generated by a stochastic differential equation are investigated. Results on the asymptotic stability of a linear constant-parameter fixed-interval smoothing filter are obtained. (3) System identification: a particular stochastic modelling problem is solved. An Ito stochastic integral equation is used to mathematically model a black box having multiple inputs and multiple outputs. A new method for identifying system parameters is presented.

Eyman, E. D.↗

Dynamic testing for shuttle design verification

Space shuttle design verification requires dynamic data from full scale structural component and assembly tests. Wind tunnel and other scaled model tests are also required early in the development program to support the analytical models used in design verification. Presented is a design philosophy based on mathematical modeling of the structural system strongly supported by a comprehensive test program; some of the types of required tests are outlined.

Green, C. E.↗