000064278 001__ 64278
000064278 005__ 20171221155217.0
000064278 037__ $$aTAZ-PFC-2017-073
000064278 041__ $$aspa
000064278 1001_ $$aFrisón Alegre, Luis Ignacio
000064278 24200 $$aTabu Search optimization for non-linear problems in Petri Nets
000064278 24500 $$aOptimización mediante Búsqueda Tabú para problemas no lineales en Redes de Petri
000064278 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2017
000064278 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/
000064278 520__ $$aLa metaheurística de la Búsqueda Tabú, que consiste en una mejora del método de Búsqueda Local mediante el uso de estructuras de memoria, trata de resolver el problema del estancamiento en un máximo local marcando la solución alcanzada como Tabú y evitándola un número de iteraciones dada (lo que se conoce como Tenencia Tabú), explorando así otras soluciones y permitiendo al algoritmo alcanzar soluciones mejores. Las redes de Petri son una herramienta formal útil para el diseño, análisis e implementación de sistemas concurrentes y distribuidos. Existe una amplia gama de técnicas de análisis funcional y no funcional de este tipo de modelos; algunas de esas técnicas se basan en lo que se conoce como teoría estructural, es decir, en la estructura del modelo (matriz de incidencia, marcado inicial, temporización si la hay) y usan técnicas de programación matemática (como la programación lineal o no lineal) para obtener resultados sobre el comportamiento del modelo. En el ámbito del análisis no funcional, algunas de las propiedades o índices analizables tienen que ver con el rendimiento o prestaciones del sistema (throughput). El problema min-max de Bernardi y Campos consiste en hallar una cota inferior del tiempo de ciclo de la transición que queramos para una red de Petri dada mediante un algoritmo de programación matemática no lineal. Este algoritmo se basa principalmente en elementos estructurales de la Red de Petri bajo estudio. PeabraiN es una herramienta desarrollada en Java que ofrece al usuario una interfaz gráfica amigable para trabajar con Redes de Petri. En este trabajo, se desea implementar la Búsqueda Tabú y adaptarla a la resolución del problema min-max de Bernardi y Campos, para después integrar dicha funcionalidad en PeabraiN y permitir al usuario aplicarla y obtener resultados. Después de la integración, se va a estudiar la aplicación de la búsqueda Tabú a diversos ejemplos con el fin de evaluar su funcionalidad.
000064278 521__ $$aIngeniero en Informática
000064278 540__ $$aDerechos regulados por licencia Creative Commons
000064278 700__ $$aRodríguez Fernández, Ricardo Julio$$edir.
000064278 700__ $$aCampos Laclaustra, Francisco Javier$$edir.
000064278 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas$$cLenguajes y Sistemas Informáticos
000064278 8560_ $$f589288@celes.unizar.es
000064278 8564_ $$s1059501$$uhttps://zaguan.unizar.es/record/64278/files/TAZ-PFC-2017-073.pdf$$yMemoria (spa)
000064278 909CO $$ooai:zaguan.unizar.es:64278$$pproyectos-fin-carrera$$pdriver
000064278 950__ $$a
000064278 951__ $$adeposita:2017-12-21
000064278 980__ $$aTAZ$$bPFC$$cEINA