On stability of solutions to systems of convex inequalities

"Vegeu el resum a l'inici del document del fitxer adjunt."

On continuity of the Álvarez class under deformation

"Vegeu el resum a l'inici del document del fitxer adjunt"

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Revisiting the compositional data. Some fundamental questions and new prospects in Archaeometry and Archaeology

In this paper we examine the problem of compositional data from a different startingpoint. Chemical compositional data, as used in provenance studies on archaeologicalmaterials, will be approached from the measurement theory. The results will show, in avery intuitive way that chemical data can only be treated by using the approachdeveloped for compositional data. It will be shown that compositional data analysis is aparticular case in projective geometry, when the projective coordinates are in thepositive orthant, and they have the properties of logarithmic interval metrics. Moreover,it will be shown that this approach can be extended to a very large number ofapplications, including shape analysis. This will be exemplified with a case study inarchitecture of Early Christian churches dated back to the 5th-7th centuries AD

CoDa-dendrogram: A new exploratory too

The use of orthonormal coordinates in the simplex and, particularly, balance coordinates, has suggested the use of a dendrogram for the exploratory analysis of compositional data. The dendrogram is based on a sequential binary partition of a compositional vector into groups of parts. At each step of a partition, one group of parts isdivided into two new groups, and a balancing axis in the simplex between both groupsis defined. The set of balancing axes constitutes an orthonormal basis, and the projections of the sample on them are orthogonal coordinates. They can be represented in adendrogram-like graph showing: (a) the way of grouping parts of the compositional vector; (b) the explanatory role of each subcomposition generated in the partition process;(c) the decomposition of the total variance into balance components associated witheach binary partition; (d) a box-plot of each balance. This representation is useful tohelp the interpretation of balance coordinates; to identify which are the most explanatory coordinates; and to describe the whole sample in a single diagram independentlyof the number of parts of the sample

Differential epipolar constraint in mobile robot egomotion estimation

The estimation of camera egomotion is a well established problem in computer vision. Many approaches have been proposed based on both the discrete and the differential epipolar constraint. The discrete case is mainly used in self-calibrated stereoscopic systems, whereas the differential case deals with a unique moving camera. The article surveys several methods for mobile robot egomotion estimation covering more than 0.5 million samples using synthetic data. Results from real data are also given

A survey addressing the fundamental matrix estimation problem

Epipolar geometry is a key point in computer vision and the fundamental matrix estimation is the only way to compute it. This article surveys several methods of fundamental matrix estimation which have been classified into linear methods, iterative methods and robust methods. All of these methods have been programmed and their accuracy analysed using real images. A summary, accompanied with experimental results, is given

Compositional analysis of bivariate discrete probabilities

A joint distribution of two discrete random variables with finite support can be displayed as a two way table of probabilities adding to one. Assume that this table hasn rows and m columns and all probabilities are non-null. This kind of table can beseen as an element in the simplex of n · m parts. In this context, the marginals areidentified as compositional amalgams, conditionals (rows or columns) as subcompositions. Also, simplicial perturbation appears as Bayes theorem. However, the Euclideanelements of the Aitchison geometry of the simplex can also be translated into the tableof probabilities: subspaces, orthogonal projections, distances.Two important questions are addressed: a) given a table of probabilities, which isthe nearest independent table to the initial one? b) which is the largest orthogonalprojection of a row onto a column? or, equivalently, which is the information in arow explained by a column, thus explaining the interaction? To answer these questionsthree orthogonal decompositions are presented: (1) by columns and a row-wise geometric marginal, (2) by rows and a columnwise geometric marginal, (3) by independenttwo-way tables and fully dependent tables representing row-column interaction. Animportant result is that the nearest independent table is the product of the two (rowand column)-wise geometric marginal tables. A corollary is that, in an independenttable, the geometric marginals conform with the traditional (arithmetic) marginals.These decompositions can be compared with standard log-linear models.Key words: balance, compositional data, simplex, Aitchison geometry, composition,orthonormal basis, arithmetic and geometric marginals, amalgam, dependence measure,contingency table

Compositional data and Simpson's paradox

Simpson's paradox, also known as amalgamation or aggregation paradox, appears whendealing with proportions. Proportions are by construction parts of a whole, which canbe interpreted as compositions assuming they only carry relative information. TheAitchison inner product space structure of the simplex, the sample space of compositions, explains the appearance of the paradox, given that amalgamation is a nonlinearoperation within that structure. Here we propose to use balances, which are specificelements of this structure, to analyse situations where the paradox might appear. Withthe proposed approach we obtain that the centre of the tables analysed is a naturalway to compare them, which avoids by construction the possibility of a paradox.Key words: Aitchison geometry, geometric mean, orthogonal projection

Shape complexity based on mutual information

Shape complexity has recently received attention from different fields, such as computer vision and psychology. In this paper, integral geometry and information theory tools are applied to quantify the shape complexity from two different perspectives: from the inside of the object, we evaluate its degree of structure or correlation between its surfaces (inner complexity), and from the outside, we compute its degree of interaction with the circumscribing sphere (outer complexity). Our shape complexity measures are based on the following two facts: uniformly distributed global lines crossing an object define a continuous information channel and the continuous mutual information of this channel is independent of the object discretisation and invariant to translations, rotations, and changes of scale. The measures introduced in this paper can be potentially used as shape descriptors for object recognition, image retrieval, object localisation, tumour analysis, and protein docking, among others

Estudi estructural del comportament del cor de l'Església de Sant Genís de Torroella de Montgrí

L’església de Sant Genís acull cada estiu el “Festival Internacional de Músiques deTorroella de Montgrí”, organitzat per les Joventuts Musicals d’aquesta vila. La creixentafluència de públic fa necessari l’augment de les localitats. Per aquest motiu es vol instal•lar una graderia al cor d’aquesta església. Per tal de poder instal•lar aquesta graderia, en primer lloc s’ha de realitzar un estudidel conjunt de l’estructura portant del cor (suportat per un arc). En segon lloc, i degut ala geometria i a l’antiguitat d’aquest arc, és necessari estudiar la seva capacitatd’absorbir el esforços transmesos per les noves sobrecàrregues, a conseqüència del canvi d’ús. Aquest projecte tracta sobre la capacitat del conjunt del cor de l’església de Torroella de Montgrí d’absorbir esforços i es centra especialment en el comportament de l’arc d’aquest conjunt estructural

Estudi hidrodinàmic per elements finits de diferents pales simètriques per a la impulsió a rem en banc fix

Actualment l’esport del rem només s’entén com a activitat de lleure o esport de competició.Dins del rem, hi ha una gran varietat de disciplines esportives; totes coincideixen en l’impuls d’una embarcació mitjançant un sistema de palanques simple. Es diferencien en dos grans grups: el banc mòbil i el banc fix. El banc mòbil disposa d’un seient sobre rodes que permet aprofitar la força de les cames per la impulsió, en canvi, en el banc fix, no hi ha desplaçament del seient, el que implica el treball del tors i braços. Un dels punts que tenen en comú tot el banc fix, és el disseny del seu rem; a diferènciadel banc mòbil on la pala pot tenir el disseny que es vulgui. En banc fix la pala del rem ha de ser simètrica i alineada amb la canya del rem. L’objectiu d’aquest projecte és l’anàlisi hidrodinàmic de diferents models de pales simètriques per tal de determinar el model més eficient, des del punt de vista hidrodinàmic, per a la impulsió de l’embarcació de banc fix. Així, es simularan virtualment diferents models de pales simètriques disponibles en el mercat com models prototipus amb un programa de dinàmica de fluids computacional. L’anàlisi dels resultats determinarà el model més eficient. En la realització del projecte, l’estudi hidrodinàmic es realitzarà de manera virtual a partir de la utilització de programes comercials de dinàmica de fluids. Així com també programes de disseny 3D i programes de mallat que siguin compatibles amb el programa de simulació a utilitzar. En el disseny s’utilitzaran programes com Autocad i Rhinoceros, després, en funció del disseny, utilitzarem un programa d’elements finits anomenat ICEM ANSYS que mallarà la geometria emprada. Finalment, la simulació s’efectuarà amb el programa ANSYS CFX. L’estudi no preveu el càlcul de resistència mecànica dels models ni la seva construcció

Estudi de l’expansió de carrers en ciutats al llarg del temps

El Projecte s’ha desenvolupat dintre del Grup de Geometria i Gràfics de la Udg on es treballa amb projectes de desenvolupament urbanístic 3D. L’objectiu del projecte consisteix en construir una aplicació per simular l’evolució de ciutats expandint els carrers al llarg del temps. L’aplicació es desenvoluparà dintre del projecte urbanEngine incorporant la possibilitat d’expandir ciutats com una extensió d’aquest. A més es vol dissenyat una interfície gràfica d’usuari que faciliti les tasques de configuració i supervisió del sistema

Mètodes de visualització i dinàmica de gasos relacionats amb l'escalat de cintes superconductores en planta prepilot

Ara ja fa un segle del descobriment de la superconductivitat. Aquest fenomen quàntic macroscòpic té aplicacions en el camp de la diagnosi mèdica per MRI (Magnetic Resonance Imaging), que permet obtenir imatges internes detallades del cos humà o en aplicacions científiques com el SQUID (Superconducting Quantum Interference Device), amb el que es poden mesurar camps magnètics molt dèbils, amb límits de detecció fins a 10-15 T. Però les aplicacions dels superconductors no es limiten ni molt menys a aquests camps ja que s‟estan fent grans esforços per poder processar cintes superconductores a gran escala per tal de poder aplicar aquest fenomen a cables de conducció elèctrica, motors, generadors, transformadors, etc. Amb això s‟aconseguiria un increment notable de l‟eficiència energètica amb la consegüent disminució de l‟emissió de gasos d‟efecte hivernacle. En aquest projecte, realitzat al grup de Superconductivitat i Nanoestructuració a Gran Escala de l„ICMAB, s‟han fet diversos muntatges experimentals per tal de poder observar i entendre millor el procés de piròlisi d‟una solució precursora de YBCO en forma de capes primes a sobre de diferents substrats. Aquesta etapa és determinant per obtenir en el procés de creixement una capa texturada i d‟ alta densitat de corrent crítica (Jc). Per això s‟ha fet ús d‟un sistema que permet realitzar la piròlisi de forma relativament ràpida mentre s‟enregistra en vídeo l‟evolució de la capa. En totes les mostres pirolitzades s‟ha estudiat la qualitat, textura i morfologia superficial. També s‟ha intentat veure de forma qualitativa el comportament dinàmic dels gasos a dins d‟una cavitat cilíndrica, que és la geometria utilitzada fins ara per créixer cintes superconductores. Finalment s‟han dissenyat diferents tipus de bufadors per tal d‟introduir els gasos de forma transversal i no longitudinal dins del forn tubular durant el tractament tèrmic, fet que dóna lloc a un increment de la superfície superconductora homogènia. El projecte es distribueix en diferents parts. Inicialment es fa una introducció als superconductors d‟alta temperatura així com els mètodes de fabricació actuals de les cintes superconductores. Seguidament s‟expliquen els objectius que pretenem assolir. En un apartat posterior descrivim les tècniques experimentals utilitzades. Seguidament detallem tots els resultats obtinguts junt amb les seves caracteritzacions. Finalment estudiem el impacte ambiental que ha tingut la realització d‟aquest projecte. Detallem el cost del mateix en un pressupost. En tres annexes ampliem alguns subapartats que per manca d‟espai en el text principal no hem pogut desenvolupar.

Estudio y diseño de filtros pasobanda y en banda dual basados en resonadores microstrip open-loop acoplados

El proyecto está dedicado al estudio y diseño de filtros paso-banda y en banda dual con tecnología microstrip mediante estructuras resonantes de tipo open-loop. Se ha llevado a cabo el diseño de un filtro paso-banda con respuesta Chebyshev, un filtro pasobanda con ceros de transmisión y un filtro de banda dual para WCDMA y WiFi, empleado el método de diseño para filtros basados en resonadores inter-acoplados. Se presentan los modelos eléctricos de los filtros de RF simulados junto con sus respectivos layouts y se comparan las respuestas obtenidas de los dispositivos con las respuestas ideales. En el proyecto se realiza un estudio del comportamiento de los diferentes tipos de acoplamiento entre resonadores open-loop en función de la geometría de la estructura. Las tendencias de comportamiento de los acoplamientos permiten el diseño y colocación de los resonadores para satisfacer las especificaciones del filtro.