[go: up one dir, main page]

de Kleer, 1991 - Google Patents

Focusing on Probable Diagnoses.

de Kleer, 1991

View PDF
Document ID
15843858253840693883
Author
de Kleer J
Publication year
Publication venue
AAAI

External Links

Snippet

Abstract Model-based diagnosis is based on first-principles reasoning using the behavioral specifications of the primitive components of a device. Unless the computational architecture of the model-based reasoning engine is carefully designed, combinatorial explosion renders …
Continue reading at www.researchgate.net (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
    • G01R31/318371—Methodologies therefor, e.g. algorithms, procedures
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
    • G01R31/318385—Random or pseudo-random test pattern
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
    • G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/008—Reliability or availability analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/2832—Specific tests of electronic circuits not provided for elsewhere

Similar Documents

Publication Publication Date Title
de Kleer Focusing on Probable Diagnoses.
Wang Trajectory similarity based prediction for remaining useful life estimation
Lavo et al. Beyond the byzantine generals: Unexpected behavior and bridging fault diagnosis
Lim et al. Diagnostic resolution improvement through learning-guided physical failure analysis
Schneidewind Reliability modeling for safety-critical software
US6343261B1 (en) Apparatus and method for automatically diagnosing a technical system with efficient storage and processing of information concerning steps taken
US7962321B2 (en) Modeling when connections are the problem
US10621061B2 (en) Combined model-based approach and data driven prediction for troubleshooting faults in physical systems
De Kleer Diagnosing Multiple Persistent and Intermittent Faults.
Anderson et al. On the use of neural networks to guide software testing activities
Chantier et al. Selecting tools and techniques for model-based diagnosis
Kurtoglu et al. First international diagnosis competition-DXC’09
Roy et al. Multi-heuristic machine intelligence guidance in automatic test pattern generation
Fenton et al. Fault diagnosis of electronic system using artificial intelligence
Chen Some recent advances in design of bayesian binomial reliability demonstration tests
Raiman et al. Critical reasoning
Shen et al. Diagnosing continuous systems with qualitative dynamic models
De Kleer et al. Trading off the costs of inference vs. probing in diagnosis
von Mayrhauser et al. Using a neural network to predict test case effectiveness
Mirzaei et al. Reinforcement learning reward function for test case prioritization in continuous integration
Roos Efficient model-based diagnosis
Menezes et al. Defeasible constraint solving
Mittelstadt et al. Application of a Bayesian network to integrated circuit tester diagnosis
Przytula et al. Diagnostic assistant based on graphical probabilistic models
Gökçay et al. Troubleshooting using probabilistic networks and value of information