arquivo de definição do MRMC Markov Reward Model Checker
Tipo de arquivo: Vários arquivos de dados
Um arquivo .rewi é um arquivo de definição do MRMC Markov Reward Model Checker que contém definições de impulse-reward.
Ele é usado pelo MRMC como entrada para análise de reward de modelos de Markov.
Categoria do tipo de arquivo:
Vários arquivos de dados
Data de atualização: 29 de setembro de 2026
MRMC, ou Markov Reward Model Checker, usa arquivos .rewi para descrever recompensas de impulso associadas a transições ou a outros eventos do modelo. Essas definições dão suporte à análise baseada em recompensas no MRMC.
O arquivo pertence ao conjunto de arquivos de entrada do MRMC e é usado em conjunto com os outros arquivos que definem um modelo. O MRMC está disponível para Microsoft Windows. O formato é específico do MRMC, e não um formato de intercâmbio de uso geral.
Abra o arquivo .rewi com o MRMC no Microsoft Windows. Use-o como a entrada de impulse-reward para o modelo de Markov correspondente ao executar uma análise de reward.
Como o arquivo é um arquivo de definição, um editor de texto poderá exibir seu conteúdo, mas o MRMC é necessário para interpretar as definições como parte de um modelo.
O arquivo .rewi é um arquivo de definição de entrada específico do MRMC, e não um formato de intercâmbio de uso geral. Para usar as definições em outra ferramenta, recrie-as no formato de modelo de recompensa dessa ferramenta.
Aplicações de software que podem abrir arquivos rewi:
Microsoft Windows
Language
