Thèse soutenue

Decouverte automatique de circuits en electronique de puissance
FR
Accès à la thèse
Auteur / Autrice : Bruno Robisson
Direction : Jean-Gabriel Ganascia
Type : Thèse de doctorat
Discipline(s) : Sciences et techniques
Date : Soutenance en 2001
Etablissement(s) : Paris 6

Résumé

FR

Inventer des circuits de l'electronique de puissance est une activite intellectuelle qui met en jeu de nombreuses connaissances, requiert du savoir-faire et de la creativite. L'objectif de cette these est de concevoir un systeme informatique simulant cette activite. A cet effet, un systeme constitue de deux modules a ete implante. Le premier propose les circuits qui ne presentent pas de grossier defaut de conception, au terme d'une recherche heuristique dans un espace organise en hierarchie d'abstractions. Cette organisation particuliere des connaissances permet de focaliser, aussi tot que possible, la recherche sur les circuits potentiellement interessants. Pour eviter que ce module engendre des doublons, la representation par graphes de liens a ete utilisee. Cette mise en uvre a donne lieu a un algorithme qui, contrairement a ceux qui ont ete decrits dans la litterature, transforme un circuit en un graphe de liens parfaitement adapte au formalisme. Le second module analyse qualitativement le fonctionnement des circuits ainsi engendres. Il decrit notamment leur fonctionnement dans des termes identiques a ceux employes par les ingenieurs. Il permet ainsi d'exprimer intuitivement les criteres imposes par un cahier des charges et de selectionner les circuits qui le verifient. L'approche proposee est viable car le systeme a redecouvert les principaux representants de classes importantes de circuits. Il a egalement propose de circuits nouveaux aux performances a priori comparables a celles des circuits connus. Le systeme presente dans cette these permet ainsi d'envisager une etude rationnelle des dispositifs de l'electronique de puissance. Plus generalement, il prouve l'efficacite des techniques d'intelligence artificielle sur un domaine concret et met en evidence l'interet de l'utilisation des abstractions pour la resolution de probleme.