Techniques heuristiques dans l'analyse de circuits assistée par ordinateur

Un nouveau type de programme d'analyse de circuits, EL, est présenté. Alors que d'autres systèmes d'analyse de circuits reposent sur des techniques d'analyse classiques et formelles, EL emploie des méthodes heuristiques d'"inspection" pour résoudre des circuits de biais continu plutôt complexes. Ces techniques confèrent également à EL la capacité d'expliquer tout résultat en termes de ses propres processus de raisonnement qualitatif. Le raisonnement d'EL est basé sur le concept de "déduction locale à un pas" augmenté par divers principes "téléologiques" et par le concept de "macro-élément." Plusieurs exemples annotés d'EL en opération et une explication de son fonctionnement sont présentés. Il est également montré comment EL peut être étendu dans plusieurs directions, y compris l'analyse en régime sinusoïdal. Enfin, les implications possibles de ce travail pour l'éducation en ingénierie et la technologie de conception assistée par ordinateur sont brièvement discutées. EL est significatif non seulement en tant qu'approche novatrice de l'analyse de circuits, mais aussi en tant qu'application des techniques d'intelligence artificielle à un domaine nouveau et intéressant.