Search NASA⌕ Search

SEARCH · Search NASA

Results for “Machining dynamics”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

Pichardie, David↗
NASA NTRSDate not supplied

Subscale Hardware-In-The-Loop Results for Hybrid Electric Turbofan Controls Use Cases

NASA is investigating hybrid electric turbine engine systems for commercial transport aircraft due to the potentially significant improvements hybrid electric technology offers in performance, fuel consumption, and operational and design flexibility. Recently, the technology has been tested at full scale in partnership with industry and advanced to Technology Readiness Level 4. This presentation will focus on a recent subscale hardware-in-the-loop test of an open source turbofan engine model developed by NASA. The Advanced Geared Turbofan 30,000 lbf – electrified (AGTF30-e) engine is used as a reference model to demonstrate control system design and use cases for an example mild hybrid electric system with no large-scale energy storage. This model is run in real-time in NASA’s Hybrid Propulsion Emulation Rig (HyPER) and is used to drive an emulation of the turbomachinery system using subscale electric machines. This dynamic scaled shaft emulation interacts with a subscale (<100 kW) hybrid system consisting of electric machines, motor controllers, and a programmable electronic load. Specific use cases demonstrated include the use of Turbine Electrified Energy Management to improve operation during transients, megawatt-scale power extraction from the AGTF30-e, and power transfer between engine spools. Results related to the effectiveness of hybrid systems are qualitatively compared to results from industry testing.

Hybrid↗
DOE OSTI2024

DS-GL: Advancing Graph Learning via Harnessing the Power of Nature within Dynamic Systems

With the rapid digitization of the world, an increasing number of real-world applications are turning to nonEuclidean data, modeled as graphs. Due to their intrinsic high complexity and irregularity, learning from graph data demands tremendous computational power. Recently, CMOS-compatible Ising machines, i.e., dynamic systems composed of CMOS components, have emerged as a new approach that harnesses the inherent power of natural annealing within dynamic systems to efficiently resolve binary optimization problems and have been adopted for traditional graph computation, such as max-cut. However, when performing complex Graph Learning (GL) tasks, Ising machines face significant hurdles: (i) they are inherently binary and thus ill-suited for real-valued problems; (ii) their expensive all-to-all coupling network that guarantees effective natural annealing poses daunting scalability concerns. To address these challenges, this paper proposes a nature-powered graph learning framework dubbed DS-GL, which is the first effort to transform the process of solving graph learning problems into the natural annealing process within a parameterized dynamic system embodied as a CMOS chip. To tackle the two major hurdles, DS-GL first augments the Ising machine architecture to modify the self-reaction term of its Hamiltonian function from linear to quadratic, effectively serving as an energy regulator. This adjustment maintains the system’s original physical interpretation while enabling it to process continuous, real-valued data. Second, to address the scaling issue, DS-GL further upgrades the real-valued dense Ising machine by decomposing it into a mesh-based multi-PE dynamic system that supports efficient distributed spatial-temporal co-annealing across different PEs through sparse interconnects. By exploiting the inherent sparsity and component structures in real-world graphs, DS-GL is able to map complex graph learning tasks onto the scalable dynamic system while maintaining high accuracy. Evaluations with three diverse GL applications across six real-world datasets, including traffic flow and COVID-19 prediction, show that DS-GL can deliver from 102× to 106× speedups and 500× energy reduction over Graph Neural Networks on GPUs, with 5% - 20% accuracy enhancement.

Song, Ruibing↗
DOE OSTI2026

Systematic multi-machine analysis of the exhaust time-dependent behavior in tokamaks

The understanding of the time-scales and associated transient behavior of fusion exhaust plasmas plays a crucial role in its dynamic modeling and its control. This work presents an overview of experimental investigations of the exhaust dynamics in TCV, MAST-U, ASDEX-Upgrade, WEST, DIII-D, and JET. From the presented experiments, a clear picture arises on properties of the exhaust dynamics across machines. Particularly, we observe that the scrape-off layer equilibrates on fast time-scales ($>$ 70 Hz) and that exhaust dynamics measured in response to gas valve modulations mostly behave smoothly and linearly, with similarities across devices, across scenarios (H-mode, L-mode), injected species, and injection locations. The measurements presented have formed the basis for systematic exhaust control on the considered devices. We now present this database for the essential validation of dynamic exhaust models for reactor design and control.

control↗
NASA NTRS1987

Dynamic task allocation for a man-machine symbiotic system

This report presents a methodological approach to the dynamic allocation of tasks in a man-machine symbiotic system in the context of dexterous manipulation and teleoperation. This report addresses a symbiotic system containing two symbiotic partners which work toward controlling a single manipulator arm for the execution of a series of sequential manipulation tasks. It is proposed that an automated task allocator use knowledge about the constraints/criteria of the problem, the available resources, the tasks to be performed, and the environment to dynamically allocate task recommendations for the man and the machine. The presentation of the methodology includes discussions concerning the interaction of the knowledge areas, the flow of control, the necessary communication links, and the replanning of the task allocation. Examples of task allocation are presented to illustrate the results of this methodolgy.

Parker, L. E.↗
NASA NTRS2003

Monitoring and Modeling Performance of Communications in Computational Grids

Computational grids may include many machines located in a number of sites. For efficient use of the grid we need to have an ability to estimate the time it takes to communicate data between the machines. For dynamic distributed grids it is unrealistic to know exact parameters of the communication hardware and the current communication traffic and we should rely on a model of the network performance to estimate the message delivery time. Our approach to a construction of such a model is based on observation of the messages delivery time with various message sizes and time scales. We record these observations in a database and use them to build a model of the message delivery time. Our experiments show presence of multiple bands in the logarithm of the message delivery times. These multiple bands represent multiple paths messages travel between the grid machines and are incorporated in our multiband model.

Frumkin, Michael A.↗
DOE OSTI2025

Failure Analysis–Informed Risk Assessment Framework for Geological Carbon Storage Using Numerical Simulation and Machine Learning

Geological carbon storage (GCS) is recognized as a critical technology for achieving large-scale reductions in anthropogenic carbon dioxide (CO 2 ) emissions. Ensuring long-term containment and safety requires robust risk assessment frameworks that account for geological uncertainty and identify potential failure scenarios. Among various indicators, the area of review (AoR) serves as a key metric for evaluating storage performance, regulatory compliance, and monitoring design, as it delineates the spatial extent impacted by pressure buildup and plume migration. However, conventional AoR-based risk assessments typically perturb parameters within narrow uncertainty bounds, potentially overlooking rare but high-impact events arising from extreme geological conditions. In this study, we present a failure analysis–informed risk assessment framework for large-scale GCS projects to improve site prescreening and monitoring design. A suite of 300 numerical simulations was generated using stochastic geological models that vary five key parameters: net-to-gross ratio, anisotropy azimuth, porosity multiplier, permeability multiplier, and vertical-to-horizontal permeability ratio. Among these, 200 realizations represent normal geological uncertainty, while 100 additional cases explore extreme yet plausible conditions for failure-case analysis. The AoR was simulated and computed from pressure and CO 2 saturation fields, where the baseline AoR boundary, representing the extent predicted under typical geological uncertainty, was defined as the union of 200 normal-range simulations, and failure was identified when extreme-range cases exceeded this baseline. Results show that incorporating broader parameter uncertainty produces significantly larger AoR extents, underscoring the potential underestimation of risk under conventional uncertainty ranges. Furthermore, spatial probability maps derived from failure-induced AoR exceedance identify regions requiring enhanced monitoring attention. Various machine learning (ML)–based classifiers were developed to predict failure occurrence from geological parameters, with the random forest model achieving the highest performance (F1-score of 0.986). Consistent findings from correlation coefficient, feature importance, and Sobol sensitivity analyses reveal that low net-to-gross ratios and permeability multipliers are the dominant risk drivers, reflecting reduced reservoir connectivity and limited pressure dissipation. Altogether, these results provide a novel framework for risk-informed site prescreening and monitoring design that explicitly considers rare but high-impact geological scenarios in GCS projects.

25 ENERGY STORAGE↗
DOE OSTI2025

CryoDRGN-AI: neural ab initio reconstruction of challenging cryo-EM and cryo-ET datasets

Proteins and other biomolecules form dynamic macromolecular machines that are tightly orchestrated to move, bind, and perform chemistry. Cryo-electron microscopy (cryo-EM) and cryo-electron tomography (cryo-ET) can access the intrinsic heterogeneity of these complexes and are therefore key tools for understanding their function. However, 3D reconstruction of the collected imaging data presents a challenging computational problem, especially without any starting information, a setting termed ab initio reconstruction. Here, in this study, we introduce cryoDRGN-AI, a method leveraging an expressive neural representation and combining an exhaustive search strategy with gradient-based optimization to process challenging heterogeneous datasets. Using cryoDRGN-AI, we reveal new conformational states in large datasets, reconstruct previously unresolved motions from unfiltered datasets, and demonstrate ab initio reconstruction of biomolecular complexes from in situ data. With this expressive and scalable model for structure determination, we hope to unlock the full potential of cryo-EM and cryo-ET as a high-throughput tool for structural biology and discovery.

Levy, Axel [Stanford Univ., CA (United States); SL↗
DOE OSTI2025

A generative artificial intelligence framework for long-time plasma turbulence simulations

Generative deep learning techniques are employed in a novel framework for the construction of surrogate models capturing the spatiotemporal dynamics of 2D plasma turbulence. The proposed Generative Artificial Intelligence Turbulence (GAIT) framework enables the acceleration of turbulence simulations for long-time transport studies. GAIT leverages a convolutional variational auto-encoder and a recurrent neural network to generate new turbulence data from existing simulations, extending the time horizon of transport studies with minimal computational cost. The application of the GAIT framework to plasma turbulence using the Hasegawa–Wakatani (HW) model is presented, evaluating its performance via various analyses. Very good agreement is found between the GAIT and the HW models in the spatiotemporal Fourier and Proper Orthogonal Decomposition spectra, the flow topology characterized by the Okubo–Weiss parameter, and the time autocorrelation function of turbulent fluctuations. Excellent agreement has also been obtained in the probability distribution function of particle displacements and the effective turbulent diffusivity. In-depth analyses of the latent space of turbulent states, choice of hyperparameters and alternative deep learning models for the time prediction are presented. Our results highlight the potential of Artificial Intelligence-based surrogate models to overcome the computational challenges in turbulence simulation, which can be extended to other situations such as geophysical fluid dynamics.

Artificial intelligence↗
DOE OSTI2025

Energetic and structural control of polyspecificity in a multidrug transporter

Multidrug efflux pumps are dynamic molecular machines that drive antibiotic resistance by harnessing ion gradients to export chemically diverse substrates. Despite their clinical importance, the molecular principles underlying multidrug promiscuity and energy efficiency remain poorly understood. Using multiparametric deep mutational scanning across eight substrates and two energy conditions, we deconvolute the contributions of substrate recognition, energetic coupling, and protein stability, providing an integrated, high-resolution view of multidrug transport. We find that substrate specificity arises from a distributed network of residues extending beyond the binding site, with mutations that reshape binding, coupling, conformational flexibility, and membrane interactions. Further, we apply a pH-based selection scheme to measure the effect of mutation on pH-dependent transport efficiency. By integrating these data, we reveal a fundamental relationship between efficiency and promiscuity: Highly efficient variants exhibit broad substrate profiles, while inefficient variants are narrower. In conclusion, these findings establish a direct link between energy coupling and polyspecificity, uncovering the biochemical logic underlying multidrug transport.

Biological Sciences↗
DOE OSTI2025

Editorial: Structure and mechanism of microbial membrane active transporters

Membrane active transporters play essential roles in microbial physiology. They couple energy transduction to conformational changes that drive translocation of nutrients, substrates and ions, as well as molecular communication. The structure and function of microbial membrane active transporters are highly diverse. Typical examples include the primary active transporters in the ATP-binding cassette (ABC) superfamily (Thomas and Tampé, 2020; Davidson et al., 2008; Locher et al., 2002), the secondary active transporters in the Major Facilitator Superfamily (MFS) (Drew et al., 2021; Kaback and Guan, 2019), and the ligand-gated porins in the TonB-dependent transporter (TBDT) family (Klebba et al., 2021). As structural, proteogenomic, and computational methods advance, active transporters are increasingly recognized as dynamic molecular machines whose mechanisms can now be visualized and modeled with remarkable precision, building on decades of biochemical and biophysical discovery that established the foundations of this field. The transporter studies recruited in this Research Topic provide us with new insights into the field including structure-function of sugar transporters in yeast, structural prediction and classification of ABC complexes in Bacillus subtilis, Type VI Secretion System (T6SS) in Bacteroides fragilis, amino acids uptake in Escherichia coli and bacterial spore germination.

mechanism↗
NASA NTRS1986

A 20 kiloHertz space station power system

The space station represents the next major U.S. commitment in space. The efficient delivery of power to multiple user loads is key to that success. In 1969, NASA Lewis Research Center began a series of studies with component and circuit developments that led to the high frequency, bi-directional, four quadrant resonant driven converter. Additional studies and subsequent developments into the early 1980's have shown how the high frequency ac power system could provide overall advantages to many aerospace power systems. Because of its wide versatility, it also has outstanding advantages for the Space Station Program and its wide range of users. High frequency ac power provides higher efficiency, lower cost, and improved safety. The 20 kHz power system has exceptional flexibility, is inherently user friendly, and is compatible with all types of energy sources - photovoltaic, solar dynamic, rotating machines or nuclear. Lewis has recently completed development under contract a 25 kW, 20 kHz ac power distribution system testbed. The testbed demonstrates flexibility, versatility, and transparency to user technology as well as high efficiency, low mass, and reduced volume.

Hansen, I. G.↗