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.

Dret costumari a la Barbagia sarda

Projecte de recerca elaborat a partir d’una estada al Dipartimento di Diritto pubblico e studi sociali de la Università degli studi di Cagliari, Italia, durant els mesos de maig i juny del 2006. L’estada s’insereix com a part del necessari treball de camp d’una recerca sobre el dret costumari de la Barbagia, regió interior i de muntanya de l’illa d’economia històricament basada en el pasturatge. Durant l’estada es van assolir satisfactòriament els tres principals objectius que es perseguien: realitzar algunes entrevistes i recollir testimonis sobre un aspecte concret de la recerca, la institució costumària de mediació “sos omines”; aconseguir l’accés a casos judicials significatius de la fenomenologia vindicativa local; i observar i recollir informació sobre “su tussorju”, l’esquilada anual de les ovelles, esdeveniment important dins el calendari festiu i el cicle econòmic agropastoral. Aquest últim objectiu s’inscriu dins l’actitud que ha actuat com a constant en tota la fase de treball de camp etnogràfic, consistent en tractar de conèixer i viure la dinàmica de la vida social sense exigir-li en concret: simplement viure-la a prop, deixant-se portar per ella per anar coneixent d’una forma natural els seus “secrets”, actitud clàssica del treball de camp antropològic però que en aquest cas esdevé una necessitat i pràcticament una exigència, donada la delicadesa de les qüestions que tracta. D’aquesta manera, la observació de l’esquilada de les ovelles, que ha format part històricament d’una sèrie d’esdeveniments importants per a la vida dels pobles un cop tornen (o tornaven: actualment són molt pocs els que ho fan a peu ) els pastors de la transhumància al pla, ha significat una ocasió més per respondre els contractes i la confiança amb la gent d’allà, un altre dels objectius de l’estada.

Hispanic population in the USA: the opportunity to create a shared brand

El tema d’aquest treball de recerca ha nascut gràcies a l’experiència viscuda a Carolina del Sud (EEUU) com estudiant i treballador. És un fet que la població hispana als Estats Units és cada cop mes important, el que ha provocat un canvi en la mentalitat de les empreses del lloc. S’han adonat que no és suficient amb seguir l’estratègia de comunicació que tenien anteriorment, i ara han de fer mes cas a un nou públic objectiu. Saber com han de fer-ho es la fita d’aquest treball.

Nuevas categorías para nuevas marcas

Aquest treball pretén aprofundir en la relació que s’estableix entre el producte i la marca. En mercats hiperfragmentats, com els actuals, l’extensió de línia no és la millor opció a llarg termini. Mirem al mercat com quelcom fix quan els consumidors pensen en categories. Hem d’innovar, introduir nous productes en un altre context, crear una nova categoria a través del marketing lateral. L’extensió de marca no és la solució si aquesta malmet la coherència de significats, només esdevindrà lícit estirar la marca que ja es té si el seu posicionament ho permet. Una vegada creada la nova categoria és millor introduir el producte sota una nova marca.

Balanceo distribuido del encaminamiento para topologías fat-tree sobre redes Infiniband

Las redes de interconexión juegan un papel importante en el rendimiento de los sistemas de altas prestaciones. Actualmente la gestión del encaminamiento de los mensajes es un factor determinante para mantener las prestaciones de la red. Nuestra propuesta es trabajar sobre un algoritmo de encaminamiento adaptativo, que distribuye el encaminamiento de los mensajes para evitar los problemas de congestión en las redes de interconexión, que aparecen por el gran volumen de comunicaciones de aplicaciones científicas ó comerciales. El objetivo es ajustar el algoritmo a una topología muy utilizada en los sistemas actuales como lo es el fat‐tree, e implementarlo en una tecnología Infiniband. En la experimentación realizada comparamos el método de control de congestión de la arquitectura Infiniband, con nuestro algoritmo. Los resultados obtenidos muestran que mejoramos los niveles de latencia por encima de un 50% y de throughput entre un 38% y un 81%.

Avaluació de set materials representatius del programa didàctic aplicat a les Escoles Bressol Municipals de Mataró dins del projecte de formació del professorat 2006/07

ii. Desprès de finalitzar el primer any d’aplicació del projecte “La música a les Escoles Bressol Municipals de Mataró”, s’inicia la present recerca, en la que participen tots els grups que formen part del projecte, amb l’objectiu de valorar-ho i veure’n la continuïtat. Es detecta que els materials emprats en la proposta didàctica són l’element que ha esdevingut més exitós fins al moment. Definint-ne una mostra de set materials, es procedeix a determinar l’ús que les educadores els atorguen en relació a la proposta didàctica i a avaluar-los

La performance teatral del juglar contemporani Matteo Belli

En aquesta dissertació he intentat recórrer els principals elements que caracteritzen el treball teatral de l’actor contemporani bolonyès Matteo Belli. La primera part se centra en les informacions bàsiques, necessàries per col•locar correctament el fenòmen tan complex com fascinant del joglar. En segona instància, he pensat en aprofundir l’aspecte de la comicitat introduint directament el treball de Belli, i relacionar-lo, per dir-ho així, amb el panorama actual del teatre contemporani. A més a més, he presentat alguns exemples relacionats amb algunes obres d’artistes moderns i contemporanis italians, d’aquesta manera prentenc comprendre millor el procés de voluntarietat que s’amaga darrere la comicitat i els seus mecanismes intrínsecs. Per concloure, he inclòs una entrevista amb ell, que em va concedir en aquests quatre anys de recerca, on es pot apreciar, no només un gran coneixement del món de l’espectacle, sinó que també una profunda espessor cultural.

L'ordenació dels espais de sòl no urbanitzable periurbà al Vallès Occidental: marc normatiu, planificació i experiències pràctiques

Els espais periurbans juguen un paper important en la configuració del territori i del medi ambient, ja que contenen valors i acullen funcions diverses (ecològiques i ambientals, socials i lúdiques, productives etc.). Si bé és cert que a la comarca del Vallès Occidental aquests espais són –també- producte de la relació amb un context geogràfic molt humanitzat, també ho és que actualment i en aquest context, es donen circumstàncies d’amenaça a l’equilibri que fou origen dels valors i funcions esmentats (tendències urbanitzadores i metropolització). Aquest escenari de complexitat demana una òptima ordenació del territori que garanteixi la preservació dels valors i funcions anomenats. El marc i les eines dels quals la societat s’ha dotat per a fer-ho les aporta el planejament del territori, la legislació sectorial etc. Tot i que aquest marc presenta oportunitats per a l'ordenació d’espais de sòl no urbanitzable periurbà, a la realitat pràctica s’observen pocs resultats d’aquesta favorable avinentesa. Aquesta és la paradoxa principal que planteja l’estudi de la temàtica escollida.

Reconstrucció de les temperatures superficials marines dels últims dos milions d'anys al Corrent de Benguela utilitzant l'índex TEX86

Per tal de reconstruir i obtenir una evolució climàtica a partir de les temperatures superficials marines dels últims dos milions d’anys al Corrent de Benguela (costa oest sud-africana) s’han analitzat 60 mostres del testimoni amb ODP 175-1084. Per fer-ho, s’ha utilitzat la nova calibració de l’índex TEX86 (Kim et al., 2007) i s’han representat els resultats juntament amb els valors obtinguts amb altres índexs referents a les temperatures mitjanes anuals de l’aire (MAAT) i el grau d’aportació sedimentària d’origen continental als sediments marins (BIT). També s’han comparat amb els registres de temperatura d’altres estudis en la mateixa àrea obtinguts a partir de proxies diferents. Els resultats del TEX86 mostren certa concordança amb alguns dels valors obtinguts en altres estudis i proposen hipòtesis que relacionen de manera directa els tres índexs calculats.

Influencia de la altura, la distancia de los tubos a la calle, la anchura de la calle, el tráfico y la densidad de vehículos sobre la concentración de NO2

Durante las primeras décadas del s. XX se contempló un importante aumento de las enfermedades coronarias, este hecho estimuló la investigación sobre las causas de dichas enfermedades. En 1978, y para investigar este fenómeno se inició el estudio REGICOR en el Hospital Josep Trueta de Girona. En el s. XX también se contempló un creciente problema de contaminación de las atmósferas urbanas, esto hizo que diferentes científicos estudiaran las relaciones entre las enfermedades coronarias y la contaminación atmosférica en áreas urbanas (Godish, 1997; Krupa & Legge, 2000; Brook et al., 2004 y Krewski et al., 2004). El proyecto realizado está situado en el contexto del primer estudio realizado en España que investiga los efectos sobre la salud de la contaminación atmosférica (REGICOR 2000-AIR). En el proyecto se pretende investigar la influencia de diferentes factores (distancia de los tubos a la calle, altura de los tubos, anchura de la calle, tráfico y densidad de tráfico) sobre la contaminación atmosférica de las ciudades de Girona y Salt, con el fin de poder caracterizar lo mejor posible la exposición a contaminación atmosférica. Para este fin se utilizará el NO2 como marcador de contaminación atmosférica y se seleccionaran varios puntos de muestreo en las dos ciudades dónde se pondrán captadores de NO2 para la medición de dicha contaminación. Después, y mediante un análisis estadístico, se podrá determinar la influencia de los factores en la variación de concentración de NO2 en el área seleccionada.

Escenaris possibles del canvi climàtic, simulació de la línia costera catalana

S’ha realitzat una simulació de la futura línia de costa catalana per tal d’avaluar els impactes del possible augment del nivell del mar, estudiant dels usos del sòl afectats a partir d’un programa de tractament d’imatge de satèl•lit. Es parla sobre el sistema climàtic com a un sistema obert i tancat alhora, internament inestable i en equilibri amb l’exterior, amb una dinàmica temporal i espacial interconnectada. L’impacte més important es dóna a les àrees de costa baixa, pràcticament tot el litoral en seria afectat. La superfície total ocupada per la mar seria de més de 20.000 ha. Les regions més afectades serien l’Alt Empordà i el Baix Empordà i els deltes del Llobregat i de l’Ebre. Així doncs, es conclou, cal canviar la forma de vida, abans que sigui el canvi climàtic qui ens hi obligui, i això ho ha de fer cadascú.

Análisis de viabilidad para la centralización de entornos distribuidos

Cada vez es más habitual encontrar tanto el software como el hardware común de las empresas distribuido y gestionado en diferentes servidores que se encargan de servir al usuario aquello que necesita sólo cuando éste lo pide. Este sistema de distribución de la información se llama centralización. Este sistema de distribución requiere un mantenimiento constante para así poder atender todas las demandas de los usuarios. El mantenimiento se convierte, gracias a la centralización en algo relativamente sencillo puesto que sólo es en el servidor donde se tienen que realizar los cambios, actualizaciones o instalación de nuevo software. Es importante entonces comprobar que estas nuevas actualizaciones del servidor responderán correctamente cuando los usuarios las requieran remotamente. En este proyecto nos hemos encargado de analizar cómo se realizan las comprobaciones necesarias para asegurar el correcto funcionamiento de los servidores remotos considerando tanto el entorno en el que se realizan como las herramientas necesarias para llevarlo a cabo. Para completar la información nos hemos centrado en un ejemplo particular de test de carga.

El temps de fa temps: anàlisi de fenòmens meteorològics del segle XIX a Reus

Treball de recerca realitzat per una alumna d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2008. Aquest treball recopila i interpreta tota la informació meteorològica del segle XIX trobada sobre la ciutat de Reus i caracteritza, quan és possible fer-ho, alguns paràmetres meteorològics tant del període sencer com d’alguns anys en concret.

Música i matemàtiques

Treball de recerca realitzat per una alumna d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2008. Existeix una relació entre la música i les matemàtiques i per demostrar-ho s’ha relacionat la música amb diferents matèries que avalen aquesta afirmació. Mitjançant una entrevista es situa el panorama musical en relació a les noves tecnologies en l’actualitat. Des d’una perspectiva teòrica, s’estudia la concepció de la música; seguidament s’aprofundeix en la figura de Pitàgores com a descobridor de les proporcions matemàtiques de l’escala musical, amb una introducció al llenguatge i la notació musical. Com a part pràctica, s’analitza una de les teories de Pitàgores sobre l’univers i la música per demostrar la certesa dels seus raonaments en base als coneixements actuals. D’una banda, es treballa el camp de les ones sonores, la formació de les diferents escales matemàticament i els models matemàtics emprats per diversos compositors a l’hora de realitzar les seves peces musicals. D’altra banda, es presenten els efectes que té la música sobre l’oïda, seguit d’un estudi exhaustiu de l’asimetria cerebral i les seves conseqüències en l’aprenentatge i l’execució musical. En relació a la cultura, es mostra la relació matemàtica de les diferents escales, modes i harmonies arreu del món. Aplicant aquests coneixements s’ha realitzat la composició d’una peça musical.

Memòria de recerca: paral·lelització dels diccionaris de la Standard Template Library de C++

Estudi elaborat a partir d’una estada a la Universität Karlsruhe entre gener i maig del 2007. Les biblioteques d’estructures de dades defineixen interfícies i implementen algorismes i estructures de dades fonamentals. Un exemple n’és la Satandard Template Library (STL ), que forma part del llenguatge de programació C++. En el marc d’una tesi, s’està treballant per obtenir implementacions més eficients i/o versàtils d’alguns components de la STL. Per a fer-ho s’utilitzen tècniques de la enginyeria d’algorismes. En particular, s’integra el coneixement de la comunitat algorítmica i es té en consideració la tecnologia existent. L’acció durant l’estada s’ha emmarcat en el desenvolupament la Multi Core STL (MCSTL ). La MCSTL és una implementació paral•lela de la STL per a màquines multi-core. Les màquines multi-core són actualment l’únic tipus de màquina disponible al mercat. Per tant, tot i que el paral•lelisme obtingut no sigui òptim, és preferible a tenir els processadors esperant, ja que , la tendència és que el nombre de processadors per computador augmenti.