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 55 records · Page 3

JPSS Preparations at the Satellite Proving Ground for Marine, Precipitation, and Satellite Analysis

The ocean prediction center at the national hurricane center's tropical analysis and forecast Branch, the Weather Prediction center and the Satellite analysis branch of NESDIS make up the Satellite Proving Ground for Marine, Precipitation and Satellite Analysis. These centers had early exposure to JPSS products using the S-NPP Satellite that was launched in 2011. Forecasters continue to evaluate new products in anticipation for the launch of JPSS-1 sometime in 2017.

Remote Sensing↗

An Overview of NASA SPoRT GOES-R JPSS Proving Ground Testbed Activities

The Short-term Prediction Research and Transition (SPoRT) Center is funded by NASA's Earth Science Division and NOAA's JPSS and GOES-R Proving Grounds to transition satellite products and capabilities to the NWS to improve short term (0-48 hr) forecasts on a regional and local scale. SPoRT currently collaborates with 30+ NWS WFOs (at least one in each NWS region) and 5 National Centers/Testbeds. SPoRT matches user-identified forecast challenges to specific products, providing access to these data in AWIPS through new plug-in development, and generating applications-based training to use the products for their needs (R20). Upon transition, SPoRT collaborates with the user to assess the product impact in a real-world environment for feedback to product developers (O2R) and to benefit their peers.

GOES↗

NASA's Space Launch System: Progress Toward the Proving Ground

With significant and substantial progress being accomplished toward readying the Space Launch System (SLS) rocket for its first test flight, work is already also underway on preparations for the second flight - using an upgraded version of the vehicle - and beyond. SLS is the most powerful human-rated launch vehicle the United States has ever undertaken, and together with the Orion spacecraft will support human exploration missions into the proving ground of cislunar space and ultimately to Mars. This paper will provide a description of the SLS vehicle, and an overview of the vehicle's capabilities and utilization potential.

Jackman, Angie↗

NASA'S Space Launch System: Progress Toward the Proving Ground

With significant and substantial progress being accomplished toward readying the Space Launch System (SLS) rocket for its first test flight, work is already also underway on preparations for the second flight – using an upgraded version of the vehicle – and beyond. Designed to support human missions into deep space, Space Launch System (SLS), is the most powerful human-rated launch vehicle the United States has ever undertaken, and together with the Orion spacecraft will support human exploration missions into the proving ground of cislunar space and ultimately to Mars. For its first flight, SLS will deliver a near-term heavy-lift capability for the nation with its 70-metric-ton Block 1 configuration. Each element of the vehicle now has flight hardware in production in support of the initial flight of the SLS, which will propel Orion around the moon and back. For its second flight, SLS will be upgraded to the more-capable Block 1B configuration. While the Block 1 configuration is capable of delivering more than 70 metric tons to low Earth orbit, the Block 1B vehicle will increase that capability to 105 metric tons. For that flight, the new configuration introduces two major new elements to the vehicle – an Exploration Upper Stage (EUS) that will be used for both ascent and in-space propulsion, and a Universal Stage Adapter (USA) that serves as a “payload bay” for the rocket, allowing the launch of large exploration systems along with the Orion spacecraft. Already, flight hardware is being prepared for the Block 1B vehicle. Beyond the second flight, additional upgrades will be made to the vehicle. The Block 1B vehicle will also be able to launch 8.4-meter-diameter payload fairings, larger than any previously flown, and the Spacecraft Payload Integration and Evolution (SPIE) Element will oversee development and production of those fairings. Ultimately, SLS will be evolved to a Block 2 configuration, which will replace the solid rocket boosters on the Block 1 and 1B vehicles with more powerful boosters, and will be capable of delivering at least 130 metric tons to LEO. The Block 2 vehicle will be capable of launching even larger 10-meter diameter fairings, which will enable human mission of Mars. With these fairings, the Block 1B and 2 configurations of SLS will also be enabling for a wide variety of other payloads. For robotic science probes to the outer solar system, for example, SLS can cut transit times to less than half that of currently available vehicles, producing earlier data return, enhancing iterative exploration, and reducing mission cost and risk. In the field of astrophysics, SLS’ high payload volume, in the form of payload fairings with a diameter of up to 10 meters, creates the opportunity for launch of large-aperture telescopes providing an unprecedented look at our universe, and offers the ability to conduct crewed servicing missions to observatories stationed at locations beyond low Earth orbit. This paper will provide a description of the SLS vehicle, and an overview of the vehicle’s capabilities and utilization potential.

Jackman, Angie↗

The Transition of RGB Imagery Applied to Fog and Low Clouds from NASA Capabilities within the GOES Proving Ground to the Present Era

A wide range of RGB Imagery products are now available from the GOES ABI instrument, but less than a decade earlier, these false-color imagery products were only seen over Europe and Africa within the suite of the EUMETSAT SEVIRI geostationary instrument. The issue of fog and low clouds as applied to aviation and ground transportation hazards has been a long-standing challenge where satellite imagery provides notable value to visually inspect large spatial areas vs relying on in situ point observations. A legacy channel difference product was the standard satellite imagery tool, but the Nighttime Microphysics RGB would soon be introduced with GOES-R and -S where users had no interpretation experience. As part of the GOES Proving Ground efforts, the SPoRT program utilized existing NASA LEO satellites to demonstrate the future ABI capabilities. Operational users were able to test and adopt the RGBs from NASA LEO instruments prior to the GOES-R launch in order to be ready for the wealth of new channels available from ABI. The transition experience and methods from these proxy RGBs to the start of the GOES-R ABI era to the present day provides insights to the value of these new qualitative products in operations and to how the transition method of such products can be successfully implemented as well as future needs in the RGB Imagery area.

Kevin Fuell↗

ARCTRON: A Rapid Experimental Proving Ground for TPS Experiments and Arcjet Technology Development

Innovation in high-enthalpy facilities is fundamentally limited by the cost and risk of experimentation. New concepts for plasma control, diagnostics, facility components, and plasma-material interaction often require repeated iterations that are impractical to perform in production arcjets. As a result, promising ideas may remain unexplored or reach operational facilities only after significant development effort. ARCTRON is being developed as a rapid experimental proving ground where new ideas in plasma science, arcjet engineering, diagnostics, and material response can be conceived, tested, and quantitatively evaluated before transition to large-scale facilities. The platform combines radio-frequency (RF) and DC arc plasma generation, externally applied magnetic fields, configurable gas composition, reduced-pressure operation, laser heating, electrical biasing, and modular diagnostic access. These capabilities permit the plasma source, applied forcing, test article, and measurement configuration to be modified independently, allowing individual physical mechanisms to be isolated more readily than in a traditional test environment. One class of investigations addresses fundamental plasma-surface interaction physics. Conventional material tests often expose a specimen simultaneously to convective heating, reactive species, pressure, shear, radiation, and surface-current effects. The resulting material response may be measured accurately, while the contribution of each mechanism remains difficult to identify. ARCTRON is designed to vary these effects selectively. Plasma chemistry can be changed independently through configurable gas mixtures; magnetic fields and electrical biasing can modify charged-particle transport; laser heating can provide a non-plasma thermal input; and pressure, flow, and discharge mode can be varied over a broad operating space. This enables controlled tests of hypotheses involving surface catalycity, reactive-species transport, plasma-assisted oxidation, electromagnetic effects, shear, and the relative contributions of thermal and chemical loading. A second class of investigations enabled by this approach concerns the engineering of high-enthalpy facilities themselves. Arc-heated facilities are limited by electrode erosion, unstable arc attachment, localized heating, and damage to nozzles and other plasma-facing components. ARCTRON provides a lower-cost environment for testing concepts intended to mitigate these limitations. Candidate investigations include the use of applied magnetic fields to alter current paths and reduce plasma interaction with nozzle walls, ExB forcing to introduce controlled plasma rotation, magnetic or geometric approaches for distributing arc attachment, and alternative electrode or discharge configurations intended to reduce erosion and improve stability. Because the platform is reconfigurable, these concepts can be evaluated through repeated design--build--test cycles before they are considered for implementation in operational facilities. The platform also supports the development and validation of diagnostics that may be difficult to introduce initially into a large arcjet. Current and planned measurements include spatially resolved optical emission spectroscopy, electrostatic probes, fast imaging, pyrometry, calorimetry, laser-induced fluorescence, and absorption spectroscopy. These diagnostics are intended not merely to document a nominal operating condition, but to constrain the local plasma state and its relationship to component or material response. The modular facility geometry allows diagnostic concepts to be tested, calibrated, and compared under repeatable conditions before deployment in more demanding environments. ARCTRON is also supported by an integrated software suite. Automated control and data acquisition allow discharge parameters, gas composition, magnetic fields, diagnostic timing, and test configuration to be recorded as part of each experiment (STARDAC - Software for Testing, Analysis, Research Data, and Control). The Backend for Experiment Analysis, Storage, and Traceability (BEAST) is a database that provides the infrastructure needed to associate heterogeneous measurements with facility configuration, specimen identity, calibration state, geometry, and analysis provenance. This backend is particularly important for exploratory campaigns, in which many related configurations may be tested, and the value of an individual experiment depends on its connection to earlier and subsequent iterations. Complementary analysis capabilities, including computer-vision-based transient response measurements (arcjetCV), three-dimensional surface reconstruction (STARSCAN), and model-based Bayesian inference (SHIELD), and tomography data analysis (TOMATO, PuMA) can be incorporated when required by a specific hypothesis without becoming the focus of every campaign. The central objective of ARCTRON is therefore not to maximize heat flux or reproduce a complete flight environment. Its purpose is to reduce the cost and time required to ask consequential questions about plasma behavior, plasma-facing materials, diagnostics, and arcjet technology. By providing a controlled environment for rapid reconfiguration, mechanism isolation, quantitative measurement, and iterative engineering, ARCTRON can help mature concepts that would otherwise remain too speculative or too risky for evaluation in production facilities. The resulting knowledge can then guide the design of material models, focus test objectives in larger arcjets, reduce facility-development risk, and improve the physical basis of high-enthalpy ground testing. This work will present the ARCTRON architecture, operating modes, diagnostic suite, and digital experimental workflow. Initial experimental results from the first integrated operation of the facility will be presented, including flow characterization, power limitations, and deployment of the initial diagnostic suite. Ongoing development efforts aimed at catalycity characterization, magnetic plasma control, and advanced optical diagnostics will also be discussed, illustrating how the platform supports rapid iteration from concept to experiment.

experimental diagnostics↗

ARCTRON: A Rapid Experimental Proving Ground for TPS Experiments and Arcjet Technology Development

Innovation in high-enthalpy facilities is fundamentally limited by the cost and risk of experimentation. New concepts for plasma control, diagnostics, facility components, and plasma-material interaction often require repeated iterations that are impractical to perform in production arcjets. As a result, promising ideas may remain unexplored or reach operational facilities only after significant development effort. ARCTRON is being developed as a rapid experimental proving ground where new ideas in plasma science, arcjet engineering, diagnostics, and material response can be conceived, tested, and quantitatively evaluated before transition to large-scale facilities. The platform combines radio-frequency (RF) and DC arc plasma generation, externally applied magnetic fields, configurable gas composition, reduced-pressure operation, laser heating, electrical biasing, and modular diagnostic access. These capabilities permit the plasma source, applied forcing, test article, and measurement configuration to be modified independently, allowing individual physical mechanisms to be isolated more readily than in a traditional test environment. One class of investigations addresses fundamental plasma-surface interaction physics. Conventional material tests often expose a specimen simultaneously to convective heating, reactive species, pressure, shear, radiation, and surface-current effects. The resulting material response may be measured accurately, while the contribution of each mechanism remains difficult to identify. ARCTRON is designed to vary these effects selectively. Plasma chemistry can be changed independently through configurable gas mixtures; magnetic fields and electrical biasing can modify charged-particle transport; laser heating can provide a non-plasma thermal input; and pressure, flow, and discharge mode can be varied over a broad operating space. This enables controlled tests of hypotheses involving surface catalycity, reactive-species transport, plasma-assisted oxidation, electromagnetic effects, shear, and the relative contributions of thermal and chemical loading. A second class of investigations enabled by this approach concerns the engineering of high-enthalpy facilities themselves. Arc-heated facilities are limited by electrode erosion, unstable arc attachment, localized heating, and damage to nozzles and other plasma-facing components. ARCTRON provides a lower-cost environment for testing concepts intended to mitigate these limitations. Candidate investigations include the use of applied magnetic fields to alter current paths and reduce plasma interaction with nozzle walls, ExB forcing to introduce controlled plasma rotation, magnetic or geometric approaches for distributing arc attachment, and alternative electrode or discharge configurations intended to reduce erosion and improve stability. Because the platform is reconfigurable, these concepts can be evaluated through repeated design--build--test cycles before they are considered for implementation in operational facilities. The platform also supports the development and validation of diagnostics that may be difficult to introduce initially into a large arcjet. Current and planned measurements include spatially resolved optical emission spectroscopy, electrostatic probes, fast imaging, pyrometry, calorimetry, laser-induced fluorescence, and absorption spectroscopy. These diagnostics are intended not merely to document a nominal operating condition, but to constrain the local plasma state and its relationship to component or material response. The modular facility geometry allows diagnostic concepts to be tested, calibrated, and compared under repeatable conditions before deployment in more demanding environments. ARCTRON is also supported by an integrated software suite. Automated control and data acquisition allow discharge parameters, gas composition, magnetic fields, diagnostic timing, and test configuration to be recorded as part of each experiment (STARDAC - Software for Testing, Analysis, Research Data, and Control). The Backend for Experiment Analysis, Storage, and Traceability (BEAST) is a database that provides the infrastructure needed to associate heterogeneous measurements with facility configuration, specimen identity, calibration state, geometry, and analysis provenance. This backend is particularly important for exploratory campaigns, in which many related configurations may be tested, and the value of an individual experiment depends on its connection to earlier and subsequent iterations. Complementary analysis capabilities, including computer-vision-based transient response measurements (arcjetCV), three-dimensional surface reconstruction (STARSCAN), and model-based Bayesian inference (SHIELD), and tomography data analysis (TOMATO, PuMA) can be incorporated when required by a specific hypothesis without becoming the focus of every campaign. The central objective of ARCTRON is therefore not to maximize heat flux or reproduce a complete flight environment. Its purpose is to reduce the cost and time required to ask consequential questions about plasma behavior, plasma-facing materials, diagnostics, and arcjet technology. By providing a controlled environment for rapid reconfiguration, mechanism isolation, quantitative measurement, and iterative engineering, ARCTRON can help mature concepts that would otherwise remain too speculative or too risky for evaluation in production facilities. The resulting knowledge can then guide the design of material models, focus test objectives in larger arcjets, reduce facility-development risk, and improve the physical basis of high-enthalpy ground testing. This work will present the ARCTRON architecture, operating modes, diagnostic suite, and digital experimental workflow. Initial experimental results from the first integrated operation of the facility will be presented, including flow characterization, power limitations, and deployment of the initial diagnostic suite. Ongoing development efforts aimed at catalycity characterization, magnetic plasma control, and advanced optical diagnostics will also be discussed, illustrating how the platform supports rapid iteration from concept to experiment.

experimental diagnostics↗

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↗

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↗

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↗

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↗

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↗