INSTITUTO TECNOLÓGICO Y DE ESTUDIOS SUPERIORES DE MONTERREY DISEÑO Y CONSTRUCCIÓN DE UN LABORATORIO VIRTUAL UTILIZANDO REDES DE PETRI
|
|
- Emilio Arroyo Pereyra
- hace 8 años
- Vistas:
Transcripción
1 INSTITUTO TECNOLÓGICO Y DE ESTUDIOS SUPERIORES DE MONTERREY CAMPUS TOLUCA DISEÑO Y CONSTRUCCIÓN DE UN LABORATORIO VIRTUAL UTILIZANDO REDES DE PETRI TESIS Que para obtener el grado académico de MAESTRO EN CIENCIAS En Ingeniería Electrónica PRESENTA CARLOS VÁZQUEZ HURTADO ASESOR DR. LUCIANO CHIRINOS GAMBOA CO-ASESOR M. EN C. ALAÍN CÉSAR GONZÁLEZ GARCÍA TOLUCA, MÉXICO DICIEMBRE
2 ÍNDICE Resumen... Capítulo. Introducción..... Introducción..... Antecedentes Definición del problema Objetivo Justificación Limitación y delimitación Organización de la tesis... Capítulo. Marco teórico..... Introducción..... Sistemas de Eventos Discretos Introducción a las redes de Petri Estructura de redes de Petri Gráficas de redes de Petri Marcajes de redes de Petri Reglas de ejecución de las redes de Petri Espacio de estados de redes de Petri Propiedades de las redes de Petri Seguridad Acotamiento Conservación Vivacidad Alcanzabilidad Técnicas de análisis Árbol de alcanzabilidad Métodos matriciales.3.8. Redes de Petri temporizadas Inclusión del tiempo en un modelo de RdP Redes de Petri con transiciones temporizadas..4. Estabilidad, control y regulación... Capítulo 3. Metodología Introducción Diagrama de flujo de la metodología Metodología Definición del problema Diagrama técnico Diagrama de estados Reglas de ejecución Definición de plazas y transiciones Asignación de marcas... vi ii
3 Gráfica de la red de Petri Análisis de estabilidad Control y regulación Simulación Redes de Petri temporizadas... Capítulo 4. Pruebas y resultados Pruebas Validación del modelo de RdP del sistema Tiempo de respuesta del programa WinCC Tiempos de acceso dentro del Campus Tiempos de acceso fuera del Campus Pruebas del Laboratorio Virtual en quipos de trabajo Resultados Experimento virtual, la forma tradicional Definición del problema Diagrama técnico Grafcet Modelado del experimento virtual utilizando RdP Definición del problema Diagrama técnico Diagrama de estados Reglas de ejecución Definición de plazas y transiciones Asignación de marcas Gráfica de la red de Petri Análisis de estabilidad Control y regulación Simulación Implementación Elección de Hardware y Software Modos de operación Manipulación de los modos de operación Organización del programa Descripción de las funciones Asignación de entradas y salidas Interfase gráfica con WinCC Descripción de la pantalla Visualización mediante cámara de red... Capítulo 5. Resultados y conclusiones Conclusiones Trabajo futuro Referencias iii
4 RESUMEN El objetivo de este proyecto es el de proveer a los estudiantes tanto del ITESM Campus Toluca como de la Universidad de Ciencias Aplicadas de Esslingen, con acceso remoto, al proyecto del Laboratorio Virtual. El Laboratorio Virtual se compone en este momento por un experimento electro-neumático conectado a una computadora personal (servidor) vía un Controlador Lógico Programable (PLC). El usuario puede utilizar un navegador de Internet para acceder al servidor de VNC (Virtual Network Computing) y enviar los parámetros o comandos requeridos al PLC. El modelado puede ser hecho usando redes de Petri o herramientas tradicionales como Grafcet o diagrama de estados. Se ha diseñado un simulador propio para el experimento virtual de manera tal que los estudiantes puedan probar e implementar sus controladores de forma segura. Con el propósito de llevar un seguimiento más real del proceso se añade una cámara de red al servidor. iv
5 CAPÍTULO INTRODUCCIÓN.. INTRODUCCIÓN El propósito de está tesis es modelar, simular e implementar un experimento electroneumático. Dicho experimento supone un proceso industrial sencillo en donde el dispositivo toma y coloca piezas. Para ubicar al experimento dentro de un contexto global denominado en adelante Laboratorio Virtual se conectará el sistema electro-neumático a una computadora personal vía un Controlador Lógico Programable (PLC, acrónimo en inglés de Programmable-Logic Controller). La computadora funcionará como servidor de VNC [5] (Virtual Network Computing) y proveerá a los estudiantes de acceso remoto a través de Internet al Laboratorio Virtual. El proyecto del Laboratorio Virtual surge en el año. Es un trabajo coordinado entre dos universidades para ofrecer a sus estudiantes la oportunidad de trabajar juntos, de resolver problemas considerando diferentes puntos de vista, de aprender nuevos idiomas y de intercambiar culturas. El Laboratorio Virtual brinda desde el punto de vista técnico el uso de herramientas industriales de hardware y software reales. En cuanto al hardware se utilizan actuadores neumáticos de FESTO y para control se emplean PLCs S7-3 de SIEMENS []. Hablando de software se utiliza STEP 7 [3] para programar los PLCs. Para visualización y control se usa WinCC. Este último es un sistema industrial y tecnológicamente neutral capaz de manejar despliegue de gráficas y tareas de control de sistemas en procesos de automatización y producción [4]. El concepto de Laboratorio Virtual se ha manejado ya con un enfoque diferente dentro del ITESM Campus Toluca, así por ejemplo se puede citar el proyecto de dos estudiantes que en el trabajaron bajo el sistema operativo en tiempo real QNX y utilizando los lenguajes de programación Java y C++ [] desarrollaron un programa para control de procesos a distancia basado en una plataforma determinística. Capítulo. Introducción
6 .. ANTECEDENTES El Internet fue creado en 974 como una herramienta de comunicación para institutos de investigación, universidades y la milicia [6]. Las aplicaciones del Internet en la industria son relativamente nuevas y se refieren principalmente al uso de PLCs conectados en línea. Realizar el control de un proceso de manera remota tiene la ventaja de descentralizar el proceso de automatización y control. Una de las principales desventajas de usar este método es que el tiempo desde que se envía un comando al controlador hasta que éste lo recibe y actúa es impredecible. Éste tema ha sido abordado con anterioridad por investigadores de diversas universidades y en la industria. A continuación se mencionan algunos trabajos similares al que en este proyecto se propone: Jorge Tuttas y Bernard Wagner trabajaron en un proyecto titulado Distributed Online Laboratories. El objetivo de este proyecto es el desarrollo de nuevos métodos de aprendizaje así como del equipo apropiado para el aprendizaje y entrenamiento basados en experimentación distribuida [7]. Utilizando herramientas como HTML y Java para construir un laboratorio remoto hace posible que estudiantes de las universidades de Stanford (Stanford Learning Lab) y la universidad de Hannover (Learning Lab Lower Saxony) diseñen, implementen y prueben controladores discretos. Mohamed Shanen y sus colaboradores publicaron en 998 un artículo titulado Remote Laboratory Experimentation en donde describen un proyecto cuyo objetivo es el de proveer a los estudiantes de Case Wetern Reserve y Copoper Union Universities con acceso remoto al control de proceso bytronico [8]. Ellos se valían de un navegador para que el usuario ingresara a su página desde cualquier parte del mundo. Por éste medio podían enviar los parámetros hasta un servidor LabVIEW G conectado a la unidad de control a través de un PLC. Celal Batur y un grupo de investigadores publicaron en Junio del un artículo en donde explican cómo sintonizar de manera remota un controlador de posición PID vía Internet [9]. En su publicación discuten principalmente dos problemas que encontraron al momento de realizar su aplicación; el primero se refiere a los retardos impredecibles en la comunicación Capítulo. Introducción
7 en el sistema de Internet, el segundo se refiere a la confiabilidad de tal metodología de control. Jin Bin trabajó con su equipo para desarrollar un control jerárquico flexible para una línea de ensamble automatizada []. Él y su equipo utilizan un controlador lógico programable basado en redes Petri como estación de control para realizar operaciones de ensamble individuales. Por otro lado, mediante un controlador de línea, forman un número de operaciones de ensamble separadas dentro de una línea de ensamble. Finalmente para interconectar las estaciones de control con los controladores de línea se utiliza una red de área local de bajo costo. S.C. Lauzon desarrolló en colaboración con otros tres investigadores una aplicación de la teoría para sistemas de eventos discretos en la manufactura flexible []. En su artículo presentan la implementación del modelo de Sistemas de Eventos Discretos en conjunción con la tecnología de PLCs para realizar el control en la manufacturación de celdas de carga. Los autores proponen el uso de una computadora personal que posea la capacidad para generar automáticamente estrategias de supervisión y control en línea, así como su consecuente descarga en el PLC. William Burke y Eamonn Byrne desarrollaron un sistema de control de temperatura confiable para el tanque de vació Alcator C-MOD []. Mediante un PLC monitorean 47 termocoples tipo K para medir las temperaturas y controlar los calentadores usando bancos de relevadores de estado sólido. Además el PLC ofrece logging de datos y capacidad para realizar diagnósticos en línea. Noriichi Kanaya desarrolló junto con Asaoka y Maezawa un sistema de control de una bomba de vació usando controladores lógicos programables sobre una red TCP/IP para el anillo de almacenamiento.5-gev [3]. Los investigadores utilizan un PLC para controlar la corriente de dieciséis relevadores de estado sólido, logrando con ello el control simultaneo de dieciséis bombas. Puesto que los PLCs que usan cuentan con un puerto de red TCP/IP es posible conectarlos a una computadora personal (PC). Entonces la PC puede 3 Capítulo. Introducción
8 controlar automáticamente los PLCs enviando un conjunto de instrucciones a través de la red. En el tema de los simuladores Yaobin Chain desarrollo un simulador para control en tiempo real de sistemas de manufactura automatizados utilizando redes de Petri [4]. El software ofrece una herramienta de diseño intuitivo con enfoque gráfico y con capacidad para corregir errores, muy conveniente para modelado y control de sistemas de manufactura. Gasper Music y Drago Matko presentan un artículo llamado Petri net based control of a modular production system [5] en donde plantean un enfoque sistemático para diseño de control secuencial. Su primera meta es mostrar como los modelos con redes de Petri pueden ser usados como herramienta para la especificación del control secuencial que permita el desarrollo sistemático y el análisis de un modelo de especificación. En segundo lugar muestran como el modelo de especificación puede ser usado como dato de entrada para el segundo nivel de coordinación empleando conceptos de control de supervisión. Al final presentan un método de implementación. El doctor Zvi Retchkiman escribió un artículo sobre la teoría de estabilidad para una clase de sistemas dinámicos [6]. En ellos ofrece la teoría de estabilidad básica que se necesita para entender las contribuciones del autor al campo de los sistemas de eventos discretos. Ofrece además fórmulas simplificadas para el análisis de estabilidad de sistemas modelados con redes de Petri..3. DEFINICIÓN DEL PROBLEMA Qué ventajas ofrece a los estudiantes del sistema ITESM Campus Toluca contar con un Laboratorio Virtual que les permita modelar, simular, monitorear y controlar procesos industriales? La creciente demanda por cursos en línea con una validez y respaldo académico fue uno de los motores que llevaron al ITESM a crear la universidad virtual. Este concepto funciona en 4 Capítulo. Introducción
9 el ámbito teórico conceptual, sin embargo, a la fecha no se ofrecen cursos prácticos en línea para que el estudiante interactúe con un proceso industrial. Bajo el concepto del Laboratorio Virtual el alumno está en contacto con estudiantes de universidades en el extranjero para resolver un problema común. Dicho problema comienza al modelar ya sea con Grafcet o con redes de Petri el sistema de manufactura asignado, una vez que se ha conseguido el modelo es necesario validarlo aplicando la teoría de estabilidad para sistemas modelados con redes de Petri y simularlo. La simulación puede ser hecha con simuladores genéricos o con el simulador desarrollado para éste proyecto. Finalmente la implementación se realiza con herramientas como actuadores neumáticos, PLCs y software de visualización y control industrial. Entre las ventajas de ésta propuesta se pueden mencionar: El estudiante puede aplicar sus conocimientos teóricos en la práctica aún desde una localidad remota. El estudiante tiene la oportunidad de intercambiar y aplicar ideas para la solución de problemas con estudiantes de otras universidades, aún cuando éstas se encuentren en continentes diferentes. El estudiante está más motivado a aprender nuevas lenguas que le permitan interactuar de manera más natural con estudiantes de otros países. El estudiante puede intercambiar aspectos culturales de su país al relacionarse con otros estudiantes por un período considerable de tiempo a la vez que resuelven el problema del experimento asignado. El estudiante realiza la implementación de manera más rápida y efectiva al contar con un modelo valido con Grafcet o redes de Petri. El estudiante verifica y corrige errores oportunamente mediante la simulación del proceso. El profesor puede difundir sus conocimientos a mayor distancia, así como aprender o compartir técnicas didácticas con profesores de otras universidades. 5 Capítulo. Introducción
10 .4. OBJETIVO El presente trabajo tiene como objetivo diseñar un Laboratorio Virtual y construir un experimento que simule un proceso industrial controlado y visualizado desde Internet. Dicho proceso será modelado con redes de Petri..5. JUSTIFICACIÓN Este proyecto surge de la inquietud de dotar a los estudiantes de ingeniería o postgrado, con una herramienta que les permita poner en práctica desde su hogar o una localidad remota el conocimiento adquirido en las aulas. Este trabajo se realiza en coordinación con la universidad alemana Esslingen University of Applied Sciences. Lo anterior permitirá un intercambio de ideas y experiencias a través de la red toda vez que los alumnos del Campus tendrán acceso a los experimentos por ellos propuestos y viceversa. Otra de las razones por las que se concibió este proyecto es porque los alumnos que estudian a través de la universidad virtual carecen de talleres prácticos en línea. Aquí se proponen algunos procesos para que el alumno pueda controlar y aportar soluciones creativas. Entre las principales aportaciones de este proyecto están: La construcción de un Laboratorio Virtual que fomenta la colaboración entre distintas universidades. Presenta una metodología para modelar con Grafcet, diagramas de estado y principalmente con redes de Petri. Ofrece un simulador gráfico propio para el proceso del primer experimento virtual. Optimiza recursos e innova al equipo de automatización. Permite adquirir habilidades técnicas de nueva generación. Fomenta el intercambio de ideas y culturas. 6 Capítulo. Introducción
11 .6. LIMITACIÓN Y DELIMITACIÓN Este proyecto está delimitado a diseñar el Laboratorio Virtual y ofrecer una metodología para modelar sistemas de manufactura con redes de Petri ordinarias y temporizadas. Las limitaciones del proyecto son: ) Las sesiones de práctica del estudiante están limitadas por el número de PLCs conectados en línea. ) Dichas sesiones están afectadas por los retardos de Internet que se generan por la carga de la red. 3) En este momento sólo se cuenta con un experimento así que cada grupo de trabajo tiene un tiempo asignado para su sesión de entrenamiento. 4) El simulador de proceso desarrollado sólo puede simular el experimento actual..7. ORGANIZACIÓN DE LA TESIS En el capítulo uno se ofrece un marco introductorio y de referencia en el cual se explica el problema del Laboratorio Virtual, presenta un panorama de trabajos relacionados, se dan los objetivos, la justificación y se delimita el trabajo de tesis. En el capítulo dos se explica la teoría necesaria para comprender el proceso de modelado con redes de Petri. Se divide en tres secciones: Sistemas de eventos discretos, Introducción a las redes de Petri y Análisis de estabilidad, control y regulación para sistemas modelados con RdP. En el capítulo tres se presenta la metodología propuesta para modelado y simulación de sistemas de manufactura utilizando redes de Petri. Se explica dicha metodología utilizando un ejemplo sencillo resuelto paso a paso hasta obtener el modelo en redes de Petri a partir del sistema físico. En el capítulo cuatro se exponen las pruebas realizadas sobre el Laboratorio Virtual y se muestran los resultados obtenidos como son: modelado del experimento del Laboratorio 7 Capítulo. Introducción
12 utilizando Grafcet, modelado del experimento utilizando redes de Petri, la implementación de éste último modelo, la interfase gráfica de control y visualización con WinCC y la visualización del proceso con una cámara de red. En el capítulo cinco se brindan las conclusiones del trabajo, las aportaciones del mismo y se enlistan algunas ideas de trabajo a futuro que puede seguir a partir de esta tesis. 8 Capítulo. Introducción
13 CAPÍTULO MARCO TEÓRICO.. INTRODUCCIÓN En este capítulo se explica la teoría necesaria para comprender el proceso de modelado con redes de Petri expuesto en el capítulo tres. Así mismo se ofrecen técnicas como estabilidad y regulación que permiten crear un modelo libre de errores. Las Redes de Petri (RdP), son una herramienta que sirve para modelar sistemas. El modelo obtenido ofrece información acerca de la estructura y comportamiento dinámico del sistema. Esta información puede ser utilizada para evaluar, sugerir cambios o mejoras y para validar el sistema... SISTEMAS DE EVENTOS DISCRETOS Los sistemas de eventos discretos (DES) son aquellos que están compuestos por elementos que manejan entidades discretas, es decir numerables y diferenciables entre sí [7]. Su funcionamiento está caracterizado por una sucesión finita o infinita de estados estables delimitados por eventos que ocurren, generalmente, de manera asíncrona. La mayor parte de los DES han sido construidos por el hombre; como ejemplo se pueden citar los sistemas de cómputo y los sistemas de producción discretos conocidos también como sistemas de manufactura. En lo que se refiere al diseño y construcción de sistemas de eventos discretos, el modelado constituye una etapa importante. Las pruebas efectuadas sobre el modelo (validación), las cuales incluyen la simulación y pruebas formales, permiten detectar problemas de diseño debidos generalmente a: especificaciones incompletas, ambiguas y a veces erróneas (o irrealizables). La aplicación iterada de pruebas y ajustes conducen a un modelo cuya implementación será confiable. 9 Capítulo. Marco Teórico
14 .3. INTRODUCCIÓN A LAS REDES DE PETRI A continuación se presentan los conceptos básicos de las redes de Petri [8]. Se ofrecen las nociones fundamentales de la teoría de RdP y su aplicación al modelado de sistemas de eventos discretos [5]..3.. Estructura de redes de Petri Una RdP C, es una cuadrupleta: donde: C = (P,T,I,O) (.) { p pn P =,..., } { t t m } es un número finito de plazas, n. (.) T =,..., es un número finito de transiciones, m. (.3) Los multiconjuntos de plazas y transiciones son disjuntos: P T = Φ. I : T P es la función de entrada. (.4) O : T P es la función de salida. (.5) DEFINICIÓN Un lugar p i es una plaza de entrada a una transición t p I t ). Un lugar p i es una plaza de salida de la transición t p O t ). j i ( j j i ( j DEFINICIÓN La multiplicidad de un lugar de entrada p i para una transición t j es el número de ocurrencias de p i en I t ), lo cual es igual a # p, I( t )). ( j ( i j De forma similar la multiplicidad de un lugar de salida p i para una transición t j es el número de ocurrencias de p i en O t ), lo cual es igual a ( p, O( t )). ( j # i j DEFINICIÓN Las funciones de entrada (.4) y salida (.5) se extienden de la siguiente manera: Capítulo. Marco Teórico
15 I : P T ( t, I( p )) = # ( p, O( t )) (.6) # j i i j O : P T ( t, O( p )) = # ( p, I( t )) (.7) # j i i j.3.. Gráficas de redes de Petri DEFINICIÓN Una gráfica de RdP G, es una multigráfica bipartita G = ( V, A) (.8) Donde: V = v, v,..., v } es el multiconjunto de nodos (vértices) (.9) { s A = a, a,..., a } es un multiconjunto de arcos dirigidos a = v, v ) { r j ( j k con v, V. (.) j v k El multiconjunto V puede ser partido en dos multiconjuntos distintos P y T, tal que V = P T ; P T = Φ y para cada arco dirigido a i A si a = v, v ) entonces v P j ( j k j y v k T o v T y v k P. j Nota: Una estructura de RdP consiste de plazas y transiciones, por lo tanto se tienen dos clases de vértices (nodos). Un círculo representa un a plaza y una línea una transición. Ejemplo.. Dibujar la gráfica de la red de Petri que se da a continuación: C = ( P, T, I, O) P = { p,..., p 3 } T = { t,...,t 3 } Capítulo. Marco Teórico
16 ) { I ( t = p } O ( t ) = { p p }, I ( t = { p } O ( t ) = { p p } ) 3 ) { p, 3, I ( t = p } O ( t = { p } 3 ) 3 3 Entonces la gráfica de la RdP anterior es: Figura.. Gráfica de la RdP. Donde las tres plazas se dibujaron como círculos, las tres transiciones como líneas, los arcos están definidos por las funciones de entrada y salida Marcajes de redes de petri Un marcaje µ es una asignación de marcas a las plazas de la Red de Petri. DEFINICIÓN Un marcaje µ en una RdP C = ( P, T, I, O) es una función µ : P Ν ( Ν = Naturales). El marcaje también se define como un vector µ µ = µ, µ,..., µ ) (.) ( n con n = P y cada m µ Ν, es decir, = Ν con µ el número de marcas de la i-ésima i µ i plaza. El marcaje inicial µ es el marcaje original del sistema. Capítulo. Marco Teórico
17 DEFINICIÓN Una RdP con marca M = ( C, µ ) es una red de Petri C = ( P, T, I, O) y un marcaje µ : P Ν que también suele denotarse por: M = ( P, T, I, O, µ ) (.).3.4. Reglas de ejecución para las redes de Petri La ejecución de una RdP está controlada por el número y distribución de las marcas en la red. Las marcas residen en las plazas y controlan la ejecución de las transiciones. Una RdP se ejecuta disparando transiciones, lo cual significa remover marcas de las plazas de entrada a la transición y creando nuevas marcas (distribuidas) en las plazas de salida. Las transiciones solo pueden ser disparadas si están habilitadas. DEFINICIÓN Una transición t j T en una RdP con marca M = ( P, µ ) está habilitada si p i I ( t j ) µ p ) # ( p, I( t )) (.3) ( i i j Una transición se dispara removiendo todas las marcas habilitadas de sus plazas de entrada y depositando en cada una de sus plazas de salida una marca por cada arco de la transición a la plaza. DEFINICIÓN Una transición t j en una RdP con marca M = ( C, µ ) se dispara cuando t j esta habilitada. Si t j es disparada, esto resulta en un nuevo marcaje definido por µ ' : µ '( p ) = µ ( p ) # ( p, I( t )) + # ( p, O( t )) (.4) i i i j i j 3 Capítulo. Marco Teórico
18 .3.5. Espacio de estados de redes de Petri Definiciones: i) El estado de una RdP está definido por su marcaje. ii) El espacio de estados de una red de Petri con m plazas es el conjunto de todas m las posibles marcas Ν. DEFINICIÓN m m La función Próximo estado δ : Ν T Ν para una RdP C = ( P, T, I, O) con marca µ y transición t j T está definida si y sólo si se cumple (.3), y si δ (µ, t j ) esta definida, entonces δ ( µ, t ) = µ ', donde µ ' es igual a (.4) j DEFINICIÓN Para una RdP C = ( P, T, I, O) con marcaje µ, un marcaje µ ' es inmediatamente alcanzable desde µ si existe una transición t j T tal que δ ( µ, t j ) = µ '. DEFINICIÓN El conjunto de alcanzabilidad R ( C, µ ) de una RdP C = ( P, T, I, O) con marca µ es el más pequeño conjunto de marcas definido por:. µ R( C, µ ). Si µ ' R( C, µ ) y µ '' = δ ( µ ', t ) para alguna t j T µ '' R( C, µ ) j DEFINICIÓN La función extendida de próximo estado está definida para un marcaje µ y una sucesión de transiciones σ T como: δ ( µ, t, σ ) = δ ( δ ( µ, t ), σ ) (.5) j j 4 Capítulo. Marco Teórico
19 .3.6. Propiedades de las redes de Petri Seguridad Una plaza p i P de una RdP C = ( P, T, I, O) con un marcaje inicial µ es segura si µ ' R ( C, µ), µ' ( p ). Una RdP se dice ser segura si cada plaza en la red es segura. i Acotamiento Una plaza p i P de una RdP C = ( P, T, I, O) con un marcaje inicial µ es k-segura o k- acotada si µ ' R( C, µ ) existe µ '( ) k. p i Conservación Una red de Petri C = ( P, T, I, O) con marcaje inicial µ es "estrictamente" conservativa si µ ' R( C, µ ) tiene: pi P µ ( p ) = µ '( p ) (.6) i pi P i Nota: En términos de las funciones de entrada y salida se tiene que: I( t ) = O( t ) t T (.7) j j j DEFINICIÓN Una red de Petri C = ( P, T, I, O) con marcaje inicial µ se dice ser conservativa "con respecto a un vector de peso ω " si µ ' R( C, µ ) iµ i ) = i ω ( p ω µ '( p ) (.8) i i i Vivacidad i) Un bloqueo en una RdP es una transición (o una sucesión de transiciones) que no puede(n) ser disparadas. 5 Capítulo. Marco Teórico
20 ii) Una RdP esta viva si no esta bloqueada Alcanzabilidad Dada una red de Petri C = ( P, T, I, O) con marcaje µ, se dice que µ ' es alcanzable si µ ' R( C, µ ) Técnicas de análisis Árbol de alcanzabilidad Se trata de obtener una representación finita de todas las posibles sucesiones de disparo de transición. Ejemplo.. A continuación se obtendrá el árbol de alcanzabilidad de la gráfica de la RdP del ejemplo. considerando que el marcaje inicial es µ = {,, }. Figura.. Gráfica de RdP. Figura.3. Árbol de alcanzabilidad Métodos matriciales Otra alternativa consiste en definir la RdP de la siguiente forma: Una RdP consiste en la cuatrupleta ( P, T, A +, A ) donde P y T son multiconjuntos de plazas y transiciones con: A ( j, i) = #( pi, I( t j )) Entradas a las transiciones (.9) 6 Capítulo. Marco Teórico
21 + A j, i) = # ( p, O( t )) ( i j Salidas a las transiciones (.) son matrices de m renglones ( T = m) y n columnas ( P = n). (Evidentemente el proporcionar estas matrices es equivalente a dar medio de A + y A I : T P y O : T P, ya que por se puede construir O e I respectivamente y viceversa), la ventaja de esta definición es que ahora es posible rescribir todo en forma matricial. [] ) [] lxm Sea e j = (,...,,,,..., entonces t = e j. Ahora suponiendo que tj esta habilitada con un marcaje µ, i.e., e[ j] µ, el nuevo marcaje µ ' es: lxm j µ y como resultado de disparar t j en el marcaje A lxm mxn + [ j] A + e[ j] δ ( µ, t j ) = µ e A donde: + [ j] ( A + ) = µ + e A = µ + e[ j]a (.) + A = A A (.) Ahora en el caso de tener una sucesión de disparos σ = t,..., t j, t j j k entonces: ( [ j ] A + e[ j ] A + + e[ j ]A δ µ, σ ) = µ + e... ( e[ j ] + e[ j ] + + e[ j ]) A = µ +... k = µ + f (σ ) A (.3) k 7 Capítulo. Marco Teórico
22 donde: f ) = e[ j ] + e[ j ] e[ ] j ( σ es llamado "Vector de disparo" de la sucesión j k j k σ = t j, t,..., t. El i-esimo elemento de f (σ ), f (σ ) i denota el número de veces que la transición t i ha sido disparada en la sucesión σ = t j, t j,...,t j. k.3.8. Redes de Petri temporizadas Inclusión del tiempo en un modelo de RdP La inclusión del tiempo en una RdP puede ser hecha asignando tiempos a las transiciones o a los lugares. El nombre que recibe una RdP con restricciones temporales es red de Petri temporizada (RPT) [7]. En general, el tiempo puede ser asignado a los lugares, a las transiciones, o a ambos; sin embargo el tratamiento de los modelos en RPT se ve simplificado cuando se temporiza un solo tipo de nodo RdP con transiciones temporizadas Una RPT a la cual el tiempo esta asociado a las transiciones se le llama RdP con transiciones temporizadas (RPTT). Una RPTT se define como: (C, D, Γ ) donde: C es una RdP ordinaria D (D ={d i }; i = l,...,n) es un conjunto de retardos (o duraciones) asociados a transiciones Γ un conjunto ordenado cuyos elementos ( tj, τ k ) ( de disparo de una transición. T + R ) representan el instante Una RdP es un caso especial de una RPTT donde cada d i =. En esta convención el retardo d j ligado a una transición t j indica la duración del disparo de ésta. Además el árbol de alcanzabilidad de una red de Petri plaza-transición es un conjunto del árbol de alcanzabilidad de una RPT, porque en el mejor de los casos todas las transiciones de la RPT son disparadas. 8 Capítulo. Marco Teórico
23 .4. ESTABILIDAD, CONTROL Y REGULACIÓN En ésta sección se presenta el problema de estabilidad y regulación de sistemas de eventos discretos modelados con redes de Petri usando la teoría de funciones de Lyapunov. Primero se darán algunas caracterizaciones matemáticas que garanticen la estabilidad y regulación [6] Proposición. Sea PN una red de Petri. PN es uniforme y prácticamente estable si existe un m vector estrictamente positivo φ tal que Para su demostración ver [6] v = u T Aφ (.4) Lema. Suponiendo que la ecuación (.4) se cumple, entonces v = u T Aφ Aφ (.5) Definición. Sea PN una red de Petri. PN puede estabilizarse si existe una secuencia de disparo de transición con un vector de conteo de transición u tal que la siguiente ecuación se satisface v = T A u (.6) Comentario. Es importante mencionar que escogiendo un vector u particular, que satisfaga (.6) el árbol de alcanzabilidad se restringe a las marcas finitas de u. Ésta técnica puede utilizarse para obtener algunos vectores u de regulación y quitar algunos eventos no deseados. 9 Capítulo. Marco Teórico
24 CAPÍTULO 3 METODOLOGÍA 3.. INTRODUCCIÓN El laboratorio virtual tiene como primer experimento un sistema posicionador de piezas neumático. El problema es tradicionalmente resuelto utilizando herramientas como Grafcet o diagramas de estado que permiten llevar un seguimiento secuencial del proceso. En este capítulo se describe la metodología para modelar y simular sistemas de manufactura utilizando la teoría de redes de Petri descrita en el capítulo dos. 3.. DIAGRAMA DE FLUJO DE LA METODOLOGÍA El proceso metodológico puede resumirse en el siguiente diagrama de flujo. Figura 3.. Diagrama de flujo. Capítulo 3. Metodología
25 3.3. METODOLOGÍA Con el fin de facilitar la comprensión del modelado con redes de Petri, se partirá de un ejemplo sencillo en el cual se sigue la metodología propuesta en el diagrama de flujo para así obtener la RdP a partir de un problema físico Definición del problema Consiste en explicar la forma en que evoluciona el sistema elegido, es decir, mencionar bajo que condiciones se acciona cada actuador para ejecutar un ciclo de operación completo. Es aconsejable asignarle a cada actuador, sensor, etc. un nombre o sigla para identificarlo. A continuación se define el problema para el ejemplo auxiliar (en adelante se hará referencia a éste como ejemplo 3.) El sistema está compuesto de dos vagones que se desplazan sobre vías independientes por la acción de las señales Di (Movimiento a la derecha) e Ii (Movimiento a la izquierda) con i=,. Las posiciones de los extremos se detectan por los sensores a, b, c y d. Un botón M sirve para iniciar la operación del sistema desde su posición inicial (vagones en reposo a la izquierda): cuando se oprime ambos vagones parten hacia la derecha; al llegar éstos a su extremo derecho deben regresar y detenerse al alcanzar la posición inicial. Solo se puede comenzar un nuevo ciclo cuando los dos vagones estén en la posición inicial. Las velocidades de los vagones pueden ser cualesquiera Diagrama técnico Una vez que se ha planteado el problema se puede obtener el diagrama técnico del sistema. En el diagrama técnico se realiza una representación grafica del proceso que permita comprender de manera visual el funcionamiento dado en la definición del problema. Es aconsejable dibujar los actuadores, sensores y acciones e identificarlos con el nombre o sigla previamente asignada. El diagrama técnico del ejemplo 3. se ilustra en la figura 3.. Capítulo 3. Metodología
26 Figura 3.. Diagrama técnico del sistema Diagrama de estados El diagrama de estados se obtiene dibujando un círculo por cada estado y un arco para cada transición. Los estados representan acciones y las transiciones representan condiciones. Dentro de cada círculo se escribe un número que identifica al estado, el estado inicial se indica con el número más pequeño. Las acciones de los estados se escriben fuera del circulo utilizando la nomenclatura del diagrama técnico y las condiciones de las transiciones se escriben al lado de la flecha de los arcos. Dibujar el diagrama de estados en este caso es opcional pues ocurren múltiples ocurrencias y solo se incluye como parámetro de comparación entre el diagrama de estados y la red de Petri. La figura 3.3. muestra el diagrama de estados reducido del ejemplo 3.. En el diagrama de estados simplificado se obtienen nueve estados y veintiún transiciones. Si se utiliza una tabla de estados se tendrían que considerar 5 posibles combinaciones de los sensores. La figura 3.3. Diagrama de estados del sistema. Capítulo 3. Metodología
27 Reglas de ejecución Los sistemas de producción fueron desarrollados por Newell y Simon para su modelo de cognición humana [9]. Los sistemas de producción son esquemas de representación modular del conocimiento, encontrados principalmente en aplicaciones de inteligencia artificial. La idea básica de estos sistemas está en que el conocimiento se presenta en forma de reglas de producción (reglas de ejecución) con el formato de pares condición-acción: Si tal condición (o premisa, o antecedente) se cumple, Entonces alguna acción ocurre (o resultado, o colusión, o consecuencia). Por ejemplo: Si la luz del semáforo está en verde Y el auto de adelante avanza Entonces avanza tu también. Para el ejemplo 3.. las reglas de ejecución son las siguientes:. Si ambos vagones están detenidos en la izquierda (a,c implica sincronización) Y se presiona el botón M Entonces mover los vagones a la derecha (D,D). Si el vagón llega a la derecha (b) Entonces mover vagón a la izquierda (I) 3. Si el vagón llega a la derecha (d) Entonces mover vagón a la izquierda (I) 4. Si el vagón llega a la izquierda (a) Entones detenerse 5. Si el vagón llega a la izquierda (c) Entonces detenerse 3 Capítulo 3. Metodología
28 Definición de plazas y transiciones Una plaza es un lugar físico dentro del sistema, (i.e. una banda transportadora, las vías de un montacargas, una pila de piezas, el montacargas moviéndose sobre un tramo determinado en cuyo caso la plaza seria el tramo de vías sobre el que se mueve -, etc.) las transiciones son eventos o resultados de esos eventos (acciones) que ejecuta el sistema (i.e. un botón oprimido, el efecto de presionar dicho botón moverse, detenerse-, etc.). Formalmente las redes de Petri ordinarias o plaza-transición se definen en la ecuación (.). En el mismo apartado 3... se ofrecen definiciones importantes sobre la interacción entre plazas y las transiciones mediante funciones de entrada y salida. Para el ejemplo 3. es necesario definir las plazas y transiciones de la red de Petri. Observar que en este caso las plazas corresponden a las posiciones de los vagones y las transiciones a eventos que permiten la evolución de las marcas en las plazas. Definición de plazas P : Vagón en reposo. P : Vagón moviéndose a la derecha. P 3 : Vagón moviéndose a la izquierda. P 4 : Vagón en reposo P 5 : Vagón moviéndose a la derecha. P 6 : Vagón moviéndose a la izquierda. Definición de transiciones T : Botón M presionado T : Detector b oprimido T 3 : Detector a oprimido T 4 : Detector d oprimido T 5 : Detector c oprimido Asignación de marcas Las marcas son puntitos que se colocan dentro las plazas y corresponden a los recursos del sistema (i.e. en un montacargas sobre las vías, la plaza son las vías y el montacargas es la 4 Capítulo 3. Metodología
29 marca -recurso-, es decir, un puntito dentro de la plaza vías). El marcaje es la asignación de marcas a las plazas, formalmente definido por (.). En este momento se conocen las plazas y las transiciones del ejemplo 3., también se les ha dado un significado físico (basándose en las reglas de ejecución), pero falta asignar las marcas. Físicamente existen dos vagones, estos son los recursos del sistema y en redes de Petri cada uno equivale a una marca colocada originalmente en las plazas P y P 4 respectivamente. Entonces el marcaje inicial es µ = (,,,,, ) Gráfica de la red de Petri Una gráfica de RdP es una representación de una estructura de una RdP como una multigráfica dirigida bipartita, definida en (.8). Para dibujarla se toman las siguientes consideraciones: Un círculo representa una plaza, una línea una transición, una flecha un arco. Las plazas contienen a las marcas que se dibujan solamente en la posición inicial, los arcos van de plazas a transiciones, o de transiciones a plazas, pero nunca de plazas a plazas o transiciones a transiciones. Ahora es posible dibujar la gráfica de la red de Petri para el ejemplo 3.. Primero se dibujan seis círculos (correspondientes a cada plaza) y cinco líneas (aquí se dibujaron verticales pero pueden estar en cualquier orientación). Los arcos se dibujan siguiendo el flujo del problema, por ejemplo: la transición uno modela el problema de sincronización (ambos vagones -marcas- deben estar en reposo plazas uno y cuatro- para que dicha transición se habilite, T se dispara si esta habilitada y se presiona el botón M ), las demás transiciones se habilitan cuando su respectiva marca esta en la plaza de entrada y se disparan cuando se satisface la condición de sensado. Figura 3.4. Gráfica de la red de Petri del sistema. 5 Capítulo 3. Metodología
30 Análisis de estabilidad Se comprueba mediante el análisis de estabilidad práctica para sistemas de eventos discretos modelados con redes de Petri usando la teoría de funciones de Lyapunov (ver sección.4). Éste tipo de análisis como su nombre lo indica es práctico y entre los aspectos más importantes que revisa están: que no se creen ni destruyan recursos (marcas), que los estados sean alcanzables, que el sistema no sufra bloqueo y para determinar los vectores de disparo f (σ ) válidos. Para el ejemplo 3. primero se obtiene la matriz de incidencias utilizando la ecuación (.), A = A + A. Después se tiene que satisfacer la implicación de la ecuación (.5) A φ, donde φ es un vector estrictamente positivo. A φ = = Como la ecuación (.5) se satisface, es decir A φ =, entonces el sistema es uniforme y prácticamente estable Control y regulación Mediante el análisis de control y regulación se pueden determinar los vectores de disparo f (σ ) validos en el sistema. Además se puede observar que transiciones se disparan y cuales no. Para realizar el análisis de control y regulación se debe satisfacer la ecuación (.6) A T u, donde u es un vector perteneciente al espacio nulo de la matriz A T. 6 Capítulo 3. Metodología
31 Calculando u para el ejemplo 3. se tiene que: k k k u = k k k El vector u resultante satisface (.6), es decir A T u = y significa que el sistema es completamente controlable y regulable, físicamente quiere decir que todas las transiciones pueden ser disparadas k veces. Desde el punto de vista de vector de disparo se tiene que f ( σ ) = { k, k, k, k, k, k} donde σ = t, t, t, t, t, }. { t Simulación Para verificar que la red de Petri sea viva se pueden utilizar simuladores de redes de Petri, estos se encuentran en Internet. Este ejemplo fue simulado satisfactoriamente utilizando HPSIM V. []. Como no sufrió bloqueo el sistema es vivo Redes de Petri temporizadas Un caso particular de las redes de Petri son las RPT, dichas redes fueron descritas en el capítulo dos. A continuación se extiende el ejemplo 3. al caso de RPTT. Primero se obtiene el árbol de alcanzabilidad del sistema como apoyo (ver figura 3.5). Figura 3.5. Árbol de alcanzabilidad. 7 Capítulo 3. Metodología
32 Ahora, si se toma el vector d = {,4,4,5,5} se tiene la sucesión de disparo resaltada en el árbol σ = t, t, t, t, }. Se supondrá que τ, es decir, la transición t se dispara en { 4 3 t5 cuanto se presione M. Para comprender la evolución del marcaje se dibuja un diagrama de tiempos. = Figura 3.6. Diagrama de tiempos. Lo que genera el vector ϕ = {( t,), ( t,), ( t4,), ( t3,4), ( t5,5)} 8 Capítulo 3. Metodología
33 CAPÍTULO 4 PRUEBAS Y RESULTADOS 4.. PRUEBAS Entre las pruebas aplicadas al sistema se encuentran las siguientes: Validación del modelo de RdP del sistema. Tiempo de respuesta del programa WinCC. Tiempos de acceso dentro del Campus. Tiempos de acceso fuera del Campus. Pruebas del Laboratorio Virtual en equipos de trabajo. A continuación se detalla cada una de las pruebas que fueron realizadas diariamente a lo largo de una semana Validación del modelo de RdP del Sistema. El modelo se puede verificar simulándolo y comprobando sus propiedades. La simulación ya fue descrita en la sección y se comprobó que el sistema era vivo. Estabilidad y regulación se comprobaron en y Tiempo de respuesta del programa WinCC. El programa WinCC tiene diferentes tiempos de respuesta para entrada y salida de datos y estos se resumen en la tabla 4.. Operación Tiempo Salida de datos En tiempo real Entrada de datos.5 seg Tabla 4.. Tiempo de respuesta de WinCC Tiempos de acceso dentro del Campus. En la tabla 4.. se resumen los tiempos de acceso al servidor de VNC y el retardo de la pantalla mostrada con respecto a los cambios reales de acuerdo a la hora del día. 9 Capítulo 4. Pruebas y resultados
34 Hora Tiempo (seg) Retardo (seg) 8: 9: 3 : : 3 3 : 5 3 3: : 5 3 5: : 5 3 7: : 3 9: : Tabla 4.. Tiempo de acceso al servidor de VNC. En la tabla 4.3. se resumen los tiempos de acceso y el retardo para recibir la imagen de la cámara de red de acuerdo a la hora del día. Hora Tiempo (seg) Retardo (seg) 8: 3.5 9: 3.5 : 4 : 4 : 7 3: 6 4: 8 5: 8 3 6: 7 3 7: 8 3 Capítulo 4. Pruebas y resultados
35 8: 4 9: 4 : 3 Tabla 4.3. Tiempo de acceso a la cámara de red Tiempos de acceso fuera del Campus. En la tabla 4.4. se resumen los tiempos de acceso al servidor de VNC y el retardo de la pantalla mostrada con respecto a los cambios reales de acuerdo al lugar desde donde se accede. Lugar Tiempo (seg) Retardo (seg) Toluca Alemania Distrito Federal Tabla 4.4. Tiempo de acceso al servidor de VNC. En la tabla 4.5. se resumen los tiempos de acceso a la cámara de red y el retardo para recibir la imagen de acuerdo al lugar desde donde se accede. Lugar Tiempo (seg) Retardo (seg) Toluca 5-3- Alemania - 5- Distrito Federal Tabla 4.5. Tiempo de acceso al servidor de VNC Pruebas del Laboratorio Virtual en equipos de trabajo. La metodología ofrecida para que el estudiante desarrolle el experimento propuesto en esta tesis es la siguiente:. Organizar grupos de trabajo constituidos por estudiantes del ITESM Campus Toluca y estudiantes de la Universidad de Ciencias Aplicadas de Esslingen. Se propone que los 3 Capítulo 4. Pruebas y resultados
36 equipos de trabajo cuenten como máximo con cuatro integrantes de los cuales dos serán mexicanos y dos serán alemanes.. Una vez organizados los grupos de trabajo se asignarán las tareas a desarrollar por cada uno de ellos, entre las posibles tareas están: Modelar y validar el sistema de manufactura utilizando la herramienta apropiada según sea el objetivo de la práctica. Implementar el modelo obtenido en un PLC utilizando para ello el programa VNC. Desarrollar la interfase gráfica correspondiente utilizando WinCC. 3. Ya que se han cumplido las tareas anteriormente propuestas es tiempo de realizar pruebas para lo cual la coordinación entre ambos bandos es imprescindible. 4. La comunicación entre ambos bandos se realiza con herramientas comerciales como Yahoo Messenger o correo electrónico. Se probó la metodología con un grupo de estudiantes tanto mexicanos como alemanes obteniendo resultados satisfactorios en cuanto a tiempos de acceso, organización de grupo, manejo de liderazgo y realización en el tiempo propuesto de las tareas asignadas para cada estudiante. El sistema fue probado dentro y fuera del Campus. Tanto estudiantes como personal académico del ITESM Campus Toluca y la Universidad de Ciencias Aplicadas de Esslingen pudieron firmarse en el servidor del proyecto, enviar los parámetros requeridos, correr, simular y controlar el experimento de manera satisfactoria. La limitación del proyecto es que actualmente solo se cuenta con un experimento y los equipos de trabajo tienen que esperar su turno para la sesión asignada, que además esta limitada en tiempo. Lo anterior no seria tan critico de no presentarse los retardos por carga en la red que ocasionan tiempos de acceso muy lentos. 3 Capítulo 4. Pruebas y resultados
37 Otra limitante encontrada fue en cuanto a que los horarios de trabajo entre ambas universidades están desfasados entre si. Entonces el intervalo de tiempo real entre universidades es de seis horas y se muestra en la tabla 4.6. Inicio común de actividades (hora local) Fín común de actividades (hora local) ITESM 7: A.M. : P.M. FHTE : P.M 8: P.M. Tabla 4.6. Horario de actividades. La comunicación entre estudiantes de ambas universidades se dio exitosamente utilizando herramientas comerciales como correo electrónico o el mensajero de Yahoo. No es necesario desarrollar herramientas propias para este tipo de comunicación pues las antes mencionadas funcionan adecuada y eficazmente para intercambio de mensajes, imágenes y archivos. 4.. RESULTADOS 4... Experimento virtual, la forma tradicional El experimento virtual puede resolverse utilizando Grafcet si se considera como un sistema secuencial en el cual solo ocurre un evento a la vez. En las siguientes líneas se ilustra el proceso de modelado con Grafcet Definición del problema Un disco metálico es movido a la derecha sobre una banda transportadora, al final del recorrido cae por una rampa donde es empujado por un cilindro horizontal (posicionador), cuando el posicionador está completamente extendido un cilindro vertical toma la pieza con ayuda de una ventosa y se mueve a la izquierda, en donde regresa el disco a la banda transportadora. Solo se utiliza un disco y la banda puede permanecer siempre prendida. 33 Capítulo 4. Pruebas y resultados
38 4... Diagrama técnico Figura 4.. Diagrama técnico del sistema Grafcet El Grafcet del sistema se muestra en la figura 4.. Se considera que la banda transportadora siempre está prendida y solamente se utiliza un disco. Figura 4.. Grafcet. La obtención Grafcet concluye el proceso de modelado para el sistema tradicional, y se implementa utilizando máquinas de estado. La forma tradicional de solución y modelado no implica múltiples ocurrencias, si se dibujara la red de Petri quedaría muy similar al diagrama de estados (o al Grafcet), por está razón no se utiliza el enfoque de RdP. 34 Capítulo 4. Pruebas y resultados
39 4... Modelado del experimento virtual utilizando RdP En el apartado anterior se resolvió el problema del Laboratorio Virtual utilizando Grafcet de manera sencilla, porqué utilizar entonces redes de Petri? La respuesta es por eficiencia, el posicionador empuja la pieza hasta que el portador regresó a la derecha y esto es lento. Realizar varios eventos al mismo tiempo reduce tiempo y optimiza los recursos, es por ello que se plantea un modelo con redes de Petri. A continuación se resuelve el experimento virtual utilizando la metodología propuesta para redes de Petri Definición del problema Una banda transportadora mueve cilindros metálicos (piezas) de izquierda a derecha, al llegar al final de dicha banda caen por una rampa. Desde allí son empujados pieza por pieza por un cilindro neumático (posicionador) a la posición de home. El portador toma una pieza usando para ello una ventosa y la coloca en la posición final como efecto del desplazamiento a la izquierda del cilindro de accionamiento lineal. La pieza cae deslizándose por el borde de la estructura en la banda transportadora. El ciclo se repite mientras el sistema este encendido y en modo automático. El sistema es capaz de manejar los siguientes procesos de manera simultanea: Portador moviéndose a la izquierda o a la derecha y extender posicionador. Portador moviéndose a la izquierda o a la derecha y apagar o encender la banda transportadora Diagrama técnico Figura 4.3. Vistas frontal y derecha del sistema neumático. 35 Capítulo 4. Pruebas y resultados
40 Diagrama de estados Al igual que en el ejemplo del apartado 3.3. se tiene múltiple ocurrencia de eventos que justifican el uso de redes de Petri, sin embrago se presenta el diagrama de estados sólo como parámetro de comparación. Note que el diagrama no esta completo pues implica más estados y transiciones pero basta para ilustrar que no es la herramienta de modelado más sencilla. Figura 4.4. Diagrama de estados del sistema Reglas de ejecución Una vez que ha sido definido el problema se puede rescribir en forma de sentencias. Para conseguir los anterior hay que dictar las reglas de ejecución del sistema y son las siguientes:.a. Si hay pieza en la rampa O el posicionador no esta retraído Entonces apagar la banda.b. Si no hay pieza en la rampa Y el posicionador está retraído Entonces prender la banda. Si hay pieza en la rampa Y no hay pieza en home Y el portador está arriba Entonces empujar la pieza 36 Capítulo 4. Pruebas y resultados
Introducción a la Firma Electrónica en MIDAS
Introducción a la Firma Electrónica en MIDAS Firma Digital Introducción. El Módulo para la Integración de Documentos y Acceso a los Sistemas(MIDAS) emplea la firma digital como método de aseguramiento
Más detallesCapítulo 5. Cliente-Servidor.
Capítulo 5. Cliente-Servidor. 5.1 Introducción En este capítulo hablaremos acerca de la arquitectura Cliente-Servidor, ya que para nuestra aplicación utilizamos ésta arquitectura al convertir en un servidor
Más detallesPropuesta de Portal de la Red de Laboratorios Virtuales y Remotos de CEA
Propuesta de Portal de la Red de Laboratorios Virtuales y Remotos de CEA Documento de trabajo elaborado para la Red Temática DocenWeb: Red Temática de Docencia en Control mediante Web (DPI2002-11505-E)
Más detallesPROPUESTAS DE PROYECTO ELÉCTRICO PARA EL PRIMER SEMESTRE 2011
PROPUESTAS DE PROYECTO ELÉCTRICO PARA EL PRIMER SEMESTRE 2011 Profesor Mauricio Espinoza B. Objetivos Propuesta I Diseño de algoritmos de control para los simuladores de Staudinger GMBH de la Escuela de
Más detallesPROYECTOS, FORMULACIÓN Y CRITERIOS DE EVALUACIÓN
PROYECTOS, FORMULACIÓN Y CRITERIOS DE EVALUACIÓN GESTIÓN DE PROYECTOS CON PLANNER AVC APOYO VIRTUAL PARA EL CONOCIMIENTO GESTIÓN DE PROYECTOS CON PLANNER Planner es una poderosa herramienta de software
Más detallesSoftware de Simulación aplicado a entornos de e-learning
Software de Simulación aplicado a entornos de e-learning 2009 Laboratorio de Investigación de Software Universidad Tecnológica Nacional Facultad Regional Córdoba Titulo del Proyecto Software de Simulación
Más detallesManual del Usuario. Sistema de Help Desk
Manual del Usuario Sistema de Help Desk Objetivo del Manual El siguiente manual tiene como objetivo proveer la información necesaria para la correcta utilización del sistema Help Desk. Describe los procedimientos
Más detalles4. Programación Paralela
4. Programación Paralela La necesidad que surge para resolver problemas que requieren tiempo elevado de cómputo origina lo que hoy se conoce como computación paralela. Mediante el uso concurrente de varios
Más detallesCAPÍTULO 3 VISUAL BASIC
CAPÍTULO 3 VISUAL BASIC 3.1 Visual Basic Microsoft Visual Basic es la actual y mejor representación del viejo lenguaje BASIC, le proporciona un sistema completo para el desarrollo de aplicaciones para
Más detallesElementos requeridos para crearlos (ejemplo: el compilador)
Generalidades A lo largo del ciclo de vida del proceso de software, los productos de software evolucionan. Desde la concepción del producto y la captura de requisitos inicial hasta la puesta en producción
Más detallesGUIA SOBRE LOS REQUISITOS DE LA DOCUMENTACION DE ISO 9000:2000
1 INTRODUCCIÓN Dos de los objetivos más importantes en la revisión de la serie de normas ISO 9000 han sido: desarrollar un grupo simple de normas que sean igualmente aplicables a las pequeñas, a las medianas
Más detallesPRUEBAS DE SOFTWARE TECNICAS DE PRUEBA DE SOFTWARE
PRUEBAS DE SOFTWARE La prueba del software es un elemento crítico para la garantía de la calidad del software. El objetivo de la etapa de pruebas es garantizar la calidad del producto desarrollado. Además,
Más detallesCAPÍTULO VI PREPARACIÓN DEL MODELO EN ALGOR. En este capítulo, se hablará acerca de los pasos a seguir para poder realizar el análisis de
CAPÍTULO VI PREPARACIÓN DEL MODELO EN ALGOR. En este capítulo, se hablará acerca de los pasos a seguir para poder realizar el análisis de cualquier modelo en el software Algor. La preparación de un modelo,
Más detallesALGUNAS AYUDAS PARA EL ACCESO AL AULA DIGITAL Contenido
ALGUNAS AYUDAS PARA EL ACCESO AL AULA DIGITAL Contenido Tabla de contenido 1 INFORMACIÓN PERSONAL... 2 1.1 Cómo ingresar al Aula Digital?... 2 1.2 Qué hacer si olvida su contraseña?... 2 1.3 Qué veo cuando
Más detallesM.T.I. Arturo López Saldiña
M.T.I. Arturo López Saldiña Hoy en día, existen diversas aproximaciones al tema de cómo hacer que las personas trabajen dentro de una organización de manera colaborativa. El problema se vuelve más difícil
Más detallesSISTEMAS DE INFORMACIÓN II TEORÍA
CONTENIDO: EL PROCESO DE DISEÑO DE SISTEMAS DISTRIBUIDOS MANEJANDO LOS DATOS EN LOS SISTEMAS DISTRIBUIDOS DISEÑANDO SISTEMAS PARA REDES DE ÁREA LOCAL DISEÑANDO SISTEMAS PARA ARQUITECTURAS CLIENTE/SERVIDOR
Más detallesMANUAL DE USUARIOS DEL SISTEMA MESA DE SOPORTE PARA SOLICITAR SERVICIOS A GERENCIA DE INFORMATICA
MANUAL DE USUARIOS DEL SISTEMA MESA DE SOPORTE PARA SOLICITAR SERVICIOS A Usuario Propietario: Gerencia de Informática Usuario Cliente: Todos los usuarios de ANDA Elaborada por: Gerencia de Informática,
Más detallesIntroducción. Ciclo de vida de los Sistemas de Información. Diseño Conceptual
Introducción Algunas de las personas que trabajan con SGBD relacionales parecen preguntarse porqué deberían preocuparse del diseño de las bases de datos que utilizan. Después de todo, la mayoría de los
Más detalles3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON)
3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1.1 Introducción Este método proporciona un soporte para el diseño creativo de productos de software, inclusive a escala industrial.
Más detallesEn este capítulo se describe la forma de cómo se implementó el sistema de video
En este capítulo se describe la forma de cómo se implementó el sistema de video por medio de una cámara web y un servomecanismo que permitiera al usuario ver un experimento en el mismo instante en que
Más detallesCapítulo 5. Análisis del software del simulador del sistema de seguridad
1 Capítulo 5. Análisis del software del simulador del sistema de seguridad Para realizar análisis del simulador de sistema de seguridad se recurrió a diagramas de flujo de datos (DFD s), ya que se consideró
Más detallesCOMO CONFIGURAR UNA MAQUINA VIRTUAL EN VIRTUALBOX PARA ELASTIX
COMO CONFIGURAR UNA MAQUINA VIRTUAL EN VIRTUALBOX PARA ELASTIX En este manual se presenta el proceso de configuración de una Maquina Virtual en VirtualBox, que será utilizada para instalar un Servidor
Más detallesLiLa Portal Guía para profesores
Library of Labs Lecturer s Guide LiLa Portal Guía para profesores Se espera que los profesores se encarguen de gestionar el aprendizaje de los alumnos, por lo que su objetivo es seleccionar de la lista
Más detallesLos mayores cambios se dieron en las décadas de los setenta, atribuidos principalmente a dos causas:
SISTEMAS DISTRIBUIDOS DE REDES 1. SISTEMAS DISTRIBUIDOS Introducción y generalidades La computación desde sus inicios ha sufrido muchos cambios, desde los grandes equipos que permitían realizar tareas
Más detallesPROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.2 UML: Modelado de casos de uso
PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación II MODELOS y HERRAMIENTAS UML 1 1 Modelado de casos de uso (I) Un caso de uso es una técnica de modelado usada para describir lo que debería hacer
Más detallesSÍNTESIS Y PERSPECTIVAS
SÍNTESIS Y PERSPECTIVAS Los invitamos a observar, a identificar problemas, pero al mismo tiempo a buscar oportunidades de mejoras en sus empresas. REVISIÓN DE CONCEPTOS. Esta es la última clase del curso.
Más detallesA continuación resolveremos parte de estas dudas, las no resueltas las trataremos adelante
Modulo 2. Inicio con Java Muchas veces encontramos en nuestro entorno referencias sobre Java, bien sea como lenguaje de programación o como plataforma, pero, que es en realidad Java?, cual es su historia?,
Más detallesManual de la aplicación de seguimiento docente en la UJI
Manual de la aplicación de seguimiento docente en la UJI Introducción El objetivo del presente documento es, fundamentalmente, informar al PDI sobre el funcionamiento de la aplicación informática de apoyo
Más detallesUnidad didáctica: Funcionamiento de un parking. Actividad: Funcionamiento de un parking de vehículos con entrada y salida automática con:
Unidad didáctica: Funcionamiento de un parking Descripción: Actividad: Funcionamiento de un parking de vehículos con entrada y salida automática con: Detección del vehiculo entrante Recogida de ticket
Más detallesCódigo del programa: PEMDE. Programa Experto en MANEJO DE DATOS CON EXCEL. Modalidad: Virtual. Descripción del programa
Código del programa: PEMDE Programa Experto en MANEJO DE DATOS CON EXCEL Modalidad: Virtual Descripción del programa 1 Presentación del programa Justificación Microsoft Excel es la herramienta de manejo
Más detallesMANUAL DE USUARIO. Se deben seguir los siguientes pasos para la correcta instalación del módulo descargable:
MANUAL DE USUARIO La aplicación para la convocatoria Parques Científicos y Tecnológicos consta de un programa descargable más un módulo web. Mediante el módulo descargable, es posible cumplimentar todos
Más detallesTraducción del. Our ref:
Traducción del Documento: Our ref: Secretaría del ISO/TC 176/SC 2 Fecha: 15 de octubre de 2008 A los Miembros del ISO/TC 176/SC 2 - Gestión de la Calidad y Aseguramiento de la Calidad/ Sistemas de la Calidad
Más detalles1.2 SISTEMAS DE PRODUCCIÓN
19 1.2 SISTEMAS DE PRODUCCIÓN Para operar en forma efectiva, una empresa manufacturera debe tener sistemas que le permitan lograr eficientemente el tipo de producción que realiza. Los sistemas de producción
Más detallesPartes, módulos y aplicaciones de un Controlador de Procesos
Partes, módulos y aplicaciones de un Controlador de Procesos Conceptos PLC Un controlador lógico programable es un sistema que originalmente fue desarrollado para la industria de manufactura, en particular
Más detallesWINDOWS. Iniciando Windows. El mouse
Windows es un sistema operativo, cuyo nombre lo debe al principal elemento de trabajo, la ventana - en inglés window -. Este tiene características como: Multitarea: durante una sesión de trabajo, es posible
Más detallesIntroducción a Moodle
Instituto la Américas de Nayarit Ing. Elías Portugal Luna Qué es Moodle? Moodle es una aplicación web de tipo Ambiente Educativo Virtual, un sistema de gestión de cursos, de distribución libre, que ayuda
Más detallesManual del Alumno de la plataforma de e-learning.
2 Manual del Alumno de la Plataforma de E-learning 3 4 ÍNDICE 1. Página de Inicio...7 2. Opciones generales...8 2.1. Qué es el Campus...8 2.2. Nuestros Cursos...9 2.3. Cómo matricularme...9 2.4. Contactar...9
Más detallesCapitulo 3. Desarrollo del Software
Capitulo 3 Desarrollo del Software 3.1 Análisis del sistema 3.1.1 Organización de la autopista virtual Para el presente proyecto se requiere de simular una autopista para que sirva de prueba. Dicha autopista
Más detallesGuías _SGO. Gestione administradores, usuarios y grupos de su empresa. Sistema de Gestión Online
Guías _SGO Gestione administradores, usuarios y grupos de su empresa Sistema de Gestión Online Índice General 1. Parámetros Generales... 4 1.1 Qué es?... 4 1.2 Consumo por Cuentas... 6 1.3 Días Feriados...
Más detallesWorkflows? Sí, cuántos quiere?
Workflows? Sí, cuántos quiere? 12.11.2006 Servicios Profesionales Danysoft Son notables los beneficios que una organización puede obtener gracias al soporte de procesos de negocios que requieran la intervención
Más detallesApp para realizar consultas al Sistema de Información Estadística de Castilla y León
App para realizar consultas al Sistema de Información Estadística de Castilla y León Jesús M. Rodríguez Rodríguez rodrodje@jcyl.es Dirección General de Presupuestos y Estadística Consejería de Hacienda
Más detallesCURSO COORDINADOR INNOVADOR
CURSO COORDINADOR INNOVADOR PRESENTACIÓN La tarea que el Ministerio de Educación se propone a través de Enlaces, en relación al aseguramiento del adecuado uso de los recursos, con el fin de lograr un impacto
Más detallesCapítulo 6. Desarrollo del Software
Capítulo 6. Desarrollo del Software Introducción El objetivo principal de la presente tesis como su título lo describe, es la animación de las tramas de comunicación principales de WCDMA. Para lograr dicho
Más detallesManual del usuario USO DEL MERCADO
Manual del usuario USO DEL MERCADO Pagina El mercado...1 El área de trabajo...1 Colocación de sus productos...2 Encontrando ofertas y demandas...3 Haciendo y recibiendo propuestas...4 Aceptando una propuesta...5
Más detallesCAPÍTULO I. Sistemas de Control Distribuido (SCD).
1.1 Sistemas de Control. Un sistema es un ente cuya función es la de recibir acciones externas llamadas variables de entrada que a su vez provocan una o varias reacciones como respuesta llamadas variables
Más detallesAdelacu Ltda. www.adelacu.com Fono +562-218-4749. Graballo+ Agosto de 2007. Graballo+ - Descripción funcional - 1 -
Graballo+ Agosto de 2007-1 - Índice Índice...2 Introducción...3 Características...4 DESCRIPCIÓN GENERAL...4 COMPONENTES Y CARACTERÍSTICAS DE LA SOLUCIÓN...5 Recepción de requerimientos...5 Atención de
Más detallesModificación y parametrización del modulo de Solicitudes (Request) en el ERP/CRM Compiere.
UNIVERSIDAD DE CARABOBO FACULTAD DE CIENCIA Y TECNOLOGÍA DIRECCION DE EXTENSION COORDINACION DE PASANTIAS Modificación y parametrización del modulo de Solicitudes (Request) en el ERP/CRM Compiere. Pasante:
Más detalles(PHP y APACHE), y el programa de comunicación Skype, para controlar de manera
Capítulo 4. Llamada Telefónica En este capítulo se explicará la manera en que se configuraron las herramientas web (PHP y APACHE), y el programa de comunicación Skype, para controlar de manera dinámica
Más detallesIngeniería de Software. Pruebas
Ingeniería de Software Pruebas Niveles de prueba Pruebas unitarias Niveles Pruebas de integración Pruebas de sistema Pruebas de aceptación Alpha Beta Niveles de pruebas Pruebas unitarias Se enfocan en
Más detallesSERVIDOR WEB PARA ACCESO EN TIEMPO REAL A INFORMACIÓN METEOROLÓGICA DISTRIBUIDA
SERVIDOR WEB PARA ACCESO EN TIEMPO REAL A INFORMACIÓN METEOROLÓGICA DISTRIBUIDA E. SÁEZ, M. ORTIZ, F. QUILES, C. MORENO, L. GÓMEZ Área de Arquitectura y Tecnología de Computadores. Departamento de Arquitectura
Más detallesLaboratorio de Física Universitaria II. FISI 3014 Primer semestre del año académico 2003-2004 Departamento de Física y Electrónica de la UPR-H
Laboratorio de Física Universitaria II. FISI 3014 Primer semestre del año académico 2003-2004 Departamento de Física y Electrónica de la UPR-H Introducción El programa de Data Studio 1.7, es una aplicación
Más detallesPLATAFORMA VIRTUAL BASADA EN MOODLE
PLATAFORMA VIRTUAL BASADA EN MOODLE GUIA PARA LOS ALUMNOS GUIA PARA LOS ALUMNOS El siguiente documento es un manual de usuario para los alumnos en general, que pertenezcan a la Plataforma Virtual basada
Más detallesCreado dentro de la línea de sistemas operativos producida por Microsoft Corporation.
WINDOWS Windows, Es un Sistema Operativo. Creado dentro de la línea de sistemas operativos producida por Microsoft Corporation. Dentro de los tipos de Software es un tipo de software de Sistemas. Windows
Más detalles1. INTRODUCCIÓN 1.1 INGENIERÍA
1. INTRODUCCIÓN 1.1 INGENIERÍA Es difícil dar una explicación de ingeniería en pocas palabras, pues se puede decir que la ingeniería comenzó con el hombre mismo, pero se puede intentar dar un bosquejo
Más detallesIntroducción a la plataforma Moodle Aníbal de la Torre 2006. Plataforma Moodle. Accediendo a los contenidos
Plataforma Moodle Accediendo a los contenidos Formatos ----------------------------------------------------------------------- 2 Glosarios -----------------------------------------------------------------------
Más detallesPlantilla de buenas prácticas
Plantilla de Buenas Prácticas Julio 2015 Plantilla de buenas prácticas Esta plantilla proporciona información básica cerca las buenas prácticas, incluso también un formulario (p.3) para rellenar y documentar
Más detallesAccesibilidad web GUÍA FUNCIONAL
Accesibilidad web GUÍA FUNCIONAL 0 _ ÍNDICE 01_Introducción 02_Primeros pasos 03_Conceptos 04_Navegación por voz 05_Navegación por teclado 06_Navegación por sonido 07_Compatibilidad con lectores de pantalla
Más detallesFigura 1. Símbolo que representa una ALU. El sentido y la funcionalidad de las señales de la ALU de la Figura 1 es el siguiente:
Departamento de Ingeniería de Sistemas Facultad de Ingeniería Universidad de Antioquia Arquitectura de Computadores y Laboratorio ISI355 (2011 2) Práctica No. 1 Diseño e implementación de una unidad aritmético
Más detallesLa nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx
La nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx Resumen Se dan algunas definiciones básicas relacionadas con la divisibilidad
Más detallesDOCUMENTOS COMPARTIDOS CON GOOGLE DOCS
DOCUMENTOS COMPARTIDOS CON GOOGLE DOCS 1. Introducción Los ambientes de aprendizaje acompañados de trabajos colaborativos como estrategia se revierten en actividades de diferente índole (análisis de videos,
Más detallesInteroperabilidad de Fieldbus
2002 Emerson Process Management. Todos los derechos reservados. Vea este y otros cursos en línea en www.plantwebuniversity.com. Fieldbus 201 Interoperabilidad de Fieldbus Generalidades Qué es interoperabilidad?
Más detallesforma de entrenar a la nuerona en su aprendizaje.
Sistemas expertos e Inteligencia Artificial,Guía5 1 Facultad : Ingeniería Escuela : Computación Asignatura: Sistemas expertos e Inteligencia Artificial Tema: SISTEMAS BASADOS EN CONOCIMIENTO. Objetivo
Más detallesELABORACIÓN DE TABLEROS DINÁMICOS DE COMUNICACIÓN CON EL PROGRAMA EDITOR TICO
ELABORACIÓN DE TABLEROS DINÁMICOS DE COMUNICACIÓN CON EL PROGRAMA (Tico 2.0) EDITOR TICO La idea principal que motivo este proyecto fue trasladar la definición tradicional de tablero de comunicación en
Más detallesReglas de Uso del PACE
(PACE) Reglas de Uso del PACE Dirección de Operación y Financiamiento Dirección General de Bachillerato SUBSECRETARÍA DE EDUCACIÓN MEDIA SUPERIOR 1 CONTENIDO Introducción... 3 Requisitos para operar el
Más detallesCAPITULO V. Conclusiones y recomendaciones. Este capítulo tiene como objetivo mostrar las conclusiones más significativas que se
CAPÍTULO V 74 CAPITULO V Conclusiones y recomendaciones Este capítulo tiene como objetivo mostrar las conclusiones más significativas que se identificaron a lo largo de la investigación. Asimismo, se presentan
Más detalles-OPS/CEPIS/01.61(AIRE) Original: español Página 11 5. Estructura del programa de evaluación con personal externo
Página 11 5. Estructura del programa de evaluación con personal externo 5.1 Introducción Esta sección presenta la estructura del programa de evaluación con personal externo. Describe las funciones y responsabilidades
Más detallesPROPÓSITO... 2 DETERMINANTES PARA UNA BUENA EXPERIENCIA DE USO...
Tabla de Contenido PROPÓSITO... 2 DETERMINANTES PARA UNA BUENA EXPERIENCIA DE USO... 2 1. LA PRESENCIA DE INFORMACIÓN Y AYUDA ÚTIL PARA COMPLETAR LOS TRÁMITES EN LÍNEA.... 2 2. LA DISPONIBILIDAD DE DIVERSOS
Más detallesOrientación acerca de los requisitos de documentación de la Norma ISO 9001:2000
Orientación acerca de los requisitos de documentación de la Norma ISO 9001:2000 Documento: ISO/TC 176/SC 2/N 525R Marzo 2001 ISO Traducción aprobada el 2001-05-31 Prólogo de la versión en español Este
Más detallesMejores prácticas para el éxito de un sistema de información. Uno de los problemas de información dentro de las empresas es contar con datos
ANEXO VI. Mejores prácticas para el éxito de un sistema de información Uno de los problemas de información dentro de las empresas es contar con datos importantes del negocio y que éstos estén aislados
Más detallesSistemas de Gestión de Calidad. Control documental
4 Sistemas de Gestión de Calidad. Control documental ÍNDICE: 4.1 Requisitos Generales 4.2 Requisitos de la documentación 4.2.1 Generalidades 4.2.2 Manual de la Calidad 4.2.3 Control de los documentos 4.2.4
Más detallesREGISTRO DE PEDIDOS DE CLIENTES MÓDULO DE TOMA DE PEDIDOS E INTEGRACIÓN CON ERP
REGISTRO DE PEDIDOS DE CLIENTES MÓDULO DE TOMA DE PEDIDOS E INTEGRACIÓN CON ERP Visual Sale posee módulos especializados para el método de ventas transaccional, donde el pedido de parte de un nuevo cliente
Más detallesCálculo Simbólico también es posible con GeoGebra
www.fisem.org/web/union ISSN: 1815-0640 Número 34. Junio de 2013 páginas 151-167 Coordinado por Agustín Carrillo de Albornoz Cálculo Simbólico también es posible con GeoGebra Antes de exponer las posibilidades
Más detallesRealidad virtual en arquitectura
T E C N O L O G Í A Realidad virtual en arquitectura ALEJANDRO EZEQUIEL JUÁREZ sánchez Imagen que muestra una de las salas equipadas para la investigación en el diseño arquitectónico. Los elementos estructurales
Más detallesDecisión: Indican puntos en que se toman decisiones: sí o no, o se verifica una actividad del flujo grama.
Diagrama de Flujo La presentación gráfica de un sistema es una forma ampliamente utilizada como herramienta de análisis, ya que permite identificar aspectos relevantes de una manera rápida y simple. El
Más detallesEntidad Formadora: Plan Local De Formación Convocatoria 2010
Entidad Formadora: Enterprise Architect Comenzando Puede iniciar Enterprise Architect desde el ícono que se creó en su escritorio de Windows durante la instalación, o alternativamente: 1. Abrir el menú
Más detallesLa netbook puede ser administrada durante su uso en el aula mediante el Software de Gestión del Aula.
Presentación La netbook puede ser administrada durante su uso en el aula mediante el Software de Gestión del Aula. Recursos: Netbook para cada estudiante con software E-learning Class para almnos, computadora
Más detallesSeñal de Referencia: Es el valor que se desea que alcance la señal de salida. SET POINT.
EL ABC DE LA AUTOMATIZACION ALGORITMO DE CONTROL PID; por Aldo Amadori Introducción El Control automático desempeña un papel importante en los procesos de manufactura, industriales, navales, aeroespaciales,
Más detallesCreación y administración de grupos de dominio
Creación y administración de grupos de dominio Contenido Descripción general 1 a los grupos de Windows 2000 2 Tipos y ámbitos de los grupos 5 Grupos integrados y predefinidos en un dominio 7 Estrategia
Más detallesTema 7. SISTEMAS SECUENCIALES SISTEMAS SECUENCIALES SÍNCRONOS
Fundamentos de Computadores. Sistemas Secuenciales. T7-1 INDICE: Tema 7. SISTEMAS SECUENCIALES INTRODUCCIÓN SISTEMAS SECUENCIALES SÍNCRONOS TIPOS DE BIESTABLES o TABLAS DE ECITACIÓN DE LOS BIESTABLES o
Más detallesUNIVERSIDAD DE SALAMANCA
UNIVERSIDAD DE SALAMANCA FACULTAD DE CIENCIAS INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS Resumen del trabajo práctico realizado para la superación de la asignatura Proyecto Fin de Carrera. TÍTULO SISTEMA
Más detalles[Guía N 1 Introducción al Portal WEB de la Universidad Simón Bolívar]
AULA EXTENDIDA El aula extendida es el espacio que ofrece el portal de la universidad para que, a través de la plataforma MOODLE, los docentes mantengan una comunicación online en el proceso enseñanza
Más detallesOficina Online. Manual del administrador
Oficina Online Manual del administrador 2/31 ÍNDICE El administrador 3 Consola de Administración 3 Administración 6 Usuarios 6 Ordenar listado de usuarios 6 Cambio de clave del Administrador Principal
Más detallesCapitulo III. Diseño del Sistema.
Capitulo III. Diseño del Sistema. Para el desarrollo del sistema en la presente tesis se utilizo el paradigma orientado a objetos utilizando el lenguaje Java en su versión 1.2. Por medio de este lenguaje
Más detallesIntérprete entre el Operador y el Ordenador.
Introducción a Windows Generalidades Una computadora es un colaborador rápido y eficaz en la tarea administrativa de la información. La computadora en realidad es capaz de hacer muy pocas cosas, como ser:
Más detallesSección de Introducción.
Sección de Introducción. Imagen 1: Nueva pantalla de bienvenida. La primer pantalla que los usuarios visualizarán, en la última versión del software, es la sección de Introducción. Aquí los usuarios pueden
Más detallesEste documento proporciona la secuencia de pasos necesarios para la construcción de un Diagrama de Flujo. www.fundibeq.org
DIAGRAMA DE FLUJO 1.- INTRODUCCIÓN Este documento proporciona la secuencia de pasos necesarios para la construcción de un Diagrama de Flujo. Muestra la importancia de dos aspectos clave en este proceso:
Más detallesLINEAMIENTOS ESTÁNDARES APLICATIVOS DE VIRTUALIZACIÓN
LINEAMIENTOS ESTÁNDARES APLICATIVOS DE VIRTUALIZACIÓN Tabla de Contenidos LINEAMIENTOS ESTÁNDARES APLICATIVOS DE VIRTUALIZACIÓN... 1 Tabla de Contenidos... 1 General... 2 Uso de los Lineamientos Estándares...
Más detallesCapítulo 3 Diseño del Sistema de Administración de Información de Bajo Costo para un Negocio Franquiciable
Capítulo 3 Diseño del Sistema de Administración de Información de Bajo Costo para un Negocio Franquiciable 1. Introducción. El Sistema de Administración de Información de un Negocio Franquiciable (SAINF)
Más detallesDISEÑO DEL SOFTWARE TRAFFIC ANALYZER. Analyzer. En este capítulo se reporta el desarrollo que se llevó a cabo para realizar el software
3 Diseño del Software Traffic Analyzer En este capítulo se reporta el desarrollo que se llevó a cabo para realizar el software que analiza el tráfico en redes de telefonía y computadoras, denominado Traffic
Más detallesMANUAL DE USUARIO Y EJEMPLO DE UTILIZACIÓN HERRAMIENTA DLP-DELPHI LEARNING PACKAGE
MANUAL DE USUARIO Y EJEMPLO DE UTILIZACIÓN HERRAMIENTA DLP-DELPHI LEARNING PACKAGE PROFESOR: Creación y puesta en marcha de un proceso de aprendizaje Delphi: En esta fase el profesor debe realizar las
Más detallesAgradecimiento: A Javier Lomelín Urrea por su dedicación y esmero en este proyecto. Manuel Fernando Guzmán Muñoz Presidente OMIJal
Karel para todos! 1 Estás interesado en aprender a programar en lenguaje de Karel? Te interesa la Olimpiada Mexicana de Informática? Esta es tu oportunidad de unirte al equipo OMI y ser parte de la mejor
Más detallesMANUAL DE USUARIO DE EGROUPWARE MANUAL DE USUARIO EGROUPWARE
MANUAL DE USUARIO EGROUPWARE 1 INDICE Que es egroupware... 3 Inicio de sesión... 4 Aplicaciones de egroupware... 4 Correo electrónico... 5 Calendario... 7 ACL... 9 Administración de proyectos... 10 Libreta
Más detallesPara ingresar a la aplicación Microsoft PowerPoint 97, los pasos que se deben seguir pueden ser los siguientes:
Descripción del ambiente de trabajo Entrar y salir de la aplicación Para ingresar a la aplicación Microsoft PowerPoint 97, los pasos que se deben seguir pueden ser los siguientes: A través del botón :
Más detallesI. INTRODUCCION. PRACTICA N 03: Control Electroneumático de cilindros de simple y doble efecto usando el simulador FluidSIM
PRACTICA N 0: Control Electroneumático de cilindros de simple y doble efecto usando el simulador FluidSIM I. INTRODUCCION Los electroneumática, como su nombre lo dice, es una técnica que abarca dos grandes
Más detallesLa pestaña Inicio contiene las operaciones más comunes sobre copiar, cortar y pegar, además de las operaciones de Fuente, Párrafo, Estilo y Edición.
Microsoft Word Microsoft Word es actualmente (2009) el procesador de textos líder en el mundo gracias a sus 500 millones de usuarios y sus 25 años de edad. Pero hoy en día, otras soluciones basadas en
Más detallesTema 2. Espacios Vectoriales. 2.1. Introducción
Tema 2 Espacios Vectoriales 2.1. Introducción Estamos habituados en diferentes cursos a trabajar con el concepto de vector. Concretamente sabemos que un vector es un segmento orientado caracterizado por
Más detallesDISEÑO DE FUNCIONES (TRATAMIENTOS)
DISEÑO DE FUNCIONES (TRATAMIENTOS) Diseño Estructurado. Estrategias para Derivar el Diagrama de Estructura. Diseño de Módulos Programables. 1. DISEÑO ESTRUCTURADO El Diseño es el proceso por el cual se
Más detallesTUTORIAL PARA EL SISTEMA DE INSCRIPCIONES REMOTAS
TUTORIAL PARA EL SISTEMA DE INSCRIPCIONES REMOTAS Durante los días de inscripción remota se habilita el sistema de inscripciones. En él podrás llevar a cabo tu proceso de inscripción el cual consiste en
Más detallesPlantilla de Buenas Prácticas
Marzo 2014 Plantilla de Buenas Prácticas Definición de buenas prácticas Una buena práctica se puede definir del siguiente modo: Una buena práctica no es tan sólo una práctica que se define buena en sí
Más detallesCAPÍTULO 2 DEFINICIÓN DEL PROBLEMA
CAPÍTULO 2 DEFINICIÓN DEL PROBLEMA En el capítulo anterior se describió la situación inicial en la que se encontraba la Coordinación de Cómputo Académico (CCA) del Departamento de Ingenierías (DI) de la
Más detalles