SEARCH · Search NASA
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.
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of their type refinement in COQ. Then the COQ proof assistant is used to prove the refinement correctness lemma. An example adapted from a protocol example illustrates our work.
As communication and networking technologies advance, networks will become highly complex and heterogeneous, interconnecting different network domains. There is a need to provide user authentication and data protection in order to further facilitate critical mission operations, especially in the tactical and mission-critical net-centric networking environment. The Autonomous Information Unit (AIU) technology was designed to provide the fine-grain data access and user control in a net-centric system-testing environment to meet these objectives. The AIU is a fundamental capability designed to enable fine-grain data access and user control in the cross-domain networking environments, where an AIU is composed of the mission data, metadata, and policy. An AIU provides a mechanism to establish trust among deployed AIUs based on recombining shared secrets, authentication and verify users with a username, X.509 certificate, enclave information, and classification level. AIU achieves data protection through (1) splitting data into multiple information pieces using the Shamir's secret sharing algorithm, (2) encrypting each individual information piece using military-grade AES-256 encryption, and (3) randomizing the position of the encrypted data based on the unbiased and memory efficient in-place Fisher-Yates shuffle method. Therefore, it becomes virtually impossible for attackers to compromise data since attackers need to obtain all distributed information as well as the encryption key and the random seeds to properly arrange the data. In addition, since policy can be associated with data in the AIU, different user access and data control strategies can be included. The AIU technology can greatly enhance information assurance and security management in the bandwidth-limited and ad hoc net-centric environments. In addition, AIU technology can be applicable to general complex network domains and applications where distributed user authentication and data protection are necessary. AIU achieves fine-grain data access and user control, reducing the security risk significantly, simplifying the complexity of various security operations, and providing the high information assurance across different network domains.
The objective of the Advanced Near Net Shape Technology (ANNST) project is to radically improve near net shape manufacturing methods from the current Technology/ Manufacturing Readiness Levels (TRL/MRL 3-4) to the point where they are viable candidates (TRL/ MRL-6) for shortening the time and cost for insertion of new aluminum alloys and revolutionary manufacturing methods into the development/improvement of space structures. Conventional cyrotank manufacturing processes require fabrication of multiple pieces welded together to form a complete tank. A variety of near net shape manufacturing processes has demonstrated excellent potential for enabling single-piece construction of components such as domes, barrels, and ring frames. Utilization of such processes can dramatically reduce the extent of welding and joining needed to construct cryogenic tanks and other aerospace structures. The specific focus of this project is to successfully mature the integrally stiffened cylinder (ISC) process in which a single-piece cylinder with integral stiffeners is formed in one spin/flow forming process. Structural launch vehicle components, like cryogenic fuel tanks (e.g., space shuttle external tank), are currently fabricated via multipiece assembly of parts produced through subtractive manufacturing techniques. Stiffened structural panels are heavily machined from thick plate, which results in excessive scrap rates. Multipiece construction requires welds to assemble the structure, which increases the risk for defects and catastrophic failures.
This paper introduces a new parameter to characterize the random component in temporal variability of atmospheric pollutants and proposes a simple statistical technique for its evaluation. That parameter is the net decay time (or the time scale) of the local anomalies in concentrations of atmospheric pollutants, rather than the traditionally used chemical lifetimes of total amounts of the species. Using widely available data of hourly multi-year surface trace gas pollutant concentrations we demonstrate a simplified way to estimate the net decay time with an exponential approximation of lag-correlation functions. We assessed the decay times of fluctuations in observations of eight atmospheric pollutants (SO2, NO, NO2, NOy, O3, CO, NH3, and HNO3) at two urban sites and one cleaner rural site in the Eastern US. The time scales of temporal fluctuations (net decay times) vary from about one hour to slightly more than one day. These scales are generally much shorter in urban environments than in remote regions. We also compared day- and night-time observations in warm and cold seasons. At night in the cold season, time scales of fluctuations in atmospheric pollutants are usually the longest. Such estimates should be useful to air quality prediction, public health, and satellite remote sensing research communities.
There are over 70,000 flights managed per day in the National Airspace System, with approximately 7,000 aircraft in the air over the United States at any given time. Operators of each of these flights would prefer to fly a user-defined “4D” trajectory (4DT), which includes arrival and departure times; preferred gates and runways at the airport; efficient, wind-optimal routes for departure, cruise and arrival phase of flight; and fuel efficient altitude profiles. To demonstrate the magnitude of this achievement a single flight from Los Angeles to Baltimore, accesses over 35 shared or “constrained” resources that are managed by roughly 30 air traffic controllers (at towers, approach control and en route sectors); along with traffic managers at 12 facilities, using over 22 different, independent automation system (including TBFM, ERAM, STARS, ASDE-X, FSM, TSD, GPWS, TCAS, etc.). In addition, dispatchers, ramp controllers and others utilize even more systems to manage each flight’s access to operator-managed resources. Flying an ideal 4DT requires successful coordination of all flight constraints among all flights, facilities, operators, pilots and controllers. Additionally, when conditions in the NAS change, the trajectories of one or more aircraft may need to be revised to avoid loss of flight efficiency, predictability, separation or system throughput. The Aviation Safety Network has released the 2016 airliner accident statistics showing a very low total of 19 fatal airliner accidents, resulting in 325 fatalities1. Despite several high profile accidents, the year 2016 turned out to be a very safe year for commercial aviation, Aviation Safety Network data show. Over the year 2016 the Aviation Safety Network recorded a total of 19 fatal airliner accidents [1], resulting in 325 fatalities. This makes 2016 the second safest year ever, both by number of fatal accidents as well as in terms of fatalities. In 2015 ASN recorded 16 accidents while in 2013 a total of 265 lives were lost. How can we keep it that way and not upset the apple cart by premature insertion of innovative technologies, functions, and procedures? In aviation, safety nets function as the last system defense against incidents and accidents. Current ground-based and airborne safety nets are well established and development to make them more efficient and reliable continues. Additionally, future air traffic control safety nets may emerge from new operational concepts.
In the northern hemisphere, terrestrial ecosystems transition from net sources of CO2 to the atmosphere in winter to net ecosystem carbon sinks during spring. The timing (or phase) of this transition, determined by the balance between ecosystem respiration (RECO) and primary production, is key to estimating the amplitude of the terrestrial carbon sink. We diagnose an apparent phase bias in the RECO and net ecosystem exchange (NEE) seasonal cycles estimated by the Terrestrial Carbon Flux (TCF) model framework and investigate its link to soil respiration mechanisms. Satellite observations of vegetation canopy conditions, surface meteorology, and soil moisture from the NASA SMAP Level 4 Soil Moisture product are used to model a daily carbon budget for a global network of eddy covariance flux towers. Proposed modifications to TCF include: the inhibition of foliar respiration in the light (the Kok effect); a seasonally varying litterfall phenology; an O2 diffusion limitation on heterotrophic respiration (RH); and a vertically resolved soil decomposition model. We find that RECO phase bias can result from bias in RECO magnitude and that mechanisms which reduce northern spring RECO, like substrate and O2 diffusion limitations, can mitigate the phase bias. A vertically resolved soil decomposition model mitigates this bias by temporally segmenting and lagging RH. Applying these model enhancements at Continuous Soil Respiration (COSORE) sites verifies their improvement of RECO and NEE skill compared to in situ observations (up to ∆RMSE = −0.76 g C m−2 d −1 35 ). Ultimately, these mechanisms can improve prior estimates of NEE for atmospheric inversion studies.
Climate extremes such as droughts, floods, heatwaves, frosts, and windstorms add considerable variability to the global year-to-year increase in atmospheric CO(2) through their influence on terrestrial ecosystems. While the impact of droughts on terrestrial ecosystems has received considerable attention, the response to flooding is not well understood. To improve upon this knowledge, the impact of the 2019 anomalously wet conditions over the Midwest and Southern US on CO(2) vegetation fluxes is examined in the context of 2017–2018 when such precipitation anomalies were not observed. CO(2) is simulated with NASA's Global Earth Observing System (GEOS) combined with the Low-order Flux Inversion, where fluxes of CO(2) are estimated using a suite of remote sensing measurements including greenness, night lights, and fire radiative power as well as with a bias correction based on insitu observations. Net ecosystem exchange CO(2) tracers are separated into the three regions covering the Midwest, South, and Eastern Texas and adjusted to match CO(2) observations from towers located in Iowa, Mississippi, and Texas. Results indicate that for the Midwestern region consisting primarily of corn and soybeans crops, flooding contributes to a 15%–25% reduction of annual net carbon uptake in 2019 in comparison to 2017 and 2018. These results are supported by independent reports of changes in agricultural activity. For the Southern region, comprised mainly of non-crop vegetation, annual net carbon uptake is enhanced in 2019 by about 10%–20% in comparison to 2017 and 2018. These outcomes show the heterogeneity in effects that excess wetness can bring to diverse ecosystems.
Governments and private industry around the world have established aggressive goals to achieve net-zero emissions for the power, industrial, and transportation sectors by 2050. These aggressive goals demand immediate action if we are to be successful, and they require us to think more holistically about our clean energy options. Programs within the U.S. Department of Energy (DOE) are addressing these holistic solutions. Traditionally, electricity generation and management and meeting energy demands for industry and transportation are considered independently. As we seek to achieve net-zero, we need to reassess energy demands. When we consider overall energy use, only one-third is in the form of electricity. Additional energy demands are in the form of heat or steam for industrial processes, as well as transportation. These sectors are much harder to abate, and electrification may not be the best option. Reducing environmental emissions at an affordable cost, while maintaining grid reliability and resilience, will require us to use all of the clean energy resources that we have available. That means coordinating the use of nuclear, renewables, and fossil fuels with carbon capture to meet growing demands for electricity, industrial applications, and mobility. The DOE Office of Nuclear Energy (DOE-NE) program on Integrated Energy Systems (IES) is led by researchers at Idaho National Laboratory (INL) and work is conducted in partnership with an array of other DOE laboratories, industry, and academia. The primary focus of IES research is to assess the technical and economic potential of IES to enhance the flexibility and utilization of nuclear reactors working alongside renewable generators to meet an array of energy demands—thereby maximizing the utilization of clean energy resources across all energy sectors. Various energy applications and product streams beyond electricity are being evaluated, ranging from generation of potable water to production of hydrogen, fertilizers, synthetic fuels, and chemicals. The DOE-NE program additionally partners with the Hydrogen and Fuel Cell Technologies Office under the DOE Office of Energy Efficiency and Renewable Energy to jointly fund the development of analysis tools, technologies, and nuclear-integrated hydrogen demonstration projects. This presentation highlights the wide array of R&D being conducted across multiple DOE-funded programs to develop and deploy nuclear-based IES that will be key to achieving our net-zero goals. By working with key collaborators in the nuclear industry, analytical studies are now becoming a reality in demonstration projects.
Governments and private industry around the world have established aggressive goals to achieve net-zero emissions for the power, industrial, and transportation sectors by 2050. These aggressive goals demand immediate action if we are to be successful, and they require us to think more holistically about our clean energy options. Programs within the U.S. Department of Energy (DOE) are addressing these holistic solutions. Traditionally, electricity generation and management and meeting energy demands for industry and transportation are considered independently. As we seek to achieve net-zero, we need to reassess energy demands. When we consider overall energy use, only one-third is in the form of electricity. Additional energy demands are in the form of heat or steam for industrial processes, as well as transportation. These sectors are much harder to abate, and electrification may not be the best option. Reducing environmental emissions at an affordable cost, while maintaining grid reliability and resilience, will require us to use all of the clean energy resources that we have available. That means coordinating the use of nuclear, renewables, and fossil fuels with carbon capture to meet growing demands for electricity, industrial applications, and mobility. The DOE Office of Nuclear Energy (DOE-NE) program on Integrated Energy Systems (IES) is led by researchers at Idaho National Laboratory (INL) and work is conducted in partnership with an array of other DOE laboratories, industry, and academia. The primary focus of IES research is to assess the technical and economic potential of IES to enhance the flexibility and utilization of nuclear reactors working alongside renewable generators to meet an array of energy demands—thereby maximizing the utilization of clean energy resources across all energy sectors. Various energy applications and product streams beyond electricity are being evaluated, ranging from generation of potable water to production of hydrogen, fertilizers, synthetic fuels, and chemicals. The DOE-NE program additionally partners with the Hydrogen and Fuel Cell Technologies Office under the DOE Office of Energy Efficiency and Renewable Energy to jointly fund the development of analysis tools, technologies, and nuclear-integrated hydrogen demonstration projects. This presentation highlights the wide array of R&D being conducted across multiple DOE-funded programs to develop and deploy nuclear-based IES that will be key to achieving our net-zero goals. By working with key collaborators in the nuclear industry, analytical studies are now becoming a reality in demonstration projects. The presentation specifically focuses on motivations for the paradigm shift in how nuclear energy is deployed and used, opportunities for nuclear energy to support an array of non-electric application, integration options, computational tools and experimental systems to support evaluation and to accelerate deployment, and industry partnerships.
When a neutron born in fission thermalizes to the order of $k$ $B$ $T$, it’s de-Broglie wavelength and energy approach the order of inter-atomic spacing and elementary lattice oscillations, respectively. $S$($a,β,t$) or the scattering law, uuantify these temperature-dependent crystallographic contributions to total cross section (or reaction rate). In a Monte Carlo analysis, cumulative distribution functions (CDFs) of $S$($a,β,t$) are loaded to memory from “A Compact ENDF” (ACE) files for stochastically selecting thermal scattered neutron trajectories. In this work, novel neural thermal scattering (NeTS) modules for $S$($a,β,t$) CDFs are designed, trained, serialized and embedded within SERPENT using Python’s limited C-API for on-the-fly deployment of crystalline graphite $S$($a,β,t$) sampling. Torchscript tracing and Numba just-in-time (JIT) compilation streamline neural inference on NVIDIA GPUs with CUDA libraries. Demonstrations of bare sphere thermalization of fast and thermal sources show excellent agreement between embedded NeTS in SERPENT and MCNP. With an explicit model of the reactor, NeTS can predict on-the-fly changes in TREAT neutron spectra as a function of local temperature, which can serve to improve transient and accident predictions in a multiphysics analysis framework. This framework can be further extended to account on-the-fly for changes in local graphitic microstructure to scattering cross sections, and outlines a novel coupling of modern machine learning with state-of-the-art reactor physics methods.
A method of forming a near-net shape structure comprises forming a structure comprising non-stoichiometric metal oxide comprising at least one metal and less than a stoichiometric amount of oxygen, and electrochemically reducing the non-stoichiometric metal oxide in an electrochemical cell to form a structure having a near-net shape and comprising the at least one metal having less than about 1,500 ppm oxygen. Related methods of forming a non-stoichiometric metal oxide by sintering, annealing, or additive manufacturing, and forming a near-net shape structure from the non-stoichiometric metal oxide, as well as related electrochemical cells are also disclosed.
Abstract Terrestrial enhanced weathering (EW) through the application of Mg‐ or Ca‐rich rock dust to soil is a negative emission technology with the potential to address impacts of climate change. The effectiveness of EW was tested over 4 years by spreading ground basalt (50 t ha −1 year −1 ) on maize/soybean and miscanthus cropping systems in the Midwest US. The major elements of the carbon budget were quantified through measurements of eddy covariance, soil carbon flux, and biomass. The movement of Mg and Ca to deep soil, released by weathering, balanced by a corresponding alkalinity flux, was used to measure the drawdown of CO 2 , where the release of cations from basalt was measured as the ratio of rare earth elements to base cations in the applied rock dust and in the surface soil. Basalt application stimulated peak biomass and net primary production in both cropping systems and caused a small but significant stimulation of soil respiration. Net ecosystem carbon balance (NECB) was strongly negative for maize/soybean (−199 to −453 g C m −2 year −1 ) indicating this system was losing carbon to the atmosphere. Average EW (102 g C m −2 year −1 ) offset carbon loss in the maize/soybean by 23%–42%. NECB of miscanthus was positive (63–129 g C m −2 year −1 ), indicating carbon gain in the system, and EW greatly increased inorganic carbon storage by an additional 234 g C m −2 year −1 . Our analysis indicates a co‐deployment of a perennial biofuel crop (miscanthus) with EW leads to major wins—increased harvested yields of 29%–42% with additional carbon dioxide removal (CDR) of 8.6 t CO 2 ha −1 year −1 . EW applied to maize/soybean drives a CDR of 3.7 t CO 2 ha −1 year −1 , which partially offsets well‐established carbon losses from soil from this crop rotation. EW applied in the US Midwest creates measurable improvements to the carbon budgets perennial bioenergy crops and conventional row crops.
Groundwater has long been a critical source of potable water, supplying one-third of all global water withdrawals and providing strategic reserves in times of drought (Konikow, 2012; Famiglietti, 2014). The risk in relying on groundwater is that it is often pumped at rates far greater than it can be naturally replenished. With increasing population and a changing climate, the depletion of potable water supplies has become an ever-growing concern (Srinivasan et al., 2012). Recently, the concept of “resilience” has been applied to groundwater, leaving many questions to be explored in terms of what resilience should mean for aquifers (Foster and MacDonald, 2014; Grönwall and Oduro-Kwarteng, 2017). The term is commonly used to indicate resilience to impacts of climate change specifically, but here we consider resilience in the context of more general water insecurity. Relatedly, the concept of “sustainable yield” has emerged in an attempt to determine a metric that can ensure the long-term resilience of groundwater systems, but the definition is fraught with inherent uncertainties and its quantification poses challenges (Rudestam and Langridge, 2014; Grönwall and Oduro-Kwarteng, 2017). At the heart of these concepts is a focus on sustainable management of aquifers. A sustainable approach to managing groundwater resources usually involves balancing long-term abstraction with the long-term recharge taking into account the needs for environmental flows and implementing drought-preparedness measures (Robins et al. 2006; Foster and MacDonald, 2014). At a high level, a sustainable balance of groundwater abstraction versus aquifer recharge may be considered “Net Zero” (NZ) or “Net Positive” (NP) in cases where recharge is equal to or in excess of abstraction, respectively. However, NZ/NP water management programs that address these concerns have varied definitions of compliance, which include considerations for the application at hand (ILFI, 2020; USGBC, 2020). Locations with high risk of low or poor water supply may be particularly interested in pursuing NZ/NP water. The AQUEDUCT Water Risk Atlas (World Resources Institute, 2019) indicates long-term availability, providing risk levels for quantity and quality of water at specific locations across the globe, for existing and predicted future conditions. This paper follows the U.S. Department of Energy (DOE) Federal Energy Management Program (FEMP) NZ water definition adopted by the U.S. Army for use at their installations, including Army Reserve Centers (ARCs). This definition also relates to the U.S. Army’s current focus on water resilience, which includes short-term and long-term availability of water resources.
As climate change intensifies, determining a developing region’s role in achieving net-zero emissions worldwide is crucial. However, regional efforts, considering historical emissions, remain underexplored. Here, we assess energy system changes, technology adoption, and investments needed for developing regions, including five major- and minor-emitting nations. Our analysis, using an integrated assessment model, shows a large gap in regional efforts toward global net-zero emissions, stemming from the necessary shift of energy systems to low-carbon resources. The use of new technologies, like electric vehicles, hydrogen, and carbon capture, varies by region, with the highest adoption required between 2020 and 2030. Financing this shift needs an average gross domestic product (GDP) investment rise of 0.464% in minor-emitting regions and up to 2.1% in major-emitting regions by 2085. Our results could guide policies and support setting quantifiable targets for developing nations. The findings are key to facilitating strategic technology use and finance mobilization to achieve a carbon-neutral future.
Picking protein particles in cryo-electron microscopy (cryo-EM) micrographs is a crucial step in the cryo-EM-based structure determination. However, existing methods trained on a limited amount of cryo-EM data still cannot accurately pick protein particles from noisy cryo-EM images. The general foundational artificial intelligence–based image segmentation model such as Meta’s Segment Anything Model (SAM) cannot segment protein particles well because their training data do not include cryo-EM images. Here, we present a novel approach (CryoSegNet) of integrating an attention-gated U-shape network (U-Net) specially designed and trained for cryo-EM particle picking and the SAM. The U-Net is first trained on a large cryo-EM image dataset and then used to generate input from original cryo-EM images for SAM to make particle pickings. CryoSegNet shows both high precision and recall in segmenting protein particles from cryo-EM micrographs, irrespective of protein type, shape and size. On several independent datasets of various protein types, CryoSegNet outperforms two top machine learning particle pickers crYOLO and Topaz as well as SAM itself. The average resolution of density maps reconstructed from the particles picked by CryoSegNet is 3.33 Å, 7% better than 3.58 Å of Topaz and 14% better than 3.87 Å of crYOLO. It is publicly available at https://github.com/jianlin-cheng/CryoSegNet
Accelerated global urban expansion not only directly occupies surrounding ecosystems, but also induces cascading losses of natural vegetation elsewhere through cropland displacement. Yet, how such effects alter the net primary productivity (NPP) worldwide remains unclear. Here, we quantified the direct and cascading impacts of global urban expansion on terrestrial NPP from 1992 to 2020 and projected the impacts under the shared socioeconomic pathways framework by 2100. We found that global urban expansion caused a cascading loss of 29.2 to 63.9 Tg C/year of terrestrial NPP in the historical period (1992–2020), accounting for 13–29% of the total direct NPP loss. Instead, our projections indicate that during 2020–2100, mainly due to the increased relocation of displaced croplands to low-productive ecosystems, the cascading impacts gradually change from negative to positive, leading to a net NPP increase. Such an increase may offset up to 7% of the total direct NPP loss, better balancing crop compensation with NPP maintenance. Our findings highlight the unexpected large cascading impacts of urban expansion on the carbon cycle and stress the importance of regulating land transitions to curtail land-use emissions.
This dataset contains the data used for the publication “Aboveground rather than belowground productivity drives variability in Miscanthus x giganteus net primary productivity”. This dataset contains Miscanthus x giganteus biomass, carbon, and nitrogen tissue data for aboveground and belowground plant parts collected in 2021 for three different sites in Iowa with three different nitrogen application rates. Data at the Iowa sites were collected via biometric hand harvesting, belowground excavations, and soil coring both in-clump and beside-clump. Data were collected at two collection timepoints to calculate the contributions of belowground parts to Miscanthus x giganteus net primary productivity. This dataset also includes Miscanthus x giganteus and Switchgrass soil coring and excavation data collected in 2012 at the University of Illinois Urbana Champaign Energy Farm.
Net Energy Analysis (NEA) is a structured, comprehensive method of quantifying the extent to which a given energy source is able to provide a net energy gain (i.e., an energy surplus) to the end user, after accounting for all the energy losses occurring along the chain of processes that are required to exploit it (i.e., for its extraction, processing and transformation into a usable energy carrier, and delivery to the end user), as well as for all the additional energy 'investments' that are required in order to carry out the same chain of processes. However, this general framework leaves the individual practitioner with a range of choices that can affect the results and thus, the conclusions of a NEA study. The current IEA PVPS guidelines were developed to provide guidance on assuring consistency, balance, and quality to enhance the credibility and reliability of the results from photovoltaic (PV) NEAs. The guidelines represent a consensus among the authors - PV NEA experts in North America and Europe - for assumptions made on PV performance, process inputs and outputs, methods of analysis, and reporting of the results. Guidance is given on photovoltaic-specific parameters used as inputs in NEA and on choices and assumptions in inventory data analysis and on implementation of modelling approaches. A consistent approach towards system modelling, the functional unit, the system boundaries and allocation aspects enhance the credibility of PV electricity NEA studies and enables balanced NEA-based comparisons. Specifically, "apples-to-oranges" comparisons of different energy carriers (e.g., fuels vs. electricity) are not methodologically sound and are to be avoided in all cases; also, any comparison across renewable and non-renewable electricity generation technologies must clearly point out the intrinsically short-term nature of the NEA viewpoint, which does not capture the long-term sustainability implications of renewable vs. non-renewable primary energy harvesting and use: non-renewable primary energy resources are depleted and finally exhausted (irrespective of the size of the EROI), while renewable primary energy resources are not. This document provides an in-depth discussion of a common metric of NEA, namely the energy return on investment (EROI), and how this is to be interpreted vis-a-vis the deceptively similar-sounding metrics in the field of Life Cycle Assessment (LCA): cumulative energy demand (CED) and non-renewable cumulative energy demand (nr-CED) per unit output. Specifically, a number of key differences are highlighted between these metrics as applied to electricity production systems, which are listed in Table S-1.