Results 1 
3 of
3
ModelBased Diagnosis Of Analog Circuits With CLP(R)
, 1995
"... A tutorial to the modelbased diagnosis of analog circuits with the artificial intelligence tool CLP(R) is presented. The general framework, called the Constraint Logic Programming Scheme is briefly introduced, and the CLP(R) language which is an instance of the CLP Scheme is described. Modeling of ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
A tutorial to the modelbased diagnosis of analog circuits with the artificial intelligence tool CLP(R) is presented. The general framework, called the Constraint Logic Programming Scheme is briefly introduced, and the CLP(R) language which is an instance of the CLP Scheme is described. Modeling of electronic circuits is described in details, starting with models of typical circuit elements (resistor, capacitor, opamplifier), followed by the general CLP(R) model of an electronic circuit. Examples are given to illustrate the approach to circuit modeling and the way how diagnostic query is performed.
Interval Arithmetic With
"... We describe two extensions of CLP(!), motivated by an application to modelbased diagnosis of active analog filters. The first extension addresses the problem of rounding errors in CLP(!). We represent !eals with floatingpoint intervals which are computed by outward rounding. The second extension in ..."
Abstract
 Add to MetaCart
We describe two extensions of CLP(!), motivated by an application to modelbased diagnosis of active analog filters. The first extension addresses the problem of rounding errors in CLP(!). We represent !eals with floatingpoint intervals which are computed by outward rounding. The second extension increases the expressiveness of linear CLP(!). Constants in linear expressions can now be intervals, which enables reasoning with imprecise model parameters (tolerances). Bounds (sup and inf) for individual variables are computed by the linear optimization via modified Simplex. Both extensions are implemented in a CLP shell  an adaptation of SICStus Prolog, which allows for easy and fast developments and modifications of CLP languages. 1 Introduction The motivation for this work was the idea to use CLP(!) for the simulation and diagnosis of analog circuits. First experiments [Mozeti c et al., 1991] showed that CLP(!) has some advantages over classical simulation tools (like SPICE or Micro...
FLAMES: A Fuzzy Logic ATMS and Modelbased Expert System for Analog Diagnosis
, 1996
"... Diagnosing analog circuits with their numerous known di#culties is a very hardproblem. Digital approaches have proven to be inappropriate, and AIbased ones su#er from many problems. In this paper we present a new system, FLAMES, which uses fuzzy logic, modelbasedreasoning, ATMS extension, and the h ..."
Abstract
 Add to MetaCart
Diagnosing analog circuits with their numerous known di#culties is a very hardproblem. Digital approaches have proven to be inappropriate, and AIbased ones su#er from many problems. In this paper we present a new system, FLAMES, which uses fuzzy logic, modelbasedreasoning, ATMS extension, and the human expertise in an appropriate combination to go far in the treatment of this problem. 1 Introduction when trying to overcome the challenging problem of testing and diagnosing analog circuits, the continuous nature of signals, the inherentinteractions between various circuit parameters #1#, the inaccuracy of measurements, and the nondirectional nature of their behavior, which means that any component can be responsible for any symptom, constitute the core of the problem. It is necessary to model parameters with tolerances and to compute with intervals, to use qualitativevalues, or to use fuzzy sets as we suggest in this paper. Classical approaches are inappropriate, which has driven the...