Utilização da lógica difusa no controle inteligente de sistemas eletro-hidráulicos

Electro-hydraulic servo-systems are widely employed in industrial applications such as robotic manipulators, active suspensions, precision machine tools and aerospace systems. They provide many advantages over electric motors, including high force to weight ratio, fast response time and compact size. However, precise control of electro-hydraulic systems, due to their inherent nonlinear characteristics, cannot be easily obtained with conventional linear controllers. Most flow control valves can also exhibit some hard nonlinearities such as deadzone due to valve spool overlap on the passage´s orifice of the fluid. This work describes the development of a nonlinear controller based on the feedback linearization method and including a fuzzy compensation scheme for an electro-hydraulic actuated system with unknown dead-band. Numerical results are presented in order to demonstrate the control system performance

O riso irônico na obra poética de Cruz e Sousa

This work brings up a review on the poetic works of Cruz e Sousa, a nineteenth-century Brazilian poet. Laughter has been chosen as an analytical category, because it is a pertinent theme which makes possible a more accurate comprehension of the lyric content of Cruz e Sousa s poetic works. The laughter manifested in his verses is seen as a mechanism which compensates both normativeness and seriousness, as well as turns inside out whatever society establishes as being natural or an absolute truth. Amongst his poems, we will focus on the ones which express their lyric nature both through laughter and irony, since these elements serve as a means to criticize the Brazilian society in the late nineteenth-century and early twentieth-century. This study is guided by theories of laughter proposed by Minois (2003), Bakhtin (1993), Bergson (2007), as well as Adorno s (2003) and Antonio Candido s (2010) theoretical assumptions concerning lyric poetry and society

A dupla poética do silêncio: uma análise de Fogo morto e Cartilha do silêncio.

This research presents a reading of the poetics of silence in the profile and actions of characters in Fogo morto, by Paraiba s novelist José Lins do Rego and Cartilha do silêncio, by Sergipe s writer José Francisco Costa Dantas. As a starting point, we intend to demonstrate, through analysis, how the traditional issue of patriarchy, installed in rural areas of Northeast Brazil, live their momentum of rise and decline in different social spaces within narratives. This article shows how man lives tensions caused by the socio-political changes that will gradually be deployed in their environment due to the process of transition from traditional to modern life. From this perspective, this reading encourages a critical reflection on the social space of the mills and farms at the time of their rise and decay, as well as the various gender relationships between the feminine and the masculine world. The analysis indicates that all the changes both in family and social space unfold a world of silent variants and this paper takes as its theoretical basis the concept of silence built from the reflections of Eni Puccinelli Orlandi (2002), Barros Lourival Holland (1990 ), Luiz Costa Lima (1974) and Marisa Simons (1999).

Lógica condicional

The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional proposals of conditional formalization (Lewis 1973c e Adams 1975). These proposals were responsible for the creation of a way of analysis that still present in the current debate about this subject. This work pursues to explain the principal assumptions held within these proposals. According to certain disambiguation techniques from Bennett (2003) and Lycan (2005), this work tries to explicit how these assumptions connect to the aims sought by the initial approaches. The following results show that there is a not declared presumption, the definition of the object of study of these theories, i.e., the definition of conditional sentence. This work argues that despite of not explicitly declared the definition of the study object has a central role in the intelligibility of the debate itself

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

O princípio metafísico da poética de Aristóteles

Aristotle's definition of tragedy indicates a metaphysical project insinuated by a notion of kátharsis. The reconstruction of Aristotle's method of definition is inspired in the concepts of enérgeia and dýnamis taken from Physics, understanding cause as substance. The Doctrine of the Four Causes is the theoretical basis of the definition of tragedy, placing tragedy in the genre of imitation and distinguishing its species: language (material cause), noble and complete action (formal cause), actors (efficient cause) and kátharsis (temporarily identified with the final cause). Nevertheless, there is no final cause in the definition of tragedy. The kátharsis of passions is experienced by the spectator when he witnesses tragedy, which is the imitation of a noble action, executed by actors and not narrated. Aristotle justifies hid proposition in favor of mimesis by assuming that imitation is natural to man since infancy and the view of objects allows whoever contemplates them to identify and learn the originals. As a metaphysical principle, kátharsis is projected to beyond definition of tragedy, where it is manifested cathartically, in the spectator. Research about the spectator brings one back to the definition of tragedy, where the imitation is an imperfect copy which evokes in the spectator the presence of the originals of the imitated sentiments, thus realizing the kátharsis of these emotions. In this way kátharsis reveals itself as selfknowledge and approach of divine truth and perfections.

A escrita do tempo e a poética do espaço:história e espaço no livro Geografia do Brasil Holandês de Luís da Câmara Cascudo

In 1956, Luís da Câmara Cascudo published his book Geografia do Brasil Holandês. In this book, he studied and described a space - the Dutch Brazil - from a geographical and historical perspective. To do this, he articulated both perspectives from the point of view of his own reading of the History of Nordeste , establishing a dialogue with the historiographical tradition of the study of the Dutch Brazil in Pernambuco. When portraying the Dutch presence in Nordeste, Cascudo articulated a drama in which the Dutch would have their history described as a typically tragic plot, portrayed as if they were already condemned to failure in advance. To this tragedy he opposed a predominantly comic Portuguese plot, as if the Portuguese victory over the Dutch was as desirable as inevitable for the space of Nordeste . When narrating the clash between the Dutch and the Portuguese for the space of Nordeste , however, Cascudo ended up delineating his own place of speech, as a spokesperson for the identity of the potiguar space in opposition to the pernabucano space described by Freyre and Gonsalves de Mello. In this way, the space of Rio Grande do Norte would have its own identity, constructed from de Dutch absence and constituted from the Portuguese legacy contrarily to the space of Pernambuco, narrated from an articulation and a conciliation of the Flemish and Lusitan legacy, even though highlighting the latter. While the Dutch would had been a constant presence in the history of Pernambuco for Freyre and Gonsalves de Mello, they wouldn t have gone beyond legend in the space of Rio Grande do Norte, removed from its geography and erased from its history. When describing de geography of the potiguar space, therefore, Cascudo articulates the inexistence of the History of a time dominated by the Fleming with the search of a Portuguese space, trough the narration of its origins and constitution, as well as the registry of the characteristics of its legacy

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]

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

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

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic