TEMA 5.

SIMULACIN DE SISTEMAS DE PRODUCCIN

INTRODUCCIN
Simular: Fingir para obtener la esencia de algo si la realidad.
Precisin: Complejidad en la definicin.
Simulacin:
Tcnica numrica que sirve para conducir experimentos a lo largo del tiempo mediante
la ayuda de una computadora digital, entendiendo por tal la realizacin de pruebas
sobre algn modelo (lgico o matemtico) que mimetice las respuestas de un sistema
frente a ciertas circunstancias, con la finalidad de analizar su comportamiento y
evaluar las posibles estrategias a seguir.
Generalmente se refiere a la construccin de un modelo abstracto que representa
algn sistema de la vida real.
Describe ciertos aspectos del sistema a travs de una serie de ecuaciones, relaciones,
y/o sentencias lgicas embebidas en un programa de computacin.
La finalidad de la simulacin no es resolver problemas sino extraer informacin para la
toma de decisiones, persigue la exploracin de escenarios.
Ventajas:
Facilidad para crear modelos reales con elementos estocsticos, difciles de
resolver analticamente.
Puede ser usado repetidamente una vez que el modelo se ha construido.
No requiere de tantas restricciones como los modelos analticos.
Permite probar el comportamiento del sistema en varios escenarios.
Experimentacin con modelos de sistemas con los que no se puede
experimentar por razones de tipo tcnico, econmico o tico.
Gracias a la simulacin podemos hacer experimentos en tiempo real, tiempo
comprimido o expandido.
Formacin
Inconvenientes:
Requiere de un aprendizaje especializado y la calidad del anlisis depende del
modelo construido.
Los resultados son a veces difciles de interpretar.
Requiere tiempo y puede ser caro.
Gran carga computacional.
Dificultad para la construccin de un modelo preciso.
Desconfianza de los resultados hasta ser probado en el sistema real.
Objetivo: evaluar alternativas y seleccionar la mejor de ellas.

Aplicaciones en produccin:
La simulacin, como herramienta de apoyo dentro del proceso de toma de decisiones,
puede ser usada para la planificacin y mejora de las diferentes reas dentro del
mbito empresarial de produccin y servicios.

Sistemas de lnea de espera: La simulacin de eventos discretos permite

estudiar y analizar los sistemas de colas o lneas de espera cuya representacin
formal puede resultar demasiado compleja de analizarla mediante una
formulacin matemtica.
Sistema de inventarios: Permite estudiar y comparar polticas para la
administracin de inventarios en los que todos los parmetros (tiempo de
entrega, demanda, coste) son de carcter estocstico.
Sistemas de fabricacin: sta es un rea en la que la simulacin ha tenido
tradicionalmente gran aceptacin. Prcticamente todos los sectores industriales
encuentran cabida para la aplicacin de modelos de simulacin como
herramienta de apoyo en el proceso de toma de decisiones. Entre los sectores
industriales de mayor aplicacin se encuentran la industria automotriz, la
fabricacin de circuitos integrados, exploracin petrolfera, la industria qumica,
la fabricacin papelera, la cadena logstica global,..
Industria de servicios: El rea del sector servicios ha recibido mucho apoyo
de la simulacin para la toma de decisiones. Su modelado suele ser algo ms
complejo que la fabricacin de bienes (por el carcter intangible del producto
"servicio"). Las aplicaciones se suelen centrar en el anlisis y diseo de centros
de llamadas, bancos, supermercados, etc.
Proyectos de inversin: Se recomienda la simulacin para el estudio de
proyectos de inversin en que existe incertidumbre respecto a la tasa de
inflacin, las tasas de inters, los flujos de efectivo, etc, haciendo muy dificil y a
veces imposible analizar analticamente los flujos de caja.
Sistemas de transporte y distribucin: La simulacin permite representar y
analizar el comportamiento de sistemas de transporte tanto en redes
metropolitanas (trfico en las autopistas o en las ciudades, pertinencia de un
semforo en el cruce de dos vias, ...) como en sistemas de fabricacin (manejo
y almacenamiento de producto en proceso, ...). Se puede, asi, comparar varias
estrategias para la gestin de los recursos (vehiculos) o ayudar al diseo del
sistema a travs del clculo del nmero necesario o a la configuracin de la red
de transporte. La distribucin de productos a lo largo de la red logsitca es un
rea de particular inters debido a su complejidad.

ANLISIS Y MODELADO DE SISTEMAS

Sistemas:
Se define un sistema como un conjunto de elementos (entidades, recursos, ...) que
estn interrelacionados dinmicamente y del que interesa su comportamiento global,
frente al de cada una de sus partes.
Un sistema puede ser considerado como un proceso dinmico que responde ante unas
entradas para producir unas salidas.
Caractersticas de los sistemas:
Sinergia: Propiedad fundamental de los sistemas que indica que "el todo no es
igual a la suma de sus partes", ni se puede explicar o predecir su
comportamiento a partir del examen de sus partes de forma aislada. El efecto
sinrgico proviene de las relaciones que se establecen entre las partes.
Recursividad: Alude a la relacin supersistema-sistema-subsistema y defiende
que un objeto sinrgico est compuesto de partes que son a su vez objetos
sinrgicos.
Homeostasis: Es una propiedad de los sistemas y expresa su capacidad de
adaptacin. Su finalidad es buscar un equilibrio interno que pueda compensar
los cambios que se puedan producir en el exterior.
Entropia: Es la tendencia que tienen todos los sistemas al desgaste y a la
desintegracin, evolucionando hacia estados ms simples y de menor energa.
Complejidad: Los sistemas son entes muy complejos, por lo que ser
necesario establecer hiptesis simplificatorias (que establecen el grado de
detalle y limitan la complejidad) que nos permitan abordar su estudio sin perder
rigurosidad.
Lmites de los sistemas:

Existen unos lmites que separan el sistema del medio ambiente en el que est
incluido.
El comportamiento de inters del sistema se genera en el interior de los lmites
y no est condicionado dinmicamente por los elementos del exterior.
Los lmites del sistema deben escogerse de tal manera que se incluyan en su
interior aquellos elementos necesarios para generar el comportamiento que es
objeto de estudio.
La seleccin de elementos pasa por estimar cules son los que interactan para
producir el comportamiento a investigar (elementos interiores), excluyendo los
que son irrelevantes (elementos exteriores).
Las relaciones causa-efecto entre el medio y el sistema son unidireccionales.
Los elementos en el interior del sistema estn relacionados por medio de bucles
de realimentacin que determinan una fuerte interaccin.

Modelos matemticos:
Solucin analtica:

Dificultad para plantear el modelo en ecuaciones que represente el sistema

real.

Dificultad de resolver el modelo.

Simulacin:

Representa el sistema mediante un modelo dinmico y discreto.

No se resuelve ningn modelo, solo se ejecuta.

Modelos:
Definicin: Representacin simplificada de un sistema, construido con el propsito de
estudiarlo.
Se deben considerar los aspectos que afectan al problema de estudio y debe ser
suficientemente detallado como para obtener conclusiones que se apliquen al sistema
real.
Todo el mundo emplea instintivamente modelos cuando toma decisiones sobre
determinados aspectos de la realidad.
En el proceso de toma de decisin se elige una entre varias acciones posibles,
teniendo en cuenta el efecto que cada accin vaya a producir.
La relacin que liga las posibles acciones con sus efectos es el modelo del sistema. Por
lo tanto, en el proceso de toma de decisiones se est empleando un modelo del
sistema.
Construccin de modelos:
Un modelo debe ser tan sencillo como sea posible y tan complejo como sea necesario.
Fase de conceptualizacin: Consiste en la compresin mental del comportamiento
de un fenmeno del mundo real (modelo mental).
Caractersticas:

La informacin se obtiene a travs de la opinin de expertos y de la literatura

relacionada.
Definicin de los aspectos del problema a resolver.
Particularizacin del comportamiento dinmico del sistema mediante la
estructura ms simple que permita reproducirlo.
Identificacin de los elementos del sistema, lo que llevar a establecer sus
lmites.

Fase de formalizacin: Trata de representar los elementos manejados en la fase

anterior por medio de un lenguaje formal que permita reflejar el conocimiento, su
comprensin y posible modificacin (modelos formal y computerizado).
Caractersticas:

Se establecen los diagramas formales y ecuaciones dinmicas del modelo.

Implementacin en computador utilizando un lenguaje apropiado que procese el
conjunto de ecuaciones dinmicas.

Fase de evaluacin: Se lleva a cabo el anlisis del modelo as como su sometimiento

a criterios de aceptabilidad (cualitativa y/o cuantitativa).

Caractersticas:

Ensayos mediante simulacin de las hiptesis sobre las que se asienta el

modelo y su consistencia.
Anlisis de sensibilidad para estudiar la dependencia de las conclusiones
extraidas del modelo con las variaciones de lso parmetros que aparecen en el
mismo.

Modelo mental: Basado en el reconocimiento que se tiene sobre un aspecto de la

realidad adquirido a travs de la experiencia e intuicin, del cual se extraen aquellas
caractersticas esenciales que sirven para representar el aspecto considerado.
Modelo formal: A partir de las hiptesis conformadas o empleadas en los modelos
mentales, se establecen las relaciones formales o de funcionamiento que definen el
comportamiento de aquellos aspectos de la realidad que se quiere moldear
Modelo computerizado: El modelo computerizado resulta de la implementacin del
modelo formal mediante un lenguaje.
El proceso de construccin de un modelo no es lineal, se basa en un proceso de
mejora progresiva de los modelos que representan el sistema mejorados de acuerdo
con los criterios de aceptabilidad.
De esta forma, el proceso de modelado consta de dos etapas: Etapa inicial
(aproximacin) y Etapa de perfeccionamiento (mejora iterativa).
Las sucesivas etapas consistirn en una eliminacin progresiva de las hiptesis ms
restrictivas de forma que el modelo se aproxime cada vez ms a la realidad.
Tipos de modelos:
Existen muchos tipos de modelos atendiendo a diversas clasificaciones: Estticos vs
dinmicos, determinsticos vs estocsticos, prescriptivos vs descriptivos, de tiempo
continuo vs de tiempo discreto.
Estticos: No tienen en cuenta el tiempo ( ej. simulaciones de Monte Carlo).
Dinmicos: Tienen en cuenta la evolucin de un sistema a lo largo del tiempo.
Determinsticos: No interviene ninguna variable aleatoria.
Estocsticos: Alguna entrada o componente es modelado con variables aleatorias.
Prescriptivos: Persiguen la optimizacin del sistema que representan.
Descriptivos: Se recoge el comportamiento dinmico de un sistema para su anlisis.
Tiempo continuo: Utilizacin de variables continuas (ej. ecuaciones diferenciales).
Tiempo discreto: Las variables cambian en u nconjunto numerable de puntos en el
tiempo.
Simulacin de eventos discretos: Dinmicos; Estocsticos; Descriptivos; Tiempo
discreto.

LA SIMULACIN COMO HERRAMIENTA PARA EL ANLISIS DE SISTEMAS

Fases en el proceso de mejora:
Establecer mtodo, analizar y establecer objetivos; Educar y entrenar, llevar a cabo lo
planificado; Evaluar el efecto de los cambios; Actuar para corregir y ajustar.
Fases de la simulacin:
Formulacin del problema: Equipo. Declaracin de objetivos: precisos, claros y
alcance. Criterios de satisfaccin: medicin.
Recoleccin y procesamiento de datos: Datos vs formulacin. Funciones:
o
o
o
o

Establecer hiptesis de cierta validez

Sugerir mejoras o simplificaciones del modelo
Recogida datos para estimacin de parmetros
Validacin del modelo

Formalizacin del modelo: Dificultades. Fases:

o
o
o
o
o

Se parte del modelo mental o conceptual

Especificaciones de componentes
Determinacin de variables y parmetros
Establecer relaciones funcionales
Elaboracin modelo formal

Estimacin de los parmetros: Experiencia y conocimiento de tcnicas estadsticas

(estimacin por puntos, estimacin de intervalos de confianza).
Cualificacin del modelo: Test y pruebas de hiptesis (test Kolmogorov-Smirnov,
test de la Chi-cuadrado).
Formulacin del programa de simulacin:

Seleccin del lenguaje de computadora

Elaboracin del diagrama de flujo.
Programacin.

Verificacin del programa de simulacin: Hace referencia a que el modelo

funcione respondiendo a las instrucciones que en l se programaron. Tcnicas:
o
o

Mtodo de programacin estructurada: diseo top-down, modularidad,

refinamiento paso a paso, ...
Obtener trazas de variables, parmetros, contadores,...

o Test del programa

o Comprobacin de las relaciones lgicas
o Comparacin con modelos analticos
o Simulaciones animadas.
Es aconsejable que la verificacin la realice una persona diferente al programador.
Validacin operacional de la simulacin: Determinar si los datos generados son el
programa son reflejo de la conducta del sistema real.
Diseo de experimentos de simulacin: Asignar a las variables los valores
adecuados para ejecutar los experimentos. Ejecucin de suficientes experimentos de
simulacin.
Anlisis e informe de resultados: Grficas, diagramas de barras, informes, etc, de
los resultados.
FORMALIZACIN DE MODELOS DISCRETOS: elementos habituales en los
sistemas de eventos discretos
Conceptos bsicos:
Entidades: Son componentes que se mueven, cambian de estado e interaccionan con
otras entidades.

Temporales, que permanecen en el sistema slo por tiempo limitado

(piezas).
Permanentes, que se encuentran siempre en el sistema (recursos).

Recursos: Son un tipo especial de entidad, utilizados por otras entidades para
realizar una accin. Toda entidad solicita recursos. Una vez asignado, lo utiliza y
posteriormente lo libera. Se consideran recursos el personal (operarios), los equipos
(maquinaria, medios de transportes) o el espacio fsico (almacenes).
Atributos: Se demoniman as a las caractersticas de las entidades, usacas para
describirlas y diferenciarlas. Todas las entidades de la misma clase tienen los mismos
atributos, pero pueden tomar diferentes valores para cada entidad. Se pueden
considerar como variables locales de cada entidad.
Parmetros: Son un tipo especial de atributos que determinan las propiedades de los
recursos. Su modificacin conlleva la definicin de nuevas propiedades para los
recursos y, por lo tanto, la definicin de nuevos experimentos.
Actividades: Funciones que realizan los recursos sobre las entidades (en cada una de
ellas suelen darse cita una o varias entidad con uno o varios recursos). Toda actividad
debe tener una duracin definica, aunque puede haber actividades ficticias (0). Las
tareas realizadas en cada proceso o ruta seran actividades de nuestro sistema.
Variables: Reflejan caractersticas del sistema de forma global, de manera que cada
una es nica para todo el modelo. No estn asociadas a las entidades, aunque pueden
ser modificadas por ellas. Pueden estar predefinidas por el software de simulacin o
ser establecidas por el usuario. Pueden ser internas (endgenas), externas (exgenas)
o de estado. Seran variables, por ejemplo, el nmero de piezas entrantes en el
sistema (endgena), el tiempo total de simulacin (exgena) o la situacin de una
mquina (estado).
Colas: Lugar donde se esperan las entidades cuando no pueden moverse porque los
recursos que quieren utilizar no estn disponibles. Se pueden considerar infinitas

(simplificacin matemtica), si no hay restriccin de espacio, o pueden definirse con

una capacidad limitada (ms cercana a la realidad).
Eventos: Hechos que ocurren en un instante de tiempo y que pueden dar lugar a
cambios en el estado de una entidad y por tanto del sistema (endgenos, si se
producen por condiciones propias del modelo. Exgenos, si las causas son externas al
modelo). Seran sucesos la llegada de una nueva pieza, la finalizacin de una
actividad, la asignacin de un recurso, etc. (Eventos condicionados, se deben cumplir
una o varias condiciones. Eventos no condicionados, no dependen de condiciones
[planificados]).
Relaciones funcionales: Son el conjunto de vnculos o interrelaciones que se
establecen entre los recursos del sistema. Dichas relaciones sirven para definir los
procesos del sistema y, por lo tanto, su funcionamiento.
Estado de una entidad vs estado del sistema: El estado de una entidad o recurso
es la situacin en la que se encuentra como consecuencia de los eventos que se van
sucediendo a lo largo del tiempo. El estado del sistema recoge el conjunto de estados
de todas las entidades y recursos. Ambos tipos evolucinoan con el tiempo.

FORMALIZACIN DE MODELOS DISCRETOS: metodologas de formalizacin

Orientaciones:
A los procesos: Se centra en los procesos que llevan a cabo las entidades. Se toma
el punto de vista de las entidades y se describe su circulacin a travs del sistema. Es
la forma ms natural y sencilla de describir el funcionamiento de los sistemas. Su uso
es posible gracias al empleo de lenguajes de simulacin, se traducen de manera
automtica la descripcin orientada a los procesos a una descripcin orientada a los
eventos. Desventaja: enfoque genrico.
A los eventos: Se centra en torno a la descripcin de los eventos. Los principales
elementos son: eventos que pueden producirse; condiciones de activacin de cada
evento; flujo de acciones asociadas a la activacin de cada evento. Presenta una
desventaja importante: la realizacin de modelos de grandes dimensiones, con
diferentes tipos de eventos, entidades y recursos, resulta excesivamente compleja.
Clasificacin:
Orientada a los procesos: diagramas de flujo. Redes de colas. IDEFO.
Orientada a los eventos: Diagramas de transicin de estados. Redes de Petri.
Diagramas de flujo:
Los diagramas de flujo o flujogramas, son representaciones grficas que emplean
smbolos para representar las etapas o pasos de un proceso, la secuencia lgica en
que estas se realizan, y la interaccin entre los diferentes elementos. Se les llama
diagramas de flujo porque los smbolos utilizados se conectan por medio de flechas
para indicar la secuencia de la operacin. Se utilizan en disciplinas como la
programacin, la economa, los procesos industriales y la psicologa cognitiva.

Recomendaciones: Debe indicarse claramente donde inicia y donde termina el

diagrama. Todo el texto escrito dentro de un smbolo debe ser legible, preciso,
evitando el uso de muchas palabras. Solo debe llegar una sola lena de flujo a un
smbolo, pero pueden llegar muchas lneas de flujo a otras lneas. Todos los smbolos
tienen una lnea de entrada y una de salida, a excepcin del smbolo inicial y final. Las
lneas de flujo deben entrar a un smbolo por la parte superior y/o izquierda y salir de
l por la parte inferior y/o derecha. Solo los smbolos de decisin pueden y deben
tener ms de una lnea de flujo de salida. Las lneas deben ser verticales u
horizontales, nunca diagonales. Cada flecha representa el flujo de una informacin. No
fraccionar el diagrama con el uso excesivo de conectores.

Redes de colas:
El formalismo de redes de colas representa los distintos servidores donde se llevarn a
cabo las actividades como un conjunto de colas.
Los elementos bsicos de un sistema de colas son:

Las entidades temporales: que compiten entre si para capturar los recursos.
Los recursos (generalmente limitados): que proporcionan servicio a las
entidades temporales.
Las colas: que es el espacio donde esperan las entidades temporales cuando el
recurso al que desean acceder est ocupado.

Nomenclatura: Para especificar un modelo de colas se debern especificar seis

parmetros, que de forma compacta se suele utilizar una notacin abreviada
introducida
por
Kendall.
La
forma
general
es
la
siguiente:
A/S/m [/B/K/DS]. A es la distribucin del tiempo entre llegadas. S es la distribucin
del tiempo de servicio. m es el nmero de servidores. B es la capacidad del sistema
(def: ). K es el tamao de la poblacin (def:). DS es la poltica de servicio: FIFO,
LIFO, Azar, Prioridad, etc (def: FIFO). B,K y DS def si no explicitan.
Tipos:
Sistema bsico: Es aquel donde existe una poblacin, un sistema de llegada, existe
solo un sistema de cola y de servicio (sin importar el nmero de colas ni el nmero de
servidores). En este sistema las entidades al recibir el servicio salen del sistema y no
ingresan a otro.

Sistema multifase o en cascada: En este caso existe un conjunto de sistemas

interconectados: existe una poblacin, un sistema de llegada, y ms de un sistema de
cola y de servicio (sin importar el nmero de colas, ni el nmero de servidores) con
relacin entre ellos. En este sistema las entidades al recibir el servicio pueden salir del
sistema o ingresar en uno o ms sistemas de cola y servicio, que pueden o no tener
las mismas caractersticas.
Metodologa IDEFO:
IDEFO se trata de una metodologa formada para la descripcin de procesos de
negocios. se basa en que la descripcin de cada proceso puede hacerse como
combinacin de cinco magnitudes bsicas:
1. Procesos o actividades
2. Inputs. Materia prima (barra de acero, tornillo, capital, etc.)
3. Controles, que tienen influencia en la forma en la que se realiza el proceso
(cumplir normas de seguridad, especificaciones de cliente, etc.)
4. Mecanismos o recursos para la realizacin de tareas (herramientas, personas,
etc.)
5. Outputs o resultados de la actividad y se transmite a otros procesos (producto,
informacin, servicio, etc.)
Diagrama de transicin de estados:
Los eventos estn representados por nodos, que estarn conectados mediante arcos
dirigidos o flechas, que representan cmo se programan los eventos a partir de otros
eventos o de ellos mismos. Cada arco dirigido puede tener asociada una condicin
booleana (condicin del arco) y/o un retardo en el tiempo.
Redes de Petri:
Una red de Petri es un grafo compuesto de dos tipos de nodos: lugares y transiciones,
donde los arcos pueden conectar los nodos lugar a los nodos transicin y viceversa.

FORMALIZACIN DE MODELOS DISCRETOS: formulacin del programa de

simulacin
Programacin:
Generacin de aleatoriedad U(0,1). Problema: No es posible generar nmeros
aleatorios computacionalmente. Empleamos nmero pseudoaleatorios.
Propiedades de los nmeros pseudoaleatorios: Distribucin uniforme. Independencia
estadstica. Reproducibilidad. Ciclo repetitivo suficientemente largo. Generar n a alta
velocidad. Ocupar poca meporia.
Mtodo de los cuadrados medios: semilla
> X1

X0 ,

ri = Xi /(10longitud semilla) ~ U(0,1);

X02--

Mtodo de Lehmer: semilla X0 , p , ri = Xi /(10longitud semilla -1) ~ U(0,1); X0*p --> X1

Mtodos congruenciales: se basan en el concepto matemtico de nmero
congruentes. El nmero entero X es congruente con Y mdulo M si X-Y es divisible por
M.
Congruenciales lineales:

Congruencial aditivo:

Programacin: Distribuciones:
Hay que utilizar siempre la distribucin que mejor reproduzca los datos. No se puede
utilizar nunca como valor representativo el valor de su media.
Distribuciones aleatorias: Tengo que generar una serie de datos siguiendo una
determinada funcin de distribucin. La funcin de distribucin se obtiene a travs del
mtodo de inversin o mtodo de la transformada inversa. Se hacen las frecuencias
individuales de cada intervalo y las frecuencias acumuladas y se representan
grficamente.

FORMALIZACIN DE MODELOS
simuladores de produccin

DISCRETOS:

lenguajes

de

simulacin

Lenguajes y simuladores:
Cualidades deseables de una herramienta de simulacin: Flexibilidad. Facilidad para el
desarrollo de modelos. Velocidad de ejecucin. Animacin grfica. Tratamiento
estadstico de datos. Informes de salida.
Lenguajes de propsito general
Ventajas:

Portabilidad de la aplicacin
inexistencia de limitaciones
Rapidez de la ejecucin de experimentos.
Modularidad
Herramientas de depuracin

Inconvenientes:

Tiempo de desarrollo
Control de flujo.

Software especfico de simulacin

Ventajas:

Breve tiempo de desarrollo

Herramientas especficas de deteccin de errores.

Inconvenientes:

Conocimiento de lenguaje especfico.

Formatos de entrada y salida estrictos
Dificultad de integracin.
Poco flexibles.