Algorithmes évolutionnaires pour la génération distribuée des espaces d'états dans un environnement dynamiques
Type doc. :
Langue :
Auteur(s) :
Année de soutenance:
Afficher le Résumé
La vérification formelledes systèmes est un besoin important, en particulier lorsqu'il s'agit de systèmes critiques. L'un des problèmes rencontré lors de la vérification de ces systèmes est le problème de l'explosion combinatoire de l'espace d'états. Une solution pour pallier ce problème consiste en calcul distribué de cet espace. Ceci suppose que le calcul s'effectue sur un réseau. Des solutions existent dans la littérature mais qui ne prennent pas en considération la dynamicité du système distribué. Pour cela nous envisageons la proposition d'algorithmes évolutionnaires pour la génération d'espace d'états dans un environnement dynamique. En effet la recherche d'une distribution optimale prenant en compte deux objectifs contradictoires, à savoir l'équilibrage de charge et la réduction des arcs intersites, reste un problème difficile. D'où la nécessité de rechercher des solutions inspirées de la nature.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 DJE TH C1 | BIB-Centrale / Thèses | interne | disponible |