Fichier de définition de MRMC Markov Reward Model Checker
Type de fichier : Divers fichiers de données
Un fichier .rewi est un fichier de définition de MRMC Markov Reward Model Checker contenant des définitions de récompenses impulsionnelles.
Il est utilisé par MRMC comme entrée pour l’analyse des récompenses des modèles de Markov.
Catégorie de type de fichier :
Divers fichiers de données
Date de mise à jour : 29 septembre 2026
MRMC, ou Markov Reward Model Checker, utilise des fichiers .rewi pour décrire les récompenses d’impulsion associées aux transitions ou à d’autres événements du modèle. Ces définitions prennent en charge l’analyse fondée sur les récompenses dans MRMC.
Le fichier appartient à l’ensemble des fichiers d’entrée de MRMC et est utilisé avec les autres fichiers qui définissent un modèle. MRMC est disponible pour Microsoft Windows. Le format est spécifique à MRMC plutôt qu’un format d’échange généraliste.
Ouvrez le fichier .rewi avec MRMC sous Microsoft Windows. Utilisez-le comme entrée de récompense par impulsion pour le modèle de Markov correspondant lors de l’exécution d’une analyse de récompense.
Comme le fichier est un fichier de définition, un éditeur de texte peut en afficher le contenu, mais MRMC est nécessaire pour interpréter les définitions comme faisant partie d’un modèle.
Le fichier .rewi est un fichier de définition d’entrée spécifique à MRMC plutôt qu’un format d’échange généraliste. Pour utiliser les définitions dans un autre outil, recréez-les dans le format de modèle de récompense de cet outil.
Applications logicielles qui peuvent ouvrir les fichiers rewi:
Microsoft Windows
Language
