Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
SEKHRI, Larbi
Directeur de thèse
ETIENNE Craye et JUPE Bourey (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Analyse de propriété comportementales et consales dans les graphe applications aux systèmes automalisés de production
Mots clés
Diagnostique ATMS, graphe fonctionel intelligence
Résumé
Il s’agit de proposer un formalisme mathématique pour l’analyse des graphes fonctionnels qui modélisent les systèmes automatisées de production Ce formalisme doit prendre en compte, pour ces besoins du diagnostic, le raisennement yposhetique et les aspects temporels Actuellement, l’approche relationnelle se revèle por l’analyse du graphe foncitionnel Plusieurs approches sont utiliser acruellement pour le raisonnement hyposentiques comme ç TMS, ATMS et ç biard
Statut
Soutenue