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.

A survey of congenital Chagas’ disease, carried out at three Health Institutions in São Paulo City, Brazil

The congenital transmission of Chagas’ disease was evaluated in 57 pregnant women with Chagas’ disease and their 58 offspring. The patients were selected from three Health Institutions in São Paulo City. The maternal clinical forms of Chagas’ disease were: indeterminate (47.4%), cardiac (43.8%) and digestive (8.8%); 55 were born in endemic areas and two in São Paulo City. The transmission of Chagas’ disease at fetal level was confirmed in three (5.17%) of the 58 cases studied and one probably case of congenital Chagas’ disease. Two infected infants were born to chagasic women with HIV infection and were diagnosed by parasitolological assays (microhematocrit, quantitative buffy coat-QBC or artificial xenodiagnosis). In both cases the placenta revealed T. cruzi and HIV p24 antigens detected by immunohistochemistry. In one case, a 14-week old abortus, the diagnosis of congenital T. cruzi infection was confirmed by immunohistochemistry. The other probable infection, a 30-week old stillborn, the parasites were found in the placenta and umbilical cord. The Western blot method using trypomastigote excreted/secreted antigens of T. cruzi (TESA) was positive for IgG antibodies in 54/55 newborns and for IgM in 1/55 newborns. One of the two newborns with circulating parasites had no detectable IgG or IgM antibodies. The assessment of IgG antibodies in the sera of pregnant women and their newborns was performed by ELISA using two different T. cruzi antigens: an alkaline extract of epimastigotes (EAE) and trypomastigote excreted/secreted antigens (TESA). The analysis showed a linear correlation between maternal and newborn IgG antibody titers at birth.

Nosocomial infection in long-term care facilities. A survey in a Brazilian psychiatric hospital

Nosocomial infection among male patients in a public psychiatric hospital was studied and the definitions for use in long-term care facilities were employed for diagnosis. The overall nosocomial infection rate was 6.7 per 1,000 day inpatients; 55.6% of these infections were identified in the respiratory tract, 50% of them being respiratory viral diseases; 38.9% of the nosocomial infections involved the eyes, ears, nose, throat and mouth, and 5.6% involved the skin and soft tissues. The epidemiological characteristics and the main clinical alterations of these inpatients were also identified.

Archaeological roman glasses: comparative characterisation by non-destructive analytical techniques

Dissertation presented in fulfilment of the requirements for the Master’s degree in Conservation and Restoration

Serologic survey for hantavirus infections among wild animals in rural areas of São Paulo State, Brazil

A serosurvey was conducted in wild animals captured close to two areas where hantavirus cardiopulmonary syndrome (HCPS) occurred in São Paulo State, Brazil. Serum samples from a total of 43 mammals were tested for antibodies reactive with Sin Nombre (SN) hantavirus using a strip immunoblot assay. RNAs from the blood clots of the positive samples were submitted to reverse transcriptase-polymerase chain reaction (RT-PCR). Two rodents of the genus Oligoryzomys were positive for hantavirus antibodies. These animals were captured in the Iguape region and represented 16.7% (2/12) of the sera from rodents and 100.0% (2/2) of the Oligoryzomys captured in that area. RT-PCR failed to amplify any viral cDNA. These results are in agreement with other data that suggest that members of this genus are important reservoirs of hantaviruses in Brazil.

Human toxocariasis: a seroepidemiological survey in the municipality of Campinas (SP), Brazil

The occurrence of human Toxocara infection was evaluated in three neighborhoods of the periphery of the Campinas municipality (Jardim Santa Mônica, Jardim São Marcos and Jardim Campineiro) in 1999. Forty residences and 138 residents were randomly selected by drawing lots and were submitted to a seroepidemiological survey, which included blood collection for the immunoenzymatic detection (ELISA) of anti-Toxocara antibodies and a blood count, and the application of a semi-structured questionnaire for the evaluation of epidemiological data. Significant levels of anti-Toxocara antibodies were detected in 23.9% of the 1999 samples. No significant difference in the frequency of infection according to age was observed. Environmental contamination with Toxocara eggs was observed in 12.3 and 14.0% of 57 soil samples collected in the same region in December 1998 and July 1999, respectively. Univariate analysis and multiple logistic regression of the data obtained from the questionnaires and of the results of the serological tests, suggest a significant influence of socioeconomic variables on the frequency of human infection with Toxocara under the conditions prevalent in the study area.

Measurement of lead concentration in biological tissues by atomic spectroscopy techniques

Dissertation for the degree of Doctor of Philosophy in Physics

Immunoprecipitation techniques and Elisa in the detection of anti-Fonsecaea pedrosoi antibodies in chromoblastomycosis

Chromoblastomycosis (CBM) is a chronic subcutaneous infection caused by several dematiaceous fungi. The most commonly etiological agent found in Brazil is Fonsecaea pedrosoi, which appears as thick walled, brownish colored cells with transverse and longitudinal division in the lesions, called "muriform cells". This disease is found worldwide but countries like Madagascar and Brazil have highest incidence. Diagnosis is made by clinical, direct and histopathologic examination and culture of specimens. Serological tests have been used to identify specific antibodies against Fonsecaea pedrosoi antigens, as well as immunotechniques have been used for CBM serological identification and diagnosis. In the present study double immunodiffusion (DID), counterimmunoelectrophoresis (CIE) and immunoenzymatic test (ELISA) have been used to evaluate humoral immune response in patients with CBM caused by F. pedrosoi. Metabolic antigen was used for immunoprecipitation tests (DID and CIE) while somatic antigen for ELISA. Our results demonstrated 53% sensitivity and 96% specificity for DID, while CIE presented 68% sensitivity and 90.5% specificity. ELISA demonstrated 78% sensibility and 83% specificity. Serological tests can be a useful tool to study different aspects of CBM, such as helping differential diagnosis, when culture of the pathogenic agent is impossible.

Comparison between immunomagnetic separation, coupled with immunofluorescence, and the techniques of Faust et al. and of Lutz for the diagnosis of Giardia lamblia cysts in human feces

In the present study, the performance of Immunomagnetic Separation technique, coupled with Immunofluorescence (IMS-IFA), was compared with the FAUST et al. and Lutz parasitological techniques for the detection of Giardia lamblia cysts in human feces. One hundred and twenty-seven samples were evaluated by the three techniques at the same time showing a rate of cyst detection of 27.5% by IMS-IFA and 15.7% by both Faust et al. and Lutz techniques. Data analysis showed a higher sensitivity of IMS-IFA for the detection of G. lamblia cysts in comparison with the techniques of FAUST et al. and Lutz. The use of this methodology as a routine procedure enables the processing of many samples simultaneously, in order to increase recovery rate of G. lamblia cysts and reduce the time of sample storage.

A Review of Operational Matrices and Spectral Techniques for Fractional Calculus

Recently, operational matrices were adapted for solving several kinds of fractional differential equations (FDEs). The use of numerical techniques in conjunction with operational matrices of some orthogonal polynomials, for the solution of FDEs on finite and infinite intervals, produced highly accurate solutions for such equations. This article discusses spectral techniques based on operational matrices of fractional derivatives and integrals for solving several kinds of linear and nonlinear FDEs. More precisely, we present the operational matrices of fractional derivatives and integrals, for several polynomials on bounded domains, such as the Legendre, Chebyshev, Jacobi and Bernstein polynomials, and we use them with different spectral techniques for solving the aforementioned equations on bounded domains. The operational matrices of fractional derivatives and integrals are also presented for orthogonal Laguerre and modified generalized Laguerre polynomials, and their use with numerical techniques for solving FDEs on a semi-infinite interval is discussed. Several examples are presented to illustrate the numerical and theoretical properties of various spectral techniques for solving FDEs on finite and semi-infinite intervals.

Swordfish: an Autonomous Surface Vehicle for Network Centric Operations

The design and development of the swordfish autonomous surface vehicle (ASV) system is discussed. Swordfish is an ocean capable 4.5 m long catamaran designed for network centric operations (with ocean and air going vehicles and human operators). In the basic configuration, Swordfish is both a survey vehicle and a communications node with gateways for broadband, Wi-Fi and GSM transports and underwater acoustic modems. In another configuration, Swordfish mounts a docking station for the autonomous underwater vehicle Isurus from Porto University. Swordfish has an advanced control architecture for multi-vehicle operations with mixed initiative interactions (human operators are allowed to interact with the control loops).