NASA_Software_Catalog_2014.pdf#sthash.Rk7M8wlL

Kodiak: A Software Library for Verifying Nonlinear Arithmetic StatementsLAR-18268-1Kodiak is a software implementation of an algorithm for verifying expressions involving nonlinear realarithmetic. It includes an optimizer for nonlinear real functions, a solver for nonlinear inequalities, and anapplication programming interface (API) for integrating other software verification tools.Open SourceLibibvppARC-16075-1Libibvpp is a C++ wrapper around libibverbs, which is part of the OpenFabrics software suite. Libibvpp canbe downloaded at: Open SourceLibrary Suite Speeds Development of Kalman Filter DesignMSC-23704-1The Generic Kalman Filter (GKF) provides all the functionality of a Kalman filter, including state and variance/co-variance matrix propagation and measurement updating, while allowing a user to define subroutines forparticular problems. The innovation uses a library of trusted subroutines to handle the mundane functionsthat are common to all Kalman filters. This generic quality allows for flexibility and fast start-up speed for thecreation of a new filter.U.S. Release OnlyLossless Hyper-/Multi-Spectral Data Compression SoftwareGSC-15992-1This software performs lossless hyper-spectral and multi-spectral data compression. It can be downloadedat: Open SourceLow-Density Parity Check Fault-Programmable Gate Array (FPGA)Decoder for the (8176,7154) Code Specified in the ConsultativeCommittee for Space Data Systems (CCSDS) Orange Book 131.1-O-2GSC-15454-1VHDL code has been written to implement the (8176,7154) LDPC code in the CCSDS Orange Book 131.1-O-2.The design has been tested using a Virtex 4 LX200 FGPA running at 66 MHz for various signal-to-noise ratioswith on-chip random normal generators. The decoder core will run at 100 MHz giving a sustained throughputof 650 Mbits/second. The decoder uses the minimum sum algorithm with an attenuation multiplier of 0.75 and6-bit saturating arithmetic. The decoder does 14 iterations per block and generates a dot product for the lastiteration. Data is input and output as 7-bit probabilities of 6 bits each per cycle.U.S. Government Purpose ReleaseMariana: Text Classification SystemARC-16070-1Mariana is an algorithm that efficiently optimizes the hyperparameters for support vector machines for regressionand classification. It currently uses simulated annealing for optimization but can be extended to use avariety of stochastic optimization techniques, including Markov Chain Monte Carlo, Sequential Monte Carlo,and genetic algorithms. The software is available at: Open SourceMATLAB Automated Test Tool (MATT)GSC-14861-1MATT is an application that provides an enhanced test-generation capability to users of Simulink and Real-Time Workshop. The ability to rapidly create custom test data for model simulations/executables is animportant time saver that frees a user from having to develop a variety of testing input data.U.S. Government Purpose Release14. Data and Image ProcessingNASA Technology Transfer Program Software Catalog 2014 137