Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Bond of NSM FRP strengthened concrete: round robin test initiative

Despite the extensive research that has been conducted on the debonding behaviour of FRP strengthening systems, no standard methodology has been yet established on its experimental characterization. In this context, to assess the performance and reliability of small scale testing on NSM (near surface mounted) FRP strengthening systems, an experimental program was carried out on a series of nine NSM FRP strengthening systems, in the framework of an international Round Robin Testing (RRT). Eleven laboratories and seven manufacturers and suppliers participated in this extensive international exercise, which regarded both NSM and EBR FRP strengthening systems. Test results obtained for the NSM systems by the participating laboratories are discussed and compared in this paper to investigate the feasibility of the adopted single/double pulling shear test method, to investigate the mechanism of bond between NSM FRP reinforcement and concrete, and to investigate the level of variability obtained between the participating laboratories testing the same material batches. It is concluded that the tested variants in the adopted single/double shear pulling test have a significant influence, stressing the importance of the level of detail of standardized test protocols for bond verification. On overall, given the variants included in this study, the obtained variation in bond stress-slip behaviour between the laboratories remained fairly limited.

Implementation of integral viscoelastic constitutive models in OpenFOAM® computational library

This work reports the implementation and verification of a new so lver in OpenFOAM® open source computational library, able to cope with integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with analytical solutions and numerical results obtained with the differential upper-convected Maxwell model

Weld lines in extrusion: Understanding the role of the flow conditions

This work reports the implemen tation and verification of a new so lver in OpenFOAM® open source computational library, able to cope w ith integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with anal ytical solutions and numerical results obtained with the differential upper-convected Maxwell model

Avaliação de políticas públicas de desenvolvimento turístico das cidades de Gramado (Brasil) e Rovaniemi (Finlândia)

Tese de Doutoramento Geografia (Área de Especialização: Geografia e Planeamento Regional)

A implementação do modelo de atendimento à diversidade como resposta eficaz ao apoio a alunos com necessidades especiais na região norte de Portugal

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Especial)

Estudo acústico de /a/ acentuado na fala bracarense: potenciais aplicações

Dissertação de mestrado em Ciências da Linguagem

Estudo da logística do armazenamento e distribuição interna de consumíveis clínicos de uma unidade hospitalar

Dissertação de mestrado em Engenharia Industrial

Impressão FDM de pares de materiais funcionais

Dissertação de mestrado integrado em Engenharia de Materiais

Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados

Dissertação de mestrado integrado em Engenharia Mecânica

Planeamento e controlo de projetos de construção com recurso ao BIM

Dissertação de mestrado integrado em Engenharia Civil

Assessment of the techniques of blood pressure measurement by health professionals

OBJECTIVE: To assess blood pressure measurement by health professionals of a public hospital in São Paulo State. METHODS: Semi-structured interviews and direct observation were performed with a verification list according to the criteria reported by Perloff et al. One hundred and five health professionals took part in the study. After measuring blood pressure, the level of concordance between the way the procedure was performed and the recommended one was assessed. RESULTS: Nurses and nurse's aides abided by 40% of the recommended procedures for adequate blood pressure measurement. The other categories of health professionals (nursing and medicine teachers, physicians, residents, and nursing students) abided by approximately 70%. CONCLUSION: Permanent educational activities aiming at standardizing blood pressure measurement should be implemented among the different categories of health professionals.

Investigações sobre doenças de Psittacideos

The present paper colligates the notions acquired in previous investigations, already published, and new observations upon diseases of the psittacidae, liable to be confused with psittacosis of parrots. The author calls attention to the indifference with regard to this question shown by investigators, even by those who dealt with the study of this disease on the occasion of the latest outbreak of psittacosis, in flagrant contrast with the researches upon the alterations induced by pathogenic agents of other diseases transmissible to man, when these agents pass through animals or when the latter are depositaries of the virus. This remark considerably enhances the importance of the presence paper from a hygienic and epidemiologic point of view, representing moreover a contribution to general knowledge and to veterinary medicine. The researches carried out since the appearance of the latest outbreak of psittacosis,-which occurred simultaneously with an epizooty in parrots lodged in aviary of the park of Agua Branca (Directory of Animal Industry of the State São Paulo)-led to the verification of the frequent existence in these animals of various diseases liable to be confused with psittacosis. These diseases are due to two kinds of pathogenic agents: virus and bacteria. In the first group there are to be found the diseases occasioned by the virus of human psittacosis, discovered by Western, Bedson and Simpson, and the disease me with in parrots coming from traders in S. Paulo. The infections by bacteria of the genus Salmonella and by those of other genera belong to the second group. As differential characters of the two infections due to virus, delineated on the strength of notions drawn from a detailed experimental study and from the literature on this subject, the following are given: ¹ Samples of our virus were sent, for comparison, to various investigators of psittacosis. Amongst them, Prof. M. Rivers acceded to our request; he found its nature to be different from that of the virus of psittacosis studiedby him. We are very much obliged to him for the attention he paid to this verification. Virus of psittacosis - Infectiousness: man, monkey, rabbit, mouse, hen, canary. Neurotropic affinity. Inclusions: small, protoplasmic. Exsiccation: the virus has good power of preservation. Symptoms: inactivity, drowsiness, frequent diarrhoea, oculo-nasal discharge and cough, coma. Duration: 4 to 5 days. Bodily lesions: congestion of intestines, splenomegaly. Virus of S. Paulo - Infects only psittacidae, particularly those of the genus Amazona. No localization in the nervous system. Large, nuclear. Is rapidly destroyed. Inactivity, inappetency, adynamia (drooping of the wings, indifference, leaning its beak against the bars of the cage in order not to fall down); profuse diarrhoea, of whitish stools, at times enterorrhagia; prolonged coma. 2 to 8 days. Foci of yellowish necrosis in liver, spleen and lung. At times, congestion of intestines. Characteristic features common to the two viruses.-They act in great dilutions, filter through tight candles though being partly retained, are preserved under glycerine or Bedson's solution, are stable at 55°C. heat and are destroyed by physical and chemical agents. Both virus diseases are very seldom met with in psittacidae: only once, amongst numberless sick parrots, the author met with a disease of the virus differring from that of psittacosis. This disease, greatly transmissible to man, ought to be more frequent, if it were common in parrots. On the contrary, bacteria cause diseases in these animals with great frequency, presenting variable characters, from a severe epizootic form, rapidly mortal, to ambulatory or silent forms, for the most part developing towards a cure or assuming a chronic character. Amongst the bacteria which cause the infection of this group the salmonellae predominate and amongst them the bacterium discovered by Nocard, as well as a species which in the course of this study is characterized under the name of Salmonella nocardi. The author believes that in the epizooty from which Nocard isolated his bacterium there was association of the virus-disease inducing the epizooty of that epoch in Paris with the bacterial disease, as must have happened in Argentina, where the disease was transmitted to man, and Santillan, according to Barros, isolated from the sick parrots bacteria of the genus Salmonella. The diseases of the two groups, that due to virus and that due to bacteria, are differentiated: Virus-diseases - Evolution: rapid, nearly always followed by death. Symptoms: sadness, profuse diarrhoea, of whitish stools, at times enterorrhagia, complete inappetency, adynamia, indifference, prolonged coma. Clinical forms: acute and subacute. Lesions: Foci of necrosis in liver and spleen without cellular reaction around the focus, yellow liver, multiple serositis. Presence of protoplasmic or nuclear granulations. Bacteriology: Complete lack or inconstant presence of bacteria in the organs and blood. Infectiousness of the organs and blood after filtration: positive. Bacterial diseases - Varies from one week to a month or more, not always fatal. Sadness, partial inappetency, tremblings, intensive thirst, mucous or mucosanguineous diarrhoea, lack of adynamia (reacts to stimulations and moves well at any time of the disease, though showing little disposition to locomotion), soiling of feathers. Frustrate, acute, subacute and chronic. Hepatic and intestinal cogestion, foci of necrosis in liver, spleen and lung with cellular reaction around the focus. Lack of granulations. Constant presence of bacteria in the organs and blood. Negative. The analysis of the litterature shows that the characteristic features of the diseases in parrots referred to parrot psittacosis, more frequently approach the bacterial diseases here described of these animals, a hypothesis which is reinforced by the observation of the greater frequency of infections...

Verificação, em condiçoes naturais, da infecção de mais três hematófagos (Anophelineos, Flebótomos e Simulídeos) em leprosos

The A. went last August to the State of Minas Gerais to continue his studies on transmission of leprosy by insects. He selected ten lepers (all L3 cases) for his experiments. It happened in the middle of August, a few day after freezing temperature. Practically there were no day mosquitoes, even near a river where in March there were very many. Bringing the patients to a wood, near the Peixe River (Fish River), at the dawn they were attacked by very many Anopheles, some flebotomus, a few Simulium and very rare Culex scapularis. All these insects became infected, in different degrees, by biting such patients. CONCLUSIONS. 1. Two species of Anopheles (A. albitarsis and A. tarsimaculatus) became strongly infected by Hansen bacilli. 2. By dissection done by Dr. Oliveira Castro were found lepra bacilli in various points of the proboscis of two Flebotomus (F. intermedius) and in their stomachs. 3. By smearing were found lepra bacilli in two specimens of Simulium sp. (probably pertinax). 4. It was confirmed also the verification done last March, at the same Leper Colony, that Phthirius pubis can be also a carrier of lepra bacillus. 5. There was confirmed also natural infection of nymphs of Amblyomma cajennense in lepers. Dr. Oliveira Castro is dissecting the Anopheles to locate the bacilli in their organisms and he started, with the cooperation of the Director of Colonia Santa Fé, Dr. José Mariano, attenpts to re-infect a group of negative-nerve cases of leprosy with infected mosquitoes.

Toxoplasmose congênita

We had the opportunity to study 6 cases of the congenital form of toxoplasmosis, found in a series of 1200 necropsies of fetuses and newborn babies, realized at 3 different hospitals in Rio de Janeiro, Brazil. Among the 6 cases, 4 were premature babies liveborn at the 6th-8th gestational month and 2 were stillborn (1 premature and 1 at term). In all those cases, the diagnosis was based in the detection of the parasite in tissues and in one case it was even isolated the Toxoplasma from the necrotic material found in the cranial cavity. This strain of Toxoplasma, pathogenic to pigeons, to guinea pigs and to mice, is preserved by successive transfers in mice. Some facts observed in those cases present an interest not only strictly anatomic but also have certain value for the better acknowlegment of the disease. First, we want to call the attention to the presence of a sudden high fever, during or just before pregnancy in the 4 cases in which the maternal anamnesis was perfectly studied; this fever that was preceded by a normal beginning of pregnancy, had relatively rapid remission, but in 2 cases was immediately followed by uterine bleeding and premature delivery, although the puerperium had been apparently normal. It is known that are normal the subsequent children of the mothers that delivered a baby with toxoplasmosis and that several women have normal babies before the toxoplasmotic one. We believe that the fever observed in our cases could be indicative of the beginning of maternal infection and those are the reasons why we emphasize the need of careful anamnesis, specially in the cases actually diagnosed as inapparent infection. Another fact to notice is that in 5 of our cases the event premature delivery happened always between the 6th and the 8th months of pregnancy, and the only term fetus was delivered in advanced stage of maceration. The above mentioned facts could agree with the opinion of FRENKEL (1949), when he declared that "primary infection of the pregnant mother appears more likely to be the commoner mode of fetal toxoplasmic infection", but they would disagree with WEINMAN (1952) who believes that the transmission of Toxoplasma to the fetus is more frequent through a pregnant woman with chronic disease and who says "that infection contracted during pregnancy may and probably does happen from time to time"...Still in connection with the transmission of toxoplasmosis, we want to note the verification of inflammatory lesions in the placental villi and in the umbilical cord in 3 of the 4 cases in which such organs were examined at the microscope. In the case n. 1, we found several pseudocysts of Toxoplasma in the placenta, and the fibroblasts of Wharton's jelly were particularly rich in isolated forms and in colonies of Toxoplasma; the easy multiplication of the parasite in that tissue calls the attention and even suggests its utilisation for Toxoplasma's cultivation. The confirmation of Toxoplasma in human placenta was made only recently by CRISTEN et al. (1951) and by NEGHME et al. (1952), in Chile; it is not frequent in the literature, what gives some value to our present verification. Another observation was that provided by the case n. 6. This baby, a premature one of the 6th month, was 14 days old and-died with signs of respiratory disease, the causa mortis have been pneumonia. At the necropsy, we found no gross change that suggested toxoplasmosis, except the presence of some small necrotic focuses in the cerebral nervous substance around the ventricles. As a matter of fact, there was no enlargement of spleen or liver and neither leptomeningitis nor hydrocephalus. Such focuses were attributed to possible anoxia and in fact they are extremely similar to anoxial softenings, even when they are examined at the microscope; its structure composed of a central necrotic zone, surrounded by proliferated neuroglia and by a variable deposit of calcium salts, closely simulated the anoxial softenings, when the microscopical examination is based in the common histological preparations (hematoxilin-eosin, etc.). But when we examine preparations by the Giemsa or by the periodic acid-Schiff methods, we will note the presence of Toxoplasma, with its typical aspect or a little changed by degeneration. When we describe this observation, we wish to evidence the need of the search of Toxoplasma and closed parasites, in the cases of supposed pure anoxial softenings of nervous substance, in children. The frequency with which the congenital toxoplasmosis was anatomically verified should be emphasized, although the disease had not been clinically suspected, and it should be borne in mind that the second case of toxoplasmosis reported in the world was observed in Brazil by MAGARINOS TORRES; this case was the first to be described of the generalized congenital form of the infection, i. e. with myocardial lesions and parasites in skeletal muscles and skin.