Search NASA⌕ Search

SEARCH · Search NASA

Results for “linked data”

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 1,225 records · Page 68

Model Checker for Java Programs

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

Visser, Willem↗

Operation of a New COTS Crystal Oscillator - CXOMHT over a Wide Temperature Range

Crystal oscillators are extensively used in electronic circuits to provide timing or clocking signals in data acquisition, communications links, and control systems, to name a few. They are affordable, small in size, and reliable. Because of the inherent characteristics of the crystal, the oscillator usually exhibits extreme accuracy in its output frequency within the intrinsic crystal stability. Stability of the frequency could be affected under varying load levels or other operational conditions. Temperature is one of those important factors that influence the frequency stability of an oscillator; as it does to the functionality of other electronic components. Electronics designed for use in NASA deep space and planetary exploration missions are expected to be exposed to extreme temperatures and thermal cycling over a wide range. Thus, it is important to design and develop circuits that are able to operate efficiently and reliably under in these harsh temperature environments. Most of the commercial-off-the-shelf (COTS) devices are very limited in terms of their specified operational temperature while very few custom-made commercial and military-grade parts have the ability to operate in a slightly wider range of temperature than those of the COTS parts. These parts are usually designed for operation under one temperature extreme, i.e. hot or cold, and do not address the wide swing in the operational temperature, which is typical of the space environment. For safe and successful space missions, electronic systems must therefore be designed not only to withstand the extreme temperature exposure but also to operate efficiently and reliably. This report presents the results obtained on the evaluation of a new COTS crystal oscillator under extreme temperatures.

Patterson, Richard↗

Performance Analysis of a NASA Integrated Network Array

The Space Communications and Navigation (SCaN) Program is planning to integrate its individual networks into a unified network which will function as a single entity to provide services to user missions. This integrated network architecture is expected to provide SCaN customers with the capabilities to seamlessly use any of the available SCaN assets to support their missions to efficiently meet the collective needs of Agency missions. One potential optimal application of these assets, based on this envisioned architecture, is that of arraying across existing networks to significantly enhance data rates and/or link availabilities. As such, this document provides an analysis of the transmit and receive performance of a proposed SCaN inter-network antenna array. From the study, it is determined that a fully integrated internetwork array does not provide any significant advantage over an intra-network array, one in which the assets of an individual network are arrayed for enhanced performance. Therefore, it is the recommendation of this study that NASA proceed with an arraying concept, with a fundamental focus on a network-centric arraying.

Nessel, James A.↗

Discrimination of Biomass Burning Smoke and Clouds in MAIAC Algorithm

The multi-angle implementation of atmospheric correction (MAIAC) algorithm makes aerosol retrievals from MODIS data at 1 km resolution providing information about the fine scale aerosol variability. This information is required in different applications such as urban air quality analysis, aerosol source identification etc. The quality of high resolution aerosol data is directly linked to the quality of cloud mask, in particular detection of small (sub-pixel) and low clouds. This work continues research in this direction, describing a technique to detect small clouds and introducing the smoke test to discriminate the biomass burning smoke from the clouds. The smoke test relies on a relative increase of aerosol absorption at MODIS wavelength 0.412 micrometers as compared to 0.47-0.67 micrometers due to multiple scattering and enhanced absorption by organic carbon released during combustion. This general principle has been successfully used in the OMI detection of absorbing aerosols based on UV measurements. This paper provides the algorithm detail and illustrates its performance on two examples of wildfires in US Pacific North-West and in Georgia/Florida of 2007.

Lyapustin, A.↗

Correlating Mineralogy and Amino Acid Contents of Milligram-Scale Murchison Carbonaceous Chondrite Samples

Amino acids, the building blocks of proteins, have been found to be indigenous in most of the carbonaceous chondrite groups. The abundances of amino acids, as well as their structural, enantiomeric and isotopic compositions differ significantly among meteorites of different groups and petrologic types. This suggests that there is a link between parent-body conditions, mineralogy and the synthesis and preservation of amino acids (and likely other organic molecules). However, elucidating specific causes for the observed differences in amino acid composition has proven extremely challenging because samples analyzed for amino acids are typically much larger ((is) approximately 100 mg powders) than the scale at which meteorite heterogeneity is observed (sub mm-scale differences, (is) approximately 1-mg or smaller samples). Thus, the effects of differences in mineralogy on amino acid abundances could not be easily discerned. Recent advances in the sensitivity of instrumentation have made possible the analysis of smaller samples for amino acids, enabling a new approach to investigate the link between mineralogical con-text and amino acid compositions/abundances in meteorites. Through coordinated mineral separation, mineral characterization and highly sensitive amino acid analyses, we have performed preliminary investigations into the relationship between meteorite mineralogy and amino acid composition. By linking amino acid data to mineralogy, we have started to identify amino acid-bearing mineral phases in different carbonaceous meteorites. The methodology and results of analyses performed on the Murchison meteorite are presented here.

Burton, Aaron, S.↗

MACHETE: Environment for Space Networking Evaluation

Space Exploration missions requires the design and implementation of space networking that differs from terrestrial networks. In a space networking architecture, interplanetary communication protocols need to be designed, validated and evaluated carefully to support different mission requirements. As actual systems are expensive to build, it is essential to have a low cost method to validate and verify mission/system designs and operations. This can be accomplished through simulation. Simulation can aid design decisions where alternative solutions are being considered, support trade-studies and enable fast study of what-if scenarios. It can be used to identify risks, verify system performance against requirements, and as an initial test environment as one moves towards emulation and actual hardware implementation of the systems. We describe the development of Multi-mission Advanced Communications Hybrid Environment for Test and Evaluation (MACHETE) and its use cases in supporting architecture trade studies, protocol performance and its role in hybrid simulation/emulation. The MACHETE environment contains various tools and interfaces such that users may select the set of tools tailored for the specific simulation end goal. The use cases illustrate tool combinations for simulating space networking in different mission scenarios. This simulation environment is useful in supporting space networking design for planned and future missions as well as evaluating performance of existing networks where non-determinism exist in data traffic and/or link conditions.

Jennings, Esther H.↗

Formal Provenance Representation of the Data and Information Supporting the National Climate Assessment

The Global Change Information System (GCIS) provides a framework for the formal representation of structured metadata about data and information about global change. The pilot deployment of the system supports the National Climate Assessment (NCA), a major report of the U.S. Global Change Research Program (USGCRP). A consumer of that report can use the system to browse and explore that supporting information. Additionally, capturing that information into a structured data model and presenting it in standard formats through well defined open inter- faces, including query interfaces suitable for data mining and linking with other databases, the information becomes valuable for other analytic uses as well.

Provenance↗

Assessment of Soil Moisture Retrievals Using SMAP and ELBARA-III Measurements in a Tibetan Meadow Ecosystem

This study presents results evaluating retrievals of liquid water content for both thawed and frozen soils based on simultaneous SMAP and ELBARA-III measurements in a Tibetan meadow ecosystem. A good agreement is found between time series of the SMAP and ELBARA-III T(sub B(sup P)) measurements (R≥0.87). Differences noted between the two data sets are linked to distinct liquid water content variations found in the specific footprints, and the SMAP measurements are better explained by the in-situ liquid water content. Furthermore, the in-situ liquid water content shows better agreements with both SMAP and ELBARA-III measured T(sub B(sup P)) at horizontal polarization in the cold season, while the measurements at vertical polarization are more consistently varying with the liquid water content for the warm season. With the implementation of new vegetation and surface roughness parameterizations, the dynamics of in-situ liquid water content are better reproduced by corresponding retrievals for both thawed and frozen soils, leading to the reduction of the unbiased root mean-square error (ubRMSE) by more than 31 % in comparison to these retrievals using SMAP default parameterizations. Notably, the single channel algorithm configured with the new parameterizations using SMAP measured vertical polarization during the ascending overpass provides the best liquid water content retrievals with an ubRMSE of 0.035 cu m -cu m that outperforms the SMAP mission specification.

L-band microwave radiometry↗

ACTS Propagation Campaign

Because of a shortage of propagation data in satellite links, the existing Ka-band propagation models are inadequate for accurately predicting tropospheric-induced anomalies of the slant path. To remedy this shortcoming, NASA has implemented the Advanced Communications Technology Satellite (ACTS) Propagation Campaign.

Ka-band↗

Using Machine Learning to Classify Earth Science Articles

Developing a machine learning pipeline to automatic the classification of research article topics, where topics are geophysical descriptors. The resulting classified documents will be added to the Usage-Based Discovery graph database, along with corresponding NASA Earth Science datasets, with the intent of linking the NASA data product with uses of it that can be searched by topic. The project will aid in the following goals (1) creating a wider representation of how and how much NASA Earth Science data products are used, (2) identifying when NASA data products have been used even when they are not clearly cited, and (3) providing the UBD search tool end-user with set of recommended datasets based on a given topic query.

Machine Learning↗

Video That's Out of This World: A Snapshot of Video Distribution from Across the Solar System

While extraterrestrial scientific research advances to the Moon and Mars, so does the need for secure high-quality video links to capture data and share the experience. This paper describes the space to ground architecture needed to satisfy the cultural mantra challenging “Pictures or it didn’t happen!” as NASA travels beyond Low Earth Orbit. The Marshall Space Flight Center’s Delay Tolerant Network Marshall Enterprise (DTNME) protocol is the framework for video distribution beyond the terrestrial Internet, appropriate for communications across the solar system. Utilizing the International Space Station (ISS) as a test facility, NASA engineers and contractors will demonstrate new technologies and capabilities to transmit high-quality video imagery for NASA’s return to the Moon, Mars exploration, and next generation of explorers.

Jennifer L. Christopher↗

Uranus Probe Entry and Descent Trajectory Design

Uranus has been recently selected as the priority destination for a future Flagship-class mission. The present study designed a mission concept including an orbiter and an atmospheric probe to Uranus. Specific concerns explored by this study included meeting structural requirements under high deceleration loads, designing a Thermal Protection System (TPS) to withstand the high heat fluxes for Uranus entry, and ensuring communication availability for science data up-link between the probe and the orbiter. The results of the study were used to support the 2023-2032 Planetary Science and Astrobiology Decadal Survey.

Uranus Mission Concept↗

Video That's Out of This World: A Snapshot of Video Distribution from Across the Solar System

While extraterrestrial scientific research advances to the Moon and Mars, so does the need for secure high-quality video links to capture data and share the experience. This paper describes the space to ground architecture needed to satisfy the cultural mantra challenging “Pictures or it didn’t happen!” as NASA travels beyond Low Earth Orbit. The Marshall Space Flight Center’s Delay Tolerant Network Marshall Enterprise (DTNME) protocol is the framework for video distribution beyond the terrestrial Internet, appropriate for communications across the solar system. Utilizing the International Space Station (ISS) as a test facility, NASA engineers and contractors will demonstrate new technologies and capabilities to transmit high-quality video imagery for NASA’s return to the Moon, Mars exploration, and next generation of explorers.

Photography↗

Video That's Out of This World: A Snapshot of Video Distribution from Across the Solar System

While extraterrestrial scientific research advances to the Moon and Mars, so does the need for secure high-quality video links to capture data and share the experience. This paper describes the space to ground architecture needed to satisfy the cultural mantra challenging “Pictures or it didn’t happen!” as NASA travels beyond Low Earth Orbit. The Marshall Space Flight Center’s Delay Tolerant Network Marshall Enterprise (DTNME) protocol is the framework for video distribution beyond the terrestrial Internet, appropriate for communications across the solar system. Utilizing the International Space Station (ISS) as a test facility, NASA engineers and contractors will demonstrate new technologies and capabilities to transmit high-quality video imagery for NASA’s return to the Moon, Mars exploration, and next generation of explorers.

Photography↗

Video That's Out of This World: A Snapshot of Video Distribution from Across the Solar System

While extraterrestrial scientific research advances to the Moon and Mars, so does the need for secure high-quality video links to capture data and share the experience. This paper describes the space to ground architecture needed to satisfy the cultural mantra challenging “Pictures or it didn’t happen!” as NASA travels beyond Low Earth Orbit. The Marshall Space Flight Center’s Delay Tolerant Network Marshall Enterprise (DTNME) protocol is the framework for video distribution beyond the terrestrial Internet, appropriate for communications across the solar system. Utilizing the International Space Station (ISS) as a test facility, NASA engineers and contractors will demonstrate new technologies and capabilities to transmit high-quality video imagery for NASA’s return to the Moon, Mars exploration, and next generation of explorers.

Photography↗

Multidimensional structured data visualization method and apparatus, text visualization method and apparatus, method and apparatus for visualizing and graphically navigating the world wide web, method and apparatus for visualizing hierarchies

A method of displaying correlations among information objects includes receiving a query against a database; obtaining a query result set; and generating a visualization representing the components of the result set, the visualization including one of a plane and line to represent a data field, nodes representing data values, and links showing correlations among fields and values. Other visualization methods and apparatus are disclosed.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

Multidimensional structured data visualization method and apparatus, text visualization method and apparatus, method and apparatus for visualizing and graphically navigating the world wide web, method and apparatus for visualizing hierarchies

A method of displaying correlations among information objects includes receiving a query against a database; obtaining a query result set; and generating a visualization representing the components of the result set, the visualization including one of a plane and line to represent a data field, nodes representing data values, and links showing correlations among fields and values. Other visualization methods and apparatus are disclosed.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

Updates and Validation for the n+ 63,65 Cu Cross Sections [Abstract]

The neutron induced total, elastic, and capture cross sections of 63,65 Cu isotopes were selected for evaluation in the resolved and unresolved resonance energy ranges by the National Criticality Safety Program to resolve discrepancies related to benchmark performance. This is especially evident for the series of ZEUS benchmarks in which copper is used as a reflector. Because copper is also used as structural material in both fission and fusion reactors, the need to address benchmark discrepancies linked to nuclear data deficiencies is a task of primary importance. The aim of this work is to describe the steps of evaluation work towards a consistent improvement of the benchmark performance. The R-matrix analysis with the SAMMY code focused on the 63 Cu(n,γ) reaction channel between 100-300 keV coupled to unresolved resonance region parameters up to 650 keV to fit average cross section data from a recent experiment. Due to the high sensitivity of many benchmarks to elastic scattering angular distribution data, especially for the 65 Cu isotope, the impact of these data was tested by generating Legendre coefficients from both resonance parameters and the Hauser-Feshbach model. Guided by the findings of Shaw et al., the performance of the current evaluation for 65 Cu was compared to that of ENDF/B-VII.1 and ENDF/B-VIII.0 by testing the reactivity coefficients corresponding to the validation suite of experimental criticality benchmarks for thermal, intermediate, and fast systems taken from the International Criticality Safety Benchmark Experiments Project Handbook. The benchmark performance is especially sensitive to 63 Cu(n,γ) and 65 Cu elastic scattering for neutron energies in the 100–500 keV region, whereas 100 keV is the upper limit of the resolved resonance region in the ENDF/B-VIII.0 evaluations for 63,65 Cu. The results highlight the need to handle the transition from the resolved resonance region to the high energy region carefully.

07 ISOTOPE AND RADIATION SOURCES↗