BoilerModel : a qualitative model-based reasoning system implemented in Ada. PDF
Preview BoilerModel : a qualitative model-based reasoning system implemented in Ada.
NAVAL POSTGRADUATE SCHOOL Monterey, California THESIS BOILERMODEL: A QUALITATIVE MODEL-BASED REASONING SYSTEM IMPLEMENTED ADA IN by James F. Stascavage September 1991 Thesis Advisor: Prof. Yuh-jeng Lee Approved forpublic release; distribution is unlimited. T258735 SECURITYCLASSIFICATIONOFTHISPAGE REPORT DOCUMENTATION PAGE 1a. REPORTSECURITYCLASSIFICATION UNCLASSIFIED* 1b. RESTRICTIVE MARKINGS 2a SECURITYCLASSIFICATIONAUTHORITY 3. DISTRIBUTION/AVAILABILITYOF REPORT Approvedforpublic release; 2b. dECLASSIFICATION/dOWNgRAdINgSCHEDULE distribution is unlimited 4. PERFORMINGORGANIZATION REPORTNUMBER(S) 5. MONITORINGORGANIZATION REPORTNUMBER(S) 6a. NAMEOF PERFORMINGORGANIZATION 6b.OFFICE SYMBOL 7a. nameof; MONITORINGORGANIZATION Computer ScienceDept. (ifapplicable) Naval Postgraduate School cs Naval Postgraduate School 6c.ADDRESS(City, State,andZIPCode) 7b. ADDRESS(City, State,andZIPCode) Monterey, CA 93943-5000 Monterey, CA 93943-5000 ea.ONRAGMAENIOZFATFIUONNDING/SPONSORING eb.O(FifFaIpCplEic5abVlMe)BOL 6. PROCUREMENT INSTRUMENT IDENTIFICATION NUMBER 8c. ADDRESS(City, State,andZIPCode) P16R.OSGORUARMCE OF FUPNrDoIjNEGCNTUMBERSTSSTT WORK UNIT ELEMENT NO. NO. NO. ACCESSION NO. B11O. TIITLLEER(IMncOludDeESeLcu:ritAyClQasUsiAfiLcaItioTn)ATIVEMODEL-BASEDREASONING SYSTEMIMPLEMENTED IN ADA (U) PERSONALAUTHOR/5) Stft.ascavage, James F. 15a.TYPEOF REPORT 13b. TIMECOVERED 14. DATEOFREPORT(Year, Month, Day) 15. PAGE COUNT Master's Thesis FROM. 09/89 TOJ)0<2£ September 1991 142 16. supplementary notation Tne views expressseeddiin this thesis are those Of the author and do no the official policy orposition ofthe Department ofDefense or theUnited States Government. 17. COSATI CODES 18.SUBJECTTERMS(Continueonreverseifnecessaryandidentifybyblocknumber) Model-based Reasoning, Qualitative Modeling, Naval Engineering, FIELD GROUP SUB-GROUP Naval Training, Ada in Artificial Intelligence 19.ABSTRACT(Continueonreverseifnecessaryandidentifybyblocknumber} Effective, inexpensive, and realistic on-going training is required to keep all Naval personnel proficient in their fields. Nowhere is this more true than in steam propulsion engineering plants. The complex systems ofvalves, pip- ing, and components require continual refresherfor watchstanders to perform theirjobs safely. BoilerModel is a qualitative expert system designed using model-basedreasoning principles andimplementedin Ada. It accurately models a 1200psiD-type boilerandits associatedperipherals. The useoffundamental intra-com- ponentrelationships ("firstprinciples") andconstraintpropagationresultincompactcodebecausethereisnoneedfor the extensive rule base found in conventional expert systems. Implementation in Adapermits the use ofconcurrent tasking to simulate simultaneous valve propagation found in real-world boilersystems. Additionally Ada's portabil- ity allows BoilerModel to be compiled andrun on virtually any machine, thereby making it an affordable and attrac- tive complement to shipboardengineering training. S6. DISTRIBUTION/AVAILABILITYOQFAB5TRAC1 51.ABSTRACTSECURITYCLASSIFICATION [J UNCLASSIFIED/UNLIMITED SAMEASRPT. [J DTICUSERS UNCLASSIFIED a,NAMEOFRESPONSIBLE INDIVIDUAL 22b. TELEPHONE(IncludeAreaCode) 22c OFFICE SVMB0L -jeng Lee (408) 646-2361 DDFORM 1473,84MAR 83APReditionmaybeuseduntilexhausted SECURITYCLASSIFICATION OFTHIS PAGE Allothereditionsareobsolete UNCLASSIFIED Approved forpublic release; distribution is unlimited BOILERMODEL:A QUALITATIVE MODEL-BASED REASONING SYSTEM IMPLEMENTED INADA by James F.Stascavage Lieutenant, U.S. Navy BA., University ofDallas, 1982 Submitted in partial fulfillment ofthe requirements for the degree of MASTER OF COMPUTER SCIENCE from the NAVAL POSTGRADUATE SCHOOL 26 September 1991 ABSTRACT Effective, inexpensive, and realistic on-going training is required to keep all Naval personnel proficientin theirfields. Nowhere is this more true than in steam propulsion en- gineering plants. The complex systems ofvalves, piping, and components require contin- ual refresherfor watchstanders to perform theirjobs safely. BoilerModel is a qualitative expert system designed using model-basedreasoning principles and implemented in Ada. It accurately models a 1200 psi D-type boiler and its associated peripherals. The use offundamental intra-component relationships ("first prin- ciples") andconstraint propagation result in compact code because there is no needforthe extensiverule base foundin conventional expert systems. Implementation in Adapermits the use ofconcurrent tasking to simulate simultaneous valve propagation found in real- world boiler systems. Additionally, Ada's portability allows BoilerModel to be compiled and run on virtually any machine, thereby making it an affordable and attractive comple- ment to shipboard engineering training. 111 C.I TABLE OF CONTENTS INTRODUCTION I. 1 A. STEAMENGINEERINGTRAININGPROBLEMS 1 B. RESEARCH QUESTIONS 2 C. THESIS OUTLINE 3 H. AMODEL-BASED REASONINGPRIMER 4 A. REASONINGFROMMODELS 4 MODEL-BASED RULE-BASED SYSTEMS B. vs. 8 1. SensorFailure 9 2. NumberofRules 10 3. HumanExpert 12 C. UTILITY OF MODEL-BASED SYSTEMS 12 m. LITERATURE REVIEW 14 A. INTRODUCTION 14 B. QUALITATIVEPHYSICS FOUNDATIONS 14 1. ENVISION 14 QPT 2. 15 QSIM 3. 17 iv
The list of books you might like
