Search

Pour is a general-purpose information service framework for periodic, on-demand, and user-specified information reconciliation. The technology is designed to accommodate a wide variety of information types with support for high-volume, low-frequency periodic updates, user-specified updates, and automatic updates collected on demand when needed.

VERVE is a 3D visualization system that provides situational awareness, science analysis tools, and data understanding capabilities for robotics researchers and exploration science operations. The technology is highly modular and extensible and includes a 3D scene-graph database, an interactive 3D viewer, and associated graphical user interfaces to OSGI plugin-based applications.

Decision trees are commonly used in artificial intelligence and statistical pattern recognition. A tree is "grown" from data using a recursive-partitioning algorithm. IND re-implements parts of existing standard prediction algorithms, offers experimental control suites, and also introduces new, more sophisticated methods for growing decision trees.

Block GP is a Gaussian Process regression framework for multimodal data, that can be an order of magnitude more scalable than existing state-of-the-art nonlinear regression algorithms. The framework builds local Gaussian Processes on semantically meaningful partitions of the data and provides higher prediction accuracy than a single global model with very high confidence. The method relies on approximating the covariance matrix of the entire input space by smaller covariance matrices that can be modeled independently, and can therefore be parallelized for faster execution.

The INS3D code solves the incompressible Naiver-Stokes equations in three-dimensional generalized coordinates for both steady-state and time varying flow. The equations are formulated using the method of artificial compressibility. The convective terms are differenced using an upwind biased flux-difference splitting. The equations are solved using an implicit line-relaxation scheme. The code is written for single or multiple-zone calculations. It can utilize either pointwise continuous zonal interfaces, or overset zonal interfaces if a PEGASUS interpolation database is supplied. The INS3D code is written in Fortran77 and C. The code only runs in a serial execution mode. This code was developed in the 1990s and is no longer under development at NASA.

The Traffic Situation Display (TSD) is an integrated display of air traffic, weather, terrain, and special use airspace. TSD was designed to serve as a primary graphical interface for ground operators/dispatchers supporting research simulation of single pilot and/or reduced crew operations. One key feature is the seamless transitional flow between the ego-referenced and position-referenced frames.

IKOS is a kernel for the construction of open-static analyzers based on Patrick Cousot and Radhia Cousot's theory of abstract interpretation, which states that computations can be abstracted and reduced to a generalized set of objects and still exhibit the same critical properties of the parent program. By reducing the set of objects through abstraction, IKOS is scalable to large complex computer programs and presents a sound approach to verification of such programs.

Shift is a lightweight framework for high performance local and remote file transfers that provides resiliency across a wide variety of failure scenarios through various techniques. Shift can be downloaded from: http://www.nas.nasa.gov/~kolano/projects/shift.html

BASSHFS is a tool that allows remote directories to be manipulated as if they were mounted locally when using the bash shell. It is similar to the existing SSHFS utility except it is does not require FUSE kernel support.