Sobre a integração indefinida de funções racionais complexas: teoria e implementação de algoritmos racionais

We present indefinite integration algorithms for rational functions over subfields of the complex numbers, through an algebraic approach. We study the local algorithm of Bernoulli and rational algorithms for the class of functions in concern, namely, the algorithms of Hermite; Horowitz-Ostrogradsky; Rothstein-Trager and Lazard-Rioboo-Trager. We also study the algorithm of Rioboo for conversion of logarithms involving complex extensions into real arctangent functions, when these logarithms arise from the integration of rational functions with real coefficients. We conclude presenting pseudocodes and codes for implementation in the software Maxima concerning the algorithms studied in this work, as well as to algorithms for polynomial gcd computation; partial fraction decomposition; squarefree factorization; subresultant computation, among other side algorithms for the work. We also present the algorithm of Zeilberger-Almkvist for integration of hyperexpontential functions, as well as its pseudocode and code for Maxima. As an alternative for the algorithms of Rothstein-Trager and Lazard-Rioboo-Trager, we yet present a code for Benoulli’s algorithm for square-free denominators; and another for Czichowski’s algorithm, although this one is not studied in detail in the present work, due to the theoretical basis necessary to understand it, which is beyond this work’s scope. Several examples are provided in order to illustrate the working of the integration algorithms in this text

Capacidades estatais para implementação de políticas públicas em ambientes federativos: o caso do Programa Bolsa Família

This thesis aims to understand the extent to which state capacities of state governments explain the effectiveness of the implementation of Programa Bolsa Família (PBF) in the Northeast, adopting the implementation of the theory as the main theoretical lens and more specifically the concept of state capacity. Methodologically is a study of public policy evaluation, and categorized as a process of evaluation study or implementation. Given the specificity of the object is classified as a multi case study research covering the states of Sergipe, Rio Grande do Norte and Bahia. In addition to using secondary data, the study used semi-structured interviews with members of Intersectoral Committees responsible for the actions of PBF and the Cadastro Único at the state level, composed of representatives of the areas of the state government of Social Welfare, Education and Health. the main findings related to technical and administrative capacities and policies were found: infrastructure with weakness in human resources, technological and financial resources; intra-governmental coordination with boundaries between PBF and Unified Social Assistance System , and the actions of conditionality of health and Health Unic System Basic Attention; intergovernmental coordination carried out mostly by the distance limitations of displacement and incipient regional decentralization of actions; based monitoring in the municipalities of lower performance and from the parameters placed by the federal government and political capacities; representative political system is hardly accessed by instances of program management; minor social participation and low articulation with related issues advice to PBF; audit control by any outside agencies. The thesis concludes that depending on the capabilities found implementing weaknesses are not unique to the program's actions, but from the very institutional capacity of the systems in which it operates that are the Unified Social Assistance System, the Health Unic System and the Educational System. In other words limitations of their own state capacities of the state governments and the municipal governments of each territory, such as quantitative insufficiency and qualification of human resources, financial and institutional resources, lack instance promoting decentralization (Intergovernmental and intra-governmental) as well the weakness or absence of a network of local social services are also factors that explain the program management performance and state capabilities of arrangements formed by states and municipalities in the PBF, only to partially deal with the complexity of joints involving Implementation of the program with regard to inter and intra-governmental action.

Capacidades estatais para implementação de políticas públicas em ambientes federativos: o caso do Programa Bolsa Família

This thesis aims to understand the extent to which state capacities of state governments explain the effectiveness of the implementation of Programa Bolsa Família (PBF) in the Northeast, adopting the implementation of the theory as the main theoretical lens and more specifically the concept of state capacity. Methodologically is a study of public policy evaluation, and categorized as a process of evaluation study or implementation. Given the specificity of the object is classified as a multi case study research covering the states of Sergipe, Rio Grande do Norte and Bahia. In addition to using secondary data, the study used semi-structured interviews with members of Intersectoral Committees responsible for the actions of PBF and the Cadastro Único at the state level, composed of representatives of the areas of the state government of Social Welfare, Education and Health. the main findings related to technical and administrative capacities and policies were found: infrastructure with weakness in human resources, technological and financial resources; intra-governmental coordination with boundaries between PBF and Unified Social Assistance System , and the actions of conditionality of health and Health Unic System Basic Attention; intergovernmental coordination carried out mostly by the distance limitations of displacement and incipient regional decentralization of actions; based monitoring in the municipalities of lower performance and from the parameters placed by the federal government and political capacities; representative political system is hardly accessed by instances of program management; minor social participation and low articulation with related issues advice to PBF; audit control by any outside agencies. The thesis concludes that depending on the capabilities found implementing weaknesses are not unique to the program's actions, but from the very institutional capacity of the systems in which it operates that are the Unified Social Assistance System, the Health Unic System and the Educational System. In other words limitations of their own state capacities of the state governments and the municipal governments of each territory, such as quantitative insufficiency and qualification of human resources, financial and institutional resources, lack instance promoting decentralization (Intergovernmental and intra-governmental) as well the weakness or absence of a network of local social services are also factors that explain the program management performance and state capabilities of arrangements formed by states and municipalities in the PBF, only to partially deal with the complexity of joints involving Implementation of the program with regard to inter and intra-governmental action.

Ativismo ministerial na implementação de políticas públicas

The research aims to analyze the reasons and the unique role of prosecutors in the promotion of public policies. The opening lines deal with the evolution and expansion of the general theory of the fundamental rights in the international and national levels and that have led to the creation of a welfare state concerned with carrying out positive actions which aim at the community well-being. Thus, it is clear that, after the uneven development of the Brazilian democracy, the Constitution of 1988 not only has erected to a state socially responsible, but also built a system of guarantees which highlights the significant expansion of the Powers of the Public Ministry and has now taken an outstanding position in regard to collective rights, allowing, at the same time, its members to perform the syndication of state actions, particularly public policies, correcting the course of these administrative processes in the presence of poor management and inactivity of the public administrator when acting in defense of fundamental rights. This ministerial activism, even facing the obstacles and boundaries submitted to its pursuit, has shown an increase in actions that culminated, in the last ten years, in a significant number of judicial and extrajudicial measures that indicated the correction of public policies and actions in areas of health, education, housing and the environment. In this process of monitoring and doing, the important role of the other social characters is highlighted, especially the one of the citizen who is responsible for most of the complaints that start the initiatives of the Public Ministry and that can be deployed through a significant list of judicial and extrajudicial instruments, especially the important procedure that allows the hearing and participation of the involved in the implementation of public policies, enabling a collective even a consensual solution of the matter generated among the Public Administration. Given these initiatives, the ministerial activism has established itself as a movement of its own characteristics, aimed to guarantee the fundamental rights, especially when these are not targeted by state actions that should contribute to the achievement of the democratic state of law idealized by the Federal Constitution without any distortion of direction. Nevertheless, this activism still seeks for its full accomplishment in the practical world

A política de formação inicial de professores e a implementação do componente curricular Prática Profissional na Licenciatura de Geografia do CEFET-RN

This work is a research about the policy of initial education of teachers made by the federal government, in the Brazilian educational view in the 1990 s. It is based on that the procedures to the initial education of teachers are in a much bigger context of the productive rearrangement and of the reconstruction of the State and they have in the international institutions, like the CEPAL, UNESCO and the World Bank, their main mediators. The dissertation aims to analyze the implementation of the policy of initial education of educators, having as empirical field the CEFET RN institution, and as reference the undergraduate course of Geography, more specifically the subject vocational practice. This study is advised by the theoretical and methodological fundamentals of the qualitative research, and it is being characterized by a case study. Among the methodological procedures which were used, some of them can be pointed out such as, the bibliographic research, the documental analysis, the application of questionnaires and the carrying out of interviews. The studies show up CEFETs and the Superior Education Institutes were considered by the Brazilian government suitable for the introduction of the initial education of vocational training, related to teaching, a proposed model by updated principles of international organizations. However, in the CEFET RN reality, although the difficulties listed by the teachers and students in the introduction of the subject vocational practice, the initial background in the undergraduate course of Geography got one point which is getting close to the teaching that is carried out in universities, privileging teaching, research and extension. For the people who have participated of researches, the subject vocational practice is relevant for the curriculum of teaching education because it makes the articulation between theory and practice possible, aspects considered essential ones for a teaching education of quality. Also, the studies show that one of the big obstacles faced in the introduction of the subject in question, was the lack of assistance to the students who are in a period of training and in the execution of research and extension projects caused by the insufficiency of educators to perform in the undergraduate course, as well as the lack of time of the teachers due to a large number of activities that they develop in their workplace (CEFET RN). This fact reveals the way how the policy of education of teachers came to educational institutions, imposed by MEC, without considering their structure conditions. Although the difficulties, the innovator character of the experience stood out, as in relation to the locus of education as because of being an educational model which involves theory and practice and the different kinds of knowledge, pretty necessary ones for the teaching education, as well as coming beyond a pragmatic education coherent with the immediate interests of the world of work

Implementação experimental de filtro ativo paralelo de potência com aplicação a gerador de indução trifásico

This work describes the experimental implementation of a shunt active power filter applied to a three-phase induction generator. The control strategy of active filter turned to the excitation control of the machine and to decrease the harmonics in the generator output current. Involved the implementation of a digital PWM switching, and was made a comparison of two techniques for obtaining the reference currents. The first technique is based on the synchronous dq reference method and the second on the theory of instantaneous power. The comparison is performed via simulation and experimental results. To obtain the experimental results, was mounted a bench trial and the control and communications needed were implemented using DSP - MS320F2812. The simulation results and experimental data proved the efficiency of the filter to apply, highlighting the technique of instantaneous power

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Modelos flexíveis de sobrevivência com fração de cura: implementação computacional

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)