Proof or Consequences the Verification of Curiosity's Software
No abstract available
logic model checking↗
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.
IT Labs Proof-of-Concept Project: Technical Data Interoperability (TDI) Pathfinder Via Emerging Standards
No known system is in place to allow NASA technical data interoperability throughout the whole life cycle. Life Cycle Cost (LCC) will be higher on many developing programs if action isn't taken soon to join disparate systems efficiently. Disparate technical data also increases safety risks from poorly integrated elements. NASA requires interoperability and industry standards, but breaking legacy ways is a challenge.
Interoperability↗
Proof-of-Concept Demonstrations of a Flight Adjustment Logging and Communication Network
The National Airspace System is a highly complex system of systems within which a number of participants with widely varying business and operating models exist. From the airspace user's perspective, a means by which to operate flights in a more flexible and efficient manner is highly desired to meet their business objectives. From the air navigation service provider's viewpoint, there is a need for increasing the capacity of the airspace, while maintaining or increasing the levels of efficiency and safety that currently exist in order to meet the charter under which they operate. Enhancing the communication between airspace operators and users is essential in order to meet these demands. In the spring of 2015, a prototype system that implemented an airborne tool to optimize en-route flight paths for fuel and time savings was designed and tested. The system utilized in-flight Internet as a high-bandwidth data link to facilitate collaborative decision making between the flight deck and an airline dispatcher. The system was tested and demonstrated in a laboratory environment, as well as in-situ. Initial results from these tests indicate that this system is not only feasible, but could also serve as a growth path and testbed for future air traffic management concepts that rely on shared situational awareness through data exchange and electronic negotiation between multiple entities operating within the National Airspace System.
Underwood, Matthew C.↗
Extraction and Capture of Water from Martian Regolith Experimental Proof-of-Concept
A novel concept for extraction of water from the Mars soil in a real-time, open-air process was demonstrated in a Mars environment chamber. The concept breadboard uses radiative heating to bake off water from exposed soil contained in a bin. An enclosure, intended to mimic the bottom of a rover, covers the bin. A fan continuously blows the Mars atmospheric gases through the enclosure to collect the evolved water while a tiller was used to churn up moist subsurface soil. These initial tests verified concept feasibility. The sweep gas generated by commercially available muffin fans at 7 Torr was sufficient to transfer water vapor into a condenser flow loop. The radiative heating, while non-optimized, heated the soil surface to 60 C to generate water vapor. A rototiller working through the soil bin brought sufficient amounts of new moist soil to the heated surface to show an increase in rate of water extraction.
Mars Exploration↗
Extraction and Capture of Water from Martian Regolith Experimental Proof-of-Concept
Mars Design Reference Architecture 5.0:Lists in-situ resource utilization (ISRU) as enabling for robust human Mars missionsLO2LCH4 ascent propulsion 25,000 kg oxygen from atmosphere for ascent and life support Atmospheric based ISRU processes less operationally complex than surface based limited concept evaluation to date and Mars surface water property and distribution uncertainty would not allow [Mars soil water processing] to be base lined at this time Limited Concept Evaluation to Date Lunar regolith O2 extraction processing experience Lunar regolith is fluidized and heated to high temperatures with H2 to produce H2O from iron-bearing minerals Mars similarity concept: Soil placed in fluidized bed reactor Heated to moderate temperatures Inert gas flow used to fluidize the bed and help with water desorption Challenges: High-temperature dusty seals Working gas requires downstream separation and recycling to reduce consumables loss Batch process heating thermally inefficient.
in situ resource utilization↗
Limb-Nadir Matching Using Non-Coincident NO2 Observations: Proof of Concept and the OMI-minus-OSIRIS Prototype Product
A variant of the limb-nadir matching technique for deriving tropospheric NO2 columns is presented in which the stratospheric component of the NO2 slant column density (SCD) measured by the Ozone Monitoring Instrument (OMI) is removed using non-coincident profiles from the Optical Spectrograph and InfraRed Imaging System (OSIRIS). In order to correct their mismatch in local time and the diurnal variation of stratospheric NO2, OSIRIS profiles, which were measured just after sunrise, were mapped to the local time of OMI observations using a photochemical boxmodel. Following the profile time adjustment, OSIRIS NO2 stratospheric vertical column densities (VCDs) were calculated. For profiles that did not reach down to the tropopause, VCDs were adjusted using the photochemical model. Using air mass factors from the OMI Standard Product (SP), a new tropospheric NO2 VCD product - referred to as OMI-minus-OSIRIS (OmO) - was generated through limb-nadir matching. To accomplish this, the OMI total SCDs were scaled using correction factors derived from the next-generation SCDs that improve upon the spectral fitting used for the current operational products. One year, 2008, of OmO was generated for 60 deg S to 60 deg N and a cursory evaluation was performed. The OmO product was found to capture the main features of tropospheric NO2, including a background value of about 0.3 x 10(exp 15) molecules per sq cm over the tropical Pacific and values comparable to the OMI operational products over anthropogenic source areas. While additional study is required, these results suggest that a limb-nadir matching approach is feasible for the removal of stratospheric NO2 measured by a polar orbiter from a nadir-viewing instrument in a geostationary orbit such as Tropospheric Emissions: Monitoring of Pollution (TEMPO) or Sentinel-4.
Photochemical Boxmodel↗
Strategies for SEE Hardness Assurance - From Buy-It-And-Fly-It to Bullet Proof
This part of the course first outlines the conventional Single Event Effect (SEE), radiation hardness assurance (RHA) approach, which emphasizes mission success. Next, Dr. Ladbury will discuss the challenges posed by new satellite platforms (e.g., cubesats, nanosats, etc.), where cost and schedule receive emphasis equal to if not greater than mission success. These additional pressures, along with growing demands to reduce size, weight and power, coupled with increased performance, drive many projects toward expanding their use of commercial-off-the-shelf (COTS) technologies. While this may reduce direct parts cost and procurement lead times, it undermines many cost-reduction strategies used for conventional SEE RHA and can make radiation testing and analysis one of the most significant risks or worse, a risk neglected altogether. That section will end with some approaches for restoring balance in the troika of mission success, cost, and schedule. This is captured in SEE RHA as risk management: identify the threat, evaluate the threat, and mitigate the threat.
commercial-off-the-shelf (COTS)↗
Strategies for SEE Hardness Assurance From Buy-It-And-Fly-It to Bullet Proof
This part of the course first outlines the conventional Single Event Effect (SEE), radiation hardness assurance (RHA) approach, which emphasizes mission success. Next, Dr. Ladbury will discuss the challenges posed by new satellite platforms (e.g., cubesats, nanosats, etc.), where cost and schedule receive emphasis equal to if not greater than mission success. These additional pressures, along with growing demands to reduce size, weight and power, coupled with increased performance, drive many projects toward expanding their use of commercial-off-the-shelf (COTS) technologies. While this may reduce direct parts cost and procurement lead times, it undermines many cost-reduction strategies used for conventional SEE RHA and can make radiation testing and analysis one of the most significant risksor worse, a risk neglected altogether. That section will end with some approaches for restoring balance in the troika of mission success, cost, and schedule. This is captured in SEE RHA as risk management: identify the threat, evaluate the threat, and mitigate the threat.
commercial-off-the-shelf (COTS)↗
Airborne Spacing for Terminal Arrival Routes (ASTAR) Proof-of-Concept Flight Test
The Airborne Spacing for Terminal Arrival Routes (ASTAR) Flight Test was conducted by the NASA Air Traffic Management Technology Demonstration – 1 (ATD- 1) project to demonstrate the use of NASA’s ASTAR algorithm beyond a simulated environment and assess the operational risks of performing a multi-aircraft flight test of Flight-deck Interval Management (FIM). Utilizing contemporary tools of the Federal Aviation Administration’s Next Generation Air Transportation System (NextGen) such as ADS-B, the ASTAR algorithm calculated speeds that the flight crew flew to achieve a precise spacing interval behind another aircraft at the final approach fix. Airspeed commands issued by the algorithm were flown by the flight crew of the FIM-equipped aircraft to achieve or maintain an assigned spacing goal from a target vehicle. The ASTAR algorithm was integrated with the Boeing supplied B-787 ecoDemonstrator aircraft, and five flight trials were conducted as a joint effort between NASA and Boeing on December 12, 2014. Initial results indicated arrival times within several seconds of accuracy of the planned termination point between two aircraft performing FIM in a real world environment. This flight test opened the way for the much more expansive ATD-1 Avionics Phase II flight test which occurred in early 2017. The flight trials under Phase II preceded further testing by the community in preparation for inclusion of the Interval Management concept as a part of the NextGen environment.
Roper, Roy D.↗
Advantages of Measuring the Q Stokes Parameter in Addition to the Total Radiance I in the Detection of Absorbing Aerosols: a Proof of Concept Using Vector Radiative Transfer, Neural Networks, and Optimal Estimation
A simple but novel study was conducted to investigate whether an imager-type spectroradiometer instrument like MODIS, currently flying on board the Aqua and Terra satellites, or MERIS, which flew on board Envisat, could detect absorbing aerosols if they could measure the Q Stokes parameter in addition to the total radiance I, that is if they could also measure the linear polarization of the light. Accurate radiative transfer calculations were used to train a fast neural network forward model, which together with a simple statistical optimal estimation scheme was used to retrieve three aerosol parameters: aerosol optical depth, fraction of absorbing aerosols, and aerosol location. The aerosols were assumed to be located either between 0 and 2 km or between 2 and 4 km in the Earth’s atmosphere. From simulated data it was found that by itself the total radiance I was generally insufficient to retrieve all three aerosol parameters, but that together with the Q Stokes component it was possible to reliably retrieve values of aerosol optical depth, fraction, and location.
Stamnes, Snorre↗
Maximo Proof of Concept Project: BigFix Data Import and Update
Explore the source record for details and available documents.
Jing Wang↗
Future Proofing the Aerospace Supply Chain
Presentation is to inform/update audience about NASA's role in helping to ensure a resilient Aerospace Supply Chain. This audience of manufacturers and supply chain experts are from a broad range of industry.
Aerospace Supply Chain↗
Proof of Concept Testing for Integrated Reaction Control System
Integrated Reaction Control Systems (IRCS) are considered an enabling technology for future human exploration of the solar system. An IRCS uses the same fuel and oxidizer as the main propulsion system, allowing for increased performance and simplified cryogenic fluid management operations. The IRCS team at Marshall Spaceflight Center is currently evaluating an IRCS system that uses a combination of electric pumps and pressure-regulation devices to provide a constant flow of conditioned propellant to a thruster bank during operation. In the spring 2021 test series presented here, the feasibility of this concept was evaluated using liquid nitrogen as a simulant for liquid oxygen. The goal of this test series was to demonstrate the ability of the pump and pressure regulator to maintain adequate thruster inlet conditions during transient operation.
Cameron Hines↗
Proof Testing Aluminum and Titanium Thin-Walled Tubes for Aerospace Applications
Explore the source record for details and available documents.
Leah B Davis↗
Elemental Abundances of nearby M Dwarfs Based on High-resolution Near-infrared Spectra Obtained by the Subaru/IRD Survey: Proof of Concept
Detailed chemical analyses of M dwarfs are scarce but necessary to constrain the formation environment and internal structure of planets being found around them. We present elemental abundances of 13 M dwarfs (2900 < T eff < 3500 K) observed in the Subaru/IRD planet search project. They are mid- to late-M dwarfs whose abundance of individual elements has not been well studied. We use the high-resolution (∼70,000) near-infrared (970–1750 nm) spectra to measure the abundances of Na, Mg, Si, K, Ca, Ti, V, Cr, Mn, Fe, and Sr by the line-by-line analysis based on model atmospheres, with typical errors ranging from 0.2 dex for [Fe/H] to 0.3–0.4 dex for other [X/H]. We measure radial velocities from the spectra and combine them with Gaia astrometry to calculate the Galactocentric space velocities UVW . The resulting [Fe/H] values agree with previous estimates based on medium-resolution K-band spectroscopy, showing a wide distribution of metallicity (−0.6 < [Fe/H] < +0.4). The abundance ratios of individual elements [X/Fe] are generally aligned with the solar values in all targets. While the [X/Fe] distributions are comparable to those of nearby FGK stars, most of which belong to the thin-disk population, the most metal-poor object, GJ 699, could be a thick-disk star. The UVW velocities also support this. The results raise the prospect that near-infrared spectra of M dwarfs obtained in the planet search projects can be used to grasp the trend of elemental abundances and the Galactic stellar population of nearby M dwarfs.
Hiroyuki Tako Ishikawa↗