| Author | Zhanqing, Liu |
| Call Number | AIT RSPR no. CS-86-22 |
| Subject(s) | Interactive computer systems
|
| Note | A research study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | A diagnostic problem can be defined as problem in
which one is given a set of abnormal findings (manifestation)
for some system, and must explain why those findings are
present . Problems of this kind are very common: they include
determining why a computer program failed , localizing a fault in
an electronic circuit , etc . Because of this ubiquity , developing
general methods for expert systems which support the decision
making or human diagnosticians is an important issue at present.
In this research study three medals for circuit diagnosis
are reviewed and the author' s method " the Interactive
Discrepancy Detection Model "(IDDM) is described .
This method basically relies only the knowledge on
functional and structural description of a system and does not
require any knowledge concerning failure causality . The
diagnosis mainly consists of two steps: inputs-to - outputs
reasoning and outputs - to - inputs reasoning . This method can
diagnose in principle all kinds of failures that are logically
diagnosable if the system description is appropriate .
Using a frame - based representation which gives the functional and structural description of circuits, the system to be developed will be flexible and extensible.
The computer programming language Micro Prolog, called LPA has a lot of attractive features (mentioned in sec.4.1) and was used as a medium in program implementation.
A variety of circuit boards can be tessed by the system and a circuit "arithmetic logic unit" is submitted for diagnosis as an example.
|
| Year | 1986 |
| Type | Research Study Project Report (RSPR) |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Huynh, Ngoc Phien ;Kanchana Kanchanasut
|
| Examination Committee(s) | Braek, Rolv Richard Berven
|
| Scholarship Donor(s) | DAAD |
| Degree | Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1986 |