Share Email Print
cover

Proceedings Paper

Symbolic Simulation Of Engineering Systems On A Supercomputer
Author(s): Magdi Ragheb; Dennis Gvillo; Henry Makowitz
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

Model-Based Production-Rule systems for analysis are developed for the symbolic simulation of Complex Engineering systems on a CRAY X-MP Supercomputer. The Fault-Tree and Event-Tree Analysis methodologies from Systems-Analysis are used for problem representation and are coupled to the Rule-Based System Paradigm from Knowledge Engineering to provide modelling of engineering devices. Modelling is based on knowledge of the structure and function of the device rather than on human expertise alone. To implement the methodology, we developed a Production-Rule Analysis System that uses both backward-chaining and forward-chaining: HAL-1986. The inference engine uses an Induction-Deduction-Oriented antecedent-consequent logic and is programmed in Portable Standard Lisp (PSL). The inference engine is general and can accommodate general modifications and additions to the knowledge base. The methodologies used will be demonstrated using a model for the identification of faults, and subsequent recovery from abnormal situations in Nuclear Reactor Safety Analysis. The use of the exposed methodologies for the prognostication of future device responses under operational and accident conditions using coupled symbolic and procedural programming is discussed.

Paper Details

Date Published: 26 March 1986
PDF: 7 pages
Proc. SPIE 0635, Applications of Artificial Intelligence III, (26 March 1986); doi: 10.1117/12.964151
Show Author Affiliations
Magdi Ragheb, The University of Illinois at Urbana-Champaign (United States)
Dennis Gvillo, The University of Illinois at Urbana-Champaign (United States)
Henry Makowitz, Cray Research Inc. (United States)


Published in SPIE Proceedings Vol. 0635:
Applications of Artificial Intelligence III
John F. Gilmore, Editor(s)

© SPIE. Terms of Use
Back to Top