Ministerio del Poder Popular para la Defensa Universidad Nacional Experimental Politcnica de la Fuerza Armada Nacional Barquisimeto - Edo. Lara
Simulacin y Modelos Integrantes: Escalona Manuel Hernndez Katerin Ruvolo Katherine Orellana Isamar Guerrero Jose
Seccin: 7M1IS
Construccin de Modelos
El mundo fsico o mundo objetivo est formado por innumerables sistemas. Estos sistemas de objetos se presentan al cientfico como fenmenos que deben ser estudiados, para as poder establecer las leyes que los gobiernan. Con el propsito de lograr este objetivo, llegar al conocimiento cientfico de un fenmeno, se recurre a la investigacin cientfica. Puede notarse que aparece un aspecto que hasta hace pocos aos era ignorado por los investigadores y es, la creacin de modelos. En todas las pocas los cientficos, inconscientemente o no, han elaborado modelos, pero es recin a partir de 1940 cuando realmente se les da la importancia que merecen. Desde esa fecha, ha aparecido una bibliografa, por cierto no muy abundante sobre el tema. La importancia del modelo est en que los fenmenos son empricos y, para poder estudiarlos racionalmente, se los debe elaborar a travs de una abstraccin a partir del mundo fsico. Una vez elaborado el modelo, con un grado de abstraccin suficientemente elevado, se pueden aplicar mtodos matemticos y as llegar a conclusiones matemticas que luego se realizan (se interpretan) como conclusiones fsicas. Estas conclusiones deben ser probadas mediante experimentacin, o simplemente comparando con la realidad. Una vez que el modelo se ha obtenido, pasa a ser de gran importancia en la ingeniera de sistemas porque permite, entre otras cosas, describir el sistema poniendo de manifiesto sus variables pertinentes y sus relaciones. Adems, puede estudiarse su comportamiento bajo diversas condiciones de operacin, sin necesidad de construir el sistema y someterlo a condiciones de operacin real; se pueden reducir consideradamente los costos al poder experimentar con el modelo y no con el sistema real; se puede aumentar la seguridad de los sistemas reales al poner en situaciones extremas al modelo, etc. El modelo es una representacin de un sistema real. Esta representacin slo detalla las cualidades relevantes que son de inters para el estudio que se est llevando a cabo. Es en consecuencia, si se realiza la maqueta de una casa, no interesa usar el mismo material con que se har la casa, ni tampoco darle color a las paredes y ventanas, salvo que se estudiara el caso desde un punto de vista esttico. En la maqueta se estudiar la distribucin y relaciones de los distintos ambientes, que es el objetivo principal al construir una maqueta, permitiendo la introduccin de cambios que resulten econmicos, ya que se realizan en el modelo y no en el sistema. Ms econmico sera usar el plano de la casa, que tambin es un modelo. Puede notarse que los modelos se utilizan en la vida diaria y en la ciencia para tomar decisiones frente a un determinado problema. En la investigacin cientfica, es obligatorio el uso de modelos: la ciencia es una disciplina que busca la verdad mediante modelos y teoras. Parece increble, pero durante ms de un milenio el hombre y los cientficos han utilizado modelos inconsciente o conscientemente, pero nunca le han dado la real importancia que merecen. Los investigadores han generalizado y tanto una estatua como un sistema de ecuaciones son modelos, con distintas jerarquas en cuanto a su nivel de abstraccin.
Caractersticas generales de los Lenguajes de Simulacin Los lenguajes de simulacin facilitan enormemente el desarrollo y ejecucin de simulaciones de sistemas complejos del mundo real, estos son similares a los lenguajes de programacin de alto nivel pero estn especialmente preparados para determinadas aplicaciones de la simulacin. As suelen venir acompaados de una metodologa de programacin apoyada por un sistema de smbolos propios para la descripcin del modelo por ejemplo mediante diagramas de flujo u otras herramientas que simplifican notablemente la modelizacin y facilitan la posterior depuracin del modelo. Los lenguajes de simulacin proporcionan automticamente las caractersticas necesarias para la programacin de un modelo de simulacin, lo que redunda en una reduccin significativa del esfuerzo requerido para programar el modelo. Proporcionan un marco de trabajo natural para el uso de modelos de simulacin. Los bloques bsicos de construccin del lenguaje son mucho ms afines a los propsitos de la simulacin que los de un lenguaje de tipo general. Los modelos de simulacin son mucho ms fcilmente modificables. Proporcionan muchos de ellos una asignacin dinmica de memoria durante la ejecucin. Facilitan una mejor deteccin de los errores. Los paquetes de software especialmente diseados para simulacin contienen aplicaciones diversas que facilitan al simulador las tareas de comunicaciones, la depuracin de errores sintcticos y de otro tipo de errores, la generacin de escenarios, la manipulacin on-line de los modelos, etc. Son muy conocidos y en uso actualmente. Aprendizaje lleva cierto tiempo. Simuladores de alto nivel. Muy fciles de usar por su interface grfica. Restringidos a las reas de manufactura y comunicaciones. Flexibilidad restringida puede afectar la validez del modelo. El desarrollo de los lenguajes de Simulacin comenz a finales de los aos cincuenta; inicialmente los lenguajes que se usaron en fueron los de propsito general, los cuales tenan las siguientes ventajas: La situacin a analizar se puede modelar en forma ms o menos sencilla para el programador por el conocimiento del lenguaje. El proceso se puede describir con tanta precisin como le sea posible en el lenguaje conocido. Se pueden realizar todas las depuraciones posibles. Cualquier lenguaje de programacin puede ser empleado para trabajar en Simulacin, pero los lenguajes especialmente diseados presentan las siguientes propiedades: Acaban la tarea de programacin. Generan una gua conceptual. Colaboran en la definicin de entidades en el sistema. Manejan la flexibilidad en los cambios. Ayudan a analizar y a determinar la relacin y el nmero de entidades en el sistema. Emshoff y Sisson consideran que la Simulacin Discreta requiere de ciertas funciones comunes que diferencian un lenguaje de Simulacin de uno de propsito general, entre las cuales se encuentran las siguientes: Generar nmeros aleatorios. Generar variables aleatorias. Variar el tiempo hasta la ocurrencia del siguiente evento. Registrar datos para salida. Realizar anlisis estadstico sobre datos registrados. Construir salidas en formatos determinados. Detectar inconsistencias y errores. Un lenguaje de simulacin es un software de simulacin de naturaleza general y posee algunas caractersticas especiales para ciertas aplicaciones, tal como ocurre con SLAM 11 y SIMAN (software para simular) con sus mdulos de manufactura. El modelo es desarrollado usando las instrucciones adecuadas del lenguaje y permitiendo al analista un gran control para cualquier clase de sistema. Un simulador (o de propsitos especiales) es un paquete de computadoras que permite realizar la simulacin para un ambiente especfico, no requiriendo esfuerzo en programacin. Hoy en da existen simuladores para ambientes de manufactura y sistemas de comunicacin permitiendo un menor tiempo en el desarrollo del modelo, as como tambin contar con el personal sin experiencia en simulacin.
Simulacin de sistemas discretos Es evidente que los sistemas productivos evolucionan a lo largo del tiempo y, por lo tanto, debe tenerse en cuenta su naturaleza dinmica. Por otra parte, aunque determinados sistemas productivos pueden ser considerados como continuos (por ejemplo, reactores qumicos), la mayora de los sistemas productivos tienen caractersticas de sistemas discretos, ya que los cambios de estado (recepcin de materias primas, inicio y finalizacin de la fabricacin de lotes, entradas y salidas del almacn,...) se producen en instantes de tiempo determinados y separados entre s. Por este motivo, esta documentacin se centra en la simulacin de sistemas dinmicos y discretos. En este tipo de modelos, las variables que explican el estado del sistema cambian, nicamente durante ciertos instantes de tiempo y, entre estos instantes el estado del sistema est fijo. Los componentes del sistema actan entre ellos nicamente en ciertos puntos discretos del tiempo, el estado del sistema cambia durante esos instantes de interaccin llamados eventos. Ejemplos de estos son: los modelos de recurrencia, sistemas de inventarios, flujos de fondo, etc.
Simulacin de Problemas de Colas En la simulacin de muchos sistemas aparece lo que se denomina congestin o formacin de colas. Las colas son conjuntos de entidades que esperan que ocurra un evento. Para establecer el comportamiento de los sistemas donde aparece formacin de colas, es necesario establecer: El patrn de llegadas: son las propiedades estadsticas de las llegadas que, en general, se describe a travs del tiempo entre llegadas, mediante una distribucin de probabilidad. El proceso de servicio: describe la forma en que se atiende, es decir de qu manera se les brinda servicio a las entidades involucradas. En general se lo caracteriza por: El tiempo que dura el servicio o frecuencia. La capacidad o canales del sistema definido como la cantidad de entidades a atender simultneamente. La disponibilidad (servidor libre u ocupado). El nmero de servicios por entidad si existe ms de una estacin. La disciplina de la cola es la definicin de cmo se elige la siguiente entidad a atender. Existen varios tipos clsicos de seleccin de disciplinas de colas: PEPS (FIFO): primero que entra, primero que sale (mquinas herramientas). UEPS (LIFO): ltimo en entrar, primero en salir, (pilas, ascensor) Aleatoria: una entre varias con igualdad de probabilidades.
Con Prioridades: Primero la que requiere ms (o menos) tiempo de servicio. Atencin a un nmero de prioridad en particular que tenga cada trabajo para el servicio. Cuando se habla de problemas de cola simples, en general se estn refiriendo a sistemas donde las principales estadsticas de las llegadas o del servicio no cambian a lo largo del tiempo. En cambio en problemas de colas complejos, se producirn variaciones como por ejemplo la aparicin de horas pico para las llegadas, o el incremento de la capacidad de servicio cuando la cola pasa de cierta longitud. Para simular este tipo de problemas, en general, se hace que algn parmetro adecuado de la distribucin estadstica cambie, por ejemplo la media. Se encontrar que aparece adems otro tipo de palabras vinculadas a los problemas de colas, por ejemplo retirarse se refiere a entidades que se van de la cola si el tiempo es demasiado; otro ejemplo es sondeo que es el fenmeno del tipo de ms de una cola para un mismo servicio como en un colectivo que va actuando sobre colas distintas en las distintas esquinas.
Componentes y organizacin de un Modelo Como los problemas de colas son inherentes a los fenmenos discretos, debemos recordar algunas terminologas asociadas con este tipo de modelo: Evento: se refiere al cambio de estado de una entidad; en los sistemas discretos, los estados permanecen constantes entre los eventos; esto permite que los lenguajes de simulacin de sistemas discretos utilicen la tcnica del evento siguiente (se ignora el tiempo transcurrido entre eventos consecutivos). Proceso: es toda secuencia de eventos ordenada temporalmente (sucesin de estados de una entidad sobre uno o ms intervalos sucesivos). Actividad: es el conjunto de operaciones que cambian el estado de una entidad. Comnmente se define la actividad como las acciones entre dos eventos sucesivos, en el sistema o en la entidad. Recordemos que los eventos sucesivos en un sistema pueden o no pertenecer a la misma entidad. En general, la mayora de los lenguajes de simulacin usan incrementos variables de tiempo. Los incrementos fijos de tiempo se usan en simulaciones. Ejemplo: