Buscar

Validação e Verificação de Modelos

Prévia do material em texto

Alexandre Navarro 
“Um modelo é uma representação do mundo 
real, ou pelo menos de parte dele. Portanto, 
devemos checar se o modelo comporta-se 
como o mundo real sob as mesmas 
condições. Se ele se comporta, então o 
modelo é válido, caso contrário, não é 
válido.” 
VERIFICAÇÃO 
oO Modelo faz o que eu quero? 
 
oModelo computacional 
 
oSignifica retirar os bugs do modelo (ou 
elementos que estão causando o seu mau 
funcionamento) 
VALIDAÇÃO 
oO Modelo funciona como no mundo real? 
 
oVALIDAÇÃO CONCEITUAL 
• Modelo conceitual 
 
oVALIDAÇÃO OPERACIONAL 
• Modelo computacional 
Mundo Real
Modelo 
Computacional
Modelo 
Conceitual
1. Modelagem
2. Validação
3. Implementação
4. Verificação
6. Validação
Operacional
5. Experimentação
Mundo Real
Modelo 
Computacional
Modelo 
Conceitual
1. Modelagem
2. Validação
3. Implementação
4. Verificação
6. Validação
Operacional
5. Experimentação
 
Verificação: está relacionada a como o 
modelo está implementado. 
 
Validação: está relacionada ao que será 
modelado; 

o
o
o
o



o

o

o


o


o

o
Teste t de student 
 
𝑆𝑐
2 =
𝑛1 − 1 𝑆1
2 + 𝑛2 − 1 𝑆2
2
𝑛1 + 𝑛2 − 2
𝑡𝑐𝑎𝑙
𝜇1 − 𝜇2
𝑆𝑐
2 1
𝑛1
+
1
𝑛2
Replicação / 
Dia 
Média de Tempo no Sistema 
(min) 
Simulação Sistema Real 
1 11.29 13.50 
2 10.82 9.80 
3 11.87 12.50 
4 9.54 8.40 
5 8.94 11.30 
6 10.22 9.10 
7 12.48 12.90 
8 11.36 10.50 
9 11.03 10.90 
10 11.98 9.80 
𝑡𝑡𝑎𝑏 = 𝑡(𝛼, 𝑛1 + 𝑛2 − 2)
𝑆2 =
 𝑥𝑖 − 𝑥 ²
𝑛
𝑖=1
𝑛 − 1


bugs
o


Outros materiais