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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

The Unique Significance and Origin of the Cretaceous-Tertiary Boundary: Historical Context and Burdens of Proof

The abruptness and intensity of the Cretaceous-Tertiary boundary have been deemphasized by some authors over recent years, mainly by those skeptical of an impact origin for the boundary. However, it was recognized at the birth of stratigraphy as both abrupt and of major importance. It was used to define the change from the Mesozoic to the Cenozoic; the boundary has become continually more precisely defined and its global sequences more correlatable. It is now unique in being an event boundary marked by an iridium-bearing layer of global extent, rather than an arbitrary boundary in a sequence of little change. The Permian-Triassic boundary, in contrast, is arbitrary and the transition is not yet proven to be abrupt, the extinctions that define it perhaps having taken place in pulses over several millions of years. Some of those who have denied the importance (and in some cases even the existence) of an impact in the Cretaceous-Tertiary extinctions have placed burdens of proof on the impact hypothesis that they do not place on strictly terrestrial mechanisms. Terrestrial mechanisms have always been unsatisfactory (or at least unconvincing for global, massive, multienvironment faunal change) and are now even more so. Some authors have required of the impact hypothesis attributes that are not inherent in it, including particular patterns of extinction selectivity and timing.

Ryder, Graham↗
NASA NTRS2001

Response of the Alliance 1 Proof-of-Concept Airplane Under Gust Loads

This report presents the work performed by Lockheed Martin's Langley Program Office in support of NASA's Environmental Research Aircraft and Sensor Technology (ERAST) program. The primary purpose of this work was to develop and demonstrate a gust analysis method which accounts for the span-wise variation of gust velocity. This is important because these unmanned aircraft having high aspect ratios and low wing loading are very flexible, and fly at low speeds. The main focus of the work was therefore to perform a two-dimensional Power Spectrum Density (PSD) analysis of the Alliance 1 Proof-of-Concept Unmanned Aircraft, As of this writing, none of the aircraft described in this report have been constructed. They are concepts represented by analytical models. The process first involved the development of suitable structural and aeroelastic Finite Element Models (FEM). This was followed by development of a one-dimensional PSD gust analysis, and then the two-dimensional (PSD) analysis of the Alliance 1. For further validation and comparison, two additional analyses were performed. A two-dimensional PSD gust analysis was performed on a simplet MSC/NASTRAN example problem. Finally a one-dimensional discrete gust analysis was performed on Alliance 1. This report describes this process, shows the relevant comparisons between analytical methods, and discusses the physical meanings of the results.

Naser, A. S.↗
NASA NTRS2001

Integrated Workforce Planning Model: A Proof of Concept

Recently, the Workforce and Diversity Management Office at KSC have launched a major initiative to develop and implement a competency/skill approach to Human Resource management. As the competency/skill dictionary is being elaborated, the need for a competency-based workforce-planning model is recognized. A proof of concept for such a model is presented using a multidimensional data model that can provide the data infrastructure necessary to drive intelligent decision support systems for workforce planing. The components of competency-driven workforce planning model are explained. The data model is presented and several schemes that would support the workforce-planning model are presented. Some directions and recommendations for future work are given.

Guruvadoo, Eranna K.↗
NASA NTRS2003

Proof Rules for Automated Compositional Verification through Learning

Compositional proof systems not only enable the stepwise development of concurrent processes but also provide a basis to alleviate the state explosion problem associated with model checking. An assume-guarantee style of specification and reasoning has long been advocated to achieve compositionality. However, this style of reasoning is often non-trivial, typically requiring human input to determine appropriate assumptions. In this paper, we present novel assume- guarantee rules in the setting of finite labelled transition systems with blocking communication. We show how these rules can be applied in an iterative and fully automated fashion within a framework based on learning.

Barringer, Howard↗
NASA NTRS2003

Proof-of-Concept Application of Impedance-Based Health Monitoring on Space Shuttle Ground Structures

Many of the structures responsible for the launch, ground systems and support operations of the space shuttle are still being used well past their nominal expected design life. This has led to an increased interest in monitoring these structures in order to decrease the risk of eventual breakdown or structural failure. One monitoring method, which has shown promising results for such applications, is the impedance-based structural health monitoring technique. This paper presents results from proof-of-concept tests on the launch pad's orbiter access arm bolted connection, solid rocket booster hold down post, mobile launch platform heat shield and crawler transporter bearing. Modification for future tests are suggested.

Peairs, Daniel M.↗
NASA NTRS2004

Remote Sensing of the Haughton Impact Structure (HIS): A Terrestrial Proof of Concept for Using the Remote Sensing of Martian Craters as a Probe of Subsurface Composition

Impact cratering is the most widespread geological process in the Solar System. Impact craters can provide 'windows' into the subsurfaces of planetary bodies through excavation and uplift. By utilizing remote methods in the visible and near infrared (VNIR; 0.4-1.4 micron), short-wavelength infrared (SWIR; 1.4-2.5 micron) and thermal infrared (TIR 7-14 micron), subsurface mineral compositions may be identified and mapped via impact craters. Complex craters in particular, expose minerals from both the shallow and deep-seated subsurface, which may be identified spectroscopically. Complex craters have morphological features such as central peaks or peak rings, which are composed of relatively coherent lithologies tapped from deep-seated crustal components. While near-surface crustal components can be observed as coherent rocks uplifted and exposed in the rim and the crater walls, and from the ejecta deposits. Only two previously published studies using this approach have been successful on large planetary bodies. Tompkins and Pieters utilized ultraviolet and VNIR from Clementine to characterize near- and deep-subsurface materials in and around lunar craters. The work of Ramsey and Wright was the first remote spectroscopic study to successfully identify near-subsurface materials in the ejecta and crater wall of a terrestrial impact structure, namely Meteor Crater. Here we present early results of a third such study, a remote spectroscopy evaluation of the Haughton impact structure (HIS). The purpose of this study is to serve as terrestrial proof of concept that remote visible/infrared spectroscopic methods in this case, analysis of LANDSAT 7 ETM+ and ASTER data of the well-preserved HIS can be utilized in deciphering the subsurface composition of planetary crusts. This technique is particularly promising for Mars were limited tectonic uplift and ubiquitous dust-mantling offer few opportunities to access subsurface information.

Tornabene, L. L.↗
NASA NTRS2009

Coloured Petri Net Refinement Specification and Correctness Proof with Coq

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.

Choppy, Christine↗
NASA NTRS2009

Proof of Concept Study of Trade Space Configuration Tool for Spacecraft Design

Spacecraft design is a very difficult and time consuming process because requirements and criteria are often changed or modified as the design is refined. Accounting for these adjustments in the design constraints plays a significant role in furthering the overall progress. There are numerous aspects and variables that hold significant influence on various characteristics of the design. This can be especially frustrating when attempting to conduct rapid trade space analysis on system configurations. Currently, the data and designs considered for trade space evaluations can only be displayed by using the traditional interfaces of Excel spreadsheets or CAD (Computer Aided Design) models. While helpful, these methods of analyzing the data from a systems engineering approach can be rather complicated and overwhelming. As a result, a proof of concept was conducted on a dynamic data visualization software called Thinkmap SDK (Software Developer Kit) to allow for better organization and understanding of the relationships between the various aspects that make up an entire design. The Orion Crew Module Aft Bay Subsystem was used as the test case for this study because the design and layout of many of the subsystem components will be significant in ensuring the overall center of gravity of the capsule is correct. A simplified model of this subsystem was created and programmed using Thinkmap SDK to create a preliminary prototype application of a Trade Space Configuration Tool. The completed application ensures that the core requirements for the Tool can be met. Further development is strongly suggested to produce a full prototype application to allow final evaluations and recommendations of the software capabilities.

Glidden, Geoffrey L.↗
NASA NTRS2010

Proof-of-Concept Studies for a Local Tie Monitoring System

We present preliminary results of proof-of-concept studies for an automatic monitoring system of local site ties. The system is based on the usage of robotic total stations. A set of tests were performed with a Leica TCA2003 total station on the local network of Goddard s Geophysical and Astronomical Observatory (GGAO) and the 5-m VLBI antenna at this site. Both the TCA2003 and the VLBI antenna are controlled from a Matlab-coded control program. Running specific observational programs, data were collected that indicate that the reference point of the VLBI antenna can be automatically determined with an accuracy of 1 mm or better.

Schmeing, Benno↗
NASA NTRS2010

The NASA VLBI2010 Proof-of-Concept Demonstration and Future Plans

The next generation geodetic VLBI instrument is being developed with a goal of 1 mm position uncertainty in twenty-four hours. We have implemented a proof-of-concept system for a possible VLBI2010 signal chain, from feed through recorder, on the Westford (Massachusetts, USA) 18-m and MV-3 (Maryland, USA) 5-m antennas. Data have been obtained in four 512 MHz bands spanning the range 3.5 to 11 GHz to investigate the sensitivity and phase delay capability of the system. Using a new phase cal design, the phases have been aligned across four bands spanning 2 GHz with an RMS deviation of approximately eight degrees. Several components of the system will be improved for the prototype version of VLBI2010, including the feed, digital backend, and recorder, and these will be installed on a 12-m antenna that has been purchased and is ready for installation at the Goddard Space Flight Center outside of Washington, D.C., USA, site of the MV-3 antenna.

Niell, Arthur↗
NASA NTRS2010

SPARCLE: Electrostatic Dust Control Tool Proof of Concept

Successful exploration of most planetary surfaces, with their impact-generated dusty regoliths, will depend on the capabilities to keep surfaces free of the performance-compromising dust. Once in contact with surfaces, whether set in motion by natural or mechanical means, regolith fines, or dust, behave like abrasive Velcro, coating surfaces, clogging mechanisms, making movement progressively more difticult, and being almost impossible to remove by mechanical mcans (brushing). The successful dust removal strategy will deal with dust dynamics resulting from interaction between Van der Waals and Coulombic forces. Here, proof of concept for an electrostatically-based concept for dust control tool is described and demonstrated. A low power focused electron beam is used in the presence of a small electrical field to increase the negative charge to mass ratio of a dusty surface until dust repulsion and attraction to a lower potential surface, acting as a dust collector, occurred. Our goal is a compact device of less than 5 kg mass and using less than 5 watts of power to be operational in less than 5 years with heritage from ionic sweepers for active spacecraft potential control (e.g ., on POLAR). Rovers could be fitted with devices that could hamess the removal of dust for sampling as part of the extended exploration process on Mercury, Mars, asteroids or outer solar system satellites, as well as the Moon.

Clark, P. E.↗
NASA NTRS2006

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.↗
NASA NTRS2012

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↗
NASA NTRS2013

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↗
NASA NTRS2015

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.↗
NASA NTRS2018

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 NTRS2019

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 NTRS2019

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↗