Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Transparencias Simulacion
Transparencias Simulacion
Eventos Discretos
Ignacio Egua Salinas
ies@esi.us.es
95 448 72 00
Qu es la Simulacin?
disear un modelo matemtico o lgico a partir de un sistema real
y experimentar sobre dicho modelo para describir, explicar y predecir
el comportamiento del sistema real
Sistemas reales
Sistema real = Componentes+Estructura+Entorno
Modelos
Representacin del sistema real
Se debe experimentar en el modelo, no en el sistema
A veces no es posible hacerlo en el sistema real
Se pueden estudiar nuevas situaciones (tcnica what...if)
Tipos de modelos:
Fsicos (icnicos)
Analgicos
Lgicos (matemticos)
Modelos de simulacin
Dinmicos vs. Estticos
Si interviene el tiempo o no (fbrica/localizacin)
Experimentacin de campo
Mediante un programa de ordenador
Lenguajes de propsito general: FORTRAN, C
Lenguajes de simulacin: SIMAN, GPSS
Herramientas de programacin para simulacin
Ventajas e inconvenientes
Ventajas
Experimentar sobre un modelo, no en el sistema
Ambiente controlado por el usuario
Ayuda a comprender el comportamiento real
Fines educativos
Inconvenientes
Tcnica imprecisa por ser aproximada
Aumentar precisin implica modelo complejo
Proyecto costoso: anlisis+aprendizaje
Formular el problema
Definir el sistema realYfsica y temporalmente
Definir claramente los objetivos:
Identificar las variables de entrada y las de control
Definir las restricciones sobre las variables de control
Definir las variables de salida que miden el sistema
Definir una estructura preliminar del modelo
Formular el modelo
Definir una estructura de datos, dividir en submodelos
(si es grande) y desarrollar la lgica del mismo
El modelo ha de ser: simple, flexible, efectivo y
eficiente
Expresar la lgica del modelo mediante herramientas
grficas:
Grafo de eventos
Diagrama de ciclo de actividades
Codificar el programa
Lenguajes de propsito general: FORTRAN, C
bajo-nivel, alto tiempo de codificacin
alta flexibilidad, lenguajes conocidos
Validacin y Verificacin
Sistema real
Modelo
VALIDACIN
Programa
VERIFICACIN
Verificar el programa:
Manualmente
Mediante test modular, de soluciones conocidas,...
Grficamente
Validar el modelo:
Experimentos de campo
Test de Turing
Mtodo Delphi
A nivel tctico:
condiciones iniciales de rgimen permanente
fijar el tiempo de ejecucin y el nmero de
ejecuciones
Documentacin y presentacin
Manual de usuario
Presentacin de resultados:
Problema de tipo no recurrente:
horizonte de medio/largo plazo
decisiones nicas
usuarios finales de nivel medio/alto
Cola (FIFO)
Salida:
piezas terminadas
Pieza en proceso
Objetivo general:
Estimar la tasa de produccin esperada
Tiempo en cola, tamao de la cola, proporcin de
tiempo con la mquina desocupada
10
Di
i =1
Q(t ) dt
0
15
11
B( t) dt
15
Anlisis posibles
Estudio a priori
Tiempos medios entre llegadas: 3.05 min.
Tiempos medios de servicio: 3.94 min.
La cola ir creciendo (sistema congestionado)
Teora de colas
Asumir que el modelo es M/M/1
Anlisis con resultados exactos, p.e.:
WT=
2
S
A S
12
13
14
15
Pueden ser:
Endgenos: por condiciones propias del modelo
Exgenos: por causas externas al modelo
16
Representaciones grficas de
modelos de simulacin
Grafo de eventos
Representa la interaccin entre sucesos y variables de
estado (definen el estado del sistema)
Si se conocen valores actuales de variables de estado,
variables externas y la estructura del modelo, entonces
se conoce el estado futuro del modelo
Suceso i
i
T
j
C
Conexin condicionada a C
17
Representaciones grficas de
modelos de simulacin (cont.)
Diagrama de ciclo de actividades
Representa el ciclo de actividades por la que pasa cada
tipo de entidad y cada tipo de recurso
Axiomas:
Cola 1
Actividad 1
Cola 2
Actividad 2
Cola
Actividad 2
18
Variables de estado:
Q(t): n de piezas en la cola en el instante t
B(t): si la mquina est ocupada (1) o libre (0) en t
Datos:
t_llegada: tiempos entre llegadas de piezas
t_servicio: tiempo de procesado de cada pieza
19
Grafo de eventos:
B(t)=0
t_llegada
t_servicio
3
Q(t)>0
N. de piezas
pasado por cola
0
Tiempo B(t)
Q(t)
0.00
Area bajoQ(t)
0.00
0.00
0.00
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
20
1
N. de piezas
pasado por cola
1
Q(t)
0.00
0.00
0.00
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
N. de piezas
pasado por cola
1
Tiempo B(t)
Q(t)
4.58
Area bajoQ(t)
0.00
0.00
4.58
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
21
2
N. de piezas
pasado por cola
2
Q(t)
0.00
4.58
0.00
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
N. de piezas
pasado por cola
2
0.00
Q(t)
6.98
0.00
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
22
3
N. de piezas
pasado por cola
3
Q(t)
0.56
7.54
0.56
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
N. de piezas
pasado por cola
3
0.56
Q(t)
9.68
0.56
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
23
N. de piezas
pasado por cola
3
Q(t)
0.56
12.27
3.15
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
N. de piezas
pasado por cola
3
Tiempo B(t)
Q(t)
15.00
Area bajoQ(t)
0.56
4.09
12.74
Grfico B(t)
1
Grfico Q(t)
3
2
1
0
24
0.56
= 0.19 min./pieza
3
4.09
15
= 0 .27 piezas
Utilizacin de la mquina:
Area bajo la curva B(t)
Tiempo final de simulacin
12.74
= 0.85
15
Simulacin mediante
Diagrama de Ciclo de Actividades
Identificar las actividades, las colas, las entidades y
los recursos que intervienen
Definir la lgica del modelo: para cada entidad y
cada recurso, qu actividades realizan y por qu
colas pasan
Enlazar los diferentes ciclos con las actividades
comunes
Se suelen usar lenguajes de simulacin para la
implementacin del modelo
25
Actividades:
LLEGADA de una pieza al sistema (t_llegada)
PROCESO de una mquina sobre una pieza (t_servicio)
SALIDA de una pieza del sistema (0)
Colas:
Espera de piezas delante de la mquina (COLA MAQUINA )
Espera de la mquina la llegada de piezas (MAQUINA
OCIOSA )
SALIDA
LLEGADA
1
COLA
MAQUINA
3
PROCESO
Virtual
MAQUINA
OCIOSA
26