901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The past decade has witnessed an increasing concerns over the effectiveness of project-based development assistance and the promotion of sector-wide approaches (SWAps) to health as a means to increase donor collaboration, consolidate local management of resources and undertake the policy and systems reform necessary to achieve a greater impact on health issues. The concept has gained the support of both the World Bank and the World Health Organisation, as well as key bilateral donors, and dominates current initiatives in development assistance for health. This paper examines the proposal of SWAps as rhetoric, and seeks to understand how that rhetoric functions, despite the variable application of its constituent elements and the range of contexts in which it operates. (C) 2002 Elsevier Science Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Load-Unload Response Ratio (LURR) method is an intermediate-term earthquake prediction approach that has shown considerable promise. It involves calculating the ratio of a specified energy release measure during loading and unloading where loading and unloading periods are determined from the earth tide induced perturbations in the Coulomb Failure Stress on optimally oriented faults. In the lead-up to large earthquakes, high LURR values are frequently observed a few months or years prior to the event. These signals may have a similar origin to the observed accelerating seismic moment release (AMR) prior to many large earthquakes or may be due to critical sensitivity of the crust when a large earthquake is imminent. As a first step towards studying the underlying physical mechanism for the LURR observations, numerical studies are conducted using the particle based lattice solid model (LSM) to determine whether LURR observations can be reproduced. The model is initialized as a heterogeneous 2-D block made up of random-sized particles bonded by elastic-brittle links. The system is subjected to uniaxial compression from rigid driving plates on the upper and lower edges of the model. Experiments are conducted using both strain and stress control to load the plates. A sinusoidal stress perturbation is added to the gradual compressional loading to simulate loading and unloading cycles and LURR is calculated. The results reproduce signals similar to those observed in earthquake prediction practice with a high LURR value followed by a sudden drop prior to macroscopic failure of the sample. The results suggest that LURR provides a good predictor for catastrophic failure in elastic-brittle systems and motivate further research to study the underlying physical mechanisms and statistical properties of high LURR values. The results provide encouragement for earthquake prediction research and the use of advanced simulation models to probe the physics of earthquakes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We have recently developed a scaleable Artificial Boundary Inhomogeneity (ABI) method [Chem. Phys. Lett.366, 390–397 (2002)] based on the utilization of the Lanczos algorithm, and in this work explore an alternative iterative implementation based on the Chebyshev algorithm. Detailed comparisons between the two iterative methods have been made in terms of efficiency as well as convergence behavior. The Lanczos subspace ABI method was also further improved by the use of a simpler three-term backward recursion algorithm to solve the subspace linear system. The two different iterative methods are tested on the model collinear H+H2 reactive state-to-state scattering.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

RESUMO: Esta dissertação teve como objetivo central replicar o estudo realizado por Piaget sobre aquisição do conceito de regras em crianças, a fim de procurarmos saber se passados 78 anos da obra “O Juízo Moral na Criança”, os dados que o mesmo encontrou sobre a aquisição do princípio da moral se mantêm em nossa atualidade. Para atingir esse objetivo realizamos uma breve revisão bibliográfica, abrangendo alguns autores, teóricos e pesquisadores que enfatizaram estudos sobre o princípio da ética e a fundamentação da moral, entre os quais constam: Platão, Aristóteles, Nietzsche, Kant, Durkheim. Baseamo-nos igualmente em alguns autores mais recentes como Vázquez, Lourenço, Cortina e Martinez, Biaggio, dentre outros. Ao analisarmos a origem psicológica do desenvolvimento moral da criança, buscamos suporte na teoria de Kolhberg e principalmente de Jean Piaget, autor principal para esta pesquisa. A pesquisa guiou-se por uma dimensão descritiva e qualitativa, centrada na observação direta e indireta, baseada no modelo clínico introduzido por Piaget. Os resultados da pesquisa demonstraram que os dados obtidos por Piaget há 78 anos, são compatíveis com os dias de hoje, pois as crianças apresentaram dados equivalentes em média com as idades estipuladas para a aquisição da moral heterônoma e da moral autônoma. Constatámos que a aquisição do princípio da reversibilidade leva as crianças a adquirirem capacidades cognitivas para uma moral autônoma. A concepção de regras transmitidas pelas crianças, emergiram em uma concepção de respeito a uma norma pré estabelecida, e que, gradualmente se transforma em consciência da importância das mesmas para o princípio da boa convivência. ABSTRACT: This dissertation aimed to replicate the study worked out by Piaget on acquisition of concept rules in children, in order to know if, 78 years passed from "The Moral Judgment in Child", data about acquisition of morality principle remain current. To achieve this goal we conducted a brief bibliographic review, covering some authors, theorists and researchers who emphasized studies on ethics principle and moral fundamentation, such as: Plato, Aristotle, Nietzsche, Kant, Durkheim. We were also based on some latest authors as Vázquez, Lourenço, Cortina and Martinez, Biaggio, and others. Considering the psychological origin of moral development of children, we sought support in Kolhberg´s theory and, especially, Jean Piaget, the main author for this search. The research was led by a descriptive and qualitative dimension, focused on direct and indirect observation, based on clinical model introduced by Piaget. The survey results showed that data obtained by Piaget 78 years ago are still compatible with the present day, because children have, on average, equivalent data through all ages stipulated for the acquisition of heteronomic and autonomous moral. We found that the acquisition of the reversibility principle leads children to acquire cognitive skills for an autonomous moral. The conception of rules provided by children, emerged to a conception of respect to a pre-established standard, that gradually becomes aware of its importance to the principle of coexistence.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper proposes a particle swarm optimization (PSO) approach to support electricity producers for multiperiod optimal contract allocation. The producer risk preference is stated by a utility function (U) expressing the tradeoff between the expectation and variance of the return. Variance estimation and expected return are based on a forecasted scenario interval determined by a price range forecasting model developed by the authors. A certain confidence level is associated to each forecasted scenario interval. The proposed model makes use of contracts with physical (spot and forward) and financial (options) settlement. PSO performance was evaluated by comparing it with a genetic algorithm-based approach. This model can be used by producers in deregulated electricity markets but can easily be adapted to load serving entities and retailers. Moreover, it can easily be adapted to the use of other type of contracts.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação apresentada à Escola Superior de Educação de Lisboa no âmbito do Mestrado em Ensino Especial

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mestrado em Engenharia Química

Relevância:

100.00% 100.00%

Publicador:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Neste trabalho estuda-se a geração de trajectórias em tempo real de um robô quadrúpede. As trajectórias podem dividir-se em duas componentes: rítmica e discreta. A componente rítmica das trajectórias é modelada por uma rede de oito osciladores acoplados, com simetria 4 2 Z  Z . Cada oscilador é modelado matematicamente por um sistema de Equações Diferenciais Ordinárias. A referida rede foi proposta por Golubitsky, Stewart, Buono e Collins (1999, 2000), para gerar os passos locomotores de animais quadrúpedes. O trabalho constitui a primeira aplicação desta rede à geração de trajectórias de robôs quadrúpedes. A derivação deste modelo baseia-se na biologia, onde se crê que Geradores Centrais de Padrões de locomoção (CPGs), constituídos por redes neuronais, geram os ritmos associados aos passos locomotores dos animais. O modelo proposto gera soluções periódicas identificadas com os padrões locomotores quadrúpedes, como o andar, o saltar, o galopar, entre outros. A componente discreta das trajectórias dos robôs usa-se para ajustar a parte rítmica das trajectórias. Este tipo de abordagem é útil no controlo da locomoção em terrenos irregulares, em locomoção guiada (por exemplo, mover as pernas enquanto desempenha tarefas discretas para colocar as pernas em localizações específicas) e em percussão. Simulou-se numericamente o modelo de CPG usando o oscilador de Hopf para modelar a parte rítmica do movimento e um modelo inspirado no modelo VITE para modelar a parte discreta do movimento. Variou-se o parâmetro g e mediram-se a amplitude e a frequência das soluções periódicas identificadas com o passo locomotor quadrúpede Trot, para variação deste parâmetro. A parte discreta foi inserida na parte rítmica de duas formas distintas: (a) como um offset, (b) somada às equações que geram a parte rítmica. Os resultados obtidos para o caso (a), revelam que a amplitude e a frequência se mantêm constantes em função de g. Os resultados obtidos para o caso (b) revelam que a amplitude e a frequência aumentam até um determinado valor de g e depois diminuem à medida que o g aumenta, numa curva quase sinusoidal. A variação da amplitude das soluções periódicas traduz-se numa variação directamente proporcional na extensão do movimento do robô. A velocidade da locomoção do robô varia com a frequência das soluções periódicas, que são identificadas com passos locomotores quadrúpedes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A new procedure for determining eleven organochlorine pesticides in soils using microwave-assisted extraction (MAE) and headspace solid phase microextraction (HS-SPME) is described. The studied pesticides consisted of mirex, α- and γ-chlordane, p,p’-DDT, heptachlor, heptachlor epoxide isomer A, γ-hexachlorocyclohexane, dieldrin, endrin, aldrine and hexachlorobenzene. The HS-SPME was optimized for the most important parameters such as extraction time, sample volume and temperature. The present analytical procedure requires a reduced volume of organic solvents and avoids the need for extract clean-up steps. For optimized conditions the limits of detection for the method ranged from 0.02 to 3.6 ng/g, intermediate precision ranged from 14 to 36% (as CV%), and the recovery from 8 up to 51%. The proposed methodology can be used in the rapid screening of soil for the presence of the selected pesticides, and was applied to landfill soil samples.

Relevância:

100.00% 100.00%

Publicador:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

MSC Dissertation in Computer Engineering

Relevância:

100.00% 100.00%

Publicador:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A design methodology for monolithic integration of inductor based DC-DC converters is proposed in this paper. A power loss model of the power stage, including the drive circuits, is defined in order to optimize efficiency. Based on this model and taking as reference a 0.35 mu m CMOS process, a buck converter was designed and fabricated. For a given set of operating conditions the defined power loss model allows to optimize the design parameters for the power stage, including the gate-driver tapering factor and the width of the power MOSFETs. Experimental results obtained from a buck converter at 100 MHz switching frequency are presented to validate the proposed methodology.