ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 43/7-9 - 2009  - pp.905-919
TITRE
Exploration aléatoire de modèles

RÉSUMÉ
Cet article présente des méthodes d'explorations probabilistes qui garantissent une bonne couverture des traces du modèle quelle que soit sa topologie. Ces méthodes sont basées sur des techniques de comptage et de tirage uniforme de structures combinatoires qui dans leurs versions de bases sont très coûteuses en espace mémoire. Ce papier présente des améliorations qui permettent d'explorer uniformément des modèles encore plus gros en tirant des traces encore plus longues. Une étude de la complexité binaire, accompagnée de résultats expérimentaux de chacune des variantes possibles permet de décider quelle variante utiliser en fonction de la taille du modèle, des longueurs de traces désirées et des ressources disponibles.


ABSTRACT
We present randomized methods to explore models and ensure a good coverage of traces whatever the model topology. These methods rely on counting and uniform drawing in combinatorial structures. In their basic version, such methods are space consuming. We improve them to be able to uniformly explore larger models and draw longer traces.


AUTEUR(S)
Johan OUDINET

MOTS-CLÉS
génération aléatoire uniforme, exploration de modèles, arithmétique flottante.

KEYWORDS
uniform random generation, model exploration, floating point arithmetic.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (420 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier