Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematical Modeling”

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 721 records · Page 40
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

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

The objective is to develop a general mathematical model and solution methodologies for analyzing structural response of thin, metallic shell-type structures under large transient, cyclic, or static thermomechanical loads. Among the system responses, which are associated with these load conditions, are thermal buckling, creep buckling, and racheting. Thus, geometric as well as material-type nonlinearities (of high order) can be anticipated and must be considered in the development of the mathematical model. Furthermore, this must also be accommodated in the solution procedures.

Simitses, G. J.↗
NASA NTRS1987

Nonisothermal elasto-visco-plastic response of shell-type structures

A mathematical model and solution methodologies for analyzing structural response of thin, metallic shell-type structures under large transient, cyclic or static thermomechanical loads is disussed. Among the system responses, which are associated with these load conditions, are thermal buckling and creep buckling. Thus, geometric as well as material-type nonlinearities (of high order) can be anticipated and have been considered in the development of the mathematical model. Furthermore, this was accommodated in the solution procedures. A complete true ab-inito rate theory of kinematics and kinetics for continuum and curved thin structures, without any restriction on the magnitude of the strains or the deformation, was formulated. The time dependence and large strain behavior are incorporated through the introduction of the time rates of the metric and curvature in two coordinate systems, a fixed (spatial) one and a convected (material) coordinate system. The relations between the time derivative and the covariant derivatives (gradients) have been developed for curved space and motion, so that the velocity components supply the connection between the equations of motion and the time rate of change of the metric and curvature tensors.

Simitses, G. J.↗
NASA NTRS1987

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

A general mathematical model and solution methodologies for analyzing structural response of thin, metallic shell-type structures under large transient, cyclic, or static thermomechanical loads are developed. Among the system responses, which are associated with these load conditions, are thermal buckling, creep buckling and ratcheting. Thus, geometric as well as material type nonlinearities (of high order) can be anticipated and must be considered in the development of the mathematical model. Furthermore, this must also be accommodated in the solution procedures.

Simitses, G. J.↗
NASA NTRS1991

A finite element program for postbuckling calculations (PSTBKL)

The object of the research reported herein was to develop a general mathematical model and solution methodologies for analyzing the structural response of thin, metallic shell structures under large transient, cyclic, or static thermochemical loads. This report describes the computer program resulting from the research. Among the system responses associated with these loads and conditions are thermal buckling, creep buckling, and ratcheting. Thus geometric and material nonlinearities (of high order) have been anticipated and are considered in developing the mathematical model. The methodology is demonstrated through different problems of extension, shear, and of planar curved beams. Moreover, importance of the inclusion of large strains is clearly demonstrated, through the chosen applications.

Simitses, G. T.↗
DOE OSTI2024

Multiscale modeling of HBV infection integrating intra- and intercellular viral propagation to analyze extracellular viral markers

Chronic infection with hepatitis B virus (HBV) is caused by the persistence of closed circular DNA (cccDNA) in the nucleus of infected hepatocytes. Despite available therapeutic anti-HBV agents, eliminating the cccDNA remains challenging. Thus, quantifying and understanding the dynamics of cccDNA are essential for developing effective treatment strategies and new drugs. However, such study requires repeated liver biopsy to measure the intrahepatic cccDNA, which is basically not accepted because liver biopsy is potentially morbid and not common during hepatitis B treatment. We here aimed to develop a noninvasive method for quantifying cccDNA in the liver using surrogate markers in peripheral blood. We constructed a multiscale mathematical model that explicitly incorporates both intracellular and intercellular HBV infection processes. The model, based on age-structured partial differential equations, integrates experimental data from in vitro and in vivo investigations. By applying this model, we roughly predicted the amount and dynamics of intrahepatic cccDNA within a certain range using specific viral markers in serum samples, including HBV DNA, HBsAg, HBeAg, and HBcrAg. Our study represents a significant step towards advancing the understanding of chronic HBV infection. The noninvasive quantification of cccDNA using our proposed method holds promise for improving clinical analyses and treatment strategies. By comprehensively describing the interactions of all components involved in HBV infection, our multiscale mathematical model provides a valuable framework for further research and the development of targeted interventions.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1985

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

A general mathematical model and solution methodologies for analyzing structural response of thin, metallic shell-type structures under large transient, cyclic or static thermomechanical loads is considered. Among the system responses, which are associated with these load conditions, are thermal buckling, creep buckling and ratchetting. Thus, geometric as well as material-type nonlinearities (of high order) can be anticipated and must be considered in the development of the mathematical model.

Simitses, G. J.↗
NASA NTRS1977

Symposium on Combustion /International/, 16th, Massachusetts Institute of Technology, Cambridge, Mass., August 15-20, 1976, Proceedings

Aspects of combustion technology in power systems are considered, taking into account a combustion in large boilers, the control of over-all thermal efficiency of combustion heating systems, a comparison of mathematical models of the radiative behavior of a large-scale experimental furnace, a concentric multiannular swirl burner, and the effects of water introduction on diesel engine combustion and emissions. Attention is also given to combustion and related processes in energy production from coal, spray and droplet combustion, soot formation and growth, the kinetics of elementary reactions, flame structure and chemistry, propellant ignition and combustion, fire and explosion research, mathematical modeling, high output combustion systems, turbulent flames and combustion, and ignition, optical, and electrical properties.

Source record↗
NASA NTRS1987

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

A general mathematical model and solution methodologies are being developed for analyzing structural response of thin, metallic shell-type structures under large transient, cyclic, or static thermomechanical loads. Among the system responses, which were associated with these load conditions, were thermal buckling, creep buckling, and ratcheting. Thus, geometric as well as material-type nonlinearities (of high order) can be anticipated and must be considered in the development of the mathematical model. Furthermore, this must also be accommodated in the solution process.

Simitses, G. J.↗
NASA NTRS1974

Stress tests on cylinders and aluminum panels

An optimization study of composite stiffened cylinders is discussed. The mathematical model for the buckling has been coupled successfully with the optimization program AESOP. The buckling analysis is based on the use of the smeared theory for the buckling of stiffened orthotropic cylindrical shells. The loading, radius, and length of the cylinder are assumed to be known parameters. An optimum solution gives the value of cross-sectional dimensions and laminate orientations. The different types of buckling modes are identified. Mathematical models are developed to show the relationships of the parameters.

Sobel, L. H.↗
NASA NTRS1986

Validation of large space structures by ground tests

The paper presents concepts designed to validate, through the use of ground tests, mathematical models of continuous type structures and structures comprised of interconnecting subsystems. For continuous-type structures, a multiple boundary condition test approach is considered in which the basic idea is to perform a large number of tests using artificial boundary conditions from which good ground test data can be obtained. The test ensures an arbitrarily large number of test data for use in the validation and updating of the mathematical model. Another approach, applicable to structures comprised of subsystems, involves the identification of significant structural elements for the system dynamic model which are not validated by standard modal tests of the subsystems.

Wada, B. K.↗
NASA NTRS1989

Motivating the sure bounds

Motivation is provided for a theorem that provides upper and lower bounds for the reliability of reconfigurable digital control systems. The reliability goals for these systems are too high to be established by natural life testing, which means the probability of system failure must be computed from mathematical models that capture the essential elements of fault occurence and system fault recovery. The upper and lower bound theorem shows that system recovery can be adequately described by its first two moments, provided component failure rate is low and system recovery is fast. This result greatly simplifies both the fault injection experiments that study system recovery and the numerical computations that estimate the probability of system failure from a mathematical model.

White, Allan L.↗
NASA NTRS1990

Estimability of geodetic parameters from space VLBI observables

The feasibility of space very long base interferometry (VLBI) observables for geodesy and geodynamics is investigated. A brief review of space VLBI systems from the point of view of potential geodetic application is given. A selected notational convention is used to jointly treat the VLBI observables of different types of baselines within a combined ground/space VLBI network. The basic equations of the space VLBI observables appropriate for convariance analysis are derived and included. The corresponding equations for the ground-to-ground baseline VLBI observables are also given for a comparison. The simplified expression of the mathematical models for both space VLBI observables (time delay and delay rate) include the ground station coordinates, the satellite orbital elements, the earth rotation parameters, the radio source coordinates, and clock parameters. The observation equations with these parameters were examined in order to determine which of them are separable or nonseparable. Singularity problems arising from coordinate system definition and critical configuration are studied. Linear dependencies between partials are analytically derived. The mathematical models for ground-space baseline VLBI observables were tested with simulation data in the frame of some numerical experiments. Singularity due to datum defect is confirmed.

Adam, Jozsef↗
NASA NTRS2006

Using Satellite Data in Weather Forecasting: I

The GOES Product Generation System (GPGS) is a set of computer codes and scripts that enable the assimilation of real-time Geostationary Operational Environmental Satellite (GOES) data into regional-weather-forecasting mathematical models. The GPGS can be used to derive such geophysical parameters as land surface temperature, the amount of precipitable water, the degree of cloud cover, the surface albedo, and the amount of insolation from satellite measurements of radiant energy emitted by the Earth and its atmosphere. GPGS incorporates a priori information (initial guesses of thermodynamic parameters of the atmosphere) and radiometric measurements from the geostationary operational environmental satellites along with mathematical models of physical principles that govern the transfer of energy in the atmosphere. GPGS solves the radiative-transfer equation and provides the resulting data products in formats suitable for use by weather-forecasting computer programs. The data-assimilation capability afforded by GPGS offers the potential to improve local weather forecasts ranging from 3 hours to 2 days - especially with respect to temperature, humidity, cloud cover, and the probability of precipitation. The improvements afforded by GPGS could be of interest to news media, utility companies, and other organizations that utilize regional weather forecasts.

Jedlovec, Gary J.↗
NASA NTRS1974

Evaluation of importance of lateral acceleration derivatives in extraction of lateral-directional derivatives at high angles of attack

A theoretical investigation was conducted to determine the importance of the lateral acceleration (beta) derivatives in the extraction of lateral-directional stability derivatives for swept wing airplanes at high angles of attack. Representative values of lateral acceleration derivatives in yaw and roll (Cn beta and Cl beta) were used in a computer program to generate representative flight motions at several angles of attack and altitudes. The computer-generated motions were then subjected to a parameter identification process based on a modified Newton-Raphson method. Two identification techniques were evaluated, one which included the beta derivatives and one which neglected them. The results of the study indicate that omission of the beta derivatives from mathematical models used in the derivative-extraction techniques can produce erroneous values for the lateral-directional stability derivatives particularly at high angles of attack, where the beta derivatives are large. The largest errors occur in the dynamic derivatives, but large errors may also occur in the static derivatives for cases in which the beta derivatives have large effects on the flight motions of the airplane. In addition, the resulting identified mathematical models provide poor motion prediction as well as erroneous predictions of dynamic modal characteristics. These results strongly indicate that the effects of beta derivatives should be considered in any attempt to extract lateral-directional aerodynamic parameters at high angles of attack.

Nguyen, L. T.↗
NASA NTRS2010

Physical Invariants of Intelligence

A program of research is dedicated to development of a mathematical formalism that could provide, among other things, means by which living systems could be distinguished from non-living ones. A major issue that arises in this research is the following question: What invariants of mathematical models of the physics of systems are (1) characteristic of the behaviors of intelligent living systems and (2) do not depend on specific features of material compositions heretofore considered to be characteristic of life? This research at earlier stages has been reported, albeit from different perspectives, in numerous previous NASA Tech Briefs articles. To recapitulate: One of the main underlying ideas is to extend the application of physical first principles to the behaviors of living systems. Mathematical models of motor dynamics are used to simulate the observable physical behaviors of systems or objects of interest, and models of mental dynamics are used to represent the evolution of the corresponding knowledge bases. For a given system, the knowledge base is modeled in the form of probability distributions and the mental dynamics is represented by models of the evolution of the probability densities or, equivalently, models of flows of information. At the time of reporting the information for this article, the focus of this research was upon the following aspects of the formalism: Intelligence is considered to be a means by which a living system preserves itself and improves its ability to survive and is further considered to manifest itself in feedback from the mental dynamics to the motor dynamics. Because of the feedback from the mental dynamics, the motor dynamics attains quantum-like properties: The trajectory of the physical aspect of the system in the space of dynamical variables splits into a family of different trajectories, and each of those trajectories can be chosen with a probability prescribed by the mental dynamics. From a slightly different perspective, the mechanism of decision-making is feedback from the mental dynamics to the motor dynamics, and this mechanism provides a quantum-like collapse of a random motion into an appropriate deterministic state, such that entropy undergoes a pronounced decrease. The existence of this mechanism is considered to be an invariant of intelligent behavior of living systems, regardless of the origins and material compositions of the systems.

Zak, Michail↗
NASA NTRS2003

Optimal Feedback Control of Thermal Networks

An improved approach to the mathematical modeling of feedback control of thermal networks has been devised. Heretofore software for feedback control of thermal networks has been developed by time-consuming trial-and-error methods that depend on engineers expertise. In contrast, the present approach is a systematic means of developing algorithms for feedback control that is optimal in the sense that it combines performance with low cost of implementation. An additional advantage of the present approach is that a thermal engineer need not be expert in control theory. Thermal networks are lumped-parameter approximations used to represent complex thermal systems. Thermal networks are closely related to electrical networks commonly represented by lumped-parameter circuit diagrams. Like such electrical circuits, thermal networks are mathematically modeled by systems of differential-algebraic equations (DAEs) that is, ordinary differential equations subject to a set of algebraic constraints. In the present approach, emphasis is placed on applications in which thermal networks are subject to constant disturbances and, therefore, integral control action is necessary to obtain steady-state responses. The mathematical development of the present approach begins with the derivation of optimal integral-control laws via minimization of an appropriate cost functional that involves augmented state vectors. Subsequently, classical variational arguments provide optimality conditions in the form of the Hamiltonian equations for the standard linear-quadratic-regulator (LQR) problem. These equations are reduced to an algebraic Riccati equation (ARE) with respect to the augmented state vector. The solution of the ARE leads to the direct computation of the optimal proportional- and integral-feedback control gains. In cases of very complex networks, large numbers of state variables make it difficult to implement optimal controllers in the manner described in the preceding paragraph.

Papalexandris, Miltiadis↗
NASA NTRS1994

Time-delay control of a magnetic levitated linear positioning system

In this paper, a high accuracy linear positioning system with a linear force actuator and magnetic levitation is proposed. By locating a permanently magnetized rod inside a current-carrying solenoid, the axial force is achieved by the boundary effect of magnet poles and utilized to power the linear motion, while the force for levitation is governed by Ampere's Law supplied with the same solenoid. With the levitation in a radial direction, there is hardly any friction between the rod and the solenoid. The high speed motion can hence be achieved. Besides, the axial force acting on the rod is a smooth function of rod position, so the system can provide nanometer resolution linear positioning to the molecule size. Since the force-position relation is highly nonlinear, and the mathematical model is derived according to some assumptions, such as the equivalent solenoid of the permanently magnetized rod, so there exists unknown dynamics in practical application. Thus 'robustness' is an important issue in controller design. Meanwhile the load effect reacts directly on the servo system without transmission elements, so the capability of 'disturbance rejection; is also required. With the above consideration, a time-delay control scheme is chosen and applied. By comparing the input-output relation and the mathematical model, the time-delay controller calculates an estimation of unmodeled dynamics and disturbances and then composes the desired compensation into the system. Effectiveness of the linear positioning system and control scheme are illustrated with simulation results.

Tarn, J. H.↗
NASA NTRS1998

A Formal Model of Partitioning for Integrated Modular Avionics

The aviation industry is gradually moving toward the use of integrated modular avionics (IMA) for civilian transport aircraft. An important concern for IMA is ensuring that applications are safely partitioned so they cannot interfere with one another. We have investigated the problem of ensuring safe partitioning and logical non-interference among separate applications running on a shared Avionics Computer Resource (ACR). This research was performed in the context of ongoing standardization efforts, in particular, the work of RTCA committee SC-182, and the recently completed ARINC 653 application executive (APEX) interface standard. We have developed a formal model of partitioning suitable for evaluating the design of an ACR. The model draws from the mathematical modeling techniques developed by the computer security community. This report presents a formulation of partitioning requirements expressed first using conventional mathematical notation, then formalized using the language of SRI'S Prototype Verification System (PVS). The approach is demonstrated on three candidate designs, each an abstraction of features found in real systems.

DiVito, Ben L.↗