File di definizione di MRMC Markov Reward Model Checker
Tipo di file: Diversi file di dati
Un file .rewi è un file di definizione di MRMC Markov Reward Model Checker contenente definizioni di impulse-reward.
Viene utilizzato da MRMC come input per l'analisi delle ricompense dei modelli di Markov.
Categoria tipo di file:
Diversi file di dati
Data aggiornamento: 29 settembre 2026
MRMC, ovvero Markov Reward Model Checker, utilizza file .rewi per descrivere le ricompense impulsive associate alle transizioni o ad altri eventi del modello. Queste definizioni supportano l'analisi basata sulle ricompense in MRMC.
Il file appartiene all'insieme di file di input di MRMC e viene utilizzato insieme agli altri file che definiscono un modello. MRMC è disponibile per Microsoft Windows. Il formato è specifico di MRMC anziché essere un formato di scambio generico.
Apri il file .rewi con MRMC su Microsoft Windows. Usalo come impulse-reward input per il modello Markov corrispondente quando esegui una reward analysis.
Poiché il file è un definition file, un text editor può visualizzarne il contenuto, ma è necessario MRMC per interpretare le definizioni come parte di un modello.
Il file .rewi è un file di definizione dell'input specifico di MRMC, anziché un formato di scambio generico. Per utilizzare le definizioni in un altro strumento, ricreale nel formato del reward model di tale strumento.
Applicazioni software che possono aprire file rewi:
Microsoft Windows
Language
