Colonos, agricultores familiares e pluriatividade : um estudo de caso no município de David Canabarro e na microrregião do Alto Taquari/RS

Este trabalho aborda as estratégias de reprodução da agricultura familiar do município de David Canabarro e da microrregião do Alto Taquari. O principio metodológico que o norteia está assentado na técnica do “estudo de caso”. O estudo de caso é recurso metodológico pelo qual procura-se estudar uma determinada realidade exaustivamente a fim de se obter o máximo de informações possíveis. Trata-se de um estudo empírico que investiga um fenômeno mediante a utilização de várias fontes de evidências, tanto qualitativas quanto quantitativas. A partir dessas técnicas procura-se verificar a origem da agricultura familiar no Alto Taquari. Os colonos italianos assentados na região Nordeste do Rio Grande do Sul estabeleceram um sistema produtivo e um modo de vida colonial, com um sistema produtivo semiautônomo e uma forma de sociabilidade caracterizada pela existência de relações de reciprocidade e solidariedade em nível de comunidade. Durante meio século, a reprodução desse sistema esteve relacionada às migrações dos filhos dos colonos para as zonas de fronteira agrícola, primeiro no norte do estado e, posteriormente, para o Oeste de Santa Catarina e Sudoeste do Paraná Na medida em que a fronteira de expansão foi se restringindo, o sistema produtivo colonial entrou em crise. Esta crise implica no aumento da pressão demográfica, intensificação do uso do solo e redirecionamento das migrações para os centros urbanos. Paralelamente, a partir de meados da década de 1960, os agricultores vão se inserindo em sistemas agrícolas cada vez mais intensivos na utilização de insumos industriais. Nesse período, a relativa autonomia dos agricultores vai perdendo espaço para sistemas produtivos crescentemente mercantilizados. Todavia, a partir de meados da década de 1980, o cultivo da soja entra em crise, tendo como principal causa a emergência de um cenário desfavorável à sua produção, devido à baixa valorização do produto e ao crescente aumento nos custos. A partir de então, muitos agricultores passam a se dedicar a diferentes atividades, tanto na agricultura como fora dela. A produção de frangos, fumo, suínos e leite, são as principais estratégias de reprodução ligadas à agricultura. A extração de basalto, a costura de bolas de futebol no próprio domicílio e o trabalho em fábricas de calçados são as principais estratégias não-agrícolas. O desenvolvimento das novas atividades leva os agricultores a uma diferenciação social, todavia, a mercantilização não implicou na proletarização dos agricultores, mas no aparecimento de novas estratégias sociais de reprodução. Nesse sentido, acredita-se que a principal contribuição desta dissertação ao estudo da agricultura familiar e da pluriatividade consista na revelação de novas atividades, como a extração do basalto e a confecção de bolas de futebol a domicílio, bem como do local em que estes processos estão se desenvolvendo.

David Copperfield e O apanhador no campo de centeio na perspectiva do romance de formação

O romance de formação é emblemático do Século das Luzes. Surgido na Europa do século XVIII, o subgênero teve seu apogeu neste e no século XIX, confundindo seu período de maturidade com boa parte da vida do romance moderno antes que o gênero começasse a ser desconstruído. Com o foco centrado no desenvolvimento da vida do protagonista e sua consciente adaptação ao mundo burguês, o Bildungsroman tomou formas semelhantes em vários países — inclusive na poderosa Inglaterra de então. Com seu legado de otimismo humanista, influencia (positiva ou negativamente) toda a literatura posterior. David Copperfield, de Charles Dickens, é um dos mais conhecidos clássicos romances de formação ingleses, surgindo como referência explícita no romance pós-Segunda Guerra Mundial O apanhador no campo de centeio, do norte-americano J.D. Salinger. Através da análise do desenvolvimento pessoal e da formação dos protagonistas desses dois romances buscaremos ver as mudanças sofridas, de meados do século XIX a meados do século XX, pelo processo de inserção do indivíduo na realidade coletiva. Deste modo pode-se lançar uma reflexão sobre de onde veio e como é o jeito de o ser humano ver a si mesmo como aprendiz.

Entrevista com David Malone

David Malone, presidente do International Development Research Center - IDRC/Canada.

Luto, admiração e política no tributo das redes sociais a David Bowie

A notícia da morte do músico inglês David Bowie, em 10 de janeiro, repercutiu internacionalmente em homenagens e lamentos. As redes sociais transformaram-se, na manhã de segunda-feira, 11 de janeiro, em um espaço online de culto ao celebrado artista, vítima de câncer aos 69 anos, e ao longo da semana o adeus a Bowie se manteve pulsante no mundo inteiro. No Twitter, os tributos ao astro emanaram de diversos países, desde colegas artistas até líderes políticos, numa comprovação de que sua criação artística e influência perpassaram diferentes gerações e culturas. Afinal, Bowie foi capaz de fundir distintas tendências e elementos sonoros, comportamentais e visuais em um sincretismo sensível continuamente inovador.

Clássicos versus Keynes: a abordagem formal de David Champernowne

Este texto tem por objetivo ressaltar um aspecto que não tem sido tratado com a devida profundidade na literatura que estuda a formalização da Teoria Geral do Emprego, dos Juros e da Moeda de John Maynard Keynes (1936). Mais precisamente, o texto destaca a estratégia de formalização adotada por David G. Champernowne em seu artigo intitulado Unemployment, Basic and Monetary: the classical analysis and the keynesian, publicado em 1935-36 na Review of Economic Studies. Chamamos a atenção para o fato dele distinguir a teoria clássica da teoria de Keynes não apenas pelos pressupostos adotados por cada teoria, mas principalmente pela construção de subsistemas a partir de um sistema geral, com características recursivas (relações de causalidade) distintas. As explicações em prosa, a descrição algébrica das funções comportamentais e condições de equilíbrio e a ilustração por meio de diagramas, além da escolha de conjuntos específicos de variáveis para representar cada uma das teorias e suas diferentes versões são aspectos deste artigo de Champernowne que merecem uma análise mais minuciosa.

The Genome Sequence of Taurine Cattle: A Window to Ruminant Biology and Evolution

To understand the biology and evolution of ruminants, the cattle genome was sequenced to about sevenfold coverage. The cattle genome contains a minimum of 22,000 genes, with a core set of 14,345 orthologs shared among seven mammalian species of which 1217 are absent or undetected in noneutherian (marsupial or monotreme) genomes. Cattle-specific evolutionary breakpoint regions in chromosomes have a higher density of segmental duplications, enrichment of repetitive elements, and species-specific variations in genes associated with lactation and immune responsiveness. Genes involved in metabolism are generally highly conserved, although five metabolic genes are deleted or extensively diverged from their human orthologs. The cattle genome sequence thus provides a resource for understanding mammalian evolution and accelerating livestock genetic improvement for milk and meat production.

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

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