Protótipo Eurobolso

O projeto idealizado para a realização da presente tese de mestrado tem como finalidade o desenvolvimento de uma aplicação móvel para o sistema Android. Esta aplicação permitirá que, através da passagem do dispositivo móvel por um leitor NFC, seja possível realizar apostas no jogo Euromilhões da Santa Casa, onde os dados ficam gravados numa conta associada a cada jogador. Esta aplicação terá ainda muitas outras funcionalidades que permitirão criar chaves de jogo, gerir o cartão individual de cada jogador, consultar os prémios e outras informações do jogo. A realização deste projeto está dividida em três fases. A primeira fase consistiu na aquisição de todo o material necessário e estabelecimento da comunicação entre o dispositivo móvel e o desktop, por intermédio da tecnologia NFC. A segunda fase centrou-se no desenvolvimento da aplicação móvel e do servidor web, onde foram integradas as várias funcionalidades. Estabeleceu-se também a comunicação entre estes dois sistemas. Na terceira e última fase, foi realizada a criação da aplicação desktop, capaz de interagir por intermédio da tecnologia NFC, com a aplicação móvel, possibilitando a comunicação entre os dois sistemas.

A single method to stain Malassezia furfur and Corynebacterium minutissimum in scales

A single and practical method to slain Malassezia furfur and Corynebacterium minutissimum in lesions' scales is described. The scales are collected by pressing small pieces of scotch tape (about 4 cm lenght and 2 cm width) onto the lesions and following withdrawl the furfuraceous scales will remain on the glue side. These pieces are then immersed for some minutes in lactophenol-cotton blue stain. Following absorption of the stain the scales are washed in current water to remove the excess of blue stain, dried with filter paper, dehydrated via passage in two bottles containing absolute alcohol and then placed in xylene in a centrifugation tube. The xylene dissolves the scotch tape glue and the scales fall free in the tube. After centrifugation and decantation the scales concentrated on the bottom of the tube are collected with a platinum-loop, placed in Canada balsam on a microscopy slide and closed with a cover slip. The preparations are then ready to be submitted to microscopic examination. Other stains may also be used instead of lactophenol-cotton blue. This method is simple, easily performed, and offers good conditions to study these fungi as well as being useful for the diagnosis of the diseases that they cause.

Deteção e identificação de anomalias em redes de distribuição de energia elétrica

Na ocorrência de anomalias nas redes de distribuição de energia elétrica, muitas vezes devido ao reduzido número de informação disponível, a determinação da localização dos defeitos é uma tarefa árdua e morosa. Consequentemente, impõe-se o recurso por parte das companhias elétricas a sistemas que, contribuindo para a diminuição do tempo despendido na localização dos defeitos, assegurem a redução da duração e frequência das falhas de alimentação. Esta dissertação pretende estudar os diversos sistemas de deteção de defeitos existentes, com destaque para a utilização de Indicadores de Passagem de Defeito e analisar o contributo destes sistemas para a melhoria dos Índices de Qualidade de Serviço. Abordar as dificuldades que se colocam à implementação destes sistemas, nomeadamente, pelas características específicas das redes de distribuição. Pretende, ainda, desenvolver uma metodologia e a respetiva ferramenta, que permita a deteção de defeitos baseada na utilização de Indicadores de Passagem de Defeito comunicantes, numa saída da rede de distribuição de média tensão pertencente à EDP. Analisar técnica e economicamente os benefícios a obter com a implementação da metodologia desenvolvida. Esta dissertação pretende, não só atingir os objetivos acima referidos, mas também, através deles, elaborar uma ferramenta útil para as Companhias Elétricas, no sentido de adotarem sistemas de deteção de defeitos e com fim principal de uma possível redução dos tempos de indisponibilidade de alimentação, intimamente associados à persecução de melhores índices de Qualidade de Serviço por parte das mesmas.

Modelo de controlo difuso de um sistema de produção de energia com base em recursos renováveis

A satisfação das necessidades energéticas mundiais, cada vez mais exigentes, bem como a necessidade urgente de procurar caminhos que permitam usufruir de energia, da forma menos poluente possível, levam à necessidade de serem explorados caminhos que permitam cumprir estes pressupostos. A escolha da utilização das energias renováveis na produção de energia, torna-se cada vez mais interessante, quer do ponto de vista ambiental quer económico. O fundamento da lógica difusa está associado à recolha de informações vagas, que são no fundo uma linguagem falada por seres humanos, possibilitando a passagem deste tipo de linguagem para formato numérico, permitindo assim uma manipulação computacional. Elementos climáticos como o sol e o vento, podem ser descritos em forma de variáveis linguísticas, como é o caso de vento forte, temperatura baixa, irradiação fraca, etc. Isto faz com que a aplicação de um controlo a partir destes fenómenos, justifique ser realizado com recurso a sistemas de inferência difusa. Para a realização do trabalho proposto, foram consumados estudos relativos às energias renováveis, com particular enfoque na solar e na eólica. Também foi realizado um estudo dos conceitos pertencentes à lógica difusa e a sistemas de inferência difusa com o objetivo de perceber os diversos parâmetros constituintes desta matéria. Foi realizado o estudo e desenvolvimento de um sistema de aquisição de dados, bem como do controlador difuso que é o busílis do trabalho descrito neste relatório. Para tal, o trabalho foi efetuado com o recurso ao software MATLAB, a partir do qual foram desenvolvidas aplicações que possibilitaram a obtenção de dados climáticos, com vista à sua utilização na toolbox Fuzzy Logic a qual foi utilizada para o desenvolvimento de todo o algoritmo de controlo. Com a possibilidade de aquisição de dados concluída e das variáveis que iriam ser necessárias definidas, foi implementado o controlador difuso que foi sendo sintonizado ao longo do trabalho por forma a garantir os melhores resultados possíveis. Com o recurso à ferramenta Guide, também do MATLAB, foi criada a interface do sistema com o utilizador, sendo possível a averiguação da energia a ser produzida, bem como das contribuições de cada uma das fontes de energia renováveis para a obtenção dessa mesma energia. Por último, foi feita uma análise de resultados através da comparação entre os valores reais esperados e os valores obtidos pelo controlador difuso, bem como assinaladas conclusões e possibilidades de desenvolvimentos futuros deste trabalho.

"In vivo" and "in vitro" demonstration of hemoglobin C crystals in non-splenectomized patients

We studied 12 Hb C carriers: 4 homozygotic Hb CC and 8 heterozygotic. We observed the presence of free crystals in the peripheral blood of the homozygotes but in none of the heterozygotes. However, after incubation with 3% NaCl we were able to detect crystals in the heterozygotes (Hb AC and Hb SC), and in the homozygotes (Hb CC). In patient 04 (P04) less crystals formation occurred due to inhibition of the process by the presence of elevated levels of Hb F (12.2%). All the homozygotic patients had a splenomegaly of 3 to 6 fingerbreadths.We believe that the spleen wears off with time, thus allowing the passage of crystals to the peripheral blood. This finding might be associated with splenic insufficiency without a reduction of its dimensions. Finally, the finding of crystals in the peripheral blood permitted the diagnosis of Hb C obviating the need for electrophoresis.

Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

Um middleware independente da plataforma para computação paralela

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Time – intangible tangible –

Dissertação para obtenção do Grau de Mestre em Arte e Ciência do Vidro

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

Distributed Forest Fire Monitoring Using Wireless Sensor Networks

Disaster management is one of the most relevant application fields of wireless sensor networks. In this application, the role of the sensor network usually consists of obtaining a representation or a model of a physical phenomenon spreading through the affected area. In this work we focus on forest firefighting operations, proposing three fully distributed ways for approximating the actual shape of the fire. In the simplest approach, a circular burnt area is assumed around each node that has detected the fire and the union of these circles gives the overall fire’s shape. However, as this approach makes an intensive use of the wireless sensor network resources, we have proposed to incorporate two in-network aggregation techniques, which do not require considering the complete set of fire detections. The first technique models the fire by means of a complex shape composed of multiple convex hulls representing different burning areas, while the second technique uses a set of arbitrary polygons. Performance evaluation of realistic fire models on computer simulations reveals that the method based on arbitrary polygons obtains an improvement of 20% in terms of accuracy of the fire shape approximation, reducing the overhead in-network resources to 10% in the best case.

Response Time Analysis of Slotted WiDOM in Noisy Wireless Channels

International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Industrial Communication Technologies and Systems, Luxembourg, Luxembourg.

Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing

13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Utilização de Cabos de alta Temperatura em linhas Aéreas em Média Tensão

A presente dissertação teve como objetivo fazer uma análise da viabilidade técnica da utilização dos condutores de alta temperatura nas linhas aéreas de MT, identificar vantagens, analisar inconvenientes, e estabelecer um comparativo a custos médios com as soluções convencionais. Foi efetuado o estudo de um caso real da EDP Distribuição que consistia na necessidade do aumento da capacidade de transporte de energia da linha aérea a 15 kV Espinho-Sanguedo. Neste foi ponderada a solução onde se poderia efetuar passagem de linha simples para linha dupla em alumínio-aço (AA) 160 mm2 ou a solução alternativa e inovadora de substituição dos condutores existentes por condutores de alta temperatura ACCC 182 mm2. Para isso foram efetuados cálculos e também criada uma ferramenta de apoio à decisão, para validação dos mesmos, com o intuito de mais tarde poder ser aplicada nas linhas aéreas em Média Tensão em todo o país e, sempre que necessário, se possa fazer um estudo de ponderação técnica de forma sistemática e estruturada. Neste trabalho estão identificadas as vantagens, foram relatados os inconvenientes, e estabeleceu-se um comparativo a custos médios da utilização de condutores de alta temperatura com as soluções convencionais. Antes de poder ser realizado um estudo do caso concreto da Linha aérea Espinho-Sanguedo foi necessário um aprofundamento do estado da arte no que diz respeito à comparação entre o cabo de alta temperatura ACCC e o cabo convencional ACSR, sendo este o mais utilizado nas linhas aéreas em MT. Os cabos de alta temperatura trouxeram inovações neste tema de transporte de energia, e como tal surgiu a necessidade de um estudo mais aprofundado da sua constituição, destacando o seu núcleo formado pelo compósito de fibra de carbono e fibra de vidro. Foi também analisado vantagens e desvantagens do cabo de alta temperatura e até mesmo situações onde a sua aplicação poderá ser vantajosa, de modo a tirar proveito das suas caraterísticas em que se destacam altas temperaturas de funcionamento e flechas reduzidas. Para elaborar um projeto de uma linha aérea em média tensão é necessário considerar a legislação em vigor, os aspetos ambientais e económicos, respeitando e garantindo as premissas do cálculo elétrico e mecânico. Economicamente este tipo de cabo (ACCC) é mais dispendioso do que os convencionais, no entanto o estudo realizado permitiu perceber que a sua implementação técnica é vantajosa em linhas aéreas de elevada capacidade de transporte de energia, sobretudo nos casos onde serão necessárias instalar linhas duplas ou linhas simples de seções elevadas. Devido às suas caraterísticas mecânicas, estes cabos permitem melhorar as linhas na sua dimensão, podendo diminuir o número de apoios a instalar, podendo diminuir a robustez dos apoios e permitir maior facilidade na montagem. Estas vantagens traduzem-se em menores impactos ambientais e permitem sobretudo reduzir os constrangimentos com os proprietários dos terrenos onde os apoios são implantados.

Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs

Presented at Embed with Linux Workshop (EWiLi 2015). 4 to 9, Oct, 2015. Amsterdam, Netherlands.