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.

Un marc d'orientacions per formar bones col·leccions digitals

Segona edició d'un informe que identifica els components clau necessaris per formar bones biblioteques digitals. Proporciona un marc de treball per identificar, organitzar i aplicar els coneixements i recursos existents en els processos de desenvolupament i gestió d'una col·lecció digital. S'inclou informació sobre col·leccions, objectes, metadades i planificació de projectes, acompanyada d'abundant bibliografia disponible a internet.

Detector de contorns basat en el domini transformat

RESUM En aquest document es presenta un detector de contorns d’imatges basat en el domini transformat. A partir de la interpretació de la transformada de Fourier de la imatge i la seva formulació matricial en termes dels diferents modes, es realitza una selecció de les components passa baixes a partir de les quals es reconstrueix la component de baixa freqüència que es resta de la imatge original per tal d’obtenir el detector. Aquest detector de contorns no és esbiaixat. L’algorisme pot ser aplicat utilitzant diferents mides del bloc de processament, que pot anar de la imatge sencera a blocs de reduïdes dimensions: 36X36, 16x16 o 8x8, per fer un seguiment de les propietats locals de la imatge quan aquesta és presenta característiques espacials poc uniformes.

Paper de les técniques d’imatge en la sel•leccio i seguiment dels pacients amb insuficiencia cardiaca candidats a terapia de reisincronització cardiaca

Estudi elaborat a partir d’una estada a la Leiden University Medical Center durant l’any 2007. La teràpia de resincronització cardíaca (TRC), mitjançant l'estimulació biventricular, millora el pronòstic dels pacients amb insuficiència cardíaca i asincronia ventricular. Tot i així, fins a una tercera part dels pacients que reben TRC no presenten cap milloria clínica ni en la funció cardíaca. L'absència d'asincronia ventricular és una de les raons que explicarien la falta de resposta. Les tècniques actuals d'ecocardiografia permeten caracteritzar la mecànica ventricular i definir l'asincronia ventricular acuradament. Mitjançant tècniques ecocardiogràfiques s’ha estudiat la mecànica i sincronia ventriculars dels pacients amb insuficiència cardíaca tractats amb TRC per obtenir predictors de resposta a aquesta teràpia per optimitzar la seva relació cost-eficàcia. En 161 pacients tractats amb TRC es varen realitzar ecocardiografies seriades (abans i després de la implantació del marcapàs biventricular, amb el dispossitiu activat i desactivat). Els volums i la fracció d'ejecció ventriculars esquerres varen ser quantificats. L'asincronia ventricular esquerra va ser estudiada amb imatge en 2D strain, calculant el retard d'activació entre diferents segments ventriculars en diferents direccions: longitudinal, circumferencial i radial. Tanmateix, els efectes de la TRC sobre el remodelat i la mecànica ventricular esquerra es varen avaluar amb tècniques de 2D strain, mesurant el pic sistòlic d'escurçament longitudinal (GLPSS). Una reducció d'un 15% o més del volum telesistòlic del ventricle esquerre al final del seguiment va ser considerat com a marcador de resposta favorable a la TRC. Els resultats han mostrat que les tècniques de 2D strain permeten estudiar àmpliament la sincronia i mecànica ventriculars esquerres per identificar pacients que potencialment responedors a la TRC.

Sistema esteganogràfic per imatges JPEG2000

En este proyecto se implementan tres algoritmos esteganográficos diferentes usando JPEG2000 como portador del mensaje, se calcula el rendimiento de cada uno de ellos y se comparan usando una gráfica. El objetivo es visualizar para unos casos específicos que el algoritmo basado en el producto de dos códigos lineales perfectos tiene mejor rendimiento que el obtenido con algoritmos como el F5 y el LSB.

Codificació i transmissió interactiva d'imatges en dispositius mòbils

JPEG2000 és el nou estàndard de compressió d’imatges impulsat pel Joint Photographics Experts Group, el qual defineix un protocol eficient per la transmissió interactiva d’imatges, anomenat JPIP. El Group on Interactive Coding of Images (GICI) té una implementació d’aquest protocol, CADI. En aquest projecte es realitza l’implementació del client d’aquest protocol en un dispositiu mòbil. Per això s’ha realitzat un estudi de les plataformes mòbils que hi ha actualment en el mercat. Finalment s’han proposat millores, en el descodificador, per reduir el temps de computació i la carrega de memòria.

Interacción en los Sistemas Biológicos mediante nuevos índices basados en la Dinámica No Lineal

La majoria de sistemes biològics són complexes, formats per diverses parts connectades mitjançant vincles que contenen informació addicional i oculta a l’observador. Actualment, les aplicacions clíniques enregistren molts i diversos senyals les interaccions dels quals poden ésser estudiades mitjançant diferents tècniques: mètodes clàssics, generalment lineals, com ara la correlació i la coherència espectral; i mètodes no lineals que han estat definits i desenvolupats l’última dècada, com la predicció no lineal, la informació mútua i les entropies. Aquest projecte proposava l’obtenció d’eines pera l’anàlisi de: a) la coordinació dels músculs respiratoris en individus sans i pacients amb patologies respiratòries sotmesos a protocols d’esforç ventilatori, ja que es desconeix com es relacionen les activitats del diafragma i dels músculs accessoris de les vies aèries superiors; b)l’efecte de fàrmacs sobre la connectivitat funcional del cervell, ja que les eines i mètodes estàndard sovint no permeten extreure prou informació. Els resultats aconseguits han permès avaluar l’activitat muscular respiratòria mitjançant la funció d’informació mútua creuada (FIMC), demostrant que existeix un acoblament no lineal entre les activitats de diferents músculs. Aquesta coordinació muscular es veu afectada per una malaltia respiratòria com la Síndrome d’Apnea Obstructiva de la Son (SAOS), i s’han trobat diferències estadísticament significatives entre els pacients amb SAOS i els individus sans, especialment a nivells mitjans i alts d’esforç respiratori.

Representació no-lineal de les imatges per a codificació perceptiva

JPEG2000 és un estàndard de compressió d’imatges que utilitza la transformada wavelet i, posteriorment, una quantificació uniforme dels coeficients amb dead-zone. Els coeficients wavelet presenten certes dependències tant estadístiques com visuals. Les dependències estadístiques es tenen en compte a l'esquema JPEG2000, no obstant, no passa el mateix amb les dependències visuals. En aquest treball, es pretén trobar una representació més adaptada al sistema visual que la que proporciona JPEG2000 directament. Per trobar-la utilitzarem la normalització divisiva dels coeficients, tècnica que ja ha demostrat resultats tant en decorrelació estadística de coeficients com perceptiva. Idealment, el que es voldria fer és reconvertir els coeficients a un espai de valors en els quals un valor més elevat dels coeficients impliqui un valor més elevat d'aportació visual, i utilitzar aquest espai de valors per a codificar. A la pràctica, però, volem que el nostre sistema de codificació estigui integrat a un estàndard. És per això que utilitzarem JPEG2000, estàndard de la ITU que permet una elecció de les distorsions en la codificació, i utilitzarem la distorsió en el domini de coeficients normalitzats com a mesura de distorsió per a escollir quines dades s'envien abans.

Preparació, estudi estructural i aplicabilitat de derivats de Poli-(4R)-hidroxi-L-prolina a la separació d’enantiòmers per tècniques cromatogràfiques o relacionades

La separació d’enantiòmers (isòmers òptics) és molt important en molts diversos camps, com les síntesis quirals, biologia, i en el camp de la farmacologia especialment. És per això, que es fa necessari de disposar de tècniques i mètodes analítics ràpids, fiables i sensibles per a la separació d’enantiòmers. La present tesi s’emmarca en el camp de la separació d’enantiòmers, concretament en la preparació de fases estacionàries quirals per al seu ús en cromatografia liquida. En aquest sentit, s’ha desenvolupat la síntesi i caracterització de molècules polimèriques quirals derivades de l’aminoàcid L-prolina que incorporades en matrius de gel de sílice poden constituïr columnes quirals per a la separació d’enantiòmers per cromatografia liquida. S’han estudiat les característiques enantioselectives d’aquests nous materials en la separació de molècules quirals, trobant-se ésser satisfactòriament enantioselectius. L’interès que suscita l’obtenció d’enantiòmers a gran escala fa que la recerca s’orienti a la recerca de materials amb elevada capacitat de càrrega, és a dir, que puguin donar lloc a la separació d’elevades quantitats d’enantiòmers. Amb aquesta finalitat s’han dut a terme assaigs de capacitat de càrrega, que han posat de manifest la possible aplicació d’aquests materials a la separació preparativa d’enantiòmers. També s’ha parat especial atenció a l’estudi de les característiques de la matriu de gel de sílice, assajant-se altres materials de sílice més porosos i que permeten així treballar amb fluxos més elevats tot reduint-ne el temps d’anàlisi i els costos associats a la separació preparativa d’enantiòmers. L'estudi conformacional d'aquests nous selectors també ha estat contemplat per tal d'explicar l'enantioselectivitat específica que s'observa en certs dissolvents orgànics en els qual es duu a terme la separació dels enantiòmers.

Adquisició d'imatges en infraroig proper de baixa alçària sobre zones d'interès al Montseny (I)

En aquest informe, fem una primera avaluació d'un sistema basat en un mini-UAV, operat per l'empresa CATUAV (www.catuav.com), sobre una zona a l'est del Parc Natural del Montseny (PNM) tot comparant amb imatges adquirides l'any anterior sobre la mateixa zona, amb sistemes i plataformes aèries de primer nivell per l'Institut Cartogràfic de Catalunya i que utilitzem com a referent de qualitat. Tot assumint que les imatges produïdes pels UAV són d'una qualitat inferior als sistemes convencionals de teledetecció aerotransportada, si la qualitat i operativitat són encara suficients, aquests sistemes, donat el seu cost, poden constituir una eina important per adquirir informació d'alta resolució pel control de l'evolució de camps abandonats, de l'estat de la vegetació de ribera, de l'estat fitosanitari de cobertes forestals i plagues, de la distribució d'espècies invasores, de les conseqüències d'actuacions de restauració o aclariment del bosc, de l'impacte dels visitants etc. En concret, en aquest informe avaluem el sistema de CATUAV pel que fa a: 1) Operativitat del vol i adquisició de les imatges sobre una zona prèviament assenyalada com objectiu; 2) Operativitat del producte en quant a la localització i orientació de les imatges sobre el terreny; i 3) Qualitat radiomètrica i geomètrica de les imatges.

Estudi de noves tècniques per a l'eradicació de l'Arundo donax

El present estudi proposa millores en les tècniques d’eradicació de l’Arundo donax utilitzades actualment. Per tal de realitzar-lo s’ha fet un extens recull bibliogràfic i d’experiències en l’eradicació de la canya avaluant els impactes al medi que exerceix cada una d’elles i estudiant-ne la viabilitat o no. Es tracta d’una petita experiència que serveix per sumar esforços en el complicat repte de l’eradicació de la canya als llocs on ha estat introduïda.

Estudio sobre la información de texto contenida en imágenes web

La indexació i la recerca de pàgines web es basa en l’anàlisi de text. La tecnologia actual encara no pot processar d’una manera eficient i suficientment ràpida el text contingut a les imatges de les pàgines web. Aquest fet planteja un problema important d’indexació però també d’inaccessibilitat. Per poder quantificar aquest problema hem desenvolupat una aplicació software que ens permet realitzar un estudi sobre aquesta situació. Hem utilitzat aquest software per analitzar un conjunt de pàgines web representatives de la situació actual a Internet. Aquests resultats obtinguts s’han analitzat i comparat amb estudis anteriors.

Some variational problems from image processing

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

Desenvolupament d'un gestor únic de certificats digitals

Aquest projecte s’ha desenvolupat en l’àmbit de la seguretat informàtica i té com a objectiu la creació d’una aplicació que permeti la gestió dels certificats digitals de diferents aplicacions i tecnologies a la vegada i de forma conjunta, estalviant a l’usuari gestionar-los de forma individual. Al mateix temps aquest projecte pretén disminuir la complexitat d’alguns aspectes de la seguretat als que no tots els usuaris dels certificats digitals hi estan familiaritzats.