Home

Automated Behavior and Cohesion Assessment Tools (ABCAT)

An important consideration of long-duration spaceflight operations is interpersonal dynamics that affect crew cohesion and performance. Flight surgeons have stated the need for unobtrusive monitoring to help detect if crews are having difficulties coping with long-duration spaceflight environments.

Posted in: Briefs, Medical

Read More >>

Algorithm Measures Range of Motion and Applies Eccentric and Concentric Loads During Exercise

Microprocessor-controlled exercise equipment that uses a servomotor has the capability to adjust the applied resistive load based on position, velocity, and acceleration. One method of applying the resistive load consists of applying a greater load during the eccentric phase of the exercise motion (muscles actively lengthening) than during the concentric phase of the motion (muscles actively shortening). This technique, called eccentric overloading, can improve the benefits of a strength training session significantly. Although the exercise device can alternate between concentric and eccentric loading based solely on the direction of the bar movement, this is undesirable for several reasons. First, when the velocity is close to zero, the system would rapidly switch between the eccentric and concentric loads. Second, if the exerciser is unable to complete a lift with the concentric load and wishes to lower the bar, the system would apply the high eccentric load, which is highly undesirable. Thus, it is necessary for the system to know the limits of the movement (range of motion, ROM) so that the system can identify when the user has completed the lift and the eccentric load can be properly applied.

Posted in: Briefs, Medical

Read More >>

Generalized Query Tool for Accessing the Database of the Mars Relay Operations Service (MaROS)

The Generalized Query Tool for accessing the database of MaROS can be utilized in three modes: (1) batch mode where a user's authentication data is inserted directly along with a desired query to the database, (2) interactive mode where a desired query is known and can be entered directly, and (3) interactive mode with a query “wizard” that walks a user through the steps needed to construct a valid query to the database. In all three cases, the successful execution of the script results in data from the MaROS database being made available to the user in a comma-separated output file. For new users, it is recommended to use the third mode to build a sample query and then tailor that as desired for use with the first or second modes.

Posted in: Briefs, Information Sciences

Read More >>

JPF-NAS Extension of Java Pathfinder

Java PathFinder (JPF) version 7 provides basic support for verifying the distributed Java applications. It can receive a distributed Java application as input that is perceived as multiple Java processes. However, JPF does account for communication between processes of the distributed application, and it thus cannot be used to verify any realistic distributed Java application. Applying JPF on distributed applications requires a model of inter-process communication (IPC) and process aware scheduling.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software

Read More >>

Institutional Budgeting Tool (IBT)

The Jet Propulsion Laboratory's Institutional Budgeting Tool (IBT) was designed and developed to meet the needs of JPL's budget planners, numbering 1,600, who required a robust and state-of-the-art budgeting application. JPL's budgeting process had been constrained by legacy tools that presented usability and performance issues and lacked critical innovative budgeting features. IBT delivered superior user experience, system performance, and modern features necessary for essential laboratory budgeting.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software

Read More >>

Tubes Standards-Compliant C Header Library

Due to limitations imposed by transistor physics as device geometries continue to get finer and finer, the time when each new generation of processors was clocked faster than its predecessors is largely over. Nevertheless, as individual processor cores get smaller, chip manufacturers have turned instead to cramming a large number of cores onto a single die. Consequently, nearly all commercially available CPUs (central processing units), even those used in smartphones, already depend upon a multicore architecture. Unfortunately, the programming languages used for nearly all commercial software projects are really intended for generating code for a single CPU core. Though extensions exist that support multiple cores, it is something that is essentially tacked on, not part of the core language's constructs.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software

Read More >>

HyDE Model-Based Diagnosis Engine for Stochastic Hybrid Systems

Model-based diagnosis deals with the problem of diagnosing faults in systems using a model of the system for guidance. This problem is complicated by the presence of hybrid dynamics in the system (continuous evolution of the system interspersed with discrete events like commands to change configuration), as well as uncertainties in the form of model approximations and sensor noise. Several model-based technologies have been developed and successfully demonstrated using discrete abstractions of the system as models. These techniques are severely restricted in model expressiveness due to the discrete nature of the models. Moreover, sophisticated model abstraction techniques, as well as algorithms to convert continuous data to discrete form, need to be developed for such an approach to work. Recently, there have been efforts to develop diagnostic engines for hybrid and stochastic systems. However, these techniques have either focused on parametric faults, or use a probabilistic approach to fault identification. Consistency-based approaches that have been successfully demonstrated using discrete models have not been extended to work with stochastic and hybrid models.

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.