Information Technology & Software

An Efficient Reachability Analysis Algorithm

A document discusses a new algorithm for generating higher-order dependencies for diagnostic and sensor placement analysis when a system is described with a causal modeling framework. This innovation will be used in diagnostic and sensor optimization and analysis tools. Fault detection, diagnosis, and prognosis are essential tasks in the operation of autonomous spacecraft, instruments, and in-situ platforms. This algorithm will serve as a power tool for technologies that satisfy a key requirement of autonomous spacecraft, including science instruments and in-situ missions.

Posted in: Briefs, TSP, Information Sciences, Mathematical models, Sensors and actuators, Diagnostics, Prognostics, Spacecraft, Unmanned aerial vehicles
Read More >>

Control Architecture for Robotic Agent Command and Sensing

Plans and behaviors are updated in response to changing requirements and conditions.

Control Architecture for Robotic Agent Command and Sensing (CARACaS) is a recent product of a continuing effort to develop architectures for controlling either a single autonomous robotic vehicle or multiple cooperating but otherwise autonomous robotic vehicles. CARACaS is potentially applicable to diverse robotic systems that could include aircraft, spacecraft, ground vehicles, surface water vessels, and/or underwater vessels.

Posted in: Briefs, TSP, Information Sciences, Architecture, Robotics, Autonomous vehicles, Marine vehicles and equipment, Spacecraft, Unmanned aerial vehicles
Read More >>

Algorithm for Wavefront Sensing Using an Extended Scene

The restriction to a point source has been removed.

A recently conceived algorithm for processing image data acquired by a Shack-Hartmann (SH) wavefront sensor is not subject to the restriction, previously applicable in SH wavefront sensing, that the image be formed from a distant star or other equivalent of a point light source. That is to say, the image could be of an extended scene. (One still has the option of using a point source.) The algorithm can be implemented in commercially available software on ordinary computers.

Posted in: Briefs, TSP, Information Sciences, Mathematical models, Computer software and hardware, Remote sensing
Read More >>

XML-Based SHINE Knowledge Base Interchange Language

The SHINE Knowledge Base Interchange Language software has been designed to more efficiently send new knowledge bases to spacecraft that have been embedded with the Spacecraft Health Inference Engine (SHINE) tool. The intention of the behavioral model is to capture most of the information generally associated with a spacecraft functional model, while specifically addressing the needs of execution within SHINE and Livingstone. As such, it has some constructs that are based on one or the other.

Posted in: Briefs, TSP, Information Sciences, Communication protocols, Computer software and hardware, Data exchange
Read More >>

SHINE Virtual Machine Model for In-flight Updates of Critical Mission Software

This software is a new target for the Spacecraft Health Inference Engine (SHINE) knowledge base that compiles a knowledge base to a language called Tiny C — an interpreted version of C that can be embedded on flight processors. This new target allows portions of a running SHINE knowledge base to be updated on a “live” system without needing to halt and restart the containing SHINE application. This enhancement will directly provide this capability without the risk of software validation problems and can also enable complete integration of BEAM and SHINE into a single application.

Posted in: Briefs, TSP, Information Sciences, Computer software and hardware, Spacecraft
Read More >>

Mars Image Collection Mosaic Builder

A computer program assembles images from the Mars Global Surveyor (MGS) Mars Observer Camera Narrow Angle (MOCNA) collection to generate a uniform-high-resolution, georeferenced, uncontrolled mosaic image of the Martian surface. At the time of reporting the information for this article, the mosaic covered 7 percent of the Martian surface and contained data from more than 50,000 source images acquired under various light conditions at various resolutions.

Posted in: Briefs, Information Sciences, Cartography, Computer software and hardware, Imaging and visualization
Read More >>

Providing Internet Access to High-Resolution Mars Images

The OnMars server is a computer program that provides Internet access to high-resolution Mars images, maps, and elevation data, all suitable for use in geographical information system (GIS) software for generating images, maps, and computational models of Mars. The OnMars server is an implementation of the Open Geospatial Consortium (OGC) Web Map Service (WMS) server. Unlike other Mars Internet map servers that provide Martian data using an Earth coordinate system, the OnMars WMS server supports encoding of data in Mars-specific coordinate systems.

Posted in: Briefs, Information Sciences, Cartography, Data exchange, Internet of things
Read More >>

Providing Internet Access to High-Resolution Lunar Images

The OnMoon server is a computer program that provides Internet access to high-resolution Lunar images, maps, and elevation data, all suitable for use in geographical information system (GIS) software for generating images, maps, and computational models of the Moon. The OnMoon server implements the Open Geospatial Consortium (OGC) Web Map Service (WMS) server protocol and supports Moon-specific extensions. Unlike other Internet map servers that provide Lunar data using an Earth coordinate system, the OnMoon server supports encoding of data in Moon-specific coordinate systems.

Posted in: Briefs, Information Sciences, Cartography, Data exchange, Internet of things
Read More >>

Expressions Module for the Satellite Orbit Analysis Program

The Expressions Module is a software module that has been incorporated into the Satellite Orbit Analysis Program (SOAP). The module includes an expressions-parser submodule built on top of an analytical system, enabling the user to define logical and numerical variables and constants. The variables can capture output from SOAP orbital-prediction and geometric-engine computations. The module can combine variables and constants with built-in logical operators (such as Boolean AND, OR, and NOT), relational operators (such as >, <, or =), and mathematical operators (such as addition, subtraction, multiplication, division, modulus, exponentiation, differentiation, and integration). Parentheses can be used to specify precedence of operations.

Posted in: Briefs, Information Sciences, Trajectory control, Mathematical analysis, Computer software and hardware, Satellites
Read More >>

Virtual Satellite

Virtual Satellite (VirtualSat) is a computer program that creates an environment that facilitates the development, verification, and validation of flight software for a single spacecraft or for multiple spacecraft flying in formation. In this environment, enhanced functionality and autonomy of navigation, guidance, and control systems of a spacecraft are provided by a virtual satellite — that is, a computational model that simulates the dynamic behavior of the spacecraft.

Posted in: Briefs, TSP, Information Sciences, Computer simulation, Flight control systems, Navigation and guidance systems, Satellites, Spacecraft, Vehicle dynamics
Read More >>

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