Search NASA⌕ Search

SEARCH · Search NASA

Results for “proof”

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 163 records · Page 9

Granular Contact Forces: Proof of "Self-Ergodicity" by Generalizing Boltzmann's Stosszahlansatz and H Theorem

Ergodicity is proved for granular contact forces. To obtain this proof from first principles, this paper generalizes Boltzmann's stosszahlansatz (molecular chaos) so that it maintains the necessary correlations and symmetries of granular packing ensembles. Then it formally counts granular contact force states and thereby defines the proper analog of Boltzmann's H functional. This functional is used to prove that (essentially) all static granular packings must exist at maximum entropy with respect to their contact forces. Therefore, the propagation of granular contact forces through a packing is a truly ergodic process in the Boltzmannian sense, or better, it is self-ergodic. Self-ergodicity refers to the non-dynamic, internal relationships that exist between the layer-by-layer and column-by-column subspaces contained within the phase space locus of any particular granular packing microstate. The generalized H Theorem also produces a recursion equation that may be solved numerically to obtain the density of single particle states and hence the distribution of granular contact forces corresponding to the condition of self-ergodicity. The predictions of the theory are overwhelmingly validated by comparison to empirical data from discrete element modeling.

Metzger, Philip T.↗

Preparation for the Proof of Concept Flight of the Veggie Plant Growth Chamber

Veggie is a small plant growth chamber designed and built by ORBITEC that will fly to the International Space Station on SpaceX-3, scheduled for the summer of 2013. Ultimately Veggie will be used for research, education and outreach, and crew recreation. We want to demonstrate the functionality of this hardware by testing a scenario that could allow the crew to grow and consume fresh vegetables. Veggie will be collapsed and transported flat in a cargo transfer bag, and deployed on orbit, where it will be installed in an EXPRESS rack. The chamber consists of three subsystems: an LED light cap, a transparent bellows, and a root mat reservoir assembly. The bellows and flexible support arms allow the distance between plants and light cap to be adjusted for different ages and types of plants. Researchers at Kennedy Space Center and ORBITEC have been working to develop the plant growth interfaces for the proof of concept flight. We have developed a rooting pillow, consisting of a small bag containing media, time release fertilizer, seeds, and a wicking surface to conduct water from the root mat reservoir. Prototype pillows have been tested and results have influenced the design of flight pillows, which will be modified for microgravity from flight-approved materials. Several studies have been conducted selecting species and comparing media types in analog systems. Water content seems to be the most important factor differentiating media types in these small growth volumes (100 mL). Media type also influenced microbial levels on plants. Since produce sanitizing agents are not currently approved for growing food crops on orbit, plants and media types having very low microbial levels are being selected. Lettuce, mizuna, and other salad greens typically have microbial counts less than 10(exp 4) colony forming units and thus are good candidates for spaceflight. As we approach flight verification testing, we will finalize species, media selection, harvesting, and microbial sampling procedures. Next steps include testing of Veggie flight and ground hardware and associated equipment. This research was funded by NASA.

Massa, Gioia↗

Proof-of-Concept of a Networked Validation Environment for Distributed Air/Ground NextGen Concepts

The National Airspace System (NAS) must be improved to increase capacity, reduce flight delays, and minimize environmental impacts of air travel. NASA has been tasked with aiding the Federal Aviation Administration (FAA) in NAS modernization. Automatic Dependent Surveillance-Broadcast (ADS-B) is an enabling technology that is fundamental to realization of the Next Generation Air Transportation System (NextGen). Despite the 2020 FAA mandate requiring ADS-B Out equipage, airspace users are lacking incentives to equip with the requisite ADS-B avionics. A need exists to validate in flight tests advanced concepts of operation (ConOps) that rely on ADS-B and other data links without requiring costly equipage. A potential solution is presented in this paper. It is possible to emulate future data link capabilities using the existing in-flight Internet and reduced-cost test equipment. To establish proof-of-concept, a high-fidelity traffic operations simulation was modified to include a module that simulated Internet transmission of ADS-B messages. An advanced NASA ConOp, Flight Deck Interval Management (FIM), was used to evaluate technical feasibility. A preliminary assessment of the effects of latency and dropout rate on FIM was performed. Flight hardware that would be used by proposed test environment was connected to the simulation so that data transfer from aircraft systems to test equipment could be verified. The results indicate that the FIM ConOp, and therefore, many other advanced ConOps with equal or lesser response characteristics and data requirements, can be evaluated in flight using the proposed concept.

Grisham, James↗

Proof-of-Concept Experiments on a Gallium-Based Ignitron for Pulsed Power Applications

Ignitrons are electrical switching devices that operate at switching times that are on the order of microseconds, can conduct high currents of thousands of amps, and are capable of holding off tens of thousands of volts between pulses. They consist of a liquid metal pool within an evacuated tube that serves both the cathode and the source of atoms and electrons for an arc discharge. Facing the liquid metal pool is an anode suspended above the cathode, with a smaller ignitor electrode tip located just above the surface of the cathode. The ignitron can be charged to significant voltages, with a potential difference of thousands of volts between anode and cathode. When an ignition pulse is delivered from the ignitor electrode to the cathode, a small amount of the liquid metal is vaporized and subsequently ionized, with the high voltage between the anode and cathode causing the gas to bridge the gap between the two electrodes. The electrons and ions move rapidly towards the anode and cathode, respectively, with the ions liberating still more atoms from the liquid metal cathode surface as a high-current plasma arc discharge is rapidly established. This arc continues in a self-sustaining fashion until the potential difference between the anode and cathode drops below some critical value. Ignitrons have been used in a variety of pulsed power applications, including the railroad industry, industrial chemical processing, and high-power arc welding. In addition, they might prove useful in terrestrial power grid applications, serving as high-current fault switches, quickly shunting dangerous high-current or high-voltage spikes safely to ground. The motivation for this work stemmed from the fact that high-power, high-reliability, pulsed power devices like the ignitron have been used for ground testing in-space pulsed electric thruster technologies, and the continued use of ignitrons could prove advantageous to the future development and testing of such thrusters. Previous ignitron designs have used mercury as the liquid metal cathode, owing to its presence as a liquid at room temperatures and a vapor pressure of 10 Pa (75 mtorr) at room temperature. While these are favorable properties, there are obvious environmental and personal safety concerns with the storage, handling, and use of mercury and its compounds. The purpose of the present work was to fabricate and test an ignitron that used as its cathode an alternate liquid metal that was safe to handle and store. To that end, an ignitron test article that used liquid gallium as the cathode material was developed and tested. Gallium is a metal that has a melting temperature of 29.76 C, which is slightly above room temperature, and a boiling point of over 2,300 C at atmospheric pressure. This property makes gallium the element with the largest relative difference between melting and boiling points. Gallium has a limited role in biology, and when ingested, it will be subsequently processed by the body and expelled rather than accumulating to toxic levels. The next section of this Technical Memorandum (TM) provides background information on the development of mercury-based ignitrons, which serves as the starting point for the development of the gallium-based variant. Afterwards, the experimental hardware and setup used in proof-of-concept testing of a basic gallium ignitron are presented. Experimental data, consisting of discharge voltage and current waveforms as well as high-speed imaging of the gallium arc discharge in the gallium ignitron test article, are presented to demonstrate the efficacy of the concept. Discussion of the data and suggestions on improvements for future iterations of the design are presented in the final two sections of this TM.

Ali, H. K.↗

The Ocean Carbon States Database: A Proof-of-Concept Application of Cluster Analysis in the Ocean Carbon Cycle

In this paper, we present a database of the basic regimes of the carbon cycle in the ocean, the 'ocean carbon states', as obtained using a data mining/pattern recognition technique in observation-based as well as model data. The goal of this study is to establish a new data analysis methodology, test it and assess its utility in providing more insights into the regional and temporal variability of the marine carbon cycle. This is important as advanced data mining techniques are becoming widely used in climate and Earth sciences and in particular in studies of the global carbon cycle, where the interaction of physical and biogeochemical drivers confounds our ability to accurately describe, understand, and predict CO2 concentrations and their changes in the major planetary carbon reservoirs. In this proof-of-concept study, we focus on using well-understood data that are based on observations, as well as model results from the NASA Goddard Institute for Space Studies (GISS) climate model. Our analysis shows that ocean carbon states are associated with the subtropical-subpolar gyre during the colder months of the year and the tropics during the warmer season in the North Atlantic basin. Conversely, in the Southern Ocean, the ocean carbon states can be associated with the subtropical and Antarctic convergence zones in the warmer season and the coastal Antarctic divergence zone in the colder season. With respect to model evaluation, we find that the GISS model reproduces the cold and warm season regimes more skillfully in the North Atlantic than in the Southern Ocean and matches the observed seasonality better than the spatial distribution of the regimes. Finally, the ocean carbon states provide useful information in the model error attribution. Model air-sea CO2 flux biases in the North Atlantic stem from wind speed and salinity biases in the subpolar region and nutrient and wind speed biases in the subtropics and tropics. Nutrient biases are shown to be most important in the Southern Ocean flux bias.

carbon cycle↗

NASA Proof-of-Concept 1-W Stirling Convertor Development for Small RPS

Low power Stirling convertors are being developed at NASA Glenn Research Center (GRC) to provide future small spacecraft with electrical power by converting heat from one or more Light Weight Radioisotope Heater Units (LWRHU). An initial design converts multiple watts of heat to one watt of electrical power output using a Stirling convertor. A variety of mission concepts have been studied by NASA and the U. S. Department of Energy (DOE) that would utilize low power Radioisotope Power Systems (RPS) for probes, landers, rovers, and repeaters. These missions would contain science instruments distributed across planetary surfaces or near objects of interest where solar flux is insufficient for using solar cells. Landers could be used to provide data such as, radiation, temperature, pressure, seismic activity, and other surface measurements for planetary science and to inform future mission planners. The studies propose using fractional versions of the General Purpose Heat Source (GPHS) or multiple LWRHUs to heat power conversion technologies for science instruments and communication. Dynamic power systems are capable of higher conversion efficiencies, which could enable equal power using less fuel or more power using equal fuel, when compared to less efficient static power conversion technologies. Providing spacecraft with more power would decrease duty cycling of basic functions and, therefore, increase the quality and abundance of science data. Efforts to develop the concept have focused on maturation of a 1-We convertor and controller design and performance evaluation of an evacuated metal foil insulation. A proof-of-concept 1-We convertor, controller, and evacuated metal foil insulation package have been fabricated and are undergoing characterization testing. The current status, findings, and path forward for the effort are explained in this paper.

Schifer, Nicholas A.↗

NASA Proof-of-Concept 1-W Stirling Convertor Development for Small RPS

Low power Stirling convertors are being developed at NASA Glenn Research Center (GRC) to provide future small spacecraft with electrical power by converting heat from one or more Light Weight Radioisotope Heater Units (LWRHU). An initial design converts multiple watts of heat to one watt of electrical power output using a Stirling convertor. A variety of mission concepts have been studied by NASA and the U.S. Department of Energy (DOE) that would utilize low power Radioisotope Power Systems (RPS) for probes, landers, rovers, and repeaters. These missions would contain science instruments distributed across planetary surfaces or near objects of interest where solar flux is insufficient for using solar cells. Landers could be used to provide data such as, radiation, temperature, pressure, seismic activity, and other surface measurements for planetary science and to inform future mission planners. The studies propose using fractional versions of the General Purpose Heat Source (GPHS) or multiple LWRHUs to heat power conversion technologies for science instruments and communication. Dynamic power systems are capable of higher conversion efficiencies, which could enable equal power using less fuel or more power using equal fuel, when compared to less efficient static power conversion technologies. Providing spacecraft with more power would decrease duty cycling of basic functions and, therefore, increase the quality and abundance of science data. Efforts to develop the concept have focused on maturation of a 1-We (1-watt electrical) convertor and controller design and performance evaluation of an evacuated metal foil insulation. A proof-of-concept 1-We convertor, controller, and evacuated metal foil insulation package have been fabricated and are undergoing characterization testing. The current status, findings, and path forward for the effort are explained in this paper.

Stirling↗

NASA Proof-of-Concept 1-W(sub e) Stirling Convertor Development for Small Radioisotope Power Systems

Low power Stirling convertors are being developed at NASA Glenn Research Center to provide future small spacecraft with electrical power by converting heat from one or more Light Weight Radioisotope Heater Units (LWRHU). An initial design converts multiple watts of heat to one watt of electrical power output using a Stirling convertor. A variety of mission concepts have been studied by NASA and the U. S. Department of Energy that would utilize low power Radioisotope Power Systems (RPS) for probes, landers, rovers, and repeaters. These missions would contain science instruments distributed across planetary surfaces or near objects of interest where solar flux is insufficient for using solar cells. Landers could be used to provide data such as, radiation, temperature, pressure, seismic activity, and other surface measurements for planetary science and to inform future mission planners. The studies propose using fractional versions of the General Purpose Heat Source or multiple LWRHUs to heat power conversion technologies for science instruments and communication. Dynamic power systems are capable of higher conversion efficiencies, which could enable equal power using less fuel or more power using equal fuel, when compared to less efficient static power conversion technologies. Providing spacecraft with more power would decrease duty cycling of basic functions and, therefore, increase the quality and abundance of science data. Efforts to develop the concept have focused on maturation of a 1-We convertor and controller design and performance evaluation of an evacuated metal foil insulation. A proof-of-concept 1-We convertor, controller, and evacuated metal foil insulation package have been fabricated and are undergoing characterization testing. The current status, findings, and path forward for the effort are explained in this paper.

Schifer, Nicholas A.↗

Fit2Fly: A Proof of Concept for Testing the Commercial Feasibility of Unmanned Aerial System Operations

As autonomous Unmanned Aerial Systems (UAS) become more prevalent, improvements in airworthiness assessments, data security, establishing vehicle trust, and more will become necessary to make fleet operations of these systems routine. Currently, these are verified for every UAS vehicle through a time-intensive manual inspection performed by human individuals. This process becomes infeasible when introduced into large-scale operations, so the Fit2Fly project is attempting to address these concerns. Fit2Fly is a multi-year project with a large scope, so we chose to narrow our focus to building a proof-of-concept feasibility simulation in tandem with physical UAS demonstration. This work resulted in a software simulation capable of running asynchronous commercial operations with persistent data modeling in coordination with several autonomous drones using integrated radio and GPS configurations.

Ryan Bonk↗

Proof of CMB-driven X-ray brightening of high-z radio galaxies

We present a definitive assessment of the role of inverse Compton scattering of cosmic microwave background photons (IC/CMB) in the context of radio galaxies. Owing to the steep increase of the CMB radiation energy density, IC/CMB is supposed to become progressively more important with respect to radio synchrotron cooling as the redshift increases. For typical energies at play, this process will up-scatter the CMB photons into the X-ray band, and is thus expected to yield a redshift-dependent, concurrent X-ray brightening and radio dimming of the jet-powered structures. Here, we show how a conclusive proof of this effect hinges on high-resolution imaging data in which the extended lobes can be distinguished from the compact hotspots where synchrotron self-Compton dominates the X-ray emission regardless of redshift. We analyse Chandra and Very Large Array data of 11 radio galaxies between 1.3 ≲ z8 ≲ 4.3⁠, and demonstrate that the emission from their lobes is fully consistent with the expectations from IC/CMB in equipartition. Once the dependence on size and radio luminosity are properly accounted for, the measured lobe X-ray luminosities bear the characteristic ∝(1 + z)4 proportionality expected of a CMB seed radiation field. Whereas this effect can effectively quench the (rest-frame) GHz radio emission from z ≳ 3 radio galaxies below ≲ 1 mJy, IC/CMB alone cannot be responsible for a deficit in high-z, radio-loud active galactic nuclei (AGNs) if – as we argue – such AGNs typically have bright, compact hotspots.

Edmund Hodges-Kluck↗

Development of A Crew Health and Performance System Probabilistic Risk Assessment Tool: Proof-of-Concept Approach

The crew health and performance (CHP) system represents the span of technological interventions and tested processes and procedures that in combination address the human risk to space flight. The Human Research Program (HRP) mental model of the CHP system breaks the capabilities needed to meet NASA human flight systems standards into specific categories (i.e., countermeasures, behavioral health, medical intervention). These categories are further broken down into specific sub-groups generally associated with the human system risks that these capabilities seek to mitigate. Like the approach used to develop the Integrated Medical Model (IMM) and the Medical Extensible Dynamic Probabilistic Risk Analysis Tool (MEDPRAT), HRP tasked NASA GRC’s Cross-Cutting Computational Modeling Project with developing a CHP probabilistic risk assessment tool, the CHP-PRA. The CHP-PRA model seeks to quantify and relatively assess the human risk state within the crew health and performance domain, using a combination of knowledge about human system risks and technology and practices likely to be applied during space flight missions. This modeling system will incorporate customer and stakeholder feedback and be flexible enough to address multiple different questions about important low-level mission-specific parameters. This presentation will introduce the initial concept and development timeline for this tool and demonstrate proof-of-concept through an application addressing a specific human risk question posed within the Artemis program.

Risk analysis↗

Development and Manufacture of A Proof-of-Concept Magnetically-Geared Actuator for Use in Extremely Cold Lunar Environments

A magnetically-geared actuator is being developed for extremely cold space environments to avoid the wiring and significant efficiency penalty associated with heating grease-lubricated actuators as well as the stringent life and loading constraints imposed by dry film lubricated mechanical gears. This paper describes the lessons learned while designing, manufacturing, and assembling a proof-of-concept prototype similar to the preliminary design of the actuator.

lunar surface↗

Development and Manufacture of A Proof-of-Concept Magnetically-Geared Actuator for Use in Extremely Cold Lunar Environments

A magnetically-geared actuator is being developed for extremely cold space environments to avoid the wiring and significant efficiency penalty associated with heating grease-lubricated actuators as well as the stringent life and loading constraints imposed by dry film lubricated mechanical gears. This paper describes the lessons learned while designing, manufacturing, and assembling a proof-of-concept prototype similar to the preliminary design of the actuator.

lunar surface↗

Performance Risk Model (PRisM) Proof-of-Concept: An Operational Decision Support Tool to Predict Crew Performance in Space from Available Performance Tests

The Crew Health and Performance-Probabilistic Risk Assessment (CHP-PRA) team at NASA Glenn Research Center has developed a range of tools to evaluate astronaut health during spaceflight and to optimize the medical set required for missions. Among these, the Performance Risk Model (PRisM) represents a novel advancement, extending CHP-PRA’s focus beyond medical systems into the domain of human performance. Such tool could be pivotal in optimizing astronaut capabilities during space travel, thereby enhancing overall mission success. PRisM leverages data from well-established performance assessments conducted during previous crewed space missions and Earth analogs to strategically predict outcomes for planned tasks, even when direct performance testing has not been conducted for those specific tasks. To evaluate performance, PRisM references the various metrics outlined in NASA-STD-3001 and employs a methodology to integrate different performance scales. This framework analyzes the contribution of various human system task categories (HSTCs) to task execution and compares these contributions to the HSTCs’ involvement in other known tests. The model further employs a Monte Carlo simulation to sample performance scores from their distribution in operationally relevant tests such as those in Mulavara et al. (2018) and, by leveraging similarities in HSTC involvement, transfers this knowledge to actual mission tasks, such as those outlined in the "Human Exploration of Mars: Preliminary List of Crew Tasks”. The current PRisM proof-of-concept includes analyses of the impact of exercise and specific medications on astronauts’ performance, with provisions to incorporate additional countermeasures as data becomes available. Furthermore, the tool is customizable to include any system necessary to fully encompass the domain of human systems and can be adapted to evaluate performance for any spaceflight activities as requested by operational stakeholders. PRisM has the potential to assist the Human Research Program in exploring the capabilities trade space for optimized crew performance.

performance modeling↗

Future Proofing the Aerospace Supply Chain

New aircraft, such as electric vertical take-off and landing vehicles, are being developed to support advanced air mobility. This talk will address gaps and risks in the aerospace supply chain and discuss how to identify and develop resiliency approaches.

Aerospace Supply Chain↗

Explicit entropic proofs of irreversibility theorems for holographic RG flows

We revisit the existence of monotonic quantities along renormalization group flows using only the Null Energy Condition and the Ryu-Takayanagi formula for the entanglement entropy of field theories with anti-de Sitter gravity duals. In particular, we consider flows within the same dimension and holographically reprove the c-, F -, and a-theorems in dimensions two, three, and four. We focus on the family of maximally spherical entangling surfaces, define a quasi-constant of motion corresponding to the breaking of conformal invariance, and use a properly defined distance between minimal surfaces to construct a holographic c-function that is monotonic along the flow. We then apply our method to the case of flows across dimensions: there, we reprove the monotonicity of flows from AdS D+1 to AdS 3 and prove the novel case of flows from AdS 5 to AdS 4 .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗