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

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Características bioativas, funcionais e efeito protetor do resíduo desidratado de camu-camu (Myrciaria dubia H.B.K. (McVaugh)) sobre doenças degenerativas utilizando modelos in vivo C. elegans

Camu-camu (Myrciaria dubia H.B.K. (McVaugh)) is a native Amazon fruit, recognized worldwide as one of the main natural sources of ascorbic acid. Due to its great acidity, this fruit is generally consumed after processing into juice or as ingredient in food preparations. As a co-product of the camu-camu processing, a significant amount of agroindustrial residue is generated. Despite the studies showing the bioactive value and biological potential of the fruit, few studies have approached the possible processing techniques, transformation and preservation of camu-camu fruits and its agroindustrial pomace. Therefore, the present work has the objective of evaluating two different drying processes applied to camu-camu pomace (peel and seeds with residual pulp), freeze drying and hot air drying, in order to obtain a functional fruit product. This thesis was divided into three stages: the first one shows the studies related to the freeze drying and hot air drying, where we demonstrated the impact of the selected drying techniques on the bioactive components of camu-camu, taking the fresh pomace as the control group. Among the investigated conditions, the groups obtained at 50ºC and 4 m/s (SC50) and 80ºC and 6 m/s (SC80) were selected as for further studies, based on their ascorbic acid final content and Folin-Ciocalteau reducing capacity. In addition to SC50 and SC80, the fresh pomace (RF) and freeze dried (RL) samples were also evaluated in these further stages of the research. Overall, the results show higher bioactive concentration in the RF samples, followed by RL, SC50 and SC80. On the second step of the research, the antioxidant, antimicrobial and antienzymatic activities were evaluated and the same tendency was observed. It was also reported, for the first time in the literature, the presence of syringic acid in dried camu-camu pomace. In the third and final stage of the research, it was investigated the effect of dried camu-camu on aging and neuroprotective disorders, using the in vivo model C.elegans. It was observed that camu-camu extracts were able to modulate important signaling genes relevant to thermal and oxidative stresses (p < 0.05). The polar acid, polar basic and polar neutral fractions obtained from the low molecular extracts of SC50 were able to extend the lifespan of wild type N2 C. elegans in 20% and 13% (p < 0.001). Results also showed that the paralysis induced by the β1-42 amyloid was significantly (p < 0.0001) retarded in CL4176 worms. Similarly, the camu-camu extracts attenuated the dopaminergic induction associated to Parkinson’s disease. Finally, a global analysis of the data presented here reveal that the camu-camu pomace, a co-product obtained from the industrial processing of a native Brazilian fruit, is a relevant natural source of health relevant compounds. This thesis, shows for the first time, the multifunctionality of camu-camu pomace, a natural resource still underexploited for scientific, commercial and technological purposes.