Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

“Learning through Radio, Learning for Life!”: Notas sobre o desenvolvimento de uma rádio participativa online

(Excerto) Olhando para o percurso do RadioActive, há uma ideia que parece ser transversal a todo o projeto. Referimo-nos a um princípio que chamaríamos de “identificação” e que foi determinante – é determinante – nos processos de investigação participativa. Falamos da identificação dos investigadores com os princípios da investigação-ação, da identificação das intervenções com as particularidades de cada contexto. Da imprescindível e progressiva identificação dos participantes com o projeto. Na verdade, sem esta multifacetada identificação é impossível pensar em resultados sustentáveis e persistentes. Investigadores e demais participantes têm de sentir que o projeto é “seu”, que os objetivos são “seus”, embora o façam necessariamente a velocidades diferentes. A aprendizagem, neste âmbito, expande-se sempre de dentro para fora, emerge dos interesses do sujeito e não de uma estrutura pré-concebida e imposta pelos que chegam (Ravenscroft et al., 2011), neste caso, os investigadores. Uma das diferenças das pesquisas participativas em relação às tradicionais é, precisamente, a atuação coletiva e não solitária do investigador. Os pesquisadores fazem parte de um processo participatório em que estão envolvidos numa estrutura (Cammarota & Fine, 2008: 5). Paulo Freire é o autor primordial em todos os projetos e países onde a RA101 foi aplicada. As suas concepções em torno da investigação-ação participativa tentam apontar sempre para uma ação e também para uma reflexão sobre os processos.

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Dissertação de mestrado integrado em Engenharia Civil

Arquitetura distribuída para análises multimodais de conectividade cerebral

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Feasibility of internally stiffened thin-walled beams for industrial applications

Several types of internally reinforced thin-walled beams are subjected to a feasibility evaluation of its mechanical behavior for industrial applications. The adapting of already existing efficient sandwich geometries to hollow-box beams of larger dimensions may reveal promising results. Novel types of sandwich beams under bending and torsion uncoupled loadings are studied in terms of stiffness behavior in static analysis. For the analysis of the solutions, the models are built using the Finite Element Method (FEM) software ANSYS Mechanical APDL. The feasibility of the novel beams was determined by the comparison of the stiffness behavior of the novel hollow-box beams with conventional hollow-box beams. An efficiency parameter was defined in order to determine the feasibility. It is found that the novel geometries represent an excellent improvement under bending loadings, better than under torsion loadings. Nevertheless, for bending and torsion combined loadings, if bending loads are predominant, the beams can still be interesting for some applications, in particular those with mobile parts.

Final report detailed description - NET Station: shaping radio for web environment

In more scientific terms, NET Station contributed to: - discuss in theoretical terms the role radio still play in contemporary societies; - examine how audiences are using sound resources on the Web; - draw up a new theoretical framework for the study of the reconfiguration of radio language on the Internet;acknowledge that people are not abandoning radio as a medium; the survey applied by the team demonstrated that there is a complementariness between traditional radio and radio on the Internet; - understand that people expect more interactivity, more opportunities to participate in content production and more diversity of contents. These results were shared with editors responsible for Portuguese radio and might influence the offer made available by these radio corporations from now on; - demonstrate that the Internet is underexplored in terms of sound and acoustic communication; - promote the production of new sound narratives to be available on the Internet;

Análisis y optimización del radio enlace en un sistema RFID

El proyecto tiene como principal objetivo lograr mejorar el enlace entre el tag y el Reader, en un sistema RFID (Radio Frecuency IDentification). El mismo será abordado desde dos ópticas de trabajo; La primera, es lograr el mismo alcance de los sistemas actuales, reduciendo la potencia aportada por el Reader. En esta situación su principal aplicación será en los implantes en seres vivos, disminuyendo la radiación electromagnética en los mismos. La segunda, es lograr aumentar la distancia del alcance del enlace, sin aumentar la potencia del Reader.

Redes de datos inalámbricas y dispositivos de transmisión de datos por radio frecuencia

El presente proyecto comprende el diseño, simulación, construcción y puesta en funcionamiento de una red inalámbrica. La plataforma de comunicaciones desarrollada en un proyecto anterior se complementa ahora con la implementación de una red inalámbrica, lo cual va a permitir que los módulos de comunicaciones- tres o más -puedan interactuar entre sí. La realización del proyecto surge de la necesidad de contar con una red inalámbrica que permita cubrir grandes distancias y transmitir a una central los datos de los sensores. La principal característica de cada módulo de comunicaciones es que trabajan como repetidores de las demás, permitiendo comunicar a todos y tener bajo consumo. La implementación de una red inalámbrica mencionada en el párrafo anterior está comprometida como parte del Proyecto PAV2003-0076. En dicho proyecto, el equipo va a continuar con la investigación en circuitos y dispositivos de Alta Frecuencia, para ser aplicados en sistemas de telecomunicaciones.

Redes de datos inalámbricas y dispositivos de transmisión de datos por radio frecuencia

La etapa del proyecto para este año consiste en la aplicación concreta de los conocimientos adquiridos. La principal aplicación es la implementación del sistema en la Clínica Reina Fabiola, en el servicio médico que se definirá con las autoridades de la misma. Se continuará trabajando en el diseño de la antena y en la etapa de RF en el Chip Pasivo, que se está desarrollado en conjunto con el equipo de Microelectrónica y en la etapa del transmisor “Reader”. Además se continúa con la investigación en circuitos y dispositivos de Alta Frecuencia, para ser aplicados en sistemas de telecomunicaciones y generar conocimientos para ser transferidos a las distintas cátedras relacionadas con el proyecto. Se establecieron las pautas con la Facultad de Ciencias Agropecuarias para desarrollar una aplicación de trazabilidad de ganado utilizando chips pasivos.

Análisis y optimización del radio enlace de un sistema RFID y redes de sensores inalámbricos (WSN)

Un sistema inalámbrico en UHF puede ser utilizado tanto para la identificación de productos como para la adquisición de datos. Si se encuadra en la identificación se está refiriendo a sistemas “RFID” y si se encuadra en la adquisición de datos se está en presencia de una “Red de Sensores Inalámbrica”. El presente proyecto pretende desarrollar una plataforma de discusión permanente sobre estas tecnología que permita la optimización de los diferentes estamentos de la red. El proyecto tiene como objetivo general mejorar las prestaciones del vinculo entre los distintos elementos en un sistema RFID (Radio Frecuency Identification) o WSN (Wireless Sensor Network). En tal sentido, se propone en una primer línea de investigación, el desarrollo de un modelo que caracterice una red inalámbrica de sensores en UHF, permitiendo luego simularla bajo distintas condiciones. El objetivo es tener una herramienta con la cual se pueda estudiar y simular el comportamiento de una red con varios nodos. Una segunda línea de trabajo aborda el problema del test para sistemas RFID y WSN, con énfasis en nodos activos y pasivos diseñados con circuitos analógicos y digitales configurables y componentes comerciales. Así, se propone el desarrollo de estrategias de test de bajo consumo y alto desempeño focalizadas en las secciones analógicas, de conversión y digitales configurables del nodo. Los trabajos específicos planteados para responder a los objetivos que se pretenden son: La caracterización y modelado del enlace inalámbrico en UHF; La caracterización y modelado del transceptor en sus distintas etapas; La caracterización y modelado de la red con los distintos nodos; El estudio de nuevos diseños de antenas; El estudio de distintas adaptaciones de la etapa de RF con la antena; El estudio de alternativas de distintas modulaciones de las señales a transmitir; Proponer estrategias de simulación y/o emulación de fallas para sistemas analógicos y digitales que permita la evaluación de las estrategias de test y de los mecanismos de recuperación ante fallas; Evaluar el funcionamiento en laboratorio y en campo de los nodos y el lector