Cara e coroa: O PRONAF B e os impactos na ocupação rural do município de Ceará-Mirim

The present work deals with study on the National Program of Reinforcement of Familiar Agriculture, Group B, referring it offers of agricultural credit the agriculturists who possess familiar prescription until R$ 2,000, 00, and its impact in the agricultural occupation of the city of Ceará-Mirim. From theoretical referencial regarding the agricultural occupation, it collects of data, application of questionnaires between the beneficiaries of PRONAF B and interviews with the involved actors, it was made possible ascertainment of the hypothesis of that the program in this modality of credit, is capable to provide only to the maintenance or diversification of the occupation in the familiar unit and not it generation of remunerated occupation not familiar. This research disclosed to the diverse possibilities of use of the credit and its impact in the agricultural occupation, exactly when it is deviated for other purposes not waked up next to the financial institution, generating impacts not waited, however positive. When destined to the waked up end, still new forms appear of way occupation to complement it the deriving familiar prescription of the main activity. Unable to discard the rise even though very small and informal, non-family gainful occupation. The knowledge is added of that exactly ahead of the easinesses of access to the social base of the program, many familiar agriculturists still find difficulties in the approval of the which had credit, on the other hand, the requirements of the financial institutions

Identidade rural e agricultura familiar :O Pronaf B sob a ótica dos beneficiados

This work has for objective to analyze the perception of benefited of Pronaf B Programa Nacional de Fortalecimento da Agricultura Familiar, in relation to the results that are presented concerning this program. For this, it is presented hypothesis of that the familiar agriculturists, fit in the norms of credit of Pronaf B, have a peculiar perception on the end item of this program, produced from inherent characteristics to the agricultural reality where they live. Ahead of this, I broke myself of estimated of that the searched familiar agriculturists are more socially vulnerable to the inaqualities the agricultural areas. For this research, they had been used, mainly, theoretical reflections of studious of the campesinato, familiar agriculture and of researchers of the impacts of Pronaf B in the agricultural way. The empirical data of the research had been gotten, through the application of questionnaires with the benefited ones and interviews with the mediators of this program in the two searched cities, Apodi and Antônio Martins, in the Rio Grande do Norte, who proportionally withholds the biggest contract number of Pronaf B in the state. The conclusion of the research ratifies the initial hypothesis of that the perception on the results of Pronaf B for benefited its is peculiar, and points stops beyond the economic results, such as: the rise of auto-esteem; the rescue of the citizenship feeling and as impact in autoconsumo of the families of the agriculturists benefited for Pronaf B

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Gravitomagnetismo e o teste da sonda gravidade B

The so-called gravitomagnetic field arised as an old conjecture that currents of matter (no charges) would produce gravitational effects similar to those produced by electric currents in electromagnetism. Hans Thirring in 1918, using the weak field approximation to the Einsteins field equations, deduced that a slowly rotating massive shell drags the inertial frames in the direction of its rotation. In the same year, Joseph Lense applied to astronomy the calculations of Thirring. Later, that effect came to be known as the Lense- Thirring effect. Along with the de Sitter effect, those phenomena were recently tested by a gyroscope in orbit around the Earth, as proposed by George E. Pugh in 1959 and Leonard I. Schiff in 1960. In this dissertation, we study the gravitational effects associated with the rotation of massive bodies in the light of the Einsteins General Theory of Relativity. With that finality, we develop the weak field approximation to General Relativity and obtain the various associated gravitational effects: gravitomagnetic time-delay, de Sitter effect (geodesic precession) and the Lense-Thirring effect (drag of inertial frames). We discus the measures of the Lense-Thirring effect done by LAGEOS Satellite (Laser Geodynamics Satellite) and the Gravity Probe B - GPB - mission. The GPB satellite was launched into orbit around the Earth at an altitude of 642 km by NASA in 2004. Results presented in May 2011 clearly show the existence of the Lense-Thirring effect- a drag of inertial frames of 37:2 7:2 mas/year (mas = milliarcsec)- and de Sitter effect - a geodesic precession of 6; 601:8 18:3 mas/year- measured with an accuracy of 19 % and of 0.28 % respectively (1 mas = 4:84810��9 radian). These results are in a good agreement with the General Relativity predictions of 41 mas/year for the Lense-Thirring effect and 6,606.1 mas/year for the de Sitter effect.