Lógica por trás dos contratos sociais

Natural selection shapes body and behavior of each species. For primates, the social environment constituted one of the greatest selective pressure for the development of their cognition. When we consider gender differences, we see that sexual selection also operates through different selective pressures for men and women not only in physical terms but in terms of cognitive skills. Among these, the primary cognitive abilities - that emerge naturally - and secondary - that rely on an artificial environment for learning - develop differently for each sex, making them suitable for specific tasks in different capacities. Previous studies utilized the Wason Selection Test a conditional logic tool - to measure, among several other things, the ability to recognize violation of rules in abstract contexts and social contexts. Subjects generally had better performance in the latter, however, in these studies possible differences motivated by learning in formal logic or genre were not considered. Our study investigated these two variables, as well as the time spent to solve each task. Furthermore, we used an index to take into account the rights and wrongs of the participants in tasks. We realized that although learning in formal logic does not bring significant differences in solving tests, the gender differences are strongly observed when we consider the social contexts and abstract. Women perform better in social tasks. This can be explained due to different sexual selective pressures for this gender in terms of one-on-one relationships within the group. Men are better at tasks of abstract context and this is probably due to the same reason. Their capabilities for territory defense, habitat navigation and forming coalitions depends on primary cognitive abilities that support secondary cognitive skills of abstraction. Thus, gender differences are a factor to be taken into account in controlling future experiments with the same tool

O Processo de revisão do benefício de prestação continuada-BPC: uma lógica de exclusão ou inclusão social

This research comprises a study about the social assessment performed by the Social Worker in the review process of the Benefit of Continued Installment. The Benefit of Continued Installment was implemented in 1996 and guarantees a minimum salary to the deficiency person and to an elder with sixty five years or more and that proves not to have ways to support neither himself/herself nor his/her own family. It is a demand to include in the BPC that the maximum income of a family does not exceed ¼ of minimum salary and that every two years this benefit to be revised to evaluate its continuity based in its original conditions. This study was carried out in the municipality of Natal/RN, with thirteen social workers, being the collection of data performed through interviews and social assessments of the users that count with the benefit. The results show that the users selected by the criterion of the income, present a profile of poverty and deprivations demonstrated through several situations survived in its daily life, indicative of vulnerability. It was demonstrated that the Social workers has relative autonomy in the evaluations along with the users and that it denotes the necessity of inclusion. However, by following the imposed criteria, it corroborates with the logic of exclusion. So, it is identified in the Municipality of Natal/RN, following the orientation given the politics of social work at national level, the implementation of revision of the BPC, for the social workers, from rigorous processes of selection and exclusions

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

Contribuições para verificação automática de applets javacard

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

Experiências de inverno no seridó potiguar

The knowledge known as "winter experiences" has been developed for centuries among country people in the Brazilian Northeast hinterlands. It consists in the systematic observation of the nature to forecast and protect people against the effects of droughts. This knowledge is transmitted orally through generations. These experiences are guided by the observation of the behavior of fauna, flora, stars, the weather in the holy days and other very specific aspects of the lives of country people. Almost all country people living in the rural area know at least one experience, but the Prophets of Rain are known as the communicators of winter prophecies formulated from the observation of the experiences. The country person is identified as a Prophet of Rain because of his close relationship with nature and his ability to forecast. No matter if the prophecies are always right, he possesses a vital social role, as his practices contribute to prevent, ease and encourage other people. The main aim of this work is to analyze the role of the winter experiences for the country people in the Seridó Potiguar. In this sense, we sought to understand to what extent this knowledge still orients the productive practices of farmers living in this region and identify which factors instigate the observation of winter experiences nowadays. 241 questionnaires were applied to farmers in the rural cities of Acari, Caicó, Parelhas and Lagoa Nova and interviews were conducted with 15 Prophets in the Seridó. The methodological framework of this work is the analysis of content proposed by Bardin (2010). In this study area, the experiences exert influence and relevance to the country people in the Seridó, because they consider them as a way to ease their anguishes face the possible drought in the region. The major role of the Prophet is to feed the hope of country people for better days, rather than contribute for the organization of the productive activities. Among the interviewed people, the forecast from the observation of winter experiences have greater credibility than the meteorological and disseminated by media. The Prophets of Rain base their prophecies on the set of natural elements present in the environment. Many factors stimulate the winter experiences by the Prophets nowadays, as cultural transmission, age, relationship with nature, level of education, faith, among others, but specially the productive activities (agriculture and cattle raising) and the droughts. The winter means abundance and happiness in this region and the experience is one of the ways that people find to minimize the anxiety and, according to their possibilities, to prepare for a year of droughts or for winter

Sistema de numeração posicional e a lógica da divisão de inteiros

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

Das farinhadas à produção para o mercado: a dinâmica da atividade mandioqueira no agreste potiguar.

El Agreste Potiguar es el territorio de Rio Grande do Norte en que más se produce yuca. La formación de ese territorio asociase a la ganadería y al cultivo de algodón y de cultivos de autoconsumo, de entre los cuales, la yuca. En lo concerniente, específicamente al cultivo de la yuca, esa planta siempre ha sido sumamente importante para la subsistencia de los agrestinos , sobre todo, de los pobres. Hasta la década de 1980, la yuca era cultivada en pequeñas parcelas de tierra y era destinada a la fabricación de harina, que juntamente con el frijol, era la base de la alimentación de los trabajadores agrestinos. Además, era bastante útil para la producción de ración para el ganado. A partir de esa década, la actividad mandioquera (cultivo de la yuca con la transformación de ésta en harina y en otros derivados) desencadenada en el Agreste Potiguar empieza a pasar por un proceso de modernización, siendo implementadas transformaciones técnicas y en las relaciones de trabajo, bajo la lógica capitalista. Dentro de esa lógica, el cultivo de la yuca pasa a ser hecho con el uso de máquinas y de abonos químicos; la transformación en harina es actualmente realizada en manufacturas y en industrias de harina, que vienen siendo, cada vez más, marcadas por instrumentos técnicos movidos a electricidad, disminuyendo la necesidad de mano de obra; y la yuca no es más cultivada por los productores con el objetivo primordial de garantizar su subsistencia, pero sí con el de atender a la demanda por materia prima de las manufacturas y de las industrias de harina. De este modo, el objetivo del trabajo es comprender la dinámica de la actividad mandioquera en el Agreste Potiguar, considerando el uso pasado y actual del territorio, la modernización de esa actividad y su contribución al desarrollo del territorio en cuestión. Como procedimientos metodológicos, adoptamos la realización de investigaciones bibliográficas, empíricas (entrevistas y conversaciones) y el análisis de datos secundarios. Finalmente, sabiéndose que el proceso de modernización estudiado sigue la lógica capitalista, concluimos el trabajo afirmando que la modernización de la actividad mandioquera no viene contribuyendo al desarrollo territorial del Agreste Potiguar.

Circuitos espaciais de produção da atividade boneleira: o uso dos territórios de Caicó, Serra Negra do Norte e São José do Seridó

Cette étude a été fondée sur la reconaissance, la description et l'analyse du circuit spatial de la production de l activité des fabriques des casquettes dans la région du Seridó Potiguar. L activité des fabriques des casquettes est située dans les villes de Caicó, Serra Negra do Norte e São José do Seridó, qui forment le pôle de fabriques de casquettes, composé de soixante-quatre (64) unités de fabrication, le deuxième plus grand producteur de casquettes au Brésil. Dans la condition de base géographique, l'opérationnalisation du concept de circuits spatiales de la production a été essentielle à la compréhension de l'utilisation du territoire et de l'indivisibilité de l'espace, du fournisseur de matières premières au consommateur final, comprenant les étapes des matières premières, la main-d'oeuvre, le stockage, les transports, le commerce et la consommation dans la période actuelle, dans laquelle les instances de la production, la circulation, la distribution et de la consommation sont spatialement diffus. Sur la base de l'identification et de la localisation de ces étapes et des principaux acteurs impliqués dans la activité des fabriques de casquettes, une configuration de circuit spatial de la production a été élaborée, en s'interprétant l'utilisation des territoires par les instances productives. L'interprétation des étapes de production a identifié que les entreprises liées à l'Association Seridoense des Fabricants de Casquettes agissent plus efficacement sur le territoire que celles nonassociées, alors que toujours elles investissent dans des nouveaux équipements, en augmentant sa puissance technique pour se renforcer avant un marché si compétitif comme celui des casquettes. En examinant la contribution de la fabrication des casquettes à l'utilisation actuelle des territoires de la coupe, nous avons appris que les activités complémentaires et des matières premiéres nécessaires à sa réalisation se trouvent dans leur environnement géographique. Ainsi, la proximité spatiale entre les étapes de la fabrication des casquettes fait entrevoir la matérialité du territoire, conférée dans la coexistence des techniques passées et présentes, et l'ensemble des actions effectuées par un certain nombre de travailleurs sociaux qui collaborent à la création du circuit spatial de la production de l activité des fabriques des casquettes. Cette étude a confirmé que les fabriques des casquettes sont organisées sous la forme de cellules de production, continues ou discontinues, dont les équipements et les machines à coudre industrielles obéissent à la logique d'une production de plus en plus standardisée. Ce circuit spatial de la production contribue à l'utilisation actuelle des territoires de Caicó, Serra Negra do Norte et de São José do Seridó car il amplifie le mouvement du commerce et des relations entre les lieux, à travers la dynamique des flux des personnes, des biens et des produits, en constante circulation, guidées par la division du travail entre les étapes productives

O Circuito espacial de produção do biodiesel: configuração no território brasileiro e uso do território Norte-Rio-Grandense

This research aims to understand the use of the territory from the Rio Grande do Norte to the circuit spatial of production from the Biodiesel understanding it as part of the national context. The introduction of biodiesel into the Brazilian energy matrix begins to take shape in the year 2005 with the implementation of the National Program for Production and Use of Biodiesel (NPPB). This is anchored on three pillars: social inclusion (through family agriculture), environmental sustainability and economic viability. The NPPB consists of a set of standards, which turned into shares and distributed by almost all the national territory. Our reflection assumes that the places accommodating different forms of productive activities and, thus, the performance of the circuit space of biodiesel production depends on several factors, including the configuration of the territory they receive this new nexus economic. Understanding that the places by their technical content determine the realization of productive activities, it was found that the inclusion of this circuit space production in Rio Grande do Norte, reveals the reality expressed in the national territory, where some places are endowed with a privileged technical content and other extremely poor infrastructure. As our research could confirm the circuit space of biodiesel production that is expressed in the way plants are distributed within the country (mostly in South-Central), in more significant participation of small farmers in the South in the supply of raw material for the production of biodiesel and the main raw material used for the production of agrofuels (soybeans, whose production sector is highly consolidated and technified). Already the project materialization of NPPB regarding the settlements and communities of the Rio Grande do Norte State, we observed that the "event" or advent of realization encountered a technical means lacking in infrastructure that need to be molded to the needs of production, or is to cultivate castor beans or sunflower would be needed inputs and implements that farmers don´t have. Given the above, the research concludes that, as proposed previously, the use of the territory of Rio Grande do Norte to this circuit has summarized the performance of experiments, either with regard to the participation of family farmers as suppliers of raw materials, including the development of related research in the stage of production fuel oil by Petrobras. This finding came from research done from the concept of "spatial circuits of production," which allowed the verification of the circuit that steps outlined in Potiguar territory. Regarding the inclusion of family farmers in the productive circuit in RN, research reveals that, in the manner as has been done, it is doomed to failure. Furthermore, we dare say that this persistence in trying to put these family farmers, the way is being made, and the resulting successive failures, indicating that social inclusion advocated by NPPB not take place, and that this production circuit relies on the same logic circuit concentrated and exclusive space for ethanol production

Comparação entre folhas sombreadas de sete clones adultos de seringueira

Nas seringueiras, o substrato para a síntese do látex provém, em curto prazo, do processo fotossintético, realizado em sua maioria por folhas dos estratos sujeitos à radiação sub-saturante. Neste estudo, foram avaliados e comparados (1) os teores de pigmentos fotossintéticos (clorofilas a, b e carotenóides totais); (2) a espessura foliolar total e dos parênquimas clorofilianos; e (3) a área e peso da matéria seca foliar de folhas sombreadas, para seis clones de seringueira selecionados pelo Instituto Agronômico de Campinas (IAC), comparativamente ao tradicional clone RRIM 600. em média, os teores de clorofila total (a+b) e de carotenóides totais foram, respectivamente, de 3,14 e 1,04 mg g-1 de peso fresco, sempre superiores ou iguais ao da testemunha. A espessura foliolar média foi de 119,62 µm e mostrou grande variação entre os clones IAC, e destes quanto à testemunha. A área foliar média, de 219,17 cm², foi quase equivalente para todos os clones. A área foliar específica foi, em média, de 198,08 cm² g-1, e neste caso, o maior valor foi observado para o IAC 56, sendo os demais, inferiores ou equivalentes ao da testemunha. Os clones IAC 302 e IAC 303 mostraram-se estatisticamente similares ao RRIM 600 para todos os caracteres analisados, e uma relação com a produtividade foi sugerida para o clone IAC 303.

Interference of vaccinal antibodies on serological diagnosis of leptospirosis in vaccinated buffalo using two types of commercial vaccines

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Evolução e determinantes de incremento de peso (por altura e idade) em crianças de dois a 72 meses em Sorocaba, São Paulo: evidências a partir de estudo quase-experimental seriado.

OBJETIVOS: recupera-se síntese dos principais aspectos das publicações referentes a projeto conduzido pela equipe, na década passada, com o objetivo de subsidiar a avaliação de política pública setorial de suplementação alimentar na infância. MÉTODOS: acompanharam-se trimestralmente, durante um ano, indicadores de crescimento e desenvolvimento em populações periféricas de dois a 72 meses de idade, em Sorocaba, São Paulo. Após realização do censo infantil de duas regiões da cidade, as crianças freqüentes a creches (em número de 164) foram comparadas às demais (280). O impacto nutricional foi quantificado através de análises univariadas (testes inferenciais Kappa e de Goodman) e multivariadas. Vieses e confundimento foram averiguados e controlados. RESULTADOS: observou-se, entre muitas outras informações obtidas, que o grupo assistido apresentou: 1) idade média superior; 2) menor taxa de aleitamento natural; 3) menores valores de peso/altura à admissão, com maiores ganhos durante a evolução; 4) essa melhora aumentou com a duração da exposição e foi maior entre os mais velhos. CONCLUSÕES: avalia-se que assistir apropriadamente pré-escolares constitui hoje, em nosso meio, relevante imperativo de ordem social.

Zooplankton fluctuations in Jurumirim Reservoir (São Paulo, Brazil): a three-year study

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Efeitos da cultura da cevada e de períodos de controle sobre o crescimento e produção de sementes de Raphanus sativus L.

Este experimento teve por objetivo avaliar os efeitos da cultura da cevada e de períodos de controle das plantas daninhas sobre o crescimento e produção de sementes de Raphanus sativus. Foram considerados dois tratamentos testemunha sem controle das plantas daninhas, com e sem a cultura. Nos oito demais tratamentos, a cultura esteve sempre presente, controlando-se as plantas daninhas até 10, 20, 30, 40, 50, 60, 80 e 100 dias após a emergência da cevada. A comunidade infestante da área era composta quase exclusivamente por R. .sativus. Avaliou-se o número de plantas, acúmulos de matéria seca, número médio de frutos e sementes de nabiça por planta e por unidade de área ; foram ainda avaliados o número médio de sementes por fruto, peso médio de 1.000 sementes e a contribuição das sementes na composição da matéria se catota. A análise dos resultados evidenciou que a espécie Raphanus sativus apresenta elevado potencial reprodutivo, sendo possível concluir pela ineficiência de programas de controle de curta duração, em termos de redução do banco de sementes. A presença da cultura da cevada reduziu tanto o crescimento quanto o número de sementes produzidas pela nabiça (R. sativus). Na ausência da cultura e de práticas de controle foram produzidas 5.074 sementes/m, a partir de 125 plantas/m ainda presentes na colheita da cultura.

Raptors and campo-cerrado bird mixed flock led by Cypsnagra Hirundinacea (Emberizidae:Thraupinae)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)