Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - MATRICES”

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

A mathematical model of physiological processes and its application to the study of aging

The behavior of a physiological system which, after displacement, returns by homeostatic mechanisms to its original condition can be described by a simple differential equation in which the "recovery time" is a parameter. Two such systems, which influence one another, can be linked mathematically by the use of "coupling" or "feedback" coefficients. These concepts are the basis for many mathematical models of physiological behavior, and we describe the general nature of such models. Next, we introduce the concept of a "fatal limit" for the displacement of a physiological system, and show how measures of such limits can be included in mathematical models. We show how the numerical values of such limits depend on the values of other system parameters, i.e., recovery times and coupling coefficients, and suggest ways of measuring all these parameters experimentally, for example by monitoring changes induced by X-irradiation. Next, we discuss age-related changes in these parameters, and show how the parameters of mortality statistics, such as the famous Gompertz parameters, can be derived from experimentally measurable changes. Concepts of onset-of-aging, critical or fatal limits, equilibrium value (homeostasis), recovery times and coupling constants are involved. Illustrations are given using published data from mouse and rat populations. We believe that this method of deriving survival patterns from model that is experimentally testable is unique.

Aging/physiology↗
NASA NTRS2005

Transient Mathematical Modeling for Liquid Rocket Engine Systems: Methods, Capabilities, and Experience

The subject of mathematical modeling of the transient operation of liquid rocket engines is presented in overview form from the perspective of engineers working at the NASA Marshall Space Flight Center. The necessity of creating and utilizing accurate mathematical models as part of liquid rocket engine development process has become well established and is likely to increase in importance in the future. The issues of design considerations for transient operation, development testing, and failure scenario simulation are discussed. An overview of the derivation of the basic governing equations is presented along with a discussion of computational and numerical issues associated with the implementation of these equations in computer codes. Also, work in the field of generating usable fluid property tables is presented along with an overview of efforts to be undertaken in the future to improve the tools use for the mathematical modeling process.

Seymour, David C.↗
NASA NTRS2009

A Mathematical Basis for the Safety Analysis of Conflict Prevention Algorithms

In air traffic management systems, a conflict prevention system examines the traffic and provides ranges of guidance maneuvers that avoid conflicts. This guidance takes the form of ranges of track angles, vertical speeds, or ground speeds. These ranges may be assembled into prevention bands: maneuvers that should not be taken. Unlike conflict resolution systems, which presume that the aircraft already has a conflict, conflict prevention systems show conflicts for all maneuvers. Without conflict prevention information, a pilot might perform a maneuver that causes a near-term conflict. Because near-term conflicts can lead to safety concerns, strong verification of correct operation is required. This paper presents a mathematical framework to analyze the correctness of algorithms that produce conflict prevention information. This paper examines multiple mathematical approaches: iterative, vector algebraic, and trigonometric. The correctness theories are structured first to analyze conflict prevention information for all aircraft. Next, these theories are augmented to consider aircraft which will create a conflict within a given lookahead time. Certain key functions for a candidate algorithm, which satisfy this mathematical basis are presented; however, the proof that a full algorithm using these functions completely satisfies the definition of safety is not provided.

Maddalon, Jeffrey M.↗
NASA NTRS2009

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

Model-based development and automated code generation are increasingly used for production code in safety-critical applications, but since code generators are typically not qualified, the generated code must still be fully tested, reviewed, and certified. This is particularly arduous for mathematical and control engineering software which requires reviewers to trace subtle details of textbook formulas and algorithms to the code, and to match requirements (e.g., physical units or coordinate frames) not represented explicitly in models or code. Both tasks are complicated by the often opaque nature of auto-generated code. We address these problems by developing a verification-driven approach to traceability and documentation. We apply the AUTOCERT verification system to identify and then verify mathematical concepts in the code, based on a mathematical domain theory, and then use these verified traceability links between concepts, code, and verification conditions to construct a natural language report that provides a high-level structured argument explaining why and how the code uses the assumptions and complies with the requirements. We have applied our approach to generate review documents for several sub-systems of NASA s Project Constellation.

Denney, Ewen W.↗
NASA NTRS2011

Mathematical Model and Experimental Results for Cryogenic Densification and Sub-Cooling Using a Submerged Cooling Source

Among the many factors that determine overall rocket performance, propellant density is important because it affects the size of the rocket. Thus, in order to decrease the size of a rocket, it may be desirable to increase the density of propellants. This study analyzes the concept of increasing the propellant density by employing a cooling source submerged in the liquid propellant. A simple, mathematical model was developed to predict the rate of densification and the propellant temperature profile. The mathematical model is generic and applicable to multiple propellants. The densification rate was determined experimentally by submerging a cooling source in liquid oxygen at constant, positive pressure, and measuring the time rate of change in temperature with respect to vertical position. The results from the mathematical model provided a reasonable fit when compared to experimental results.

Partridge, J. K.↗
NASA NTRS2017

Mathematical Modeling of Electrodynamics Near the Surface of Earth and Planetary Water Worlds

An interesting feature of planetary bodies with hydrospheres is the presence of an electrically conducting shell near the global surface. This conducting shell may typically lie between relatively insulating rock, ice, or atmosphere, creating a strong constraint on the flow of large-scale electric currents. All or parts of the shell may be in fluid motion relative to main components of the rotating planetary magnetic field (as well as the magnetic fields due to external bodies), creating motionally-induced electric currents that would not otherwise be present. As such, one may expect distinguishing features in the types of electrodynamic processes that occur, as well as an opportunity for imposing specialized mathematical methods that efficiently address this class of application. The purpose of this paper is to present and discuss such specialized methods. Specifically, thin-shell approximations for both the electrodynamics and fluid dynamics are combined to derive simplified mathematical formulations describing the behavior of these electric currents as well as their associated electric and magnetic fields. These simplified formulae allow analytical solutions featuring distinct aspects of the thin-shell electrodynamics in idealized cases. A highly efficient numerical method is also presented that is useful for calculations under inhomogeneous parameter distributions. Finally, the advantages as well as limitations in using this mathematical approach are evaluated. This evaluation is presented primarily for the generic case of bodies with water worlds or other thin spherical conducting shells. More specific discussion is given for the case of Earth, but also Europa and other satellites with suspected oceans.

Tyler, Robert H.↗
NASA NTRS2021

A Mathematical Analysis of an Example Delay Tolerant Network using the Theory of Sheaves

NASA’s High-Data Rate Architecture (HiDRA) project is working towards a general yet practical toolkit and knowledge base to help usher in the era of new technologies for space systems communications, such as optical links. The High-Rate Delay Tolerant Networking (HDTN) implementation falls under the umbrellas of both the toolkit and the knowledge base, as its advancements illuminate more general areas of Delay Tolerant Networking (DTN) that need growth. The goal of this paper is to explore the usage of particular mathematical machineries, namely temporal flow networks and sheaves, to identify fundamental, underlying structures in DTN for space systems. Satellites, space assets, ground stations, etc. give rise to a disconnected network, and it is the goal of DTN to glue disparate links together into a cohesive system, that is, a network. Depending on a given link, the latencies might be beyond that which the Transmission Control Protocol (TCP) can handle, and contact times might have one-way light times in excess of minute (sometimes significantly longer). Some links might be periodic (say, due to orbital mechanics) or they might not be. This diversity has made it difficult to probe the underlying structure. An immediate consequence is that DTNs in practice today are controlled by globally distributed contact plans (schedules), which are the input to the contact graph routing (CGR) algorithm. While this is effective for smaller networks, it will be very difficult to scale for future networks. Deeper and more rigorous theory is needed to bring DTN to the next evolutionary step. To this end, this paper introduces and suggests a mathematical framework for DTN, and applies it to a space network that is simulated using an orbital analysis toolkit. The tag-line for the structure known as sheaves is that they are the mathematically precise way of gluing local data together into unique, global data. If we consider routing, we see that networking is a “sheafy” science. We then discuss a simplified sheaf model, known as the cellular sheaf. The sheaf-theoretic analysis is presented and discussed, as it is hoped that this and related papers will help form the primordial ooze of DTN theory. Finally there is a section of future work suggesting follow-on research.

Delay Tolerant Networking↗
DOE OSTI2018

Optimal control of mathematical models for the radiotherapy of gliomas: the scalar case

This paper deals with the optimal control of a mathematical model of glioma progression incorporating the basic facts of the evolution of primary brain tumors. We will consider a model of the simplest possible kind, based on the Fischer-Kolmogorov equations, using ideas from Pérez-García (Mathematical models for the radiotherapy of gliomas (preprint), 2016). The control is the 2n-tuple (t{sub 1},..., t{sub n}; d{sub 1},..., d{sub n}), where d{sub i} is the i-th applied radiotherapy dose an t{sub i} is the i-th administration for 1 ≤ i ≤ n. We search for controls that maximize the survival time, that is, the time at which the tumor mass reaches a critical value M{sub ∗}, over the class of admissible radiation times and doses. We present theoretical and numerical results that justify the relevance of the model and the existence of potential medical applications.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2016

Mathematics in modern immunology

Mathematical and statistical methods enable multidisciplinary approaches that catalyse discovery. Together with experimental methods, they identify key hypotheses, define measurable observables and reconcile disparate results. Here, we collect a representative sample of studies in T-cell biology that illustrate the benefits of modelling–experimental collaborations and that have proven valuable or even groundbreaking. Furthermore, we conclude that it is possible to find excellent examples of synergy between mathematical modelling and experiment in immunology, which have brought significant insight that would not be available without these collaborations, but that much remains to be discovered.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2016

Partial Support of Meetings of the Board on Mathematical Sciences and Their Applications

The National Academies of Sciences, Engineering, and Medicine received partial funding for quarterly meetings of and outreach activities by of the Board on Mathematical Sciences and Analytics (BMSA), formerly known as the Board on Mathematical Sciences and Their Applications. The total support from DOE was $240,000 over 36 months covering the period August 1, 2016 through July 31, 2019. Additional support for this activity comes from the National Science Foundation.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

A mathematical assessment of the isolation random forest method for anomaly detection in big data

We present the mathematical analysis of the Isolation Random Forest Method (IRF Method) for anomaly detection, proposed by Liu F.T., Ting K.M. and Zhou Z. H. in their seminal work as a heuristic method for anomaly detection in Big Data. We prove that the IRF space can be endowed with a probability induced by the Isolation Tree algorithm (iTree). In this setting, the convergence of the IRF method is proved, using the Law of Large Numbers. Here, a couple of counterexamples are presented to show that the method is inconclusive and no certificate of quality can be given, when using it as a means to detect anomalies. Hence, an alternative version of the method is proposed whose mathematical foundation is fully justified. Furthermore, a criterion for choosing the number of sampled trees needed to guarantee confidence intervals of the numerical results is presented. Finally, numerical experiments are presented to compare the performance of the classic method with the proposed one.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Research Connections: Career and Research Journeys from the SMP Community. Association for Women in Mathematics Series

This book aims to provide perspectives on important questions that undergraduate and graduate students in mathematics ask themselves. Each chapter gives readers a taste of a different mathematician’s work, presented with enough background material that an advanced undergraduate or early graduate student can understand the key ideas of the research. Each mathematical contribution is prefaced by a short biography of the mathematician who wrote the chapter, to give the reader a connection to the author and provide examples of paths from undergraduate education, through graduate school and beyond.

mathematics, research, biographies↗
DOE OSTI2019

Mathematical modeling in cancer nanomedicine: a review

Cancer continues to be among the leading healthcare problems worldwide, and efforts continue not just to find better drugs, but also better drug delivery methods. The need for delivering cytotoxic agents selectively to cancerous cells, for improved safety and efficacy, has triggered the application of nanotechnology in medicine. This effort has provided drug delivery systems that can potentially revolutionize cancer treatment. Nanocarriers, due to their capacity for targeted drug delivery, can shift the balance of cytotoxicity from healthy to cancerous cells. The field of cancer nanomedicine has made significant progress, but challenges remain that impede its clinical translation. Several biophysical barriers to the transport of nanocarriers to the tumor exist, and a much deeper understanding of nano-bio interactions is necessary to change the status quo. Mathematical modeling has been instrumental in improving our understanding of the physicochemical and physiological underpinnings of nanomaterial behavior in biological systems. Here, we present a comprehensive review of literature on mathematical modeling works that have been and are being employed towards a better understanding of nano-bio interactions for improved tumor delivery efficacy.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2016

Optimization of Cooling Water Flow Rate in Nuclear and Thermal Power Plants Based on a Mathematical Model of Cooling Systems{sup 1}

A mathematical model and algorithms are proposed for automatic calculation of the optimum flow rate of cooling water in nuclear and thermal power plants with cooling systems of arbitrary complexity. An unlimited number of configuration and design variants are assumed with the possibility of obtaining a result for any computational time interval, from monthly to hourly. The structural solutions corresponding to an optimum cooling water flow rate can be used for subsequent engineering-economic evaluation of the best cooling system variant. The computerized mathematical model and algorithms make it possible to determine the availability and degree of structural changes for the cooling system in all stages of the life cycle of a plant.

42 ENGINEERING↗
DOE OSTI2018

Mathematical Model for Collision–Coalescence Among Inclusions in the Bloom Continuous Caster with M-EMS

Mathematical simulation is an effective tool to analyze the fluid flow and the inclusion behavior in the bloom continuous caster with mold electromagnetic stirring (M-EMS). The mathematical model is applied to the modeling of magnetic field, flow field, and inclusion field. Due to the introduction of Archimedes force, the collision mechanism and inclusion’s slipping velocity should be modified in the inclusion mass and population conservation model. Numerically predicted magnetic field, flow field, and the inclusion spatial distribution conform to the experimental results in the existing literature. Lorentz force plays an important role in the fluid flow, and Archimedes force plays an important role in the inclusion distribution in the continuous caster. Due to Brownian collision, Stokes collision, Archimedes collision, and turbulent collision, the coalescence among inclusions occurs in the bloom continuous caster with M-EMS. Among the four types of collisions, turbulent collision occurs most frequently, followed by Archimedes collision and Stokes collision. The frequency of Brownian collision is several orders of magnitudes smaller and is therefore negligible. The inclusion volume concentration, number density, and characteristic radius exhibit a U-shape in the continuous caster without M-EMS. However, with M-EMS, they exhibit an inverted U-shape.

36 MATERIALS SCIENCE↗
DOE OSTI2019

The Oxidation Mechanism of Pure Magnesium Powder Particles: A Mathematical Approach

In this study, the mechanism of nonisothermal oxidation of magnesium powder was determined using a tension analysis, which was performed by mathematical modeling and the finite element method. The results revealed that phase transformation of magnesium hydroxide to magnesium oxide in the oxide layer plays an important role in this process so that formation of magnesium hydroxide in the early stages of oxidation (< 450 °C) leads to the formation of compressive stresses through the oxide layer, and as a result, the beginning of measurable oxidation is delayed. The results obtained by the mathematical model and finite element method were validated by the experimental results.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Mathematical analysis of laboratory microbial experiments demonstrating deterministic chaotic dynamics

Presented is a system of four ordinary differential equations and a mathematical analysis of microbiological experiments in a four-component chemostat—nutrient n, rods r, cocci c, and predators p. The analysis is consistent with the conclusion that previous experiments produced features of deterministic chaotic and classical dynamics depending on dilution rate. The surrogate model incorporates as much experimental detail as possible, but necessarily contains unmeasured parameters. The objective is to understand better the differences between model simulations and experimental results in complex microbial populations. The key methodology for simulation of chaotic dynamics, consistent with the measured dilution rate and microbial volume averages, was to cause the preference of p for r vs. c to vary with the r and c concentrations, to make r more competitive for nutrient than c, and to recycle some dying p biomass, leading to a modified version of the Monod kinetics model. Our mathematical model demonstrated that the occurrence of chaotic dynamics requires a predator, p, preference for r versus c to increase significantly with increases in r and c populations. Also included is a discussion of several generalizations of the existing model and a possible involvement of the minimum energy dissipation principle. This principle appears fundamental to thermodynamic systems including living systems. Several new experiments are suggested.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

Mathematical Programming Models for Shale Oil & Gas Development: A Review and Perspective

Here, in this paper, we provide a comprehensive review of mathematical programming models for shale oil & gas development, and we offer a perspective on outstanding research opportunities. We distinguish contributions in five major topic areas, namely: (1) development planning, (2) water management, (3) production optimization, (4) supplies, gathering & processing, and (5) life cycle analysis & sustainability. We highlight how various types of mathematical programming models (i.e., linear programs, nonlinear programs, mixed-integer linear programs, mixed-integer nonlinear programs) have been proposed primarily by the Process Systems Engineering community to address the respective decision-making problems, and we highlight instances of successful deployment in industry. Finally, based on a critical assessment of the existing body of work, we identify opportunities for future research across the major topic areas.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗