Traductor de especificaciones XML de redes de Petri coloreadas a un lenguaje para la resolución de problemas de optimización

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. De esta manera se podrán optimizar modelos creados en CPN Tools ya que esta herramienta no facilita la optimización. Todo el proyecto se ha realizado en C++.

A parameter-free approach for solving combinatorial optimization problems through biased randomization of efficient heuristics

This paper discusses the use of probabilistic or randomized algorithms for solving combinatorial optimization problems. Our approach employs non-uniform probability distributions to add a biased random behavior to classical heuristics so a large set of alternative good solutions can be quickly obtained in a natural way and without complex conguration processes. This procedure is especially useful in problems where properties such as non-smoothness or non-convexity lead to a highly irregular solution space, for which the traditional optimization methods, both of exact and approximate nature, may fail to reach their full potential. The results obtained are promising enough to suggest that randomizing classical heuristics is a powerful method that can be successfully applied in a variety of cases.

Metodología para la resolución de problemas de optimización

El presente proyecto tiene como objetivo evaluar una metodología para la resolución de problemas de optimización. Para ello se utiliza el formalismo de modelado de Redes de Petri Coloreadas para representar un Sistema de Eventos Discretos, que describirá el problema de optimización a resolver. El caso de estudio a optimizar en este proyecto se conoce como Tiempo de Tránsito de Pasajeros, y se define como el tiempo que tarda un pasajero con escalas en recorrer el trayecto que va desde la puerta de embarque de llegada hasta la puerta de embarque de salida asignada.

Algorithm creation and optimization for the crew pairing problem

Algoritmo que optimiza y crea pairings para tripulaciones de líneas aéreas mediante la posterior programación en Java.

Optimització d'un dispositiu de compactació de pols metàl·lica en calent

El projecte tracta de l’optimització d’un dispositiu de compactació de pols metàl•lica en calent que s’acobla a la màquina d’assaigs mecànics MTS (Material Testing Systems) model 858 i al forn integrat a aquesta. El dispositiu té la funció de compactar la pols metàl•lica amb la força axial de compressió de la MTS, mentre que alhora s’aplica calor del forn integrat. El resultat d’aquest procediment és l’obtenció de mostres compactades i densificades.

Optimització de l'espai: aprofitament màxim d'espais mínims

Treball de recerca realitzat per una alumna d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2008. Es presenta un estudi en diverses parts sobre la utilització de l’espai de l’habitatge: per a què serveix cada espai, quina funció fa i quines pot arribar a fer. En una primera aproximació teòrica s’explica l’evolució de l’habitatge al llarg del temps i el concepte de flexibilitat de l’espai. Segonament s’ha realitzat una revisió bibliogràfica de llibres i documents d’hemeroteca. En tercer lloc s’ha analitzat i comparat la normativa vigent amb l’anterior. En una darrera fase pràctica s’analitzen diversos plànols valorant l’optimització de l’espai.

Optimització i implementació en Simulink de l'adquisició d'un senyal GPS amb blocs FFT

Aquest projecte es tracta de la optimització i la implementació de l’etapa d’adquisició d’un receptor GPS. També inclou una revisió breu del sistema GPS i els seus principis de funcionament. El procés d’adquisició s’ha estudiat amb detall i programat en els entorns de treball Matlab i Simulink. El fet d’implementar aquesta etapa en dos entorns diferents ha estat molt útil tant de cara a l’aprenentatge com també per la comprovació dels resultats obtinguts. El principal objectiu del treball és el disseny d’un model Simulink que es capaç d’adquirir una senyal capturada amb hardware real. En realitat, s’han fet dues implementacions: una que utilitza blocs propis de Simulink i l’altra que utilitza blocs de la llibreria Xilinx. D’aquesta manera, posteriorment, es facilitaria la transició del model a la FPGA utilitzant l’entorn ISE de Xilinx. La implementació de l’etapa d’adquisició es basa en el mètode de cerca de fase de codi en paral·lel, el qual empra la operació correlació creuada mitjançant la transformada ràpida de Fourier (FFT). Per aquest procés es necessari realitzar dues transformades (per a la senyal entrant i el codi de referència) i una antitransformada de Fourier (per al resultat de la correlació). Per tal d’optimitzar el disseny s’utilitza un bloc FFT, ja que tres blocs consumeixen gran part dels recursos d’una FPGA. En lloc de replicar el bloc FFT, en el model el bloc és compartit en el temps gràcies a l’ús de buffers i commutadors, com a resultat la quantitat de recursos requerits per una implementació en una FPGA es podria reduir considerablement.

La difusió de la producció científica a la UPF : optimització de recursos

Un dels objectius estratègics de la Universitat Pompeu Fabra és que la recerca produïda a la universitat tingui la major visibilitat i projecció. La Biblioteca ha promogut dues iniciatives importants, i complementaries entre si, com a contribució principal a la realització d'aquest objectiu: el Portal de Producció Científica (PPC) i el Repositori Digital de la UPF (l'e-Repositori). En la presentació s'explicaran diverses actuacions (implementació de programaris de suport, reutilització de metadades, organització del personal, etc.) que permeten optimitzar els fluxos de treball, per tal que, amb pocs recursos, es pugui assegurar la sostenibilitat d'aquests projectes.

Disseny i optimització metològica de sistemes telemàtics interactius per a la millora de la docència universitària : l'entorn BSCW i nous recursos docents

Aquest projecte de dos anys de durada, ha tingut com a objectius: el disseny i la creació de recursos multimèdia, així com, l’optimització de metodologies d'aplicació de sistemes telemàtics interactius per a la millora de la docència universitària. Com a entorn telemàtic s’ha utilitzat la plataforma de treball cooperatiu BSCW (Basic Support for Cooperative Work). S'ha dissenyat i produït un recurs multimèdia enfocat a l'alumnat de l'assignatura troncal Ciències naturals i la seva didàctica de la diplomatura de Mestre d'Educació Primària, que porta per títol 'Alimentació i nutrició humanes i la seva didàctica’ i es pot consultar a: http://www.ub.edu/didactica_ciencies/mqd06/. Aquest material està format per dues unitats: a) Alimentació i nutrició; b) L'ensenyament-aprenentatge de la digestió humana des d'una perspectiva constructivista. Les unitats s'han orientat a la millora de la formació inicial dels futurs mestres i tenen un enfocament de clar caire constructivista, amb exercicis interactius de detecció de concepcions alternatives, així com organitzadors previs, posteriors nodes expositius i d'obtenció d'informació, exercicis interactius destinats al canvi conceptual i una interactivitat d'avaluació final amb un cert caràcter sumatiu. Cada unitat es tanca amb un mapa conceptual dels continguts tractats. La metodologia emprada en la seva elaboració és una evolució de la que l'equip de la Universitat Pompeu Fabra va encetar en la web ‘Aracné. Ciència en xarxa’: http://www.edu365.com/aulanet/aracne/ (usuari i contrasenya: guest100), i va perfeccionar a 'Idees i vincles en el segle XX. La ciència': http://www.xtec.es/aulanet/seglexx/ (cal permetre que s'obrin finestres emergents), en ambdós casos hi ha col·laborat professorat del nostre grup d'innovació docent de la UB.

Line search multilevel optimization as computational methods for dense optical flow

We evaluate the performance of different optimization techniques developed in the context of optical flowcomputation with different variational models. In particular, based on truncated Newton methods (TN) that have been an effective approach for large-scale unconstrained optimization, we develop the use of efficient multilevel schemes for computing the optical flow. More precisely, we evaluate the performance of a standard unidirectional multilevel algorithm - called multiresolution optimization (MR/OPT), to a bidrectional multilevel algorithm - called full multigrid optimization (FMG/OPT). The FMG/OPT algorithm treats the coarse grid correction as an optimization search direction and eventually scales it using a line search. Experimental results on different image sequences using four models of optical flow computation show that the FMG/OPT algorithm outperforms both the TN and MR/OPT algorithms in terms of the computational work and the quality of the optical flow estimation.

On the stability of the optimal value and the optimal set in optimization problems

The paper develops a stability theory for the optimal value and the optimal set mapping of optimization problems posed in a Banach space. The problems considered in this paper have an arbitrary number of inequality constraints involving lower semicontinuous (not necessarily convex) functions and one closed abstract constraint set. The considered perturbations lead to problems of the same type as the nominal one (with the same space of variables and the same number of constraints), where the abstract constraint set can also be perturbed. The spaces of functions involved in the problems (objective and constraints) are equipped with the metric of the uniform convergence on the bounded sets, meanwhile in the space of closed sets we consider, coherently, the Attouch-Wets topology. The paper examines, in a unified way, the lower and upper semicontinuity of the optimal value function, and the closedness, lower and upper semicontinuity (in the sense of Berge) of the optimal set mapping. This paper can be seen as a second part of the stability theory presented in [17], where we studied the stability of the feasible set mapping (completed here with the analysis of the Lipschitz-like property).

Disseny i optimització de membranes compòsit amb xarxes metal•loorgàniques per a nanofiltració i separacions de gasos

Projecte de recerca elaborat a partir d’una estada a la Katholieke Universiteit Leuven, Belgium, entre 2007 i 2009. Aquest projecte descriu la síntesi i aplicació de nous tipus de membranes compòsit basades en xarxes metal•loorgàniques (MOFs). Aquestes es van seleccionar tenint en compte les seves propietats estructurals per tal de discriminar les espècies a separar en funció de la seva mida molecular. Les membranes obtingudes s'han aplicat satisfactòriament tant en separacions líquides, concretament en nanofiltració resistent a dissolvents (SRNF), i en separació de parells de gasos com CO2/CH4, CO2/N2 i H2/CO2. Els resultats obtinguts posen de manifest l'obtenció de membranes sense defectes i amb rendiments prometedors, en la majoria dels casos, amb permeabilitats i selectivitats superiors a membranes purament polimèriques. Tanmateix s'ha desenvolupat un nou equipament d'alt rendiment (HT) per a separacions de gasos que inclou un mòdul que permet realitzar 16 experiments simultàniament. Els resultats obtinguts amb el nou equip són comparables amb els obtinguts amb mòduls convencionals, i alhora presenten una millor reproduïbilitat. Finalment, s'ha establert un nou mètode per a obtenir membranes per a SRNF, que han estat aplicades en processos de separació de catalitzadors homogenis en dissolvents polars apròtics i s'han caracteritzat emprant la tècnica d'espectroscòpia d'annihilació de positrons, que ha permès establir per primer cop una relació entre les propietats estructurals de les membranes a nivell molecular i el seu rendiment en les aplicacions anteriors.