Logiciels : Différence entre versions
De MARMOTE
(4 révisions intermédiaires par un autre utilisateur non affichées) | |||
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://psi.gforge.inria.fr/ | + | * [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/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: | + | Fichier:PSI.png|Psi |
Fichier:Psi3.png|Psi3 | Fichier:Psi3.png|Psi3 | ||
Fichier:Xborne_1.png|XBorn | Fichier:Xborne_1.png|XBorn | ||
Ligne 12 : | 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.