MRMC Markov Reward Model Checker-Definitionsdatei
Dateityp: Verschiedene Datendateien
Eine .rewi-Datei ist eine Definitionsdatei des MRMC Markov Reward Model Checker, die Impulsbelohnungsdefinitionen enthält.
Sie wird von MRMC als Eingabe für die Belohnungsanalyse von Markov-Modellen verwendet.
Dateityp-Kategorie:
Verschiedene Datendateien
Aktualisierungsdatum: 29. September 2026
MRMC, oder Markov Reward Model Checker, verwendet .rewi files, um Impulsbelohnungen zu beschreiben, die mit Übergängen oder anderen Modellereignissen verknüpft sind. Diese Definitionen unterstützen die belohnungsbasierte Analyse in MRMC.
Die Datei gehört zum MRMC-Eingabedateisatz und wird zusammen mit den anderen Dateien verwendet, die ein Modell definieren. MRMC ist für Microsoft Windows verfügbar. Das Format ist spezifisch für MRMC und kein allgemeines Austauschformat.
Öffnen Sie die .rewi-Datei mit MRMC unter Microsoft Windows. Verwenden Sie sie beim Ausführen einer reward analysis als impulse-reward input für das entsprechende Markov model.
Da es sich bei der Datei um eine definition file handelt, kann ein text editor ihren Inhalt anzeigen, aber MRMC ist erforderlich, um die definitions als Teil eines model zu interpretieren.
Die .rewi-Datei ist eine MRMC-spezifische Eingabedefinitionsdatei und kein allgemeines Austauschformat. Um die Definitionen in einem anderen Tool zu verwenden, erstellen Sie sie im Reward-Model-Format dieses Tools neu.
Software-Anwendungen, die rewi Dateien öffnen können:
Microsoft Windows
Language
