Preemption delay analysis for floating non-preemptive region scheduling

In real-time systems, there are two distinct trends for scheduling task sets on unicore systems: non-preemptive and preemptive scheduling. Non-preemptive scheduling is obviously not subject to any preemption delay but its schedulability may be quite poor, whereas fully preemptive scheduling is subject to preemption delay, but benefits from a higher flexibility in the scheduling decisions. The time-delay involved by task preemptions is a major source of pessimism in the analysis of the task Worst-Case Execution Time (WCET) in real-time systems. Preemptive scheduling policies including non-preemptive regions are a hybrid solution between non-preemptive and fully preemptive scheduling paradigms, which enables to conjugate both world's benefits. In this paper, we exploit the connection between the progression of a task in its operations, and the knowledge of the preemption delays as a function of its progression. The pessimism in the preemption delay estimation is then reduced in comparison to state of the art methods, due to the increase in information available in the analysis.

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.

The AIDS epidemic in the Amazon region: a spatial case-control study in Rondonia, Brazil

OBJECTIVE To analyze spatial changes in the risk of AIDS and the relationship between AIDS incidence and socioeconomic variables in the state of Rondonia, Amazon region. METHODS A spatial, population case-control study in Rondonia, Brazil, based on 1,780 cases reported to the Epidemiological Surveillance System and controls based on demographic data from 1987 to 2006. The cases were grouped into five consecutive four-year periods. A generalized additive model was adjusted to the data; the dependent variable was the status of the individuals (case or control), and the independent variables were a bi-dimensional spline of the geographic coordinates and some municipality-level socioeconomic variables. The observed values of the Moran’s I test were compared to a reference distribution of values generated under conditions of spatial randomness. RESULTS AIDS risk shows a marked spatial and temporal pattern. The disease incidence is related to socioeconomic variables at the municipal level in Rondônia, such as urbanization and human capital. The highest incidence rates of AIDS are in municipalities along the BR-364 highway and calculations of the Moran’s I test show positive spatial correlation associated with proximity of the municipality to the highway in the third and fourth periods (p = 0.05). CONCLUSIONS Incidence of the disease is higher in municipalities of greater economic wealth and urbanization, and in those municipalities bisected by Rondônia’s main roads. The rapid development associated with the opening up of once remote regions may be accompanied by an increase in these risks to health.

Les ostracodes du Miocène inférieur de la region de Lisbonne (basin du Tage)

Forty-five species of ostracoda from the Aquitanian of the Lisbon area, belonging in thirty-two genera, are presented. These are the first species belonging to this group reported for the Miocene formations in Portugal. Ostracoda assemblages are typical of fresh water, brackish and marine environments (littoral and inner continental shelf). References are made to the stratigraphically more significant species. Data on the paleoenvironments are also presented. A list of the studied species includes a comparison with their distribution in the Aquitaine and Rhone Miocene basins.

Particularités de la microfaune (Foraminifère) à la limite Carixien/Domérien de quelques gisements de la region de Coimbra (Portugal)

The Middle Liassic outcrops of the Coimbra region (Portugal) show, at Carixian-Domerian boundary, an unusual high frequence of the Falsopalmula, morphogenus,that is generally well represented in the Lower Toarcian. The study of the Nodosaridea association shows that the massive presence of this morphogenus excludes the Lenticulina s. st. genus. These faunistic particularities should be ascribed to the environment and to the sedimentation pattern. The development of the Falsopalmula morphogenus should have been simultaneous to that of the pelitic sedimentation.

Prevalence and determinants of child undernutrition and stunting in semiarid region of Brazil

OBJECTIVE : To analyze the evolution in the prevalence and determinants of malnutrition in children in the semiarid region of Brazil. METHODS : Data were collected from two cross-sectional population-based household surveys that used the same methodology. Clustering sampling was used to collect data from 8,000 families in Ceará, Northeastern Brazil, for the years 1987 and 2007. Acute undernutrition was calculated as weight/age < -2 standard deviation (SD); stunting as height/age < -2 SD; wasting as weight/height < -2 SD. Data on biological and sociodemographic determinants were analyzed using hierarchical multivariate analyses based on a theoretical model. RESULTS : A sample of 4,513 and 1,533 children under three years of age, in 1987 and 2007, respectively, were included in the analyses. The prevalence of acute malnutrition was reduced by 60.0%, from 12.6% in 1987 to 4.7% in 2007, while prevalence of stunting was reduced by 50.0%, from 27.0% in 1987 to 13.0% in 2007. Prevalence of wasting changed little in the period. In 1987, socioeconomic and biological characteristics (family income, mother’s education, toilet and tap water availability, children’s medical consultation and hospitalization, age, sex and birth weight) were significantly associated with undernutrition, stunting and wasting. In 2007, the determinants of malnutrition were restricted to biological characteristics (age, sex and birth weight). Only one socioeconomic characteristic, toilet availability, remained associated with stunting. CONCLUSIONS : Socioeconomic development, along with health interventions, may have contributed to improvements in children’s nutritional status. Birth weight, especially extremely low weight (< 1,500 g), appears as the most important risk factor for early childhood malnutrition.

Social protection systems in vulnerable families: their importance for the public health

OBJECTIVE To analyze the effectiveness of the Chilean System of Childhood Welfare in transferring benefits to socially vulnerable families. METHODS A cross-sectional study with a sample of 132 families from the Metropolitan Region, Chile, stratified according to degree of social vulnerability, between September 2011 and January 2012. Semi-structured interviews were conducted with mothers of the studied families in public health facilities or their households. The variables studied were family structure, psychosocial risk in the family context and integrated benefits from the welfare system in families that fulfill the necessary requirements for transfer of benefits. Descriptive statistics to measure location and dispersion were calculated. A binary logistic regression, which accounts for the sample size of the study, was carried out. RESULTS The groups were homogenous regarding family size, the presence of biological father in the household, the number of relatives living in the same dwelling, income generation capacity and the rate of dependency and psychosocial risk (p ≥ 0.05). The transfer of benefits was low in all three groups of the sample (≤ 23.0%). The benefit with the best coverage in the system was the Single Family Subsidy, whose transfer was associated with the size of the family, the presence of relatives in the dwelling, the absence of the father in the household, a high rate of dependency and a high income generation capacity (p ≤ 0.10). CONCLUSIONS The effectiveness of benefit transfer was poor, especially in families that were extremely socially vulnerable. Further explanatory studies of benefit transfers to the vulnerable population, of differing intensity and duration, are required in order to reduce health disparities and inequalities.

Optimização da estrutura de um semi-reboque com vista à flexibilidade na sua adequação funcional

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Gestão de Sistemas Ambientais

Cervical cancer screening coverage in a high-incidence region

OBJECTIVE To analyze the coverage of a cervical cancer screening program in a city with a high incidence of the disease in addition to the factors associated with non-adherence to the current preventive program.METHODS A cross-sectional study based on household surveys was conducted. The sample was composed of women between 25 and 59 years of age of the city of Boa Vista, RR, Northern Brazil who were covered by the cervical cancer screening program. The cluster sampling method was used. The dependent variable was participation in a women’s health program, defined as undergoing at least one Pap smear in the 36 months prior to the interview; the explanatory variables were extracted from individual data. A generalized linear model was used.RESULTS 603 women were analyzed, with an mean age of 38.2 years (SD = 10.2). Five hundred and seventeen women underwent the screening test, and the prevalence of adherence in the last three years was up to 85.7% (95%CI 82.5;88.5). A high per capita household income and recent medical consultation were associated with the lower rate of not being tested in multivariate analysis. Disease ignorance, causes, and prevention methods were correlated with chances of non-adherence to the screening system; 20.0% of the women were reported to have undergone opportunistic and non-routine screening.CONCLUSIONS The informed level of coverage is high, exceeding the level recommended for the control of cervical cancer. The preventive program appears to be opportunistic in nature, particularly for the most vulnerable women (with low income and little information on the disease). Studies on the diagnostic quality of cervicovaginal cytology and therapeutic schedules for positive cases are necessary for understanding the barriers to the control of cervical cancer.

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Mestrado integrado em Engenharia do Ambiente, perfil: Gestão de Sistemas Ambientais

Células solares semi-transparentes de silício amorfo micro/nanocristalino

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia dos Materiais

Therapeutic itineraries and explanations for tuberculosis: an indigenous perspective

ABSTRACT OBJECTIVE To analyze explanations for tuberculosis and therapeutic itineraries of Brazilian indigenous people. METHODS Case study with a qualitative-descriptive approach. We conducted semi-structured interviews with 11 Munduruku indigenous, including direct observation of treatment for tuberculosis in the municipality of Jacareacanga, south-western region of the state of Para, Brazil. To identify explanations for tuberculosis and therapeutic itineraries, we performed thematic content analysis. RESULTS Traditional medicine was the first therapeutic option chosen by the indigenous. However, biomedicine was also employed, which indicates a circulation between different therapeutic contexts and health concepts among the Munduruku. The explanations provided ranged from recognition of the signs and symptoms specific to tuberculosis to the attribution of the disease to a spirit that leaves the body and wanders in the woods, returning ill into the body. Unlike the biomedical model, which links tuberculosis transmission strictly to interpersonal contact, in closed spaces without natural lighting and ventilation (preferably domestic environments), the Munduruku associate the disease to an indirect contact between people socially distant (enemies or adversaries) in public and open places. CONCLUSIONS The explanations made by the indigenous are unique and deserve the attention of those who are responsible for developing health public policies, as well as of the teams who work on the villages. To guarantee an efficient control of tuberculosis in these regions, it is necessary that the developed actions integrate biomedicine knowledge and the traditional medicine of the indigenous people, in addition to respecting and welcoming local culture manifestations.

Determinants of the use of health care services: multilevel analysis in the Metropolitan Region of Sao Paulo

OBJECTIVE To evaluate the individual and contextual determinants of the use of health care services in the metropolitan region of Sao Paulo.METHODS Data from the Sao Paulo Megacity study – the Brazilian version of the World Mental Health Survey multicenter study – were used. A total of 3,588 adults living in 69 neighborhoods in the metropolitan region of Sao Paulo, SP, Southeastern Brazil, including 38 municipalities and 31 neighboring districts, were selected using multistratified sampling of the non-institutionalized population. Multilevel Bayesian logistic models were adjusted to identify the individual and contextual determinants of the use of health care services in the past 12 months and presence of a regular physician for routine care.RESULTS The contextual characteristics of the place of residence (income inequality, violence, and median income) showed no significant correlation (p > 0.05) with the use of health care services or with the presence of a regular physician for routine care. The only exception was the negative correlation between living in areas with high income inequality and presence of a regular physician (OR: 0.77; 95%CI 0.60;0.99) after controlling for individual characteristics. The study revealed a strong and consistent correlation between individual characteristics (mainly education and possession of health insurance), use of health care services, and presence of a regular physician. Presence of chronic and mental illnesses was strongly correlated with the use of health care services in the past year (regardless of the individual characteristics) but not with the presence of a regular physician.CONCLUSIONS Individual characteristics including higher education and possession of health insurance were important determinants of the use of health care services in the metropolitan area of Sao Paulo. A better understanding of these determinants is essential for the development of public policies that promote equitable use of health care services.

Invariant integrals applied to nematic liquid crystals with small Ericksen number and topological defects

Invariant integrals are derived for nematic liquid crystals and applied to materials with small Ericksen number and topological defects. The nematic material is confined between two infinite plates located at y = -h and y = h (h is an element of R+) with a semi-infinite plate at y = 0 and x < 0. Planar and homeotropic strong anchoring boundary conditions to the director field are assumed at these two infinite and semi-infinite plates, respectively. Thus, a line disclination appears in the system which coincides with the z-axis. Analytical solutions to the director field in the neighbourhood of the singularity are obtained. However, these solutions depend on an arbitrary parameter. The nematic elastic force is thus evaluated from an invariant integral of the energy-momentum tensor around a closed surface which does not contain the singularity. This allows one to determine this parameter which is a function of the nematic cell thickness and the strength of the disclination. Analytical solutions are also deduced for the director field in the whole region using the conformal mapping method. (C) 2013 Elsevier Ltd. All rights reserved.