Environmental/Regatta Buoy: Sensing System

Um dos principais objetivos da ciência é perceber a natureza, i.e., descobrir e explicar o funcionamento do mundo que nos rodeia. Para tal, os cientistas precisam de coligir dados e monitorar o meio ambiente. Em particular, considerando que cerca de 70% da Terra é coberta por água, a coleta de parâmetros de caracterização da água de grandes superfícies é uma prioridade. A monitorização das condições da água é feita principalmente através de bóias. No entanto, as bóias disponíveis no mercado não satisfazem as necessidades existentes. Esta é uma das principais razões que levaram o Laboratório de Sistemas Autónomos (LSA) do Instituto Superior de Engenharia do Porto a lançarem um projeto para o desenvolvimento de uma bóia reconfigurável e com dois modos de funcionamento: monitorização ambiental e baliza ativa de regata. O segundo modo é destinado a regatas de veleiros autónomos. O projeto começou há um ano com um projeto do European Project Project [1] (EPS), realizado por quatro estudantes internacionais, destinado à construção da estrutura da bóia e à selecção dos componentes mais adequados para o sistema de medição e controlo. A arquitetura que foi definida para este sistema é do tipo mestre-escravo e é composta por uma unidade de controlo mestre para a telemetria e configuração e uma unidade de controlo escrava para a medição e armazenamento de dados. O desenvolvimento do projeto continuou com dois estudantes belgas que trabalharam na comunicação e no armazenamento de dados. Este projeto, que prossegue com o desenvolvimento da medição e do armazenamento de dados do lado da unidade de controlo escrava, tem os seguintes objetivos: (i ) implementar o protocolo de comunicação na unidade de controlo escrava; (ii ) coligir e armazenar os dados dos sensores no cartão SD em tempo real; (iii ) fornecer dados em tempo útil; e (iv) recuperar dados do cartão SD em tempo diferido. As contribuições anteriores foram estudadas e foi feito um levantamento dos projetos congéneres existentes. O desenvolvimento do projeto atual começou com o protocolo de comunicação. Este protocolo, que foi projetado pelos alunos anteriores, foi um bom ponto de partida. No entanto, o protocolo foi atualizado e melhorado com novas funcionalidades. Esta última componente foi um trabalho conjunto com Laurens Allart, que esteve a trabalhar no subsistema de telemetria e de configuração durante este semestre. O protocolo foi implementado do lado da unidade de controlo escrava através de uma estrutura de múltiplas actividades paralelas (multithreaded). Esta estrutura recebe as mensagens da unidade mestre, executa as ações solicitadas e envia de volta o resultado. A bóia é um dispositivo reconfigurável multimodo que pode ser expandido com novos modos de operação no futuro. Infelizmente, sofre de algumas limitações: suporta uma carga máxima de 40 kg e tem uma área de implantação limitada pela distância máxima à estacão base.

Simulador de sistema de informação ao público para rede de transportes metro-ferroviária

O aumento da complexidade e das funcionalidades a fornecer pelos equipamentos de apoio à exploração de sistemas de redes de transporte criou um novo paradigma no qual vários intervenientes são chamados a fornecer módulos. Estes devem comunicar entre si de forma transparente, não devendo haver limitações colocadas pela tecnologia utilizada ou pelo facto de serem de fabricantes distintos. Este projeto de dissertação resulta de uma proposta da empresa EFACEC para a construção de um Simulador de um Sistema de Informação ao Público numa rede de transportes metro-ferroviária, que utilize como interface para comunicação com a plataforma de gestão EFARail a tecnologia de Web Services. Nesta dissertação faz-se um levantamento dos principais equipamentos utilizados em Sistemas de Informação ao Público e das funcionalidades disponibilizadas, assim como dastecnologias de Web Services que permitem responder aos requisitos e funcionalidades gerais do sistema. A aplicação desenvolvida permite a simulação duma rede de equipamentos visuais e sonoros de informação ao público que compõem uma linha metro-ferroviária. Desta forma é possível testar novos módulos sem necessidade de uma integração em ambiente real. Com isto pretende-se otimizar o processo de desenvolvimento, diminuindo os custos associados ao teste dos sub-sistemas que compõem a solução.

Verificação prática de anomalias em programas de memória transaccional

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

Um middleware independente da plataforma para computação paralela

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

Linguagem intermédia tipificada para concorrência em memória partilhada

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

Desenvolvimento de uma cola biodegradável

Este documento especifica o trabalho realizado no estágio, que decorreu na Colquímica, sediada em Valongo. Este trabalho teve como objetivo colaborar no desenvolvimento de uma cola com características biodegradáveis. O estágio foi orientado pela Engenheira Cristina Frutuoso, no que diz respeito à orientação por parte da Colquímica, e pelo Professor Dr. Gilberto Pinto e Alfredo Crispim, ISEP. O trabalho foi dividido em duas instâncias, sendo a primeira direcionada para a formulação de uma cola com características biodegradáveis e a segunda para a realização do teste de Sturm, um teste de biodegradabilidade capaz de quantificar a quantidade de CO2 produzido pelo processo de biodegradação. Inicialmente foram desenvolvidas e estudadas dez formulações através das variações de resinas e óleo plastificante e estudado o seu comportamento reológico relacionado à variação de viscosidade em função da temperatura. Com base nos resultados obtidos verificou-se que a melhor formulação seria a A8. Estudaram-se as propriedades mecânicas da formulação escolhida e decidiu-se que esta estaria apta a ser usada no fecho de caixas de cartão de produtos ultra congelados assim como no fecho de caixas de cartão de detergentes em pó com peso até 3 Kg. Depois de escolhida a formulação deu-se início ao teste de Sturm, teste meramente orientativo. Durante dezassete dias avaliou-se a quantidade de CO2 produzida durante o processo de biodegradação. Após avaliação dos resultados verificou-se que a taxa de biodegradação para a amostra foi de 0,055 g de CO2. Com a finalidade de confirmar os resultados obtidos no teste de Sturm foi efetuada uma réplica do ensaio, a qual se encontra a decorrer sendo os resultados facultados, posteriormente, à empresa.

Field evaluation of the whole blood immunochromatographic test for rapid bancroftian filariasis diagnosis in the northeast of Brazil

This study evaluated the whole blood immunochromatographic card test (ICT card test) in a survey performed in Northeastern Brazil. 625 people were examined by the thick blood film (TBF) and ICT card test. Residents of a non-endemic area were also tested by the whole blood card test and Og4C3. The sensitivity of the ICT card test was 94.7% overall, but lower in females than males, based on the reasonable assumption that TBF is 100% specific. However, since TBF and other methods have unknown sensitivity, the true specificity of the card test is unknown. Nevertheless, it is possible to estimate upper and lower limits for the specificity, and relate it to the prevalence of the disease. In the endemic area, the possible range of the specificity was from 72.4% to 100%. 29.6% of the card tests performed in the non-endemic area exhibited faint lines that were interpreted as positives. Characteristics of the method including high sensitivity, promptness and simplicity justify its use for screening of filariasis. However, detailed information about the correct interpretation in case of extremely faint lines is essential. Further studies designed to consider problems arising from imperfect standards are necessary, as is a sounder diagnostic definition for the card test.

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

Evaluation of the human immunodeficiency virus type 1 and 2 antibodies detection in dried whole blood spots (dbs) samples

Human Immunodeficiency Vírus Type 1 and 2 antibodies detection was performed in 457 dried whole blood spots samples (S&S 903). Q-Preven HIV 1+2 was the screening test used. The results were compared with the gold standard serum tests by ELISA (Cobas Core e Axsym HIV1/2 gO) and imunofluorescence was the definitive confirmatory test. The samples were obtained from the Hospital Nossa Senhora da Conceição in Porto Alegre, RS - Brazil, through whole blood transfer to filter paper card and sent to Caxias do Sul, RS - Brazil where the tests were performed. The dried whole blood spot stability was evaluated with two different panels. The first one was composed of five negative and five positive samples stored at room temperature, 4 ºC, -20 ºC and -70 ºC, while the second was composed of two negative and three positive samples stored at 37 ºC (humidity <50%). Each sample was screened every week for six weeks. These measurement results didn't show variation during the study period. The detected sensibility was 100%, specificity was 99.6%, the positive predictive value was 99.5% and negative predictive values were 100%. The results demonstrated high performance characteristics, opening a new perspective of dried whole blood spot utilization in HIV screening diagnosis.

Single operation multiple data - paralelismo de dados ao nível da sub-rotina

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

Tolerância a faltas bizantinas em servidores RMI

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

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

Protocolo MAC para redes com nós sensores móveis e nós de recolha móveis e sensores SunSPOT

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

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic