An improved preemption delay upper bound for floating non-preemptive region

In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.

Efficient Implementation Of A Single-Precision Floating-Point Arithmetic Unit on FPGA

This paper presents a single precision floating point arithmetic unit with support for multiplication, addition, fused multiply-add, reciprocal, square-root and inverse squareroot with high-performance and low resource usage. The design uses a piecewise 2nd order polynomial approximation to implement reciprocal, square-root and inverse square-root. The unit can be configured with any number of operations and is capable to calculate any function with a throughput of one operation per cycle. The floatingpoint multiplier of the unit is also used to implement the polynomial approximation and the fused multiply-add operation. We have compared our implementation with other state-of-the-art proposals, including the Xilinx Core-Gen operators, and conclude that the approach has a high relative performance/area efficiency. © 2014 Technical University of Munich (TUM).

Finding Aedes aegypti in a natural breeding site in an urban zone, Sao Paulo, Southeastern Brazil

ABSTRACT This is the description of how nine Aedes aegypti larvae were found in a natural breeding site in the Pinheiros neighborhood, city of Sao Paulo, SP, Southeastern Brazil. The record was conducted in December 2014, during an entomological surveillance program of dengue virus vectors, with an active search of potential breeding sites, either artificial or natural. Finding Ae. aegypti larvae in a tree hole shows this species’ ability to use both artificial and natural environments as breeding sites and habitats, which points towards the importance of maintaining continuous surveillance on this mosquito in all kinds of water-holding containers.

Development of procedures for the simulation of atmospheric flows over complex terrain, using OpenFOAM

The main purpose of this work was the development of procedures for the simulation of atmospheric ows over complex terrain, using OpenFOAM. For this aim, tools and procedures were developed apart from this code for the preprocessing and data extraction, which were thereafter applied in the simulation of a real case. For the generation of the computational domain, a systematic method able to translate the terrain elevation model to a native OpenFOAM format (blockMeshDict) was developed. The outcome was a structured mesh, in which the user has the ability to de ne the number of control volumes and its dimensions. With this procedure, the di culties of case set up and the high computation computational e ort reported in literature associated to the use of snappyHexMesh, the OpenFOAM resource explored until then for the accomplishment of this task, were considered to be overwhelmed. Developed procedures for the generation of boundary conditions allowed for the automatic creation of idealized inlet vertical pro les, de nition of wall functions boundary conditions and the calculation of internal eld rst guesses for the iterative solution process, having as input experimental data supplied by the user. The applicability of the generated boundary conditions was limited to the simulation of turbulent, steady-state, incompressible and neutrally strati ed atmospheric ows, always recurring to RaNS (Reynolds-averaged Navier-Stokes) models. For the modelling of terrain roughness, the developed procedure allowed to the user the de nition of idealized conditions, like an uniform aerodynamic roughness length or making its value variable as a function of topography characteristic values, or the using of real site data, and it was complemented by the development of techniques for the visual inspection of generated roughness maps. The absence and the non inclusion of a forest canopy model limited the applicability of this procedure to low aerodynamic roughness lengths. The developed tools and procedures were then applied in the simulation of a neutrally strati ed atmospheric ow over the Askervein hill. In the performed simulations was evaluated the solution sensibility to di erent convection schemes, mesh dimensions, ground roughness and formulations of the k - ε and k - ω models. When compared to experimental data, calculated values showed a good agreement of speed-up in hill top and lee side, with a relative error of less than 10% at a height of 10 m above ground level. Turbulent kinetic energy was considered to be well simulated in the hill windward and hill top, and grossly predicted in the lee side, where a zone of ow separation was also identi ed. Despite the need of more work to evaluate the importance of the downstream recirculation zone in the quality of gathered results, the agreement between the calculated and experimental values and the OpenFOAM sensibility to the tested parameters were considered to be generally in line with the simulations presented in the reviewed bibliographic sources.

The Transversarium-Bifurcatus Zone boundary at Rocha (Peral area, East-Central Algarve, Portugal)

This paper represents the first detailed study of the Transversarium-Bifurcatus Zone boundary in the Algarve. The boundary studied in the Peral area is associated with a stratigraphic discontinuity, whose hiatus partially affects the Transversarium-Bifurcatus Zones. A discontinuity was also recognized in the Bifurcatus-Birnammatum Zone boundary, which can be correlated with the traces of a Type II unconformity, which separates cycles 4.3-4.4 in HAQ et al. (1987), present on the South Iberian palaeomargin. An analysis was made of the ecostratigraphic evolution in the interval between the uppermost Transversarium Zone and the lower part of the Bimammatum Zone on the basis of the faunal spectra obtained. We conclude that ammonites are the most tolerant cephalopods to the ecological stress caused by the increase of inflows and the decrease of the shelf's ecospace. Benthic fauna decreased considerably in these conditions. A relatively abundant and diversified fauna ofDichotomoceras is noteworthy among the ammonites collected, as this genus was previously little known in the Algarve.

Immunization aganist hepatitis B in children from endemic zone: evaluation of the antibody response against the DNA recombinant vaccine (Engerix B-20 mcg)

A previous seroepidemiological study in the rural zone of Vargem Alta (ES) SouthEast of Brazil, showed a prevalence of up to 9% of hepatitis B surface antigen (HBsAg) in some areas. One hundred susceptible children aging 1 to 5 years old were selected and immunized with a recombinant DNA hepatitis B vaccine (Smith-Kline 20 mcg) using the 0-1-6 months vaccination schedule. Blood samples were collected at the time of the first vaccine dose (month 0) in order to confirm susceptible individuals and 1,3,6 and 8 months after the first dose , to evaluate the antibody response. Our results showed that two and five months after the second dose, 79% and 88% of children seroconverted respectively, reaching 97% after the third dose. The levels of anti-HBs were calculated in milli International Units/ml (mIU/ml) and demonstrated the markedly increase of protective levels of antibodies after the third dose. These data showed a good immunogenicity of the DNA recombinant hepatitis B vaccine when administered in children of endemic areas.

Flexural strengthening by means of a arc overlay in the tension zone

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

Epidemiologic studies of chagas' disease in the urban zone of Teresina. State of Piauí, northeastern Brazil

The triatomine species Rhodnius nasutus and Triatoma pseudomaculata were captured on palm trees Orbignya martiana "babaçu ", in the urban zone of Teresina. This kind of palm tree is largely distributed in Piauí State. The predominant species was R. nasutus; the young in stars predominated. The infestation index of palm trees and the infection index of triatomines by flagellates were 96.0 ana 29.1%, respectively. Marsupiais, bats and a rodent were captured in palm trees. The flagellates found in both triatomines ana marsupiais were morphologically and biologically indistinguishable from Trypanosoma cruzi. Forty seven percent (481/1,025) of triatomines were found concentrated in six palm trees where marsupiais circulated. Of the total of 1,025 triatomines 230 (22%) were infected by flagellates and 53.0% (123/230) of these infected triatomines were present in the same six palm trees. No evidence of triatomine domiciliation or human transmission was observed in the houses in the vicinity of palm trees. The results suggest that marsupiais play an important role in the life-cycle of T. cruzi in this region. The natural focus of Chagas' disease, demonstrated in the present study could represent a potential epidemiological threat.

Presence of anti-Toxoplasma antibodies in humans and their cats in the urban zone of Guadalajara

Cats are the definitive hosts of Toxoplasma gondii. Infected cats excrete oocysts in their feces, infecting humans and other animals. The objective of the present study was to determine the presence of anti-Toxoplasma antibodies in cat owners and their pets, and determine if there was a relationship between Toxoplasma infection and humans who live with infected cats. IgG anti-Toxoplasma antibodies in sera of 59 cat owners were determined by enzyme-linked immunosorbent assay (ELISA), in 24 sera from their cats, IgG, IgM, and IgA antibodies were found using Burney's ELISA. Thirty-eight (64%) of 59 cat owners were positive to IgG anti-Toxoplasma. Seropositivity for cats was 70.8% IgG, 8.3% IgM, and 62.5% IgA. Cohabitation with cats infected by T. gondii, feeding with leftovers or raw viscera, and lack of control over how their feces were handled are risk factors conducive for humans to become infected by T. gondii.

Migration and differentiation of neuronal precursors in the postnatal brain: insights from the subventricular zone and cerebellum

Fundação para a Ciência e a Tecnologia - SFRH/BD/42848/2008, através do Programa MIT_Portugal em Sistemas de Bioengenharia; projectos PTDC/SAUNEU/104415/2008 e Projecto ref. 96542 da Fundação Caloust Gulbenkian

First record on Loxosceles laeta (Nicolet, 1849) (Araneae, Sicariidae) in the West Zone of São Paulo City, São Paulo, Brazil, and considerations regarding its geographic distribution

Loxosceles laeta spiders were captured in the West zone of São Paulo City, this being the first record of the specie in this area. Since loxoscelism is an important public health problem in the South region of Brazil, it is necessary to investigate the presence of this spider in São Paulo City.

Seroepidemiology of Trypanosoma cruzi infection in the semiarid rural zone of the State of Rio Grande do Norte, Brazil

INTRODUCTION: A seroepidemiological survey was carried out to evaluate Trypanosoma cruzi infection in an endemic area of the State of Rio Grande do Norte, Brazil, involving rural residents. METHODS: Sixteen municipalities were randomly selected, 15 from the west mesoregion and one from the central, with an estimated population of 83,852 individuals. A total of 1,950 blood samples were collected in the west mesoregion and 390 in Caicó. Anti-T. cruzi antibodies were detected using the Chagatest® ELISA HAI-hemagglutination kits and indirect immunofluorescence. As sera presented indeterminate results, TESAcruzi® western blot was performed to confirm reactivity. RESULTS: An estimated seroprevalence of 6.5% was determined for the west mesoregion and 3.3% for Caicó. Seropositivity rises progressively with the age of individuals, up to 40 years in Caicó and up to 50 years in the west mesoregion. Only educational level and knowledge regarding the triatomine were associated with seropositivity. No seroreactive individuals under 18 years of age were identified. CONCLUSIONS: Infection by T. cruzi remains high and is concentrated in municipalities in the central western area of the west mesoregion; however, evidence suggests a decline in vector transmission in this mesoregion and in Caicó. Epidemiological variables appear not to influence seropositivity, with the exception of education and knowledge concerning the triatomine, among seroreactive individuals from the west mesoregion.

Transfer zone of prestressed CFRP reinforcement applied according to NSM technique for strengthening of RC structures

This study presents an experimental program to assess the tensile strain distribution along prestressed carbon fiber reinforced polymer (CFRP) reinforcement flexurally applied on the tensile surface of RC beams according to near surface mounted (NSM) technique. Moreover, the current study aims to propose an analytical formulation, with a design framework, for the prediction of distribution of CFRP tensile strain and bond shear stress and, additionally, the prestress transfer length. After demonstration the good predictive performance of the proposed analytical approach, parametric studies were carried out to analytically evaluate the influence of the main material properties, and CFRP and groove cross section on the distribution of the CFRP tensile strain and bond shear stress, and on the prestress transfer length. The proposed analytical approach can also predict the evolution of the prestress transfer length during the curing time of the adhesive by considering the variation of its elasticity modulus during this period.