23 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em Scielo Saúde Pública - SP
Resumo:
The objetive of this work was to evaluate the influence of intergenotypic competition in open-pollinated families of Eucalyptus and its effects on early selection efficiency. Two experiments were carried out, in which the timber volume was evaluated at three ages, in a randomized complete block design. Data from the three years of evaluation (experiment 1, at 2, 4, and 7 years; and experiment 2, at 2, 5, and 7 years) were analyzed using mixed models. The following were estimated: variance components, genetic parameters, selection gains, effective number, early selection efficiency, selection gain per unit time, and coincidence of selection with and without the use of competition covariates. Competition effect was nonsignificant for ages under three years, and adjustment using competition covariates was unnecessary. Early selection for families is effective; families that have a late growth spurt are more vulnerable to competition, which markedly impairs ranking at the end of the cycle. Early selection is efficient according to all adopted criteria, and the age of around three years is the most recommended, given the high efficiency and accuracy rate in the indication of trees and families. The addition of competition covariates at the end of the cycle improves early selection efficiency for almost all studied criteria.
Resumo:
The objective of the present study was to compare the effect of electroacupuncture (EA) and carprofen (CP) on postoperative incisional pain using the plantar incision (PI) model in rats. A 1-cm longitudinal incision was made through skin, fascia and muscles of a hind paw of male Wistar rats and the development of mechanical and thermal hypersensitivity was determined over 4 days using the von Frey and Hargreaves methods, respectively. Based on the experimental treatments received on the third postoperative day, the animals were divided into the following groups: PI+CP (CP, 2 mg/kg, po); PI+EAST36 (100-Hz EA applied bilaterally at the Zusanli point (ST36)); PI+EANP (EA applied to a non-acupoint region); PI+IMMO (immobilization only); PI (vehicle). In the von Frey test, the PI+EAST36 group had higher withdrawal force thresholds in response to mechanical stimuli than the PI, PI+IMMO and PI+EANP groups at several times studied. Furthermore, the PI+EAST36 group showed paw withdrawal thresholds in response to mechanical stimuli that were similar to those of the PI+CP group. In the Hargreaves test, all groups had latencies higher than those observed with PI. The PI+EAST36 group was similar to the PI+IMMO, PI+EANP and PI+CP groups. We conclude that 100-Hz EA at the ST36 point, but not at non-acupoints, can reduce mechanical nociception in the rat model of incisional pain, and its effectiveness is comparable to that of carprofen.
Resumo:
OBJECTIVE: To examine the association between tooth loss and general and central obesity among adults. METHODS: Population-based cross-sectional study with 1,720 adults aged 20 to 59 years from Florianópolis, Southern Brazil. Home interviews were performed and anthropometric measures were taken. Information on sociodemographic data, self-reported diabetes, self-reported number of teeth, central obesity (waist circumference [WC] > 88 cm in women and > 102 cm in men) and general obesity (body mass index [BMI] ≥ 30 kg/m²) was collected. We used multivariable Poisson regression models to assess the association between general and central obesity and tooth loss after controlling for confounders. We also performed simple and multiple linear regressions by using BMI and WC as continuous variables. Interaction between age and tooth loss was also assessed. RESULTS: The mean BMI was 25.9 kg/m² (95%CI 25.6;26.2) in men and 25.4 kg/m2 (95%CI 25.0;25.7) in women. The mean WC was 79.3 cm (95%CI 78.4;80.1) in men and 88.4 cm (95%CI 87.6;89.2) in women. A positive association was found between the presence of less than 10 teeth in at least one arch and increased mean BMI and WC after adjusting for education level, self-reported diabetes, gender and monthly per capita income. However, this association was lost when the variable age was included in the model. The prevalence of general obesity was 50% higher in those with less than 10 teeth in at least one arch when compared with those with 10 or more teeth in both arches after adjusting for education level, self-reported diabetes and monthly per capita family income. However, the statistical significance was lost after controlling for age. CONCLUSIONS: Obesity was associated with number of teeth, though it depended on the participants' age groups.
Resumo:
In this work we report four different destructive and non-destructive methods for detecting picorna-like virus particles in triatomines. The methods are based on direct observation under transmission electron microscope and they consist of four ways to prepare samples of presumable infected material. The samples are prepared processing dead or alive insect parts, or even dry or fresh insect feces. The methods can be used as analytical or preparative techniques, for quantifying virus infection and checking virus integrity as well. In this work the four methods are applied in order to detect Triatoma virus (TrV) particles in T. infestans colonies.
Resumo:
OBJECTIVE:To analyze factors associated with cervical cancer screening failure. METHODS:Population-based cross-sectional study with self-weighted two-stage cluster sampling conducted in the cities of Fortaleza (Northeastern Brazil) and Rio de Janeiro (Southeastern Brazil) in 2002. Subjects were women aged 25-59 years in the last three years prior to the study. Data were analyzed through Poisson regression using a hierarchical model. RESULTS: The proportion of women who did not undergo the Pap smear test in Fortaleza and Rio de Janeiro was 19.1% (95% CI: 16.1;22.1) and 16.5% (95% CI: 14.1;18.9), respectively. Higher prevalence ratios of cervical cancer screening failure in both cities were seen among women with low education and low per capita income, old age, unmarried, who never underwent mammography, clinical breast examination, and blood glucose and cholesterol level testing. Smokers also had lower screening rates compared to non-smoker women and this difference was only statistically significant in Rio de Janeiro. CONCLUSIONS:The study findings point to the need of intervention focusing particularly women in worse socioeconomic conditions and access to healthcare, old-aged and unmarried. Education activities must prioritize screening of asymptomatic women and early diagnosis for symptomatic women and access to adequate diagnostic methods and treatment should be provided.
Resumo:
OBJECTIVE: To examine the relationship between social contextual factors and child and adolescent labor. METHODS: Population-based cohort study carried out with 2,512 families living in 23 subareas of a large urban city in Brazil from 2000 to 2002. A random one-stage cluster sampling was used to select families. Data were obtained through individual household interviews using questionnaires. The annual cumulative incidence of child and adolescent labor was estimated for each district. New child and adolescent labor cases were those who had their first job over the two-year follow-up. The annual cumulative incidence of child and adolescent labor was the response variable and predictors were contextual factors such as lack of social support, social deprivation, unstructured family, perceived violence, poor school quality, poor environment conditions, and poor public services. Pearson's correlation and multiple linear regression were used to assess the associations. RESULTS: There were selected 943 families corresponding to 1,326 non-working children and adolescents aged 8 to 17 years. Lack of social support, social deprivation, perceived violence were all positively and individually associated with the annual cumulative incidence of child and adolescent labor. In the multiple linear regression model, however, only lack of social support and perceived violence in the neighborhood were positively associated to child and adolescent labor. No effect was found for poor school quality, poor environment conditions, poor public services or unstructured family. CONCLUSIONS: Poverty reduction programs can reduce the contextual factors associated with child and adolescent labor. Violence reduction programs and strengthening social support at the community level may contribute to reduce CAL.
Resumo:
OBJECTIVE To analyze the spatial distribution of risk for tuberculosis and its socioeconomic determinants in the city of Rio de Janeiro, Brazil.METHODS An ecological study on the association between the mean incidence rate of tuberculosis from 2004 to 2006 and socioeconomic indicators of the Censo Demográfico (Demographic Census) of 2000. The unit of analysis was the home district registered in the Sistema de Informação de Agravos de Notificação (Notifiable Diseases Information System) of Rio de Janeiro, Southeastern Brazil. The rates were standardized by sex and age group, and smoothed by the empirical Bayes method. Spatial autocorrelation was evaluated by Moran’s I. Multiple linear regression models were studied and the appropriateness of incorporating the spatial component in modeling was evaluated.RESULTS We observed a higher risk of the disease in some neighborhoods of the port and north regions, as well as a high incidence in the slums of Rocinha and Vidigal, in the south region, and Cidade de Deus, in the west. The final model identified a positive association for the variables: percentage of permanent private households in which the head of the house earns three to five minimum wages; percentage of individual residents in the neighborhood; and percentage of people living in homes with more than two people per bedroom.CONCLUSIONS The spatial analysis identified areas of risk of tuberculosis incidence in the neighborhoods of the city of Rio de Janeiro and also found spatial dependence for the incidence of tuberculosis and some socioeconomic variables. However, the inclusion of the space component in the final model was not required during the modeling process.
Resumo:
The aim of this work is to establish a relationship between schistosomiasis prevalence and social-environmental variables, in the state of Minas Gerais, Brazil, through multiple linear regression. The final regression model was established, after a variables selection phase, with a set of spatial variables which contains the summer minimum temperature, human development index, and vegetation type variables. Based on this model, a schistosomiasis risk map was built for Minas Gerais.
Resumo:
The objective of this work was to evaluate the water flow computer model, WATABLE, using experimental field observations on water table management plots from a site located near Hastings, FL, USA. The experimental field had scale drainage systems with provisions for subirrigation with buried microirrigation and conventional seepage irrigation systems. Potato (Solanum tuberosum L.) growing seasons from years 1996 and 1997 were used to simulate the hydrology of the area. Water table levels, precipitation, irrigation and runoff volumes were continuously monitored. The model simulated the water movement from a buried microirrigation line source and the response of the water table to irrigation, precipitation, evapotranspiration, and deep percolation. The model was calibrated and verified by comparing simulated results with experimental field observations. The model performed very well in simulating seasonal runoff, irrigation volumes, and water table levels during crop growth. The two-dimensional model can be used to investigate different irrigation strategies involving water table management control. Applications of the model include optimization of the water table depth for each growth stage, and duration, frequency, and rate of irrigation.
Resumo:
This article presents a review of published literature concerning the use of computer simulations and modeling tools in Chemical Education. The findings about the possibilities of their application in the Chemistry curriculum, their effective implementation, the teaching methods involved, the research methodology and also the instruments of evaluation that were used and their results were described and analyzed. The need to develop adequate theory support to educators who want to start using this new technology in their Chemistry classes became evident along the research, as well as the lack of development of model perception among Chemistry educators and learners.
Resumo:
This work describes the establishment of the concept of pH and the evolution of its measurement. The origin of the pH definition can be found in the development of the chemistry of aqueous solutions during the XIXth century. The electrolytic dissociation theory by Svante Arrhenius played a central role. After the proposal of the pH scale by Sörensen, many years were necessary for the acceptance of this new parameter among chemists in general. Its importance was first recognized in biochemistry and related areas. Twenty years after, its importance had been recognized in many industrial and laboratorial practices. The previous methods were based on colorimetric and electrometric methods, but both suffered from many problems. Acceptance of pH in Chemistry was only possible after the development of experimental trustable measurements. The invention of the pH meter was the primordial step.
Resumo:
This paper provides a review on the latest advances and applications of the luminescence spectroscopy for the development of pharmaceuticals analyses methods, basically based on the photo- and chemiluminescence. The different forms of the drugs determination on pharmaceuticals through the fluorescence and chemiluminescence are discussed. The analyses include the drugs native fluorescence (liquid and solid-phases); the fluorescence from the oxidizing or reducing forms of the drug; the fluorescence from the chemical derivatization and their photochemistry and hydrolysis reactions. The quenching of luminescence and chemiluminescence generation for the pharmaceutical quantification are also shown. Finally, the trends and future perspectives of the luminescence spectroscopy in the field of the pharmaceutical research are discussed.
Resumo:
Two sensitive spectrophotometric methods are described for the determination of lansoprazole (LPZ) in bulk drug and in capsule formulation. The methods are based on the oxidation of lansoprazole by insitu generated bromine followed by determination of unreacted bromine by two different reaction schemes. In one procedure (method A), the residual bromine is treated with excess of iron (II), and the resulting iron (III) is complexed with thiocyanate and measured at 470 nm. The second approach (method B) involves treating the unreacted bromine with a measured excess of iron (II) and remaining iron (II) is complexed with orthophenanthroline at a raised pH, and measured at 510 nm. In both methods, the amount of bromine reacted corresponds to the amount of LPZ. The experimental conditions were optimized. In method A, the absorbance is found to decrease linearly with the concentration of LPZ (r = -0.9986) where as in the method B a linear increase in absorbance occurs (r = 0.9986) The systems obey Beer's law for 0.5-4.0 and 0.5-6.0 µg mL-1 for method A and method B, respectively. The calculated molar absorptivity values are 3.97µ10(4) and 3.07µ10(4) L mol-1cm-1 for method A and method B, respectively, and the corresponding Sandell sensitivity values are 0.0039 and 0.0013 µg cm-2. The limit of detection (LOD) and quantification (LOQ) are also reported for both methods. Intra-day and inter-day precision, and accuracy of the methods were established as per the current ICH guidelines. The methods were successfully applied to the determination of LPZ in capsules and the results tallied well with the label claim and the results were statistically compared with those of a reference method by applying the Student's t-test and F-test. No interference was observed from the concomitant substances normally added to capsules. The accuracy and validity of the methods were further ascertained by performing recovery experiments via standard-addition method.
Resumo:
Two sensitive spectrophotometric methods are described for the determination of simvastatin (SMT) in bulk drug and in tablets. The methods are based on the oxidation of SMT by a measured excess of cerium (IV) in acid medium followed by determination of unreacted oxidant by two different reaction schemes. In one procedure (method A), the residual cerium (IV) is reacted with a fixed concentration of ferroin and the increase in absorbance is measured at 510 nm. The second approach (method B) involves the reduction of the unreacted cerium (IV) with a fixed quantity of iron (II), and the resulting iron (III) is complexed with thiocyanate and the absorbance measured at 470 nm. In both methods, the amount of cerium (IV) reacted corresponds to SMT concentration. The experimental conditions for both methods were optimized. In method A, the absorbance is found to increase linearly with SMT concentration (r = 0.9995) whereas in method B, the same decreased (r = -0.9943). The systems obey Beer's law for 0.6-7.5 and 0.5-5.0 µg mL-1 for method A and method B, respectively. The calculated molar absorptivity values are 2.7 X 10(4) and 1.06 X 10(5) Lmol-1 cm-1, respectively; and the corresponding sandel sensitivity values are 0.0153 and 0.0039µg cm-2, respectively. The limit of detection (LOD) and quantification (LOQ) are reported for both methods. Intra-day and inter-day precision, and accuracy of the methods were established as per the current ICH guidelines. The methods were successfully applied to the determination of SMT in tablets and the results were statistically compared with those of the reference method by applying the Student's t-test and F-test. No interference was observed from the common excipients added to tablets. The accuracy and validity of the methods were further ascertained by performing recovery experiments via standard addition procedure.
Resumo:
As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.