NONIUS.TV na SMART TV LG PRO: Centric

A Smart TV é um equipamento novo e em evolução que incorpora um computador e acesso à Internet em ecrãs de grande qualidade. Permite a implementação de serviços interactivos, acesso à Internet e televisão. À medida que a tecnologia melhora, muitos equipamentos estão a tornar-se tão capazes quanto os computadores normais quando se trata de navegação na web e até mesmo vídeo na Internet (Video-on-Demand e streaming de vídeo). O projecto de estágio “NONIUS.TV na Smart TV LG Pro:Centric” foi desenvolvido na empresa Nonius Software que está inserida no ramo das telecomunicações. Uma das suas áreas de actividade está relacionada com o desenvolvimento de plataformas de entretenimento para o mercado hoteleiro, combinando diversos serviços e funcionalidades a pensar no hóspede. Este projecto teve como finalidade implementar alguns dos serviços e funcionalidades já existentes em plataformas que usam uma Set-Top Box da Nonius Software, numa Smart TV, aproveitando também para inovar e criar novos serviços. Nesse conjunto está incluída a implementação de uma Caixa de Mensagens, Serviço de Quartos, Serviço de Desporto e Lazer, Serviços Informativos, um cliente RTSP, um despertador, um sistema de mudança de idioma e outras pequenas funcionalidades desenvolvidas ao longo de toda a aplicação. Esta dissertação apresenta um estudo sobre as tecnologias Smart TV existentes no mercado, assim como as vantagens e desvantagens da sua utilização para este projecto. Após uma análise de requisitos de forma a estruturar e desenhar os serviços e funcionalidades a serem criados para a aplicação, implementou-se um conjunto de serviços, usando a linguagem de programação ActionScript 2.0, que permitiram à empresa disponibilizar um novo produto baseado na televisão Pro:Centric da LG.

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.

Detection of parvovirus B19 infection in formalin-fixed and paraffin-embedded placenta and fetal tissues

Parvovirus B19 infection was first discovered in 1975 and it is implicated in fetal death from hydrops fetalis the world over. Diagnosis is usually made through histological identification of the intranuclear inclusion in placenta and fetal organs. However, these cells may be scarce or uncharacteristic, making definitive diagnosis difficult. We analyzed histologically placentas and fetal organs from 34 cases of non-immune hydrops fetalis, stained with Hematoxylin and Eosin (HE) and submitted to immunohistochemistry and polymerase chain reaction (PCR). Of 34 tissue samples, two (5.9%) presented typical intranuclear inclusion in circulating normoblasts seen in Hematoxylin and Eosin stained sections, confirmed by immunohistochemistry and PCR. However, PCR of fetal organs was negative in one case in which the placenta PCR was positive. We concluded that parvovirus B19 infection frequency is similar to the literature and that immunohistochemistry was the best detection method. It is highly specific and sensitive, preserves the morphology and reveals a larger number of positive cells than does HE with the advantage of showing cytoplasmic and nuclear positivity, making it more reliable. Although PCR is more specific and sensitive in fresh or ideally fixed material it is not so in formalin-fixed paraffin-embedded tissues, frequently the only one available in such cases.

Architecture to Support Quality of Service in Arrowhead Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Covilhã, Portugal.

Magnetic Resonance Imaging and Gynecological Devices

Background: Performing magnetic resonance imaging (MRI) on women with gynecological devices is a completely accepted practice. The goal of our review is to assess how safe it is to perform MRI on women using contraceptive implants or devices. Study Design: Literature review, searching in PubMed-Medline/Ovid for the following keywords: magnetic resonance imaging, intrauterine devices, Implanon® and Essure®. Results: Though plastic devices do not represent a contraindication to the use of the technique, those including metallic components have been submitted to several tests, after which they were classified as MR Conditional (devices presenting no risks in MR-specific environments) by the Food and Drug Administration. Thus, the use of MRI can be safely advised to women with this type of device as long as the magnetic resonance equipment is ≤3.0 T. Conclusions: Presently, there is no scientific evidence that contraindicates performing MRI on women with any kind of gynecological device. Therefore, this procedure is safe as long as it is performed under previously tested conditions.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

Dependable Embedded Wireless Infrastructure

DEWI will provide key solutions for wireless seamless connectivity and interoperability in the everyday physical environment of citizens, thereby significantly contributing to the emerging smart home and smart public space.

Effects of tissue handling and processing steps on PCR for detection of Mycobacterium tuberculosis in formalin-fixed paraffin-embedded samples

Development and standardization of reliable methods for detection of Mycobacterium tuberculosis in clinical samples is an important goal in laboratories throughout the world. In this work, lung and spleen fragments from a patient who died with the diagnosis of miliary tuberculosis were used to evaluate the influence of the type of fixative as well as the fixation and paraffin inclusion protocols on PCR performance in paraffin embedded specimens. Tissue fragments were fixed for four h to 48 h, using either 10% non-buffered or 10% buffered formalin, and embedded in pure paraffin or paraffin mixed with bee wax. Specimens were submitted to PCR for amplification of the human beta-actin gene and separately for amplification of the insertion sequence IS6110, specific from the M. tuberculosis complex. Amplification of the beta-actin gene was positive in all samples. No amplicons were generated by PCR-IS6110 when lung tissue fragments were fixed using 10% non-buffered formalin and were embedded in paraffin containing bee wax. In conclusion, combined inhibitory factors interfere in the detection of M. tuberculosis in stored material. It is important to control these inhibitory factors in order to implement molecular diagnosis in pathology laboratories.

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Scalable and interference aware wi-fi mesh networks using cots devices

A crescente tendencia no acesso móvel tem sido potenciada pela tecnologia IEEE 802.11. Contudo, estas redes têm alcance rádio limitado. Para a extensão da sua cobertura é possível recorrer a redes emalhadas sem fios baseadas na tecnologia IEEE 802.11, com vantagem do ponto de vista do custo e da flexibilidade de instalação, face a soluções cabladas. Redes emalhadas sem fios constituídas por nós com apenas uma interface têm escalabilidade reduzida. A principal razão dessa limitação deve-se ao uso do mecanismo de acesso ao meio partilhado Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) em topologias multi-hop. Especificamente, o CSMA/CA não evita o problema do nó escondido levando ao aumento do número de colisões e correspondente degradação de desempenho com impacto direto no throughput e na latência. Com a redução da tecnologia rádio torna-se viável a utilização de múltiplos rádios por nó, sem com isso aumentar significativamente o custo da solução final de comunicações. A utilização de mais do que um rádio por nó de comuniações permite superar os problemas de desempenho inerentes ás redes formadas por nós com apenas um rádio. O objetivo desta tese, passa por desenvolver uma nova solução para redes emalhadas multi-cana, duar-radio, utilizando para isso novos mecanismos que complementam os mecanismos definidos no IEEE 802.11 para o estabelecimento de um Basic Service Set (BSS). A solução é baseada na solução WiFIX, um protocolo de routing para redes emalhadas de interface única e reutiliza os mecanismos já implementados nas redes IEEE 802.11 para difundir métricas que permitam à rede escalar de forma eficaz minimizando o impacto na performance. A rede multi-hop é formada por nós equipados com duas interfaces, organizados numa topologia hierárquica sobre múltiplas relações Access Point (AP) – Station (STA). Os resultados experimentais obtidos mostram a eficácia e o bom desempenho da solução proposta face à solução WiFIX original.

User friendly knowledge acquisition system for medical devices actuation

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

HIGH SENSITIVE PCR METHOD FOR DETECTION OF PATHOGENIC Leptospira spp. IN PARAFFIN-EMBEDDED TISSUES

This study describes the development and application of a new PCR assay for the specific detection of pathogenic leptospires and its comparison with a previously reported PCR protocol. New primers were designed for PCR optimization and evaluation in artificially-infected paraffin-embedded tissues. PCR was then applied to post-mortem, paraffin-embedded samples, followed by amplicon sequencing. The PCR was more efficient than the reported protocol, allowing the amplification of expected DNA fragment from the artificially infected samples and from 44% of the post-mortem samples. The sequences of PCR amplicons from different patients showed >99% homology with pathogenic leptospires DNA sequences. The applicability of a highly sensitive and specific tool to screen histological specimens for the detection of pathogenic Leptospira spp. would facilitate a better assessment of the prevalence and epidemiology of leptospirosis, which constitutes a health problem in many countries.

Conceção de um tutorial de Iniciação ao co-projeto de Hardware/software

A crescente evolução dos dispositivos contendo circuitos integrados, em especial os FPGAs (Field Programmable Logic Arrays) e atualmente os System on a chip (SoCs) baseados em FPGAs, juntamente com a evolução das ferramentas, tem deixado um espaço entre o lançamento e a produção de materiais didáticos que auxiliem os engenheiros no Co- Projecto de hardware/software a partir dessas tecnologias. Com o intuito de auxiliar na redução desse intervalo temporal, o presente trabalho apresenta o desenvolvimento de documentos (tutoriais) direcionados a duas tecnologias recentes: a ferramenta de desenvolvimento de hardware/software VIVADO; e o SoC Zynq-7000, Z-7010, ambos desenvolvidos pela Xilinx. Os documentos produzidos são baseados num projeto básico totalmente implementado em lógica programável e do mesmo projeto implementado através do processador programável embarcado, para que seja possível avaliar o fluxo de projeto da ferramenta para um projeto totalmente implementado em hardware e o fluxo de projeto para o mesmo projeto implementado numa estrutura de harware/software.

Interoperability on low power devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Production of aluminium based composites reinforced with embedded NiTi by friction stir welding

Dissertação para a obtenção do grau de Mestre em Engenharia Mecânica