Logiciels : Différence entre versions
De MARMOTE
(Une révision intermédiaire par un autre utilisateur non affichée) | |||
Ligne 1 : | Ligne 1 : | ||
Pointeurs sur les logiciels développés par les membres du projet MARMOTE: | Pointeurs sur les logiciels développés par les membres du projet MARMOTE: | ||
− | * [ | + | * [http://marmotecore.gforge.inria.fr/ MarmoteCore], Un environnement logiciel dédié à la modélisation avec les chaînes de Markov. |
− | * [http://psi.gforge.inria.fr/ | + | * [http://psi.gforge.inria.fr/dokuwiki/doku.php PSI], logiciel pour la simulation parfaite |
* [http://www.prism.uvsq.fr/~jmf/index.php?activePage=Outils Xborne], un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre | * [http://www.prism.uvsq.fr/~jmf/index.php?activePage=Outils Xborne], un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre | ||
* [http://www-id.imag.fr/Logiciels/peps/san.html PEPS], logiciel de manipulation de Réseaux d'Automates Stochastiques | * [http://www-id.imag.fr/Logiciels/peps/san.html PEPS], logiciel de manipulation de Réseaux d'Automates Stochastiques | ||
− | * un inventaire sur psi, psi3 et | + | * un inventaire sur psi, psi3 et xborne: |
<gallery> | <gallery> | ||
Fichier:PSI.png|Psi | Fichier:PSI.png|Psi | ||
Ligne 13 : | Ligne 13 : | ||
</gallery> | </gallery> | ||
− | + | Pendant le projet, une nouvelle bibliothèque pour la modélisation Markovienne a été développée: [[marmoteCore]]. |
Version actuelle datée du 27 juin 2019 à 19:52
Pointeurs sur les logiciels développés par les membres du projet MARMOTE:
- MarmoteCore, Un environnement logiciel dédié à la modélisation avec les chaînes de Markov.
- PSI, logiciel pour la simulation parfaite
- Xborne, un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre
- PEPS, logiciel de manipulation de Réseaux d'Automates Stochastiques
- un inventaire sur psi, psi3 et xborne:
Pendant le projet, une nouvelle bibliothèque pour la modélisation Markovienne a été développée: marmoteCore.