1000 resultados para program verification
Resumo:
Background: Multiple sclerosis is a disease of the central nervous system that affects more frequently young women. It is a progressive and unpredictable disease, resulting in some cases of disabilities and limitations to physical, psychological and social level. Purpose: To review the literature for evidence based of the effectiveness of physiotherapy intervention in multiple sclerosis.
Resumo:
OBJECTIVE To evaluate factors associated with users’ satisfaction in the Tuberculosis Control Program. METHODS A cross-sectional study of 295 patients aged ≥ 18 years, with two or more outpatient visits in the Tuberculosis Control Program, in five cities in the metropolitan region of Rio de Janeiro, RJ, Southeastern Brazil, in 2010. Considering an estimated population of 4,345 patients, the sampling plan included 15 health care units participating in the program, divided into two strata: units in Rio de Janeiro City, selected with probability proportional to the monthly average number of outpatient visits, and units in the other four cities. In the units, four temporal clusters of five patients each were selected with equal probability, totaling 300 patients. A questionnaire investigating the users’ clinical and sociodemographic variables and aspects of care and service in the program relevant to user satisfaction was applied to the patients. Descriptive statistics about users and their satisfaction with the program were obtained, and the effects of factors associated with satisfaction were estimated. RESULTS Patients were predominantly males (57.7%), with a mean age of 40.9 and with low level of schooling. The mean treatment time was 4.1 months, mostly self-administered (70.4%). Additionally, 25.8% had previously been treated for tuberculosis. There was a high level of satisfaction, especially regarding medication provision, and respect to patients by the health professionals. Patients who were younger (≤ 30), those on self-administered treatment, and with graduate level, showed less satisfaction. Suggestions to improve the services include having more doctors (70.0%), and offering exams in the same place of attendance (55.1%). CONCLUSIONS Patient satisfaction with the Tuberculosis Control Program was generally high, although lower among younger patients, those with university education and those on self-administered treatment. The study indicates the need for changes to structural and organizational aspects of care, and provides practical support for its improvement.
Resumo:
OBJECTIVE The objective of this study was to investigate the association between food assistance program participation and overweight/obesity according to poverty level. METHODS A cross-sectional analysis of data from 46,217 non-pregnant and non-lactating women in Lima, Peru was conducted; these data were obtained from nationally representative surveys from the years 2003, 2004, 2006, and 2008-2010. The dependent variable was overweight/obesity, and the independent variable was food assistance program participation. Poisson regression was used to stratify the data by family socioeconomic level, area of residence (Lima versus the rest of the country; urban versus rural), and survey year (2003-2006 versus 2008-2010). The models were adjusted for age, education level, urbanization, and survey year. RESULTS Food assistance program participation was associated with an increased risk of overweight/obesity in women living in homes without poverty indicators [prevalence ratio (PR) = 1.29; 95% confidence interval (CI) 1.06;1.57]. When stratified by area of residence, similar associations were observed for women living in Lima and urban areas; no associations were found between food assistance program participation and overweight/obesity among women living outside of Lima or in rural areas, regardless of the poverty status. CONCLUSIONS Food assistance program participation was associated with overweight/obesity in non-poor women. Additional studies are required in countries facing both aspects of malnutrition.
Resumo:
OBJECTIVE To analyze the influence from context characteristics in the control of tuberculosis in prisons, and the influence from the program implementation degrees in observed effects.METHODS A multiple case study, with a qualitative approach, conducted in the prison systems of two Brazilian states in 2011 and 2012. Two prisons were analyzed in each state, and a prison hospital was analyzed in one of them. The data were submitted to a content analysis, which was based on external, political-organizational, implementation, and effect dimensions. Contextual factors and the ones in the program organization were correlated. The independent variable was the program implementation degree and the dependent one, the effects from the Tuberculosis Control Program in prisons.RESULTS The context with the highest sociodemographic vulnerability, the highest incidence rate of tuberculosis, and the smallest amount of available resources were associated with the low implementation degree of the program. The results from tuberculosis treatment in the prison system were better where the program had already been partially implemented than in the case with low implementation degree in both cases.CONCLUSIONS The implementation degree and its contexts – external and political-organizational dimensions – simultaneously contribute to the effects that are observed in the control of tuberculosis in analyzed prisons.
Resumo:
ABSTRACT OBJECTIVE To analyze oral health work changes in primary health care after Brazil’s National Oral Health Policy Guidelines were released. METHODS A literature review was conducted on Medline, LILACS, Embase, SciELO, Biblioteca Virtual em Saúde, and The Cochrane Library databases, from 2000 to 2013, on elements to analyze work changes. The descriptors used included: primary health care, family health care, work, health care policy, oral health care services, dentistry, oral health, and Brazil. Thirty-two studies were selected and analyzed, with a predominance of qualitative studies from the Northeast region with workers, especially dentists, focusing on completeness and quality of care. RESULTS Observed advances focused on educational and permanent education actions; on welcoming, bonding, and accountability. The main challenges were related to completeness; extension and improvement of care; integrated teamwork; working conditions; planning, monitoring, and evaluation of actions; stimulating people’s participation and social control; and intersectorial actions. CONCLUSIONS Despite the new regulatory environment, there are very few changes in oral health work. Professionals tend to reproduce the dominant biomedical model. Continuing efforts will be required in work management, training, and permanent education fields. Among the possibilities are the increased engagement of managers and professionals in a process to understand work dynamics and training in the perspective of building significant changes for local realities.
Resumo:
The scope and coverage of the Brazilian Immunization Program can be compared with those in developed countries because it provides a large number of vaccines and has a considerable coverage. The increasing complexity of the program brings challenges regarding its development, high coverage levels, access equality, and safety. The Immunization Information System, with nominal data, is an innovative tool that can more accurately monitor these indicators and allows the evaluation of the impact of new vaccination strategies. The main difficulties for such a system are in its implementation process, training of professionals, mastering its use, its constant maintenance needs and ensuring the information contained remain confidential. Therefore, encouraging the development of this tool should be part of public health policies and should also be involved in the three spheres of government as well as the public and private vaccination services.
Resumo:
ABSTRACT OBJECTIVE To assess the prevalence and factors associated with the use of the expanded Brazilian People’s Pharmacy Program among older adults and the reasons for not using it. METHODS In this population-based cross-sectional study conducted in the urban area of Pelotas, RS, Southern Brazil, we evaluated 1,305 older adults (aged 60 years or over) who had used medication in the last 15 days. Independent variables were socioeconomic factors, economic status, household income in minimum wages, educational attainment in years of schooling and occupational status. Demographic variables were sex, age, marital status, and self-reported skin color/race. Poisson regression was employed to analyze the factors associated with the use of the program. RESULTS The prevalence of use was 57.0% whilst the prevalence of knowledge of the program was 87.0%. In individuals aged 80 years or over, use of the program was 41.0%. As to the origin of the prescriptions used by older adults, 46.0% were from the Brazilian Unified Health System. The main reasons for not using the program were: difficulty in getting prescriptions, medication shortage, and ignorance about the medications offered and about the program. Higher age, lower income, presence of chronic diseases, and use of four or more medications were associated with use of the program. CONCLUSIONS It is necessary to expand the knowledge and use of the Brazilian People’s Pharmacy Program, especially among older adults, and to improve the dissemination of its list of medications to users and physicians. Thus it will be possible to reduce spending on long-term medications, which are especially important for this population.
Resumo:
A good verification strategy should bring near the simulation and real functioning environments. In this paper we describe a system-level co-verification strategy that uses a common flow for functional simulation, timing simulation and functional debug. This last step requires using a BST infrastructure, now widely available on commercial devices, specially on FPGAs with medium/large pin-counts.
Resumo:
One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.
Resumo:
O aproveitamento de pneus em fim de vida revela ser uma alternativa eficaz e promissora na indústria da construção civil, na utilização deste resíduo em muros de suporte. O presente trabalho tem como principal objetivo a apresentação de uma técnica de aproveitamento de pneus em fim de vida na execução de muros de gravidade, combinando solo e pneus. Neste sentido, tomou-se como referência um estudo realizado no Brasil por Sieira, Sayão, Medeiros e Gerscovich, para avaliar a eficiência e o custo deste tipo de estruturas, comparando-o com um muro de suporte tradicional de betão simples. Inicialmente, avaliou-se a segurança do muro de solo-pneus, de acordo com a metodologia proposta no Eurocódigo 7 (NP EN 1997-1, 2010), considerando a geometria e as características dos materiais apresentados no estudo referido e usando o programa de cálculo automático Slide, da Rocscience, para a verificação da estabilidade global. Reproduziu-se a análise numérica realizada no âmbito do caso de estudo brasileiro de referência, recorrendo também a uma formulação por elementos finitos com o programa de cálculo automático Phase2, da Rocscience. Por último, utilizando uma vez mais o programa Slide, definiu-se a geometria de um muro de betão simples cuja geometria garantisse o mesmo valor do fator de segurança à estabilidade global, obtido com o muro de solo-pneus e compararam-se os custos respetivos. O presente trabalho confirmou a eficiência e o baixo custo desta solução construtiva, sendo necessários, no entanto, estudos mais detalhados que reforcem estas conclusões.
Resumo:
Existent computer programming training environments help users to learn programming by solving problems from scratch. Nevertheless, initiating the resolution of a program can be frustrating and demotivating if the student does not know where and how to start. Skeleton programming facilitates a top-down design approach, where a partially functional system with complete high level structures is available, so the student needs only to progressively complete or update the code to meet the requirements of the problem. This paper presents CodeSkelGen - a program skeleton generator. CodeSkelGen generates skeleton or buggy Java programs from a complete annotated program solution provided by the teacher. The annotations are formally described within an annotation type and processed by an annotation processor. This processor is responsible for a set of actions ranging from the creation of dummy methods to the exchange of operator types included in the source code. The generator tool will be included in a learning environment that aims to assist teachers in the creation of programming exercises and to help students in their resolution.
Resumo:
The development of an algorithm for the construction of auxiliary projection nets (conform, equivalent and orthographic), in the equatorial and polar versions, is presented. The algorithm for the drawing of the "IGAREA 220" counting net (ALYES & MENDES, 1972), is also presented. Those algorithms are the base of STEGRAPH program (vers. 2.0), for MS-DOS computers, which has other applications.
Resumo:
A distributed, agent-based intelligent system models and simulates a smart grid using physical players and computationally simulated agents. The proposed system can assess the impact of demand response programs.
Resumo:
Trabalho final de Mestrado para a obtenção do grau de mestre em Engenharia Civil
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas