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 91 records · Page 5

Operational Use of the AIRS Total Column Ozone Retrievals Along with the RGB Air Mass Product as Part of the GOES-R Proving Ground

The National Oceanic and Atmospheric Administration (NOAA) National Centers for Environmental Prediction (NCEP) Hydrometeorological Prediction Center (HPC) and Ocean Prediction Center (OPC) provide short-term and medium-range forecast guidance of heavy precipitation, strong winds, and other features often associated with mid-latitude cyclones over both land and ocean. As a result, detection of factors that lead to rapid cyclogenesis and high wind events is key to improving forecast skill. One phenomenon that has been identified with these events is the stratospheric intrusion that occurs near tropopause folds. This allows for deep mixing near the top of the atmosphere where dry air high in ozone concentrations and potential vorticity descends (sometimes rapidly) deep into the mid-troposphere. Observations from satellites can aid in detection of these stratospheric air intrusions (SAI) regions. Specifically, multispectral composite imagery assign a variety of satellite spectral bands to the red, green, and blue (RGB) color components of imagery pixels and result in color combinations that can assist in the detection of dry stratospheric air associated with PV advection, which in turn may alert forecasters to the possibility of a rapidly strengthening storm system. Single channel or RGB satellite imagery lacks quantitative information about atmospheric moisture unless the sampled brightness temperatures or other data are converted to estimates of moisture via a retrieval process. Thus, complementary satellite observations are needed to capture a complete picture of a developing storm system. Here, total column ozone retrievals derived from a hyperspectral sounder are used to confirm the extent and magnitude of SAIs. Total ozone is a good proxy for defining locations and intensity of SAIs and has been used in studies evaluating that phenomenon (e.g. Tian et al. 2007, Knox and Schmidt 2005). Steep gradients in values of total ozone seen by satellites have been linked to stratosphere-troposphere exchange (WMO, 1985).

Folmer, Michael↗

SPoRT Participation in the GOES-R and JPSS Proving Grounds

For the last several years, the NASA Short-term Prediction Research and Transition (SPoRT) project at has been working with the various algorithm working groups and science teams to demonstrate the utility of future operational sensors for GOES-R and the suite of instruments for the JPSS observing platforms. For GOES-R, imagery and products have been developed from polar-orbiting sensors such as MODIS and geostationary observations from SEVIRI, simulated imagery, enhanced products derived from existing GOES satellites, and data from ground-based observing systems to generate pseudo or proxy products for the ABI and GLM instruments. The suite of products include GOES-POES basic and RGB hybrid imagery, total lightning flash products, quantitative precipitation estimates, and convective initiation products. SPoRT is using imagery and products from VIIRS, CrIS, ATMS, and OMPS to show the utility of data and products from their operational counterparts on JPSS. The products include VIIRS imagery in swath form, the GOES-POES hybrid, a suite of RGB products including the air mass RGB using water vapor and ozone channels from CrIS, and several DNB products. Over a dozen SPoRT collaborative WFOs and several National Centers are involved in an intensive evaluation of the operational utility of these products.

Jedlovec, Gary↗

Automated Real Proving in PVS via MetiTarski

This paper reports the development of a proof strategy that integrates the MetiTarski theorem prover as a trusted external decision procedure into the PVS theorem prover. The strategy automatically discharges PVS sequents containing real-valued formulas, including transcendental and special functions, by translating the sequents into first order formulas and submitting them to MetiTarski. The new strategy is considerably faster and more powerful than other strategies for nonlinear arithmetic available to PVS.

Denman, William↗

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

Space Launch System will be able to offer payload accommodations with five times more volume than any contemporary launch vehicle. center dot Payload fairings of up to 10-meter diameter are planned. Space Launch System will offer an initial capability of greater than 70 metric tons to low Earth orbit; current U.S. launch vehicle maximum is 28 t. center dot Evolved version of SLS will offer greatest-ever capability of greater than 130 t to LEO. SLS offers reduced transit times to the outer solar system by half or greater. center dot Higher characteristic energy (C3) also enables larger payloads to destination.

Jackman, Angie↗

Proving Water Production Out of Mars Analog Soil

This project addresses the sustainable aspect of NASA's Evolvable Mars Campaign (EMC), specifically using local resources on Mars to become ad logistically independent of Earth as possible. Water is now a confirmed resource on the surface of Mars in various forms, but in order for it to be utilized it will need to extracted from the martian environment and purified. This project addresses Technology Area (TA) TA07, In-Situ Resource Utilization, specifically water extraction from regolith. The goal of this project was to study a method that could be used to separate water from other contaminating volatiles, This resulted in the development of a dedicated test stand and high fidelity Mars regolith simulant.

Analog Soil↗

Europa Clipper: MBSE Proving Ground

Recent collaborations between JPL’s Integrated Model Centric Engineering (IMCE) initiative and the Europa Clipper project have produced six distinct applications of MBSE. Most, but not all, of these have been successful. Here we describe all of the applications including benefits, challenges, and lessons learned.

Wagner, David↗