913 resultados para Avaliação automática de programas
Resumo:
The considerable expansion of Distance Education registered in recent years in Brazil raises the importance of debate about how the implementation of this policy has been happening so that formulators and implementers make better informed decisions, maximizing results, identifying successes and overcoming bottlenecks. This study aims to evaluate the implementation process of Distance Education policy by Secretary of Distance Education of the Federal University of Rio Grande do Norte. For this, we sought to use an evaluation proposal consistent with this policy, and came to the one developed by Sonia Draibe (2001), which suggests an analysis called anatomy of evaluation general process. To achieve the objectives, we made a qualitative research, case study type, using documentary research and semi-structured interviews with three groups of subjects who belong to the policy: managers, technicians and beneficiaries. It was concluded that: the implementation process needs a open contact channel between the management and technicians and beneficiaries; the lack of clarity in the dissemination of information between technicians produces noises that affects the outcomes; the absence of dissemination of internal and external actions contributes to the perpetuation of prejudice in relation to Distance Education; using selection criteria based on competence and merit contributes to form a team of skilled technicians to perform their function within the policy; an institution that do not enable technicians generates gaps that possibly will turn into policy implementation failures; all subjects involved in politics need internal evaluations to contribute to improvements in the implementation process, however, a gap is opened between the subjects if there is no socialization of results; the existence of an internal structure that manipulates financial resources and balances the budget from different maintainer programs is essencial; the consortium between IES and municipalities in presential support poles are bottlenecks in the process, since beneficiaries are exposed to inconsistency and lack of commitment of these local municipalities
Resumo:
As a result of the financial incentive provided by the GM / MS 1.444, since 2000, Brazil has experienced a substantial increase in the number of oral health services at the Family Health Strategy. There is, however, evidence that these teams have produced qualitatively different experiences which do not translate necessarily into improved quality of life and health. Thus, evaluative research of great importance. This study aims to assess the impact of the Family Health Strategy in oral health in a longitudinal perspective natalense the years 2006 and 2009. This is an intervention study whose design is a community trial in parallel, nearly randomized. The sample consisted of census tracts covered by oral health teams in the Family Health and the Traditional Model (Basic Health Units and non-FHS Program of Community Health Agents and areas not covered.) The sample was determined by drawing ten census tracts to form the experimental group and ten other sectors for the control group by pairing intentional based on socio-economic and geographic. To check the net effect of the intervention was performed multivariate analysis by Poisson regression. As a result of cross-sectional analysis of year 2009, it was found that the effects of the ESF in Natal were satisfactory only for the variables of injuries and for other purposes without and with negative impact on stock coverage reclaimers. However, the longitudinal analysis revealed that the ESB / ESF improved their performance in dealing with grievances, access and coverage of the type of actions and this fact is independent of age, sex and social and economic conditions. In other employees' words are related to the presence of the Family Health Strategy in the region. However it does not say that both models under study (the Family Health Strategy Model and Traditional) are different in terms of performance and it is pertinent to reflect on the need for further development of evaluation studies that use other approaches able to clarify the dynamics of the process whose results can come to the knowledge of the actors responsible for leading the ESF and encourage them to incorporate the assessment in their routine
Resumo:
Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping
Resumo:
Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study
Resumo:
The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification
Resumo:
The tourism industry is gaining representation by move and stimulate the economy, especially by allowing the generation of employment and income, thus allowing growth opportunities for localities where tourism develops. Therefore, the present study entitled determinants of competitiveness of tourist destinations applied to regional routes: an evaluation of the Route of Seridó/RN, discusses the issue of competitiveness in tourism and tries to understand the scenery of this Route. The main objective of the study is to assess the conditions of competitiveness in the Route of Seridó/RN according to benchmarks and global determinants of competitiveness for tourist destinations. The study has also as specifics objectives: define dimensions of the reference model for use in evaluating the competitiveness of the Route of Seridó/RN; identify levels of governance and competitiveness in the municipalities that make up the sample set above the Route, and analyze to what extent the competitiveness of the Route correspond to the global reference of competitiveness of tourism destinations. Regarding the methodology, it is a search for an exploratory- descriptive and used a combination of quantitative and qualitative research method as expected and required in the implementation of the evaluation tool called Compet&enible Model. For data collection, it has been taken technical visits and also analysis of documents and materials. Data analysis was based on the records and documents and the use of simple descriptive statistics for the scores of the elements offered by Compet&enible Model. The results allowed us to know the real conditions of competitiveness of the Seridó/RN Route forward to the attributes of tourist destinations for global competitiveness: the dimension I, Governance, reached 17 points, classified as "in structuring" and dimension II, Competitiveness, reached 10 points, ranking "weak". These results highlight the need for greater involvement of the actors in the supply chain of tourism in Polo Seridó/RN for the actions, programs and projects are put into practice. It is expected that tourism is considered an important activity for the local and global development, serving as a reference for the future management of Seridó/RN Route, guiding new policy guidelines, planning and organization to better competitiveness
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
We considered prediction techniques based on models of accelerated failure time with random e ects for correlated survival data. Besides the bayesian approach through empirical Bayes estimator, we also discussed about the use of a classical predictor, the Empirical Best Linear Unbiased Predictor (EBLUP). In order to illustrate the use of these predictors, we considered applications on a real data set coming from the oil industry. More speci - cally, the data set involves the mean time between failure of petroleum-well equipments of the Bacia Potiguar. The goal of this study is to predict the risk/probability of failure in order to help a preventive maintenance program. The results show that both methods are suitable to predict future failures, providing good decisions in relation to employment and economy of resources for preventive maintenance.
Resumo:
O uso da tecnologia de informática é uma realidade em todas as áreas do conhecimento humano, nos dias atuais. A incorporação tecnológica se faz nos serviços e no ensino, nos diferentes processos de trabalho do enfermeiro. Este estudo teve como objetivo avaliar um site desenvolvido sobre o tema Escala de Pessoal de Enfermagem, relevante na gestão de recursos humanos em saúde. A metodologia envolveu pesquisa quantitativa com docentes da área de administração em enfermagem, e alunos das oito Universidades Públicas do estado de São Paulo que formam enfermeiros. Entre os principais resultados, apontamos que 85% dos avaliadores consideraram o site excelente ou satisfatório. Além disso, foram analisados os comentários enviados por e-mail e as autoras fazem uma auto-avaliação. O site foi considerado de utilidade tanto para a prática profissional (81,7% entre excelente e satisfatório) como para o ensino (84,6% entre excelente e satisfatório).
Resumo:
The question of evaluating the fight against poverty in a given society is very complex task, considering the range of factors that permeate, such as education, culture and economy itself. Come hence the relevance of the theme and its constant presence in discussions on the fruits of public policies, institutional structure and economic development which are the guiding elements of this work, and noted that seeks to highlight the social demographics and most important, the most significant trends and issues pertaining to her. The assessment was initially made in all the municipalities of Rio Grande do Norte doing a verticalilzação to the municipalities Caicó, Pau dos Ferros, Ipueira and Taboleiro Grande. Highlighting the role of a social policy through government programs, such as the Bolsa Familia Program (PBF), which creates the possibility of changes in the socio demographic profile given the importance that the action of this public policy has in shaping the regional economic reality As well as social programs and actions of the government here reported that generate mobility of people and new social demands, such as rural retirements, the benefit of continuing provision (BPC), the Program for the Eradication of Child Labor (PETI) that put on the market of population living on the margins of various forms of consumption. Accordingly, the socio economic profile of the state shows a significant improvement in their social indicators, vital education and redistribution of income, due to the significant improvement in life expectancy in the fall of school drop-out rate and the drop in indicators of Proportion Poor and destitute of the state. Where the fall in the proportion of poor and indigent is strongly associated with an increase in income, from social programs. With this transfer and redistribution of income can be gauged that occurs a strengthening of local economies and an engagement of families with the conditionalities of social programs and PETI Bolsa Familia. Our research concludes that simply raising the rents caused by transfers, presents relevant impacts on the education of young people in beneficiary families. There is no doubt that the programs of transfer income, no facing the social field, representing a mechanism to decrease the most perverse ills of poverty, social and economic inequality that is hungry. For a significant portion of the Brazilian population living below the poverty line, programs for the transfer of income are expressed directly in improving the material conditions of life and indirectly in improving self-esteem of women and all family members receiving encouraging yet the integration family. Experiments have shown that improvements in health and nutrition can be obtained through the implementation of adequate social policies like the programs of transfer income, while social inclusion and economic does not become full
Resumo:
The Conservation Units, specially the National and State parks are among the major destinations for adventure tourism and ecotourism, so that the National System of Unit Conservation (Sistema Nacional de Unidades de Conservação) SNUC (Law 9.985/2000) covers the practice of touristic activities, specially the ecotourism in these territorial unities. Despite these are areas for environmental conservation, practice of environmental education, scientific research and contemplation of the nature in its primary or in a similar condition, the practice of touristic activity does not often meet these aims. The main aim of this research was to evaluate the touristic activities and the actions of territorial management in the State Park of Pedra da Boca (PEPB), situated in the city of Araruna/PB. According to the results, the PEPB has in its territorial area a porphyritic granite rock set, whose geological and geomorphologic settings are unique and have scenic value. It is also home of flora and fauna endemic species and representative of the savanna biome. The data and information achieved show that the Park has a remarkable potential for tourism, especially ecotourism, however, there is a need for development of territorial management actions, in order to subsidize the use of spatial tourism site
Resumo:
No Estado de São Paulo, existe uma rede extensiva de serviços de Atenção Básica (AB) com perfil organizacional heterogêneo e pouco conhecido. Este estudo objetiva caracterizar a organização dos serviços de AB em 37 municípios do Centro-oeste paulista, como primeira etapa de um projeto de avaliação da qualidade desses serviços. Trata-se de um estudo transversal conduzido mediante questionário estruturado, autorrespondido pelos gerentes e equipes locais, com questões que abordam características institucionais e de organização e gerência do trabalho. Esses questionários foram enviados para 131 UBS, distribuídas em 37 municípios. Obteve-se resposta de 113 unidades (87%) localizadas em 32 municípios (86,4%). do total de unidades, 57 (50%) são UBS tradicionais, 26 (22,8%), Unidades de Saúde da Família, e 31, (27,2%) organizadas segundo formas mistas. A maioria dos serviços (62%, 70/113) não trabalha com área de abrangência delimitada de modo planejado. Os serviços se polarizam entre aqueles que realizam entre 70 e 100% de consultas médicas agendadas (37,6%, 41/109), e aqueles que realizam entre 70 e 100% de não agendadas (39,4%, 43/109). Não possuem conselhos locais organizados 65 unidades (63,7%, 65/102). Os dados coletados permitem discutir as características dos principais programas, procedimentos e ações realizados pelos serviços. Os perfis organizacionais predominantes apontam a presença de deficiências de estrutura e processo em relação às diretrizes do SUS. O desenvolvimento de instrumentos de autoavaliação permite que as equipes se apropriem, de forma crítica, de seu trabalho, e possam elaborar novos arranjos tecnológicos para melhoria da qualidade.
Resumo:
O SIAT é um sistema especialista para Avaliação de Terras derivado do MicroLEIS - Land Evaluation Information System desenvolvido na Espanha. Na primeira versão, as 12 variáveis foram adaptadas e ajustadas para condições tropicais, assim como a estrutura do programa e o banco de dados. Os testes de campo mostraram que os melhores resultados foram obtidos para escalas próximas de 1:100.000. Nesta segunda versão, os intervalos das variáveis foram redefinidos e uma interface de comunicação com o SIG IDRISI foi introduzida, permitindo a troca de dados entre os dois programas. Outra modificação importante foi a adoção de uma equação para calcular a erosividade no lugar de mapa apresentado no Manual do Usuário. Os testes de campo mostraram que o uso do SIAT é agora mais funcional, com melhor resolução, permitindo trabalhar com escalas em torno de 1:50.000, além de ser adaptável para todo o território brasileiro. A versão do SIAT pode ser obtida pelo endereço www.rc.unesp.br/igce/ceapla/biblioteca/softwares/siat.html.
Resumo:
Este Ponto de Vista resume as conclusões de um Workshop conjunto, organizado pelos três Programas da FAPESP na Área Ambiental - BIOTA (O Instituto Virtual da Biodiversidade) - BIOEN (Pesquisa em Bioenergia) - Mudanças Climáticas, para discutir a contribuição da comunidade científica para a RIO+20, a Conferência das Nações Unidas para o Desenvolvimento Sustentável. O grupo de pesquisadores brasileiros reunidos pela FAPESP no início de março de 2012 levantou as seguintes preocupações: a) o número reduzido de oportunidades para a comunidade científica interagir com Conferências como a RIO+20; b) as graves deficiências do ZeroDraft, documento produzido pela Divisão das Nações Unidas para o Desenvolvimento Sustentável para a RIO +20; c) o fato do foco de pesquisa dos três Programas de Pesquisa Ambiental da FAPESP - biodiversidade, bioenergia e mudanças climáticas - não estarem na pauta das discussões da RIO+20; d) que pouca ênfase é dada aos oceanos na Agenda da Conferência; e) em relação aos mecanismos de mercado associados com a transição para uma economia mais verde, a necessidade de enfatizar a redução de subsídios perversos e a promoção de incentivos econômicos para atividades ou processos de mitigação e/ou seqüestro de carbono; f) a necessidade de estimular o desenvolvimento e a consolidação da pesquisa na área de avaliação e valoração de serviços ambientais, no Brasil. Os participantes do Workshop reconheceram a necessidade de aprofundar o conhecimento sobre as convenções, tratados e acordos internacionais assinados e ratificados pelo Brasil, bem como as instituições internacionais, programas e iniciativas que promovem a participação da comunidade científica no debate de políticas ambientais globais. Finalmente, do ponto de vista dos três programas da FAPESP dois pontos foram destacados: a) que é imperativo aprofundar o conhecimento científico em cada uma das três áreas focais - biodiversidade, bioenergia e mudanças climáticas - porque é necessário aumentar a massa crítica de pesquisadores e do conhecimento para participar das discussões internacionais nessas áreas estratégicas; b) também é imperativo apoiar e promover projetos de pesquisa que integrem as áreas focais dos três programas, estimulando a constituição de equipes inter e transdisciplinares. Esta é uma tendência mundial na área das mudanças ambientais globais, e os participantes dos três programas sentem que podem dar uma contribuição significativa para o avanço do conhecimento, para o debate internacional e para a efetiva solução dos problemas.
Resumo:
Este trabalho tem como objetivo contribuir para o debate sobre a avaliação do Ensino Superior no Brasil, apresentando um estudo a respeito dos sistemas utilizados para as medidas de qualidade e produtividade. Busca-se analisar, por meio da revisão bibliográfica e da análise documental, as origens do processo de avaliação, a seqüência histórica dos debates políticos que definiram os programas de trabalho na área, as concepções metodológicas adotadas por esses programas, os instrumentos de mensuração e acompanhamento que foram desenvolvidos e os sistemas de indicadores criados para aferir a qualidade de ensino nas instituições, bem como o desempenho dos estudantes. A discussão contempla todos os sistemas de avaliação praticados no Brasil até o ano de 2005 e conclui que, desde os primeiros procedimentos estabelecidos, houve uma evolução contínua na definição de indicadores mais precisos e eficientes. Os resultados alcançados pela pesquisa que fundamenta o trabalho aplicam-se explicitamente à revisão dos instrumentos de avaliação praticados no Brasil. O trabalho sugere indicadores ainda não utilizados no processo histórico de avaliação, buscando o aperfeiçoamento do sistema atual.