Statistical modelling of CSP solving algorithms performance

The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, experimental results obtained so far show, that with big numbers of variables, other algorithms perfom much better, specially for hard problems in the transition phase.

Disseny de firmware per mòdul USB de microcontroladors PIC

Disseny o programació d'un codiinformàtic (firmware) que controli el mòdul USB d'un microcontrolador PIC per poder serutilitzat com a base o punt de partida pel disseny d'aplicacions senzilles, on la necessitatprincipal sigui l'intercanvi de dades entre un ordinador personal i un hardware microcontrolat.Es parteix d'un coneixement bàsic del protocol USB, sense ésser necessari conèixer enprofunditat el funcionament d'aquesta interfície de comunicació, qüestió que per altra bandano és necessària perquè les especificacions són molt àmplies i recullen molts supòsits defuncionament específics que no seran d'aplicació per la majoria de dissenys.Per assolir l'objectiu fixat, s'ha orientat el projecte a desenvolupar una aplicacióconcreta per tal d’ acotar els paràmetres defuncionament de la interfície USB, ja que les especificacions són molt àmplies i cal focalitzarel nostre interés per saber quines parts d'aquestes especificacions ens seran d'aplicació, també per les possibilitats que dona de control, detecció i correcció d'errors, en saber quina finalitates persegueix i com es suposa que ha de funcionar la nostra aplicació. I com a última raó, haver desenvolupat una aplicació, és també una garantia de funcionamentdel codi resultant i permet demostrar que s'ha assolit l'objectiu inicial.L'aplicació escollida a dissenyar en aquest projecte és un lector electrònic de targetes ambxip integrat (com les bancàries o identificatives) amb un microcontrolador PIC amb mòdulUSB, de manera que, des d’un ordinador i via el port USB, es puguin enviar comandes aaquest tipus de targetes i rebre les corresponents respostes

Desenvolupament de prototips (Android/LibGDX i Unity), per a la producció d'un videojoc d'acció lateral amb plataformes (Ouroboros)

Creació de dos prototips, un per Android i l'altre perUnity, establint les bases per a la producció d'un videojoc d'acció lateral (Beat 'em up)amb plataformes (puzles) anomenat "Ouroboros". Android és un sistema operatiu basat en Linux, designat primerament per mòbils tàctils(smartphones) i tabletes. En concret s'utilitzarà el SDK (Software Development Kit) dins del'entorn de programació Eclipse amb llenguatge Java, i les bases d'un frameworkanomenat LibGDX. Unity, en canvi, és un motor de videojocs multi-plataforma amb un entorn dedesenvolupament integrat, del que nosaltres utilitzarem la versió en Javascript.Es volen explorar les dues plataformes per tal d'esbrinar quina de les dues vies és la mésidònia de cares a la producció final d'un joc

Implementació de software de gestió

Disseny de software de gestió per a una empresa d'aparells elevadors.

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Consumption, investment and life insurance strategies with heterogeneous discounting

[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.

Trust region versus line search for computing the optical flow

We consider the numerical treatment of the optical flow problem by evaluating the performance of the trust region method versus the line search method. To the best of our knowledge, the trust region method is studied here for the first time for variational optical flow computation. Four different optical flow models are used to test the performance of the proposed algorithm combining linear and nonlinear data terms with quadratic and TV regularization. We show that trust region often performs better than line search; especially in the presence of non-linearity and non-convexity in the model.

Comentaris sobre alguns aspectes de la relació 'ètica/religió'

En el títol d'aquesta Tribuna se'ns pro posa parlar sobre la relació entre l'ètica i la religió. Plantejar en l'espai d'una revista pedagògica la qüestió «ètica/religió' és encetar al hora molts temes. Però potser el primer i més immediat és el que fa referència a la normativa fins ara vigent que plantejava la necessitat d'optar entre l'assignatura d'ètica i la de religió. No entrarem en consideracions sobre els motius que van provocar aquesta situació, sinó que tan sols expressarem la nostra opinió sobre l'alternativa esmentada.

Llicenciat en Psicopedagogia. Un títol polèmic?

Necessariament l'enfocament i contingut d'aquest article ha de diferir de la resta de treballs que en aquest número de la revista aborden els altres títols de l'Àmbit dé Ciències de l'Educació. La raó és molt simple: en aquest moment encara no ha conclos a la UB el procés d'elaboració i aprovació del Pla d'estudis del títol de Ilicenciat en Psicopedagogia. Potser hauria estat més adequat no incloure-hi cap comentari del Pla. La insisténcia, tal vegada en forma de raó estética, perqué no quedés el 'buit' d'un títol, la gestació del qual no ha estat exempta de polémica, ha minat la resisténcia inicial. Assumint el risc d'allo que és provisional, el contingut d'aquest treball tindra un elevat ingredient técnic, deixant de banda opinions i argumentacions de caracter disciplinari i aportant elements d'informació sobre el procés, encara inacabat, d'elaboració d'aquest Pla d'estudis.

Generació d’un entorn virtual de treball per un robot Stäubli TX60

L’objectiu del treball és emular virtualment l’entorn de treball del robot Stäubli Tx60 quehi ha al laboratori de robòtica de la UdG (dins les possibilitats que ofereix el software adquirit).Aquest laboratori intenta reproduir un entorn industrial de treball en el qual es realitzal’assemblatge d’un conjunt de manera cent per cent automatitzada.En una primera fase, s’ha dissenyat en tres dimensions tot l’entorn de treball que hi hadisponible al laboratori a través del software CAD SolidWorks. Cada un dels conjuntsque conformen l’estació de treball s’ha dissenyat de manera independent.Posteriorment s’introdueixen tots els elements dissenyats dins el software StäubliRobotics Suite 2013. Amb tot l’anterior, cal remarcar que l’objectiu principal del treball consta de duesetapes. Inicialment es dissenya el model 3D de l’entorn de treball a través del software SolidWorks i s’introdueix dins el software Stäubli Robotics Suite 2013. Enuna segona etapa, es realitza un manual d’ús del nou software de robòtica

Concurrent : Easy to use Python computing environment

Concurrent aims to be a different type of task distribution system compared to what MPI like system do. It adds a simple but powerful application abstraction layer to distribute the logic of an entire application onto a swarm of clusters holding similarities with volunteer computing systems. Traditional task distributed systems will just perform simple tasks onto the distributed system and wait for results. Concurrent goes one step further by letting the tasks and the application decide what to do. The programming paradigm is then totally async without any waits for results and based on notifications once a computation has been performed.

Disseny i implementació d'un programari d'adquisició de dades de la producció d'una línia automàtica de palets

This thesis presents a software that allows data acquisition production process, in this case, an automatic pallet nailing line. The recording of these data will enable them to make a track and analyze them later, either with the analytical tools of the application or by the transfer of such data to an Excel sheet or database. The programming language has been developed made by Ladder for the application in the PLC that controls the line of nailing. Control pages for the HMI application that monitors the process. Finally, the Visual Basic language for the production department computer application. To extract production variables from the process, the developed software communicates with the network formed by the PLC and the HMI terminal which stores and control the process using the Modbus TCP/IP protocol.

Pots&Plants Aplicació de Realitat Augmentada

Joc de Realitat Augmentada on l’usuari haurà de complir petits reptes interactuant amb els elements virtuals de l’escena. Aquests elements es presentaran fent us de marcadors. El projecte és un joc on l’usuari ha de cuidar unes plantes. Per a poder fer aquesta feina el jugador realitzarà 3 tipus de reptes. Aquests reptes són petits jocs, és a dir, que hi ha tres tipus de “mini-jocs” dintre de la Aplicació. Degut a que cada jugador té preferències diferents, aquesta divisió́ de jocs permet accedir a un major nombre d’usuaris. Pel seu desenvolupament s'ha fet un recull d’informació i evolució històrica de la Realitat Augmentada. S'han agafant referents de jocs similars en el mercat: PC, Apps i videoconsoles com a base d’inspiració per a la creació de la historia del joc. I finalment una recollida de requeriments tècnics per al desenvolupament tecnològic a nivell de programació i disseny. Amb tota aquesta informació i tenint com a medis de desenvolupament Blender, Unity + Vuforia s'ha complert la implementació del joc.

Desenvolupament d'una app

El TFM ha consistit en participar i conèixer de prop tots el passos de desenvolupament d’una aplicació: elaboració d’un guió, realització de la part gràfica, programació i màrqueting. Per aquest motiu he realitzat unes hores de pràctiques a l'empresa Factoria Interactive SL. Durant aquest periòde vaig realitzar diversos guions per diferents apps relacionades amb continguts matemàtics i vaig participar en el programació de l'app "Dress up". I l'últim pas va consistir en penjar l'app a la botiga de Google Play. Per poder accedir a l'aplicació cal seguir el següent enllaç de Google Play: https://play.google.com/store/apps/details?id=eu.lafactoria.dressup&hl=es