A many-core co-processor for embedded parallel computing on FPGA

Single processor architectures are unable to provide the required performance of high performance embedded systems. Parallel processing based on general-purpose processors can achieve these performances with a considerable increase of required resources. However, in many cases, simplified optimized parallel cores can be used instead of general-purpose processors achieving better performance at lower resource utilization. In this paper, we propose a configurable many-core architecture to serve as a co-processor for high-performance embedded computing on Field-Programmable Gate Arrays. The architecture consists of an array of configurable simple cores with support for floating-point operations interconnected with a configurable interconnection network. For each core it is possible to configure the size of the internal memory, the supported operations and number of interfacing ports. The architecture was tested in a ZYNQ-7020 FPGA in the execution of several parallel algorithms. The results show that the proposed many-core architecture achieves better performance than that achieved with a parallel generalpurpose processor and that up to 32 floating-point cores can be implemented in a ZYNQ-7020 SoC FPGA.

Projeto topológico de uma rede rodoviária

Mestrado em Engenharia Informática - Área de Especialização em Sistemas Gráficos e Multimédia

Gestão Inteligente de uma Habitação considerando o Controlo de Cargas, de Microgeração e Veículos Elétricos em Função do seu Perfil de Utilização

Os consumidores finais são vistos, no novo paradigma da operação das redes elétricas, como intervenientes ativos com capacidade para gerir os seus recursos energéticos, nomeadamente as cargas, as unidades de produção, os veículos elétricos e a participação em eventos de Demand Response. Tem sido evidente um aumento do consumo de energia, sendo que o setor residencial representa uma importante parte do consumo global dos países desenvolvidos. Para que a participação ativa dos consumidores seja possível, várias abordagens têm vindo a ser propostas, com ênfase nas Smart Grids e nas Microgrids. Diversos sistemas têm sido propostos e desenvolvidos com o intuito de tornar a operação dos sistemas elétricos mais flexível. Neste contexto, os sistemas de gestão de instalações domésticas apresentam-se como um elemento fulcral para a participação ativa dos consumidores na gestão energética, permitindo aos operadores de sistema coordenarem a produção mas também a procura. No entanto, é importante identificar as vantagens da implementação e uso de sistemas de gestão de energia elétrica para os consumidores finais. Nesta dissertação são propostas metodologias de apoio ao consumidor doméstico na gestão dos recursos energéticos existentes e a implementação das mesmas na plataforma de simulação de um sistema de gestão de energia desenvolvido para consumidores domésticos, o SCADA House Intelligent Management (SHIM). Para tal, foi desenvolvida uma interface que permite a simulação em laboratório do sistema de gestão desenvolvido. Adicionalmente, o SHIM foi incluído no simulador Multi-Agent Smart Grid Simulation Plataform (MASGriP) permitindo a simulação de cenários considerando diferentes agentes. Ao nível das metodologias desenvolvidas são propostos diferentes algoritmos de gestão dos recursos energéticos existentes numa habitação, considerando utilizadores com diferentes tipos de recursos (cargas; cargas e veículos elétricos; cargas, veículos elétricos e microgeração). Adicionalmente é proposto um método de gestão dinâmica das cargas para eventos de Demand Response de longa duração, considerando as características técnicas dos equipamentos. Nesta dissertação são apresentados cinco casos de estudos em que cada um deles tem diferentes cenários de simulação. Estes casos de estudos são importantes para verificar a viabilidade da implementação das metodologias propostas para o SHIM. Adicionalmente são apresentados na dissertação perfis reais dos vários recursos energéticos e de consumidores domésticos que são, posteriormente, utilizados para o desenvolvimento dos casos de estudo e aplicação das metodologias.

Multi-Agent Based Smart Grid Management and Simulation: Situation Awareness and Learning in a Test Bed with Simulated and Real Installations and Players

The rising usage of distributed energy resources has been creating several problems in power systems operation. Virtual Power Players arise as a solution for the management of such resources. Additionally, approaching the main network as a series of subsystems gives birth to the concepts of smart grid and micro grid. Simulation, particularly based on multi-agent technology is suitable to model all these new and evolving concepts. MASGriP (Multi-Agent Smart Grid simulation Platform) is a system that was developed to allow deep studies of the mentioned concepts. This paper focuses on a laboratorial test bed which represents a house managed by a MASGriP player. This player is able to control a real installation, responding to requests sent by the system operators and reacting to observed events depending on the context.

Metabolism of primary astrocytes studied by NMR: metabolic trafficking and neuroprotection

Dissertation presented to obtain a Ph. D. degree in Biochemistry by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica.

O ensino de auditoria em Angola estudo de caso

Trabalho de Projecto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação da Professora Doutora Alcina Augusta de Sena Portugal Dias

Relatório de estágio em educação pré-escolar e ensino do 1º ciclo do ensino básico

O presente relatório – requisito parcial para obtenção do grau de mestre em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico – reflete as experiências e conhecimentos desenvolvidos, resultantes da prática pedagógica supervisionada desenvolvida em dois contextos de estágio: Educação Pré-Escolar e 1.º Ciclo do Ensino Básico. Com efeito, a estudante teve como objetivo descrever, compreender e refletir acerca do processo de prática segundo o desenvolvimento de capacidades e competências substanciais à prática docente. Enquanto (futura) profissional de educação, verifica-se pertinente a mobilização de saberes científicos, pedagógicos e culturais, adquiridos ao longo da formação inicial para que se torne exequível uma prática sustentada. Similarmente, o docente, baseando-se em quadros teóricos e concetuais (amplificados de forma subjetiva e continuada), desenvolverá a sua forma pessoal de pensar e agir nos contextos de práticas reais visando a inclusão e equidade educativas, e a colaboração profissional e reflexiva. Conforme a metodologia de investigação-ação (constituída por várias etapas interligadas – observação, planificação, ação e avaliação, reflexão), a ação da mestranda desenvolveu-se de forma cíclica e articulada, numa perspetiva construtivista – e holística – do conhecimento a erigir pelas crianças (atores centrais do processo) ressalvando-se, igualmente, a pertinência dos demais instrumentos orientadores elaborados no decorrer da ação. Concludentemente, os estágios desenvolvidos nos dois contextos facultaram a edificação de uma postura profissional, reflexiva e investigativa, promotora da tomada de decisões em contexto de prática reafirmando-se competências profissionais e pessoais e valorando-se, efetivamente, a formação ao longo da vida para aquele que se constitui um docente generalista.

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.

Relatório de Estágio: Análise da eficiência do Sistema de controlo de tráfego da cidade do Porto

No âmbito da unidade curricular Dissertação/Estágio/Projeto, foi desenvolvido, durante um estágio na Câmara Municipal do Porto, o estudo da eficiência do sistema inteligente de controlo de tráfego implementado na cidade. Este sistema é designado como Sistema Inteligente de Gestão Autónoma - SIGA e tem como base de funcionamento o software de gestão de tráfego GERTRUDE da empresa GERTRUDE SAEM. O sistema de controlo de tráfego encontra-se repartido em 10 zonas interligadas, focadas essencialmente no centro da cidade do Porto. O estudo foi aplicado apenas a uma parte da zona da Constituição, nomeadamente a rua da Constituição, desde a Praça Marquês até à rua Antero de Quental. A eficiência mediu-se pela comparação de duas situações, a circulação e comportamento das correntes de tráfego com o sistema em funcionamento normal e com o sistema desativado. Por sua vez, o indicador utilizado que permitiu avaliar o sistema, foi o nível de serviço obtido pelo atraso médio por veículo em cada ramo de cada interseção. Para determinação do atraso, foram testados diferentes métodos, para se tentar perceber qual aquele que melhor se adequava à situação e que exigia menor número de recursos humanos. À frente serão exaradas algumas conclusões acerca da metodologia de cada um deles e condicionantes que levaram à não utilização de todos os métodos. Depois de aplicadas as metodologias que permitiram determinar o nível de serviço em cada grupo semafórico das diferentes interseções, percebeu-se que existe uma grande diferença na circulação entre as duas situações, sendo que a mais-valia que este sistema apresenta é a coordenação das diferentes interseções que se encontram abrangidas pelas 10 zonas pertencentes ao SIGA.

Aplicação de Internet of Things em casas inteligentes: Serviços de Rede

O foco principal no estudo da Internet of Things tem sido a integração de dispositivos digitais com o mundo físico e vice-versa. Os dispositivos inteligentes têm vindo a ganhar uma forte presença na nossa vida diária e cada vez mais, tendem a integrar o sistema de uma casa, automatizando processos comuns como o controlo de temperatura ambiente ou mesmo a percentagem de luminosidade de uma divisão. A visão da IoT contempla um mundo interconectado, recolhendo informações de forma automática e possibilitando a comunicação entre dispositivos. Contudo, as tecnologias existentes para a criação de redes que albergam estes novos dispositivos carecem de padrões bem definidos, dificultando a interoperabilidade entre as diversas soluções existentes. Neste projeto são estudadas e aplicadas as tecnologias mais promissoras aplicáveis ao paradigma Internet of Things, com o objetivo de encontrar um conjunto de protocolos padrão para a implementação de sistemas de automação em casas inteligentes.1 Como objetivo final deste projeto, pretende-se criar uma rede de dispositivos com capacidades sensoriais que tenham a capacidade de comunicar com o mundo externo, permitindo o acesso à rede por qualquer tipo de utilizador. Com isso, espera-se caminhar para mais perto da padronização dos protocolos inerentes à IoT e habilitar interoperabilidade entre as mais diversas soluções. São apresentados e utilizados os protocolos que mais se adaptam ao tema escolhido, tentando simplificar a rede para que esta possa ser incluída em qualquer ambiente doméstico, recorrendo a hardware de custo reduzido. Os protocolos apresentados são o 6LoWPAN, utilizando o protocolo IEEE 802.15.4 como interface de rede juntamente com endereçamento IPv6. É também utilizado o protocolo CoAP na troca de mensagens entre os dispositivos.

BIiossensor Enzimático para avaliação da Capacidade Antioxidente

Os radicais livres formam-se naturalmente nos organismos vivos, pois a sua produção/geração está interligada com o processo de produção de energia (respiração), processos inflamatórios (fagocitose), regulação do crescimento celular, sinalização intercelular e síntese de substâncias biológicas relevantes. Estes também podem ser introduzidos por vias exógenas (poluição, radiação, tabaco, alimentação, etc). Os radicais livres têm capacidade de reagir com o material nucleico (ADN e ARN), proteínas e substâncias oxidáveis, causando danos oxidativos responsáveis pelo envelhecimento e originar doenças degenerativas, tais como, o cancro, arteriosclerose, artrite reumatoide, entre outras. De forma a combater os efeitos pejorativos provocados pelos radicais, os organismos vivos desenvolveram complexos sistemas de defesa antioxidante. Estes sistemas são constituídos por antioxidantes endógenos, produzidos pelos seres vivos, tais como enzimas ou por antioxidantes exógenos obtidos por via da alimentação (por exemplo o ácido ascórbico). Neste sentido, um antioxidante tem capacidade de eliminar ou reduzir a propagação da cadeia de geração de radicais livres. Neste trabalho foi desenvolvido um biossensor enzimático para a quantificação da capacidade antioxidante total de matrizes alimentares. A construção deste biossensor consistiu na eletroimobilização da adenina no elétrodo de pasta de carbono (EPC) ou na adsorção física da dA20 na superfície do EPC. O dano oxidativo foi induzido pelo radical hidroxilo gerado pela reação de Fenton. Nesta dissertação, foi estudada a capacidade de alguns antioxidantes em eliminar o efeito pejorativo dos radicais livres e combater a integridade das bases de adenina ou do dA20.Os antioxidantes estudados foram o ácido ascórbico e alguns ácidos fenólicos como o ácido hidroxibenzoico (ácido gálico) e ácidos hidroxicinâmicos (ácido cafeico e ácido cumárico). Estes antioxidantes têm a capacidade de neutralizar o radical hidroxilo e proteger a adenina/dA20 imobilizado na superfície do EPC. O comportamento da Lacase foi estudado na presença do ácido gálico e do ácido ascórbico. Os estudos eletroquímicos foram realizados através da voltametria de onda quadrada (VOQ), sendo que a interação entre a adenina/ou o dA20 imobilizada na superfície do EPC e os radicais livres na ausência e presença de antioxidantes foi avaliada por meio de mudanças no pico anódico produzido pela oxidação da adenina /dA20. Os resultados demonstraram que estes biossensores permitem a avaliação da capacidade antioxidante total em águas aromatizadas.

Effects of Exercise on Physical and Mental Health, and Cognitive and Brain Functions in Schizophrenia: Clinical and Experimental Evidence

Exercise promotes several health benefits, such as cardiovascular, musculoskeletal and cardiorespiratory improvements. It is believed that the practice of exercise in individuals with psychiatric disorders, e.g. schizophrenia, can cause significant changes. Schizophrenic patients have problematic lifestyle habits compared with general population; this may cause a high mortality rate, mainly caused by cardiovascular and metabolic diseases. Thus, the aim of this study is to investigate changes in physical and mental health, cognitive and brain functioning due to the practice of exercise in patients with schizophrenia. Although still little is known about the benefits of exercise on mental health, cognitive and brain functioning of schizophrenic patients, exercise training has been shown to be a beneficial intervention in the control and reduction of disease severity. Type of training, form of execution, duration and intensity need to be better studied as the effects on physical and mental health, cognition and brain activity depend exclusively of interconnected factors, such as the combination of exercise and medication. However, one should understand that exercise is not only an effective nondrug alternative, but also acts as a supporting linking up interventions to promote improvements in process performance optimization. In general, the positive effects on mental health, cognition and brain activity as a result of an exercise program are quite evident. Few studies have been published correlating effects of exercise in patients with schizophrenia, but there is increasing evidence that positive and negative symptoms can be improved. Therefore, it is important that further studies be undertaken to expand the knowledge of physical exercise on mental health in people with schizophrenia, as well as its dose-response and the most effective type of exercise.

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.

Visualization and interaction in a simulation system for flood emergencies

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Brachial Plexus Morphology and Vascular Supply in the Wistar Rat

Introduction: The rat is probably the animal species most widely used in experimental studies on nerve repair. The aim of this work was to contribute to a better understanding of the morphology and blood supply of the rat brachial plexus. Material and Methods: Thirty adult rats were studied regarding brachial plexus morphology and blood supply. Intravascular injection and dissection under an operating microscope, as well as light microscopy and scanning electron microscopy techniques were used to define the microanatomy of the rat brachial plexus and its vessels. Results: The rat brachial plexus was slightly different from the human brachial plexus. The arterial and venous supply to the brachial plexus plexus was derived directly or indirectly from neighboring vessels. These vessels formed dense and interconnected plexuses in the epineurium, perineurium, and endoneurium. Several brachial plexus components were accompanied for a relatively long portion of their length by large and constant blood vessels that supplied their epineural plexus, making it possible to raise these nerves as flaps. Discussion: The blood supply to the rat brachial plexus is not very different from that reported in humans, making the rat a useful animal model for the experimental study of peripheral nerve pathophysiology and treatment. Conclusion: Our results support the homology between the rat and the human brachial plexus in terms of morphology and blood supply. This work suggests that several components of the rat brachial plexus can be used as nerve flaps, including predominantly motor, sensory or mixed nerve fibers. This information may facilitate new experimental procedures in this animal model.