Search NASA⌕ Search

SEARCH · Search NASA

Results for “Proving”

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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Energy Technology Proving Ground Program Plan

New methods of energy production and distribution are required to meet clean energy goals and demands across all U.S. energy sectors. Idaho National Laboratory’s (INL) Integrated Energy Systems (IES) initiative is enabling clean energy research, development, and demonstration (RD&D) activities. To date, IES demonstration programs have been limited by distributed infrastructure and a lack of large-scale facilities to accommodate industry-scale research of Technical Readiness Level (TRL) 6-8 technologies. The IES initiative plans to eliminate these constraints by establishing a new research complex at INL known as the Energy Technology Proving Ground (Proving Ground) to be led by the Energy and Environment Science and Technology Directorate. The Energy and Environment Science and Technology (EES&T) directorate, one of five Idaho National Laboratory (INL) RD&D organizations, focuses on clean energy technologies that anchor the industry-enabling research of the Proving Ground. The Proving Ground will combine diverse clean energy systems into lean integrated test bed of independent multiscale capabilities available to the government and commercial industries to perform research; and will enable INL’s goal of becoming a Net-Zero entity by 2031. This program encompasses existing and new research space at both the in-town Research and Education Campus (REC) and the Arco desert site (the Site). The Proving Ground will support the maturation of IES technologies from TRL 1 through 8 by providing the infrastructure and capabilities needed to sustain a continuum of RD&D from basic science to industry-scale. To establish The Proving Ground and meet INL’s net-zero goals by 2031, nine research program areas have been identified within the IES initiative that require expanded and new capital infrastructure. This program plan provides guidance for establishing the Proving Ground at the Site for plug-and-play pilot testing and proofing of integrated energy system functionality including fission and renewable energy sources for industry driven application platforms.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2025

Energy Technology Proving Ground FY-2026 Program Plan (Rev.1)

New methods of energy production and distribution are required to meet clean energy goals and demands across all U.S. energy sectors. Idaho National Laboratory’s (INL) Integrated Energy Systems (IES) initiative is enabling clean energy research, development, and demonstration (RD&D) activities. To date, IES demonstration programs have been limited by distributed infrastructure and a lack of large-scale facilities to accommodate industry-scale research of Technical Readiness Level (TRL) 6-8 technologies. The IES initiative plans to eliminate these constraints by establishing a new research complex at INL known as the Energy Technology Proving Ground (Proving Ground) to be led by the Energy and Environment Science and Technology Directorate. The Energy and Environment Science and Technology (EES&T) directorate, one of five Idaho National Laboratory (INL) RD&D organizations, focuses on clean energy technologies that anchor the industry-enabling research of the Proving Ground. The Proving Ground will combine diverse clean energy systems into lean integrated test bed of independent multiscale capabilities available to the government and commercial industries to perform research; and will enable INL’s goal of becoming a Net-Zero entity by 2031. This program encompasses existing and new research space at both the in-town Research and Education Campus (REC) and the Arco desert site (the Site). The Proving Ground will support the maturation of IES technologies from TRL 1 through 8 by providing the infrastructure and capabilities needed to sustain a continuum of RD&D from basic science to industry-scale. To establish The Proving Ground and meet INL’s net-zero goals by 2031, nine research program areas have been identified within the IES initiative that require expanded and new capital infrastructure. This program plan provides guidance for establishing the Proving Ground at the Site for plug-and-play pilot testing and proofing of integrated energy system functionality including fission and renewable energy sources for industry driven application platforms.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2023

What Crime? Legal Jurisdiction over Civilians in the Pacific Proving Ground

In late 1948 the Atomic Energy Commission “designated Enewetak Atoll as a permanent proving ground.” Subsequently renamed, the Pacific Proving Ground (PPG), six nuclear tests, including Mike, were conducted on the atoll. When Mike vaporized an entire island, it became clear that Enewetak’s small islands were insufficient and Bikini Atoll, abandoned after Operation Crossroads, was made part of the PPG. Authority to create the PPG resided in a “Trusteeship” agreement between the United States and the United Nations. Following the first World War, the Marshall Islands became a “Mandate” of the League of Nations. After World War II, the League’s successor, the United Nations, converted the Marshall Islands to a “Strategic Trusteeship” with the United States as its administrator. The Strategic Trust designation gave the U.S. nearly unfettered control over the islands, including the right to establish the PPG.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2022

Enhancing Local Grid Resilience with Small Hydropower Hybrids: Proving the concept through demonstration, simulation, and analysis with Idaho Falls Power

Large hydropower, connected to the transmission system and typically possessing significant ability to balance grid frequency, has long been central to black start plans in regions where it is present. Small hydropower possesses most of the attributes required for black start but is often connected to distribution or sub-transmission systems and has less ability to balance grid frequency. Integrating energy storage such as batteries or ultracapacitors increases the combined asset’s ability to balance frequency. This asset integration enables a bottom-up grid restoration paradigm in which critical electric loads on the local distribution system can be powered even when the regional transmission system is down. This report presents a field demonstration conducted with Idaho Falls Power that proved this concept. The contribution of energy storage in restoring the small hydro-dominated distribution grid and its operational sensitivity across different control settings are further analyzed using high-fidelity simulations. Readers will learn about technical details on the field demonstration setup, energy storage contribution to black start, detailed simulation steps of islanded distribution grid restoration, and usage of field demonstration measurements for transient model refinements. Collectively this report points to a great opportunity for small hydropower to enhance resilience of local electric grids.

13 HYDRO ENERGY↗
DOE OSTI2024

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Visualizing plant cell wall changes proves the superiority of hydrochloric acid over sulfuric acid catalyzed γ-valerolactone pretreatment

Thermochemical pretreatment is one of the key steps to process lignocellulosic biomass for production of biofuels and biomaterials. γ-valerolactone (GVL) has been used as a green and renewable solvent to efficiently dissolve lignin under acidic conditions and enhance subsequent enzyme digestibility. Further improvement is still required to lower the pretreatment temperature in order to reduce sugar degradation and irreversible lignin condensation, as well as the capital cost. In this study, we compared the use of HCl and H 2 SO 4 as catalysts during GVL pretreatment, and found the performance of GVL-HCl at 100 °C was comparable to that of GVL-H 2 SO 4 at 120 °C in terms of xylan and lignin removal and enzyme digestibility. We further monitored the lignin removal and cellulose accessibility in the cell walls at different pretreatment time points by imaging the changes in lignin auto-fluorescence and in CtCBM3-GFP binding with confocal laser scanning microscopy (CLSM), respectively. We found GVL-HCl pretreatment at a relative low temperature (100 °C) could rapidly remove lignin in the compound middle lamella and cell corner areas, which concurred with the increase of CtCBM3-GFP binding in these areas. Real-time imaging of cell wall degradation by cellulases further revealed that the secondary cell walls could be digested from both cell lumen and CML sides, and eventually fully deconstructed within 24 h. Furthermore, our results provide new insight into the effects of chloride anions on plant cell wall structure during GVL pretreatment, and offer potential routes to further optimize and enhance the efficiency of GVL-based pretreatment.

09 BIOMASS FUELS↗
DOE OSTI2020

Proving the Business Case for Building Analytics

As building monitoring becomes more common, facilities teams are faced with an overwhelming amount of data. These data do not typically lead to insights or corrective actions unless they are stored, organized, analyzed, and prioritized in automated ways. Buildings are full of energy savings potential that can be uncovered with the right analysis. With analytic software applied to everyday building operations, owners are using data to their advantage and realizing cost savings through improved energy management.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2021

Proving the 6d Cardy formula and matching global gravitational anomalies

A Cardy formula for 6d superconformal field theories (SCFTs) conjectured by Di Pietro and Komargodski in [1] governs the universal behavior of the supersymmetric partition function on S^1_\beta \times S^5 S β 1 × S 5 in the limit of small \beta β and fixed squashing of the S^5 S 5 . For a general 6d SCFT, we study its 5d effective action, which is dominated by the supersymmetric completions of perturbatively gauge-invariant Chern-Simons terms in the small \beta β limit. Explicitly evaluating these supersymmetric completions gives the precise squashing dependence in the Cardy formula. For SCFTs with a pure Higgs branch (also known as very Higgsable SCFTs), we determine the Chern-Simons levels by explicitly going onto the Higgs branch and integrating out the Kaluza-Klein modes of the 6d fields on S^1_\beta S β 1 . We then discuss tensor branch flows, where an apparent mismatch between the formula in [1] and the free field answer requires an additional contribution from BPS strings. This ``missing contribution’’ is further sharpened by the relation between the fractional part of the Chern-Simons levels and the (mixed) global gravitational anomalies of the 6d SCFT. We also comment on the Cardy formula for 4d \mathcal{N}=2 𝒩 = 2 SCFTs in relation to Higgs branch and Coulomb branch flows.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

CAD-based Energy & Cost Models Prove Affordable Net Zero Energy Performance for WonderWindows + 24" On-center Framing

Windows are thermally the “weakest link” in the building envelope. Increasing the thermal resistance of windows can make buildings more energy efficient and reduce the cost of electricity needed for conditioning the building. The proper design and placement of framing can also help to reduce the thermal bridging that occurs near the window frame area. This study investigates the energy performance of multi-pane acrylic windows fitting 24" on-center framing. Initial parametric analysis is done for a single zone accessory dwelling unit (ADU). Then, an energy model was developed for three types of wood-framed buildings: townhomes, stacked flats and hotels. A whole building energy simulation is performed for each of these building types in hot-humid Houston, mixed-humid New York, and cold-humid Minneapolis climates. The results show up to a 39% reduction in heating, ventilation, and air-conditioning (HVAC) related electricity consumption for the cold climate compared to the Base case which has window and wall properties based on ASHRAE standard 90.1 2019. In the hot climate, a modest increase in electricity consumption was seen due to an increase in cooling electricity demand. The ADU achieved Net Zero Energy performance in all 3 Climate Zones despite having the highest exterior surface area-to-floor area ratio: the ADU also had the highest PV kW to floor area ratio compared to the other multi-story building types. The townhomes, hotel and stacked flats respectively met 73, 52 and 57 % of electrical use in Houston, 71, 48 and 56 % in New York, and 63, 40 and 53 % in Minneapolis from energy produced by rooftop solar. If 400 W solar panels are used instead of 320 W panel used for energy simulation, it is estimated that in the townhomes, hotel and stacked flats rooftop solar can meet 91, 65 and 71 % of electrical use in Houston; 89, 60 and 70% in New York, and 79, 50 and 66 % in Minneapolis. A preliminary evaluation of cost shows that such superior performance can potentially be achieved at less first cost with this 24"on-center solution than conventional construction. All the building types at the three locations used for simulation had net energy use intensity under 20 kBtu/sf/year with 320 W solar panel and under 17 kBtu/sf/year with 400 W solar panel. Further tailoring of building envelope R-values and window solar heat gain to particular Climate Zone locations for each building type shows promise in reducing the HVAC electricity use that comprises almost half of building energy use.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2021

Applying the Euclidean-signature semi-classical method to the quantum Taub models with a cosmological constant and aligned electromagnetic field

We prove the existence of a countably infinite number of “excited” states for the Lorentzian-signature Taub–Wheeler–DeWitt (WDW) equation when a cosmological constant is present using the Euclidean-signature semi-classical method. We also find a “ground” state solution when both an aligned electromagnetic field and cosmological constant are present; as a result, conjecture that the Euclidean-signature semi classical method can be used to prove the existence of a countably “infinite” number of “excited” states when the two aforementioned matter sources are present. Afterward, we prove the existence of asymptotic solutions to the vacuum Taub–WDW equation using the “no boundary” and “wormhole” solutions of the Taub Euclidean-signature Hamilton–Jacobi equation and compare their mathematical properties. We then discuss the fascinating qualitative properties of the wave functions we have computed. By utilizing the Euclidean-signature semi-classical method in the above manner, we further show its ability to prove the existence of solutions to Lorentzian-signature equations without having to invoke a Wick rotation. This feature of not needing to apply a Wick rotation makes this method potentially very useful for tackling a variety of problems in bosonic relativistic field theory and quantum gravity

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Designing Secure and Resilient Cyber-Physical Systems Using Formal Models

This work-in-progress paper proposes a design methodology that addresses the complexity and heterogeneity of cyber-physical systems (CPS) while simultaneously proving resilient control logic and security properties. The design methodology involves a formal methods-based approach by translating the complex control logic and security properties of a water flow CPS into timed automata. Timed automata are a formal model that describes system behaviors and properties using mathematics-based logic languages with precision. Due to the semantics that are used in developing the formal models, verification techniques, such as theorem proving and model checking, are used to mathematically prove the specifications and security properties of the CPS. This work-in-progress paper aims to highlight the need for formalizing plant models by creating a timed automata of the physical portions of the water flow CPS. Extending the time automata with control logic, network security, and privacy control processes is investigated. The final model will be formally verified to prove the design specifications of the water flow CPS to ensure efficacy and security.

42 ENGINEERING↗
DOE OSTI2021

Discreteness and integrality in Conformal Field Theory

Various observables in compact CFTs are required to obey positivity, discreteness, and integrality. Positivity forms the crux of the conformal bootstrap, but understanding of the abstract implications of discreteness and integrality for the space of CFTs is lacking. We systematically study these constraints in two-dimensional, non-holomorphic CFTs, making use of two main mathematical results. First, we prove a theorem constraining the behavior near the cusp of integral, vector-valued modular functions. Second, we explicitly construct non-factorizable, non-holomorphic cuspidal functions satisfying discreteness and integrality, and prove the non-existence of such functions once positivity is added. Application of these results yields several bootstrap-type bounds on OPE data of both rational and irrational CFTs, including some powerful bounds for theories with conformal manifolds, as well as insights into questions of spectral determinacy. We prove that in rational CFT, the spectrum of operator twists t ≥ c/12 is uniquely determined by its complement. Likewise, we argue that in generic CFTs, the spectrum of operator dimensions Δ > c–1/12 is uniquely determined by its complement, absent fine-tuning in a sense we articulate. Finally, we discuss implications for black hole physics and the (non-)uniqueness of a possible ensemble interpretation of AdS 3 gravity.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗