The generator problem for Z-stable C*-algebras

The generator problem was posed by Kadison in 1967, and it remains open until today. We provide a solution for the class of C*-algebras absorbing the Jiang-Su algebra Z tensorially. More precisely, we show that every unital, separable, Z-stable C*-algebra A is singly generated, which means that there exists an element x є A that is not contained in any proper sub-C*- algebra of A. To give applications of our result, we observe that Z can be embedded into the reduced group C*-algebra of a discrete group that contains a non-cyclic, free subgroup. It follows that certain tensor products with reduced group C*-algebras are singly generated. In particular, C*r (F ∞) ⨂ C*r (F ∞) is singly generated.

Generator of ultrashort optical pulses for time division multiplexing

The performance of a device based on modified injection-locking techniques is studied by means of numerical simulations. The device incorporates master and slave configurations, each one with a DFB laser and an electroabsortion modulator (EAM). This arrangement allows the generation of high peak power, narrow optical pulses according to a periodic or pseudorandom bit stream provided by a current signal generator. The device is able to considerably increase the modulation bandwidth of free-running gain-switched semiconductor lasers using multiplexing in the time domain. Opportunities for integration in small packages or single chips are discussed.

Polynomial-time complexity for instances of the endomorphism problem in free groups

We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F, there is an endomorphism Φ of F sending W to U. This work analyzes an approach due to C. Edmunds and improved by C. Sims. Here we prove that the approach provides an efficient algorithm for solving the endomorphism problem when W is a two- generator word. We show that when W is a two-generator word this algorithm solves the problem in time polynomial in the length of U. This result gives a polynomial-time algorithm for solving, in free groups, two-variable equations in which all the variables occur on one side of the equality and all the constants on the other side.

Increasing quasiconcave production and utility functions with diminishing returns to scale

In microeconomic analysis functions with diminishing returns to scale (DRS) have frequently been employed. Various properties of increasing quasiconcave aggregator functions with DRS are derived. Furthermore duality in the classical sense as well as of a new type is studied for such aggregator functions in production and consumer theory. In particular representation theorems for direct and indirect aggregator functions are obtained. These involve only small sets of generator functions. The study is carried out in the contemporary framework of abstract convexity and abstract concavity.

Lp-solutions to BSDEs with super-linear growth coefficient. Application to degenerate semilinear PDEs.

We consider multidimensional backward stochastic differential equations (BSDEs). We prove the existence and uniqueness of solutions when the coefficient grow super-linearly, and moreover, can be neither locally Lipschitz in the variable y nor in the variable z. This is done with super-linear growth coefficient and a p-integrable terminal condition (p & 1). As application, we establish the existence and uniqueness of solutions to degenerate semilinear PDEs with superlinear growth generator and an Lp-terminal data, p & 1. Our result cover, for instance, the case of PDEs with logarithmic nonlinearities.

Demand elasticity and market power in the spanish electricity market

In this paper we check whether generator's bid behavior at the Spanish whosale electricity market is consistent with the hypothesis of profit maximization on their residual demands. Using OMEL data, we find the arc-elacticity of the residual demand around the system marginal price. The results suggest thet the larger firms are not actually profit-msximization. We argue how the regulatory environment may drive these results. Finally, we repeat the analysis for the first session of the intra-day market where presumably firms may not have the same incentives as in the day-ahead market.

Characterisation of neutron spectra in mixed high energy fields in lineal accelerators: response functions validation

Actualment, la resposta de la majoria d’instrumentació operacional i dels dosímetres personals utilitzats en radioprotecció per a la dosimetria neutrònica és altament dependent de l’energia dels espectres neutrònics a analitzar, especialment amb camps neutrònics amb una important component intermitja. En conseqüència, la interpretació de les lectures d’aquests aparells es complicada si no es té un coneixement previ de la distribució espectral de la fluència neutrònica en els punts d’interès. El Grup de Física de les Radiacions de la Universitat Autònoma de Barcelona (GFR-UAB) ha desenvolupat en els últims anys un espectròmetre de neutrons basat en un Sistema d’Esferes Bonner (BSS) amb un contador proporcional d’3He com a detector actiu. Els principals avantatges dels espectròmetres de neutrons per BSS són: la seva resposta isotròpica, la possibilitat de discriminar la component neutrònica de la gamma en camps mixtos, i la seva alta sensibilitat neutrònica als nivells de dosi analitzats. Amb aquestes característiques, els espectròmetres neutrònics per BSS compleixen amb els estándards de les últimes recomanacions de la ICRP i poden ser utilitzats també en el camp de la dosimetria neutrònica per a la mesura de dosis en el rang d’energia que va dels tèrmics fins als 20 MeV, en nou ordres de magnitud. En el marc de la col•laboració entre el GFR - UAB i el Laboratorio Nazionale di Frascati – Istituto Nazionale di Fisica Nucleare (LNF-INFN), ha tingut lloc una experiència comparativa d’espectrometria per BSS amb els feixos quasi monoenergètics de 2.5 MeV i 14 MeV del Fast Neutron Generator de l’ENEA. En l’exercici s’ha determinat l’espectre neutrònic a diferents distàncies del blanc de l’accelerador, aprofitant el codi FRUIT recentment desenvolupat pel grup LNF. Els resultats obtinguts mostren una bona coherència entre els dos espectròmetres i les dades mesurades i simulades.

Laboratorio virtual de sistemas digitales

El projecte "Laboratori virtual de sistemes digitals" és un simulador de l'aula de pràctiques de l'assignatura de sistemes digitals, desenvolupat en Java. Integra tots els components que es troben els estudiants de la matèria quan han de realitzar les pràctiques: placa, xips, cables, generador d'ones, oscil·loscopi.... I es permetrà així la implementació i prova de circuits digitals. També pretén ser una eina útil pel funcionament de la part pràctica de l'assignatura, sent un recurs gratuït i accessible gràcies a Internet.

Codificación a nivel de paquete para comunicaciones móviles por satélite

Una de les opcions que es contemplen per transmetre continguts multimèdia i proporcionar accés a Internet a grups de usuaris mòbils és fer servir satèl·lits. Les condiciones de propagació del canal mòbil impliquen que d'una manera o altra haurem de garantir la qualitat de servei. Això té fins i tot més importància si tenim en compte que, en el cas d'accés a Internet, no es té la capacitat d'assumir cert percentatge de pèrdua de dades que tenim, per exemple, en la transmissió de so o vídeo (rebaixant la qualitat). Entre les principals alternatives per a aquesta classe d’entorns es troba la inclusió de codificacions a nivell de paquet. El funcionament d'aquesta tècnica es basa en incloure a la transmissió paquets redundants, obtinguts mitjançant un determinat algoritme. El receptor podrà recuperar la informació original que es volia enviar, sempre que hagi rebut una certa quantitat de paquets, similar a la quantitat de paquets originals. A aquest mecanisme se'l coneix com Forward Error Correction (FEC) a nivell de paquet. En aquesta memòria es valoren breument les alternatives existents i s'expliquen algunes de les codificacions per a FEC més importants. A continuació es realitza un estudi compartiu d’algunes d'elles: les variants de LDPC (Low Density Parity Check) conegudes com LDGM (Low Density Generator Matrix), i la codificació Raptor

Semigroup analysis of structured populations with distributed states-at-birth arising in mathematical aquaculture

Motivated by the modelling of structured parasite populations in aquaculture we consider a class of physiologically structured population models, where individuals may be recruited into the population at different sizes in general. That is, we consider a size-structured population model with distributed states-at-birth. The mathematical model which describes the evolution of such a population is a first order nonlinear partial integro-differential equation of hyperbolic type. First, we use positive perturbation arguments and utilise results from the spectral theory of semigroups to establish conditions for the existence of a positive equilibrium solution of our model. Then we formulate conditions that guarantee that the linearised system is governed by a positive quasicontraction semigroup on the biologically relevant state space. We also show that the governing linear semigroup is eventually compact, hence growth properties of the semigroup are determined by the spectrum of its generator. In case of a separable fertility function we deduce a characteristic equation and investigate the stability of equilibrium solutions in the general case using positive perturbation arguments.

Generador de compiladores basado en analizadores ascendentes

El objetivo fundamental de este proyecto consiste en crear un generador de compilador, basado en analizadores ascendentes. Como base para hacer este analizador se usará el lenguaje Cosel y el módulo Com, que es un generador de compiladores basado en analizadores descendentes y que actualmente se está utilizando en las prácticas de la asignatura de Compiladores I. El nuevo generador, que tiene como entrada una gramática, ha de comprobar si es una gramática ascendente LALR (1) y analizar una cadena de entrada de símbolos usando dicha gramática.

Anàlisi ambiental de La Pleta: oficina tècnica del Parc del Garraf

En aquest projecte s’ha analitzat la viabilitat de l’autosuficiència de la Pleta, l’oficina tècnica del Parc del Garraf, a partir de diferents recursos renovables. S’ha realitzat un estudi del consum hídric i energètic i de la generació de residus per tal d’avaluar les deficiències de cada sistema, per poder-hi aplicar les mesures pertinents. Els resultats obtinguts mostren que un 40% de l’aigua que es consumeix a l’edifici prové dels camions cisterna que la subministren. Per tant, la principal proposta de millora va encaminada a reduir aquest volum d’aigua i per aconseguir-ho, es proposa augmentar la superfície de recollida d’aigua de pluja aprofitant la zona pavimentada del pati de magatzems. Les altres propostes intentaran reduir el volum total d’aigua consumida, com per exemple canviar el filtre actual de les aixetes per airejadors que permeten estalviar fins a un 50% d’aigua, instal·lar cisternes de volum inferior o posar en funcionament el reg per degoteig instal·lat actualment a la Pleta però que no es troba en funcionament. Pel que fa a l’energia hi ha dues fonts, el gasoil i les plaques FV. En quant al gasoil cal diferenciar entre el consum del generador per produir electricitat i el consum de la caldera per la calefacció. Un cop estudiat el sistema s’ha obtingut que les plaques solars FV aconsegueixen produir el 73% de l’electricitat demandada a la Pleta, la resta de l’electricitat la proporciona el generador. El principal problema, però és el gran consum de gasoil per la calefacció. Les millores proposades per a solucionar aquesta problemàtica pretenen millorar l’eficiència de la instal·lació de plaques solars FV col·locant més panells solars i disminuir el consum de gasoil per part de la calefacció, ja sigui millorant l’eficiència energètica i/o canviant la font d’energia per biomassa. En el cas de residus s’ha observat que es produeixen 3.283 kg/any, sent el rebuig la fracció més important. Per tal de reduir el volum de residus generats, es pretén fomentar la utilització d’estris reutlilitzables i el correcte reciclatge, substituint les papereres actuals dels despatxos per les de paper i posant cartells informatius o indicatiu en els llocs adients.

Control de instrumentos mediante el bus GPIB programado con MATLAB

El proyecto que se expone a continuación está dedicado al control de instrumentos mediante el bus de instrumentación GPIB programado con el software Matlab. Está dividido en dos partes. La primera, será llevada a cabo en el laboratorio de docencia y el objetivo será controlar el osciloscopio y el generador de funciones. Como ejemplo del control realizado se desarrollará una aplicación que permitirá obtener el diagrama de Bode de módulo de cualquier sistema electrónico. La segunda parte será llevada a cabo en el laboratorio de investigación y el objetivo será controlar el analizador de semiconductores. En este caso, la aplicación desarrollada permitirá la realización de medidas para la caracterización de transistores. Las aplicaciones de ambas partes estarán realizadas mediante una interfaz gráfica de usuario diseñada con la herramienta GUIDE de Matlab.

Implementació d'un Laboratori Virtual d'Equips Electrònics per múltiples aplicacions específiqies com a reforç docent en l'àrea de l'electrònica VERiLAB (Virtual ElectRonic LABoratory)

S’ha dissenyat un Laboratori Virtual d’Equips Electrònics per múltiples aplicacions específiques com a reforç docent en l’àrea de l’electrònica VERiLAB (Virtual ElectRonic LABoratory) i, a més, s’han dissenyat un conjunt de 9 pràctiques guiades per treure el màxim rendiment al laboratori virtual. El laboratori Virtual és una potent eina de treball per aplicacions docents com a programari d’iniciació a la utilització d’equips electrònics bàsics que podem trobar a qualsevol laboratori d’electrònica. Aquesta eina permet augmentar el nombre d’hores de treball pràctic fora del laboratori. La primera versió d’aquest programari es va dissenyar a l’any 2004 a la Universitat de Barcelona amb el software LabVIEW_7, el qual permet obtenir un fitxer executable amb el qual els alumnes poden treballar fora del laboratori. D’aquesta forma els alumnes únicament necessiten un ordinador per a poder fer les pràctiques. La primera versió del laboratori disposava d’un generador de funcions, un oscil·loscopi i un analitzador d’espectres com a equips electrònics, i a més a més incorporava un mòdul de filtres i un motor DC per treballar amb els equips. La versió 2 del Laboratori Virtual es va desenvolupar amb aquest projecte MQD i es va introduir una font d’alimentació, un multímetre de sobre taula i un portàtil com a equips electrònics. Es van crear també diferents mòduls de sistemes electrònics: filtres analògics, configuracions bàsiques basades en l’amplificador operacional, l’amplificador operacional no ideal i un circuit de rectificació d’ona completa. Aquests mòduls han premés ampliar el camp d’aplicació del Laboratori Virtual a diferents assignatures de l’àrea de l’electrònica.

dEICbian: una distribució GNU/LINUX personalitzada per laboratoris de docència

En aquest projecte es desenvolupa una distribució GNU/Linux adaptada als laboratoris de docència del departament d’enginyeria de la informació i de les comunicacions. Partint de una anàlisi exhaustiu de les necessitats del departament i gràcies a la col·laboració dels seus membres s’ha realitzat la distribució dEICbian, un sistema que permetrà facilitar les tasques docents als laboratoris del departament. Amb l’objectiu de mantenir el sistema actualitzat també s’ha desenvolupat un generador de noves versions de la distribució dEICbian per tal de garantir tenir, sempre, un sistema modern i lliure d’errors als laboratoris del departament. L’opinió dels usuaris, expressada mitjançant enquestes, ha estat favorable i ara només resta el darrer pas: la seva implementació als laboratoris.