SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Information on an expert system for imaging spectrometer analysis results is outlined. Implementation requirements, the Simple Tool for Automated Reasoning (STAR) program that provides a software environment for the development and operation of rule-based expert systems, STAR data structures, and rule-based identification of surface materials are among the topics outlined.
Most state of the art expert system environments contain a single and often ad hoc strategy for approximate reasoning. Some environments provide facilities to program the approximate reasoning algorithms. However, the next generation of expert systems should have an environment which contain a choice of several mathematical algorithms for approximate reasoning. To meet the need for validatable and verifiable coding, the expert system environment must no longer depend upon ad hoc reasoning techniques but instead must include mathematically rigorous techniques for approximate reasoning. Popular approximate reasoning techniques are reviewed, including: certainty factors, belief measures, Bayesian probabilities, fuzzy logic, and Shafer-Dempster techniques for reasoning. A group of mathematically rigorous algorithms for approximate reasoning are focused on that could form the basis of a next generation expert system environment. These algorithms are based upon the axioms of set theory and probability theory. To separate these algorithms for approximate reasoning various conditions of mutual exclusivity and independence are imposed upon the assertions. Approximate reasoning algorithms presented include: reasoning with statistically independent assertions, reasoning with mutually exclusive assertions, reasoning with assertions that exhibit minimum overlay within the state space, reasoning with assertions that exhibit maximum overlay within the state space (i.e. fuzzy logic), pessimistic reasoning (i.e. worst case analysis), optimistic reasoning (i.e. best case analysis), and reasoning with assertions with absolutely no knowledge of the possible dependency among the assertions. A robust environment for expert system construction should include the two modes of inference: modus ponens and modus tollens. Modus ponens inference is based upon reasoning towards the conclusion in a statement of logical implication, whereas modus tollens inference is based upon reasoning away from the conclusion. These algorithms allow one to reason accurately with uncertain data. The above environment can replicate state-f-the-art expert system environments which provides a continuity between the current expert systems which cannot be validated or verified and future expert systems which should be both validated and verified
This status paper reviews the experimental ground test program of the High Alpha Technology Program (HATP). The reasons for conducting this ground test program had their origins during the 1970's when several difficulties were experienced during the development programs of both the F-18 and F-16. A careful assessment of ground test to flight correlations appeared to be important for reestablishing a high degree of confidence in our ground test methodology. The current paper will then focus on one aspect of the HATP program that is intended to improve the correlation between ground test and flight, high-alpha gritting. The importance of this work arises from the sensitivity of configurations with smooth-sided forebodies to Reynolds number. After giving examples of the effects of Reynolds number, the paper will highlight efforts at forebody gritting. Finally, the paper will conclude by summarizing the charter of the HATP Experimental Aerodynamics Working Group and future experimental testing plans.
This paper is concerned with electromagnetic losses in metallized films used for inflatable reflectors. An inflatable membrane is made of tough elastic material such as Kapton, and it is not electromagnetically reflective by design. A film of conducting metal is added to the membrane to enhance its reflective properties. Since the impetus for use of inflatables for spacecraft is the light weight and compact packaging, it is important that the metal film be as thin as possible. However, if the material is not conductive or thick enough, the radiation due to the emissivity of the reflector could be a significant part of the radiation gathered by the radiometer. The emissivity would be of little consequence to a radar or solar collector; but for a radiometer whose signal is composed of thermal radiation, this contribution could be severe. Bulk properties of the metal film cannot be used to predict its loss. For this reason, a program of analysis and measurement was undertaken to determine the emissivities of a number of candidate metallized film reflectors. This paper describes the three types of measurements which were performed on the metallized thin films: (1) a network analyzer system with an L-band waveguide; (2) an S-band radiometer; and (3) a network analyzer system with a C-band antenna free-space transmission system.
A series of satellite and terrestrial propagation measurements were conducted on 15 and 16 Dec. 1994 in the vicinity of the Jet Propulsion Laboratory (JPL), Pasadena, California, in support of the VOA/JPL DBS-Radio Program. The reason for including terrestrial measurements was the possible use of terrestrial boosters to improve reception in some satellite digital audio broadcasting system service areas. The signal sources used were the NASA TDRS satellite located at 171 degrees West and a terrestrial transmitter located on a high point on JPL property. Both signals were unmodulated carriers near 2.05 GHz, spaced a few kHz apart so that both could be received simultaneously by a single receiver. An unmodulated signal was used in order to maximize the dynamic range of the signal strength measurement. A range of greater than 35 dB was achieved with the satellite signal, and over 50 dB was achieved with the terrestrial signal measurements. Three test courses were used to conduct the measurements: (1) a 33 km round trip drive from JPL through Pasadena was used to remeasure the propagation of the satellite signal over the path previously used in DBS-Radio experiments in mid 1994. A shortened portion of this test course, approximately 20 km, was used to measure the satellite and terrestrial signals simultaneously; (2) a 9 km round trip drive through JPL property, going behind buildings and other obstacles, was used to measure the satellite and terrestrial signals simultaneously; and (3) a path through one of the buildings at JPL, hand carrying the receiver, was also used to measure the satellite and terrestrial signals simultaneously.
The computer program SHABERTH was used to analyze 35-mm-bore cylindrical roller bearings designed and manufactured for high-speed turbomachinery applications. Parametric tests of the bearings were conducted on a high-speed, high-temperature bearing tester and the results were compared with the computer predictions. Bearings with a channeled inner ring were lubricated through the inner ring, while bearings with a channeled outer ring were lubricated with oil jets. Tests were run with and without outer-ring cooling. The predicted bearing life decreased with increasing speed because of increased contact stresses caused by centrifugal load. Lower temperatures, less roller skidding, and lower power losses were obtained with channeled inner rings. Power losses calculated by the SHABERTH computer program correlated reasonably well with the test results. The Parker formula for XCAV (used in SHABERTH as a measure of oil volume in the bearing cavity) needed to be adjusted to reflect the prevailing operating conditions. The XCAV formula will need to be further refined to reflect roller bearing lubrication, ring design, cage design, and location of the cage-controlling land.
I am struck by how often failure is blamed on a lack of discipline. You often hear losing coaches cite this as the reason for a big loss. I don't recall the last time I heard one say that his team lost a game because of his players' lack of skill. I think a breakdown in discipline is also one of the key reasons why program and project management teams fail to meet expectations. The first program I ever managed had a clear set of priorities. I understood the mandate, and so did everyone else on the team. We set an ambitious schedule and started to work fervently. Not too long into the program the customer wanted to know what performance he was going to get. I replied by categorizing the performance parameters into three bins: 1. Performance you will get. 2. Performance you may get. 3. Performance that there's no way you will get. Did that cause an uproar. The customer demanded everything in the second bin be moved to the first, and most everything in the third bin moved to the second. My immediate impulse was to agree, but I managed to overcome that. In my heart, I knew that we would never meet the already ambitious schedule if we had to deliver more performance. No was my answer. The program turned out to be a huge success, but the result would have been largely different had senior management or I failed to maintain discipline.
This paper will review lessons learned for space transportation systems from the viewpoint of the NASA, Industry and academia Space Propulsion Synergy Team (SPST). The paper provides the basic idea and history of "lessons learned". Recommendations that are extremely relevant to NASA's future investments in research, program development and operations are"'provided. Lastly, a novel and useful approach to documenting lessons learned is recommended, so as to most effectively guide future NASA investments. Applying lessons learned can significantly improve access to space for cargo or people by focusing limited funds on the right areas and needs for improvement. Many NASA human space flight initiatives have faltered, been re-directed or been outright canceled since the birth of the Space Shuttle program. The reasons given at the time have been seemingly unique. It will be shown that there are common threads as lessons learned in many a past initiative.
The Vehicle Integrated Prognostics Reasoner (VIPR) program describes methods for enhanced diagnostics as well as a prognostic extension to current state of art Aircraft Diagnostic and Maintenance System (ADMS). VIPR introduced a new anomaly detection function for discovering previously undetected and undocumented situations, where there are clear deviations from nominal behavior. Once a baseline (nominal model of operations) is established, the detection and analysis is split between on-aircraft outlier generation and off-aircraft expert analysis to characterize and classify events that may not have been anticipated by individual system providers. Offline expert analysis is supported by data curation and data mining algorithms that can be applied in the contexts of supervised learning methods and unsupervised learning. In this report, we discuss efficient methods to implement the Kolmogorov complexity measure using compression algorithms, and run a systematic empirical analysis to determine the best compression measure. Our experiments established that the combination of the DZIP compression algorithm and CiDM distance measure provides the best results for capturing relevant properties of time series data encountered in aircraft operations. This combination was used as the basis for developing an unsupervised learning algorithm to define "nominal" flight segments using historical flight segments.
A report presents a study of five modeling and diagnostic computer programs considered for use in an integrated vehicle health management (IVHM) system during testing of liquefying-fuel hybrid rocket engines in the Hybrid Combustion Facility (HCF) at NASA Ames Research Center. Three of the programs -- TEAMS, L2, and RODON -- are model-based reasoning (or diagnostic) programs. The other two programs -- ICS and IMS -- do not attempt to isolate the causes of failures but can be used for detecting faults. In the study, qualitative models (in TEAMS and L2) and quantitative models (in RODON) having varying scope and completeness were created. Each of the models captured the structure and behavior of the HCF as a physical system. It was noted that in the cases of the qualitative models, the temporal aspects of the behavior of the HCF and the abstraction of sensor data are handled outside of the models, and it is necessary to develop additional code for this purpose. A need for additional code was also noted in the case of the quantitative model, though the amount of development effort needed was found to be less than that for the qualitative models.
Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to express very high level abstract requirements that a program or system is to satisfy. Based on experience with those primitives, this report describes an Interval Logic that is more suitable for expressing such higher level temporal properties. The report provides a formal semantics for the Interval Logic, and several examples of its use. A description of decision procedures for the logic is also included.
Lava flows are the visible expression of the extrusion of volcanic materials on a variety of planetary surfaces. A computer program described by Ishihara et al. appears to be well suited for application to different environments, and we have undertaken tests to evaluate their approach. Our results are somewhat mixed; the program does reproduce reasonable lava flow behavior in many situations, but we have encountered some conditions common to planetary environments for which the current program is inadequate. Here we present our initial efforts to identify the 'parameter space' for reasonable numerical simulations of lava flows.
The complexities of turbine engine blade vibration are compounded by blade geometry, temperature gradients, and rotational speeds. Experience indicates that dynamics analysis using the finite element approach provides an effective means for predicting vibration characteristics of compressor and turbine blades whose geometry may be irregular, have curved boundaries, and be subjected to high temperatures and speeds. The NASTRAN program was chosen to help analyze the dynamics of normal modes, rotational stiffening and thermal effects on the normal modes, and forced responses. The program has produced reasonable success. This paper presents the analytical procedures and the NASTRAN results, in comparison with a conventional beam element program and laboratory data.
Expert system software programs, also known as knowledge-based systems, are computer programs that emulate the knowledge and analytical skills of one or more human experts, related to a specific subject. SHINE (Spacecraft Health Inference Engine) is one such program, a software inference engine (expert system) designed by NASA for the purpose of monitoring, analyzing, and diagnosing both real-time and non-real-time systems. It was developed to meet many of the Agency s demanding and rigorous artificial intelligence goals for current and future needs. NASA developed the sophisticated and reusable software based on the experience and requirements of its Jet Propulsion Laboratory s (JPL) Artificial Intelligence Research Group in developing expert systems for space flight operations specifically, the diagnosis of spacecraft health. It was designed to be efficient enough to operate in demanding real time and in limited hardware environments, and to be utilized by non-expert systems applications written in conventional programming languages. The technology is currently used in several ongoing NASA applications, including the Mars Exploration Rovers and the Spacecraft Health Automatic Reasoning Pilot (SHARP) program for the diagnosis of telecommunication anomalies during the Neptune Voyager Encounter. It is also finding applications outside of the Space Agency.
Hydrogen cooled, turbine powered space weapon systems require a relatively simple, but reasonably accurate hydrogen gas expansion turbine model. Such a simplified turbine model would require little computational time and allow incorporation into system level computer programs while providing reasonably accurate volume/mass estimates. This model would then allow optimization studies to be performed on multiparameter space power systems and provide improved turbine mass and size estimates for the various operating conditions (when compared to empirical and power law approaches). An axial flow gas expansion turbine model was developed for these reasons and is in use as a comparative bench mark in space power system studies at Sandia. The turbine model is based on fluid dynamic, thermodynamic, and material strength considerations, but is considered simplified because it does not account for design details such as boundary layer effects, shock waves, turbulence, stress concentrations, and seal leakage. Although the basic principles presented here apply to any gas or vapor axial flow turbine, hydrogen turbines are discussed because of their immense importance on space burst power platforms.
A computer program has been developed that analyzes Deep Space Network monitor data, looking for changes of trends in critical parameters. This program represents a significant improvement over the previous practice of manually plotting data and visually inspecting the resulting graphs to identify trends. This program uses proven numerical techniques to identify trends. When a statistically significant trend is detected, then it is characterized by means of a symbol that can be used by pre-existing model-based reasoning software. The program can perform any of the following functions: Given an expectation that data in a given list should exhibit an upward, downward, constant, or unknown trend, it can determine whether the data do or do not follow such a trend. Given a list of data, it can identify which of the aforementioned trends the data follow. Given two lists of data, it can determine whether or not both follow the same trend. This program can be executed on a variety of computers. It can be distributed in either source code or binary code form. It must be run in conjunction with any one of a number of Lisp compilers that are available commercially or as shareware.
Existing satellite concepts of operation depend on readily available experts and are extremely manpower intensive. Areas of expertise required include mission planning, mission data interpretation, telemetry monitoring, and anomaly resolution. The concepts of operation have envolved to their current state in part because space systems have tended to be treated more as research and development assets rather than as operational assets. These methods of satellite command and control will be inadequate in the future because of the availability, survivability, and capability of human experts. Because space systems have extremely high reliability and limited access, they offer challenges not found in other military systems. Thus, automation techniques used elsewhere are not necessarily applicable to space systems. A program to make satellites much more autonomous has been developed, using a variety of advanced software techniques. The problem the program is addressing, some possible solutions, the goals of the Rome Air Development Center (RADC) program, the rationale as to why the goals are reasonable, and the current program status are discussed. Also presented are some of the concepts used in the program and how they differ from more traditional approaches.
The Systems Modeling Language (SysML) has found wide acceptance as a standard graphical notation for the domain of systems engineering. SysML subsets and extends the Unified Modeling Language (UML) to define conventions for expressing structural, behavioral, and analytical elements, and relationships among them. SysML-enabled modeling tools are available from multiple providers, and have been used for diverse projects in military aerospace, scientific exploration, and civil engineering. The Web Ontology Language (OWL) has found wide acceptance as a standard notation for knowledge representation. OWL-enabled modeling tools are available from multiple providers, as well as auxiliary assets such as reasoners and application programming interface libraries, etc. OWL has been applied to diverse projects in a wide array of fields. While the emphasis in SysML is on notation, SysML inherits (from UML) a semantic foundation that provides for limited reasoning and analysis. UML's partial formalization (FUML), however, does not cover the full semantics of SysML, which is a substantial impediment to developing high confidence in the soundness of any conclusions drawn therefrom. OWL, by contrast, was developed from the beginning on formal logical principles, and consequently provides strong support for verification of consistency and satisfiability, extraction of entailments, conjunctive query answering, etc. This emphasis on formal logic is counterbalanced by the absence of any graphical notation conventions in the OWL standards. Consequently, OWL has had only limited adoption in systems engineering. The complementary strengths and weaknesses of SysML and OWL motivate an interest in combining them in such a way that we can benefit from the attractive graphical notation of SysML and the formal reasoning of OWL. This paper describes an approach to achieving that combination.