Metodología para optimización, a través de algoritmos genéticos, de sistemas de manufactura flexible libres de bloqueos modelados mediante redes de Petri [PDF]
, 2017 Dada la amplia gama que se puede dar en los Sistemas de Manufactura Flexible (SMF) y lo tedioso que puede llegar a ser el seguimiento de los diferentes procesos, es de vital importancia encontrar una metodología de representación de estos procesos.
Grisales Londoño, Cristian Camilo +1 more
core
Modelo computacional para la estimación del tamaño de frutas [PDF]
, 2004 Se presenta un simulador del crecimiento de fruta para soporte de decisiones comerciales y logísticas. El objetivo principal del simulador es estimar el tamaño que presentará la fruta en tiempo de cosecha, en base a pronó ...
Mayorano, Fernando Javier
core
Kamchatka: Revista de Análisis CulturalLos memoriales dedicados a las víctimas de violaciones de derechos humanos han sido abundantemente analizados en contextos de justicia transicional. En este artículo se estudia un tipo de memorial que ha recibido escasa conceptualización teórica y poca ...
Paloma Aguilar Fernández +2 more
semanticscholar +1 more source
Sistemas distribuidos de tiempo real: modelización y verificación de las restricciones de tiempo [PDF]
, 1999 La naturaleza de los sistemas distribuidos de tiempo real (SDTR) requiere técnicas de análisis, diseño y prueba especificas que permitan representar las situaciones típicas de estos sistemas.\nUn sistema distribuido de tiempo real debe interactuar con el
De Giusti, Armando Eduardo +1 more
core +1 more source
Álgebra lineal en la educación para el desarrollo sostenible [PDF]
, 2018 Descripció del recurs: 5 de febrer de 2018Llibre finançat pel Centre de Cooperació per al Desenvolupament (CCD)-UPC, mitjançant el projecte 2017-S001El objetivo de este libro es desarrollar y trabajar, desde el álgebra lineal, aspectos vinculados al ...
García Planas, María Isabel +2 more
core +2 more sources
Simulación Educativa Mediante Meta-Modelado y Gramáticas de Grafos [PDF]
, 2002 En este artículo se propone el uso de meta-modelado y de gramáticas de grafos como un medio de especificar formalmente simulaciones discretas con un enfoque educativo.
Lara, Juan de
core +1 more source
Generación automática de datos de prueba mediante un enfoque que combina Búsqueda Dispersa y Búsqueda Local [PDF]
, 2008 This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The diagnosis is based on distributed diagnosis since the business process is formed by a process orchestrations modelled by a set of ...
Blanco Aguirre, Raquel +2 more
core
Traductor de especificaciones XML de redes de Petri coloreadas a un lenguaje para la resolución de problemas de optimización [PDF]
, 2009 Este proyecto presenta el desarrollo de una aplicación que permite traducir Redes de Petri Coloreadas diseñadas en CPN Tools a un lenguaje para la generación de ficheros de entrada a un simulador/optimizador de Redes de Petri Coloreadas.
Ruiz Sánchez, Jaime +2 more
core
Generación automática de contenidos para videojuegos mediante técnicas evolutivas [PDF]
, 2017 La computación evolutiva es una rama de la IA que engloba un conjunto de técnicas que, a través de la simulación de procesos naturales bioinspirados, son utilizados para la resolución de problemas complejos de búsqueda y aprendizaje.
Lapuente Jiménez, Samuel +1 more
core +1 more source
Interfaz automática de generación de niveles en videojuegos para la prueba de algoritmo de hormigas [PDF]
, 2016 El juego de los Lemmings fue muy popular en la década de los 90. La temática del juego consiste en superar los diferentes obstáculos de un nivel partiendo desde un punto inicial y alcanzar un punto de salida.
Arano García, Juan
core