ALBERT

Description: The paper summarizes the research accomplishments of the past year for the artificial intelligence and expert systems areas. Most projects have been underway for only a short time; however, overall progress within the areas has been steady and worthwhile. Several projects have already attained their major objectives.

Description: A new class of exponentially stabilizing control laws for joint level control of robot arms is discussed. Closed-loop exponential stability has been demonstrated for both the set point and tracking control problems by a slight modification of the energy Lyapunov function and the use of a lemma which handles third-order terms in the Lyapunov function derivatives. In the second part, these control laws are adapted in a simple fashion to achieve asymptotically stable adaptive control. The analysis addresses the nonlinear dynamics directly without approximation, linearization, or ad hoc assumptions, and uses a parameterization based on physical (time-invariant) quantities.

Description: This paper derives three discrete state variable representations for a continuous-time plant driven by a zero-order hold with a combination of instantaneous measurements and measurements prefiltered by a multiinput/multioutput moving average (MA) process. These representations allow the control system engineer to model plants of this type accurately in a form which permits him to use standard techniques to design digital feedback controllers for them. An example is presented which illustrates how to obtain the coefficient matrices in each representation. Guidelines are presented for choosing the best representation to use for any given plant of this type.

Description: The fundamental control synthesis issue of establishing a priori convergence rates of approximation schemes for feedback controllers for a class of distributed parameter systems is addressed within the context of hereditary schemes. Specifically, a factorization approach is presented for deriving approximations to the optimal feedback gains for the linear regulator-quadratic cost problem associated with time-varying functional differential equations with control delays. The approach is based on a discretization of the state penalty which leads to a simple structure for the feedback control law. General properties of the Volterra factors of Hilbert-Schmidt operators are then used to obtain convergence results for the controls, trajectories and feedback kernels. Two algorithms are derived from the basic approximation scheme, including a fast algorithm, in the time-invariant case. A numerical example is also considered.

Description: Multiple-degree-of-freedom object recognition concerns objects with no stable rest position with all scale, rotation, and aspect distortions possible. It is assumed that the objects are in a fairly benign background, so that feature extractors are usable. In-plane distortion invariance is provided by use of a polar-log coordinate transform feature space, and out-of-plane distortion invariance is provided by linear discriminant function design. Relational graph decision nets are considered for multiple-degree-of-freedom pattern recognition. The design of Fisher (1936) linear discriminant functions and synthetic discriminant function for use at the nodes of binary and multidecision nets is discussed. Case studies are detailed for two-class and multiclass problems. Simulation results demonstrate the robustness of the processors to quantization of the filter coefficients and to noise.

Description: The present assessment of the development status of research efforts concerned with AI reasoning under conditions of uncertainty emphasizes the importance of appropriateness in the approach selected for both the epistemic and the computational levels. At the former level, attention is given to the form of uncertainty-representation and the fidelity of its reflection of actual problems' uncertainties; at the latter level, such issues as the availability of the requisite information and the complexity of the reasoning process must be considered. The tradeoff between these levels must always be the focus of AI system-developers' attention.

Description: The characteristics of an Expert System Building Tool (ESBT) capable of inference and hypothetical reasoning are discussed. The inference capabilities of ESBTs allow such functions as classification, design-synthesis, forecasting, decision-aiding, scheduling and planning, real-time monitoring, situation assessment, the discovery of novel relations, and debugging. ESBTs are noted to have made possible order-of-magnitude improvements in expert system construction. Higher-end ESBTs are moving from LISP machines to less expensive workstations, and lower-end ones are appearing on PCs.

Description: A computational procedure is presented to simulate transonic unsteady flows and corresponding aeroelasticity of wings at low-supersonic freestreams. The flow is modeled by using the transonic small-perturbation theory. The structural equations of motions are modeled using modal equations of motion directly coupled with aerodynamics. Supersonic freestreams are simulated by properly accounting for the boundary conditions based on pressure waves along the flow characteristics in streamwise planes. The flow equations are solved using the time-accurate, alternating-direction implicit finite-difference scheme. The coupled aeroelastic equations of motion are solved by an integration procedure based on the time-accurate, linear-acceleration method. The flow modeling is verified by comparing calculations with experiments for both steady and unsteady flows at supersonic freestreams. The unsteady computations are made for oscillating wings. Comparisons of computed results with experiments show good agreement. Aeroelastic responses are computed for a rectangular wing at Mach numbers ranging from subtransonic to upper-transonic (supersonic) freestreams. The extension of the transonic dip into the upper transonic regime is illustrated.

Description: A closed-form expression has been reported in the literature for L(N), the number of digital line segments of length N that correspond to lines of the form y = (alpha)x + beta, (0 less than or equal to alpha, beta less than 1). An asymptotic estimate for L(N) that might prove useful for many applications is proved; namely, L(N) = (N cubed)/(pi squared) + O(N squared log N). An application to an image registration problem is given.

Description: An upper bound on the bit-error probability (BEP) of a linear cyclic code over GF(2 exp l) with hard-decision (HD) maximum-likelihood (ML) decoding on memoryless symmetric channels is derived. Performance results are presented for Reed-Solomon codes on GF(32), GF(64), and GF(128). Also, a union upper bound on the BEP of a linear cyclic code with either HD or soft-decision (SD) ML decoding is developed, as well as the corresponding bounds for the extended code of a linear cyclic code. Using these bounds, which are tight at low bit error rate, the performance advantage of SD and HD ML over bounded-distance decoding is established.

Description: The effect of a simulated glaze-ice accretion on the aerodynamic performance of a NACA 0012 airfoil was studied experimentally. Two ice shapes were tested: one from an experimentally measured accretion, and one from an accretion predicted using a computer model given the same icing conditions. Lift, drag, and pitching moment were measured for the airfoil with both smooth and rough ice shapes. The ice shapes caused large lift and drag penalties, primarily due to large separation bubbles. Surface pressure distributions clearly showed the regions of separated flow. The aerodynamic performance of the two shapes compared well at positive, but not negative, angles of attack.

Description: The drag of airfoils in transonic flow can be reduced through the use of a passive venting system that employs a porous plate for part of the airfoil upper surface with a vent chamber underneath the porous plate Attention is given to the results obtained with a wind tunnel model employing such a porous floor system. This passive venting system has been used to extend the length/height value before the onset of high drag-producing closed cavity flow at supersonic speeds.

Description: The wakes of highly loaded compressor blades are generally considered to be turbulent flows. Recent work has suggested that the blade wakes are dominated by a vortex streetlike structure. The experimental evidence supporting the wake vortex structure is reviewed. This structure is shown to redistribute thermal energy within the flowfield. The effect of the wake structure on conventional aerodynamic measurements of compressor performance is noted. A two-dimensional, time-accurate, viscous numerical simulation of the flow exhibits both vortex shedding in the wake and a lower-frequency flow instability that modulates the shedding. The numerical results are shown to agree quite well with the measurement from transonic compressor rotors.

Description: The author states various time-domain and frequency-domain conditions pertaining to multivariate strict positive real systems and establishes the relationship between these conditions. Their relationship is clarified by means of a three-tier diagram; each tier represents a set of equivalent conditions successively stronger than the lower tier. The main theorem in the present study can be considered as the positive realness lemma for strictly positive real systems.

Description: The effects of mean-flow incidence, airfoil camber, and airfoil thickness on the incompressible aerodynamics of an oscillating airfoil are investigated theoretically, developing and applying a first-order FEM based on locally analytical solutions (LASs). Laplace equations are used to describe the steady and unsteady harmonic velocity potentials; a body-fitted computational grid is employed; grid-element solutions for both potentials are determined using a numerical LAS method; and the LASs are then assembled to obtain a complete solution. Results for a series of flat-plate and Joukowski airfoils are presented in extensive graphs and discussed in detail.

Description: A previously formulated mathematical model, describing how observers reconstruct three-dimensional spatial layouts from perspective projections, has been extended to more complex situations. The model assumes that the observer has a priori knowledge of certain characteristics of the viewed objects, like size, shape, or parallelism or perpendicularity of lines or planes. These assumptions are used in a three-dimensional process to reconstruct a spatial layout that `best matches' the perceived lines of sight to the object coordinates. Sources of errors and biases in this process are specified and their effects on model outputs are discussed. An experiment, in which eight subjects judged the relative direction of one object with respect to another, has been conducted to validate the model. The model has been found to generally reproduce the systematic trends of the experimental results and also has provided an analytical explanation for them. The mathematical model is expected to be a useful tool in analyzing and developing pictorial perspective flight displays.

Description: An account is given of the control systems engineering methods applicable to the design of digital feedback controllers for aerospace deterministic systems in which the output, rather than being an instantaneous measure of the system at the sampling instants, instead represents an average measure of the system over the time interval between samples. The averaging effect can be included during the modeling of the plant, thereby obviating the iteration of design/simulation phases.

Description: A complete mathematical model is formulated to analyze the effects of mean-flow incidence angle on the unsteady aerodynamics of an oscillating airfoil in an incompressible flow field. A velocity potential formulation is utilized. The steady flow is independent of the unsteady flow field but coupled to it through the boundary conditions on the oscillating airfoil. The numerical solution technique for both the steady and unsteady flow fields is based on a locally analytical method. The flow model and solution method are then verified through the excellent correlation obtained with the Theodorsen oscillating-flat-plate and Sears transverse-gust classical solutions. The effects of mean flow incidence on the steady and oscillating airfoil aerodynamics are then investigated.

Description: Computational results are presented for the transitional or turbulent flow about a prolate spheroid, at alpha = 10 deg or 30 deg, correspondingly, using an implicit, approximately factored, partially flux-split algorithm, based on the thin-layer equations. The computed flow field is in good agreement with available experimental data.

Description: Thin-element riblets for aircraft aerodynamic surface turbulent viscous drag reduction are presently found to be as effective as symmetric V-grooves in this role, while possessing a greater range of admissible spacings. The thin-element geometry shows the qualitatively predictable influence of independent riblet height and spacing variations. The evidence for more than one drag-reduction mechanism in thin-element riblets is found to be inconclusive.

Description: This paper briefly reviews some national studies and new programs concerning hypersonic flight. The flight environment that will be encountered by this new class of hypersonic vehicles is described, and the fluid-dynamic and chemical phenomena that occur in hypersonic flight are examined. Ground-based facilities are briefly described, and their use in helping to validate the codes is examined.

Description: Different models for inviscid transonic flows are examined. The common assumptions that the flow is isentropic and irrotational are critically evaluated. Entropy and vorticity correction procedures for potential and stream function formulations are presented, together with the details of the treatment of shocks and wakes, and drag and lift calculations. The non-uniqueness problem of the potential formulation is studied using different artificial viscosity forms. Numerical results are compared with Euler solutions.

Description: Low-speed wind tunnel drag force measurements were taken on a laminar flow body of revolution free of support interference. This body was tested at zero incidence in the NASA Langley 13 inch Magnetic Suspension and Balance System (MSBS). The primary objective of these tests was to substantiate the drag force measuring capabilities of the 13 inch MSBS. A secondary objective was to obtain support interference free drag measurements on an axisymmetric body of interest. Both objectives were met. The drag force calibrations and wind-on repeatability data provide a means of assessing the drag force measuring capabilities of the 13 inch MSBS. The measured drag coefficients for this body are of interest to researchers actively involved in designing minimum drag fuselage shapes. Additional investigations included: the effects of fixing transition; the effects of fins installed in the tail; surface flow visualizations using both liquid crystals and oil flow; and base pressure measurements using a one-channel telemetry system. Two drag prediction codes were used to assess their usefulness in estimating overall body drag. These theoretical results did not compare well with the measured values because of the following: incorrect or non-existent modeling of a laminar separation bubble on the body and incorrect of non-existent estimates of base pressure drag.

Description: It is observed that the center of pressure on a wing shifts as the Mach number is changed. Such shifts are in general undesirable and are sometimes compensated for by actively shifting the center of gravity of the aircraft or by using active stability controls. To avoid this complication, it is desirable to design the wings of a high speed aircraft so as to minimize the extent of the center-of-pressure shifts. This, together with a desire to minimize the center-of-pressure shifts in missile control surfaces, provides the motivation for this project. There are many design parameters which affect center-of-pressure shifts, but it is expected that the largest effects are due to the wing planform. Thus, for the sake of simplicity, this study is confined to an investigation of thin, flat, (i.e., no camber or twist), relatively slender, pointed wings flying at a small angle of attack. Once the dependence of the center of pressure on planform and Mach number is understood, we can expect to investigate the sensitivity of the center-of-pressure shifts to various other parameters.

Description: Artificial intelligence approaches to software engineering are examined. The software development life cycle is a sequence of not so well-defined phases. Improved techniques for developing systems have been formulated over the past 15 years, but pressure continues to attempt to reduce current costs. Software development technology seems to be standing still. The primary objective of the knowledge-based approach to software development presented in this paper is to avoid problem areas that lead to schedule slippages, cost overruns, or software products that fall short of their desired goals. Identifying and resolving software problems early, often in the phase in which they first occur, has been shown to contribute significantly to reducing risks in software development. Software development is not a mechanical process but a basic human activity. It requires clear thinking, work, and rework to be successful. The artificial intelligence approaches to software engineering presented support the software development life cycle through the use of software development techniques and methodologies in terms of changing current practices and methods. These should be replaced by better techniques that that improve the process of of software development and the quality of the resulting products. The software development process can be structured into well-defined steps, of which the interfaces are standardized, supported and checked by automated procedures that provide error detection, production of the documentation and ultimately support the actual design of complex programs.

Description: Within the last two decades, there has been increasing emphasis on developing more sophisticated computational fluid dynamics (CFD) methods to handle a wide range of problems of interest to the aerospace community. The comprehensive picture of the status of CFD development and capability as well as an assessment of requirements and future directions are given. An independent review and assessment was also carried out by the author as part of the current assignment and the results are outlined herein.

Description: The ability of a human to take control of a robotic system is essential in any use of robots in space in order to handle unforeseen changes in the robot's work environment or scheduled tasks. But in cases in which the work environment is known, a human controlling a robot's every move by remote control is both time consuming and frustrating. A system is needed in which the user can give the robotic system commands to perform tasks but need not tell the system how. To be useful, this system should be able to plan and perform the tasks faster than a telerobotic system. The interface between the user and the robot system must be natural and meaningful to the user. A high level user interface program under development at the University of Alabama, Huntsville, is described. A graphical interface is proposed in which the user selects objects to be manipulated by selecting representations of the object on projections of a 3-D model of the work environment. The user may move in the work environment by changing the viewpoint of the projections. The interface uses a rule based program to transform user selection of items on a graphics display of the robot's work environment into commands for the robot. The program first determines if the desired task is possible given the abilities of the robot and any constraints on the object. If the task is possible, the program determines what movements the robot needs to make to perform the task. The movements are transformed into commands for the robot. The information defining the robot, the work environment, and how objects may be moved is stored in a set of data bases accessible to the program and displayable to the user.

Description: The use of robots in the future must go beyond present applications and will depend on the ability of a robot to adapt to a changing environment and to deal with unexpected scenarios (i.e., picking up parts that are not exactly where they were expected to be). The objective of this research is to demonstrate the feasibility of incorporating high level planning into a robot enabling it to deal with anomalous situations in order to minimize the need for constant human instruction. The heuristics can be used by a robot to apply information about previous actions towards accomplishing future objectives more efficiently. The system uses a decision network that represents the plan for accomplishing a task. This enables the robot to modify its plan based on results of previous actions. The system serves as a method for minimizing the need for constant human instruction in telerobotics. This paper describes the integration of expert systems and simulation as a valuable tool that goes far beyond this project. Simulation can be expected to be used increasingly as both hardware and software improve. Similarly, the ability to merge an expert system with simulation means that we can add intelligence to the system. A malfunctioning space satellite is described. The expert system uses a series of heuristics in order to guide the robot to the proper location. This is part of task level planning. The final part of the paper suggests directions for future research. Having shown the feasibility of an expert system embedded in a simulation, the paper then discusses how the system can be integrated with the MSFC graphics system.

Description: Two dimensional problems are solved using numerical techniques. Navier-Stokes equations are studied both in the vorticity-stream function formulation which appears to be the optimal choice for two dimensional problems, using a storage approach, and in the velocity pressure formulation which minimizes the number of unknowns in three dimensional problems. Analysis shows that compact centered conservative second order schemes for the vorticity equation are the most robust for high Reynolds number flows. Serious difficulties remain in the choice of turbulent models, to keep reasonable CPU efficiency.

Description: A large number of Intelligent Tutoring Systems (ITSs) have been built since they were first proposed in the early 1970's. Research conducted on the use of the best of these systems has demonstrated their effectiveness in tutoring in selected domains. A prototype ITS for tutoring students in the use of CLIPS language: CLIPSIT (CLIPS Intelligent Tutor) was developed. For an ITS to be widely accepted, not only must it be effective, flexible, and very responsive, it must also be capable of functioning on readily available computers. While most ITSs have been developed on powerful workstations, CLIPSIT is designed for use on the IBM PC/XT/AT personal computer family (and their clones). There are many issues to consider when developing an ITS on a personal computer such as the teaching strategy, user interface, knowledge representation, and program design methodology. Based on experiences in developing CLIPSIT, results on how to address some of these issues are reported and approaches are suggested for maintaining a powerful learning environment while delivering robust performance within the speed and memory constraints of the personal computer.

Description: Supersonic external compression inlets are introduced, and the computational fluid dynamics (CFD) codes and tests needed to study flow associated with these inlets are outlined. Normal shock wave turbulent boundary layer interaction is discussed. Boundary layer control is considered. Glancing sidewall shock interaction is treated. The CFD validation of hypersonic inlet configurations is explained. Scramjet inlet modules are shown.

Description: The fluid dynamics of curved diffuser duct flows of military aircraft is discussed. Three-dimensional parabolized Navier-Stokes analysis, and experiment techniques are reviewed. Flow measurements and pressure distributions are shown. Velocity vectors, and the effects of vortex generators are considered.

Description: Fundamental equations encountered in computational fluid dynamics (CFD), and analyses used for internal flow are introduced. Irrotational flow; Euler equations; boundary layers; parabolized Navier-Stokes equations; and time averaged Navier-Stokes equations are treated. Assumptions made and solution methods are outlined, with examples. The overall status of CFD in propulsion is indicated.

Description: The purpose of this paper is to survey existing and planned Artificial Intelligence (AI) applications to show that they are sufficiently advanced for 32 percent of all space applications and SDI (Space Defense Initiative) software to be AI-based software. To best define the needs that AI can fill in space and SDI programs, this paper enumerates primary areas of research and lists generic application areas. Current and planned NASA and military space projects in AI will be reviewed. This review will be largely in the selected area of expert systems. Finally, direct applications of AI to SDI will be treated. The conclusion covers the importance of AI to space and SDI applications, and conversely, their importance to AI.

Description: An autonomous learning device must solve the example bounding problem, i.e., it must divide the continuous universe into discrete examples from which to learn. We describe an architecture which incorporates an example bounder for learning. The architecture is implemented in the GPAL program. An example run with a real mobile robot shows that the program learns and uses new causal, qualitative, and quantitative relationships.

Description: Artificial intelligence researchers claim to understand some aspect of human intelligence when their model is able to emulate it. In the context of computer graphics, the ability to go from motion representation to convincing animation should accordingly be treated not simply as a trick for computer graphics programmers but as important epistemological and methodological goal. In this paper we investigate a unifying model for animating a group of articulated bodies such as humans and robots in a three-dimensional environment. The proposed model is considered in the framework of knowledge representation and processing, with special reference to motion knowledge. The model is meant to help setting the basis for a computational theory for motion understanding applied to articulated bodies.

Description: Action planning in robot automated operations requires intelligent task level programming. Invoking intelligence necessiates a typical blackboard based architecture, where, a plan is a vector between the start frame and the goal frame. This vector is composed of partially ordered bases. A partial ordering of bases presents good and bad sides in action planning. Partial ordering demands the use of a temporal data base management system.

Description: Now that Artificial Intelligence (AI) is gaining acceptance, it is important to examine some of the obstacles that still stand in the way of its progress. Ironically, many of these obstacles are related to management and are aggravated by the very characteristcs that make AI useful. The purpose of this paper is to heighten awareness of management issues in AI development and to focus attention on their resolution.

Description: A comparative overview is presented of the disciplines of modal testing used in structural engineering and system identification used in control theory. A list of representative references from both areas is given, and the basic methods are described briefly. Recent progress on the interaction of modal testing and control disciplines is discussed. It is concluded that combined efforts of researchers in both disciplines are required for unification of modal testing and system identification methods for control of flexible structures.

Description: One of the flows inherent in VSTOL operations, the jet in ground effect with a crossflow, is studied using the Fortified Navier-Stokes (FNS) scheme. Through comparison of the simulation results and the experimental data, and through the variation of the flow parameters (in the simulation) a number of interesting characteristics of the flow have been observed. For example, it appears that the forward penetration of the ground vortex is a strong inverse function of the level of mixing in the ground vortex. Also, an effort has been made to isolate issues which require additional work in order to improve the numerical simulation of the jet in ground effect flow. The FNS approach simplifies the simulation of a single jet in ground effect, but it will be even more effective in applications to more complex topologies.

Description: Key results from low speed wind tunnel testing of the F-15 STOL and Maneuver Technology Demonstrator (SMDT) with thrust reversers are presented. Longitudinally, the largest induced increments in the stability and control occur at landing gear height. These generally reflect an induced lift loss and a nose-up pitching moment, and vary with sideslip. Directional stability is reduced at landing gear height with full reverse thrust. Nonlinearities in the horizontal tail effectiveness are found in free air and at landing gear height.

Description: A new testing technique was developed wherein the rate of descent can be included as a parameter in ground effects investigations. This technique simulates the rate of descent by horizontal motion of a model over an inclined ground board in the Langley Vortex Research Facility (VRF) During initial evaluations of the technique, dynamic ground effects data were obtained over the inclined ground board, steady state ground effects data were obtained over a flat portion of the ground board, and the results were compared to conventional static wind tunnel ground effect data both with and without a moving belt ground plane simulation. Initial testing and analysis led to the following conclusions: the moving belt ground plane had little effect on static ground effects for the configurations tested unless thrust reversers were employed; in general, rate-of-descent reduced ground effects to the point that for reversed thrust cases an expected loss of lift due to ground effects was eliminated at approach conditions; and, in general, the steady state results from the VRF matched static results obtained from the wind tunnel once the flow field stabilized over the flat portion of the ground board.

Description: The results of an experimental investigation into the position and characteristics of the ground vortex are summarized. A 48-inch wind tunnel was modified to create a testing environment suitable for the ground vortex study. Flow visualization was used to document the jet-crossflow interaction and a two-component Laser Doppler Velocimeter (LDV) was used to survey the flowfield in detail. Measurements of the ground vortex characteristics and location as a function of freestream-to-jet velocity ratio, jet height, pressure gradient and upstream boundary layer thickness were obtained.

Description: Flow field investigations were conducted at the NASA Ames-Dryden Flow Visualization Facility (water tunnel) to investigate the ground effect produced by the impingement of jets from aircraft nozzles on a ground board in a STOL operation. Effects on the overall flow field with both a stationary and a moving ground board were photographed and compared with similar data found in other references. Nozzle jet impingement angles, nozzle and inlet interaction, side-by-side nozzles, nozzles in tandem, and nozzles and inlets mounted on a flat plate model were investigated. Results show that the wall jet that generates the ground effect is unsteady and the boundary between the ground vortex flow field and the free-stream flow is unsteady. Additionally, the forward projection of the ground vortex flow field with a moving ground board is one-third less than that measured over a fixed ground board. Results also showed that inlets did not alter the ground vortex flow field.

Description: The interaction of the free stream velocity on the wall jet formed by the impingement of deflected engine thrust results in a rolled up vortex which exerts sizable forces on a short takeoff (STOL) airplane configuration. Some data suggest that the boundary layer under the free stream ahead of the configuration may be important in determining the extent of the travel of the wall jet into the oncoming stream. Here, early studies of the ground vortex are examined, and those results are compared to some later data obtained with moving a model over a fixed ground board. The effect of the ground vortex on the aerodynamic characteristics are discussed.

Description: In a traditional software development environment, the introduction of standardized approaches has led to higher quality, maintainable products on the technical side and greater visibility into the status of the effort on the management side. This study examined expert system development to determine whether it differed enough from traditional systems to warrant a reevaluation of current software development methodologies. Its purpose was to identify areas of similarity with traditional software development and areas requiring tailoring to the unique needs of expert systems. A second purpose was to determine whether existing expert system development methodologies meet the needs of expert system development, management, and maintenance personnel. The study consisted of a literature search and personal interviews. It was determined that existing methodologies and approaches to developing expert systems are not comprehensive nor are they easily applied, especially to cradle to grave system development. As a result, requirements were derived for an expert system development methodology and an initial annotated outline derived for such a methodology.

Description: As rulebase systems become more widely used in operational environments, the focus is on the problems and concerns of maintaining expert systems. In the conventional software model, the verification and validation of a system have two separate and distinct meanings. To validate a system means to demonstrate that the system does what is advertised. The verification process refers to investigating the actual code to identify inconsistencies and redundancies within the logic path. In current literature regarding maintaining rulebased systems, little distinction is made between these two terms. In fact, often the two terms are used interchangeably. Verification and validation of rulebased systems are discussed as separate but equally important aspects of the maintenance phase. Also described are some of the tools and methods that were developed at the Space Telescope Science Institute to aid in the maintenance of the rulebased system.

Description: The Space Station era presents a highly-complex multi-mission planning and scheduling environment exercised over a highly distributed system. In order to automate the scheduling process, customers require a mechanism for communicating their scheduling requirements to NASA. A request language that a remotely-located customer can use to specify his scheduling requirements to a NASA scheduler, thus automating the customer-scheduler interface, is described. This notation, Flexible Envelope-Request Notation (FERN), allows the user to completely specify his scheduling requirements such as resource usage, temporal constraints, and scheduling preferences and options. The FERN also contains mechanisms for representing schedule and resource availability information, which are used in the inter-scheduler inconsistency resolution process. Additionally, a scheduler is described that can accept these requests, process them, generate schedules, and return schedule and resource availability information to the requester. The Request-Oriented Scheduling Engine (ROSE) was designed to function either as an independent scheduler or as a scheduling element in a network of schedulers. When used in a network of schedulers, each ROSE communicates schedule and resource usage information to other schedulers via the FERN notation, enabling inconsistencies to be resolved between schedulers. Individual ROSE schedules are created by viewing the problem as a constraint satisfaction problem with a heuristically guided search strategy.

Description: The Columbus Project is the European Space Agency's contribution to the International Space Station program. Columbus is planned to consist of three elements (a laboratory module attached to the Space Station base, a man-tended freeflyer orbiting with the Space Station base, and a platform in polar orbit). System definition and requirements analysis for Columbus are underway, scheduled for completion in mid-1990. An overview of the Columbus mission planning environment and operations concept as currently defined is given, and some of the challenges presented to software maintainers and ground segment personnel during mission operators are identified. The use of advanced technologies in system implementation is being explored. Both advantages of such solutions and potential problems they present are discussed, and the next steps to be taken by Columbus before targeting any functions for advanced technology implementation are summarized. Several functions in the mission planning process were identified as candidates for advanced technology implementation. These range from expert interaction with Columbus' data bases through activity scheduling and near-real-time response to departures from the planned timeline. Each function is described, and its potential for advanced technology implementation briefly assessed.

Description: The Hubble Space Telescope (HST) presents an especially challenging scheduling problem since a year's observing program encompasses tens of thousands of exposures facing numerous coupled constraints. Recent progress in the development of planning and scheduling tools is discussed which augment the existing HST ground system. General methods for representing activities, constraints, and constraint satisfaction, and time segmentation were implemented in a scheduling testbed. The testbed permits planners to evaluate optimal scheduling time intervals, calculate resource usage, and to generate long and medium range plans. Graphical displays of activities, constraints, and plans are an important feature of the system. High-level scheduling strategies using rule based and neural net approaches were implemented.

Description: Rendezvous during the unmanned space exploration missions, such as a Mars Rover/Sample Return will require a completely automatic system from liftoff to docking. A conceptual design of an automated rendezvous, proximity operations, and docking system is being implemented and validated at the Johnson Space Center (JSC). The emphasis is on the progress of the development and testing of a prototype system for control of the rendezvous vehicle during proximity operations that is currently being developed at JSC. Fuzzy sets are used to model the human capability of common sense reasoning in decision making tasks and such models are integrated with the expert systems and engineering control system technology to create a system that performs comparably to a manned system.

Description: In response to a number of high-level strategy studies in the early 1980s, expert systems and artificial intelligence (AI/ES) efforts for spacecraft ground systems have proliferated in the past several years primarily as individual small to medium scale applications. It is useful to stop and assess the impact of this technology in view of lessons learned to date, and hopefully, to determine if the overall strategies of some of the earlier studies both are being followed and still seem relevant. To achieve that end four idealized ground system automation scenarios and their attendant AI architecture are postulated and benefits, risks, and lessons learned are examined and compared. These architectures encompass: (1) no AI (baseline), (2) standalone expert systems, (3) standardized, reusable knowledge base management systems (KBMS), and (4) a futuristic unattended automation scenario. The resulting artificial intelligence lessons learned, benefits, and risks for spacecraft ground system automation scenarios are described.

Description: The use of computers to solve value oriented, deterministic, algorithmic problems, has evolved a structured life cycle model of the software process. The symbolic processing techniques used, primarily in research, for solving nondeterministic problems, and those for which an algorithmic solution is unknown, have evolved a different model, much less structured. Traditionally, the two approaches have been used completely independently. With the advent of low cost, high performance 32 bit workstations executing identical software with large minicomputers and mainframes, it became possible to begin to merge both models into a single extended model of computer problem solving. The implementation of such an extended model on a VAX family of micro/mini/mainframe systems is described. Examples in both development and deployment of applications involving a blending of AI and traditional techniques are given.

Description: The validation of expert systems (ESs) has only recently become an active AI research topic. Current approaches have concentrated mainly on the validation of rule properties of such systems. The efforts presented improves on current methods by also exploiting the structural and semantic information of such systems. To increase programmer productivity, more and more companies have begun exploiting the advent of AI technology by developing applications using ES shells or other AI-based high level program generators. The architecture, functionality, and future goals of Expert Systems Validation are described along with the features that have been implemented for and in Automated Reasoning Tool, the ES shell presented.

Description: As the hardware trends for artificial intelligence (AI) involve more and more complexity, the process of optimizing the computer system design for a particular problem will also increase in complexity. Space applications of knowledge based systems (KBS) will often require an ability to perform both numerically intensive vector computations and real time symbolic computations. Although parallel machines can theoretically achieve the speeds necessary for most of these problems, if the application itself is not highly parallel, the machine's power cannot be utilized. A scheme is presented which will provide the computer systems engineer with a tool for analyzing machines with various configurations of array, symbolic, scaler, and multiprocessors. High speed networks and interconnections make customized, distributed, intelligent systems feasible for the application of AI in space. The method presented can be used to optimize such AI system configurations and to make comparisons between existing computer systems. It is an open question whether or not, for a given mission requirement, a suitable computer system design can be constructed for any amount of money.

Description: Spacecraft inventory management is currently performed by the crew and as systems become more complex, increased crew time will be required to perform routine logistics activities. If future spacecraft are to function effectively as research labs and production facilities, the efficient use of crew time as a limited resource for performing mission functions must be employed. The use of automation and robotics technology, such as automated warehouse and materials handling functions, can free the crew from many logistics tasks and provide more efficient use of crew time. Design criteria for a Space Station Automated Logistics Inventory Management System is focused on through the design and demonstration of a mobile two armed terrestrial robot. The system functionally represents a 0 gravity automated inventory management system and the problems associated with operating in such an environment. Features of the system include automated storage and retrieval, item recognition, two armed robotic manipulation, and software control of all inventory item transitions and queries.

Description: There exists a set of problems for which the single user workstation is not a viable solution. In some cases, it may be necessary for the system to support numerous experts working on different aspects of a single logical activity concurrently. In others, the activity may extend over a prolonged period of time during which different experts will work on different phases of the project to produce a single integrated result. Another possibility is that the results produced by the expert system must be continuously available to some group other than that actively exercising the expert system. These are the types of applications which require multiuser expert systems. The nature of NASA tends to produce expert system domains which are inherently multiuser. It is these domains that this new class of expert systems has first been encountered. As expert systems move into the main stream of large scale engineering projects, these encounters will become more frequent. A need for expert system building tools which can accommodate the unique properties of these multiuser domains as they emerge is a problem which needs to be addressed as the current set of tools migrate to time sharing environments, and as new tools are developed.

Description: Network Operator Assistant (NOA) is a prototype expert system. NOA uses detailed scheduling knowledge and problem solving heuristics to assist Network Control Center operators schedule the NASA Space Network in time critical situations. The current status of NOA and its future directions is presented.

Description: A comparison is made between the two most sophisticated expert system building tools, the Automated Reasoning Tool (ART) and the Knowledge Engineering Environment (KEE). The same problem domain (ESFAS) was used in making the comparison. The Expert System for the Flight Analysis System (ESFAS) acts as an intelligent front end for the Flight Analysis System (FAS). FAS is a complex configuration controlled set of interrelated processors (FORTRAN routines) which will be used by the Mission Planning and Analysis Div. (MPAD) to design and analyze Shuttle and potential Space Station missions. Implementations of ESFAS are described. The two versions represent very different programming paradigms; ART uses rules and KEE uses objects. Due to each of the tools philosophical differences, KEE is implemented using a depth first traversal algorithm, whereas ART uses a user directed traversal method. Either tool could be used to solve this particular problem.

Description: An expert system is described which is currently in place in the ground support system of the Hubble Space Telescope (HST). Known as the Transformation system, it is used to process proposals submitted by the HST's world wide user community, converting the scientific descriptions of the astronomical observations into detailed spacecraft activities which are linked in time. These detailed activities are formatted to be both readable by the telescope operations staff and directly schedulable by the planning and scheduling portion of the ground system. The implementation of the Transformation system is particularly interesting as the system was developed at the same time that its target system (the planning and scheduling system) was being built.

Description: A programming model and architecture which was developed for the design and implementation of complex, heterogeneous measurement and control systems is described. The Multigraph Architecture integrates artificial intelligence techniques with conventional software technologies, offers a unified framework for distributed and shared memory based parallel computational models and supports multiple programming paradigms. The system can be implemented on different hardware architectures and can be adapted to strongly different applications.

Description: Current research in the area of long term scheduling of the Hubble Space Telescope is being done using Common Lisp and Flavors on Lisp Machines. The planning tools manipulate memory-resident data structures which represent the many entities and relationships that represent planning states. The Lisp Object State Saver (LOSS), a general purpose utility, was constructed which allows one to take a snapshot of memory by storing a representation of the structures in a text file. This text file can later be loaded thus restoring the pre-existing and logically equivalent planning state. A LOSS template must be created for each datatype to be stored and a simple grammar governs the creation of such templates.

Description: The Advice Taker/Inquirer (AT/I) is a domain-independent program that is used to construct, monitor, and improve an expert system. In the learning phase, an expert teaches a strategy to the AT/I by providing it with declarative and procedural knowledge, expressed in the expert's domain-specific vocabulary. The expert can modify any advice given to the system earlier, and any advice dependent on the altered advice is reviewed automatically for syntatic and sematic soundness. Knowledge acquisition and methods for ensuring the integrity of the knowledge base in an expert system is discussed.

Description: The distributed associative memory (DAM) model is suggested for distributed and fault-tolerant computation as it relates to object recognition tasks. The fault-tolerance is with respect to geometrical distortions (scale and rotation), noisy inputs, occulsion/overlap, and memory faults. An experimental system was developed for fault-tolerant structure recognition which shows the feasibility of such an approach. The approach is futher extended to the problem of multisensory data integration and applied successfully to the recognition of colored polyhedral objects.

Description: The initial implementation of an interactive testbed for development of expert system applications in image processing, i.e., a toolbox of procedures designed to facilitate the capture of expert knowledge for region grouping and analysis is described. The user can elect to interactively enter commands (via a command interpreter) for region manipulation to, in effect, simulate the actions of a hypothetical expert system. The user can then incorporate any rules and procedures as derived from interactive experimentation into customized region processing procedures using the library of utility functions. An iterative technique based on image pyramids is used to compute the initial region segmentation without the use of process parameters. These regions can then be interactively examined and manipulated using the command interpreter.

Description: Image data is a critical component of the scientific information acquired by space missions. Compression of image data is required due to the limited bandwidth of the data transmission channel and limited memory space on the acquisition vehicle. This need becomes more pressing when dealing with multispectral data where each pixel may comprise 300 or more bytes. An autonomous, real time, on-board image analysis system for an exploratory vehicle such as a Mars Rover is developed. The completed system will be capable of interpreting image data to produce reduced representations of the image, and of making decisions regarding the importance of data based on current scientific goals. Data from multiple sources, including stereo images, color images, and multispectral data, are fused into single image representations. Analysis techniques emphasize artificial neural networks. Clusters are described by their outlines and class values. These analysis and compression techniques are coupled with decision making capacity for determining importance of each image region. Areas determined to be noise or uninteresting can be discarded in favor of more important areas. Thus limited resources for data storage and transmission are allocated to the most significant images.

Description: MOORE is a rule-based, prototype expert system that assists in diagnosing operational Tracking and Data Relay Satellite (TDRS) problems. It is intended to assist spacecraft engineers at the TDRS ground terminal in trouble shooting problems that are not readily solved with routine procedures, and without expert counsel. An additional goal of the prototype system is to develop in-house expert system and knowledge engineering skills. The prototype system diagnoses antenna pointing and earth pointing problems that may occur within the TDRS Attitude Control System (ACS). Plans include expansion to fault isolation of problems in the most critical subsystems of the TDRS spacecraft. Long term benefits are anticipated with use of an expert system during future TDRS programs with increased mission support time, reduced problem solving time, and retained expert knowledge and experience. Phase 2 of the project is intended to provide NASA the necessary expertise and capability to define requirements, evaluate proposals, and monitor the development progress of a highly competent expert system for NASA's Tracking Data Relay Satellite. Phase 2 also envisions addressing two unexplored applications for expert systems, spacecraft integration and tests (I and T) and support to launch activities. The concept, goals, domain, tools, knowledge acquisition, developmental approach, and design of the expert system. It will explain how NASA obtained the knowledge and capability to develop the system in-house without assistance from outside consultants. Future plans will also be presented.

Description: An experimental rule-based system for optimizing user spacecraft communications configurations was developed at NASA to support mission planning for spacecraft that obtain telecommunications services through NASA's Tracking and Data Relay Satellite System. Designated Expert for Communications Configuration Optimization (ECCO), and implemented in the OPS5 production system language, the system has shown the validity of a rule-based systems approach to this optimization problem. The development of ECCO and the incremental optimization method on which it is based are discussed. A test case using hypothetical mission data is included to demonstrate the optimization concept.

Description: Intelligent interface concepts and systematic approaches to assessing their functionality are discussed. Four general features of intelligent interfaces are described: interaction efficiency, subtask automation, context sensitivity, and use of an appropriate design metaphor. Three evaluation methods are discussed: Functional Analysis, Part-Task Evaluation, and Operational Testing. Design and evaluation concepts are illustrated with examples from a prototype expert system interface for environmental control and life support systems for manned space platforms.

Description: The concept of a generic module for management of onboard systems grew out of the structured analysis effort for the Space Station software. Hierarchical specification of subsystems software revealed that nontrivial supervisory elements are required at all levels. The number of supervisors (and subsequent software) required to implement the hierarchical control over onboard functions comprise a large portion of the Space Station software. Thus, a generic knowledge based supervisory module significantly reduces the amount of software developed. This module, the Generic Supervisor, depends on its knowledge of control to provide direction for subordinates and feedback to superiors within a specific subsystem area. The Generic Supervisor provides an adaptable and maintainable control system. A portion of the Space Station Environmental Control and Life Support System (ECLSS) was implemented as a hierarchy of supervisors. This prototype implementation demonstrates the feasibility of a generic knowledge based supervisor, and its facility to meet complex mission requirements.

Description: Expert systems were applied in a number of ways to the field of simulation. One of these is the application of an expert system to drive a simulation, by making run-time decisions which effect the simulation. This approach was successful for a number of specific simulation models. The simulation engine extends this capability by supporting this type of interaction in a general purpose setting. A general purpose simulation language is provided for building models, and an inference engine is provided for knowledge processing. This combination results in a mechanism which allows general purpose models to be simulated in concert with interactive knowledge bases.

Description: A methodology for automatic mathematical modeling and generating simulation models is described. The models will be verified by running in a test environment using standard profiles with the results compared against known results. The major objective is to create a user friendly environment for engineers to design, maintain, and verify their model and also automatically convert the mathematical model into conventional code for conventional computation. A demonstration program was designed for modeling the Space Shuttle Main Engine Simulation. It is written in LISP and MACSYMA and runs on a Symbolic 3670 Lisp Machine. The program provides a very friendly and well organized environment for engineers to build a knowledge base for base equations and general information. It contains an initial set of component process elements for the Space Shuttle Main Engine Simulation and a questionnaire that allows the engineer to answer a set of questions to specify a particular model. The system is then able to automatically generate the model and FORTRAN code. The future goal which is under construction is to download the FORTRAN code to VAX/VMS system for conventional computation. The SSME mathematical model will be verified in a test environment and the solution compared with the real data profile. The use of artificial intelligence techniques has shown that the process of the simulation modeling can be simplified.

Description: The Proposal Entry Processor (PEP) System supports the submission, entry, technical evaluation review, selection and implementation of Hubble Space Telescope (HST) observing proposals. The PEP system is described concentrating on features which illustrate principles of telescience as applied to the HST. These principles are applicable to other observatories, both space and ground based. The PEP proposal forms allow a scientist to specify scientific objectives without becoming needlessly involved in implementation details. The Remote Proposal Submission System (RPSS) allows proposers to submit proposals electronically via Telenet, SPAN, and other networks. The RPSS performs syntax and sematic checks on proposals. The PEP uses a fourth generation database system to store proposal information and to allow general queries and reports. The Transformation subsystem uses an expert system written in OPS5 to cast a scientific description of an observing program into parameters used by the planning and scheduling system. The TACOS system is a natural language database which supports the proposal selection process. Technical evaluations for resource usage and duplicate science are performed using rulebased systems.

Description: The Advanced Ground Segment, a prototype satellite/payload operations control center workstation, which represents an evolutionary effort to improve the automation of control centers while improving software practices and supporting distributed control center functions, is described. Multiple levels of automation are supported through a rule-based control strategy. The architecture provides the necessary interfaces and modularity for future inclusion of more sophisticated control strategies.

Description: Spacecraft activity scheduling was a focus of attention in artificial intelligence recently. Several scheduling systems were devised which more-or-less successfully address various aspects of the activity scheduling problem, though most of these are not yet mature, with the notable expection of NASA's ESP. Few current scheduling systems, however, make any attempt to deal fully with the problem of modifying a schedule in near-real-time in the event of contingencies which may arise during schedule execution. These contingencies can include resources becoming unavailable unpredictably, a change in spacecraft conditions or environment, or the need to perform an activity not scheduled. In these cases it becomes necessary to repair an existing schedule, disrupting ongoing operations as little as possible. Normal scheduling is just a part of that which must be accomplished during contingency rescheduling. A prototype system named MAESTRO was developed for spacecraft activity scheduling. MAESTRO is briefly described with a focus on recent work in the area of real-time contingency handling. Included is a discussion of some of the complexities of the scheduling problem and how they affect contingency rescheduling, such as temporal constraints between activities, activities which may be interrupted and continued in any of several ways, and different ways to choose a resource complement which will allow continuation of an activity. Various heuristics used in MAESTRO for contingency rescheduling is discussed, as are operational concerns such as interaction of the scheduler with spacecraft subsystems controllers.

Description: A Generic Mission Operations System using Expert System technology to demonstrate the potential of Artificial Intelligence (AI) automated monitor and control functions in a Mission Operations and Satellite Test environment will be developed at the National Aeronautics and Space Administration (NASA) Jet Propulsion Laboratory (JPL). Expert system techniques in a real time operation environment are being studied and applied to science and engineering data processing. Advanced decommutation schemes and intelligent display technology will be examined to develop imaginative improvements in rapid interpretation and distribution of information. The Generic Payload Operations Control Center (GPOCC) will demonstrate improved data handling accuracy, flexibility, and responsiveness in a complex mission environment. The ultimate goal is to automate repetitious mission operations, instrument, and satellite test functions by the applications of expert system technology and artificial intelligence resources and to enhance the level of man-machine sophistication.

Description: Mental models of the Space Station and its ancillary facilities will be employed by users of the Space Station as they draw upon past experiences, perform tasks, and collectively plan for future activities. The operational environment of the Space Station will incorporate telescience, a new set of operational modes. To investigate properties of the operational environment, distributed users, and the mental models they employ to manipulate resources while conducting telescience, an integrating shared-world conceptual model of Space Station telescience is proposed. The model comprises distributed users and resources (active elements); agents who mediate interactions among these elements on the basis of intelligent processing of shared information; and telescience protocols which structure the interactions of agents as they engage in cooperative, responsive interactions on behalf of users and resources distributed in space and time. Examples from the life sciences are used to instantiate and refine the model's principles. Implications for transaction management and autonomy are discussed. Experiments employing the model are described which the authors intend to conduct using the Space Station Life Sciences Telescience Testbed currently under development at Ames Research Center.

Description: An autonomous intelligent training system which integrates expert system technology with training/teaching methodologies is described. The system was designed to train Mission Control Center (MCC) Flight Dynamics Officers (FDOs) to deploy a certain type of satellite from the Space Shuttle. The Payload-assist module Deploys/Intelligent Computer-Aided Training (PD/ICAT) system consists of five components: a user interface, a domain expert, a training session manager, a trainee model, and a training scenario generator. The interface provides the trainee with information of the characteristics of the current training session and with on-line help. The domain expert (DeplEx for Deploy Expert) contains the rules and procedural knowledge needed by the FDO to carry out the satellite deploy. The DeplEx also contains mal-rules which permit the identification and diagnosis of common errors made by the trainee. The training session manager (TSM) examines the actions of the trainee and compares them with the actions of DeplEx in order to determine appropriate responses. A trainee model is developed for each individual using the system. The model includes a history of the trainee's interactions with the training system and provides evaluative data on the trainee's current skill level. A training scenario generator (TSG) designs appropriate training exercises for each trainee based on the trainee model and the training goals. All of the expert system components of PD/ICAT communicate via a common blackboard. The PD/ICAT is currently being tested. Ultimately, this project will serve as a vehicle for developing a general architecture for intelligent training systems together with a software environment for creating such systems.