Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
FINDING AND DISPLAYING DEVICE FOR FAULT TREE CONTRADICTION
Document Type and Number:
Japanese Patent JPS59231609
Kind Code:
A
Abstract:
PURPOSE:To utilize the result of a check on the logical consistency between an event to be generated definitely and an event not to be generated definitely effectively for an analysis of reliability without nullifying the experience and knowledge obtained by the last reliability analysis by checking on the logical consistency between said events, and displaying the contents of logical contradiction if the contradiction is found. CONSTITUTION:A fault tree to be checked and couples of events which never occur within the width of the tree are stored on a magnetic disk 1. An operator actuates a main body through a keyboard 3 to check on whether some tree has consistency with some specific object or not. A computer 2, on the other hand, inputs the tree and the couples of events which never occur at the same time from the disk 1. The result is displayed on the display area of the keyboard 3, so the operator inputs settled fact as to a specific event at a stage 5 over a look at the displayed tree. The computer 2 checks the logical consistency on the basis of those inputs. If some contradiction is found, that is displayed on the display.

Inventors:
TAKARAGI KAZUO
SHINTANI SADANORI
SASAKI RIYOUICHI
Application Number:
JP10585283A
Publication Date:
December 26, 1984
Filing Date:
June 15, 1983
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
HITACHI LTD
International Classes:
G06F11/22; G05B23/02; G06F9/44; G06F11/00; G06N5/04; G06Q50/00; G06Q50/10; (IPC1-7): G05B23/02; G06F11/00; G06F15/20
Attorney, Agent or Firm:
Akio Takahashi