Software

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...

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 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...

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 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 modeling of turbulent reactive flows is a subject of contemporary research. Current turbulent-reaction models cannot account for realistic complexities such as distinct species...

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 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...

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...

A machine learning system from the Massachusetts Institute of Technology (MIT) recognizes sounds by watching video. The neural network interprets natural sounds in terms of image categories, without hand-annotated training data.

Source code analysis typically requires the use of expensive and difficult-to-configure tools that support only a predefined set of standard checks. In some cases, it is possible to add customized checks, but doing so can be laborious and requires a deep understanding of each tool’s internal...

The Intermediate Palomar Transient Factory (iPTF) is a visible-spectrum astronomy survey aimed at detecting “transient” events such as supernovae. Every night, a telescope at the Palomar observatory collects images of various regions of the sky and compares them to a set of reference...

The technique of synthesizing state-machine-based hybrid controller flight software (FSW) from formal specifications is demonstrated utilizing two simple controller examples (i.e. a simple thermostat and a simple autonomous vehicle). Formal requirements for these...

JPL Operations Engineers (Operators) need to interact with their telemetry to assess the health of and successfully operate a spacecraft or rover. Operators must analyze the immediate data for health and understand the current state of these complex systems, but they also must be...

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....

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.

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.

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...

A new machine-learning training method developed at the University of Toronto enables neural networks to learn directly from human-defined rules. The achievement supports new possibilities for artificial intelligence in medical diagnostics and self-driving cars.