Bitácora de Fernando Tricas en la EINA
Notas sobre actualidad relacionada con mis asignaturas

Thu, 18 Sep 2014

Accepted paper: "Using the Incidence Matrix in an Evolutionary Algorithm for Computing Minimal Siphons in Petri Net Models"

Our paper entitled "Using the Incidence Matrix in an Evolutionary Algorithm for Computing Minimal Siphons in Petri Net Models" has been accepted for the 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).

Abstract:
Petri nets are graph based tools to model and study concurrent systems and their properties; one of them is liveness, which is related to the possibility of every part of the system to be activated eventually. Siphons are sets of places that are related to liveness properties. When we need to deal with realistic problems its computation is hard or even impossible and this is why in this paper we are approaching it using evolutionary computation, a meta-heuristic that has proved it can successfully find solutions when the search space is big. In a previous work a formulation of the siphon property based on linear constraints and a genetic algorithm was proposed for general Petri Nets. Here we propose to adapt an algebraic method based on the selection of rows of the matrix that cancel in an adequate way input and output transitions so the resulting selection is a siphon. We will also present an evaluation for a family of resource allocation systems (RAS). The proposed solution is based on a genetic algorithm (GA); we can see how siphons can be computed using this genetic algorithm, with experiments showing that in some cases they are able to find a few solutions in less time than previous deterministic algorithms.
It will appear soon in my Research Interests page, but if you can wait for a copy, just drop me an email.

[18:49] | [research] | Enlace # | Google |

Two papers accepted at ETFA 2014 conference

The papers:

"Enhancing Banker's Algorithm for Avoiding Deadlocks in Systems with Non-sequential Processes" that has been presented with Dr. Michal Žarnay from the University of Žilina.

Abstract:
Deaddlock states are undesirable situations in any system. Their avoiding presents a major issue in control of resource allocation systems (RAS), a theoretical paradigm used in construction of several application systems, including flexible manufacturing systems. In coordinating RAS with non-sequential processes, i.e. processes containing concurrent execution in their development, it has been proved that deadlock avoidance policies developed for sequential systems are applicable. This requires, however, transformation of the coordinating RAS structure using reachability graph of single processes to a sequential RAS, what brings the exponential growth of the modelled system size.
In this paper, we present a deadlock avoidance method that allows using the original system, coordinating RAS with non-sequential processes, with additional data structures calculated before the system start. It is a banker's like approach -- an enhanced version of the banker's algorithm with our proposed data structures manipulation.


"The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach" was presented with Drs. J. P. López-Grao and J. M. Colom from the Universidad de Zaragoza.

Abstract:
The disparity of Petri net models in the literature for the study of resource allocation problems in Flexible Manufacturing Systems (FMSs) is overwhelming. Paradoxically, those models often strongly overlap in terms of their modeling capability. Such clustering seems to be impelled by a mature knowledge of results which capsize liveness at the topological level of the FMS for families of models which comply with some properties of good behaviour. Not rarely, such properties are embraced at the expense of severe or inconsistent syntax restrictions paying slight regard to actual modelling requirements in the application domain of FMSs. In this paper, we promote a distillation of the current amalgam of subclasses and tangent results, proposing taxonomic categories that allow capturing the different capabilities of each kind of model and establishing a reference framework for past and future advances.

[18:48] | [research] | Enlace # | Google |

Mon, 30 Jun 2014

Informática y 'mundo real': hackatones, en ReVisión

Instrucciones hackaton Se acaba de publicar el segundo número de 2014 de ReVisión, la revista de la Asociación de Enseñantes Universitarios de la Informática.

En este número hablamos de una forma de animar a los estudiantes a desarrollar proyectos más cercanos a la realidad. Se trata de organizar o animarles a participar en hackatones, lo contamos en Informática y 'mundo real': hackatones. Como es habitual también puede descargarse en [PDF] Informática y 'mundo real': hackatones.

El número tiene esta vez una sección especial dedicada a aprendizaje y videojuegos.

Hemos colgado en Columnas 2.0 en GitHub el código fuente (en LaTeX) de todos los textos que hemos escrito hasta ahora.

Esta entrada se publicó originalmente en Informática y 'mundo real': hackatones, en ReVisión.

[18:47] | [otros] | Enlace # | Google |

Wed, 11 Jun 2014

En la IV Jornada Anual del Foro de la Gobernanza de Internet en España

Los días 29 y 30 de mayo se celebró la IV Jornada Anual el Foro de la Gobernanza de Internet en España.
De la mano de Pedro J. Canut me invitaron a colaborar coordinando junto a Antonio Fumero la mesa sobre Emprendimiento en Internet. Tecnología y Personas.

Acaban de publicarse los vídeos e imágenes de las jornadas y las traigo aquí por si son de interés.

Para apresurados, el vídeo de la clausura, donde me tocó actar como relator de la mesa (minuto 22.10, vale la pena escuchar todos los resúmenes, claro).

Video:

Para los que no les gusta el vídeo (como a mi), un resumen de las conclusiones leídas:
El emprendimiento también puede ser dentro de organizaciones grandes, hay que generar el caldo de cultivo adecuado. Hablamos entonces de intraemprendedores. El emprendimiento no sólo es tecnología, también hay que tener en cuenta los procesos y las personas.

Aunque nos encontramos en un foro relacionado con internet, consideramos que el lugar es importante, porque nos ayuda a colaborar; ver y estar con otros es importante para mejorar nuestros propios procesos; también establecer relaciones.

Las administraciones pueden ayudar y ayudan. No solo financieramente, sino también en labores de acompañamiento. Hay que preparar buenas propuestas y no desanimarse.

La principal causa de muerte de empresas son las disputas entre los socios. Hay que formalizar las relaciones con contratos y especificaciones claras.

Que un proyecto pueda acabar cerrado no debe frenarnos a la hora de intentarlo: de los fracasos puede surgir, como mínimo, aprendizaje pero también nos puede abrir la puerta a nuevos proyectos. Sería mejor aprender siempre con proyectos exitosos, pero no por ello debemos despreciar cuando no sucede así.

Hablando de financiación, el crowdfunding no es la panacea pero incluye componentes interesantes de experimentación, prueba de nuevas ideas, primeros pasos, pruebas de conceptos, incluso para proyectos más amplios y consolidados.

También como creación de comunidades formadas por personas que son algo más que clientes: no sólo quieren obtener nuestro producto o servicio, sino que además lo apoyan...

Pueden aparecer aspectos de gobernanza, desde esas comunidades que se crean alrededor del proyecto. Es posible generar mercados de ideas y dinámicas relacionadas con las aportaciones financieras de la gente: se pueden establecer mecanismos en los que las administraciones y otras organizaciones apoyan lo que la ciudadanía apoya. Pero no sólo ellas, también hay empresas y entidades que participan en proyectos de crowdfunding.

Los negocios locales y pequeños también funciona bien en el crowdfunding.

La innovación es o puede ser un proceso colectivo, pero ¿sabemos emprender con otros? A veces somos excesivamente individualistas. Puede ser necesario e interesante formar equipos más grandes.

A la hora de recibir financiación un error puede ser pedir demasiado poco. También empezar a tener demasiados socios financieros donde cada uno de ellos aporta un poco, pero se dispersan mucho las opiniones y la toma de decisiones se complica.

No hay un mercado de startups en España. Muchas empresas españolas grandes y consolidadas creen que pueden desarrollar un producto igual al que están viendo en lugar de comprar o invertir en empresas que ya tienen esos productos desarrollados. Hay que tener preparados los mecanismos de salida de los inversores, para que ganen dinero. Se puede paliar un poco buscando la internacionalización.

Las redes sociales pueden ser una plataforma de creación de relaciones tienen valor transformador. No se trata de estar por estar, sino de conseguir construir comunidades de interés alrededor de los proyectos.

Las desventajas regulatorias para los emprendedores: se habló del pago de impuestos, por ejemplo. Las normativas de los países son distintas y las soluciones no escalan bien: muchos modelos impositivos a los que hay que prestar atención y que complican la gestión de nuestro negocio, mientras competimos en un mercado global. Algunos de los competidores no tienen esas limitaciones.

También se puede ver la mesa completa y extraer nuestras propias conclusiones.
Participaron como moderador, Jaime Estévez (@jaime_estevez). CEO y fundador de Agora News y de meseros Daniel Sarasa Funes, proyecto Zaragoza SmartCity del Excmo. Ayuntamiento de Zaragoza. Marta de Miguel (@mamiesp). Project Manager, Servicio de Informática de la Universidad de Zaragoza Estefanía Serrano (@estefansenlared). Jefa del Gabinete de Imagen y Comunicación de la Universidad de Zaragoza Herme García. Socio director, People Call Arístides Senra (@AristidesSenra). Responsable de Innovación, Comercialización y Creación de Empresas de la UPM Enric Senabre (@esenabre). Responsable de proyectos, Goteo

Mesa Redonda: "Emprendimiento en Internet. Tecnología y personas"
Video.


En la páginas Multimedia de las Jornadas se pueden ver todavía más vídeos (del resto de mesas y conferencias) y también fotografías.

Un foro muy interesante y en el que creo que todos aprendimos mucho. Que se repita.

Entrada publicada originalmente en En la IV Jornada Anual del Foro de la Gobernanza de Internet en España.

[17:24] | [otros] | Enlace # | Google |

Thu, 05 Jun 2014

Accepted paper: "Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach"

Our paper entitled "Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach" has been accepted for the International Workshop on Petri Nets and Software Engineering.

Abstract:
Petri Nets are graph based tools to model and study concurrent systems and their properties; one of them is {\em liveness}, which is related to the possibility of every part of the system to be activated eventually. Siphons are sets of places that have been related to liveness properties. When we need to deal with realistic problems its computation is hard or even impossible and this is why in this paper we are approaching it using evolutionary computation, a meta-heuristic that has proved it can successfully find solutions when the search space is big. In this work a formulation of the siphon property using linear constraints is presented for general Petri Nets. We will also present an evaluation for a family of resource allocation systems (RAS). The proposed solution is based on a genetic algorithm (GA); we will show how siphons can be computed using it, with experiments showing that in some cases they are able to find a few solutions in less time than previous deterministic algorithms.

It will appear soon in my Research Interests page, but if you can wait for a copy, just drop me an email.

[12:31] | [research] | Enlace # | Google |




Ir a mi página web
Enviarme correo: ftricas@unizar.es


Estadísticas de acceso a este sitio



Para recibir por correo electrónico las actualizaciones de esta página:

Email:
R-mail powered


Calendario
< September 2014
SuMoTuWeThFrSa
  1 2 3 4 5 6
7 8 910111213
14151617181920
21222324252627
282930    



Historias viejas
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004



Categorías



Enlaces:

Esta página se gestiona con pyblosxom.

Made with PyBlosxom