Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Rules”

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.

At least 757 records · Page 42

Debugging expert systems using a dynamically created hypertext network

The labor intensive nature of expert system writing and debugging motivated this study. The hypothesis is that a hypertext based debugging tool is easier and faster than one traditional tool, the graphical execution trace. HESDE (Hypertext Expert System Debugging Environment) uses Hypertext nodes and links to represent the objects and their relationships created during the execution of a rule based expert system. HESDE operates transparently on top of the CLIPS (C Language Integrated Production System) rule based system environment and is used during the knowledge base debugging process. During the execution process HESDE builds an execution trace. Use of facts, rules, and their values are automatically stored in a Hypertext network for each execution cycle. After the execution process, the knowledge engineer may access the Hypertext network and browse the network created. The network may be viewed in terms of rules, facts, and values. An experiment was conducted to compare HESDE with a graphical debugging environment. Subjects were given representative tasks. For speed and accuracy, in eight of the eleven tasks given to subjects, HESDE was significantly better.

Boyle, Craig D. B.↗

Knowledge From Pictures (KFP)

The old maxim goes: 'A picture is worth a thousand words'. The objective of the research reported in this paper is to demonstrate this idea as it relates to the knowledge acquisition process and the automated development of an expert system's rule base. A prototype tool, the Knowledge From Pictures (KFP) tool, has been developed which configures an expert system's rule base by an automated analysis of and reasoning about a 'picture', i.e., a graphical representation of some target system to be supported by the diagnostic capabilities of the expert system under development. This rule base, when refined, could then be used by the expert system for target system monitoring and fault analysis in an operational setting. Most people, when faced with the problem of understanding the behavior of a complicated system, resort to the use of some picture or graphical representation of the system as an aid in thinking about it. This depiction provides a means of helping the individual to visualize the bahavior and dynamics of the system under study. An analysis of the picture augmented with the individual's background information, allows the problem solver to codify knowledge about the system. This knowledge can, in turn, be used to develop computer programs to automatically monitor the system's performance. The approach taken is this research was to mimic this knowledge acquisition paradigm. A prototype tool was developed which provides the user: (1) a mechanism for graphically representing sample system-configurations appropriate for the domain, and (2) a linguistic device for annotating the graphical representation with the behaviors and mutual influences of the components depicted in the graphic. The KFP tool, reasoning from the graphical depiction along with user-supplied annotations of component behaviors and inter-component influences, generates a rule base that could be used in automating the fault detection, isolation, and repair of the system.

Truszkowski, Walt↗

Fuzzy based attitude controller for flexible spacecraft with on/off thrusters

A fuzzy-based attitude controller is designed for attitude control of a generic spacecraft with on/off thrusters. The controller is comprised of packages of rules dedicated to addressing different objectives (e.g., disturbance rejection, low fuel consumption, avoiding the excitation of flexible appendages, etc.). These rule packages can be inserted or removed depending on the requirements of the particular spacecraft and are parameterized based on vehicle parameters such as inertia or operational parameters such as the maneuvering rate. Individual rule packages can be 'weighted' relative to each other to emphasize the importance of one objective relative to another. Finally, the fuzzy controller and rule packages are demonstrated using the high-fidelity Space Shuttle Interactive On-Orbit Simulator (IOS) while performing typical on-orbit operations and are subsequently compared with the existing shuttle flight control system performance.

Knapp, Roger Glenn↗

Fuzzy based attitude controller for flexible spacecraft with on/off thrusters

A fuzzy-based attitude controller is designed for attitude control of a generic spacecraft with on/off thrusters. The controller is comprised of packages of rules dedicated to addressing different objectives (e.g., disturbance rejection, low fuel consumption, avoiding the excitation of flexible appendages, etc.). These rule packages can be inserted or removed depending on the requirements of the particular spacecraft and are parameterized based on vehicle parameters such as inertia or operational parameters such as the maneuvering rate. Individual rule packages can be 'weighted' relative to each other to emphasize the importance of one objective relative to another. Finally, the fuzzy controller and rule packages are demonstrated using the high-fidelity Space Shuttle Interactive On-Orbit Simulator (IOS) while performing typical on-orbit operations and are subsequently compared with the existing shuttle flight control system performance.

Knapp, Roger G.↗

Calculation of Compressible Flows past Aerodynamic Shapes by Use of the Streamline Curvature

A simple approximate method is given for the calculation of isentropic irrotational flows past symmetrical airfoils, including mixed subsonic-supersonic flows. The method is based on the choice of suitable values for the streamline curvature in the flow field and the subsequent integration of the equations of motion. The method yields limiting solutions for potential flow. The effect of circulation is considered. A comparison of derived velocity distributions with existing results that are based on calculation to the third order in the thickness ratio indicated satisfactory agreement. The results are also presented in the form of a set of compressibility correction rules that lie between the Prandtl-Glauert rule and the von Karman-Tsien rule (approximately). The different rules correspond to different values of the local shape parameter square root sign YC sub a, in which Y is the ordinate and C sub a is the curvature at a point on an airfoil. Bodies of revolution, completely supersonic flows, and the significance of the limiting solutions for potential flow are also briefly discussed.

Perl, W↗

Aerodynamic Performance and Static Stability and Control of Flat-Top Hypersonic Gliders at Mach Numbers from 0.6 to 18

A study is made of aerodynamic performance and static stability and control at hypersonic speeds. In a first part of the study, the effect of interference lift is investigated by tests of asymmetric models having conical fuselages and arrow plan-form wings. The fuselage of the asymmetric model is located entirely beneath the wing and has a semicircular cross section. The fuselage of the symmetric model was centrally located and has a circular cross section. Results are obtained for Mach numbers from 3 to 12 in part by application of the hypersonic similarity rule. These results show a maximum effect of interference on lift-drag ratio occurring at Mach number of 5, the Mach number at which the asymmetric model was designed to exploit favorable lift interference. At this Mach number, the asymmetric model is indicated to have a lift-drag ratio 11 percent higher than the symmetric model and 15 percent higher than the asymmetric model when inverted. These differences decrease to a few percent at a Mach number of 12. In the course of this part of the study, the accuracy to the hypersonic similarity rule applied to wing-body combinations is demonstrated with experimental results. These results indicate that the rule may prove useful for determining the aerodynamic characteristics of slender configurations at Mach numbers higher than those for which test equipment is really available. In a second part of the study, the aerodynamic performance and static stability and control characteristics of a hypersonic glider are investigated in somewhat greater detail. Results for Mach numbers from 3 to 18 for performance and 0.6 to 12 for stability and control are obtained by standard text techniques, by application of the hypersonic stability rule, and/or by use of helium as a test medium. Lift-drag ratios of about 5 for Mach numbers up to 18 are shown to be obtainable. The glider studied is shown to have acceptable longitudinal and directional stability characteristics through the range of Mach numbers studied. Some roll instability (negative effective dihedral) is found at Mach numbers near 12.

Syvertson, Clarence A↗

Transition flight control room automation

The Workstation Prototype Laboratory is currently working on a number of projects which can have a direct impact on ground operations automation. These projects include: (1) The fuel cell monitoring system (FCMS), which will monitor and detect problems with the fuel cells on the shuttle. FCMS will use a combination of rules (forward/backward) and multithreaded procedures, which run concurrently with the rules, to implement the malfunction algorithms of the EGIL flight controllers. The combination of rule-based reasoning and procedural reasoning allows us to more easily map the malfunction algorithms into a real-time system implementation. (2) A graphical computation language (AGCOMPL) is an experimental prototype to determine the benefits and drawbacks of using a graphical language to design computations (algorithms) to work on shuttle or space station telemetry and trajectory data. (3) The design of a system will allow a model of an electrical system, including telemetry sensors, to be configured on the screen graphically using previously defined electrical icons. This electrical model would then be used to generate rules and procedures for detecting malfunctions in the electrical components of the model. (4) A generic message management (GMM) system is being designed for real-time applications as a message management system which sends advisory messages to a user. The primary purpose of GMM is to reduce the risk of overloading a user with information when multiple failures occur and to assist the developer in the devising an explanation facility. The emphasis of our work is to develop practical tools and techniques, including identification of appropriate software tools to support research, application, and tool building activities, while determining the feasibility of a given approach.

Welborn, Curtis Ray↗

TARGET's role in knowledge acquisition, engineering, validation, and documentation

We investigate the use of the TARGET task analysis tool for use in the development of rule-based expert systems. We found TARGET to be very helpful in the knowledge acquisition process. It enabled us to perform knowledge acquisition with one knowledge engineer rather than two. In addition, it improved communication between the domain expert and knowledge engineer. We also found it to be useful for both the rule development and refinement phases of the knowledge engineering process. Using the network in these phases required us to develop guidelines that enabled us to easily translate the network into production rules. A significant requirement for TARGET remaining useful throughout the knowledge engineering process was the need to carefully maintain consistency between the network and the rule representations. Maintaining consistency not only benefited the knowledge engineering process, but also has significant payoffs in the areas of validation of the expert system and documentation of the knowledge in the system.

Levi, Keith R.↗

The search for brown dwarfs with infrared surveys

Infrared Astronomy Satellite (IRAS), ISO, Space Infrared Telescope Facility (SIRTF), WIRE, Deep Near-Infrared Survey (DENIS), and Two Micron All-Sky Survey (2MASS) observations were used to compute the maximum number of observable brown dwarfs for various infrared surveys by combining the maximum possible Oort limit (0.1 'missing' solar mass p/cu c) with all possible brown dwarf mass and age distributions. This approach shows what limits will be placed on the contribution of brown dwarfs to any possible 'missing mass' if no brown dwarfs are observed. I consider brown dwarfs with masses of 0.01-0.08 solar mass and ages of 10(exp 9)-10(exp 10) years. The full range of predicted numbers of brown dwarfs above approx. 6 times the noise of each of the below surveys is: IRAS Point Source Catalog, 0.02-6; IRAS Faint Source Catalog absolute value of b greater than 10 deg, 0.05-16; ISO (2 week 12 micrometer survey), 0.15-80; SIRTF (2 week 12 micrometer survey), 2.50-1600; WIRE (4 month 12 micrometer survey), 21.80-6000; DENIS(half sky) absolute value of b greater than 10 deg, 0.00-2000; and 2MASS(full sky) absolute value of b greater than 10 deg, 0.00-8800. A failure to find brown dwarfs in the IRAS FSC would just barely rule out about half of the mass-age range for Oort limit total masses. A failure to find brown dwarfs in 2MASS/DENIS would rule out roughly the same mass-age range, but would set a limit of 0.1-0.01 times the Oort mass in that mass-age region. No limits would be set for the other half of the mass-age range since both IRAS and 2MASS/DENIS have insufficient sensitivity for brown dwarfs with T less than 750 K. A failure to find brown dwarfs with ISO would rule out almost all of the mass-age range for Oort limit total masses, but would not set a significantly lower limit to the brown dwarf mass limit. A failure to find brown dwarfs with SIRTF or WIRE would rule out the entire mass-age range for Oort limit total masses and set an upper limit of 0.1-0.001 times the Oort mass. To date, about 18% of the IRAS FSC has been searched down to 6 sigma, and no brown dwarfs have been found. This sets a 95% upper limit of 3 in 18% of the sky, or 13 in the entire FSC for absolute value b greater than 10 deg. To begin to set useful limits from 2MASS or DENIS, approximately 400 square degrees needs to be analyzed. To date, only a few square degrees of results from the 2MASS prototype camera have been examined, with no brown dwarfs found so far.

Chester, T. J.↗

Development of a climatological data base to help forecast cloud cover conditions for shuttle landings at the Kennedy Space Center

The Space Shuttle is an extremely weather sensitive vehicle with very restrictive constraints for both launches and landings. The most important difference between Shuttle and normal aircraft landings is that the Shuttle has no go-around capability once it begins its decent into the earth's atmosphere. The de-orbit burn decision is generally made approximately 90 minutes before landing requiring a forecast with little room for error. Because of the Shuttle's rapid re-entry to earth, the pilot must be able to see all runway and visual navigation aids from high altitude to land the Shuttle. In addition, the heat resistant tiles which are used to protect the Shuttle during its re-entry into the earth's atmosphere are extremely sensitive to any type of precipitation. Extensive damage to these tiles could occur if the Shuttle passes through any cloud that contains precipitation size particles. To help guard against changing weather conditions or any type of weather problems that might occur prior to landing, flight rules have been developed as guidelines for all landings. Although the rules vary depending on the location of the landing (Kennedy Space Center or Edwards AFB), length of mission, and weight of vehicle, most of the rules can be condensed into 4 major groupings. These are: (1) Cloud ceilings should not be less than 3048 m (10,000 feet), (2) Visibility should not be less than 13 km (7 nm), (3) Cross-wind no greater than 5-8 m/s (10-15 knots); and (4) No showers or thunderstorms at or within 56 km (30 nm) of the Shuttle Landing Facility. This study consisted of developing a climatological database of the Shuttle Landing Facility (SLF) surface observations and performing an analysis of observed conditions one and two hours subsequent to given conditions at the SLF to help analyze the 0.2 cloud cover rule. Particular emphasis was placed on Shuttle landing weather violations and the amounts of cloud cover below 3048 m (10,000 ft.). This analysis has helped to determine the best and worst times to land the Shuttle at KSC. In addition, nomograms have been developed to help forecasters make cloud cover forecasts for End of Mission (EOM) and Return to Launch Site (RTLS) at KSC. Results of categorizing this data by month, season, time of day, and surface and upper-air wind direction are presented.

Atchison, M. Kevin↗

The Table of Distribution and Allowances (TDA) system analyzer

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.

Mack, John F.↗

An object oriented generic controller using CLIPS

In today's applications, the need for the division of code and data has focused on the growth of object oriented programming. This philosophy gives software engineers greater control over the environment of an application. Yet the use of object oriented design does not exclude the need for greater understanding by the application of what the controller is doing. Such understanding is only possible by using expert systems. Providing a controller that is capable of controlling an object by using rule-based expertise would expedite the use of both object oriented design and expert knowledge of the dynamic of an environment in modern controllers. This project presents a model of a controller that uses the CLIPS expert system and objects in C++ to create a generic controller. The polymorphic abilities of C++ allow for the design of a generic component stored in individual data files. Accompanying the component is a set of rules written in CLIPS which provide the following: the control of individual components, the input of sensory data from components and the ability to find the status of a given component. Along with the data describing the application, a set of inference rules written in CLIPS allows the application to make use of sensory facts and status and control abilities. As a demonstration of this ability, the control of the environment of a house is provided. This demonstration includes the data files describing the rooms and their contents as far as devices, windows and doors. The rules used for the home consist of the flow of people in the house and the control of devices by the home owner.

Nivens, Cody R.↗

Machine Learning Techniques in Optimal Design

Many important applications can be formalized as constrained optimization tasks. For example, we are studying the engineering domain of two-dimensional (2-D) structural design. In this task, the goal is to design a structure of minimum weight that bears a set of loads. A solution to a design problem in which there is a single load (L) and two stationary support points (S1 and S2) consists of four members, E1, E2, E3, and E4 that connect the load to the support points is discussed. In principle, optimal solutions to problems of this kind can be found by numerical optimization techniques. However, in practice [Vanderplaats, 1984] these methods are slow and they can produce different local solutions whose quality (ratio to the global optimum) varies with the choice of starting points. Hence, their applicability to real-world problems is severely restricted. To overcome these limitations, we propose to augment numerical optimization by first performing a symbolic compilation stage to produce: (a) objective functions that are faster to evaluate and that depend less on the choice of the starting point and (b) selection rules that associate problem instances to a set of recommended solutions. These goals are accomplished by successive specializations of the problem class and of the associated objective functions. In the end, this process reduces the problem to a collection of independent functions that are fast to evaluate, that can be differentiated symbolically, and that represent smaller regions of the overall search space. However, the specialization process can produce a large number of sub-problems. This is overcome by deriving inductively selection rules which associate problems to small sets of specialized independent sub-problems. Each set of candidate solutions is chosen to minimize a cost function which expresses the tradeoff between the quality of the solution that can be obtained from the sub-problem and the time it takes to produce it. The overall solution to the problem, is then obtained by solving in parallel each of the sub-problems in the set and computing the one with the minimum cost. In addition to speeding up the optimization process, our use of learning methods also relieves the expert from the burden of identifying rules that exactly pinpoint optimal candidate sub-problems. In real engineering tasks it is usually too costly to the engineers to derive such rules. Therefore, this paper also contributes to a further step towards the solution of the knowledge acquisition bottleneck [Feigenbaum, 1977] which has somewhat impaired the construction of rulebased expert systems.

Cerbone, Giuseppe↗

Free Flight and Self-Separation from the Flight Deck Perspective

The concept of "free flight", while still being developed, is intended to emphasize more, flexibility for operators in the National Airspace System (NAS) by providing more separation responsibility to pilots, New technologies, procedures, and concepts have been suggested by the aviation community to enable this task; however, much work needs to be accomplished to help define and evaluate the concept feasibility. The purpose of this simulation was to begin examining some of the communication and procedural issues associated with self-separation in the enroute environment. A simulation demonstration was conducted in the Boeing 747-400 simulator at NASA Ames Research Center. Commercial pilots (from a U.S. domestic carrier) current on the B747-400 aircraft were the participants. Ten flight crews (10 captains, 10 first officers) flew in the Denver enroute airspace environment. A new alerting logic designed to allow for airborne self-separation was created for this demonstration. This logic assumes automatic dependent surveillance broadcast (ADS-B) capability and represented aircraft up to 120 nautical miles on the display. The new flight deck display features were designed and incorporated on the existing navigational display in the simulator to allow for increased traffic and maneuvering information to the flight crew. New tools were also provided to allow the crews to assess conflicts and potential maneuvers before implementing them. Each of the flight crews flew eight different scenarios in the Denver enroute airspace. The scenarios included eight to ten other aircraft, and each scenario was created with the intent of having one of the other aircraft become an operational conflict for our simulator aircraft. Different types of conflict geometries were represented across the eight scenarios. Also, some scenarios allowed for more time to detect a potential clearance, while others allowed for less time for'detection. Additionally, the crews were asked to a ply the Visual Flight Rules (VFR) right of way rules when determining who should maneuver in a conflict situation; therefore, the scenarios were designed to test different applications of those recommendations, Data analyses include an evaluation of crew procedures and communication. The application of the VFR right-of-way rules are being explored. Timing variables are being examined to determine potential efficiency differences between scenarios and conflict types. Proximity of aircraft will be assessed as one indication of the operational safety. The intent of these evaluations is to help provide definitions and guidelines of negotiation procedures in a self-separation environment assuming automated data link technology (ADS-B). Also, definitions of likely flight crew maneuvers and application to current VFR right-of-way rules may be obtained, along with guidelines for negotiation procedures between flight crews.

Lozito, Sandra↗

Analysis of Autopilot Behavior

Aviation and cognitive science researchers have identified situations in which the pilot's expectations for behavior of autopilot avionics are not matched by the actual behavior of the avionics. These "automation surprises" have been attributed to differences between the pilot's model of the behavior of the avionics and the actual behavior encoded in the avionics software. A formal technique is described for the analysis and measurement of the behavior of the cruise pitch modes of a modern Autopilot. The analysis characterizes the behavior of the Autopilot as situation-action rules. The behavior of the cruise pitch mode logic for a contemporary modern Autopilot was found to include 177 rules, including Level Change (23), Vertical Speed (16), Altitude Capture (50), and Altitude Hold (88). These rules are determined based on the values of 62 inputs. Analysis of the rule-based model also shed light on the factors cited in the literature as contributors to "automation surprises."

Sherry, Lance↗

Molnets: An Artificial Chemistry Based on Neural Networks

The fundamental problem in the evolution of matter is to understand how structure-function relationships are formed and increase in complexity from the molecular level all the way to a genetic system. We have created a system where structure-function relationships arise naturally and without the need of ad hoc function assignments to given structures. The idea was inspired by neural networks, where the structure of the net embodies specific computational properties. In this system networks interact with other networks to create connections between the inputs of one net and the outputs of another. The newly created net then recomputes its own synaptic weights, based on anti-hebbian rules. As a result some connections may be cut, and multiple nets can emerge as products of a 'reaction'. The idea is to study emergent reaction behaviors, based on simple rules that constitute a pseudophysics of the system. These simple rules are parameterized to produce behaviors that emulate chemical reactions. We find that these simple rules show a gradual increase in the size and complexity of molecules. We have been building a virtual artificial chemistry laboratory for discovering interesting reactions and for testing further ideas on the evolution of primitive molecules. Some of these ideas include the potential effect of membranes and selective diffusion according to molecular size.

Colombano, Silvano↗

Transition Flight Control Room Automation

The Workstation Prototype Laboratory is currently working on a number of projects which we feel can have a direct impact on ground operations automation. These projects include: The Fuel Cell Monitoring System (FCMS), which will monitor and detect problems with the fuel cells on the Shuttle. FCMS will use a combination of rules (forward/backward) and multi-threaded procedures which run concurrently with the rules, to implement the malfunction algorithms of the EGIL flight controllers. The combination of rule based reasoning and procedural reasoning allows us to more easily map the malfunction algorithms into a real-time system implementation. A graphical computation language (AGCOMPL). AGCOMPL is an experimental prototype to determine the benefits and drawbacks of using a graphical language to design computations (algorithms) to work on Shuttle or Space Station telemetry and trajectory data. The design of a system which will allow a model of an electrical system, including telemetry sensors, to be configured on the screen graphically using previously defined electrical icons. This electrical model would then be used to generate rules and procedures for detecting malfunctions in the electrical components of the model. A generic message management (GMM) system. GMM is being designed as a message management system for real-time applications which send advisory messages to a user. The primary purpose of GMM is to reduce the risk of overloading a user with information when multiple failures occurs and in assisting the developer in devising an explanation facility. The emphasis of our work is to develop practical tools and techniques, while determining the feasibility of a given approach, including identification of appropriate software tools to support research, application and tool building activities.

Welborn, Curtis Ray↗

Deriving Laws from Ordering Relations

It took much effort in the early days of non-Euclidean geometry to break away from the mindset that all spaces are flat and that two distinct parallel lines do not cross. Up to that point, all that was known was Euclidean geometry, and it was difficult to imagine anything else. We have suffered a similar handicap brought on by the enormous relevance of Boolean algebra to the problems of our age-logic and set theory. Previously, I demonstrated that the algebra of questions is not Boolean, but rather is described by the free distributive algebra. To get to this stage took much effort, as many obstacles-most self-placed-had to be overcome. As Boolean algebras were all I had ever known, it was almost impossible for me to imagine working with an algebra where elements do not have complements. With this realization, it became very clear that the sum and product rules of probability theory at the most basic level had absolutely nothing to do with the Boolean algebra of logical statements. Instead, a measure of degree of inclusion can be invented for many different partially ordered sets, and the sum and product rules fall out of the associativity and distributivity of the algebra. To reinforce this very important idea, this paper will go over how these constructions are made, while focusing on the underlying assumptions. I will derive the sum and product rules for a distributive lattice in general and demonstrate how this leads to probability theory on the Boolean lattice and is related to the calculus of quantum mechanical amplitudes on the partially ordered set of experimental setups. I will also discuss the rules that can be derived from modular lattices and their relevance to the cross-ratio of projective geometry.

Knuth, Kevin H.↗