Information Technology & Software

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

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

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

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

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

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

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

Read More >>

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