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
Tags & Categories
département
analyse
etablissement
université
affiliation
auteur
ahmed
directeur
informatique
oran1
bella
graphe
sekhri
universitÉ
Établissement
univérsité
memoires
d’études
departement
établissement
établissement
établissement
universite
affiliation
d’etudes
d’informatique
département
directeur
etablissement
mémoires
université