Electronics & Software

Model-based diagnosis deals with the problem of diagnosing faults in systems using a model of the system for guidance. This problem is complicated by the presence of hybrid dynamics in the system (continuous evolution of the system interspersed with discrete events like commands to...

The objective of this project was to develop inexpensive structural cryogenic insulation foam that has increased impact resistance for launch and ground-based cryogenic systems. Two parallel approaches were used: a silica-polymer co-foaming technique and a...

The Generalized Query Tool for accessing the database of MaROS can be utilized in three modes: (1) batch mode where a user's authentication data is inserted directly along with a desired query to the database, (2) interactive mode where a...

This work arises out of the Next Generation Space Processor (NGSP) project, a collaborative effort among several NASA centers and the Air Force Research Laboratory. The goal of NGSP is to develop the next generation of radiation-hardened, fault-tolerant, space-worthy...

Java PathFinder (JPF) version 7 provides basic support for verifying the distributed Java applications. It can receive a distributed Java application as input that is perceived as multiple Java processes. However, JPF does account for communication between processes of the distributed application, and it thus...

The Jet Propulsion Laboratory's Institutional Budgeting Tool (IBT) was designed and developed to meet the needs of JPL's budget planners, numbering 1,600, who required a robust and state-of-the-art budgeting application. JPL's budgeting process had been constrained by legacy tools that presented usability and...

The use of patterned multiple layers of thin films of metal and dielectric to form integrated circuit interconnections of transistors and/or form on-chip circuit capacitors is well known to...

The Deep Space Network (DSN) is a collection of three sites around the globe. The positioning of the sites, 120° longitude apart, allows at least one site to see every patch of sky at all times, thus facilitating continuous coverage for any deep...

The representation of mission operations systems (MOS) has been unique to each mission, although there are many common concerns that need to be addressed. A consistent approach and language are needed for representing mission operations systems. The Mission Service Architecture Framework (MSAF) is a...

Each mission needs to develop a Mission Operations System (MOS). Without a standard design to use as a reference, system engineers typically look to a subset of previous missions and develop a system with a mix of heritage, new design, and in some cases, reinvention of existing capabilities. If a reference...

The modeling of turbulent reactive flows is a subject of contemporary research. Current turbulent-reaction models cannot account for realistic complexities such as distinct species...

The NASA Earth Observing System Data and Information System (EOSDIS) is a data-centric system designed for the processing and archiving from NASA’s Earth Observation missions and their distribution, as well as provision of specialized services to users. The major...

The NASA Earth Observing System Data and Information System (EOSDIS) is a data-centric system designed for processing and archiving from NASA’s Earth Observation missions and their distribution, as well as provision of specialized services to users. The major...

The Space Communications and Navigation (SCaN) program is responsible for providing communications and navigation services to spaceflight missions located throughout the solar system. Astronauts, mission controllers, and scientists depend upon the reliable transmission of information between...

Many natural or complex engineered systems rely upon critical functions or processes that can be measured with the aid of various sensors or other novel devices. As a result, sensor and measurement data can be used to learn a parametric or non-parametric model of the behavior for a...

The Matlab Webification Science Client consists of several functions that access remote w10n-sci repositories to retrieve data. It supports user sessions to authenticate and authorize access to restricted repositories. In command line mode, it can list the contents of a w10n-sci node, change to other nodes, and...

NASA’s Jet Propulsion Laboratory has developed a nano-electro-mechanical resonator (NEMR) based on vertically aligned carbon nanofibers (CNFs) that is suitable for applications requiring high sensitivity, broad tenability, low loss (high...

Particle shape is a very important property in many fields of research, and with many practical, diverse, and commercially important applications including pharmaceuticals, civil engineering, metallurgy, health, and food processing. Many of the methods used to evaluate the shapes of...

Libibvpp provides a C++ wrapper API to the libibverbs library. Libibverbs is the OpenIB library that provides the Verbs API for programming Infiniband hardware. It is written in C and provides a C API. Because the API is in C, it is up to the library user to do explicit resource management for the objects created through the API.

The demands for high-sensitivity and high-resolution radiometry have recently led the science community to examine the use of large deployable mesh reflectors, which have heretofore only been used in telecommunications applications.

Recurring Slope Lineae (RSL) are low-albedo features that appear and disappear seasonally on Martian slopes. They provide distinct surface markers that are thought to result from the activity of subsurface water. Reliable characterizations of RSL activity are needed to test this hypothesis....