ALBERT

Description: The contributions that the Advanced X-ray Astrophysics Facility (AXAF) is expected to make in key areas of astronomical investigation are examined. Emphasis is given to the planned AXAF investigations of galaxy clusters, dark matter, and the distance scale of the universe. Properties of stars and quasars that AXAF will address are considered, and the most important AXAF characteristics are listed.

Description: The paper describes algorithms for rain-rate profiling with an airborne or space-borne radar. Some problems involved in the radar measurements from an airborne or space-borne platform are discussed. An outline of a dual-frequency algorithm is described and its performance is confirmed by a computer simulation and an airborne experiment. A single-frequency algorithm is developed by introducing a path-integrated rain rate estimated from an attenuation of surface echoes or from microwave brightness temperature. The computer simulation shows good performance for an airborne or space-borne radar.

Description: The International Ultraviolet Explorer has been successfully operated as a real time user-interactive space observatory for twelve years. It is expected to continue operation for up to five additional years, but under increasing constraints. The option to operate IUE in a more automated, non user-interactive mode is under consideration. A sophisticated software system to support such an operation is a clear requirement. The conceptual framework of such a system is described. Results of a preliminary tests are presented for which a hypothetical four day schedule of space-craft activities at a time resolutions as low as ten minutes was generated.

Description: Ideas presented at the Workshop on Astrophysics from the moon, held in Annapolis, Maryland, in February 1990, are discussed. Consideration is given to the formation of stars and planetary systems, the possibility of earthlike planets among the nearby stars, the possible existence of life and intelligence elsewhere, the current status of the sun and other stars, the evolution of the early universe, and environmental and site considerations for initial observatories.

Description: The Space Infrared Telescope Facility (SIRTF) is a one-meter class observatory for infrared astronomy that will be launched into high earth orbit by NASA in the late 1990's. SIRTF's three focal plane instruments will permit imaging and spectroscopy over most of the infrared spectrum with sensitivities of 100 to 10,000 times their predecessors. This paper briefly reviews SIRTF's capabilities, science objectives, and current status.

Description: The International Ultraviolet Explorer (IUE) was launched into a geosynchronous orbit on 26 January 1978. It is equipped with a 45-cm mirror and spectrographs operating in the far-ultraviolet (1150-2000 A) and the midultraviolet (1900-3200 A) wavelength regions. In a low-dispersion mode, the spectral resolution is some 6-7 A. In a high-dispersion echelle mode, the resolution is about 0.1 Aat the shortest wavelength and about 0.3 A at the longest. It is a collaborative program among NASA, ESA, and the British SERC. The IUE is operated in real time 16 hours a day from NASA Goddard Space Flight Center near Washington, D.C. and 8 hours daily from ESA's Villafranca groundstation near Madrid, Spain. By the end of 1989, 1870 papers, using IUE observations, have been published in referred journals. During the same period, over 1700 different astronomers from all over the world used the IUE for their research.

Description: The Hubble Space Telescope was launched from the Kennedy Space Center on April 24, 1990. Its initial check-out indicates that all sub-systems of the satellite are working very well, with two key exceptions: The line-of-sight pointing is subject to occasional jitter apparently induced by thermal stresses in the solar arrays; this is expected to be overcome. The telescope mirrors are found to contain approximately 0.5 wave rms of spherical aberration which cannot be overcome by any controls on board the satellite. This defect will limit the scientific performance of the telescope in the short run. However, the aberration can be fully corrected in the optical designs of future replacement instruments, and the delivery schedules of these instruments are being accelerated.

Description: The optimal topology of a two dimensional linear elastic body can be computed by regarding the body as a domain of the plane with a high density of material. Such an optimal topology can then be used as the basis for a shape optimization method that computes the optimal form of the boundary curves of the body. This results in an efficient and reliable design tool, which can be implemented via common FEM mesh generator and CAD type input-output facilities.

Description: A new method for the solution of non-linear mathematical programming problems in the field of structural optimization is presented. It is an iterative scheme which for each iteration refines the approximation of objective and constraint functions by accumulating the function values of previously visited design points. The method has proven to be competitive for a number of well-known examples of which one is presented here. Furthermore because of the accumulation strategy, the method produces convergence even when the sensitivity analysis is inaccurate.

Description: The adoption of robust numerical optimization techniques in trajectory simulation programs has resulted in powerful design and analysis tools. These trajectory simulation/optimization programs are widely used, and a representative list includes the GTS system, the POST program, and newer collocation methods such as OTIS and FONPAC. All of these programs rely on optimization algorithms which require objective function and constraint gradient data during the iteration process. However, most trajectory optimization problems lack simple analytical expressions for these derivatives. In the general case a function evaluation involves integrating aerodynamic, propulsive, and gravity forces over multiple trajectory phases with complex control models. With the newer collocation methods, the integration is replaced by defect constraints and cubic approximations for the state. While analytic gradient expressions can sometimes be derived for trajectory optimization problems, the derivation is cumbersome, time consuming, and prone to mistakes. Fortunately, an alternate method exists for the gradient evaluation, namely finite difference approximations. In this paper some finite difference gradient techniques developed for use with the GTS system are presented. These techniques include methods for computing first and second partial derivatives of single and multiple sets of functions. A key feature of these methods is an error control mechanism which automatically adjusts the perturbation size to obtain accurate derivative values.

Description: Originally, computer programs for engineering design focused on detailed geometric design. Later, computer programs for algorithmically performing the preliminary design of specific well-defined classes of objects became commonplace. However, due to the need for extreme flexibility, it appears unlikely that conventional programming techniques will prove fruitful in developing computer aids for engineering conceptual design. The use of symbolic processing techniques, such as object-oriented programming and constraint propagation, facilitate such flexibility. Object-oriented programming allows programs to be organized around the objects and behavior to be simulated, rather than around fixed sequences of function- and subroutine-calls. Constraint propagation allows declarative statements to be understood as designating multi-directional mathematical relationships among all the variables of an equation, rather than as unidirectional assignments to the variable on the left-hand side of the equation, as in conventional computer programs. The research has concentrated on applying these two techniques to the development of a general-purpose computer aid for engineering conceptual design. Object-oriented programming techniques are utilized to implement a user-extensible database of design components. The mathematical relationships which model both geometry and physics of these components are managed via constraint propagation. In addition, to this component-based hierarchy, special-purpose data structures are provided for describing component interactions and supporting state-dependent parameters. In order to investigate the utility of this approach, a number of sample design problems from the field of aerospace engineering were implemented using the prototype design tool, Rubber Airplane. The additional level of organizational structure obtained by representing design knowledge in terms of components is observed to provide greater convenience to the program user, and to result in a database of engineering information which is easier both to maintain and to extend.

Description: A computer code, HITCAN (High Temperature Composite Analyzer) was developed to analyze/design metal matrix composite structures. HITCAN is based on composite mechanics theories and computer codes developed at NASA LeRC over the last two decades. HITCAN is a general purpose code for predicting the global structural and local stress-strain response of multilayered (arbitrarily oriented) metal matrix structures both at the constituent (fiber, matrix, and interphase) and the structure level and including the fabrication process effects. The thermomechanical properties of the constituents are considered to be nonlinearly dependent on several parameters including temperature, stress, and stress rate. The computational procedure employs an incremental iterative nonlinear approach utilizing a multifactor-interaction material behavior model. HITCAN features and analysis capabilities (static, load stepping, modal, and buckling) are demonstrated through typical example problems.

Description: One well known deficiency of LQG compensators is that they do not guarantee any measure of robustness. This deficiency is especially highlighted when considering control design for complex systems such as flexible structures. There has thus been a need to generalize LQG theory to incorporate robustness constraints. Here we describe the maximum entropy approach to robust control design for flexible structures, a generalization of LQG theory, pioneered by Hyland, which has proved useful in practice. The design equations consist of a set of coupled Riccati and Lyapunov equations. A homotopy algorithm that is used to solve these design equations is presented.

Description: The general problem of optimization with arbitrary merit and constraint functions, which could be convex, concave, monotonic, or non-monotonic, is treated using stochastic methods. To improve the efficiency of the random search methods, a genetic algorithm for the search phase and a discriminant function for the constraint-control phase were utilized. The validity of the technique is demonstrated by comparing the results to published test problem results. Numerical experimentation indicated that for cases where a quick near optimum solution is desired, a general, user-friendly optimization code can be developed without serious penalties in both total computer time and accuracy.

Description: Structural optimization has attracted the attention since the days of Galileo. Olhoff and Taylor have produced an excellent overview of the classical research within this field. However, the interest in structural optimization has increased greatly during the last decade due to the advent of reliable general numerical analysis methods and the computer power necessary to use them efficiently. This has created the possibility of developing general numerical systems for shape optimization. Several authors, eg., Esping; Braibant & Fleury; Bennet & Botkin; Botkin, Yang, and Bennet; and Stanton have published practical and successful applications of general optimization systems. Ding and Homlein have produced extensive overviews of available systems. Furthermore, a number of commercial optimization systems based on well-established finite element codes have been introduced. Systems like ANSYS, IDEAS, OASIS, and NISAOPT are widely known examples. In parallel to this development, the technology of computer aided design (CAD) has gained a large influence on the design process of mechanical engineering. The CAD technology has already lived through a rapid development driven by the drastically growing capabilities of digital computers. However, the systems of today are still considered as being only the first generation of a long row of computer integrated manufacturing (CIM) systems. These systems to come will offer an integrated environment for design, analysis, and fabrication of products of almost any character. Thus, the CAD system could be regarded as simply a database for geometrical information equipped with a number of tools with the purpose of helping the user in the design process. Among these tools are facilities for structural analysis and optimization as well as present standard CAD features like drawing, modeling, and visualization tools. The state of the art of structural optimization is that a large amount of mathematical and mechanical techniques are available for the solution of single problems. By implementing collections of the available techniques into general software systems, operational environments for structural optimization have been created. The forthcoming years must bring solutions to the problem of integrating such systems into more general design environments. The result of this work should be CAD systems for rational design in which structural optimization is one important design tool among many others.

Description: Previous work in three dimensional shape optimization involved specifying design variables by associating parameters directly with mesh points. More recent work has shown the use of fully-automatic mesh generation based upon a parameterized geometric representation. Design variables have been associated with a mathematical model of the part rather than the discretized representation. The mesh generation procedure uses a nonuniform grid intersection technique to place nodal points directly on the surface geometry. Although there exists an associativity between the mesh and the geometrical/topological entities, there is no mathematical functional relationship. This poses a problem during certain steps in the optimization process in which geometry modification is required. For the large geometrical changes which occur at the beginning of each optimization step, a completely new mesh is created. However, for gradient calculations many small changes must be made and it would be too costly to regenerate the mesh for each design variable perturbation. For that reason, a local remeshing procedure has been implemented which operates only on the specific edges and faces associated with the design variable being perturbed. Two realistic design problems are presented which show the efficiency of this process and test the accuracy of the gradient computations.

Description: We present a quasi-Newton interior points algorithm for nonlinear constrained optimization. It is based on a general approach consisting of the iterative solution in the primal and dual spaces of the equalities in Karush-Kuhn-Tucker optimality conditions. This is done in such a way to have primal and dual feasibility at each iteration, which ensures satisfaction of those optimality conditions at the limit points. This approach is very strong and efficient, since at each iteration it only requires the solution of two linear systems with the same matrix, instead of quadratic programming subproblems. It is also particularly appropriate for engineering design optimization inasmuch at each iteration a feasible design is obtained. The present algorithm uses a quasi-Newton approximation of the second derivative of the Lagrangian function in order to have superlinear asymptotic convergence. We discuss theoretical aspects of the algorithm and its computer implementation.

Description: Performance optimization for upper-stage exoatmospheric vehicles often is performed within the framework of a full capability trajectory simulation package requiring either a large mainframe computer or powerful work-station. Since these software packages tend to include capabilities providing for high-fidelity boost and reentry simulations, the programs usually are quite large and not very portable. The program TROJID is an attempt to provide an environment for the optimization of upper-stage trajectories within a small package capable of being run on a standard desktop microcomputer. Utilizing a state-of-the-art nonlinear programming algorithm and a trajectory simulator implementing impulsive burns and an analytic coast phase propagator, TROJID is capable of producing trajectories for optimal multi-burn upper-stage orbit transfers. The package has been designed to allow full generality in definition of both the trajectory simulator and the parameter optimization problem.

Description: The author has developed several general purpose optimization programs over the past twenty years. The earlier programs were developed as research codes and served that purpose reasonably well. However, in taking the formal step from research to industrial application programs, several important lessons have been learned. Among these are the importance of clear documentation, immediate user support, and consistent maintenance. Most important has been the issue of providing software that gives a good, or at least acceptable, design at minimum computational cost. Here, the basic issues developing optimization software for industrial applications are outlined and issues of convergence rate, reliability, and relative minima are discussed. Considerable feedback has been received from users, and new software is being developed to respond to identified needs. The basic capabilities of this software are outlined. A major motivation for the development of commercial grade software is ease of use and flexibility, and these issues are discussed with reference to general multidisciplinary applications. It is concluded that design productivity can be significantly enhanced by the more widespread use of optimization as an everyday design tool.

Description: Element-by-element preconditioned conjugate gradient (EBE-PCG) algorithms have been advocated for use in parallel/vector processing environments as being superior to the conventional LDL(exp T) decomposition algorithm for single load cases. Although there may be some advantages in using such algorithms for a single load case, when it comes to situations involving multiple load cases, the LDL(exp T) decomposition algorithm would appear to be decidedly more cost-effective. The authors have outlined an EBE-PCG algorithm suitable for multiple load cases and compared its effectiveness to the highly efficient LDL(exp T) decomposition scheme. The proposed algorithm offers almost no advantages over the LDL(exp T) algorithm for the linear problems investigated on the Alliant FX/8. However, there may be some merit in the algorithm in solving nonlinear problems with load incrementation, but that remains to be investigated.

Description: The design of complex engineering systems such as aircraft, automobiles, and computers is primarily a cooperative multidisciplinary design process involving interactions between several design agents. The common thread underlying this multidisciplinary design activity is the information exchange between the various groups and disciplines. The integrating component in such environments is the common data and the dependencies that exist between such data. This may be contrasted to classical multidisciplinary analyses problems where there is coupling between distinct design parameters. For example, they may be expressed as mathematically coupled relationships between aerodynamic and structural interactions in aircraft structures, between thermal and structural interactions in nuclear plants, and between control considerations and structural interactions in flexible robots. These relationships provide analytical based frameworks leading to optimization problem formulations. However, in multidisciplinary design problems, information based interactions become more critical. Many times, the relationships between different design parameters are not amenable to analytical characterization. Under such circumstances, information based interactions will provide the best integration paradigm, i.e., there is a need to model the data entities and their dependencies between design parameters originating from different design agents. The modeling of such data interactions and dependencies forms the basis for integrating the various design agents.

Description: An algorithm for solving constrained optimization problems is presented. First, design of experiment techniques are used to survey the design space. After evaluating the objective and constraint functions, as specified by Taguchi orthogonal arrays, analytical models of these functions are generated using a least-squares regression analysis. Next, a nonlinear programming package is used to optimize the analytical model. Based on the optimization information, the design space is reduced so as to close in around the minimum, and the entire procedure is repeated until convergence. An important feature of the algorithm is that function gradients are not required; therefore, for problems in which gradients would have to be estimated using finite-differences the number of function evaluations required for the optimization is significantly reduced, when compared with traditional nonlinear programming techniques. In addition, there is no requirement that the gradients must be smooth and continuous.

Description: This viewgraph presentation represents the first effort at defining the successor to DYCAM 1.0, which is the Center for Space Construction's Dynamic Construction Activities Model, Version 1.0. Version 1.0 is currently nearing the completion of its development phase, and now that its capabilities can be discerned, it is possible to envision the next step in computer aided engineering constructability analysis tools. The presentation is a discussion of the 'wish list' for future DYCAM versions, tempered by reality, yet at the same time intrigued by the importance of modeling the space construction problems. This discussion of DYCAM 2.0's proposed capabilities remains a 'living document' in that on-going research by the author and others may cause changes to the approach as well as to the architecture of Version 1.0. Similarly, as CSC gains experience with Version 1.0, one would expect to gain insight as to the positives and negatives of its general construction planning approach.

Description: This document presents block diagrams of the IDEAS**2 computing environment. IDEAS**2 is the computing environment selected for system engineering (design and analysis) by the Center for Space Construction (CSC) at the University of Colorado (UCB). It is intended to support integration and analysis of any engineering system and at any level of development, from Pre-Phase A conceptual studies to fully mature Phase C/D projects. The University of Colorado (through the Center for Space Construction) has joined the Structural Dynamics Research Corporation (SDRC) University Consortium which makes available unlimited software licenses for instructional purposes. In addition to providing the backbone for the implementation of the IDEAS**2 computing environment, I-DEAS can be used as a stand-alone product for undergraduate CAD/CAE instruction. Presently, SDRC is in the process of releasing I-DEAS level 5.0 which represents a substantial improvement in both the user interface and graphic processing capabilities. IDEAS**2 will be immediately useful for a number of current programs within CSC (such as DYCAM and the 'interruptability problem'). In the future, the following expansions of the basic IDEAS**2 program will be pursued, consistent with the overall objectives of the Center and of the College: upgrade I-DEAS and IDEAS**2 to level 5.0; create new analytical programs for applications not limited to orbital platforms; research the semantic organization of engineering databases; and create an 'interoperability' testbed.

Description: Those who plan the construction of large structures in space are presented with new challenges imposed by the constraints involved in such an operation. These constraints include those imposed by the assembly sequence itself; the available resources of time, money, manpower, equipment, and material; and finally those constraints imposed by the physical nature of the environment. Design decisions ultimately affect the construction effort and inherent construction constraints affect the design. To enhance the constructability of these structures, it is important that the project planners be equipped with computer tools which will allow a rapid iterative analysis of many possible scenarios for design and construction. DYCAM 1.0 provides the user with a computer tool to aid in the evaluation of Pre-Phase A and Phase A conceptual system designs and the identification of feasible construction scenarios for these designs assuming various types and levels of construction technologies. The DYCAM 1.0 model interacts with a NASA utilized, commercially available computer model for conceptual system design, called IDEAS**2. DYCAM 1.0 incorporates the consideration of construction constraints as specified by the mission planner/system designer. This permits iteration of the system design with various construction sequences suggested by the user. The DYCAM 1.0 test case evaluates various construction sequences using IDEAS**2 data for the configuration of Space Station Freedom after two assembly flights. This document contains a series of viewgraphs demonstrating the DYCAM 1.0 design analysis environment.

Description: Compressible Euler equations are solved for two-dimensional problems by a preconditioned conjugate gradient-like technique. An approximate Riemann solver is used to compute the numerical fluxes to second order accuracy in space. Two ways to achieve parallelism are tested, one which makes use of parallelism inherent in triangular solves and the other which employs domain decomposition techniques. The vectorization/parallelism in triangular solves is realized by the use of a recording technique called wavefront ordering. This process involves the interpretation of the triangular matrix as a directed graph and the analysis of the data dependencies. It is noted that the factorization can also be done in parallel with the wave front ordering. The performances of two ways of partitioning the domain, strips and slabs, are compared. Results on Cray YMP are reported for an inviscid transonic test case. The performances of linear algebra kernels are also reported.

Description: A conceptual plan for the development of a comprehensive long duration solar space observatory, The Advanced Solar Observatory (ASO) is described. The ASO is intended to provide solar astronomers with the observational power necessary to address fundamental problems relating to the solar convection zone and activity cycle; the thermal and nonthermal processes that control the transport of energy, mass, and magnetic flux in the solar atmosphere; the generation of the solar wind; and the dynamics of the inner heliosphere. The ASO concept encompasses three proposed Space Station-based instrument ensembles: (1) the High Resolution Telescope Cluster, which includes far ultraviolet, extreme ultraviolet, and X-ray telescopes; (2) the Pinhole/Occulter Facility, which includes Fourier transform and coded aperture hard X-ray and gamma ray telescopes and occulted ultraviolet and visible light coronagraphs; and (3) the High Energy Facility, which contains neutron, gamma ray, and low frequency radio spectrometers. Two other facilities, the Orbiting Solar Laboratory, and a package of Global Dynamics Instrumentation, will, with the Space Station ensembles, form a comprehensive capability for solar physics. The scientific program of the ASO, current instrument concepts for the Space Station based ASO instrument ensembles, and plans for their accommodation on the Space Station are described.

Description: A computational method for the simulation of damage and fracture propagation in laminated composites is presented. A quantitative evaluation of the global fracture toughness of composites is shown as a tool for monitoring the fracture stability of composites under sustained loading. Changes in overall structural properties such as natural frequencies and the fundamental buckling load are also computed with increasing load-induced damage. Structural degradation, delamination, fracture, and damage propagation are included in the simulation. An angle-plied composite plate structure subjected to inplane tensile loading is used as an example to demonstrate some of the feature of the computational method.

Description: The outer planet positions of JPL's recent planetary ephemeris, DE 202, have begun to show significant differences from DE 200, the basic ephemeris of the major national almanacs. The differences DE 202 - DE 200 are plotted and are assumed to approximate the errors of DE 200. For Jupiter, the difference in right ascension varies over the planet's 12 yr period between -0.1 and -0.2 arcsec throughout the century; for Saturn, the right ascension also varies over the 30 yr period, but in addition, shows a drift which reaches -0.25 arcsec at present; for Uranus, the difference is small through the first half of the century, but now has reached -0.4 arcsec; for Neptune, the error was +0.6 arcsec at 1900 and is near -1.0 arcsec by the year 2000; the error for Pluto exceeds +2.0 arcsec by the end of the century and is rapidly increasing. The declination errors are generally periodic and smaller than the right ascensions.

Description: This paper reports the detection of the 3.3-micron emission feature in the center of two external galaxies: IC 694 (interacting with NGC 3690) and NGC 4194 (a merger). This feature has been previously detected in various galactic and extragalactic objects and is thought to be due to very small grains or large molecules that probably belong to the Polycyclic Aromatic Hydrocarbon (PAH) family. Its presence, as well as the IRAS colors, strongly suggest that these galaxies are dominated by starbursts rather than active nuclei. From publishing data and the present observations, the brightness of the feature in different galaxies is studied. A simple model of radiative transfer shows that the 3.3-micron feature brightness of a given galaxy allows the determination of the unreddened surface brightness of the galaxy stellar content. In galaxies with relatively large extinction, the 3.3-micron feature (and the other PAH related features) is therefore a useful spatial indicator of star-formation activity in their centers.

Description: A complete sample, taken from the Parkes 2.7 GHz catalog, of flat-spectrum radio sources with flux densities greater than 0.5 Jy is described. The sample covers all right ascensions and declinations for +10 deg to -45 deg, excluding the Galactic plane, and contains 403 sources. Attention is drawn to the advantages of radio surveys over optical surveys. The survey is used to highlight some selection effects found in optical surveys. How this sample can be used to give information on the early universe is discussed.

Description: The Ultra High Resolution XUV Spectroheliograph (UHRXS), a solar observatory planned for the Space Station Freedom, is described. The UHRXR instruments include nine XUV Ritchey-Chretien telescopes covering a spectral range of 70-350 A, which will provide images of solar atmosphere structures ranging in temperature from 50,000 to 20,000,000 K. The images will be obtained with spatial resolution that is an order of magnitude better than any other currently planned solar satellite experiment.

Description: The possibility of using terrestrial ionospheric focusing to improve the directivity of electric dipoles on space missions has been investigated by comparing simultaneous observations of a solar radio storm by the ISIS 1 and ISIS 2 spacecraft, in near earth orbit, and the ISEE 3 spacecraft located beyond the magnetosphere. To this end, a three-dimensional ray tracing in a spherically stratified ionosphere has been carried out for conditions appropriate to the observations by the ISIS spacecraft of a solar radio storm in September 1983. The procedure allows Poynting flux spectral densities measured on ISIS to be converted to spectral densities well outside the ionosphere where they can be compared directly with simultaneous observations on ISEE 3. The results demonstrate good agreement over their common observing frequency range (1-2 MHz).

Description: This paper discusses the Astro, a UV and X-ray observatory designed for the Space Shuttle Columbia, which is scheduled for the May 7, 1990 launch. Astro's four telescopes and their operation are described. They are the Hopkins Ultraviolet Telescope, the Wisconsin Ultraviolet Photo-Polarimeter Experiment, the Ultraviolet Imaging Telescope, and the Broad Band X-ray Telescope. Attention is also given to the mission plan and to the ground operations.

Description: A list of bright (less than 17 mag) southern QSOs and bright (less than 11 mag) stars that may be suitable for the Hubble Space Telescope link between the Hipparcos astrometric reference frame and the VLBI extragalactic frame is presented. The QSOs have been selected from various lists of radio objects and identifications. The stars have been selected from the Strasbourg (CDS) data base and from the Preliminary Second Cape Photographic Catalog, and supplemented with stars measured from the SERC IIIa-J Schmidt survey. These QSOs and stars have been included in the Hipparcos and HST schedule of observations.

Description: A series of studies aimed at characterizing the fundamentals of the software failure process has been undertaken as part of a NASA project on the modeling of a real-time aerospace vehicle software reliability. An overview of these studies is provided, and the current study, an investigation of the reliability of aerospace vehicle guidance and control software, is examined. The study approach provides for the collection of life-cycle process data, and for the retention and evaluation of interim software life-cycle products.

Description: An inspection of 34 SRC/ESO J southern sky fields is the basis of the present list of clusters of galaxies and their approximate classifications in terms of cluster concentration, defined independently of richness and shape-symmetry. Where possible, an estimate of the cluster morphological population is provided. The Bautz-Morgan classification was applied using a strict comparison with clusters on the Palomar Sky Survey. Magnitudes were estimated on the basis of galaxies with photoelectric or photographic magnitudes.

Description: Preliminary studies have been conducted for the concept of a lunar base supporting astronomical instruments of power comparable to the VLA, giving attention to aperture-synthesis arrays which could improve angular resolution to the level of a few microarcsec. The only conceivable mode of catastrophic instrument failure envisioned would be a meteorite strike, although the probability for this is small and comparable to that encountered in orbital instruments. Nevertheless, lunar dust may pose problems, lunar soil may be inadequate for support of instrument structures, moonquakes may disturb instruments, gravitational deflection may distort them, and heat radiation and scattered light may exert troublesome influences on observations. Representative parameters for a specific system are presented.

Description: This catalog lists all publications containing new observations of CO isotopes in galaxies that have appeared since the submission of Verter (1985) and before the end of 1989. For each publication the number and nature of the observations are summarized. Condensations of this information can be used to evaluate the current status and direction of observational research on molecular gas in external galaxies.

Description: Astrometric measurements made with the Mark III stellar interferometer on five nights in August-September 1988 yielded average formal 1-sigma errors for 12 FK5 stars of 6 mas in declination and 10 mas in right ascension. This improvement in precision over previously reported measurements with this instrument made in 1986 is attributable to several factors: a second 12 m baseline; oriented E-S, was added to the instrument to improve the determination of right ascension; two-color analysis was included in the data-reduction process, along with a new central-fringe identification algorithm using three spectral channels, in order to reduce atmospheric errors; thermal control was greatly improved; and changes were made to observational procedures and hardware to monitor variations in the delay offset due to residual thermal drifts. Approximately half of the new positions are within 50 mas of their FK5 positions. However, an extended series of measurements are needed to ascertain the accuracy that can be achieved by interferometry.

Description: A photographic atlas of polar-ring galaxies and related objects is presented. The atlas includes kinematically confirmed polar-ring galaxies (category A), good candidates based on their morphological appearance (category B), possible candidates (category C), and possibly related objects (category D). New photometric and kinematic observations are reported for several galaxies in the catalog, including observations that show that UGC 7576 and UGC 9796 ( = II ZW 73) are S0 galaxies with polar rings. Roughly 0.5 percent of all nearby S0 galaxies appear to have polar rings. When corrected for various selection effects (e.g., nonoptimal viewing orientation, possible dimming, or limited lifetime of the ring) the percentage increases to about 5 percent of S0 galaxies which have, or have had a polar ring.

Description: A parametrically driven simulation model is presented in order to provide a detailed insight into the effects of various input parameters in the life testing of a modular space suit. The RAMCOST model employed is a user-oriented simulation model for studying the life-cycle costs of designs under conditions of uncertainty. The results obtained from the EVA simulated model are used to assess various mission life testing parameters such as the number of joint motions per EVA cycle time, part availability, and number of inspection requirements. RAMCOST first simulates EVA completion for NASA application using a probabilistic like PERT network. With the mission time heuristically determined, RAMCOST then models different orbital replacement unit policies with special application to the astronaut's space suit functional designs.

Description: A model describing the physical libration in longitude and latitude for Phobos is derived. The major effect is the well-known longitude variation with the anomalistic orbital period and amplitude. Several additional meter-sized periodic librations in longitude exist. The latitude variation is dominated by the forced precession of Phobos' figure axis with the precession of Phobos' orbital plane. The contribution of Phobos' topography to its gravity field is estimated using the control network model of Duxbury and Callahan (1989).

Description: An algorithm to calculate source structure corrections for bandwidth synthesis delays and delay rates is used to refer the position of extragalacitc radio sources to a specific feature of each source's morphology. The delay and delay rate are obtained from VBLI observations. The algorithm and its theoretical basis are described, and simulations for a simple two-component source are discussed. VLBI data for the complex radio source NRAO 140 are analyzed. For this source, structure corrections are calculated with maps from three different VLBI imaging techniques: the hybrid-CLEAN algorithm, the maximum entropy method, and model fitting. The calculated structure corrections are compared with brightness distributions to the actual data. The results are used to map NRAO 140. It is found that the CLEAN map produces the most accurate structure corrections.

Description: Observations from 600 Mark III VLBI experiments from 1979 to 1988, resulting in 237,681 acceptable pairs of group delay and phase delay rate observations, have been used to derive positions of 182 extragalactic radio sources with typical formal standard errors less than 1 mas. The sources are distributed fairly evenly above delta = -30 deg, and 70 sources have delta greater than 0 deg. Analysis with different troposphere models, as well as internal and external comparisons, indicates that a coordinate frame defined by this set of radio sources should be reliable at the 1 mas level. The right ascension zero point of this reference frame has been aligned with the FK5 by using the optical positions of 28 extragalactic radio sources whose positions are on the FK5 system. Because of known defects in the knowledge of astronomical constants, daily nutation offsets in longitude and obliquity were determined relative to an arbitrary reference day in the set of experiments.

Description: Redshifts were measured for a complete sample of galaxies detected by the IRAS within 11.5 deg of the center of the void in Bootes discovered by Kirshner et al (1981). There are 12 IRAS galaxies within the void as defined by the above authors, seven of which were discovered in this survey. One of these has a companion at the same redshift. The resulting density of IRAS galaxies in the void is measured to be between 1/6 and 1/3 of the average density; the uncertainty is dominated by Poisson statistics. Good agreement is found between the selection function and number density derived from the present sample and those derived from the all-sky sample of Strauss (1989). The optical spectra of the newly found galaxies in the void are typical of IRAS galaxies in the field.

Description: An algorithm has been developed to edit automatically Global Positioning System data such that outlier deletion, cycle slip identification, and correction are independent of clock instability, selective availability, receiver-satellite kinematics, and tropospheric conditions. This algorithm, called TurboEdit, operates on undifferenced, dual frequency carrier phase data, and requires the use of P code pseudorange data and a smoothly varying ionospheric electron content. TurboEdit was tested on the large data set from the CASA Uno experiment, which contained over 2500 cycle slips.Analyst intervention was required on 1 percent of the station-satellite passes, almost all of these problems being due to difficulties in extrapolating variations in the ionospheric delay. The algorithm is presently being adapted for real time data editing in the Rogue receiver for continuous monitoring applications.

Description: A description of the clustering, classification, and image display program AMOEBA is presented. Using a difficult high resolution aircraft-acquired MSS image, the steps the program takes in forming clusters are traced. A number of new features are described here for the first time. Usage of the program is discussed. The theoretical foundation (the underlying mathematical model) is briefly presented. The program can handle images of any size and dimensionality.

Description: Continuing improvements in the lasers and the detection electronics over the years which have led to accurate measurements of the distance from the earth to the moon are discussed. The first reflector of laser light pulses, deployed on the moon surface twenty years ago by the Apollo 11 astronauts, consisted of 100 fused silica corner cubes, and reflected a beam of light directly back toward its point of origin. Observatories located in Texas, Hawaii, and France now regularly range the moon with an accuracy of approximately 1 inch. Ranging programs have also been carried out in Australia and the Soviet Union. The ranges are computer-analyzed to determine precisely the positions of the observatories on earth, the positions of the reflectors on the moon, the orbit of the moon around the earth, and the rotation and orientation of the earth and the moon. The most important scientific advances derived from lunar ranging are also reviewed.

Description: A laser-material database and laser-modeling software system for designing lasers for laser-based Light Detection And Ranging (LIDAR) systems are presented. The software system consists of three basic sections: the database, laser models, and interface software. The database contains the physical parameters of laser, optical, and nonlinear materials required by laser models. The models include efficiency calculations, electrooptical component models, resonator, amplifier, and oscillator models, and miscellaneous models. The interface software provides a user-friendly interface between the user and his personal data files, the database, and models. The structure of the software system is essentially in place, while future plans call for upgrading the computer hardware and software in order to support a multiuser multitask environment.

Description: This paper discusses the application of active structures technology to the control of precision structures for future space-based astrophysics observatories. The state of the art in active structures is reviewed and technology developments applicable to large optical systems are discussed.

Description: This paper documents the planetary observational data used in a series of ephemerides produced at JPL over six years preceding the creation of DE118/LE62, the set which transformed directly into the JD2000-based set, DE200/LE200. Details of the data reduction procedures are presented, and techniques to overcome the uncertainties due to planetary topography are described. For the spacecraft data, the basic reductions are augmented by formulations for locating the transponder, whether in orbit or landed on the surface of a planet.

Description: New Technology Telescope (NTT) images of 16 southern ultraluminous infrared (LIR greater than 10 to the 12th solar luminosities) galaxies in the Local Universe (z less than 0.13) are presented. All these galaxies are strongly interacting systems showing double nuclei, wisps, and tails that are characteristic of advanced mergers. The most spectacular instance of these cosmic accidents is the 'superantenna', a system with long slender tails that extend over 500 kpc. It is concluded that ultraluminous infrared galaxies are mergers of giant spiral galaxies, and that the distinguishing features of tidal interactions in this type of galaxies become blurred at higher redshifts. The CCD images suggest the existence of a critical separation between the colliding galaxies of about 10 kpc at which the merging systems become ultraluminous in the infrared.

Description: The ability of a space-based radio interferometer array to make high resolution images at frequencies of only a few MHz will be limited by interplanetary scintillation. Numerical simulations have been used to study the severity of interferometer phase fluctuations caused by the density fluctuations in the solar wind over a range of frequencies and solar elongation angles. The impact of these fluctuations on the quality of radio images produced has also been investigated. The results show that, for baselines up to 100 km, accurate imaging should be possible when nu sin (epsilon/2) is equal to or greater than 2.5, where nu is the observing frequency in MHz and epsilon is the solar elongation angle.

Description: Distributed software engineering techniques and methods for improving the specification and testing phases are considered. With multiversion development, multiple implementations allow the use of an automated approach to testing called back-to-back (B/B) testing in which the outputs are compared to detect any discrepancies. However, a specification defect may lead to similar errors in the multiple versions and the underlying fault may not be detected with a B/B testing approach. The use of diverse formal specifications has been proposed as a solution to this problem, since defects in independently written specifications are likely to be different. To examine these issues, an experiment was performed using the design diversity approach in the specification, design, implementation, and testing of distributed software. In the experiment, three diverse formal specifications were used to produce multiple independent implementations of a distributed communication protocol in Ada. The problems encountered in building complex concurrent processing systems in Ada were also studied. Many pitfalls were discovered in mapping the formal specifications into Ada implementations.

Description: A mid-IR Michelson interferometer capable of obtaining 0.002/cm resolution solar spectra has been developed for balloon use. The interferometer is based on the Bomem self-aligning instrument, and is equipped with a solar tracking system, telemetry, and recording systems, as well as temperature control and gondola orientation. The interferometer has made two successful flights in the 7-14-micron interval up to 40 km. The basic systems are described and sample spectra are presented.

Description: X-ray fluxes or upper limits in the 2-10 keV energy band from the HEAO 1 A-2 experiment are given for well-defined samples of QSOs and of Seyfert galaxies of types 1, 1.5 and 2, and for a list of BL Lac objects (334 sources in total). All on-orbit X-ray measurements of these objects published between 1976 and 1986 from other experiments have also been cataloged.

Description: The prediction of the magnitude of the faintest star visible through a telescope by a visual observer is a difficult problem in physiology. Many prediction formulas have been advanced over the years, but most do not even consider the magnification used. Here, the prediction algorithm problem is attacked with two complimentary approaches: (1) First, a theoretical algorithm was developed based on physiological data for the sensitivity of the eye. This algorithm also accounts for the transmission of the atmosphere and the telescope, the brightness of the sky, the color of the star, the age of the observer, the aperture, and the magnification. (2) Second, 314 observed values for the limiting magnitude were collected as a test of the formula. It is found that the formula does accurately predict the average observed limiting magnitudes under all conditions.

Description: A new generation of photoelectric astrometric telescopes promises significant advances for both semiglobal and differential astrometry. Some of these new telescopes have a Ronchi ruling at the prime focal plane. The images move relative to the ruling, behind which photomultipliers or similar detectors view the modulated transmitted light. When several stars are viewed simultaneously, this technique exploits correlations in the atmospheric seeing to significantly improve differential astrometric precision. This article presents some general design and analysis criteria for this type of telescope and describes the particular reflector telescope. This has a 29-cm aperture and has met a 4-milli-arc-second differential precision per 5-minute observation. The system is designed for a program of improved annual parallax and solar-system object measurements.

Description: Eichhorn and Googe (1969) present formulas for incorporating a new position measurement into an existing star catalog. Their result is extended to the case where the new measurement also includes proper motion, thereby enabling one to combine the positions and proper motions from two catalogs.

Description: This paper describes the GEODYN computer program developed by the Geodynamics Branch at the NASA Goddard Space Flight Center and outlines the procedure for accurate satellite orbit and tracking-data analyses. The capabilities of the program allow the development of gravity fields as large as 90 by 90, and a complete modeling of tidal parameters. It is also feasible to numerically integrate a continuous orbit of a satellite such as Lageos for up to 12 years. The evolution of the orbit can be studied, and, by comparison with locally determined orbits, force model improvements can be made. The GEODYN flow diagrams are presented.

Description: The Air Logistics Command within the Air Force is responsible for maintaining a wide variety of aircraft fleets and weapon systems. To maintain these fleets and systems requires specialized test equipment that provides data concerning the behavior of a particular device. The test equipment is used to 'poke and prod' the device to determine its functionality. The data represent voltages, pressures, torques, temperatures, etc. and are called testpoints. These testpoints can be defined numerically as being in or out of limits/tolerance. Some test equipment is termed 'automatic' because it is computer-controlled. Due to the fact that effective maintenance in the test arena requires a significant amount of expertise, it is an ideal area for the application of knowledge-based system technology. Such a system would take testpoint data, identify values out-of-limits, and determine potential underlying problems based on what is out-of-limits and how far. This paper discusses the application of this technology to a device called the Unified Fuel Control (UFC) which is maintained in this manner.

Description: This article will demonstrate how the artificial intelligence concepts in CLIPS used to solve problems encountered in the design and implementation of graphics applications within the UNIX-X Window System environment. The design of an extended version of CLIPS, called XCLIPS, is presented to show how the X Windows System graphics can be incorporated without losing DOS compatibility. Using XCLIPS, a sample scientific application is built that applies solving capabilities of both two and three dimensional graphics presentations in conjunction with the standard CLIPS features.

Description: The AI Bus software architecture was designed to support the construction of large-scale, production-quality applications in areas of high technology flux, running heterogeneous distributed environments, utilizing a mix of knowledge-based and conventional components. These goals led to its current development as a layered, object-oriented library for cooperative systems. This paper describes the concepts and design of the AI Bus and its implementation status as a library of reusable and customizable objects, structured by layers from operating system interfaces up to high-level knowledge-based agents. Each agent is a semi-autonomous process with specialized expertise, and consists of a number of knowledge sources (a knowledge base and inference engine). Inter-agent communication mechanisms are based on blackboards and Actors-style acquaintances. As a conservative first implementation, we used C++ on top of Unix, and wrapped an embedded Clips with methods for the knowledge source class. This involved designing standard protocols for communication and functions which use these protocols in rules. Embedding several CLIPS objects within a single process was an unexpected problem because of global variables, whose solution involved constructing and recompiling a C++ version of CLIPS. We are currently working on a more radical approach to incorporating CLIPS, by separating out its pattern matcher, rule and fact representations and other components as true object oriented modules.

Description: The paper describes a portion of the work aimed at developing an integrated, knowledge based environment for the development of engineering-oriented applications. An Object Representation Language (ORL) was implemented in C++ which is used to build and modify an object-oriented knowledge base. The ORL was designed in such a way so as to be easily integrated with other representation schemes that could effectively reason with the object base. Specifically, the integration of the ORL with the rule based system C Language Production Systems (CLIPS), developed at the NASA Johnson Space Center, will be discussed. The object-oriented knowledge representation provides a natural means of representing problem data as a collection of related objects. Objects are comprised of descriptive properties and interrelationships. The object-oriented model promotes efficient handling of the problem data by allowing knowledge to be encapsulated in objects. Data is inherited through an object network via the relationship links. Together, the two schemes complement each other in that the object-oriented approach efficiently handles problem data while the rule based knowledge is used to simulate the reasoning process. Alone, the object based knowledge is little more than an object-oriented data storage scheme; however, the CLIPS inference engine adds the mechanism to directly and automatically reason with that knowledge. In this hybrid scheme, the expert system dynamically queries for data and can modify the object base with complete access to all the functionality of the ORL from rules.

Description: This paper describes the reasons why an object system with integrated pattern-matching and object-oriented programming facilities is desirable for CLIPS and how it is possible to integrate such a system into CLIPS while maintaining the run-time performance and the low memory usage for which CLIPS is known. The requirements for an object system in CLIPS that includes object-oriented programming and integrated pattern-matching are discussed and various techniques for optimizing the object system and its integration with the pattern-matcher are presented.

Description: In this project we extend C Language Production System (CLIPS), an existing Expert System shell, by creating three new options. Specifically, first we create a compatible with CLIPS environment that allows for defining objects and object hierarchies, second we provide means to implement backward chaining in a pure forward chaining environment, and finally we give some simple explanation facilities for the derivations the system has made. Objects and object hierarchies are extended so that facts can be automatically inferred, and placed in the fact base. Backward chaining is implemented by creating run time data structures which hold the derivation process allowing for a depth first search. The backward chaining mechanism works not only with ground facts, but also creates bindings for every query that involves variables, and returns the truth value of such a query as well as the relevant variable bindings. Finally, the WHY and HOW explanation facilities allow for a complete examination of the derivation process, the rules triggered, and the bindings created. The entire system is integrated with the original CLIPS code, and all of its routines can be invoked as CLIPS commands.

Description: Knowledge representation is one of the major concerns in expert systems. The representation of domain-specific knowledge should agree with the nature of the domain entities and their use in the real world. For example, architectural applications deal with objects and entities such as spaces, walls, and windows. A natural way of representing these architectural entities is provided by frames. This research explores the potential of using the expert system shell CLIPS, developed by NASA, to implement a frame-based representation that can accommodate architectural knowledge. These frames are similar but quite different from the 'template' construct in version 4.3 of CLIPS. Templates support only the grouping of related information and the assignment of default values to template fields. In addition to these features frames provide other capabilities including definition of classes, inheritance between classes and subclasses, relation of objects of different classes with 'has-a', association of methods (demons) of different types (standard and user-defined) to fields (slots), and creation of new fields at run-time. This frame-based representation is implemented completely in CLIPS. No change to the source code is necessary.

Description: Simulations provide necessary testbeds for system designs. Currently we are developing software whose main requirement is to produce CLIPS executable simulation code of a user prespecified system. This process minimizes the amount of engineering effort required to specify a system thereby reducing cost and providing the capability to quickly revise system definitions. Modeling satellite systems is the primary objective toward which testing has, and is, being conducted using satellite specifications. This paper describes the modeling software being developed, its formatted input and the CLIPS system simulation it produces.

Description: This paper proposes the enhancement of the CLIPS user interface to improve the over-all usability of the CLIPS development environment. It suggests some directions for the long term growth of the user interface, and discusses some specific strengths and weaknesses of the current CLIPS PC user interface. Every user of CLIPS shares a common experience: his/her first interaction with the system itself. As with any new language, between the process of installing CLIPS on the appropriate computer and the completion of a large application, an intensive learning process takes place. For those with extensive programming knowledge and LISP backgrounds, this experience may have been mostly interesting and pleasant. Being familiar with products that are similar to CLIPS in many ways, these users enjoy a relatively short training period with the product. Already familiar with many of the functions they wish to employ, experienced users are free to focus on the capabilities of CLIPS that make it uniquely useful within their working environment.

Description: HyperCLIPS combines the intuitive, interactive user interface of the Apple Macintosh(TM) with the powerful symbolic computation of an expert system interpreter. HyperCard(TM) is an excellent environment for quickly developing the front end of an application with buttons, dialogs, and pictures, while the CLIPS interpreter provides a powerful inference engine for complex problem solving and analysis. By integrating HyperCard and CLIPS the advantages and uses of both packages are made available for a wide range of uses: rapid prototyping of knowledge-based expert systems, interactive simulations of physical systems, and intelligent control of hypertext processes, to name a few. Interfacing HyperCard and CLIPS is natural. HyperCard was designed to be extended through the use of external commands (XCMDs), and CLIPS was designed to be embedded through the use of the I/O router facilities and callable interface routines. With the exception of some technical difficulties which will be discussed later, HyperCLIPS implements this interface in a straight forward manner, using the facilities provided. An XCMD called 'ClipsX' was added to HyperCard to give access to the CLIPS routines: clear, load, reset, and run. And an I/O router was added to CLIPS to handle the communication of data between CLIPS and HyperCard.

Description: SigmaCLIPSE provides an expert systems and 'intelligent' data base development program for diverse systems integration environments that require support for automated reasoning and expert systems technology, presentation management, and access to 'intelligent' SQL data bases. The SigmaCLIPSE technology and and its integrated ability to access 4th generation application development and decision support tools through a portable SQL interface, comprises a sophisticated software development environment for solving knowledge engineering and expert systems development problems in information intensive commercial environments -- financial services, health care, and distributed process control -- where the expert system must be extendable -- a major architectural advantage of NASA CLIPS. SigmaCLIPSE is a research effort intended to test the viability of merging SQL data bases with expert systems technology.

Description: The Intelligent Selection of Loop Electronics (ISLE) system is an integrated knowledge-based system that is used to configure, evaluate, and rank possible network carrier equipment known as Digital Loop Carrier (DLC), which will be used to meet the demands of forecasted telephone services. Determining the best carrier systems and carrier architectures, while minimizing the cost, meeting corporate policies and addressing area service demands, has become a formidable task. Network planners and engineers use the ISLE system to assist them in this task of selecting and configuring the appropriate loop electronics equipment for future telephone services. The ISLE application is an integrated system consisting of a knowledge base, implemented in CLIPS (a planner application), C++, and an object database created from existing INGRES database information. The embedibility, performance, and portability of CLIPS provided us with a tool with which to capture, clarify, and refine corporate knowledge and distribute this knowledge within a larger functional system to network planners and engineers throughout U S WEST.

Description: TDA documents determine the personnel strengths for each Army installation. They reflect the number of people required to accomplish a certain mission by various characteristics. U.S. Army Training and Doctrine Command (TRADOC) analysts continuously scrutinize these documents to ensure that they comply with provided guidance. Part of this guidance has been used to develop a set of manual rules. Analysts apply these rules to the TDA to eliminate positions, downgrade positions, or reduce position strength. However, this process is very time consuming. ln addition, human involvement introduces inconsistencies and errors that are difficult to detect later. This paper explains how I represented these rules using the 'C' Language Production System (CLIPS) to develop an expert system that is applied consistently and comprehensively for all TRADOC installations. The TDA System Analyzer reduces the review process from about five days to just twenty minutes; giving the user more time to analyze the results and thereby make better decisions. Furthermore, the user is assured that the rules are applied uniformly to every TDA document. This paper also explains the integration of the TDA System Analyzer into TRADOC's On-Line TDA System. Providing the analyst an extra utility module that can be accessed from a familiar environment.

Description: Nichols Research Corporation is developing the BM/C3 Requirements Analysis Tool (BRAT) for the U.S. Army Strategic Defense Command. BRAT uses embedded CLIPS/Ada to model the decision making processes used by the human commander of a defense system. Embedding CLlPS/Ada in BRAT allows the user to explore the role of the human in Command and Control (C2) and the use of expert systems for automated C2. BRAT models assert facts about the current state of the system, the simulated scenario, and threat information into CLIPS/Ada. A user-defined rule set describes the decision criteria for the commander. We have extended CLIPS/Ada with user-defined functions that allow the firing of a rule to invoke a system action such as weapons release or a change in strategy. The use of embedded CLIPS/Ada will provide a powerful modeling tool for our customer at minimal cost.

Description: When the Macintosh computer was first released, the primary user was a computer hobbyist who typically had a significant technical background and was highly motivated to understand the internal structure and operational intricacies of the computer. In recent years the Macintosh computer has become a widely-accepted general purpose computer which is being used by an ever-increasing non-technical audience. This has lead to a large base of users which has neither the interest nor the background to understand what is happening 'behind the scenes' when the Macintosh is put to use - or what should be happening when something goes wrong. Additionally, the Macintosh itself has evolved from a simple closed design to a complete family of processor platforms and peripherals with a tremendous number of possible configurations. With the increasing popularity of the Macintosh series, software and hardware developers are producing a product for every user's need. As the complexity of configuration possibilities grows, the need for experienced or even expert knowledge is required to diagnose problems. This presents a problem to uneducated or casual users. This problem indicates a new Macintosh consumer need; that is, a diagnostic tool able to determine the problem for the user. As the volume of Macintosh products has increased, this need has also increased.

Description: The importance of the incorporation of various graphics-oriented features into CLIPS is discussed. These popular features, which have been implemented in a version of CLIPS developed for a popular workstation, are described and their usefulness in the development of expert systems is examined.

Description: This paper addresses the question of how to mix CLIPS with graphics and how to overcome PC's memory limitations by using the extended memory available in the computer. By adding graphics and extended memory capabilities, CLIPS can be converted into a complete and powerful system development tool, on the other most economical and popular computer platform. New models of PCs have amazing processing capabilities and graphic resolutions that cannot be ignored and should be used to the fullest of their resources. CLIPS is a powerful expert system development tool, but it cannot be complete without the support of a graphics package needed to create user interfaces and general purpose graphics, or without enough memory to handle large knowledge bases. Now, a well known limitation on the PC's is the usage of real memory which limits CLIPS to use only 640 Kb of real memory, but now that problem can be solved by developing a version of CLIPS that uses extended memory. The user has access of up to 16 MB of memory on 80286 based computers and, practically, all the available memory (4 GB) on computers that use the 80386 processor. So if we give CLIPS a self-configuring graphics package that will automatically detect the graphics hardware and pointing device present in the computer, and we add the availability of the extended memory that exists in the computer (with no special hardware needed), the user will be able to create more powerful systems at a fraction of the cost and on the most popular, portable, and economic platform available such as the PC platform.

Description: This paper addresses an unconventional application of a production system to a problem involving belief specialization. The production system reduces a large quantity of low-level descriptions into just a few higher-level descriptions that encompass the problem space in a more tractable fashion. This classification process utilizes a set of descriptions generated by combining the component hierarchy of a physical system with the semantics of the terminology employed in its operation. The paper describes an application of this process in a program, constructed in C and CLIPS, that classifies signatures of electromechanical system configurations. The program compares two independent classifications, describing the actual and expected system configurations, in order to generate a set of contradictions between the two.

Description: This paper describes a set of extensions made to CLIPS version 4.3 that provide capabilities similar to the blackboard control architecture described by Hayes-Roth. There are three types of additions made to the CLIPS shell. The first extends the syntax to allow the specification of blackboard locations for CLIPS facts. The second implements changes in CLIPS rules and the agenda manager that provide some of the powerful features of the blackboard control architecture. These additions provide dynamic prioritization of rules on the agenda allowing control strategies to be implemented that respond to the changing goals of the system. The final category of changes support the needs of continuous systems, including the ability for CLIPS to continue execution with an empty agenda.

Description: CLIPS is being used as an integral module of a rapid prototyping system. The prototyping system consists of a display manager for object browsing, a graph program for displaying line and bar charts, and a communications server for routing messages between modules. A CLIPS simulation of a physical model provides dynamic control of the user's display. Currently, a project is well underway to prototype the Advanced Automation System (AAS) for the Federal Aviation Administration.

Description: We were motivated to define and build a sophisticated satellite simulation capability for the evaluation at a satellite operations automated environment called IntelliSTAR. This architecture, and associated prototype, addresses the entire spacecraft operations cycle including planning, scheduling, task execution, and analysis. It is aimed at increasing the autonomous capability of current and future spacecraft. It utilizes advanced software techniques to address incomplete and conflicting data for making decisions. It also encompasses critical response time requirements, complex relationships among multiple systems, and dynamically changing objectives. Given the extreme scope of activities that are targeted, a sophisticated, flexible, and dynamic simulation environment was required to drive this prototype. In particular the derived requirements for evaluating the IntelliSTAR prototype include realistic and dynamic environment, easily reconfigurable, and multiple levels of fidelity.

Description: The main objectives are: a model of a replicated system with exact-match voting; a fault model that includes transients; a theorem that establishes the conditions under which the system provides fault tolerance; a formal specification of the model; and a mechanically checked verification of the theorem that is consonant with the journal-level presentation. Formal specification and verification revealed typos in the original report, exposed omission in original proof, led to the stronger theorem and more elegant proof, and confirmed that Enhanced Hierarchical Development Methodology (EHDM) has the capability to specify interesting and useful properties in a direct, natural, and readable manner.

Description: Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probability of system failure due to physical failure; (2) establishing that Design Errors are not present. Methods of design, testing, and analysis of ultra-reliable software are discussed. It is concluded that a design-for-validation based on formal methods is needed for the digital flight control systems problem, and also that formal methods will play a major role in the development of future high reliability digital systems.

Description: The interaction among the three finite element software packages, SDRCI/I-DEAS, MSC/NASTRAN, and I/FEM, used at NASA, Kennedy Space Center is addressed. The procedures for using more than one of these application software packages to model and analyze a structure design are discussed. Design and stress analysis of a solid rocket booster fixture is illustrated by using four different combinations of the three software packages. Their results are compared and show small yet acceptable differences.

Description: The HEAVENS system is a workstation-based collection of software for analyzing, organizing, and viewing software artifacts. As a prototype, the system was used for visualizing source code structure, analyzing dependencies, and reconstructing to simplify maintenance. The system was also used in the early stages of software design to organize and relate design objects, maintain design documentation, and provide ready-made framework for later coding.

Description: AiGerm (Artificially Intelligent Graphical Entity Relation Modeler) is a relational data base query and programming language front end for MCC (Mission Control Center)/STP's (Space Test Program) Germ (Graphical Entity Relational Modeling) system. It is intended as an add-on component of the Germ system to be used for navigating very large networks of information. It can also function as an expert system shell for prototyping knowledge-based systems. AiGerm provides an interface between the programming language and Germ.

Description: Megaprogramming is component-based software engineering and life-cycle management. Magaprogramming and its relationship to other research initiatives (common prototyping system/common prototyping language, domain specific software architectures, and software understanding) are analyzed. The desirable attributes of megaprogramming software components are identified and a software development model and resulting prototype megaprogramming system (library interconnection language extended by annotated Ada) are described.

Description: The current status and future direction of flight critical software are presented in the form of view-graphs. The following subject areas are covered: the programmers environment; Saab Grippen Flight test program; present day tools; analysis tools (reverse engineering); automatic code generators; and future plans.

Description: Durra is a declarative language designed to support application-level programming. The use of Durra is illustrated to describe a simple distributed application: a simulation of a collection of networked vehicle simulators. It is shown how the language is used to describe the application, its components and structure, and how the runtime executive provides for the execution of the application.

Description: Prototyping was shown to ease system specification and implementation, especially in the area of user interfaces. Other prototyping approaches do not allow for the evolution of the prototype into a production system or support maintenance after the system is fielded. A set of goals is presented for a modern user interface environment and Serpent, a prototype implementation that achieves these goals, is described.

Description: Synthesis is a proposed systematic process for rapidly creating different members of a program family. Family members are described by variations in their requirements. Requirements variations are mapped to variations on a standard design to generate production quality code and documentation. The approach is made feasible by using principles underlying design for change. Synthesis incorporates ideas from rapid prototyping, application generators, and domain analysis. The goals of Synthesis and the Synthesis process are discussed. The technology needed and the feasibility of the approach are also briefly discussed. The status of current efforts to implement Synthesis methodologies is presented.

Description: Software inspection is a technical evaluation process for finding and removing defects in requirements, design, code, and tests. Detailed data was collected during the first three years of experience at JPL on 203 inspections. Statistics are discussed for this set of inspections. Included, on a per inspection basis, are averages of: staff time expended, pages covered, major defects found, minor defects found, and inspection team size. Analysis of variance showed a significantly higher density of defects during requirements inspections. It was also observed, that the defect densities found decreased exponentially as the work products approached the coding phase. Increasing the pace of the inspection meeting decreased the density of defects found. This relationship was observed to hold for both major and minor defect densities, although it was more pronounced for minor defects. Guidelines are provided for conducting successful software inspections based upon three years of JPL experience.

Description: The lessons learned and experience gleaned are described by those who have started to implement the reuse metrics and measurement framework used in controlling the development of common avionics and software for its affiliated aircraft programs. The framework was developed to permit the measurement of the long term cost/benefits resulting from the creation and use of Reusable Software Objects (RSOs). The framework also monitors the efficiency and effectiveness of the Software Reuse Library (SRL). The metrics and measurement framework is defined which was established to allow some determinations and findings to be made relative to software reuse. Seven criteria are discussed which were used to guide the establishment of the proposed reuse framework. Object recapture and creation metrics are explained along with their normalized use in effort, productivity, and quality determination. A single and multiple reuse instance version of a popular cost model is presented which uses these metrics and the measurement scheme proposed to predict the software effort and duration under various reuse assumptions. Studies in using this model to predict actuals taken from the RCI data base of over 1000 completed projects is discussed.

Description: Overall, it was revealed that the pattern of Ada reuse has evolved from initial reuse of utility components into reuse of generalized application architectures. Utility components were both domain-independent utilities, such as queues and stacks, and domain-specific utilities, such as those that implement spacecraft orbit and attitude mathematical functions and physics or astronomical models. The level of reuse was significantly increased with the development of a generalized telemetry simulator architecture. The use of Ada generics significantly increased the level of verbatum reuse, which is due to the ability, using Ada generics, to parameterize the aspects of design that are configurable during reuse. A key factor in implementing generalized architectures was the ability to use generic subprogram parameters to tailor parts of the algorithm embedded within the architecture. The use of object oriented design (in which objects model real world entities) significantly improved the modularity for reuse. Encapsulating into packages the data and operations associated with common real world entities creates natural building blocks for reuse.

Description: The Software Cost and Quality Engineering methodology developed over the last two decades at IBM Federal Sector Div. is used to plan the NASA Space Station Data Management System (DMS). An ongoing project to capture this methodology, which is built on a foundation of experiences and lessons learned, has resulted in the development of a PC-based tool that integrates cost and quality forecasting methodologies and data in a consistent manner. This tool, Software Cost and Quality Engineering Starter Set (SCQESS), is being used to assist in the DMS costing exercises. At the same time, DMS planning serves as a forcing function and provides a platform for the continuing, iterative development, calibration, and validation and verification of SCQESS. The data that forms the cost and quality engineering data base is derived from more than 17 years of development of NASA Space Shuttle software, ranging from low criticality, low complexity support tools to highly complex and highly critical onboard software.

Description: Early experiences building a software quality prediction model are discussed. The overall research objective is to establish a capability to project a software system's quality from an analysis of its design. The technical approach is to build multivariate models for estimating reliability and maintainability. Data from 21 Ada subsystems were analyzed to test hypotheses about various design structures leading to failure-prone or unmaintainable systems. Current design variables highlight the interconnectivity and visibility of compilation units. Other model variables provide for the effects of reusability and software changes. Reported results are preliminary because additional project data is being obtained and new hypotheses are being developed and tested. Current multivariate regression models are encouraging, explaining 60 to 80 percent of the variation in error density of the subsystems.

Description: Due to the large number of product, project, and people parameters which impact large custom software development efforts, measurement of software product quality is a complex undertaking. Furthermore, the absolute perspective from which quality is measured (customer satisfaction) is intangible. While we probably can't say what the absolute quality of a software product is, we can determine the relative quality, the adequacy of this quality with respect to pragmatic considerations, and identify good and bad trends during development. While no two software engineers will ever agree on an optimum definition of software quality, they will agree that the most important perspective of software quality is its ease of change. We can call this flexibility, adaptability, or some other vague term, but the critical characteristic of software is that it is soft. The easier the product is to modify, the easier it is to achieve any other software quality perspective. This paper presents objective quality metrics derived from consistent lifecycle perspectives of rework which, when used in concert with an evolutionary development approach, can provide useful insight to produce better quality per unit cost/schedule or to achieve adequate quality more efficiently. The usefulness of these metrics is evaluated by applying them to a large, real world, Ada project.

Description: Managing software development in large organizations has become increasingly difficult due to increasing technical complexity, stricter government standards, a shortage of experienced software engineers, competitive pressure for improved productivity and quality, the need to co-develop hardware and software together, and the rapid changes in both hardware and software technology. The 'software factory' approach to software development minimizes risks while maximizing productivity and quality through standardization, automation, and training. However, in practice, this approach is relatively inflexible when adopting new software technologies. The methods that a large multi-project software engineering organization can use to increase the likelihood of successful software technology insertion (STI), especially in a standardized engineering environment, are described.