Vérification de modèles floue

Constantineau, Ivan (2006). « Vérification de modèles floue » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (1MB)

Résumé

Dans ce mémoire, on généralise la notion de vérification automatique de modèles au contexte flou. On définit des structures de Kripke floues et on leur associe des logiques temporelles floues, dénotées NCTL * et NCTL. On vérifie que les opérateurs de la logique NCTL sont monotones et qu'il y a moyen de faire de la vérification de modèles dans ce contexte. On en fait alors la démonstration.

Type:	Mémoire accepté
Informations complémentaires:	Le mémoire a été numérisé tel que transmis par l'auteur.
Directeur de thèse:	Tremblay, Guy
Mots-clés ou Sujets:	Logique floue, Model-checking (Informatique)
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	RB Service des bibliothèques
Date de dépôt:	16 juill. 2010 16:50
Dernière modification:	13 déc. 2018 15:41
Adresse URL :	http://archipel.uqam.ca/id/eprint/3159

Modifier les métadonnées (propriétaire du document)

Statistiques