Sistemes lidar (radar laser) d'ona contínua i baixa potència per a la detecció i mesura de concentració de gasos amb resolució espacial

The present project has performed the study and development of a new technique for the detection of gases with range resolution. This technique called FMCW-lidar is a technique that evolves from the FMCW-radar technique to be applied to lidar systems. Moreover, it takes advantage of the appearance of spectral absorption lines because of the interaction between light and gases to tune the light wavelength of a laser emitter with one of this spectral lines and then detects the backscattered light and analyzes it in order to obtain gas concentration measurements. The first part of the project consisted in the analysis of the WMS technique which is a technique for the in-situ measurement of gases. A complete theoretical analysis has been performed and some experiments have been carried out in order to test the technique and to validate its application to an FMCW-modulated system for the detection of gases. The second part of the project consisted in the analysis of the lidar FMCW technique for solid target detection and its extension to continuous media. The classical form of this technique has been analyzed for a distributed medium and a filtering effect has been found which prevents the accurate acquisition of the medium response. A modification of the technique has been proposed and a validation via simulations and some experiments has been carried on. After performing these tests, a novel system is proposed to be developed and tested in order to perform the indicated gas detection with range resolution.

La poética del desig: amor i bogeria a l'Orlando furioso

Aquesta tesina, amb el títol "La poètica del desig. amor i bogeria a l'Orlando furioso", proposa una nova lectura del poema de Ludovico Ariosto, prenent com a objectiu l'anàlisi de la bogeria del seu protagonista, el Comte Orlando, "che per amor venne in furore e matto / d'uom che sì saggio era stimato prima". Així doncs, pretenem esbrinar per què davant de la constatació de Matteo Maria Boiardo d'un "Orlando innmorato", Ariosto va respondre amb un "Orlando furioso", narrant així "cosa non detta in prosa mai né in rima". Per arribar fins al fons de la qüestió, ens hem preguntat quins són l'origen, la manifestació textual, la dimensió i el significat del concepte de "furor" en el text; interrogants que ens han conduït cap a una bogeria amorosa que és manifestació externa d'un desig insatisfet. Un concepte que, a més a més d'evocar l"Hercules furens" d'Eurípides i Sèneca, ens remet a la teoria dels humors de Galè, al concepte de 'melancholia' d'Aristòtil i a l'eròtica platònica, al mateix temps que reprodueix els models del que Cesare Segre anomena la 'follie littéraire' característica de l'època medieval. A partir d'aquesta anàlisi s'ha interpretat el text com una apologia de les passions en la que es destrona al savi com a paradigma i model ètic, acabant així amb la imatge de l'home com a "animal rationale", situant per contra la seva "humanitas" ja no en la racionalitat (tampoc en la irracionalitat), sinó en la passionalitat, oferint així un retrat de l'ésser humà com a "animal passionalis" , una criatura intermitja en la que haurien de confluir idealment raó i passió.

Prevenció de conflictes i governança descentralitzada: alguns comentaris sobre l'estat de la qüestió en la teoria i en la pràctica

Existeix alguna relació entre governabilitat descentralitzada i prevenció de conflictes? El present article intenta respondre a aquesta pregunta presentant la situació actual de la intersecció entre ambdós conceptes. Partint del fet que el conflicte social és inevitable, així com de l’existència de noves amenaces i conflictes i de noves demandes de seguretat basades en les persones (seguretat humana), les nostres societats han d’intentar que els canvis siguin pacífics. A través d’un exhaustiu anàlisis de la bibliografia existent i de l’estudi de diversos casos, aquest article sosté que la governabilitat descentralitzada pot contribuir a aquests esforços transformant conflictes, fomentant el repartiment de poder i augmentant els incentius d’inclusió de grups minoritaris. Tot i la dificultat de mesurar el seu impacte sobre la prevenció de conflictes, s’argumenta que la governabilitat descentralitzada pot tenir un impacte molt positiu en la reducció de les causes que produeixen conflictes gràcies a la seva habilitat per crear war/violence preventors. Més concretament, en aquest article se suggereix que la governabilitat descentralitzada pot influir positivament sobre les causes a curt i mitjà termini.

Una aplicació crítica de la teoria de la securitització: superant el dilema normatiu d'escriure sobre la seguretat

L’article tracta el dilema normatiu que implica l’aplicació de la `securitització´, com mètode per a comprendre la construcció social de les amenaces i les polítiques de seguretat. La securitització com empresa teòrica i pràctica es utilitzada de manera creixent per part d’acadèmics i executors. El present treball acadèmic pretén proporcionar, a aquells que estan interessats en la teoria de la securitització, una aplicació alternativa de la mateixa que és sensible i auto-reflexiva respecte de les possibles conseqüències normatives que comporta la seva utilització. L’article sosté que l’anàlisi i el debat sobre processos de securitització té implicacions normatives que, en aquest estudi, s’entenen com la securitització negativa d’un referent. En el mateix s’afirma que la securitització negativa d’un referent es duu a terme per mitjà de l’anàlisi acrítica dels processos de securitització que han sorgit a través de relacions d’exclusió i de poder. S’ofereix, doncs, una comprensió crítica i una aplicació dels estudis en securitització com una via per a superar el dilema normatiu anteriorment identificat. Així, en primer lloc, s’examina cóm la creació de la teoria de securitització per part de l’Escola de Copenhague (Copenhagen School) dóna lloc a un dilema normatiu que se situa en el poder performatiu i simbòlic de la seguretat vista com invocació política i concepte teòric. En segon lloc, s’avaluen els intents previs de superació del dilema normatiu dels estudis de securitització perfilant els obstacles als que cadascuna de les propostes s’enfronta. Finalment, aquest article argumenta que el dilema normatiu de l’aplicació de la securitització es pot evitar; en primer lloc, deconstruint el poder institucional dels actors de la seguretat i les subjectivitats predominants respecte de la mateixa i, en segon lloc, oferint enfocaments crítics o alternatius a la seguretat i incorporant diferents subjectivitats en relació a ella. Els exemples rellevants que es donen a l’article son el de la securitització del terrorisme internacional i la immigració.

El camí de la tasca a l'activitat: el treball en petit grup en enfocaments AICLE des de la perspectiva de la Teoria de l'Activitat

Estudi dut a terme dins de l'equip col·laboratiu CLIL-SI, sobre el treball en petit grup en una aula AICLE de ciències en anglès, partint d'una perspectiva sociocultural de l'aprenentatge, i parant especial atenció a la distinció entre tasca (material proposat pel docent) i activitat (allò que els alumnes fan per a realitzar la tasca de manera comunicativa) que proposa la Teoria de l'Activitat. L'objectiu és comprendre millor la dinàmica de grup en el desenvolupament d'una tasca AICLE, i observar les instàncies d'integració de continguts i llengua, per la qual cosa es descriuen i categoritzen les activitats que fan els alumnes

Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Generalized descriptive set theory and classification theory

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

Traduir la Terra Mitjana: la traducció de referents culturals i jocs de paraules en "El Senyor dels anells"

RESUM: En aquest treball de recerca s’han analitzat els referents culturals i els jocs de paraules que apareixen en l’obra El senyor dels anells. Com a reflexió inicial em baso en la hipòtesi que la caracterització de hòbbits, ents i homes, tres races que apareixen en la Terra Mitjana, el món secundari creat per Tolkien, es nodreix, a banda d’altres elements, de jocs de paraules i referents culturals britànics. És fonamental que aquesta afirmació sigui tinguda en compte en l’acte de traducció per respectar la intenció de J. R. R. Tolkien, que en aquesta obra buscava també la creació d’una mitologia britànica versemblant, com si de veritat la Terra Mitjana hagués constituït el passat real del nostre planeta amb els avantpassats britànics com a protagonistes. La composició d’aquest estudi es divideix en: (1) característiques de la literatura fantàstica; (2) aspectes relacionats amb l’autor des de dues vessants: l’una com a acadèmic i l’altra com a escriptor i creador; (3) teoria de la traducció de referents culturals i de jocs de paraules; i (4) corpus de 144 termes extrets del text de sortida analitzats i traduïts a partir de fitxes de traducció. Puc concloure que s’ha demostrat la hipòtesi que em plantejava: els referents culturals i els jocs de paraules són recursos actius en El senyor dels anells i una bona anàlisi d’aquests camps és pertinent per comprendre la magnitud de l’imaginari de J. R. R. Tolkien i realitzar una traducció respectuosa amb la intencionalitat de l’autor. El senyor dels anells és una fairy-story, una obra de fantasia, una fugida de la realitat consensuada (Tolkien no s’amaga d’aquesta fugida i la veu positiva) en què els elements propis del món primari (la cultura britànica i comunitats antigues com l’anglosaxona, la celta o l’escandinava) i del món secundari (els personatges que habiten la Terra Mitjana en el marc temporal de la Tercera Edat) funcionen d’acord amb els principis dels dos móns. Considero que el procés seguit tant en la metodologia, com en l’elaboració dels continguts, com en la traducció dels termes analitzats a través de les fitxes és positiu i útil. Aquesta sistematització del procés i el resultat final poden ser rellevants per a la comunitat traductora, tant per al futur traductor com per al professional.

Decomposable approximations of nuclear C*-algebras

We show that nuclear C*-algebras have a re ned version of the completely positive approximation property, in which the maps that approximately factorize through finite dimensional algebras are convex combinations of order zero maps. We use this to show that a separable nuclear C*-algebra A which is closely contained in a C*-algebra B embeds into B.

Law and the practise of principle in diverse societies

Projecte de recerca elaborat a partir d’una estada a la London School of Economics and Political Science, United Kingdom, entre 2007 i 2009. L’objecte principal del projecte ha estat analitzar les implicacions jurídico-polítiques i institucionals d’una teoria de la justícia i la igualtat liberals aplicada a societats multiculturals amb un marcat predomini de la diversitat cultural. L’anàlisi desenvolupa una línia d'investigació interdisciplinar - entre el dret i la teoria política - iniciada en una tesis doctoral sobre multiculturalisme i drets de les minories culturals (UPF, 2000) que va culminar en la publicació de Group Rights as Human Rights (Springer, 2006). La recerca adopta com a punt de partida les conclusions de l'esmentada obra, en especial, la rellevància del reconeixement de drets col•lectius; tanmateix, el tipus de qüestions plantejades, l’enfoc i la metodologia emprades són substancialment diferents. En concret, s'adrecen preguntes específiques sobre el model i aspiracions del constitucionalisme democràtic i el paper del dret en contextos multiculturals. També s’atorga un pes central a la dimensió institucional dels models de gestió de la diversitat que s’analitzen, prioritzant un enfocament comparatiu a partir de l’estudi de controvèrsies concretes. L’objectiu és superar algunes limitacions importants de la literatura actual, com ara la tendència a examinar en abstracte la compatibilitat de determinades demandes amb el constitucionalisme democràtic, sense abordar el funcionament d'estratègies de gestió de la diversitat cultural emprades en contextos concrets. Els treballs producte d'aquest projecte articulen les línies bàsiques d’un model pluralista, basat en principis més que en regles, que desafia els plantejaments dominants actualment. Aquest model es caracteritza pel compromís amb la legitimitat i igualtat comparatives, rebutjant el paternalisme i les visions liberals típiques sobre el paper de la regulació. La presumpció de l’“standing” moral dels grups identitaris és fonamental per tal de considerar-los interlocutors vàlids amb interessos genuïns. També s’argumenta que la integració social en contextos multiculturals no depèn tant de l’eliminació del conflicte sinó, sobre tot, d’una gestió eficient que eviti abusos de poder sistemàtics. El model defensa el rol del dret en la institucionalització del diàleg intercultural, però admet que el diàleg no necessàriament condueix a l’acord o a una estructura reguladora coherent i uniforme. Les aspiracions del ordre jurídic pluralista són més modestes: afavorir la negociació i resolució en cada conflicte, malgrat la persistència de la fragmentació i la provisionalitat dels acords. La manca d'un marc regulador comú esdevé una virtut en la mesura que permet la interacció de diferents subordres; una interacció governada per una multiplicitat de regles no necessàriament harmòniques. Els avantatges i problemes d’aquest model s'analitzen a partir de l'anàlisi de l’estructura fragmentària de l'ordre jurídic internacional i del règim Europeu de drets humans.

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.

L’impacte de les institucions internacionals sobre la Unió Europea: presa de decisions, integració i europeïtzació

Projecte de recerca elaborat a partir d’una estada a la Center for European Integration de la Freie Universität Berlin, Alemania, entre 2007 i 2009. El tema central del projecte consisteix en la descripció matemàtica de processos espai-temporals mitjançant la teoria dels Continuous-Time Random Walks. L'aportació més significativa del nostre treball en aquest camp consisteix en considerar per primera vegada la interacció entre diversos processos actuant de manera acoblada, ja que fins ara els models existents es limitaven a l'estudi de processos individuals o independents. Aquesta idea fa possible, per exemple, plantejar un sistema de transport en l'espai i a la vegada un procés de reacció (una reacció química, per exemple), i estudiar estadísticament com cada un pot alterar el comportament de l'altre. Això suposa un salt qualitatiu important en la descripció de processos de reacció-dispersió, ja que els nostres models permeten incorporar patrons de dispersió i comportaments temporals (cicles de vida) força realistes en comparació amb els models convencionals. Per tal de completar aquest treball teòric ha estat necessari també desenvolupar algunes eines numèriques (models de xarxa) per facilitar la implementació dels models. En la vessant pràctica, hem aplicat aquestes idees al cas de la dinàmica entre virus i el sistema immunològic que té lloc quan es produeix una infecció a l'organisme. Diferents estudis experimentals portats a terme els últims anys mostren com la resposta immunològica dels organismes superiors presenta una dinàmica temporal força complexa (per exemple, en el cas de la resposta programada). Per aquest motiu, les nostres tècniques matemàtiques són d'especial utilitat per a l'anàlisi d'aquests sistemes. Finalment, altres possibles aplicacions dels models, com ara l'estudi d'invasions biològiques, també han estat considerades.

Estudio de parámetros circuitales de resonadores

El objetivo de este proyecto consiste en el estudio de los parámetros circuitales (condensadores, bobinas…) de un resonador, realizado con estructuras microstrip, donde permita obtener unos resultados de esos parámetros circuitales cambiando los valores físicos del diseño, tales como la longitud y la anchura del resonador a partir de las medidas de los parámetros S. Para llevar a cabo dicho trabajo, se desarrolla en primer lugar toda la teoría necesaria de resonadores. Empezando por el funcionamiento y la estructura del resonador diseñado, y mostrando especial interés en el modelado de dicho resonador. Seguidamente, se estudia y analiza su comportamiento a través de las simulaciones de los parámetros S. Una vez se ha estudiado y analizado su comportamiento, se procede con las modificaciones de los parámetros físicos y se analiza a través de las simulaciones de los parámetros S cómo afectan estas modificaciones en los parámetros circuitales. Donde se utilizan una serie de herramientas que agilizan la extracción de los valores de los parámetros circuitales del resonador.

J2EE de la teoria a la pràctica : enquestes de satisfacció de la docència

Aquest projecte vol fer un estudi de les opcions més conegudes i utilitzades actualment. Vol veure quines possibilitats ofereix el mercat i analitzar amb un cert detall aquelles que poden ser més interessants per als desenvolupadors.

Multilateralismo y minilateralismo en el orden regional de Asia oriental : un análisis de las conversaciones a seis bandas

Esta memoria parte del estudio de la teoría de las Relaciones Internacionales, seguido de un análisis del regionalismo en el Este asiático, así como del multilateralismo y del minilateralismo como modus operandi en las relaciones internacionales y su desarrollo específico en el Noreste asiático, o Asia oriental. Todo ello se ha examinado con el fin de poder aprehender la dinámica internacional de la segunda crisis nuclear con Corea del Norte, así como proveer con un mayor entendimiento sobre las conversaciones a seis bandas (6PT), como ejemplo de foro de negociación minilateral creado ad hoc con el fin de buscar una solución al problema norcoreano. Hemos procedido al examen del pensamiento estratégico de los diferentes países que conforman las 6PT, así como al estudio de los intereses, acuerdos y desacuerdos de cada uno de ellos en la mesa de negociaciones con el objetivo de intentar comprender el porqué de su aparente fracaso a la hora de solucionar dicha crisis nuclear. Finalmente, hemos procedido a un estudio de la comunidad del Noreste asiático y del marco de seguridad existente en la región, así como de las perspectivas para la institucionalización de las conversaciones a seis bandas para poder comprender si, desarrollado como organización multilateral, este foro podría favorecer la estabilidad en la región, la cooperación regional y con ello una mayor integración.