Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - CALCUS, OPERATIONAL”

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 505 records · Page 28

Effect of Surface Roughness on Dynamic Stall in Pitching Motion

Dynamic stall plays a critical role in determining the performance and stability of a wide range of fluid-dynamics systems in various engineering applications. This unsteady aerodynamic phenomenon is particularly significant for maneuvering aircraft wings, jet aircraft subjected to gust encounters, helicopter rotor blades, and wind turbine blades [1–3]. The prediction of the dynamic stall vortex (DSV) is challenging due to factors such as unsteady aerodynamics, three-dimensional (3-D) effects, turbulence and flow separation, incoming gust, and surface impact effects [4–6]. Hence, advanced computational techniques and modeling approaches in computational fluid dynamics (CFD) would be required to enhance the accuracy and reliability of DSV predictions in dynamic stall scenarios. In the past, Batther and Lee [7] employed delayed detached eddy simulations (DDES) to understand the flow physics associated with the onset of dynamic stall. Their approach demonstrated that DDES achieves results comparable to those obtained from large-eddy simulations at a reduced computational cost. In another study, Khalifa et al. [8] examined the 3-D aspects of dynamic stall on a NACA 0012 airfoil using DES solvers. In conclusion, the findings underlined the superiority of 3-D simulations over two-dimensional approaches, particularly in predicting the lift coefficient values and capturing dynamic stall stages more precisely.

97 MATHEMATICS AND COMPUTING↗

A mathematical theory of learning control for linear discrete multivariable systems

When tracking control systems are used in repetitive operations such as robots in various manufacturing processes, the controller will make the same errors repeatedly. Here consideration is given to learning controllers that look at the tracking errors in each repetition of the process and adjust the control to decrease these errors in the next repetition. A general formalism is developed for learning control of discrete-time (time-varying or time-invariant) linear multivariable systems. Methods of specifying a desired trajectory (such that the trajectory can actually be performed by the discrete system) are discussed, and learning controllers are developed. Stability criteria are obtained which are relatively easy to use to insure convergence of the learning process, and proper gain settings are discussed in light of measurement noise and system uncertainties.

Phan, Minh↗

Mathematical modeling of solid oxide fuel cells

Development of predictive techniques, with regard to cell behavior, under various operating conditions is needed to improve cell performance, increase energy density, reduce manufacturing cost, and to broaden utilization of various fuels. Such technology would be especially beneficial for the solid oxide fuel cells (SOFC) at it early demonstration stage. The development of computer models to calculate the temperature, CD, reactant distributions in the tubular and monolithic SOFCs. Results indicate that problems of nonuniform heat generation and fuel gas depletion in the tubular cell module, and of size limitions in the monolithic (MOD 0) design may be encountered during FC operation.

Lu, Cheng-Yi↗

Approximation rates of DeepONets for learning operators arising from advection–diffusion equations

Here we present the analysis of approximation rates of operator learning in Chen and Chen (1995) and Lu et al. (2021), where continuous operators are approximated by a sum of products of branch and trunk networks. In this work, we consider the rates of learning solution operators from both linear and nonlinear advection–diffusion equations with or without reaction. We find that the approximation rates depend on the architecture of branch networks as well as the smoothness of inputs and outputs of solution operators.

97 MATHEMATICS AND COMPUTING↗

Lyophilization for Water Recovery From Solid Waste

This abstract describes the development of a solid waste treatment system designed for a near term human exploration mission. The technology being developed is an energy- efficient lyophilization technique that recovers water from spacecraft solid waste. In the lyophilization process water in an aqueous waste is frozen and then sublimed, resulting in the separation of the waste into a dried solid material and liquid water. This technology is ideally suited to applications where water recovery rates approaching 100% are desirable but production of CO, is not. Water contained within solid wastes accounts for approximately 3% of the total water balance. If 100% closure of the water loop is desired the water contained within this waste would need to be recovered. To facilitate operation in microgravity thermoelectric heat pumps have be used in place of traditional fluid cycle heat pumps. A mathematical model of a thermoelectric lyophilizer has been developed and used to generate energy use and processing rate parameters. The results of laboratory investigations and discussions with ALS program management have been used to iteratively arrive at a prototype design. This design address operational limitations which were identified in the laboratory studies and handling and health concerns raised by ALS program management. The current prototype design is capable of integration into the ISS Waste Collection System.

Flynn, Michael↗

Deep transfer operator learning for partial differential equations under conditional shift

Transfer learning enables the transfer of knowledge gained while learning to perform one task (source) to a related but different task (target), hence addressing the expense of data acquisition and labelling, potential computational power limitations and dataset distribution mismatches. Here, we propose a new transfer learning framework for task-specific learning (functional regression in partial differential equations) under conditional shift based on the deep operator network (DeepONet). Task-specific operator learning is accomplished by fine-tuning task-specific layers of the target DeepONet using a hybrid loss function that allows for the matching of individual target samples while also preserving the global properties of the conditional distribution of the target data. Inspired by conditional embedding operator theory, we minimize the statistical distance between labelled target data and the surrogate prediction on unlabelled target data by embedding conditional distributions onto a reproducing kernel Hilbert space. We demonstrate the advantages of our approach for various transfer learning scenarios involving nonlinear partial differential equations under diverse conditions due to shifts in the geometric domain and model dynamics. Our transfer learning framework enables fast and efficient learning of heterogeneous tasks despite considerable differences between the source and target domains.

42 ENGINEERING↗

Identifying Adversarial Cyber-Activity in Operational Technology Environments Using Bayesian Networks

Critical infrastructure and other operational technology (OT) environments face increasing cybersecurity risks from adversarial behavior. This paper describes the development of a risk model using a Bayesian network to enhance the comprehension of observable cyber events caused by malicious activity in OT environments. The core of the Bayesian network is a process model that describes the stages of adversary behavior. The remainder of the model is based on the MITRE ATT&CK® for Industrial Control Systems (ICS) taxonomy, which includes tactics and techniques that may be used by the adversary. The observables provide evidence for adversary behavior through the intermediary technique and tactic nodes. One challenge in constructing this model is a lack of open-source data from cyber-attacks on OT systems. This paper discusses learning from limited data, the elicitation of expert opinion to construct the conditional probability tables when data is scarce, and the refinement of the most difficult conditional probabilities tables using several forms of sensitivity analyses. Finally, the Bayesian network is demonstrated using two historical case studies: the DarkSide ransomware attack on the Colonial Pipeline and the destructive cyberattack targeting the ThyssenKrupp blast furnace. Index Terms—Cybersecurity, industrial control systems, operational technology

97 - MATHEMATICS AND COMPUTING↗

Modeling Heat-Transfer in Animal Habitats in the Shuttle Orbiter Middeck

A mathematical model has been developed to evaluate the heat transfer characteristics of an Animal Enclosure Module (AEM) in the microgravity environment. The AEM is a spaceflight habitat that provides life support for up to six rodents in the Space Shuttle Middeck. Currently, temperatures within the AEM are recorded in real time using a solid state data recorder; however, the data are only available for analysis post-flight. This temperature information is useful for characterizing the thermal environment of the AEM for researchers, but is unavailable during flight operations. Because animal health in microgravity is directly linked to the thermal environment, the ability to predict internal AEM temperatures is extremely useful to life science researchers. NASA flight crews typically carry hand-held temperature measurement devices which allow them to provide ground researchers with near real time readings of AEM inlet temperature; however, higher priority operations limit the frequency at which these measurements can be made and subsequently downlinked. The mathematical model developed allows users to predict internal cage volume temperatures based on knowledge of the ambient air temperature entering the AEM air intake ports. Additionally, an average convective heat transfer coefficient for the AEM has been determined to provide engineers with the requisite information to facilitate future design improvements and product upgrades. The model has been validated using empirical data from a series of three Space Shuttle missions.

Eodice, Michael T.↗

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↗

Stochastic projective splitting

Here, we present a new, stochastic variant of the projective splitting (PS) family of algorithms for inclusion problems involving the sum of any finite number of maximal monotone operators. This new variant uses a stochastic oracle to evaluate one of the operators, which is assumed to be Lipschitz continuous, and (deterministic) resolvents to process the remaining operators. Our proposal is the first version of PS with such stochastic capabilities. We envision the primary application being machine learning (ML) problems, with the method’s stochastic features facilitating “mini-batch” sampling of datasets. Since it uses a monotone operator formulation, the method can handle not only Lipschitz-smooth loss minimization, but also min–max and noncooperative game formulations, with better convergence properties than the gradient descent-ascent methods commonly applied in such settings. The proposed method can handle any number of constraints and nonsmooth regularizers via projection and proximal operators. We prove almost-sure convergence of the iterates to a solution and a convergence rate result for the expected residual, and close with numerical experiments on a distributionally robust sparse logistic regression problem.

97 MATHEMATICS AND COMPUTING↗

A review on the sizing and selection of control valves for thermal hydraulics for reactor system applications

This study presents an overview regarding how to model/size, choose, and maintain control valves (CVs) for a reactor system thermal hydraulics experimentation—specifically simulating pipe break(s) and a loss of coolant accident (LOCA) analysis. In a thermal hydraulics test loop, CVs modulate fluid flow according to the control signal generated by the controller to control the process parameter. The selection of a CV in industrial applications involves many factors, including process diversity, safety, and reliability. Further, the key issues and challenges for performing proper mathematical modeling, installation, servicing, and calibration are also discussed for the benefit of operators and end-users. Additionally, this research includes case studies illustrating major plant-level accidents associated with the malfunctioning of valves. Therefore, the study will serve as a knowledge base or reference guide for young professionals and operators who wish to better understand process control applications.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Self-consistent dispersal puts tight constraints on the spatiotemporal organization of species-rich metacommunities

Dispersal can be critical to the maintenance of ecosystems as it allows local communities to be recolonized after extinction. However, it remains unclear whether the extinction-mitigating effect of dispersal persists when the number of competing species is large. Based on a spatially explicit mathematical description of metacommunities, we show that when many species coexist, each species operates near its extinction threshold, barely surviving due to dispersal. This has general consequences for spatiotemporal abundance patterns. For short-range dispersal, species organize into fractal spatiotemporal extinction patterns characteristic of a directed percolation phase transition. As species approach their extinction threshold, biodiversity is very sensitive to perturbation, suggesting that dispersal within a metacommunity puts tight constraints on the robustness and evolution of species-rich metacommunities. Biodiversity is often attributed to a dynamic equilibrium between the immigration and extinction of species. This equilibrium forms a common basis for studying ecosystem assembly from a static reservoir of migrants—the mainland. Yet, natural ecosystems often consist of many coupled communities (i.e., metacommunities), and migration occurs between these communities. The pool of migrants then depends on what is sustained in the ecosystem, which, in turn, depends on the dynamic migrant pool. This chicken-and-egg problem of survival and dispersal is poorly understood in communities of many competing species, except for the neutral case—the “unified neutral theory of biodiversity.” Employing spatiotemporal simulations and mean-field analyses, we show that self-consistent dispersal puts rather tight constraints on the dynamic migration–extinction equilibrium. When the number of species is large, species are pushed to the edge of their global extinction, even when competition is weak. As a consequence, the overall diversity is highly sensitive to perturbations in demographic parameters, including growth and dispersal rates. When dispersal is short range, the resulting spatiotemporal abundance patterns follow broad scale-free distributions that correspond to a directed percolation phase transition. The qualitative agreement of our results for short-range and long-range dispersal suggests that this self-organization process is a general property of species-rich metacommunities. Our study shows that self-sustaining metacommunities are highly sensitive to environmental change and provides insights into how biodiversity can be rescued and maintained.

54 ENVIRONMENTAL SCIENCES↗

Fusion by beam ions in a low collisionality, high mirror ratio magnetic mirror

Abstract The classical problem of neutral beam ions slowing down in a magnetic mirror geometry is revisited to provide predictive capability for the new Wisconsin HTS Axisymmetric Mirror under development at the University of Wisconsin. A Fokker–Planck model named fast beam ion solver (FBIS) is developed to include the spatial non-uniformity of a physical mirror geometry. The mathematical framework allows for efficient orbit averaging of the pitch-angle scattering operator, and permits a determination of the axial profile of the ambipolar potential confining the electrons. The numerical results from FBIS are consistent with earlier work, but further show how mirror-ratio and a near square magnetic well optimizes the fusion gain. The numerical results are also applied to inform the conceptual design of WHAM++, a low capital-cost breakeven-class magnetic mirror device.

Egedal, J. (ORCID:0000000177531529)↗

A Kalman filter for the Stoland system

A simple Kalman filter for potential use in STOL navigation systems is described. The mathematical formulation of all the elements of the filter, its initialization and overall operation are presented. Simulation results show that a typical approach flight to landing, the Kalman filter has much smaller errors during navigation on TACAN data and during transition from TACAN to MODILS data than a complementary filter. Summary type flow charts of the Kalman filter logic designed for the Sperry 1819A computer are presented. Also, the memory and real time requirements of the Kalman filter and complementary filter are described. The Kalman filter is shown to gain its superior performance at the expense of real time and memory required in the onboard computer.

Schmidt, S. F.↗

Materials and construction techniques for cryogenic wind tunnel facilities for instruction/research use

The results of the cryogenic wind tunnel program conducted at NASA Langley Research Center are presented to provide a starting point for the design of an instructional/research wind tunnel facility. The advantages of the cryogenic concept are discussed, and operating envelopes for a representative facility are presented to indicate the range and mode of operation. Special attention is given to the design, construction and materials problems peculiar to cryogenic wind tunnels. The control system for operation of a cryogenic tunnel is considered, and a portion of a linearized mathematical model is developed for determining the tunnel dynamic characteristics.

Morse, S. F.↗

Propulsion system mathematical model for a lift/cruise fan V/STOL aircraft

A propulsion system mathematical model is documented that allows calculation of internal engine parameters during transient operation. A non-realtime digital computer simulation of the model is presented. It is used to investigate thrust response and modulation requirements as well as the impact of duty cycle on engine life and design criteria. Comparison of simulation results with steady-state cycle deck calculations showed good agreement. The model was developed for a specific 3-fan subsonic V/STOL aircraft application, but it can be adapted for use with any similar lift/cruise V/STOL configuration.

Cole, G. L.↗

General Theory of the Double Fed Synchronous Machine

Motor and generator operation of a double-fed synchronous machine were studied and physically and mathematically treated. Experiments with different connections, voltages, etc. were carried out. It was concluded that a certain degree of asymmetry is necessary for the best utilization of the machine.

El-Magrabi, M. G.↗

Kinematics of the CS method for the treatment of molecular collisions

The problem of the quantum treatment of nonreactive collisions of two simple molecules or of an atom and a molecule is considered mathematically. Kinematical structure theorems analogous to the Wigner-Eckart theorem for scalar operators are derived for the transition operator (T-operator) of a two-molecule system, where, in addition to the usual conservation laws, certain additional conservation laws are presumed satisfied in a collision. The additional conservation laws were examined in order to develop a testable approximation scheme (CS method) for the specification of the kinematics of a system of two rigid diatomic molecules. The rand p-helicity basis states for a two-rigid rotor system are defined and unitary transformations established between these and conventional bases. It is found that only questionable criteria exist for testing the on-the-energy-shell matrix of a T(energy) operator for the presence of properties of two of the additional conservation laws.

Hahne, G. E.↗