System-on-chip field-programmable gate array design for onboard real-time hyperspectral unmixing

Hyperspectral instruments have been incorporated in satellite missions, providing large amounts of data of high spectral resolution of the Earth surface. This data can be used in remote sensing applications that often require a real-time or near-real-time response. To avoid delays between hyperspectral image acquisition and its interpretation, the last usually done on a ground station, onboard systems have emerged to process data, reducing the volume of information to transfer from the satellite to the ground station. For this purpose, compact reconfigurable hardware modules, such as field-programmable gate arrays (FPGAs), are widely used. This paper proposes an FPGA-based architecture for hyperspectral unmixing. This method based on the vertex component analysis (VCA) and it works without a dimensionality reduction preprocessing step. The architecture has been designed for a low-cost Xilinx Zynq board with a Zynq-7020 system-on-chip FPGA-based on the Artix-7 FPGA programmable logic and tested using real hyperspectral data. Experimental results indicate that the proposed implementation can achieve real-time processing, while maintaining the methods accuracy, which indicate the potential of the proposed platform to implement high-performance, low-cost embedded systems, opening perspectives for onboard hyperspectral image processing.

Using Baseline Methods to Identify Non-technical Losses in the Context of Smart Grids

Demand response has gained increasing importance in the context of competitive electricity markets and smart grid environments. In addition to the importance that has been given to the development of business models for integrating demand response, several methods have been developed to evaluate the consumers’ performance after the participation in a demand response event. The present paper uses those performance evaluation methods, namely customer baseline load calculation methods, to determine the expected consumption in each period of the consumer historic data. In the cases in which there is a certain difference between the actual consumption and the estimated consumption, the consumer is identified as a potential cause of non-technical losses. A case study demonstrates the application of the proposed method to real consumption data.

Consumers Performance Evaluation of the Participation in Demand Response Programs Using Baseline Methods

Demand response has gain increasing importance in the context of competitive electricity markets environment. The use of demand resources is also advantageous in the context of smart grid operation. In addition to the need of new business models for integrating demand response, adequate methods are necessary for an accurate determination of the consumers’ performance evaluation after the participation in a demand response event. The present paper makes a comparison between some of the existing baseline methods related to the consumers’ performance evaluation, comparing the results obtained with these methods and also with a method proposed by the authors of the paper. A case study demonstrates the application of the referred methods to real consumption data belonging to a consumer connected to a distribution network.

Analysis of Consumption Data to Detect Commercial Losses Using Performance Evaluation Methods in a Smart Grid

Electric power networks, namely distribution networks, have been suffering several changes during the last years due to changes in the power systems operation, towards the implementation of smart grids. Several approaches to the operation of the resources have been introduced, as the case of demand response, making use of the new capabilities of the smart grids. In the initial levels of the smart grids implementation reduced amounts of data are generated, namely consumption data. The methodology proposed in the present paper makes use of demand response consumers’ performance evaluation methods to determine the expected consumption for a given consumer. Then, potential commercial losses are identified using monthly historic consumption data. Real consumption data is used in the case study to demonstrate the application of the proposed method.

A study on parallel versus sequential relational fuzzy clustering methods

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

First isolation of dengue 3 in Brazil from an imported case

The authors report the isolation of dengue 3 virus for the first time in Brazil. The patient, resident in Limeira-SP, traveled to Nicaragua on May 16th, 1998, where he stayed for two months. Starting on August 14th he had fever, headache, myalgia, arthralgia, retro-orbital pain and diarrhea. He returned to Brazil on August 16th and was hospitalized in the next day. The patient had full recovery and was discharged on August 20th. The virus was isolated in C6/36 cell culture inoculated with serum collected on the 6th day after the onset of the symptoms. The serotype 3 was identified by indirect immunofluorescence assays performed with type-specific monoclonal antibodies. This serotype was further confirmed by polymerase chain reaction analysis. The introduction of a new dengue serotype in a susceptible population is a real threat for the occurrence of severe forms of the disease. The isolation and identification of dengue virus are important in order to monitoring the serotypes circulating in Brazil and to take the measures necessary to prevent and control an epidemic.

Correction of spatial distortion in magnetic resonance imaging

Dissertation to Obtain the Degree of Master in Biomedical Engineering

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Label-free Detection of Microcystin-LR in Waters Using Real-Time Potentiometric Biosensors Based on Single-Walled Carbon Nanotubes Imprinted Polymers

Microcystin-LR (MC-LR) is a dangerous toxin found in environmental waters, quantified by high performance liquid chromatography and/or enzyme-linked immunosorbent assays. Quick, low cost and on-site analysis is thus required to ensure human safety and wide screening programs. This work proposes label-free potentiometric sensors made of solid-contact electrodes coated with a surface imprinted polymer on the surface of Multi-Walled Carbon NanoTubes (CNTs) incorporated in a polyvinyl chloride membrane. The imprinting effect was checked by using non-imprinted materials. The MC-LR sensitive sensors were evaluated, characterized and applied successfully in spiked environmental waters. The presented method offered the advantages of low cost, portability, easy operation and suitability for adaptation to flow methods.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

A real-time quantitative assay for hepatitis B DNA virus (HBV) developed to detect all HBV genotypes

Hepatitis B virus (HBV) is a major cause of chronic liver disease worldwide. Besides genotype, quantitative analysis of HBV infection is extensively used for monitoring disease progression and treatment. Affordable viral load monitoring is desirable in resource-limited settings and it has been already shown to be useful in developing countries for other viruses such as Hepatitis C virus (HCV) and HIV. In this paper, we describe the validation of a real-time PCR assay for HBV DNA quantification with TaqMan chemistry and MGB probes. Primers and probes were designed using an alignment of sequences from all HBV genotypes in order to equally amplify all of them. The assay is internally controlled and was standardized with an international HBV panel. Its efficacy was evaluated comparing the results with two other methods: Versant HBV DNA Assay 3.0 (bDNA, Siemens, NY, USA) and another real-time PCR from a reference laboratory. Intra-assay and inter-assay reproducibilities were determined and the mean of CV values obtained were 0.12 and 0.09, respectively. The assay was validated with a broad dynamic range and is efficient for amplifying all HBV genotypes, providing a good option to quantify HBV DNA as a routine procedure, with a cheap and reliable protocol.

Adenovirus respiratory infection: significant increase in diagnosis using PCR comparing with antigen detection and culture methods

Adenovirus (AdV) respiratory infections are usually described as being associated with high mortality rates. Laboratory diagnosis is essential for the establishment of the appropriate therapy, and for guiding the implementation of preventive measures in order to prevent the spread of the infection. Aiming to analyze the sensitivity and specificity of the laboratorial diagnosis methods available, we compared antigen detection by indirect immunofluorescence assay (IF), and a specific nested polymerase chain reaction (PCR), to detect AdV in respiratory samples collected from patients admitted to hospital with acute respiratory disease. Positive samples were inoculated into a cell culture to confirm the results. We analyzed 381 samples from the nasopharyngeal aspirates collected during the year 2008; of these, 2.6% tested were positive for adenovirus through IF and 10% through PCR; positive isolation was obtained in 40% and 26% of these cases, respectively. Most infected patients were children under six months of age, and despite of the fact that a significant number of patients required intensive care, the mortality rate was low (5%). In conclusion, molecular methods were found to be useful for rapid diagnosis of adenovirus infections with higher sensitivity than antigen detection; their introduction permitted a significant increase in diagnoses of adenovirus infections.

First isolation of dengue 4 in the state of São Paulo, Brazil, 2011

We report the first isolation of Dengue virus 4 (DENV-4) in the state of São Paulo, from two patients - one living in São José do Rio Preto and the other one in Paulo de Faria, both cities located in the Northwest region of the state. The virus isolations were accomplished in the clone C6/36 Aedes albopictus cell line, followed by indirect immunofluorescence assays, performed with type-specific monoclonal antibodies that showed positive reactions for DENV-4. The results were confirmed by Nested RT-PCR and Real-Time RT-PCR assays. The introduction of DENV-4 in a country that already has to deal with the transmission of three other serotypes increases the possibility of the occurrence of more severe cases of the disease. The importance of early detection of dengue cases, before the virus spreads and major outbreaks occur, should be emphasized.

Parallelization of web processing services on cloud computing: A case study of Geostatistical Methods

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

EFFECT OF HIGHLY ACTIVE ANTIRETROVIRAL THERAPY ON VAGINAL Candida spp. ISOLATION IN HIV-INFECTED COMPARED TO HIV-UNINFECTED WOMEN

 Vulvovaginal candidiasis (VVC) in HIV-infected women contributed to the impairment of their quality of life. The aim of this study was to evaluate the effect of highly active antiretroviral therapy (HAART) use on the vaginal Candida spp. isolation in HIV-infected compared to HIV-uninfected women. This cross-sectional study included 178 HIV-infected (HIV group) and 200 HIV-uninfected women (control) that were studied at the Specialized Assistance Service (SAE) for sexually transmitted diseases (STD)/AIDS of the city of Maringá, Brazil, from April 1 to October 30, 2011. The yeasts were isolated and identified by phenotypic and molecular methods. The in vitro antifungal susceptibility to fluconazole, itraconazole, nystatin and amphotericin B was tested by the reference microdilution method. Higher frequencies of total vaginal Candida spp. isolation were found in the HIV-infected group than in the control group. However, both groups showed a similar frequency of colonization and VVC. Although C. albicans was the most frequent and sensitive to azolics and polyenes in both HIV-infected and uninfected women, the emerging resistance of C. glabrata to amphotericin B in the HIV-infected women was observed. Although higher frequency of vaginal Candida spp. isolation had been observed in the HIV-infected than in HIV-uninfected women, colonization and VVC showed similar frequency in both groups, indicating that HAART appears to protect against vaginal colonization and VVC.