Engineering PapersSearch

Engineering topics

James, Mark

Publications and source records attributed to James, Mark.

At least 37 records · Page 2

Policy Process Editor for P3BM Software

A computer program enables generation, in the form of graphical representations of process flows with embedded natural-language policy statements, input to a suite of policy-, process-, and performance-based management (P3BM) software. This program (1) serves as an interface between users and the Hunter software, which translates the input into machine-readable form; and (2) enables users to initialize and monitor the policy-implementation process. This program provides an intuitive graphical interface for incorporating natural-language policy statements into business-process flow diagrams. Thus, the program enables users who dictate policies to intuitively embed their intended process flows as they state the policies, reducing the likelihood of errors and reducing the time between declaration and execution of policy.

James, Mark

Efficient Model-Based Diagnosis Engine

An efficient diagnosis engine - a combination of mathematical models and algorithms - has been developed for identifying faulty components in a possibly complex engineering system. This model-based diagnosis engine embodies a twofold approach to reducing, relative to prior model-based diagnosis engines, the amount of computation needed to perform a thorough, accurate diagnosis. The first part of the approach involves a reconstruction of the general diagnostic engine to reduce the complexity of the mathematical-model calculations and of the software needed to perform them. The second part of the approach involves algorithms for computing a minimal diagnosis (the term "minimal diagnosis" is defined below). A somewhat lengthy background discussion is prerequisite to a meaningful summary of the innovative aspects of the present efficient model-based diagnosis engine. In model-based diagnosis, the function of each component and the relationships among all the components of the engineering system to be diagnosed are represented as a logical system denoted the system description (SD). Hence, the expected normal behavior of the engineering system is the set of logical consequences of the SD. Faulty components lead to inconsistencies between the observed behaviors of the system and the SD (see figure). Diagnosis - the task of finding faulty components - is reduced to finding those components, the abnormalities of which could explain all the inconsistencies. The solution of the diagnosis problem should be a minimal diagnosis, which is a minimal set of faulty components. A minimal diagnosis stands in contradistinction to the trivial solution, in which all components are deemed to be faulty, and which, therefore, always explains all inconsistencies.

Fijany, Amir

Policy-Based Management Natural Language Parser

The Policy-Based Management Natural Language Parser (PBEM) is a rules-based approach to enterprise management that can be used to automate certain management tasks. This parser simplifies the management of a given endeavor by establishing policies to deal with situations that are likely to occur. Policies are operating rules that can be referred to as a means of maintaining order, security, consistency, or other ways of successfully furthering a goal or mission. PBEM provides a way of managing configuration of network elements, applications, and processes via a set of high-level rules or business policies rather than managing individual elements, thus switching the control to a higher level. This software allows unique management rules (or commands) to be specified and applied to a cross-section of the Global Information Grid (GIG). This software embodies a parser that is capable of recognizing and understanding conversational English. Because all possible dialect variants cannot be anticipated, a unique capability was developed that parses passed on conversation intent rather than the exact way the words are used. This software can increase productivity by enabling a user to converse with the system in conversational English to define network policies. PBEM can be used in both manned and unmanned science-gathering programs. Because policy statements can be domain-independent, this software can be applied equally to a wide variety of applications.

James, Mark

DSN Simulator

The DSN Simulator (wherein DSN signifies NASA's Deep Space Network) is an updated version of the software described in DSN Array Simulator (NPO-44506), Software Tech Briefs (Special supplement to NASA Tech Briefs), Vol. 32, No. 9 (September 2008), page 26. To recapitulate: This software is used for computational modeling of proposed DSN facilities comprising arrays of antennas and transmitting and receiving equipment for microwave communication with spacecraft on interplanetary missions. Such modeling is performed to estimate facility performance, evaluate requirements that govern facility design, and evaluate proposed improvements in hardware and/or software. The software includes a Monte Carlo simulation component that enables rapid generation of key mission-set metrics (e.g., numbers of links, data rates, and data volumes), and statistical distributions thereof as functions of time. The prior version of the software could model only one DSN facility at a time and included hard-coded, unconfigurable metrics. The present updated version is capable of modeling the entire DSN and provides for configurable metrics, making it possible to perform loading analyses for alternative future DSN architectures and mission-set scenarios. The present version also features an improved user interface and interfaces for exchange of data with other DSN software and with a DSN mission model database.

Fijany, Amir

The Hurricane Imaging Radiometer (HIRAD): Instrument Status and Performance Predictions

The Hurricane Imaging Radiometer (HIRAD) is an innovative radiometer which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR) [Uhlhorn and Black, 2004]. The HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology [Ruf et al., 1988]. This sensor operates over 4-7 GHz, where the required tropical cyclone remote sensing physics has been validated by both SFMR and WindSat radiometer [Bettenhausen et al., 2006; Brown et al., 2006]. HIRAD incorporates a new and unique array antenna design along with several technologies successfully demonstrated by the Lightweight Rain Radiometer instrument [Ruf et al., 2002; Ruf and Principe, 2003]. HIRAD will be a compact, lightweight, low-power instrument with no moving parts that will produce wide-swath imagery of ocean winds and rain in hurricane conditions. Accurate observations of surface ocean vector winds (OVW) with high spatial and temporal resolution are required for understanding and predicting tropical cyclones. The Hurricane Imaging Radiometer (HIRAD) is an innovative architecture which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR), which is a proven remote sensing technique for observing tropical cyclone (TC) ocean surface wind speeds and rain rates. The proposed HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology combined with a a unique array antenna design. The overarching design concept of HIRAD is to combine the multi-frequency C-band observing strategy of the SFMR with STAR technology to produce a wide-swath imager. Single frequency STAR technology The Hurricane Imaging Radiometer (HIRAD) is an innovative radiometer which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR) [Uhlhorn and Black, 2004]. The HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology [Ruf et al., 1988]. This sensor operates over 4-7 GHz, where the required tropical cyclone remote sensing physics has been validated by both SFMR and WindSat radiometer [Bettenhausen et al., 2006; Brown et al., 2006]. HIRAD incorporates a new and unique array antenna design along with several technologies successfully demonstrated by the Lightweight Rain Radiometer instrument [Ruf et al., 2002; Ruf and Principe, 2003]. HIRAD will be a compact, lightweight, low-power instrument with no moving parts that will produce wide-swath imagery of ocean winds and rain in hurricane conditions. Accurate observations of surface ocean vector winds (OVW) with high spatial and temporal resolution are required for understanding and predicting tropical cyclones. The Hurricane Imaging Radiometer (HIRAD) is an innovative architecture which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR), which is a proven remote sensing technique for observing tropical cyclone (TC) ocean surface wind speeds and rain rates. The proposed HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology combined with a a unique array antenna design. The overarching design concept of HIRAD is to combine the multi-frequency C-banbserving strategy of the SFMR with STAR technology to produce a wide-swath imager. Single frequency STAR technology

Ruf, Christopher

Surface Wind Vector and Rain Rate Observation Capability of Future Hurricane Imaging Radiometer (HIRAD)

The Hurricane Imaging Radiometer (HIRAD) is the next-generation Stepped Frequency Microwave Radiometer (SFMR), and it will offer the capability of simultaneous wide-swath observations of both extreme ocean surface wind vector and strong precipitation from either aircraft (including UAS) or satellite platforms. HIRAD will be a compact, lightweight, low-power instrument with no moving parts that will produce valid wind observations under hurricane conditions when existing microwave sensors (radiometers or scatterometers) are hindered by precipitation. The SFMR i s a proven aircraft remote sensing system for simultaneously observing extreme ocean surface wind speeds and rain rates, including those of major hurricane intensity. The proposed HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer technology. The first version of the instrument will be a single polarization system for wind speed and rain rate, with a dual-polarization system to follow for wind vector capability. This sensor will operate over 4-7 GHz (C-band frequencies) where the required tropical cyclone remote sensing physics has been validated by both SFMR and WindSat radiometers. HIRAD incorporates a unique, technologically advanced array antenna and several other technologies successfully demonstrated by NASA s Instrument Incubator Program. A brassboard (laboratory) version of the instrument has been completed and successfully tested in a test chamber. Development of the aircraft instrument is underway, with flight testing planned for the fall of 2009. Preliminary Observing System Simulation Experiments (OSSEs) show that HIRAD will have a significant positive impact on surface wind analyses as either a new aircraft or satellite sensor. New off-nadir data collected in 2008 by SFMR that affirms the ability of this measurement technique to obtain wind speed data at non-zero incidence angle will be presented, as well as data from the brassboard instrument chamber tests.

Miller, Timothy

Symbolic Processing Combined with Model-Based Reasoning

A computer program for the detection of present and prediction of future discrete states of a complex, real-time engineering system utilizes a combination of symbolic processing and numerical model-based reasoning. One of the biggest weaknesses of a purely symbolic approach is that it enables prediction of only future discrete states while missing all unmodeled states or leading to incorrect identification of an unmodeled state as a modeled one. A purely numerical approach is based on a combination of statistical methods and mathematical models of the applicable physics and necessitates development of a complete model to the level of fidelity required for prediction. In addition, a purely numerical approach does not afford the ability to qualify its results without some form of symbolic processing. The present software implements numerical algorithms to detect unmodeled events and symbolic algorithms to predict expected behavior, correlate the expected behavior with the unmodeled events, and interpret the results in order to predict future discrete states. The approach embodied in this software differs from that of the BEAM methodology (aspects of which have been discussed in several prior NASA Tech Briefs articles), which provides for prediction of future measurements in the continuous-data domain.

James, Mark

Potential of Future Hurricane Imaging Radiometer (HIRAD) Ocean Surface Wind Observations for Determining Tropical Storm Vortex Intensity and Structure

The Hurricane Imaging Radiometer (HIRAD) is an innovative technology development, which offers the potential of new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation from either UAS or satellite platforms. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR), which is a proven aircraft remote sensing technique for observing tropical cyclone ocean surface wind speeds and rain rates, including those of major hurricane intensity. The proposed HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer technology. This sensor will operate over 4-7 GHz (C-band frequencies) where the required tropical cyclone remote sensing physics has been validated by both SFMR and WindSat radiometers. HIRAD incorporates a unique, technologically advanced array antenna and several other technologies successfully demonstrated by the NASA's Instrument Incubator Program. A brassboard version of the instrument is complete and has been successfully tested in an anechoic chamber, and development of the aircraft instrument is well underway. HIRAD will be a compact, lightweight, low-power instrument with no moving parts that will produce wide-swath imagery of ocean vector winds and rain during hurricane conditions when existing microwave sensors (radiometers or scatterometers) are hindered. Preliminary studies show that HIRAD will have a significant positive impact on analyses as either a new aircraft or satellite sensor.

Atlas, Robert

Self-Adjusting Hash Tables for Embedded Flight Applications

A common practice in computer science to associate a value with a key is to use a class of algorithms called a hash-table. These algorithms enable rapid storage and retrieval of values based upon a key. This approach assumes that many keys will need to be stored immediately. A new set of hash-table algorithms optimally uses system resources to ideally represent keys and values in memory such that the information can be stored and retrieved with a minimal amount of time and space. These hash-tables support the efficient addition of new entries. Also, for large data sets, the look-up time for large data-set searches is independent of the number of items stored, i.e., O(1), provided that the chance of collision is low.

James, Mark

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.

James, Mark

A Data Type for Efficient Representation of Other Data Types

A self-organizing, monomorphic data type denoted a sequence has been conceived to address certain concerns that arise in programming parallel computers. A sequence in the present sense can be regarded abstractly as a vector, set, bag, queue, or other construct. Heretofore, in programming a parallel computer, it has been necessary for the programmer to state explicitly, at the outset, what parts of the program and the underlying data structures must be represented in parallel form. Not only is this requirement not optimal from the perspective of implementation; it entails an additional requirement that the programmer have intimate understanding of the underlying parallel structure. The present sequence data type overcomes both the implementation and parallel structure obstacles. In so doing, the sequence data type provides unified means by which the programmer can represent a data structure for natural and automatic decomposition to a parallel computing architecture. Sequences exhibit the behavioral and structural characteristics of vectors, but the underlying representations are automatically synthesized from combinations of programmers advice and execution use metrics. Sequences can vary bidirectionally between sparseness and density, making them excellent choices for many kinds of algorithms. The novelty and benefit of this behavior lies in the fact that it can relieve programmers of the details of implementations. The creation of a sequence enables decoupling of a conceptual representation from an implementation. The underlying representation of a sequence is a hybrid of representations composed of vectors, linked lists, connected blocks, and hash tables. The internal structure of a sequence can automatically change from time to time on the basis of how it is being used. Those portions of a sequence where elements have not been added or removed can be as efficient as vectors. As elements are inserted and removed in a given portion, then different methods are utilized to provide both an access and memory strategy that is optimized for that portion and the use to which it is put.

James, Mark

Algorithm Optimally Orders Forward-Chaining Inference Rules

People typically develop knowledge bases in a somewhat ad hoc manner by incrementally adding rules with no specific organization. This often results in a very inefficient execution of those rules since they are so often order sensitive. This is relevant to tasks like Deep Space Network in that it allows the knowledge base to be incrementally developed and have it automatically ordered for efficiency. Although data flow analysis was first developed for use in compilers for producing optimal code sequences, its usefulness is now recognized in many software systems including knowledge-based systems. However, this approach for exhaustively computing data-flow information cannot directly be applied to inference systems because of the ubiquitous execution of the rules. An algorithm is presented that efficiently performs a complete producer/consumer analysis for each antecedent and consequence clause in a knowledge base to optimally order the rules to minimize inference cycles. An algorithm was developed that optimally orders a knowledge base composed of forwarding chaining inference rules such that independent inference cycle executions are minimized, thus, resulting in significantly faster execution. This algorithm was integrated into the JPL tool Spacecraft Health Inference Engine (SHINE) for verification and it resulted in a significant reduction in inference cycles for what was previously considered an ordered knowledge base. For a knowledge base that is completely unordered, then the improvement is much greater.

James, Mark

Reusable, Extensible High-Level Data-Distribution Concept

A framework for high-level specification of data distributions in data-parallel application programs has been conceived. [As used here, distributions signifies means to express locality (more specifically, locations of specified pieces of data) in a computing system composed of many processor and memory components connected by a network.] Inasmuch as distributions exert a great effect on the performances of application programs, it is important that a distribution strategy be flexible, so that distributions can be adapted to the requirements of those programs. At the same time, for the sake of productivity in programming and execution, it is desirable that users be shielded from such error-prone, tedious details as those of communication and synchronization. As desired, the present framework enables a user to refine a distribution type and adjust it to optimize the performance of an application program and conceals, from the user, the low-level details of communication and synchronization. The framework provides for a reusable, extensible, data-distribution design, denoted the design pattern, that is independent of a concrete implementation. The design pattern abstracts over coding patterns that have been found to be commonly encountered in both manually and automatically generated distributed parallel programs. The following description of the present framework is necessarily oversimplified to fit within the space available for this article. Distributions are among the elements of a conceptual data-distribution machinery, some of the other elements being denoted domains, index sets, and data collections (see figure). Associated with each domain is one index set and one distribution. A distribution class interface (where "class" is used in the object-oriented-programming sense) includes operations that enable specification of the mapping of an index to a unit of locality. Thus, "Map(Index)" specifies a unit, while "LocalLayout(Index)" specifies the local address within that unit. The distribution class can be extended to enable specification of commonly used distributions or novel user-defined distributions. A data collection can be defined over a domain. The term "data collection" in this context signifies, more specifically, an abstraction of mappings from index sets to variables. Since the index set is distributed, the addresses of the variables are also distributed.

James, Mark

Knowledge Base Editor (SharpKBE)

The SharpKBE software provides a graphical user interface environment for domain experts to build and manage knowledge base systems. Knowledge bases can be exported/translated to various target languages automatically, including customizable target languages.

Tikidjian, Raffi

Hybrid Automated Diagnosis of Discrete/Continuous Systems

A recently conceived method of automated diagnosis of a complex electromechanical system affords a complete set of capabilities for hybrid diagnosis in the case in which the state of the electromechanical system is characterized by both continuous and discrete values (as represented by analog and digital signals, respectively). The method is an integration of two complementary diagnostic systems: (1) beacon-based exception analysis for multi-missions (BEAM), which is primarily useful in the continuous domain and easily performs diagnoses in the presence of transients; and (2) Livingstone, which is primarily useful in the discrete domain and is typically restricted to quasi-steady conditions. BEAM has been described in several prior NASA Tech Briefs articles: "Software for Autonomous Diagnosis of Complex Systems" (NPO-20803), Vol. 26, No. 3 (March 2002), page 33; "Beacon-Based Exception Analysis for Multimissions" (NPO-20827), Vol. 26, No. 9 (September 2002), page 32; "Wavelet-Based Real-Time Diagnosis of Complex Systems" (NPO-20830), Vol. 27, No. 1 (January 2003), page 67; and "Integrated Formulation of Beacon-Based Exception Analysis for Multimissions" (NPO-21126), Vol. 27, No. 3 (March 2003), page 74. Briefly, BEAM is a complete data-analysis method, implemented in software, for real-time or off-line detection and characterization of faults. The basic premise of BEAM is to characterize a system from all available observations and train the characterization with respect to normal phases of operation. The observations are primarily continuous in nature. BEAM isolates anomalies by analyzing the deviations from nominal for each phase of operation. Livingstone is a model-based reasoner that uses a model of a system, controller commands, and sensor observations to track the system s state, and detect and diagnose faults. Livingstone models a system within the discrete domain. Therefore, continuous sensor readings, as well as time, must be discretized. To reason about continuous systems, Livingstone uses monitors that discretize the sensor readings using trending and thresholding techniques. In development of the a hybrid method, BEAM results were sent to Livingstone to serve as an independent source of evidence that is in addition to the evidence gathered by Livingstone standard monitors. The figure depicts the flow of data in an early version of a hybrid system dedicated to diagnosing a simulated electromechanical system. In effect, BEAM served as a "smart" monitor for Livingstone. BEAM read the simulation data, processed the data to form observations, and stored the observations in a file. A monitor stub synchronized the events recorded by BEAM with the output of the Livingstone standard monitors according to time tags. This information was fed to a real-time interface, which buffered and fed the information to Livingstone, and requested diagnoses at the appropriate times. In a test, the hybrid system was found to correctly identify a failed component in an electromechanical system for which neither BEAM nor Livingstone alone yielded the correct diagnosis.

Park, Han

General-Purpose Front End for Real-Time Data Processing

FRONTIER is a computer program that functions as a front end for any of a variety of other software of both the artificial intelligence (AI) and conventional data-processing types. As used here, front end signifies interface software needed for acquiring and preprocessing data and making the data available for analysis by the other software. FRONTIER is reusable in that it can be rapidly tailored to any such other software with minimum effort. Each component of FRONTIER is programmable and is executed in an embedded virtual machine. Each component can be reconfigured during execution. The virtual-machine implementation making FRONTIER independent of the type of computing hardware on which it is executed.

James, Mark

Hypothetical Scenario Generator for Fault-Tolerant Diagnosis

The Hypothetical Scenario Generator for Fault-tolerant Diagnostics (HSG) is an algorithm being developed in conjunction with other components of artificial- intelligence systems for automated diagnosis and prognosis of faults in spacecraft, aircraft, and other complex engineering systems. By incorporating prognostic capabilities along with advanced diagnostic capabilities, these developments hold promise to increase the safety and affordability of the affected engineering systems by making it possible to obtain timely and accurate information on the statuses of the systems and predicting impending failures well in advance. The HSG is a specific instance of a hypothetical- scenario generator that implements an innovative approach for performing diagnostic reasoning when data are missing. The special purpose served by the HSG is to (1) look for all possible ways in which the present state of the engineering system can be mapped with respect to a given model and (2) generate a prioritized set of future possible states and the scenarios of which they are parts.

James, Mark

Pattern Matcher for Trees Constructed from Lists

A software library has been developed that takes a high-level description of a pattern to be satisfied and applies it to a target. If the two match, it returns success; otherwise, it indicates a failure. The target is semantically a tree that is constructed from elements of terminal and non-terminal nodes represented through lists and symbols. Additionally, functionality is provided for finding the element in a set that satisfies a given pattern and doing a tree search, finding all occurrences of leaf nodes that match a given pattern. This process is valuable because it is a new algorithmic approach that significantly improves the productivity of the programmers and has the potential of making their resulting code more efficient by the introduction of a novel semantic representation language. This software has been used in many applications delivered to NASA and private industry, and the cost savings that have resulted from it are significant.

James, Mark