Search NASA⌕ Search

SEARCH · Search NASA

Results for “Widely Used”

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 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Improving system reliability through formal analysis and use of checks in software

Software is playing increasingly important roles in avionics systems. It is widely used in navigation and, in some cases, in control loops that maintain aircraft stability. To guarantee the safety of flight systems, the FAA requires that critical components have a probability of failure no greater than 10(exp -9) per hour of flight. Software is being used to diagnose system components for failure. SIFT (Software Implemented Fault Tolerance) was a computer system developed to study the use of software to check for failure and manage processor reconfiguration. To guarantee that software satisfies its specifications, formal verification can be used. With this a program and its specification are viewed as mathematical objects, and a mathematical proof is used to show that the program and its specification are equivalent. In previous research, a theory of checking was developed to offer assistance in analyzing specifications and designing run-time checks. In the theory, checking is considered abstractly in terms of n-ary relations much like those of relational database theory. Within the theory check are categorized, checks on input and checks on results are considered, and formal attention is given to the minimization and logical combination of checks. The focus is upon input checks and the obstacles in checking input to critical systems. A central concern is with a property referred to as independence. The concern is with circumstances under which it is possible to apply isolated, independent checks to separate sensor inputs and be assure that all illegal input will be properly detected. Presently, independence is being investigated and checked in the context of the GCS (Guidance and Control System). The GCS simulator is intended for testing software that implements control laws for landing spacecraft. The large number of inputs and their complex interrelationships provide an exciting context in which to investigate independence and the difficulties of supplying input checks.

Staknis, Mark E.↗
NASA NTRS2017

Cryo-Gearbox Using Bulk Metallic Glasses

Harmonic drives are a highly efficient and compact gearing technology that are widely used in robotics and aerospace applications (e.g. Mars Science Lab) due to their excellent torque-to-mass ratio, low backlash, and high positional accuracy. One major problem using any gearing on other planetary bodies is the need for heaters to keep the gearbox from freezing. Currently the Mars Science Lab uses 40% of its daily power output to operate heaters to keep the grease in the gearboxes from freezing. Also wear can limit the lifetime and performance of these systems. One possible solution to this problem could be to use a relatively new material known as Bulk Metallic Glasses (BMGs, also known as Amorphous Metals). BMGs are non-crystalline metallic alloys that exhibit superior mechanical properties. Compared to modern aerospace steels BMGs have a higher strength, higher elastic limit, and lower density. BMGs used in harmonic drives (especially the flex spline) could lead to longer system lifetimes, lower mass, and increased performance. Jet Propulsion Laboratory (JPL) is researching a new method of manufacturing the flex spline by injection molding and is hoping to have reduced costs as well as the benefits listed above. In conjunction with Kennedy Space Center (KSC), JPL is providing gearboxes that KSC will test greaseless in an extreme environment. KSC has completed the assembly and checkout of a test stand that is capable of testing a gearbox in a vacuum of less than 2 milli torr, 100 Kelvin temperature, 250 Nm of load, input and output torque measurements and 120 RPM input speed.

Drew Smith↗
DOE OSTI2020

Prediction of gas hydrate saturation using machine learning and optimal set of well-logs

We report resistivity and acoustic logs are widely used to estimate gas hydrate saturation in various sedimentary systems using one of the two popular methods ((1) acoustic velocity and (2) electrical resistivity), but the limitations of these two methods are often overlooked, which include (i) well-specific calibration of empirical exponents in the electrical resistivity method, (ii) assumption of known pore morphology for gas hydrates in the acoustic velocity method, and (iii) presence of unknown mineralogy and bulk modulus terms in the acoustic velocity method. NMR-density porosity-derived gas hydrate saturation based on the analysis of the transverse magnetization relaxation time (T2) is considered the most precise method, but acquisition of NMR-based logs is limited at relatively recent drilled sites; additionally, its use in conventional oil and gas reservoirs is not that common due to higher cost and operational deployment limitations associated with acquiring NMR well-logs. This study proposes a new method that predicts gas hydrate saturation (S h ) for any well using porosity, bulk density, and compressional wave (P wave) velocity well-logs with neural network (or stochastic gradient descent regression) without any well-specific calibration and/or other aforementioned shortcomings of the existing methods. The method is developed by examining the underlying dependency between S h and different combinations of well-logs, chosen from 6 routine logs, with 12 different machine learning (ML) algorithms. The accuracy of the proposed method in predicting S h is ~ 84%, which is better than the accuracy of seismic and electrical resistivity methods (≤ 75%) per the results reported by three different studies. The robustness of the method in the specific case of permafrost-associated gas hydrates is demonstrated with well-log data from two wells drilled on the Alaska North Slope.

58 GEOSCIENCES↗
DOE OSTI2020

Evaluation of the cytotoxic and cellular proteome impacts of food-grade TiO2 (E171) using simulated gastrointestinal digestions and a tri-culture small intestinal epithelial model

Engineered nanomaterials (ENMs) are widely used in the food industry; however, regulations for ENMs in food are still in the early stages of development due to insufficient health data. This study investigated the cytotoxicity and changes to the proteomic profile in an in vitro small intestinal epithelium model after exposure to digested food models containing the ubiquitous engineered particulate food additive, TiO2 (E171). TiO2 at 0.75% or 1.5% (w/w) concentrations in either a fasting food model (FFM) or a standardized food model (SFM) based on American diet were digested using an in vitro oral-gastric-small intestinal simulator, and the resulting digestas were applied to a small intestinal epithelium tri-culture cellular model. Effects on cell layer integrity, cytotoxicity, and oxidative stress were assessed. In order to explore impact on cellular processes beyond basic cytotoxicity, mass spectrometrybased quantitative proteomic analyses of control and exposed tri-culture cells was performed. TiO2 in FFM, but not in SFM, produced significant, dose-dependent cytotoxicity, and at the higher dose caused significant oxidative stress, indicative of a food matrix effect. No significant perturbations of the cellular proteome were observed with TiO2 in either FFM or SFM food models. However, proteins involved in the tricarboxylic acid (TCA) cycle, gluconeogenesis, and translation were up-regulated by digestas from SFM compared to those from FFM, also indicative of food matrix effects in the case of food models alone. Interestingly, the differences in profiles between the two food models was more pronounced in the presence of TiO2 indicative of food matrix effects. Together, these results indicate that TiO2 in a fasting diet may be slightly cytotoxic, and that ingested TiO2 does not significantly alter the epithelial proteome, whereas the food matrix alone can have a dramatic effect on the proteome.

Cao, Xiaoqiong↗
DOE OSTI2026

Source-Resolved Inversion of Elemental Carbon Emissions in California Using Log-Space Bayesian Inference

Elemental carbon (EC), operationally quantified by thermal-optical analysis, is widely used as a proxy for black carbon (BC) relevant to short-term climate forcing and public health. Current EC emission inventories remain highly uncertain, with persistent discrepancies between bottom-up and top-down estimates. In this study, we develop a source-resolved, log-space Bayesian inversion framework applied to estimate California’s statewide EC emissions in 2019. By integrating surface EC measurements from the EPA’s Air Quality System network with high-resolution source contributions simulated by a chemical transport model, we identify a one-third underestimation in the existing statewide EC inventory, requiring an increase of the total from a prior of 8.58 [5.49–13.75] Gg year–1 to a posterior estimate of 12.78 [10.71–15.37] Gg year–1. This discrepancy is primarily driven by substantial underestimations in the power and industrial and off-road mobile sectors. Furthermore, population-weighted exposure analysis reveals a marked sectoral divergence between emission mass and health burden: off-road mobile sources dominate both emissions and exposure, accounting for 31% of statewide exposure, while residential wood combustion contributes 26% of total exposure despite comprising only 19% of total emissions, due to its source proximity to population. These findings underscore the need to update sector-specific EC speciation profiles and demonstrate that mitigation strategies targeting off-road mobile sources and residential wood combustion are critical for reducing EC-related health impacts in California.

Zhang, Jie↗
DOE OSTI2020

High-purity electrolytic lithium obtained from low-purity sources using solid electrolyte

Lithium (Li) is an important resource for the sustainability of socioeconomic systems given its wide use in various industrial applications. The industrial production of Li metals relies on the electrolysis of a mixture consisting of high-purity lithium chloride (LiCl) and potassium chloride. However, the purification of LiCl is expensive and unsustainable, requiring a substantial amount of energy and the use of noxious chemical reagents, so that producing high-purity Li efficiently and sustainably is a challenge. In this paper we report a new method of producing high-purity electrolytic Li from low-purity LiCl using solid-state electrolyte. Taking advantage of the high Li-ion selectivity of the solid electrolyte, we directly obtained high-purity metallic Li through the electrolysis of low-purity LiCl. Our new method provides two important advantages over conventional methods: (1) the cost of producing high-purity Li is reduced by using low-purity LiCl from low-grade brine, and the simpler purification process reduces the use of energy and chemical reagents; and (2) the operating temperature of the electrolytic process decreases from 400 °C to 240 °C, leading to an additional reduction in energy use.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Trapping and detection of single rubidium atoms in an optical dipole trap using a long-focus objective lens

The trapping of single atoms in optical dipole traps is widely used in experiments on the implementation of quantum processors based on neutral atoms, and studying interatomic interactions. Typically, such experiments employ lenses with a large numerical aperture (NA > 0.5), highly sensitive EMCCD cameras, or photon counters. In this work, we demonstrate trapping and detection of single rubidium atoms using a long-focus objective lens with a numerical aperture NA = 0.172 and a FLir Tau CNV sCMOS camera. (paper)

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS2016

Using RotCFD to Predict Isolated XV-15 Rotor Performance

Experimental techniques to measure rotorcraft aerodynamic performance are widely used. However, the need exists to understand the limitations of ground based testing by augmenting the analysis of experimental test results with Computational Fluid Dynamics (CFD) modeling. The immediate objective of the present research is to develop an XV-15 Tilt Rotor Research Aircraft rotor model for investigation of wind tunnel wall interference. The predicted performance of the XV-15 during various flight modes is compared to theoretical and experimental data. This research is performed to support wind tunnel tests scheduled for 2016. A mid-fidelity RANS solver, RotCFD, is used with an unsteady, incompressible flow model and a realizable k- turbulence model. The rotor is modeled using an actuator disk model or blade element model with a momentum source approach. In RotCFD the setup, grid generation and running of cases is faster than many CFD codes which makes it a useful engineering tool. Performance predictions need not be as accurate as high-fidelity CFD codes, as long as wall effects can be properly simulated. Being able to accurately predict unsteady rotorcraft performance on desktop-class computers provides a quicker analysis of highly complex flows during the initial design phase.

CFD↗
DOE OSTI2020

OpenACC Profiling Support for Clang and LLVM using Clacc and TAU

Since its launch in 2010, OpenACC has evolved into one of the most widely used portable programming models for accelerators on HPC systems today. Clacc is a project funded by the US Exascale Computing Project (ECP) to bring OpenACC support for C and C++ to the popular Clang and LLVM compiler infrastructure. In this paper, we describe Clacc's support for the OpenACC Profiling Interface, a critical component of the OpenACC specification that standardizes an interface that profiling tools and libraries can depend upon across OpenACC implementations. As part of Clacc's general strategy to build OpenACC support upon OpenMP, we describe how Clacc builds OpenACC Profiling Interface support upon an extended version of OMPT. We then describe how a major profiling and tracing toolkit within ECP, the TAU Performance System, takes advantage of this support. We also describe TAU's selective instrumentation support for OpenACC. Finally, using Clacc and TAU, we present example visualizations for several SPEC ACCEL OpenACC benchmarks running on an IBM AC922 node, and we show that the associated performance overhead is negligible.

Coti, Camille↗
DOE OSTI2023

Heat Exchangers Circuitry Optimization using Low-GWP Refrigerants in Reversible Heat Pump Applications

Tube-fin heat exchangers (TFHX) are widely used in heat pump applications. Circuitry optimization can improve system performance. Previous optimizations focus on improving component-level performance under a specific operating condition, i.e., the TFHX either works as a condenser or an evaporator. The optimal circuitry obtained under air conditioning (AC) mode cannot guarantee optimal performance when used in heat pump (HP) mode. This study implements a bi-objective formulation to achieve optimal system performance in both AC and HP modes. An integer permutation-based Genetic Algorithm is integrated with Heat Pump Design Model (HPDM) to perform heat pump optimization. Six refrigerants, i.e., R410A, R452B, R454B, R32, D2Y60 and L41a are investigated. Case studies show that optimal heat exchangers yield 2.1%-6.1% EER improvement under AC mode and 1.9%-8.5% COP improvement under HP mode. Use of this design approach can help assure a preferable performance of reversible heat pumps during both cooling and heating mode usage.

Li, Zhenning↗
DOE OSTI2022

Inline small-angle X-ray scattering-coupled chromatography under extreme hydrostatic pressure

As continuing discoveries highlight the surprising abundance and resilience of deep ocean and subsurface microbial life, the effects of extreme hydrostatic pressure on biological structure and function have attracted renewed interest. Biological small-angle X-ray scattering (BioSAXS) is a widely used method of obtaining structural information from biomolecules in solution under a wide range of solution conditions. Due to its ability to reduce radiation damage, remove aggregates, and separate monodisperse components from complex mixtures, size-exclusion chromatography-coupled SAXS (SEC-SAXS) is now the dominant form of BioSAXS at many synchrotron beamlines. While BioSAXS can currently be performed with some difficulty under pressure with non-flowing samples, it has not been clear how, or even if, continuously flowing SEC-SAXS, with its fragile media-packed columns, might work in an extreme high-pressure environment. Here we show, for the first time, that reproducible chromatographic separations coupled directly to high-pressure BioSAXS can be achieved at pressures up to at least 100 MPa and that pressure-induced changes in folding and oligomeric state and other properties can be observed. Further, the apparatus described here functions at a range of temperatures (0°C–50°C), expanding opportunities for understanding biomolecular rules of life in deep ocean and subsurface environments.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

pyGWBSE: a high throughput workflow package for GW-BSE calculations

Abstract We develop an open-source python workflow package, py GWBSE to perform automated first-principles calculations within the GW-BSE (Bethe-Salpeter) framework. GW-BSE is a many body perturbation theory based approach to explore the quasiparticle (QP) and excitonic properties of materials. GW approximation accurately predicts bandgaps of materials by overcoming the bandgap underestimation issue of the more widely used density functional theory (DFT). BSE formalism produces absorption spectra directly comparable with experimental observations. py GWBSE package achieves complete automation of the entire multi-step GW-BSE computation, including the convergence tests of several parameters that are crucial for the accuracy of these calculations. py GWBSE is integrated with Wannier90 , to generate QP bandstructures, interpolated using the maximally-localized wannier functions. py GWBSE also enables the automated creation of databases of metadata and data, including QP and excitonic properties, which can be extremely useful for future material discovery studies in the field of ultra-wide bandgap semiconductors, electronics, photovoltaics, and photocatalysis.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Diffusion Synthetic Acceleration for Heterogeneous Domains, Compatible with Voids

A standard approach to solving the S N transport equations is to use source iteration with diffusion synthetic acceleration (DSA). Although this approach is widely used and effective on many problems, there remain some practical issues with DSA preconditioning, particularly on highly heterogeneous domains. For large-scale parallel simulation, it is critical that both (a) preconditioned source iteration converges rapidly and (b) the action of the DSA preconditioner can be applied using fast, scalable solvers, such as algebraic multigrid (AMG). For heterogeneous domains, these two interests can be at odds. In particular, there exist DSA diffusion discretizations that can be solved rapidly using AMG, but they do not always yield robust/fast convergence of the larger source iteration. Conversely, there exist robust DSA discretizations where source iteration converges rapidly on difficult heterogeneous problems, but fast parallel solvers like AMG tend to struggle applying the action of such operators. Moreover, very few current methods for the solution of deterministic transport are compatible with voids. This paper develops a new heterogeneous DSA preconditioner based on only preconditioning the optically thick subdomains. The resulting method proves robust on a variety of heterogeneous transport problems, including a linearized hohlraum mesh related to inertial confinement fusion. Moreover, the action of the preconditioner is easily computed using O(1) AMG iterations, convergence of the transport iteration typically requires 2 to 5× fewer iterations than current state-of-the-art “full” DSA, and the proposed method is trivially compatible with voids. On the hohlraum problem, rapid convergence is obtained by preconditioning less than 3% of the mesh elements with five to ten AMG iterations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2024

Preserving isohydricity: vertical environmental variability explains Amazon forest water-use strategies

Abstract Increases in hydrological extremes, including drought, are expected for Amazon forests. A fundamental challenge for predicting forest responses lies in identifying ecological strategies which underlie such responses. Characterization of species-specific hydraulic strategies for regulating water-use, thought to be arrayed along an ‘isohydric–anisohydric’ spectrum, is a widely used approach. However, recent studies have questioned the usefulness of this classification scheme, because its metrics are strongly influenced by environments, and hence can lead to divergent classifications even within the same species. Here, we propose an alternative approach positing that individual hydraulic regulation strategies emerge from the interaction of environments with traits. Specifically, we hypothesize that the vertical forest profile represents a key gradient in drought-related environments (atmospheric vapor pressure deficit, soil water availability) that drives divergent tree water-use strategies for coordinated regulation of stomatal conductance (gs) and leaf water potentials (ΨL) with tree rooting depth, a proxy for water availability. Testing this hypothesis in a seasonal eastern Amazon forest in Brazil, we found that hydraulic strategies indeed depend on height-associated environments. Upper canopy trees, experiencing high vapor pressure deficit (VPD), but stable soil water access through deep rooting, exhibited isohydric strategies, defined by little seasonal change in the diurnal pattern of gs and steady seasonal minimum ΨL. In contrast, understory trees, exposed to less variable VPD but highly variable soil water availability, exhibited anisohydric strategies, with fluctuations in diurnal gs that increased in the dry season along with increasing variation in ΨL. Our finding that canopy height structures the coordination between drought-related environmental stressors and hydraulic traits provides a basis for preserving the applicability of the isohydric-to-anisohydric spectrum, which we show here may consistently emerge from environmental context. Our work highlights the importance of understanding how environmental heterogeneity structures forest responses to climate change, providing a mechanistic basis for improving models of tropical ecosystems.

Forestry↗
NASA NTRS1983

Chung-Li, Taiwan dual mode (Doppler and spaced antenna) VHF radar: Preliminary specifications

A major unresolved question in the field of atmospheric research using VHF radar techniques is the relative merit of the two most widely used systems. These systems are the Doppler method and the spaced antenna method. It has been suggested that one radar of each type be operated side by side for a direct comparison of the two techniques. This duplication of effort is not cost effective. The major components of both systems are identical, and one radar could be operated in both modes by proper design of a suitable antenna system and by proper data analysis. The Chung-Li radar will be able to switch between modes on a time scale of seconds and is the first VHF radar to be able to directly compare the Doppler data with spaced antenna data. The system will have performance comparable with the present SOUSY spaced antenna system and will provide mesospheric data in addition to stratospheric and tropospheric data. The major specifications of the Chung-Li radar are given.

Brosnahan, J. W.↗
NASA NTRS1985

Adaptive control of large space structures using recursive lattice filters

The use of recursive lattice filters for identification and adaptive control of large space structures was studied. Lattice filters are used widely in the areas of speech and signal processing. Herein, they are used to identify the structural dynamics model of the flexible structures. This identified model is then used for adaptive control. Before the identified model and control laws are integrated, the identified model is passed through a series of validation procedures and only when the model passes these validation procedures control is engaged. This type of validation scheme prevents instability when the overall loop is closed. The results obtained from simulation were compared to those obtained from experiments. In this regard, the flexible beam and grid apparatus at the Aerospace Control Research Lab (ACRL) of NASA Langley Research Center were used as the principal candidates for carrying out the above tasks. Another important area of research, namely that of robust controller synthesis, was investigated using frequency domain multivariable controller synthesis methods.

Goglia, G. L.↗