Lunar Thin Section Particle Identification and Analysis Algorithm

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 solid particles employ a plane section through the particles. This mode may be termed Plane of Section. Plane of Section abstracts three-dimensional (3D) objects to two dimensions (2D).

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Mathematical models, Particulate matter (PM), Identification
Read More >>

Libibvpp

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.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer software / hardware, Computer software and hardware, Computer software / hardware, Computer software and hardware, Data management, Terminology
Read More >>

Analytical Methodology to Predict the Radiometric Emissivity of a Parabolic Mesh Reflector

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.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Mathematical analysis, Telecommunications, Telecommunications, Emissions, Radiation
Read More >>

Detection and Characterization of Recurring Slope Lineae

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. RSL are of high scientific interest, and could inform future mission planning priorities beyond sample return.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Terrain, Water, Identification
Read More >>

Streams: A Hyper-Responsive Telemetry Interaction Tool on the Web

A new search database provides a hyper-responsive interface that allows operators to rapidly search for only the datapoints of interest.

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 able to evaluate the long-term engineering data to identify trends and potential pitfalls that develop over time. Whether starting with long-term trends or short-term data, operators have large amounts of data and need a tool so that their expertise is spent analyzing the data and trends, rather than working to tease these trends from outdated toolsets not equipped to handle large data sets. Existing tools pre-compute either long-term trends or short-term plots, but further ad-hoc analysis is prohibitively difficult, can take many hours per query, and queries necessitate either special access or that the operator be on a specific network to access data and to correlate it to models.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer software / hardware, Computer software and hardware, Internet, Telemetry, Computer software / hardware, Computer software and hardware, Internet, Telemetry, Data management
Read More >>

Auto-Coding Flight Software Hybrid Controllers Synthesized from Formal Specifications

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 controllers are specified using linear temporal logic (LTL) expressions, expressions describing the system dynamics, and numerical bounds on the control inputs and disturbances (or constraints). A new interface between the Temporal Logic Planning (TuLiP) toolbox — a hybrid controller synthesis software — and the JPL Statechart Autocoder (SCA) — a tool for mapping UML Statecharts to implementation code — was developed. The interface is still under development, but has reached sufficient maturity for demonstration. Results from preliminary prototype demonstrations encourage further collaboration between JPL and Caltech to develop a new capability for synthesizing hybrid controllers to be implemented within JPL Flight Software.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer software / hardware, Computer software and hardware, Flight control systems, Computer software / hardware, Computer software and hardware, Flight control systems, Collaboration and partnering
Read More >>

Active Learning System for iPTF Candidate Classification

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 images taken on previous nights. The image comparison is done via a subtraction process. The reference images are subtracted from the new nightly images, and any remaining light sources are flagged as candidate transient events.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Artificial intelligence, Imaging, Imaging and visualization, Artificial intelligence, Imaging, Imaging and visualization
Read More >>

Cobra: an Extendable Tool for Interactive Code Analysis

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 data structures, which means that it is rarely done.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer software / hardware, Computer software and hardware, Computer software / hardware, Computer software and hardware, Tools and equipment
Read More >>

Common Workflow Service: A Standards-Based Process Management System

As mission operations grow in scale and complexity, there is a prevailing need for automating operational processes to increase efficiency, mitigate risks, and reduce operational costs. The need for automating operational processes has produced a few disparate automation systems within the Advanced Multi Mission Operations System (AMMOS). Without a common solution for process management and automation, each AMMOS subsystem that requires a workflow capability will need to develop its own expertise in the workflow domain as independent systems are developed. This can lead to many incompatible implementations that functionally do similar things. The Common Workflow Service (CWS) attempts to address this issue to avoid independent ad hoc workflow implementations.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer software / hardware, Computer software and hardware, Computer software / hardware, Computer software and hardware, Personnel, Automation
Read More >>

NEQAIR v14.x Non-Equilibrium Radiative Transport and Spectra Program

There is a need to calculate the radiative heating rate at the surface of a vehicle entering any atmosphere, (e.g., Earth, Saturn, Titan, Mars, Venus etc). NEQAIR simulates the actual chemical and physical actions and reactions of the gaseous species in high-temperature shock layers. NEQAIR has been NASA’s main radiation code for the past 30 years. It is a line-by-line radiation code that computes spontaneous emission, absorption, and stimulated emission due to transitions between various energy states of chemical species along a line of sight. There have recently been substantial updates to the physics in the code and the computational efficiency in NEQAIR; v14.0 is the first parallelized version that has resulted in calculations speeding up by a factor of approximately 30×.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Exteriors, Mathematical models, Thermal testing, Entry, descent, and landing, Spacecraft
Read More >>

The U.S. Government does not endorse any commercial product, process, or activity identified on this web site.