Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Infraestructures de Transport i Localització Industrial. Evidència Empírica per a Catalunya

El propòsit d'aquest treball és analitzar fins a quin punt la millora en l'accessibilitat dels municipis a la xarxa viària d'alta capacitat ha tingut efectes positius en la creació d'establiments industrials. En concret, estudiem les decisions de localització d'establiments industrials a escala local per a 19 sectors manufacturers amb una desagregació de 2 dígits. Aquest treball incorpora variables de gran rellevància (com ara una mesura d'accessibilitat mesurada en temps de desplaçament i els efectes de les inversions viàries) i utilitza tècniques d'anàlisi espacial. Pel que fa a les entrades d'establiments industrials, les dades han estat obtingudes del Registre d'Establiments Industrials de Catalunya (REIC). Els resultats mostren una incidència positiva de les millores en la xarxa viària sobre les decisions de localització de les empreses.

Sistema gràfic de depuració per xarxes (NoC)

Aquest projecte descriu el disseny i desenvolupament d’una eina gràfica per a la depuració de projectes desenvolupats amb un llenguatge de descripció de sistemes com és el SystemC. Amb aquest llenguatge s’ha desenvolupat una NoC (Network on Chip). L’eina desenvolupada mostra de forma visual l’arquitectura de la xarxa NoC, els valors dels senyals que es transmeten a través de la xarxa i estadístiques sobre aquests per tal de poder fer un seguiment exhaustiu i agilitzar la recerca d’errors com interbloquejos, pèrdua de dades i d’altres. Al concentrar en un únic entorn la descripció de la NoC i les dades relatives a les senyals en temps de simulació, proporciona un valor afegit a altres eines disponibles per a realitzar aquesta tasca.

Microsensors químics: ISFET i MEMFET

Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2008. La nanobiotecnologia és una branca de la nanociència i/o nanotecnologia que previsiblement tindrà un gran creixement i impacte durant els propers anys en molts camps i especialment en el de la diagnosi i tractament de malalties. Això requereix disposar de biosensors a escala nanomètrica que siguin molt sensibles i selectius enfront d’agents químics i biològics, a fi de poder obtenir dades en temps real “in situ” a nivell cel•lular i facilitar tractaments específics i personalitzats. Un petit pas previ als nanobiosensors són els microsensors químics, que poden ser fàcilment implantats en teixits humans sense lesionar-los i proporcionar mesures freqüents o contínues del pH o de la concentració de diversos ions que són dades importants per determinar l’estat de salut d’una persona. Els sensors ISFET tenen una configuració que els permet detectar i mesurar les concentracions de ions H+, per tant mesuren el pH. Entre les seves aplicacions hi destaca la gran eficàcia en la detecció del ió H+ en petites concentracions, que, entre altres usos com els biomèdics, és de gran importància en la mesura de la qualitat dels terrenys de cultiu. Si el sensor tipus ISFET és modificat mitjançant una membrana, com es fa en el present treball, pot desenvolupar moltes aplicacions en el camp de la salut, com és el cas de la detecció de cèl•lules mortes dins el cos humà, i per tant detectar de manera precoç la necrosi.

Leading indicator properties of US high-yield credit spreads

In this paper we examine the out-of-sample forecast performance of high-yield credit spreads regarding real-time and revised data on employment and industrial production in the US. We evaluate models using both a point forecast and a probability forecast exercise. Our main findings suggest the use of few factors obtained by pooling information from a number of sector-specific high-yield credit spreads. This can be justified by observing that, especially for employment, there is a gain from using a principal components model fitted to high-yield credit spreads compared to the prediction produced by benchmarks, such as an AR, and ARDL models that use either the term spread or the aggregate high-yield spread as exogenous regressor. Moreover, forecasts based on real-time data are generally comparable to forecasts based on revised data. JEL Classification: C22; C53; E32 Keywords: Credit spreads; Principal components; Forecasting; Real-time data.

Análisis y sintonización de aplicaciones paralelas/distribuidas de bioinformática: caso de estudio mpiBLAST

En termes de temps d'execució i ús de dades, les aplicacions paral·leles/distribuïdes poden tenir execucions variables, fins i tot quan s'empra el mateix conjunt de dades d'entrada. Existeixen certs aspectes de rendiment relacionats amb l'entorn que poden afectar dinàmicament el comportament de l'aplicació, tals com: la capacitat de la memòria, latència de la xarxa, el nombre de nodes, l'heterogeneïtat dels nodes, entre d'altres. És important considerar que l'aplicació pot executar-se en diferents configuracions de maquinari i el desenvolupador d'aplicacions no port garantir que els ajustaments de rendiment per a un sistema en particular continuïn essent vàlids per a d'altres configuracions. L'anàlisi dinàmica de les aplicacions ha demostrat ser el millor enfocament per a l'anàlisi del rendiment per dues raons principals. En primer lloc, ofereix una solució molt còmoda des del punt de vista dels desenvolupadors mentre que aquests dissenyen i evaluen les seves aplicacions paral·leles. En segon lloc, perquè s'adapta millor a l'aplicació durant l'execució. Aquest enfocament no requereix la intervenció de desenvolupadors o fins i tot l'accés al codi font de l'aplicació. S'analitza l'aplicació en temps real d'execució i es considra i analitza la recerca dels possibles colls d'ampolla i optimitzacions. Per a optimitzar l'execució de l'aplicació bioinformàtica mpiBLAST, vam analitzar el seu comportament per a identificar els paràmetres que intervenen en el rendiment d'ella, com ara: l'ús de la memòria, l'ús de la xarxa, patrons d'E/S, el sistema de fitxers emprat, l'arquitectura del processador, la grandària de la base de dades biològica, la grandària de la seqüència de consulta, la distribució de les seqüències dintre d'elles, el nombre de fragments de la base de dades i/o la granularitat dels treballs assignats a cada procés. El nostre objectiu és determinar quins d'aquests paràmetres tenen major impacte en el rendiment de les aplicacions i com ajustar-los dinàmicament per a millorar el rendiment de l'aplicació. Analitzant el rendiment de l'aplicació mpiBLAST hem trobat un conjunt de dades que identifiquen cert nivell de serial·lització dintre l'execució. Reconeixent l'impacte de la caracterització de les seqüències dintre de les diferents bases de dades i una relació entre la capacitat dels workers i la granularitat de la càrrega de treball actual, aquestes podrien ser sintonitzades dinàmicament. Altres millores també inclouen optimitzacions relacionades amb el sistema de fitxers paral·lel i la possibilitat d'execució en múltiples multinucli. La grandària de gra de treball està influenciat per factors com el tipus de base de dades, la grandària de la base de dades, i la relació entre grandària de la càrrega de treball i la capacitat dels treballadors.

Leading tone alignment in occitan disapproval statements

L’accent nuclear ascendent-descendent de les oracions expressant desacord en occità consta de tres tons: LH+L*. En comptes de precedir el to asterisc (“starred tone”) a un interval fix en temps normalitzat (Pierrehumbert & Beckman 1989), els tons menadors (“leading tones”) L i H s’alineen amb determinats punts d’ancoratge de la cadena de segments: les fronteres dreta i esquerra de la síl•laba pretònica, respectivament. El model de Grice (1995b) per a l’estructura dels accents tonals permet donar compte d’aquest patró d’alineació incloent els tons menadors en un node diferent que precedeix el que domina to seguidor (“trailing tone”) i to asterisc.

Plataforma automatizada de detección de malware

Es descriu el disseny i posterior implementació de la nova plataforma d’automatització del servei ofert per Internet Security Auditors, S.L. destinada a l’anàlisi de dominis d’Internet amb la finalitat de detectar possibles infeccions que afectin a usuaris de la web. El sistema actual conté algunes deficiències, de manera que aquest text presenta una nova versió, la qual aporta millores molt significatives com ara una gestió més òptima, o un disseny renovat i escalable de la informació i els diferents processos. Així mateix es dota al sistema d’un control d’errors centralitzat, amb enviament d’alàrmes en temps real, i una agrupació i centralització dels resultats.

Collective victimisation and collective guilt in the former Yugoslavia : the interplay between individual, local and societal levels

The thesis examines the impact of collective war victimization on individuals' readiness to accept or assign collective guilt for past war atrocities. As a complement to previous studies, its aim is to articulate an integrated approach to collective victimization, which distinguishes between individual-, communal-, and societal-level consequences of warfare. Building on a social representation approach, it is guided by the assumption that individuals form beliefs about a conflict through their personal experiences of victimization, communal experiences of warfare that occur in their proximal surrounding, and the mass- mediatised narratives that circulate in a society's public sphere. Four empirical studies test the hypothesis that individuals' beliefs about the conflict depend on the level and type of war experiences to which they have been exposed, that is, on informative and normative micro and macro contexts in which they are embedded. The studies have been conducted in the context of the Yugoslav wars that attended the breakup of Yugoslavia, a series of wars fought between 1991 and 2001 during which numerous war atrocities were perpetrated causing a massive victimisation of population. To examine the content and impact of war experiences at each level of analysis, the empirical studies employed various methodological strategies, from quantitative analyses of a representative public opinion survey, to qualitative analyses of media content and political speeches. Study 1 examines the impact of individual- and communal- level war experiences on individuals' acceptance and assignment of collective guilt. It further examines the impact of the type of communal level victimization: exposure to symmetric (i.e., violence that similarly affects members of different ethnic groups, including adversaries) and asymmetric violence. The main goal of Study 2 is to examine the structural and political circumstances that enhance collective guilt assignment. While the previous studies emphasize the role of past victimisation, Study 2 tests the assumption that the political demobilisation strategy employed by elites facing public discontent in the collective system-threatening circumstances can fuel out-group blame. Studies 3 and 4 have been conducted predominantly in the context of Croatia and examine rhetoric construction of the dominant politicized narrative of war in a public sphere (Study 3) and its maintenance through public delegitimization of alternative (critical) representations (Study 4). Study 4 further examines the likelihood that highly identified group members adhere to publicly delegitimized critical stances on war. - Cette thèse étudie l'impact de la victimisation collective de guerre sur la capacité des individus à accepter ou à attribuer une culpabilité collective liée à des atrocités commises en temps de guerre. En compléments aux recherches existantes, le but de ce travail est de définir une approche intégrative de la victimisation collective, qui distingue les conséquences de la guerre aux niveaux individuel, régional et sociétal. En partant de l'approche des représentations sociales, cette thèse repose sur le postulat que les individus forment des croyances sur un conflit au travers de leurs expériences personnelles de victimisation, de leurs expériences de guerre lorsque celle-ci se déroule près d'eux, ainsi qu'au travers des récits relayés par les mass media. Quatre études testent l'hypothèse que les croyances des individus dépendent des niveaux et des types d'expériences de guerre auxquels ils ont été exposés, c'est-à-dire, des contextes informatifs et normatifs, micro et macro dans lesquels ils sont insérés. Ces études ont été réalisées dans le contexte des guerres qui, entre 1991 et 2001, ont suivi la dissolution de la Yougoslavie et durant lesquelles de nombreuses atrocités de guerre ont été commises, causant une victimisation massive de la population. Afin d'étudier le contenu et l'impact des expériences de guerre sur chaque niveau d'analyse, différentes stratégies méthodologiques ont été utilisées, des analyses quantitatives sur une enquête représentative d'opinion publique aux analyses qualitatives de contenu de médias et de discours politiques. L'étude 1 étudie l'impact des expériences de guerre individuelles et régionales sur l'acceptation et l'attribution de la culpabilité collective par les individus. Elle examine aussi l'impact du type de victimisation régionale : exposition à la violence symétrique (i.e., violence qui touche les membres de différents groupes ethniques, y compris les adversaires) et asymétrique. L'étude 2 se penche sur les circonstances structurelles et politiques qui augmentent l'attribution de culpabilité collective. Alors que les recherches précédentes ont mis l'accent sur le rôle de la victimisation passée, l'étude 2 teste l'hypothèse que la stratégie de démobilisation politique utilisée par les élites pour faire face à l'insatisfaction publique peut encourager l'attribution de la culpabilité à l'exogroupe. Les études 3 et 4 étudient, principalement dans le contexte croate, la construction rhétorique du récit de guerre politisé dominant (étude 3) et son entretien à travers la délégitimation publique des représentations alternatives (critiques] (étude 4). L'étude 4 examine aussi la probabilité qu'ont les membres de groupe fortement identifiés d'adhérer à des points de vue sur la guerre critiques et publiquement délégitimés.

Diseño, Desarrollo e Implementación de una aplicación WEB-MAP para la visualización y consulta de los proyectos ejecutados por AudingIntraesa

Consiste en el desarrollo de una aplicación WEB-MAP para la visualización y consulta de los proyectos ejecutados por AudingIntraesa. La tecnología utilizada fue MySQL como sistema de gestión de bases de datos, HTTP Apache como servidor web y Adobe Flex como entorno de desarrollo. Se creó una base de datos. Se diseñó una interfaz de usuario intuitiva, eficiente y atractiva. Se desarrollaron rutinas en AS3 para dotar de funcionalidades a la aplicación. Incluyen la consulta y actualización en tiempo de ejecución, descarga de ficheros externos, la fácil navegación por el mapa con capacidades de zoom, pan, cambio de mapas.

Dipòsit i caracterització de capes primes orgàniques de P3HT:PCBM per a aplicacions fotovoltaiques

En un món on el ritme de la societat actual ens ha portat a considerar les energies enovables com a prioritat vital i necessària i en el que es preveu que la demanda energètica augmenti un 50% fins al 2030, l'interès en la recerca de materials emiconductors orgànics per aplicacions de captura solar, ha assolit un potencial enorme de cara al futur. Molts són el avantatges que presenten aquest tipus de materials en front als seus homòlegs inorgànics. La facilitat de fabricació, la utilització de materials més econòmics i amb menys impacte ambiental, així com la possibilitat de produir dispositius flexibles, són algunes de les atractives aracterístiques que presenten aquests materials. No obstant, certs inconvenients om les baixes eficiències energètiques dels dispositius, i la inestabilitat ambiental ue es tradueix en un temps de vida molt reduït, fan que encara s'hagi d'invertir sforç per aconseguir que aquests materials puguin ser utilitzats en el camp de la aptura d'energia solar. El material més prometedor fins a data d'avui és el P3HT:PCBM. Es tracta d'un sistema polímer:molècula lleugera, on el P3HT actua com a component donador del sistema i el PCBM actua com a component acceptor. Les propietats optoelectròniques i eficiències energètiques de combinats orgànics P3HT:PCBM epèn en gran mesura de la seva morfologia i microestructura. Paràmetres com la proporció entre els components, el dissolvent utilitzat en la dissolució, així com 'aplicació de determinats tractaments tèrmics afecten de forma crítica a la seva orfologia. Durant el present treball s'han utilitzat diverses tècniques de caracterització per a estudiar determinades propietats que presenten aquest tipus de aterials. Entre les tècniques experimentals utilitzades hi trobem la microscòpia FM, l'espectroscòpia Raman i la conductimetria AFM o current sensing AFM CS-AFM). Els experiments en temps real durant l'escalfament de capes primes 3HT:PCBM, mostren que el P3HT pateix una cristal·lització al voltant dels 140ºC, permetent el reordenament de les molècules i un millor solapament del sorbitals [pi]-[pi]*, que resulta en un increment del transport de forats a través de la fase donadora del material. Paralel·lament, entre els 80-120ºC, el material també presenta determinats canvis tant en el comportament dels enllaços, com en la cristal·linitat del material, provocant una quasi transició de fase que atribuïm a la transició vitrea del material. Per altra banda, experiments amb conductimetria AFM realitzats en sistemes P3HT:HDPE mostren un signicatiu augment en la eva estabilitat ambiental, que es tradueix en un augment del temps de vida, sense una pèrdua considerable en els seus valors de conducció. Tot i la combinació del P3HT amb proporcions de polímers aïllants de fins al 80%, el sistema és capaç de no perdre la capacitat de transport gràcies a la formació de fases i dominis rics en P3HT. El present treball posa de manifest que ens trobem davant d'una tecnologia emergent i que nous estudis i esforços en la recerca d'aquest tipus materials és fonamental per aconseguir nous resultats i posicionar als materials semiconductors orgànics com una alternativa viable en el camp dels dispositus fotovoltaics. Assumint dades procedents de la tecnologia actual utilitzada en aquest tipus de materials, estudis i avaluacions ambientals i econòmiques mostren que petits increments tant en les eficiències com en el temps de vida de dispositius basats en aterials orgànics, posicionarien a aquest material com a alternativa totalment viable en el mercat fotovoltaic d'un futur proper.

Sintonización dinámica de aplicaciones MPI

En la actualidad, la computación de altas prestaciones está siendo utilizada en multitud de campos científicos donde los distintos problemas estudiados se resuelven mediante aplicaciones paralelas/distribuidas. Estas aplicaciones requieren gran capacidad de cómputo, bien sea por la complejidad de los problemas o por la necesidad de solventar situaciones en tiempo real. Por lo tanto se debe aprovechar los recursos y altas capacidades computacionales de los sistemas paralelos en los que se ejecutan estas aplicaciones con el fin de obtener un buen rendimiento. Sin embargo, lograr este rendimiento en una aplicación ejecutándose en un sistema es una dura tarea que requiere un alto grado de experiencia, especialmente cuando se trata de aplicaciones que presentan un comportamiento dinámico o cuando se usan sistemas heterogéneos. En estos casos actualmente se plantea realizar una mejora de rendimiento automática y dinámica de las aplicaciones como mejor enfoque para el análisis del rendimiento. El presente trabajo de investigación se sitúa dentro de este ámbito de estudio y su objetivo principal es sintonizar dinámicamente mediante MATE (Monitoring, Analysis and Tuning Environment) una aplicación MPI empleada en computación de altas prestaciones que siga un paradigma Master/Worker. Las técnicas de sintonización integradas en MATE han sido desarrolladas a partir del estudio de un modelo de rendimiento que refleja los cuellos de botella propios de aplicaciones situadas bajo un paradigma Master/Worker: balanceo de carga y número de workers. La ejecución de la aplicación elegida bajo el control dinámico de MATE y de la estrategia de sintonización implementada ha permitido observar la adaptación del comportamiento de dicha aplicación a las condiciones actuales del sistema donde se ejecuta, obteniendo así una mejora de su rendimiento.

Identificación de variedades de vitis vinifera procedentes de diferentes regiones del mundo mediante tècnica de biologia molecular de los microsatéllites

El objetivo de este estudio se centró en analizar una colección privada de germoplasma de Vitis vinifera L., de 338 cultivares procedentes de 24 países, para caracterizarlas creando una base de datos, utilizando 11 marcadores microsatélites o SSR (Simple Sequence Repeat). Como resultado se encontraron que algunas de las muestras analizadas presentaron un perfil idéntico de SSR, indicando que se trata de una sinonimia (la misma variedad pero con diferente nombre). Se detectaron 293 perfiles únicos. Adicionalmente, 15 pares de variedades presentaron diferencias en un solo locus y otros 7 grupos difieren en 2 loci, lo cual indicaría la alta proximidad genética entre esas variedades, sin llegar a ser la misma. El germoplasma analizado cuenta con una compleja biodiversidad varietal que se debe preservar. El estudio se realizó programando para el primer año la revisión bibliográfica detallada, recolección de las hojas y el inicio de la puesta a punto de la metodología, en el segundo año se completa la puesta a punto de la metodología, se trituran las hojas y se realiza la extraccinón del ADN. El tercer año se emplea para amplificar los fragmentos de ADN por medio de la PCR (reacción en cadena de la polimerasa), obtener la longitud de los fragmentos con un secuenciador ABI PRISM 310, valorar resultados y realizar repeticiones. El último año se analizan los resultados obtenidos, se realizan repeticiones pertinentes y se comienza la redacción de artículos científicos.

Transmisión de datos PDA - servidor web

En aquest projecte es visualitza la trajectòria d'un vehicle (aeri o terrestre) en una pàgina web. Per això es disposa d'una PDA (Personal Digital Assistant), en la qual es té informació actualitzada de la posició i de la velocitat d’aquest vehicle. Aquestes dades són obtingudes d'un sistema que combina la navegació inercial i el GPS (Global Position System), els quals estimen de manera precisa la trajectòria del vehicle. A fi d'oferir una visualització en temps real, versàtil, accessible i amigable a l'usuari de la trajectòria del vehicle, s'ha desenvolupat un sistema de visualització on-line que proporciona un millor rendiment en comparació amb la qual es venia fent en la PDA. Per a dur-lo a terme s'implementa una interfície d'usuari en la PDA que ens permet transmetre aquesta informació via WIFI a la pàgina web, d'igual forma al servidor web es crea una interfície que interpreta i gestiona aquestes dades per a posteriorment ser graficats a Google Maps.

Programació d'aplicacions bioinformàtiques

Avui en dia la biologia aporta grans quantitats de dades que només la informàtica pot tractar. Les aplicacions bioinformàtiques són la més important eina d’anàlisi i comparació que tenim per entendre la vida i aconseguir desxifrar aquestes dades. Aquest projecte centra el seu esforç en l’estudi de les aplicacions dedicades a l’alineament de seqüències genètiques, i més concretament a dos algoritmes, basats en programació dinàmica i òptims: el Needleman&Wunsch i el Smith&Waterman. Amb l’objectiu de millorar el rendiment d’aquests algoritmes per a alineaments de seqüències grans, proposem diferents versions d’implementació. Busquem millorar rendiments en temps i espai. Per a aconseguir millorar els resultats aprofitem el paral·lelisme. Els resultats dels anàlisis de les versions els comparem per obtenir les dades necessàries per valorar cost, guany i rendiment.