TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

|Tables des Matieres |
3.5 Conclusion :::::::::::::::::::::::::::::::::: 59
4 Approches en vue du Diagnostic 61
4.1 Introduction ::::::::::::::::::::::::::::::::: 61
4.2 Diagnostic de systemes electroniques : etat de l'art ::::::::::: 62
4.2.1 Diagnostic a l'aide d'un dictionnaire de fautes :::::::::: 62
4.2.2 L'IA au service du diagnostic ::::::::::::::::::: 63
4.2.2.1 Systemes a base de raisonnement de surface ::::::: 63
4.2.2.2 Systemes a base de modeles (raisonnement profond) ::: 64
4.2.3 Le Systeme PESTICIDE :::::::::::::::::::::: 65
4.2.3.1 Modelisation des connaissances :::::::::::::: 66
4.2.3.2 Les Bases de Connaissances :::::::::::::::: 66
4.2.3.3 Detection et localisation de fautes ::::::::::::: 67
4.2.3.4 Amelioration du Diagnostic :::::::::::::::: 69
4.2.3.5 Exemple d'application ::::::::::::::::::: 69
4.3 Approche Developpee en vue du diagnostic :::::::::::::::: 70
4.3.1 Generation des candidats :::::::::::::::::::::: 71
4.3.1.1 Cas des systemes combinatoires :::::::::::::: 71
4.3.1.2 Cas des systemes sequentiels :::::::::::::::: 73
4.3.2 Mise a jour des estimations :::::::::::::::::::: 74
4.3.3 Exemple d'application ::::::::::::::::::::::: 76
4.4 Conclusion :::::::::::::::::::::::::::::::::: 78
5 Recherche du meilleur nud a tester 80
5.1 Introduction ::::::::::::::::::::::::::::::::: 80
5.2 Raisonnement qualitatif a base de logique oue ::::::::::::: 81
5.2.1 La representation de l'imprecis et de l'incertain ::::::::: 82
5.2.2 Limitations de la logique classique : : : : : : : : : : : : : : : : : 82
5.2.3 Le raisonnement ou :::::::::::::::::::::::: 83
5.2.3.1 Le degre d'appartenance :::::::::::::::::: 84
5.2.4 Quantites, intervalles et nombres ous :::::::::::::: 85
{v {