Necessary and sufficient conditions for robust stability using modal intervals

In this paper, robustness of parametric systems is analyzed using a new approach to interval mathematics called Modal Interval Analysis. Modal Intervals are an interval extension that, instead of classic intervals, recovers some of the properties required by a numerical system. Modal Interval Analysis not only simplifies the computation of interval functions but allows semantic interpretation of their results. Necessary, sufficient and, in some cases, necessary and sufficient conditions for robust performance are presented

24

We study the relation between the number of firms and market power in experimental oligopolies. Price competition under decreasing returns involves a wide interval of pure strategy equilibrium prices. We present results of an experiment in which two, three and four identical firms repeatedly interact in this environment. Less collusion with more firms leads to lower average prices. With more than two firms, the predominant market price is 24. A simple imitation model captures this phenomenon. For the long run, the model predicts that prices converge to the Walrasian outcome, but for the intermediate term the modal price is 24

Estudi sobre equalització electrònica per a sistemes de comunicació per fibra òptica

Estudi realitzat a partir d’una estada a Bell Labs (Lucent Technologies), New Jersey (Estats Units), entre el 15 de setembre de 2005 i el 15 de gener de 2006. Els sistemes de transmissió per fibra òptica fonamenten les principals xarxes de comunicacions. A mesura que la demanda d’ample de banda per usuari creixi, seran necessaris nous sistemes que siguin capaços de cobrir les necessitats a curt i llarg termini. La tecnologia dels sistemes òptics limita fortament la complexitat dels sistemes de transmissió / recepció en comparació, per exemple, als sistemes d’ones de ràdio. La tendència és la de dissenyar sistemes avançats amb detecció directa i mirar d’aplicar tècniques bàsiques de processat del senyal. Una d’aquestes tècniques és l’equalització electrònica, és a dir, fer ús de les tècniques de processament del senyal per tal de compensar la distorsió introduïda pel canal, deguda per una o diverses degradacions típiques: dispersió cromàtica, efectes no lineals, dispersió del mode de polarització (PMD) ... Dins d’un entorn comercial d’empresa, s’ha avaluat el funcionament dels sistemes d’equalització FFE-DFE aixi com MLSE en presència de dispersió cromàtica i/o dispersió del mode de polarització (PMD) en transmissions NRZ/RZ.

Los Sistemas de bicicletas públicas urbanas

El objetivo es analizar algunas de las características, ventajas y problemas de los sistemas de bicicletas públicas urbanas. Se presta especial atención a los modelos de 3ª generación y concretamente al caso del Bicing de Barcelona, poniendo de manifiesto dos costes relevantes que no están recogidos en el contrato de concesión: el coste de oportunidad del suelo o espacio ocupado y las externalidades asociadas a los vehículos de redistribución y mantenimiento. A su vez se plantean alternativas de inversión que pueden generar un impacto similar en el cambio modal de los desplazamientos a favor de la bicicleta.

A first attempt of geographically-distributed Multi-scale integrated analysis of societal and ecosystem metabolism (MuSIASEM): mapping human time and energy throughput in metropolitan Barcelona

This study presents a first attempt to extend the “Multi-scale integrated analysis of societal and ecosystem metabolism (MuSIASEM)” approach to a spatial dimension using GIS techniques in the Metropolitan area of Barcelona. We use a combination of census and commercial databases along with a detailed land cover map to create a layer of Common Geographic Units that we populate with the local values of human time spent in different activities according to MuSIASEM hierarchical typology. In this way, we mapped the hours of available human time, in regards to the working hours spent in different locations, putting in evidence the gradients in spatial density between the residential location of workers (generating the work supply) and the places where the working hours are actually taking place. We found a strong three-modal pattern of clumps of areas with different combinations of values of time spent on household activities and on paid work. We also measured and mapped spatial segregation between these two activities and put forward the conjecture that this segregation increases with higher energy throughput, as the size of the functional units must be able to cope with the flow of exosomatic energy. Finally, we discuss the effectiveness of the approach by comparing our geographic representation of exosomatic throughput to the one issued from conventional methods.

Is the Spanish Inheritance and Gift Tax incompatible with the free movement of workers and capital?: The reasoned opinion of the EU Commission IP/10/513

The aim of my speech is answering to the question if the Spanish Inheritance and Gift Tax is incompatible with the free movement of workers and capital. We are going to pay special attention to the European Commission’s request to Spain to change its Inheritance and Gift Tax provisions for Non-Residents or Assets held abroad. In order to answer to the question mentioned above five points will be explained. At first place I am going to describe the infrengement procedure established in the Article 258 that the EU Commission can follow when a Member State doesn’t comply with Community Law. At second place, we are going to explain what is the content of the EU Commission delivered on 5th of may 2010 regarding the spanish Inheritance and Gift Tax. Then, we will analise what establishes the Community Law regarding the freedom of workers and capital and how they are understood by the EU Court of Justice in similar cases. Finally, we are going to provide possible amendments that Spain could undertake.

Utilització de plantes d'Arabidopsis thaliana mutants de CK2 per a l'establiment de línies cel·lulars i per a l'estudi de la implicació de la CK2 en l'estructuració de la cromatina

La proteïna CK2 és una Ser/Thr fosfotransferasa evolutivament conservada. Està formada per dues subunitats diferents, α (catalítica) i β (reguladora), que s’associen en un complex heterotetramèric (α2β2). L’activitat d’aquest enzim està regulada per varis mecanismes que la modulen diferencialment en funció del substrat, entre ells, la localització subcel·lular de les diferents subunitats. A partir de plantes transgèniques que contenen les subunitats de CK2 fusionades a una proteïna fluorescent (GFP o YFP) hem establert línies cel·lulars que permetran analitzar, en treballs futurs, els canvis de localització subcel·lular de les subunitats de CK2 provocats per diferents estímuls. La CK2 intervé en un gran nombre de processos cel·lulars, entre d’altres, metabolisme, transport a nucli, control del cicle cel·lular i reparació del DNA. Amb la finalitat d’estudiar el paper de la CK2 en el desenvolupament de les plantes, membres del grup van generar un mutant dominant negatiu per transformació estable de plantes d’Arabidopsis thaliana. Estudis previs mostraven que la pèrdua d’activitat CK2 en aquestes plantes provocava una alteració de l’activitat mitòtica i un bloqueig del cicle cel·lular. Els resultats obtinguts en aquest treball indiquen que aquests fenotips podrien ser conseqüència de la implicació de la CK2 en processos d’estructuració de la cromatina.

Generación de metadatos semánticos mediante juegos on-line

Actualmente se pretende que los ordenadores puedan entender la semántica de la información que hay en la Web y que sea posible integrar diversas fuentes de información independientemente de la procedencia y formato de éstas, haciendo así una Web Semántica. Uno de los mayores problemas que tiene la Web Semántica es la falta de contenidos semánticos, principalmente debido a la falta de métodos de anotación automáticos existentes. Una forma de resolver este problema se basa en esconder tras aplicaciones que la gente usa diariamente, como los juegos on-line, estos procesos de generación de metadatos semánticos. El objetivo de este proyecto es estudiar diferentes iniciativas que tratan de enmascarar la generación de metadatos semánticos a través de los juegos on-line y el desarrollo de un prototipo de casual game para anotar semánticamente recursos. Se trata de un juego sencillo de pregunta-respuesta, donde dos usuarios concurrentes contestan a preguntas preestablecidas y definidas dentro de una ontología de dominio, obteniendo puntos en aquellas preguntas donde hayan dado la misma respuesta.

Mesoclitic Romance futures and conditionals vs participle preposing

(INFINITIVE + CLITIC + AUX) is an evidential configuration in Old Spanish and Old Catalan, whereas (PARTICIPLE + CLITIC + AUX) is an instance of weak or unmarked focus fronting. The evidentiality of mesoclitic structures can be put forward on the bases of three main arguments: a) mesoclisis is not compulsory (i.e., whenever you have a clitic, you can either have mesoclisis or proclisis/enclisis); b) mesoclitic futures and conditionals areattested in interrogative sentences (with wh- elements); and c) they are not found in derived adverbial clauses (which is what you expect if they have an evidential value, since they bring about intervention effects corresponding to the derivational account of conditional and temporal sentences, for example - see Haegeman 2007 and ff.), and are related to high modal expressions (thus interfering with MoodPIrrealis)

Quantified set inversion with applications to control

This paper describes a new reliable method, based on modal interval analysis (MIA) and set inversion (SI) techniques, for the characterization of solution sets defined by quantified constraints satisfaction problems (QCSP) over continuous domains. The presented methodology, called quantified set inversion (QSI), can be used over a wide range of engineering problems involving uncertain nonlinear models. Finally, an application on parameter identification is presented

Anàlisi paramètrica de l'assaig a compressió d'un panell de material compost rigiditzat amb tres nervis

L’objectiu d’aquest treball és desenvolupar una metodologia per realitzar l’anàlisiparamètrica de l’assaig de compressió d’un panell de material compost rigiditzat ambtres nervis. En primer lloc és necessari desenvolupar un sistema automatitzat per generar i avaluar el conjunt de parametritzacions. A continuació, s’estudiaran quines variables d’estat són les més adequades per representar el vinclament local, la flexió global, la càrrega crítica de desestabilització i l’índex de fallada en l’anàlisi paramètrica. La modelització amb el mètode dels elements finits serveix per simular l’assaig a compressió del panell. La simulació es realitza mitjançant un càlcul no lineal, per estudiar la desestabilització i els fenòmens no lineals que pateix el panell. L’estudi es complementa amb una anàlisi modal i una anàlisi lineal

Robust control of structures subject to uncertain disturbances and actuator dynamics

The objective the present research is try to find some control design strategies, which must be effective and closed to the real operation conditions. As a novel contribution to structural control strategies, the theories of Interval Modal Arithmetic, Backstepping Control and QFT (Qualitative Feedback Theory) will be studied. The steps to follow are to develop first new controllers based on the above theories and then to implement the proposed control strategies to different kind of structures. The report is organized as follows. The Chapter 2 presents the state-of-the-art on structural control systems. The chapter 3 presents the most important open problems found in field of structural control. The exploratory work made by the author, research proposal and working plan are given in the Chapter 4

An Interval Intelligent-based Approach for Fault Detection and Modelling

Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with this prevalent problem, in this paper we develop a methodology using Modal Interval Analysis which takes into account those uncertainties in the plant model. A fault detection method is developed based on this model which is quite robust to uncertainty and results in no false alarm. As soon as a fault is detected, an ANFIS model is trained in online to capture the major behavior of the occurred fault which can be used for fault accommodation. The simulation results understandably demonstrate the capability of the proposed method for accomplishing both tasks appropriately

Robust fault detection using consistency techniques for uncertainty handling

Often practical performance of analytical redundancy for fault detection and diagnosis is decreased by uncertainties prevailing not only in the system model, but also in the measurements. In this paper, the problem of fault detection is stated as a constraint satisfaction problem over continuous domains with a big number of variables and constraints. This problem can be solved using modal interval analysis and consistency techniques. Consistency techniques are then shown to be particularly efficient to check the consistency of the analytical redundancy relations (ARRs), dealing with uncertain measurements and parameters. Through the work presented in this paper, it can be observed that consistency techniques can be used to increase the performance of a robust fault detection tool, which is based on interval arithmetic. The proposed method is illustrated using a nonlinear dynamic model of a hydraulic system

Control de glicèmia en pacients crítics mitjançant CGMS

L’estudi que es realitza en aquest projecte/treball final de carrera queda englobat dins del grup de recerca MICE (Modal Intervals Control and Engeneering), el qual realitzainvestigacions entorn al control de glucèmia. Aquest grup de recerca vinculat a la Universitat de Girona col•labora amb l’Hospital Universitari Dr. Josep Trueta de Girona. La temàtica principal tractarà de realitzar el control de glucèmia en pacients crítics, que es troben ingressats en la unitat de cures intensives de qualsevol hospital. Com a conseqüència d’aquesta problemàtica, s’ha implementat en un entorn virtual, un pacient el qual simula la situació d’un pacient real en la unitat de cures intensives. El model emprat per a la obtenció del model de pacient virtual és el desenvolupat per Chase et al. (2005), el qual mitjançant variables com l’alimentació enteral i la sensibilitat insulínica, es podien realitzar assajos reals per a validar protocols de control ‘in silico’ per posteriorment realitzar assajos amb població real