Simulación rápida de procesadores

Aquest projecte tracta de realitzar un estudi per comprovar si es pot simular una aplicació de prova (benchmark) reduint el temps de simulació. Per tal de reduir el temps de simulació es seleccionaran uns determinats fragments significatius de l'execució de l'aplicació. L'objectiu és obtenir un resultat de simulació el més similar possible al de la simulació completa però en menys temps. El mètode que farem servir s'anomena incremental i consisteix a dividir la simulació en intervals d'un milió d'instruccions. Un cop dividit hem simulat per passos. En cada pas s'afegeixen intervals i s'atura la simulació quan la diferència entre el resultat del pas actual i l'anterior és inferior a un determinat valor escollit inicialment. Després es proposa una millora que es realitza i es mostren els resultats obtinguts. La millora consisteix a simular un petit interval previ a l'interval significatiu per millorar el resultat.

Una primera aproximació a la selecció d'un sistema automatitzat de biblioteques

Res no pot garantir que un procés de selecció d'un sistema automatitzat arribi a tenir èxit, però l'observació d'un conjunt de principis de sentit comú pot ajudar a assegurar l'èxit del resultat. El procés ha de centrar-se en el llarg termini i ha de tenir present el context institucional en el qual el sistema s'establirà. Els sistemes estan cada vegada més orientats als usuaris, i per tant el compromís dels usuaris en el procés de selecció és més i més important. Els components del procés de selecció poden ser previstos i combinats de moltes maneres diferents. El procediment usat per les Purdue University Libraries serveix per a il·lustrar una via en la realització pràctica d'un procés.

New FFT/IFFT Factorizations with Regular Interconnection Pattern Stage-to-Stage Subblocks

Les factoritzacions de la FFT (Fast Fourier Transform) que presenten un patró d’interconnexió regular entre factors o etapes son conegudes com algorismes paral·lels, o algorismes de Pease, ja que foren originalment proposats per Pease. En aquesta contribució s’han desenvolupat noves factoritzacions amb blocs que presenten el patró d’interconnexió regular de Pease. S’ha mostrat com aquests blocs poden ser obtinguts a una escala prèviament seleccionada. Les noves factoritzacions per ambdues FFT i IFFT (Inverse FFT) tenen dues classes de factors: uns pocs factors del tipus Cooley-Tukey i els nous factors que proporcionen la mateix patró d’interconnexió de Pease en blocs. Per a una factorització donada, els blocs comparteixen dimensions, el patró d’interconnexió etapa a etapa i a més cada un d’ells pot ser calculat independentment dels altres.

Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Regulació del factor de transcripció NFAT5 per les quinases WNK1, SPAK i OSR1 i cerca de quinases activadores de la pròpia WNK1 en resposta a estrés osmòtic

Estudi elaborat a partir d’una estada a la School of Life Sciences de la University of Dundee, Gran Bretanya, entre gener i març del 2007.L'estrès osmòtic causa rà pidament l'activació de la quinasa WNK1, que fosforila i activa a continuació les quinases SPAK i OSR1, que alhora regulen canals i transportadors d’ions preexistents a la membrana cel•lular. El factor de transcripció NFAT5 és el principal regulador de la resposta cel•lular transcripcional secundà ria a hipertonicitat i s’ha descrit que les quinases p38, Fyn, PKA, ERK/MEK i ATM estan involucrades en la seva regulació post-traduccional. No obstant, com que la funció d’aquestes quinases no explica totalment els mecanismes d'activació de NFAT5, s’ha estudiat si l’activitat transcripcional de NFAT5 pot estar regulada per WNK1, SPAK o OSR1. Així doncs, es va observar que l’activitat d’un reporter dependent de NFAT5 no es veu afectada per la presència de cap de les quinases anteriors, en la seva forma wild-type o dominant negatiu. D’altra banda, es va estudiar quin domini de WNK1 és necessari per a que pugui respondre a hipertonicitat i quines quinases poden estar involucrades en la fosforilació de la serina 382 de WNK1. En conclusió, les dades obtingudes apunten que l’activació de WNK1 en resposta a estrès osmòtic requereix la seva fosforilació en la serina 382 per quinases upstream com PAK2 o RSK i que també és necessari un dels seus dominis coiled-coil, almenys els aminoà cids 558 i 561. Aquests processos, però, semblen ser independents de l’activació de NFAT5 en resposta a hipertonicitat.   

Array de DNA per identificar espècies de Fusarium: ampliació d'un array existent per incloure espècies del Sud d'Europa

Projecte de recerca elaborat a partir d’una estada al Department for Feed and Food Hygiene del National Veterinary Institute, Noruega, entre novembre i desembre del 2006. Els grans de cereal poden estar contaminats amb diferents espècies de Fusarium capaces de produir metabolits secundaris altament tòxics com trichotecenes, fumonisines o moniliformines. La correcta identificació d’aquestes espècies és de gran importància per l’assegurament del risc en l’àmbit de la salut humana i animal. La identificació de Fusarium en base a la seva morfologia requereix coneixements taxonòmics i temps; la majoria dels mètodes moleculars permeten la identificació d’una única espècie diana. Per contra, la tecnologia de microarray ofereix l’anàlisi paral•lel d’un alt nombre de DNA dianes. En aquest treball, s’ha desenvolupat un array per a la identificació de les principals espècies de Fusarium toxigèniques del Nord i Sud d’Europa. S’ha ampliat un array ja existent, per a la detecció de les espècies de Fusarium productores de trichothecene i moniliformina (predominants al Nord d’Europa), amb l’addició de 18 sondes de DNA que permeten identificar les espècies toxigèniques més abundants al Sud d’Europa, les qual produeixen majoritàriament fumonisines. Les sondes de captura han estat dissenyades en base al factor d’elongació translació- 1 alpha (TEF-1alpha). L’anàlisi de les mostres es realitza mitjançant una única PCR que permet amplificar part del TEF-1alpha seguida de la hibridació al xip de Fusarium. Els resultats es visualitzen mitjançant un mètode de detecció colorimètric. El xip de Fusarium desenvolupat pot esdevenir una eina útil i de gran interès per a l’anàlisi de cereals presents en la cadena alimentària.

A classification, up to hyperbolicity, of groups given by 2 generators and one relator of length 8

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

Els agrocombustibles a Catalunya : mecanismes i efectes de l'europeïtzació en la política pública

En els darrers temps els agrocombustibles s’han promocionat com una alternativa als combustibles fòssils,adquirint un pes important en les agendes polítiques internacionals. Les dues grans potències econòmiques mundials, els Estats Units i la Unió Europea, han impulsat els agrocombustibles a través de diferents estratègies; plans, legislació, però també amb excempcions fiscals i obligacions de barreja amb combustibles fòssils. En aquest marc, Catalunya va ser de les comunitats autònomes de l’Estat espanyol pioneres en la potenciació d’experiències de producció i consum d’agrocombustibles. A partir de l’anàlisi de la política i el debat a Catalunya es pot destacar la gran influència de l’esfera europea a través de diversos mecanismes en el procés, el que s’ha anomenat en la literatura com europeïtzació. Darrerament Europa s’ha convertit en un important centre de producció de polítiques públiques, especialment en polítiques ambientals i agrícoles a partir dels anys 80. És per aquest motiu que resulta rellevant conèixer les dinàmiques europees en una política complexa com la dels agrocombustibles a Catalunya, que presenta components energètics, però també amb altres aspectes relacionats amb el món agràri i el medi ambient.

Anàlisi dels contaminants orgànics persistents en Citharus linguatula en el litoral català

S’ha estudiat la bioacumulació de contaminants orgànics persistents en el múscul d’una espècie de peix en dos punts del litoral català: al Port de Barcelona i a la costa de Blanes. Citharus linguatula ha estat escollida per les seves característiques d’hàbitats (està més exposada a la contaminació al ser una espècie bentònica). La metodologia emprada consisteix en la homogeneïtzació amb sulfat de sodi i una extracció assistida amb microones amb n-hexà-acetona(1:1 v/v) durant 20 minuts. Els extractes es netegen i es fraccionen amb una columna cromatogràfica d’alúmina que permet la separació dels extractes en dos fraccions: un amb la majoria dels compostos organoclorats (hexaclorbenzè, DDTs, ciclodiens clorats i policlorbifenils) i l’altre amb els isòmers hexaclorciclohexans i els PAHs. Aquestes dos fraccions són posteriorment analitzades en el GC-MS. S’ha pogut corroborar l’elevada presència de PCBs a Barcelona, així com que en aquest punt de mostreig les espècies estan més exposades a la contaminació per organoclorats. S’ha identificat la presència de DDTs en els dos llocs estudiats. Pel que fa als PAHs s’ha pogut observar que a Barcelona també hi ha més presència d’aquests. Cal destacar que la concentració obtinguda dels compostos no es pot donar com a vàlida per l’existència d’indicis d’errors experimentals o d’injecció.

Extensió de l'entorn SMARD per permetre la depuració d'aplicacions basades en agents mòbils

Un dels principals obstacles per l’adopció dels agents mòbils, fins i tot per tasques per les quals s’ha demostrat la seva idoneïtat, és la dificultat de desenvolupar-los. Aquest projecte aporta solucions per ajudar en aquest procés. Més concretament, per provar agents i observar-ne el seu comportament en un entorn de simulació, abans d’executar-los en un escenari real. Hem afegit un depurador i un constructor d’agents mòbils a la interfície gràfica de disseny d’itineraris de l’entorn SMARD. Fent servir afegit aquests nous components, el programador pot dissenyar, construir i fer proves d’un agent mòbil des d’aquesta aplicació.

Sistema d'autenticació one-time password (OTP) per a mòbils

Aquest projecte consisteix en fer l’anàlisi, disseny i implementació d'un sistema d'autenticació a través de contrasenyes d’un sol ús (One Time Password ‐OTP‐) per a dispositius mòbils. Per evitar l’ús de contrasenyes estàtiques farem una aplicació per a telèfons mòbils capaç de generar contrasenyes aleatòries gràcies a uns paràmetres previs, així com de poder tenir un registre dels serveis on poden ser utilitzades. Partirem d’un protocol repte/resposta on l’usuari interactuarà amb el seu telèfon mòbil i un ordinador personal amb una connexió a Internet. Podrà registrar‐se i, introduint certes dades al mòbil que li proporciona el servidor, podrà fer el procés d’autenticar‐se per poder accedir a zones restringides del servei.

Bargaining one-dimensional policies and the efficiency of super majority rules

We consider negotiations selecting one-dimensional policies. Individuals have single-peaked preferences, and they are impatient. Decisions arise from a bargaining game with random proposers and (super) majority approval, ranging from the simple majority up to unanimity. The existence and uniqueness of stationary subgame perfect equilibrium is established, and its explicit characterization provided. We supply an explicit formula to determine the unique alternative that prevails, as impatience vanishes, for each majority. As an application, we examine the efficiency of majority rules. For symmetric distributions of peaks unanimity is the unanimously preferred majority rule. For asymmetric populations rules maximizing social surplus are characterized.

Reading Ng Kim Chew: Malaysian-Chineseness and memory in contemporary Malaysian Chinese literature in taiwan

The idea of Chineseness as a geographic, cultural-specific and ethnically-charged concept, and the pivotal role assumed by memory linger throughout the writings of most authors hailing from Chinese community in Southeast Asia. Among these communities, being the Malaysian Chinese the more prolific in terms of number of writers and pieces of literature produced, this paper deals specifically with it. Its focus is put on the literature produced by Malaysian Chinese authors residing in Taiwan, which topic constitutes an important part of the first chapter, and on one of its main representatives, Ng Kim Chew, to whom chapter two and three are fully dedicated. A literary analysis of one of his short stories, Huo yu tu, will allow the reader to have a first-hand experience, through excerpts from the original text, of the importance of Chineseness and memory in the literary production of Ng and of many authors sharing with him similar life and literary experiences. I started this research from the assumption that these authors make large use of their own memories and memories from their own community in their writing as a way to re-tie themselves to the Chineseness they left in their places of origin. However in the case of Ng Kim Chew, the analysis of his works led be to theorizing that the identity he is imbued with, if there is one, is not Chinese, nor Malaysian, but purely and distinctively Malaysian-Chinese. This paper can also serve as an introduction for the general public to the field of Sinophone literature from Southeast Asia and to promote wider and innovative paths of research within the realm of Chinese studies that go beyond China proper.

La revolución energética cubana en la UCLV: ¿un paso en el camino hacia la sostenibilidad?. Parte I: Análisis de los impactos ambientales

La Revolución Energética Cubana (REC) surge de las necesidades de resolver la situación social y económica de Cuba, sumergida en una crisis energética con constantes apagones que limitaban por completo todo desarrollo del país. La REC (2006) se basa en los principios de la autosuficiencia energética, el ahorro y uso racional de la energía, y el incremento de la eficiencia en todos los aspectos. En el presente trabajo se realiza el análisis de la sostenibilidad socio-ambiental de la REC en la Universidad Central Marta Abreu de Las Villas (UCLV), ubicada en Santa Clara (Cuba). La valoración se ha efectuado mediante el análisis de los impactos ambientales y sociales en dos estudios paralelos que se complementan aplicando la técnica de conmensurabilidad débil. El conjunto de los programas de la REC han propiciado mejoras en el suministro eléctrico y en el ahorro energético, disminuyendo en un 44% las emisiones de CO2, a pesar del incremento en la actividad docente y en la flota de equipos. Las medidas adoptadas han incidido en la calidad de la docencia, las condiciones de vida, la concienciación y la participación de la población, dando lugar a un impacto social positivo. De esta manera, el balance global de la REC es positivo ya que ha permitido el desarrollo de la UCLV sin incrementar los impactos ambientales, por lo que se puede considerar un paso en el camino hacia la sostenibilidad socio-ambiental.

La revolución energética cubana en la UCLV: ¿un paso en el camino hacia la sostenibilidad?. Parte II: Análisis de los impactos sociales

La Revolución Energética Cubana (REC) surge de las necesidades de resolver la situación social y económica de Cuba, sumergida en una crisis energética con constantes apagones que limitaban por completo el desarrollo del país. La REC (2006) es un conjunto de medidas basadas en los principios de la autosuficiencia energética, el ahorro y uso racional de la energía, y el incremento de la eficiencia en todos los aspectos. En el presente trabajo se realiza el análisis de la sostenibilidad socio-ambiental de la REC en la Universidad Central Marta Abreu de las Villas (UCLV), ubicada en Santa Clara (Cuba). La valoración se ha efectuado mediante el análisis de los impactos ambientales y sociales en dos estudios paralelos que se complementan aplicando la técnica de conmensurabilidad débil. El conjunto de los programas de la REC han propiciado mejoras en el suministro eléctrico y en el ahorro energético, disminuyendo en un 30% las emisiones de CO2, a pesar del incremento en la actividad docente y en la flota de equipos, en la universidad. Las medidas adoptadas han incidido en la calidad de la docencia, las condiciones de vida, la concienciación y la participación de la población, dando lugar a un impacto social positivo. De esta manera, el balance global de la REC se califica de positivo ya que ha permitido el desarrollo de la UCLV sin incrementar los impactos ambientales, por lo que se puede considerar un paso en el camino hacia la sostenibilidad socio-ambiental.