archivo de definición de MRMC Markov Reward Model Checker
Tipo de archivo: Varios archivos de datos
Un archivo .rewi es un archivo de definición de MRMC Markov Reward Model Checker que contiene definiciones de recompensas por impulso.
MRMC lo utiliza como entrada para el análisis de recompensas de modelos de Markov.
Categoría del tipo de archivo:
Varios archivos de datos
Fecha de actualización: 29 de septiembre de 2026
MRMC, o Markov Reward Model Checker, utiliza archivos .rewi para describir recompensas impulsivas asociadas con transiciones u otros eventos del modelo. Estas definiciones permiten realizar análisis basados en recompensas en MRMC.
El archivo pertenece al conjunto de archivos de entrada de MRMC y se utiliza junto con los demás archivos que definen un modelo. MRMC está disponible para Microsoft Windows. El formato es específico de MRMC, en lugar de ser un formato de intercambio de propósito general.
Abra el archivo .rewi con MRMC en Microsoft Windows. Úselo como entrada de impulso-recompensa para el modelo de Markov correspondiente al ejecutar un análisis de recompensas.
Dado que el archivo es un archivo de definición, un editor de texto puede mostrar su contenido, pero se requiere MRMC para interpretar las definiciones como parte de un modelo.
El archivo .rewi es un archivo de definición de entrada específico de MRMC, no un formato de intercambio de uso general. Para utilizar las definiciones en otra herramienta, recréelas en el formato de modelo de recompensas de dicha herramienta.
Aplicaciones de software que pueden abrir archivos rewi:
Microsoft Windows
Language
