ANEXO

El software WITNESS

A.1 INTRODUCCIN
La aplicacin WITNESS permite modelar y simular un sistema dinmico con eventos discretos. Los eventos aleatorios se pueden modelar mediante distribuciones probabilsticas estndar. Tambin incorpora herramientas para el anlisis de los resultados generados en las simulaciones. Otra de sus mejores propiedades es la representacin de la informacin y del estado del proceso de una manera muy visual, de forma que se facilita la comprensin del funcionamiento del sistema modelado as como la extraccin de conclusiones a partir de las simulaciones realizadas. A continuacin se detallan los elementos de WITNESS empleados para este proyecto. Primero se detallan las caractersticas generales del entorno y a continuacin los aspectos relacionados con la implementacin de modelos de sistemas.

A.2 WITNESS Y SU ENTORNO A.2.1 Mens

El men de WITNESS est dividido en siete grupos: File, Edit, View, Model, Reports, Run, Help (Ver figura A.1).

A.2.2 Cajas de dilogo y propiedades de las hojas

WITNESS hace uso de las cajas de dilogo de Microsoft Windows para visualizar la informacin y recoger la informacin del usuario. Estas pueden tener una serie de tabuladores superpuestos y adems tenemos cuadros que podemos rellenar (Ver figura A.2). Las hojas de WITNESS contienen entradas o campos del siguiente tipo: Campos Display: Slo dan informacin y no se pueden editar. Campos Input: En estos es donde se puede editar o introducir informacin como cambiar el nombre del elemento por ejemplo. List-boxes: Son cajas que dan un listado de items. Para visualizar la listas de opciones basta con hacer click en la flecha que tienen a la derecha. Botones: Se seleccionan haciendo click sobre ellos y algunos pueden abrir nuevas hojas donde introducir datos.

149

Figura A.1 Men Witness

Campos Display List-Boxes

Campos Input Botones

Figura A.2 Cajas de dilogos de Witness

150

A.2.3 Visin grfica y pantallas

WITNESS permite durante la ejecucin de la simulacin la visualizacin activa de los cambios que se suceden; las mquinas cambian de color para indicar cuando estn ocupadas, rotas, etc., y las Parts (en nuestro caso piezas) se mueven de estacin conforme se estn procesando. Ya que se pueden hacer modelos largos y complejos, WITNESS permite tener diferentes pantallas de animacin donde se puede visualizar parte o todo el modelo implementado.

A.3 MODELOS A.3.1 Elementos bsicos

Los modelos son construidos con una serie de elementos o bloques. sta seccin describe los tres elementos bsicos que forman parte de un modelo. PARTS O ENTIDADES (Ver figura A.3): Son usadas para representar los tems discretos que se mueven alrededor de la planta. Pueden ser usadas para representar pequeos componentes electrnicos, grandes tanques de aceite, o cualquier cosa entre ambos. Parts tambin pueden ser usadas para representar llamadas de telfonos y otro tipo de informacin que fluya. WITNESS crea Parts e introduce dentro de la simulacin en el lugar y tiempo que le indique el modelo. Parts se pueden mover; e incluso pueden combinarse en varias mientras se van moviendo por el modelo. Son extremadamente verstiles. Cuando se hace el detalle de las Parts es necesario decidir si son Activas (una cantidad concreta de Parts se ponen en el modelo un momento concreto ) o algn elemento en la simulacin tira de ellas desde un suministro infinito. Pueden ser destinadas a tener Active Arrivals seleccionando en la caja de Arrivals de la caja de dilogo de las Parts. Inicialmente no asumen las llegadas activas. En el Detail se indica cundo y cmo las Parts deben aparecer en la simulacin; cundo las acciones deben hacerse a las Parts que lleguen o cuando dejen la simulacin; y cundo los estadsticos deben ser controlados. Para todo ello deben tener Reglas definidas. BUFFERS O COLAS (Ver figura A.4): En ellos se almacenan las Parts. Las Parts no son activos, deben ser lanzados hacia otros elementos desde los Buffers o empujados desde estos hacia otros elementos mediante las reglas de salida. La opcin delay del Buffer puede alterar el comportamiento del Buffer. Seguidamente estn las opciones que se pueden ejecutar: El Buffer None significa que el Buffer se comporta como pasivo, es decir, las Parts pueden ser llevadas en cualquier momento a otros elementos. El Buffer Min significa que el Buffer se comporta como de retraso, es decir, las Parts pueden estar un tiempo en el Buffer hasta que otro elemento llegue a l. El Buffer Max significa que el Buffer se comporta como de detencin, es decir, que un elemento puede llevar Parts en cualquier momento, pero si una Part permanece en el Buffer por un perodo mayor al perodo mximo especificado, ser movido del Buffer usando una regla de salida. As si la regla de salida falla la Part permanecer en el Buffer indefinidamente, o hasta que otro elemento se la lleve. El Buffer Both significa que el Buffer retrasa las Parts que estn en l por el mnimo tiempo establecido en detail, entonces se comporta como un Buffer de detencin para las Parts que estn en el Buffer por el mximo tiempo (Buffer Max). 151

Figura A.3 Ventana de definicin de una Part (Detail)

Figura A.4 Ventana de definicin de un Buffer (Detail)

152

El Buffer Max Repeat significa que el Buffer se comporta como un Buffer de detencin doble, es decir, como un Buffer normal de detencin, excepto que si falla la regla de salida, retrasa el suceso hasta que el tiempo de salida de Part es igual al mximo del tiempo de retraso. El proceso se repite indefinidamente hasta que la regla se cumpla u otro elemento tire de la Part. MACHINES O ACTIVIDADES (Ver figura A.5): Son uno de los elemento ms usados y representan cualquier trabajo que se ha de realizar a las Parts en cualquier momento, procesarlos y enviarlos al prximo destino. En las Machines es donde las Parts pueden ser moldeadas y cambiadas, gastando tiempo procesndolas, cambiando de un estado a otro al tiempo que las hace avanzar. Una Manchine puede procesar una Part o ms de una a la vez. Puede ensamblar diferentes Parts juntas dentro de una o disgregar una en varias. Seguidamente se describen diferentes tipos de maquinas que pueden implementar:

Figura A.5 Ventana de definicin de una Machine (Detail) Single Machina (Figura A.6): Procesa Parts de una en una.

IN

OUT

MACHINE Figura A.6 Esquema de una mquina simple Batch Machina (figura A.7): Procesa un lote o grupo de Parts cada vez. Es necesaria especificar el nmero mnimo y mximo de Parts que constituyen el lote o grupo. 153

IN

OUT

MACHINE Figura A.7 Esquema de una mquina por lotes Assembly Machina (figura A.8): Toma ms de una Part y de salida proporciona nicamente una Part. Es necesario especificar el nmero de Parts que sern ensambladas en una nica Part.

IN

Assembly Quantily=2 OUT MACHINE

Figura A.8 Esquema de una mquina ensamblaje Production Machina (figura A.9): Toma varias Parts y como salida produce varias Parts. Es necesario especificar el nmero de Parts que se producirn de manera que el nmero de Parts que saldrn ser la cantidad que se produce ms una. Tambin es necesario indicar el tipo de Part que se crea. IN OUT

MACHINE Figura A.9 Esquema de una mquina de produccin General Machina (Figura A.10): Saca diferentes cantidades de diferentes Parts. Es necesario especificar el nmero de entradas y de salidas. ANY NUMBER IN ANY NUMBER OUT

MACHINE Figura A.10 Esquema de una mquina general

154

Multi Machina (Figura A.11): Una multi-station Machine, procesa una o ms Parts a travs de un nmero de estaciones. Es necesario especificar el nmero de estaciones y de Parts por estacin. Si el nmero de Parts es mayor que 1, la Machine es una multi-station batch Machine.

MACHINE Stations = 6 Parts = 2 Figura A.11 Esquema de una mquina multiestacin

A.3.2 Elementos no bsicos

LABOUR (Ver figura A.12): Pueden ser operarios, inspectores, herramientas u accesorios. Se pueden usar en los procesos, reparaciones o mantenimientos de las Machines o para las averas de los Conveyors.

Figura A.12 Ventana de definicin de un operario

155

Es necesario definir el tipo y la cantidad que son necesarios y especificarlos en la caja de dilogo del elemento que necesite el Labour. En el momento en que un elemento necesite un Labour, su estado cambiar a Labour en espera y esperar hasta que un Labour pase a disponible. Si hay ms de un elemento esperando a Labour, acudir al que tenga la prioridad ms alta; si ms de uno tiene la misma prioridad entonces ir a la tarea ms antigua. La prioridad se indica en el Detail del elemento. Normalmente un Labour permanecer en un elemento hasta que el proceso sea completado. No obstante se puede sustituir un Labour de su tarea para que efecte operaciones ms crticas. CONVEYORS (Ver figura A.13): Se utilizan para satisfacer los requerimientos de movilidad de las entidades por el modelo. En Witness existen dos tipos de Conveyors: o Conveyor Fixe: Mantienen la distancia constante entre las Parts. Si el Conveyor para, la distancia entre las Parts en l se mantiene. o Conveyor Queueing: Permite acumular Parts hasta que el Conveyor est lleno.

Figura A.13 Ventana de definicin de una manutencin o conveyor

En ambos casos es necesario indicar los siguientes parmetros en la pantalla Detail (Ver Figura A.13): o Length in Parts: Se refiere a la longitud del Conveyor en unidades de posiciones de Parts en el Conveyor (por ejemplo, si el Conveyor mide 30 metros de largo, y una Part mide 0.5 metros de largo, hay como mximo 60 posiciones de Parts). o Max. Capacity: Puede suceder que existan restricciones de no poner ms de un cierto nmero de Parts aunque quepan, por ejemplo por motivos de peso.

156

o Index Time: Es el tiempo requerido para indexar una posicin, o lo que se conoce como tiempo ciclo, que es el tiempo que se tarda en recorrer desde el principio hasta el fin, partido por la longitud de las Parts. El ejecutar muchos Conveyors en el modelo puede afectar a la velocidad de ejecucin. Los Conveyors slo atentan a los inputs y outputs de los ciclos, mientras que en las Machines los inputs se realizan tan pronto como haya Parts disponibles y los outputs cuando hay espacio libre.

A.3.3 Reglas de entrada y salida

Las reglas de entrada y salida se usan para describir como fluyen las Parts a travs de los elementos del modelo. Las reglas de entrada se utilizan para llevar una Part al elemento y las reglas de salida para echarlas fuera. Si un elemento no tiene activas las rdenes de tirar de entonces est en espera, con lo cual nunca recibir una Part a no ser que le sean empujadas. De igual forma, un elemento que no tenga activadas las rdenes de salida empujar a estar en espera y las Parts no saldrn de l hasta que otro elemento tire de ellas. El estado esperando es el que tienen todos los elementos por defecto al ser creados. REGLAS BSICAS DE ENTRADA Y SALIDA: Son PULL y PUSH respectivamente. La construccin de las rdenes es la siguiente: PUSH to ELEMENTO1 Las Parts salen de un elemento que las empuja hasta otro llamado ELEMENTO1. PULL from ELEMENTO2 Las Parts entran en un elemento que tira de ellas desde otro llamado ELEMENTO2. Estas rdenes deben estar describas en el Detail del elemento. RESUMEN DE REGLAS DE ENTRADA: A continuacin se explica la estructura de las reglas de entrada ms usadas. WAIT: El elemento est esperando hasta que las Parts son empujadas hacia l. Es la regla por defecto de todos los elementos. PULL: Tira de una lista de estaciones por orden preferente. MOST: Tira de la Part que est en el elemento con ms entidades (se especifica la entidad) de una lista. LEAST: De una lista coge el elemento que tenga menos entidades (se especifica la entidad). PERCENT: De una lista coge un porcentaje de cada elemento que aparezca en ella, previamente especificado. SEQUENCE: Toma las Parts de una lista siguiendo una secuencia y unas reglas en caso de no disposicin. IF: Si una expresin es cierta entonces realiza una serie de acciones. SELECT: Selecciona de donde toma Parts en funcin de una expresin. BUFFER: Slo para Machines; crea una buffer de entrada. MATCH: Permite a una machine tener distintas entradas. RESUMEN DE REGLAS DE SALIDA: A continuacin se explica la estructura de las reglas de salida ms usadas. WAIT: El elemento est esperando hasta que las Parts son estiradas desde l. Es la regla por defecto de todos los elementos. PUSH: Empuja a una lista de estaciones por orden preferente.

157

MOST: Empuja la Part hacia el elemento con ms entidades (se especifica la entidad) de una lista. LEAST: De una lista empuja hacia el elemento que tenga menos entidades (se especifica la entidad). PERCENT: De una lista empuja un porcentaje a cada elemento que aparezca en ella, previamente especificado. SEQUENCE: Empuja las Parts de una lista siguiendo una secuencia y unas reglas en caso de no disposicin. IF: Si una expresin es cierta entonces realiza una serie de acciones. SELECT: Selecciona hacia donde empuja Parts en funcin de una expresin. BUFFER: Slo para Machines; crea una buffer de salida. Las Parts pueden ser estiradas del WORLD (entran en el modelo) o empujadas a SHIP, SCRAP o ASSEMBLE (dejan el modelo).

Figura A.14 Ventana de Detail de una Machine

A.3.4 Acciones y elementos lgicos

Usando Acciones se pueden especificar instrucciones lgicas al modelo, permitiendo modelar los clculos y frmulas que se deciden en la vida real. Estas acciones pueden llevarse a cabo en la ejecucin de la simulacin. Las acciones pueden usarse para las siguientes operaciones: Manipular variables y atributos

158

Controlar Parts Leer y escribir datos en un fichero Producir informes estadsticos Crear dilogos entre el modelo y el usuario Cambiar el tipo de las Parts Grabar valores en un histograma Etc....

Las acciones ocurren cuando se produce un cambio de estado en un elemento, y en cada caso se editan en una ventana distinta: Machines: ACTIONS ON START..................... Cuando la mquina comienza el ciclo. ACTIONS ON FINISH..................... Cuando la mquina termina el ciclo, cuando la Part abandona la mquina. ACTIONS ON DOWN..................... Cuando la mquina entra en avera. ACTIONS ON REPAIR................... Cuando finaliza la avera. ACTIONS ON START SETUP........ Cuando la mquina entra en mantenimiento. ACTIONS ON FINISH SETUP.... Cuando la mquina acaba el mantenimiento. Part: ACTIONS ON CREATE................. Cuando la Part es creada, cuando entra en la simulacin. ACTIONS ON LEAVE.................... Cuando la Part deja la simulacin. Conveyors: ACTIONS ON JOIN....................... Cuando la Part se une al Conveyor por la parte de atrs. ACTIONS ON REACH FRONT.. Cuando la Part deja el Conveyor por la parte de delante. Buffer: ACTIONS ON IN............................ Cuando la Part se encuentra en el Buffer. ACTIONS ON OUT........................ Cuando la Part sale del Buffer.

A.3.5 Atributos
Los atributos son caractersticas de las Parts, por ejemplo, color, tamao, tiempo de ciclo, etc. Cada atributo puede ser un nmero real, entero, una referencia a otro elemento del modelo, etc. Cada Part puede tener un nmero de Atributos asociados a l y cada uno puede tener distintos valores en diferentes tiempos de la simulacin. Cada Atributo y el valor del mismo siguen a la Part durante la ejecucin del modelo. ATRIBUTOS UNIVERSALES: Hay 5 atributos que todas las Parts tienen automticamente (predefinidos o Atributos de sistema). Estos son: DESC: Una descripcin de 4 caracteres para la Part. PEN: El color con el que la Part est representada en la pantalla. ICON: El icono con el que la Part est representada en la pantalla. Se necesita adems el uso de DESC y para el color del icono el uso de PEN. STAGE: Se usa en la ruta de una Part y es la etapa actual en la ruta. TYPE: El nombre de la Part. 159

Cuando se usan Part Routin (en una ruta) hay otros dos atributos universales: R_CYCLE: El tiempo ciclo del STAGE (etapa) actual en la ruta. R_SETUP: El tiempo de setup del STAGE (etapa) actual en la ruta. GRUPOS NUMERADOS DE ATRIBUTOS: Ciertas caractersticas son relevantes slo para ciertas Parts; por esta razn Atributos y Parts son asignados a grupos, hay 10 grupos numerados de 1 a 10. Una Part podr tener los Atributos definidos en un mismo grupo. ATRIBUTOS FIJOS O VARIABLES: Las Parts pueden ser definidas con Atributos fijos o variables; las Parts con Atributos fijos toman menos memoria que las Parts con Atributos variables.Las Parts con Atributos variables pueden tener diferentes valores para cada individuo, y estos valores pueden cambiar en cualquier momento. Las Parts con Atributos fijos no pueden tener diferentes valores para cada individuo, es decir, los Atributos slo pueden tener un valor. ATRIBUTOS MODIFICADOS: Normalmente los atributos slo pueden ser usados cuando la Part est en curso, y slo el Atributo de la Part en curso puede ser referenciado. Por ejemplo, si en accin al final del ciclo existe una accin de cambiar un atributo, slo se cambiar en de la Part que en la mquina. Aadiendo una modificacin Modificar el atributo podemos inspeccionar o cambiar el valor de los Atributos de las Parts en cualquier parte del modelo. La expresin para modificar un atributo es la siguiente: Element {AT position} : Attribute

A.3.6 Variables
Las variables son muy usuales cuando los datos van a almacenarse o los usos no son relativos a Parts individuales o no se pueden usar directamente en el Detail del elemento. Las variables son valores a los que se puede acceder desde cualquier parte del modelo. Las variables usualmente tienen sus valores asignados en un grupo de Acciones. Las ms importantes pueden tener una cantidad de ms de uno, autorizando la creacin de listas. Estas variables pueden ser agrupadas en forma de matriz de dos dimensiones, poniendo la cantidad x, y.

A.3.7 Funciones del sistema

Una funcin puede retornar un nmero real, entero, nombre o string, y puede ser usado en cualquier plazo en que la Variable o constante del mismo tipo se use. WITNESS tiene una lista de funciones intrnsecas: INFORME Y ESTADO DE LAS FUNCIONES: Estas funciones tienen los valores en los informes e informan del estado en curso de los elementos especificados. ISTATE: Nmero que indica el estado del elemento especificado. NCREATE: Nmero de Parts del tipo especificado que han sido creadas. NFREE: Cantidad del espacio libre del elemento especificado. NPARTS: Nmero de Parts en el elemento especificado. PUTIL: Porcentaje de tiempo del elemento especificado que se ha gastado en el estado especificado. LIFE: El tiempo de vida de permanencia de tiempo de mantenimiento de la Machine en trminos de nmero de operaciones.

160

FUNCIONES ARITMTICAS: Estas Funciones llevan incorporadas operaciones aritmticas. FLOAT: Especifica un entero como nmero real. IFIX: Parts enteras de un nmero real. MAX: Mximo de la lista de nmero enteros. MIN: Mnimo de la lista de nmeros enteros. MOD: Devuelve el resto de dividir un entero por otro entero.

Una lista llena de funciones disponibles y Details sobre su uso est en el User Manual o en el Quick Reference Booklet.

A.3.8 Histogramas
El histograma es un grfico de barras, y es til para determinar el rango de los valores observados para algunos parmetros de la simulacin. Los histogramas de WITNESS permiten representar grficamente los resultados de la simulacin en pantalla. WITNESS permite crear todos los grficos que se desee y grabar valores en ellos segn convenga. Las barras deben ser dibujadas vertical u horizontalmente, permitiendo producir Gantt type charts. Los valores deben ser grabados en un histograma usando el comando RECORD en un grupo de acciones en cualquier lugar del modelo: RECORD Valor en un Histograma Una barra de una altura especfica se puede dibujar usando el comando de accin DRAWBAR: DRAWBAR Valor de Histograma, altura, color La altura de una barra en el histograma puede ser incrementada usando el comando de accin ADDBAR: ADDBAR Valor de Histograma, altura, color Ejemplos de uso de histogramas pueden ser tiempos de reparacin, el tiempo que tardan las piezas en desplazarse a travs del sistema. Las siguientes caractersticas deben ser preparadas y representadas como convenga en el histograma: Nombre del Histograma Histograma Los valores Mximo y Mnimo que graba Color de las barras Icono

A.3.9 Ficheros
WITNESS proporciona la facilidad de utilizar ficheros de datos en el modelo. Se pueden meter valores en un fichero (fichero de lectura), y se pueden sacar valores (fichero de escritura). Los ficheros de entrada y los de salida tienen diferentes usos, por ejemplo: 161

 Valores especficos para ser usados en el Detail de los elementos, como el tiempo de ciclo de una mquina. Producir informes en funcin de los requisitos, con el layout y contenidos propios. Estos ficheros son de texto, y pueden ser editados utilizando un procesador de texto o editor e imprimir en la impresora. Los valores que se leen deben ser valores constantes de uno de los cuatro tipos de datos de WITNESS; entero , real, nombre o cadena de caracteres. FICHEROS DE LECTURA: El comando de la accin de leer READ se usa para leer datos de un fichero. Esto se usa en cualquier declaracin de acciones: Acciones de inicializacin o Acciones de principio de ciclo de una mquina. Cada vez que WITNESS encuentra una declaracin READ leer una nueva lnea del fichero. No obstante, si un punto y coma (;) se encuentra al final de la declaracin READ la siguiente lectura la har donde acabo la ltima lectura. Si la declaracin READ intenta leer ms valores de los que existen en el fichero tendremos un error. Los datos de un fichero deben ser ledos en variables o atributos. El formato de la declaracin READ es: READ nombre del fichero lista de variables o atributos. FICHEROS DE ESCRITURA: El comando de la accin escribir WRITE se usa para escribir en un fichero de datos. Los valores que se escriben deben ser tambin enteros, reales, nombres o cadena de caracteres. Cualquier declaracin WRITE cera una nueva lnea en el fichero. Cuando se usa el comando WRITE un nmero de caracteres especiales se utilizan para realizar el formato del fichero: \f: Introduce la alimentacin de formatos. \n: Introduce una nueva lnea. \t: Introduce un espacio tabulado. El nombre del fichero de WITNESS se usa para referenciar el fichero en WITNESS, en declaraciones READ y WRITE. El nombre actual del fichero se refiere al fichero se refiere al fichero del disco duro o disquete. Esto no tiene por que ser el mismo nombre que el fichero de WITNESS. Tambin es posible especificar el directorio en el cual se encuentra el fichero. Esta facilidad es til cuando se comparan distintas posibilidades de datos. Los datos se pueden guardar en un nmero de ficheros y el nombre del fichero actual cambiar para cada experimento para referenciar el fichero correcto. El formato de la declaracin WRITE es: WRITE nombre del fichero lista de variables o atributos. Los datos obtenidos en los ficheros de texto que se obtienen de WITNESS pueden importarse desde una hoja de Excel, convertirlos en tablas y obtener grficas que nos expresan claramente la evolucin del modelo a lo largo del tiempo.

162