REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA DEFENSA UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA DE LA FUERZA ARMADA

BOLIVARIANA UNEFA NUCLEO APURE

Bachilleres: Profesora: Puerta RafaelC.I:17.395.850 Ing. Alcangel Ascanio Rodrguez Katiuska C.I:19.250.749 Mota Edith C.I:18.992.020 Lugo Mara C.I: Garca Orlando C.I: Yanes Norelquis C.I: Silva Saray C.I:

Seccin:

San Fernando, Noviembre de 2011

Introduccin Actualmente, la simulacin es una poderosa tcnica para la resolucin de problemas. Sus orgenes estn en la teora de muestreo estadstico y anlisis de sistemas fsicos probabilsticos complejos. El aspecto comn de ambos es el uso de nmeros y muestras aleatorias para aproximar soluciones. Simulacin es un rea de estudio que forma parte de la Investigacin de Operaciones (IDO), La cual es usada prcticamente en todas las reas de estudio conocidas. Simulacin permite estudiar un sistema sin tener que realizar experimentacin sobre el sistema real. En sistemas discretos, el nfasis est puesto en los eventos o actividades, las ecuaciones son en esencia ecuaciones lgicas que expresan las condiciones para la ocurrencia de un evento. La simulacin consiste en seguir los cambios en el estado del sistema resultantes de la sucesin de eventos. En este caso, se conocen como simulacin discreta, la simulacin se realiza decidiendo una secuencia de eventos y avanzando el tiempo al evento siguiente ms inminente Los lenguajes de simulacin forman parte esencial e importante de de la simulacin de sistemas debido a que los mismos son los que facilitan el trabajo al usuario; Los lenguajes de simulacin facilitan enormemente el desarrollo y ejecucin de simulaciones de sistemas complejos del mundo real, Entre los lenguajes de simulacin destacan: GPSS, SLAM, SIMAN y SIMSCRIPT adems existen muchos lenguajes de propsito general que son

completamente adecuados para la simulacin. A lo largo del desarrollo de trabajos se va a estar hablando de las caractersticas principales de los lenguajes de simulacin y los lenguajes que se utilizan.

Lenguajes de Simulacin katy Los lenguajes de simulacin facilitan enormemente el desarrollo y ejecucin de simulaciones de sistemas complejos del mundo real. Los lenguajes de simulacin 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. Entre los lenguajes de simulacin destacan: GPSS, SLAM, SIMAN y SIMSCRIPT adems existen muchos lenguajes de propsito general que son completamente adecuados para la simulacin, por ejemplo, FORTRAM, PASCAL, pero los lenguajes de simulacin proporcionan una serie de caractersticas que hacen la programacin, depuracin y experimentacin ms eficientes en tiempo y esfuerzo, aunque consuman ms tiempo en la ejecucin.

Metodologa de la construccin de discretos (Katy) Simulacin Discreta: La simulacin

modelos de simulacin

discreta

se

refiere

la

modelizacin en un computador digital de un sistema cuyos cambios de estado tienen lugar de manera discreta como consecuencia de la ocurrencia de agentes del cambio de estado denominados sucesos. Simular es, pues, duplicar el comportamiento dinmico de algn aspecto de un sistema, real o propuesto, sustituyendo las propiedades esenciales del sistema simulado por las propiedades del sistema que lo simula, el modelo. Una vez construido, el modelo de simulacin acta como un laboratorio en el que se pueden verificar, comparar y ajustar fcilmente las diferentes alternativas de diseo. Mediante la ejecucin del modelo en un ordenador se
3

imitan las acciones del sistema propuesto, permitiendo extraer inferencias sobre las prestaciones del sistema global. Estas inferencias se realizan en base a las numerosas medidas de las prestaciones proporcionadas por la simulacin, tales como las utilizaciones de las mquinas, los inventarios durante el proceso, los tiempos de espera de las piezas, y el rendimiento o capacidad de produccin total, en el caso de la simulacin de sistemas de produccin, por ejemplo. Mediante este proceso de experimentacin se puede elegir el mejor diseo del sistema. La popularidad creciente de la Simulacin es debida en parte a su fiel adherencia a los detalles. Las formulaciones analticas, aunque ofrecen soluciones rpidas en forma analtica compacta (closed-forms), tienden a ser restrictivas incluso para el ms simple de los sistemas. Los detalles complicados se omiten con frecuencia para poder acomodar la formulacin. La Simulacin, por el contrario, puede proporcionar tantos detalles complicados como desee el analista. Todas las caractersticas relevantes del sistema pueden ser tenidas en cuenta, tales como la variabilidad de los tiempos de proceso de las operaciones, la fiabilidad de los equipos, restricciones de las instalaciones (fixture restrictions), restricciones de almacenamiento intermedio durante los procesos, decisiones complejas de enrutamiento, polticas de operacin y restricciones de programacin de operaciones. Las hiptesis restrictivas de simplificacin, tales como las exigencias de linealidad o de tiempos constantes, no son necesarias. El resultado es un contexto experimental ms realista en el cual verificar y comprobar las estrategias de diseo alternativas, lo cual, a su vez, aade seguridad a las conclusiones a que se llega mediante este planteamiento. En general las condiciones de utilizacin de la simulacin son las siguientes segn Shannon: (Edith) 1. No existe una formulacin matemtica completa del problema, o no se han desarrollado an los mtodos analticos para resolver el modelo matemtico.
4

2. Existen los mtodos analticos, pero las hiptesis simplificadoras, necesarias para su aplicacin, desvirtan las soluciones obtenidas y su interpretacin. 3. Los mtodos analticos existen, y en teora estn disponibles, pero los procedimientos numricos son tan arduos y complejos que la simulacin constituye un mtodo ms sencillo para obtener una solucin. 4. Es deseable observar una historia simulada del proceso dentro de un horizonte temporal dado para poder estimar ciertos parmetros. 5. La simulacin constituye la mejor alternativa por la dificultad de realizar experiencias en el contexto real. 6. Es necesario realizar una compresin temporal para estudiar la evolucin del sistema a largo plazo. Un modelo de simulacin describe pues el comportamiento dinmico de un sistema en el tiempo. En la terminologa que hemos introducido, el sistema est formado por entidades, elementos componentes cuyo comportamiento es seguido a travs del sistema. Las entidades pueden pertenecer a diferentes clases, y poseen atributos identificativos que caracterizan su comportamiento, y por ende el del sistema. Las entidades de una clase dada tienen el mismo conjunto de atributos, aunque sus valores no tengan por que ser idnticos, y tendern a seguir pautas de comportamiento similares en el tiempo. Las entidades pueden intervenir en actividades, solas o conjuntamente con otras entidades. En un instante determinado el sistema simulado tendr una

configuracin dada, definida por las actividades de las entidades y los valores de sus atributos: esta ser la caracterizacin del estado del sistema. El estado cambiar, discretamente, como consecuencia de la ocurrencia de un suceso.

Caractersticas generales de los lenguajes de simulacin de sistemas discretos: (Rafael) 1) La generacin de nmeros aleatorios uniformemente distribuidos entre (0,1) 2) La generacin de muestras de v.a. con distribuciones especficas. 3) Los mecanismos de control y flujo del tiempo durante la simulacin. 4) La determinacin del suceso que ha ser tratado a continuacin del que lo esta siendo. 5) La adicin, supresin, o actualizacin de registros en estructuras de datos ad hoc., como listas que representan secuencias de sucesos. 6) La recoleccin y el anlisis de los datos generados por la simulacin 7) La elaboracin de informes sobre los resultados obtenidos. 8) La deteccin de condiciones de error. 9) Fcil de entender por el usuario 10)Tenga el modelo metas y objetivos 11)Modelo no de respuestas absurdas 12) Que sea fcil de manipular, la comunicacin entre el usuario y la computadora debe ser sencilla 13)Que sea completa, es decir que tenga por lo menos las partes o funciones ms importantes del sistema 14)Sea adaptable que podamos modificar, adaptarlo, actualizarlo 15)Que sea evolutiva que al principio sea simple y poco a poco empezamos a volverlo complejo dependiendo de las necesidades de los usuarios La existencia de estos y otros factores comunes a la mayor parte de los programas de simulacin es lo que ha conducido al desarrollo de los lenguajes de simulacin de propsito general, cuyo perfeccionamiento, estandarizacin y accesibilidad han sido los principales factores del incremento que ha experimentado el uso de la simulacin en los ltimos aos.

Una de las decisiones ms importantes que ha de tomar un modelizador o analista para la realizacin de un estudio de simulacin es la seleccin del lenguaje de computador en que va a programar el modelo. Algunas de las ventajas de programar el modelo de simulacin en un lenguaje de simulacin en vez de hacerlo en un lenguaje general como FORTRAN, PASCAL, o C, son las siguientes:(Saray) 1. Los lenguajes de simulacin proporcionan automticamente muchas, si no todas, 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. 2. 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. 3. Los modelos de simulacin son mucho ms fcilmente modificables cuando estn escritos en un lenguaje de simulacin, y por consiguiente se pueden ejecutar con mayor facilidad y flexibilidad los cambios requeridos por los experimentos de simulacin. 4. Muchos de los lenguajes de simulacin proporcionan una asignacin dinmica de memoria durante la ejecucin, cosa que no ocurre con todos los lenguajes de propsito general. 5. Facilitan una mejor deteccin de los errores, especialmente los inherentes a la lgica del proceso de simulacin. (norelqui) Los lenguajes de simulacin para la simulacin de sistemas discretos se eligen en base a lo atractivo de sus caractersticas, aunque hay una de ellas que resulta determinante e impone la naturaleza del lenguaje, es la estrategia, enfoque o visin del mundo inherente al lenguaje, utilizada para la seleccin del suceso siguiente y la gestin del tiempo. Kiviat clasific los

procedimientos de control de tiempos de los lenguajes de simulacin de sucesos discretos, segn la estrategia seguida en la seleccin de sucesos, en: La estrategia de programacin de sucesos (event scheduling,ES) implica una secuencia de sucesos incondicionales a lo largo del tiempo. Por lo tanto, la visin del mundo de un lenguaje, o modelo expresado en tal lenguaje, que incorpore la estrategia ES consiste en considerar la operacin del sistema como una secuencia temporal, ordenada, de sucesos incondicionales. El procedimiento ES de control del tiempo selecciona de la lista de sucesos aquel cuyo tiempo de ocurrencia es el ms prximo, resolviendo los empates por las prioridades asignadas o por defecto, actualiza el tiempo del reloj de simulacin, igualando su valor al del instante en que ocurre el suceso, y llama a la rutina correspondiente al tratamiento del suceso. La estrategia de exploracin de actividades (activity scanning, AS) elige el suceso siguiente basndose en ambos, el tiempo programado para la ocurrencia del suceso y la verificacin de las condiciones. El concepto bsico es la actividad, que conceptualmente es una transicin de estado del sistema que requiere un perodo de tiempo. Una actividad se representa habitualmente mediante dos sucesos distintos que marcan respectivamente el principio y el final de la misma. La visin del mundo que corresponde a un lenguaje, o modelo de simulacin programado en un lenguaje, basado en la estrategia AS, considera que el sistema consta de componentes que desarrollan actividades sujetas a actividades especficas. En la implantacin de esta estrategia se particularizan las componentes de tipo_activo, o componentes mviles del sistema, que pueden tener asociada una rutina de actividad que cuando se ejecuta modela las fases de la componente; cada componente de tipo_activo tiene tambin asociado un reloj interno que indica en que instante la componente vuelve a poder ser tenida en cuenta para ser activada de nuevo, y una rutina de condicin para
8

determinar si se renen la condiciones, distintas del tiempo, requeridas para su reactivacin. El procedimiento de control del tiempo AS explora las actividades en orden de prioridad para su elegibilidad en el tiempo y otras condiciones complementarias de activacin, y ejecuta la rutina correspondiente a la actividad de la primera componente cuyas condiciones de activacin se satisfacen. La estrategia de interaccin de procesos (process interaction, PI) tiene caractersticas hbridas que la relacionan tanto con la estrategia ES como con la AS. La visin del mundo de un lenguaje, o modelo de simulacin programado en un lenguaje, basado en una estrategia PI contempla el progreso de las componentes del sistema a travs de una secuencia de pasos, o procesos, cada uno de los cuales puede tener dos posibles componentes, un segmento de condicin, cuya ejecucin identifica si se puede pasar a ejecutar la segunda componente, un segmento de accin. Estrategias Event Scheduling Activity Scanning Csl, Ecsl, Process Interaction ESp, Gpss (V, /H), II.5, Q-gert Slam,

Gasp(II, IV), Simscript As, II.5, Siman Slam, Slam

II; Simon

Simscript

Slam II; Siman, Simula

(maria)El hecho de que algunos lenguajes, SIMSCRIPT II.5, SLAM, SLAM II y SIMAN aparezcan tanto como lenguajes segn una estrategia de programacin de sucesos (event scheduling), como de interaccin de procesos (process interaction), responde a que su estructura y naturaleza permiten al usuario emplear ambas estrategias, lo que refleja la tendencia creciente a la incorporacin de mltiples visiones del mundo en la estructura de un solo lenguaje. Con cualquiera de estas estrategias, cuando se selecciona el suceso siguiente para que sea procesado, se ejecuta la correspondiente rutina de modelizacin (bloque de cdigo), para modelizar los cambios apropiados en el
9

estado del modelo. Los conceptos de suceso condicional, o incondicional, son bsicos para las estrategias. Un suceso incondicional es elegible para ser ejecutado cuando se llega al instante de tiempo para el que ha sido programado: depende totalmente del tiempo. Un suceso condicional puede depender de condiciones adicionales distintas del tiempo. Las condiciones se refieren usualmente a valores descriptores del estado de las componentes del sistema, por ejemplo, la desocupacin, o el fin de la ocupacin de un dispositivo del sistema modelizado. Una caracterstica comn a los tres planteamientos es que los programas a que dan lugar tienen una estructura jerrquica de tres niveles: Nivel ejecutivo, o del programa de control. Nivel de operaciones (secuencia de sentencias que constituyen el programa de computador que constituyen el modelo propiamente dicho). Nivel de rutinas de detalle, que ejecutan las acciones implicadas por cada una de las operaciones del modelo. El usuario de un lenguaje de simulacin basado en uno de estos planteamientos no necesita conocer con detalle como est programado el ejecutivo, sino como funciona, es decir, lo que hemos llamado visin del mundo del lenguaje correspondiente. El ejecutivo es el que se encarga de identificar cuando tiene que ocurrir el siguiente suceso y que se ejecuten correctamente las operaciones por l implicadas en los momentos adecuados. Anlisis algortmico de las estrategias de simulacin de sistemas discretos Cada una de las estrategias de simulacin que hemos propuesto es susceptible de una representacin algortmica genrica, as como las rutinas para el tratamiento de sucesos de la estrategia ES, las rutinas de condicin y las de actividades para la estrategia AS, y los segmentos de condicin y accin para la estrategia PI.
10

En la representacin algortmica que vamos a dar se supone que los algoritmos utilizan algn conjunto de procedimientos de gestin de estructuras de datos (por ejemplo listas), para ayudar a la introduccin y recuperacin de las representaciones de la informacin sobre los sucesos. En el planteamiento que vamos a proponer, y para mantener el carcter genrico de la representacin, evitaremos suposiciones sobre las estructuras de datos que se pueden utilizar en las implantaciones especficas de las estrategias. La descripcin algortmica que vamos a hacer ser, pues, precisa solo en la descripcin de los aspectos esenciales de la gestin del tiempo, incluyendo las implicaciones correspondientes a las rutinas de modelizacin, aunque excluyendo los detalles que no dependen de la estrategia. El punto de partida para esta representacin algortmica es un anlisis de las caractersticas que dependen de la estrategia adoptada y de las que dependen del problema especfico que se simula. De acuerdo con Kiviat, los lenguajes de simulacin ofrecen, en general, las siguientes capacidades y caractersticas: 1. Modelizacin del estado del sistema. 2. Modelizacin de la dinmica del sistema. 3. Herramientas para el muestreo estadstico. 4. Especificaciones sobre el proceso de recogida de datos. 5. Recogida de datos generados por la simulacin. 6. Anlisis de los datos recogidos. 7. Presentacin de resultados. 8. Monitorizacin de la simulacin y herramientas de depuracin del modelo.
11

9. Procedimientos de inicializacin de la simulacin. 10. Herramientas auxiliares complementarias. Las caractersticas 1, 2 y 9 son intrnsecas, dependen de la estrategia elegida y por lo tanto son las que pueden ser objeto de una descripcin algortmica genrica de la estrategia, mientras que las restantes son relativamente independientes de la estrategia Un ejemplo de lenguaje de simulacin de sistemas discretos: El GPSS GPSS es el acrnimo de General Purpose Simulation System, un sistema, o lenguaje, de simulacin cuyo propsito es, como su nombre indica, el de poder servir para modelizar y simular una gama de sistemas lo ms amplia, o general posible. Histricamente fue uno de los primeros lenguajes de simulacin propiamente dichos estructurado como lenguaje de programacin y no como una librera de rutinas diseadas para ser utilizadas como componentes de un simulador escrito en un lenguaje de propsito general, pero la solidez de las concepciones en que se basa, y la calidad de su implantacin le han permitido no slo sobrevivir, sino adaptarse, evolucionar y combinarse simbiticamente con entornos de animacin grfica como el PROOF ANIMATION, lo que hace que siga siendo uno de los lenguajes de simulacin de sistemas discretos ms utilizados en la prctica. Desde el punto de vista de su estructura como lenguaje de simulacin de sistemas discretos el GPSS combina la estrategia de interaccin de procesos con una descripcin del modelo del sistema en trminos de diagramas de bloques. La descripcin de un sistema en trminos de un diagrama de bloques es un procedimiento muy familiar y existen muchos formalismos para formalizar tal descripcin, el GPSS adopta un formalismo en el que cada bloque tiene una funcin precisa para la representacin de las entidades del sistema y de sus funciones o caractersticas, de manera que cada bloque se corresponde unvocamente con una sentencia del lenguaje de programacin, con una sintaxis en la que los descriptores de la funcin o de los atributos de la entidad
12

se corresponden con los parmetros de las sentencias del lenguaje. A cada tipo de bloque se le da un nombre nemotcnico que describe la accin especfica del mismo, el bloque se representa por medio de un smbolo particular. Como consecuencia de este convenio el modelo del sistema descrito mediante tales bloques es al mismo tiempo el programa de simulacin en el lenguaje. En la particular visin del mundo del GPSS hay entidades mviles, o transacciones, que se mueven a lo largo de rutas en la estructura de bloques del modelo a medida que se desarrolla la simulacin. La naturaleza de las transacciones depende de la del sistema, as, por ejemplo, en un sistema de comunicaciones las transacciones pueden representar mensajes, en un sistema de transporte pueden representar vehculos o envos, en un sistema informtico programas de ordenador. Las transacciones nacen en bloques especiales, bloques GENERATE, se mueven a travs de los restantes bloques segn rutas especficas, sufren demoras o detenciones, pueden ver modificados algunos de sus atributos como consecuencia de las acciones correspondientes en algunos de los bloques, y se destruyen en bloques TERMINATE diseados para tal funcin. De acuerdo con las caractersticas de los sucesos primarios y los condicionales propios de la estrategia de interaccin de procesos, las transacciones pueden encontrarse en diversos estados: Activa: Es la transaccin que, en un instante determinado, se mueve a travs de los bloques. Demorada: Transaccin que se encuentra retenida en algn bloque pero tiene un tiempo previsto para su activacin. Detenida: Transaccin retenida en algn bloque paro sin un tiempo previsto para su activacin que depende de la modificacin del estado de alguna de las entidades fijas del sistema (suceso condicional).

13

Las entidades fijas del sistema reciben el nombre de procesadores en el GPSS y representan sistemas de colas, instalaciones (facilities storages), semforos y entidades lgicas. y

14

Conclusin

15

Bibliografa www.isdefe.es/monografias/docs/simulacion.pdf Hernndez Lpez, tcnicas de simulacion

16