Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense

Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the logic of the nonsense as an element to motivate the development of mathematical thinking of the reader, taking it as well, learn by establishing a link between the concrete (mathematics) and the imaginary (their universe). In order to investigate and discuss the educational potential of their works and state some elements that can contribute to a decentralized math education from the traditional method of following the models and decorate formulas, we visited his works based on the studies of archeology of knowledge (FOUCAULT, 2007), the rational thought and symbolic thinking (VERGANI, 2003) and about the importance of stories and narratives to the development of human cognition (FARIAS, 2006). Through a descriptive, analytical study, we used the literary construction and presented part of our study in form of a mathematical novel, to give the mathematical school a particular charm, without depriving it of its basics properties as discipline and content. Our study showed how the works of Carroll have a strong didactic element that can deploy in various activities of study and teaching for mathematics classes

O processo avaliativo institucional de desempenho do sistema público municipal de Teresina-PI (2001 a 2005): entre a lógica da excelência e a lógica da aprendizagem

This work focalize the institutional and educational evaluation, aiming to investigate the Municipal System Institutional Evaluation Performance of Teresina City Piauí (2001-2005), and to reflect about Institutional System Performance and its contribution to compose a new learning evaluation practice. In this sense, classifies elements about the evaluation practice in two Elementary Education municipal public schools, involving Education Municipal Bureau technicians as managers, pedagogues, teachers and students. Based on the ethnographic studies principles in the educational area, the work employs investigative procedures like document analysis, interviews with groups and individuals and also participator s comments. Intending to comprehend the complexity produced by the institutional and education evaluation processes, the wok reveals the Institutional Evaluation legal and educational political basis and the several positions assumed by the Learning Evaluation, as a classification tool or as a learning enhancement. This work points, as results, to a evaluation culture bipolarity carried out by the Municipal Education System as a explicit control and regulation toll, related to the classification and learning in a interaction process that operates both in the pressure and the reflection, as a culture practice established between excellence of logic and learning. The evaluation history has been construct on the evaluation actions dialectics, joint simultaneously between the Institutional Evaluation Performance and the learning evaluation. The senses, meanings and actions bipolarity is a interaction process product sustained between the institutional evaluation, under the scholar ranking application, and the learning evaluation. In this relativity, the teacher evaluation practice is found, ruled by interesting, thoughts and actions on the school evaluation, allowing a higher security and support to the learning results. Grounded in the researched reality, its possible to say that the teacher s evaluation practice is diversified, with different characteristics, when it is done in the learning search and in the learning intention. In the first case, reflects, rearranges and constructs new actions that lead the student to produce learning. In the second, shows the will, the wish of learning, but is a weak action, producing a not really significant learning and development; as a result, remains the mark approach as a determinant in the student future. The work s hope is to contribute not just to rethink these two evaluations dimensions the institutional and the learning ones but also to organize the school and to improve the pedagogic process

Redução de danos e o saber-fazer de profissionais de um CAPS ad em Natal-RN

The present study had as a main objective to analyze how the professionals at a CAPS ad unit in Natal-RN conceive the knowledge-practice process with regard to the Harm Reduction Policy (HRP) towards alcohol and other drugs. For the accomplishment of this proposal, it was intended: 1) Verifying the possibilities and limits of the HRP implementation at a CAPS ad unit in Natal-RN; 2) Relating the professionals knowledge at a CAPS ad unit in Natal in regard to the Harm Reduction Policy; 3) Enumerating the HRP programmatic actions at the institution. The research had exploratory, descriptive and qualitative approach aspects, guided by the concepts of biopower and self care proposed by Michel Foucault. Data collection occurred in June and July 2011, in which the focal group technique was used. After that, collect field material was analyzed through the content analysis method proposed by Minayo. The results showed some conceptual and practical approach between the harm reduction strategy and the knowledge-practice of the professionals at this CAPS ad unit. The discursive models about drug usage, especially the moral-legal model, still have a significant role in the daily lives of these professionals, being amplified by some demands of their jobs or even through the instituted discourse. The individuals recognize the need for less prohibited practices and more socializing ones, identifying them with the Harm Reduction (HR) logic, when there is a coherent and well-founded understanding about HR among the professionals. Distorted and reductionist views about HR as considering the simple instrumental function of this strategy (distribution of basic supplies) among the professionals, represent one of the main barriers for its implementation. There are few programmatic activities that are related to the RD strategy at this CAPS ad unit which makes a more effective appropriation by the working team difficult to reach. The working processes and the postures adopted by this CAP ad unit professionals have been showing that many of their practices and conceptions were modified to the detriment of new necessities emerged from the demands. Consequently, the self care notion is revealed which brings the need for the valorization of these care agents roles, that is, their collective and individual contribution.

Análise e síntese de antenas e superfícies seletivas de frequência utilizando computação evolucionária e inteligência de enxames

The frequency selective surfaces, or FSS (Frequency Selective Surfaces), are structures consisting of periodic arrays of conductive elements, called patches, which are usually very thin and they are printed on dielectric layers, or by openings perforated on very thin metallic surfaces, for applications in bands of microwave and millimeter waves. These structures are often used in aircraft, missiles, satellites, radomes, antennae reflector, high gain antennas and microwave ovens, for example. The use of these structures has as main objective filter frequency bands that can be broadcast or rejection, depending on the specificity of the required application. In turn, the modern communication systems such as GSM (Global System for Mobile Communications), RFID (Radio Frequency Identification), Bluetooth, Wi-Fi and WiMAX, whose services are highly demanded by society, have required the development of antennas having, as its main features, and low cost profile, and reduced dimensions and weight. In this context, the microstrip antenna is presented as an excellent choice for communications systems today, because (in addition to meeting the requirements mentioned intrinsically) planar structures are easy to manufacture and integration with other components in microwave circuits. Consequently, the analysis and synthesis of these devices mainly, due to the high possibility of shapes, size and frequency of its elements has been carried out by full-wave models, such as the finite element method, the method of moments and finite difference time domain. However, these methods require an accurate despite great computational effort. In this context, computational intelligence (CI) has been used successfully in the design and optimization of microwave planar structures, as an auxiliary tool and very appropriate, given the complexity of the geometry of the antennas and the FSS considered. The computational intelligence is inspired by natural phenomena such as learning, perception and decision, using techniques such as artificial neural networks, fuzzy logic, fractal geometry and evolutionary computation. This work makes a study of application of computational intelligence using meta-heuristics such as genetic algorithms and swarm intelligence optimization of antennas and frequency selective surfaces. Genetic algorithms are computational search methods based on the theory of natural selection proposed by Darwin and genetics used to solve complex problems, eg, problems where the search space grows with the size of the problem. The particle swarm optimization characteristics including the use of intelligence collectively being applied to optimization problems in many areas of research. The main objective of this work is the use of computational intelligence, the analysis and synthesis of antennas and FSS. We considered the structures of a microstrip planar monopole, ring type, and a cross-dipole FSS. We developed algorithms and optimization results obtained for optimized geometries of antennas and FSS considered. To validate results were designed, constructed and measured several prototypes. The measured results showed excellent agreement with the simulated. Moreover, the results obtained in this study were compared to those simulated using a commercial software has been also observed an excellent agreement. Specifically, the efficiency of techniques used were CI evidenced by simulated and measured, aiming at optimizing the bandwidth of an antenna for wideband operation or UWB (Ultra Wideband), using a genetic algorithm and optimizing the bandwidth, by specifying the length of the air gap between two frequency selective surfaces, using an optimization algorithm particle swarm

Algoritmos genéticos: uso de lógica nebulosa e análise de convergência por cadeia de Markov

In this work, the Markov chain will be the tool used in the modeling and analysis of convergence of the genetic algorithm, both the standard version as for the other versions that allows the genetic algorithm. In addition, we intend to compare the performance of the standard version with the fuzzy version, believing that this version gives the genetic algorithm a great ability to find a global optimum, own the global optimization algorithms. The choice of this algorithm is due to the fact that it has become, over the past thirty yares, one of the more importan tool used to find a solution of de optimization problem. This choice is due to its effectiveness in finding a good quality solution to the problem, considering that the knowledge of a good quality solution becomes acceptable given that there may not be another algorithm able to get the optimal solution for many of these problems. However, this algorithm can be set, taking into account, that it is not only dependent on how the problem is represented as but also some of the operators are defined, to the standard version of this, when the parameters are kept fixed, to their versions with variables parameters. Therefore to achieve good performance with the aforementioned algorithm is necessary that it has an adequate criterion in the choice of its parameters, especially the rate of mutation and crossover rate or even the size of the population. It is important to remember that those implementations in which parameters are kept fixed throughout the execution, the modeling algorithm by Markov chain results in a homogeneous chain and when it allows the variation of parameters during the execution, the Markov chain that models becomes be non - homogeneous. Therefore, in an attempt to improve the algorithm performance, few studies have tried to make the setting of the parameters through strategies that capture the intrinsic characteristics of the problem. These characteristics are extracted from the present state of execution, in order to identify and preserve a pattern related to a solution of good quality and at the same time that standard discarding of low quality. Strategies for feature extraction can either use precise techniques as fuzzy techniques, in the latter case being made through a fuzzy controller. A Markov chain is used for modeling and convergence analysis of the algorithm, both in its standard version as for the other. In order to evaluate the performance of a non-homogeneous algorithm tests will be applied to compare the standard fuzzy algorithm with the genetic algorithm, and the rate of change adjusted by a fuzzy controller. To do so, pick up optimization problems whose number of solutions varies exponentially with the number of variables

Automação da detecção de fraudes em sistemas de medição de energia elétrica utilizando lógica fuzzy em ambiente SCADA

This works presents a proposal to make automatic the identification of energy thefts in the meter systems through Fuzzy Logic and supervisory like SCADA. The solution we find by to collect datas from meters at customers units: voltage, current, power demand, angles conditions of phasors diagrams of voltages and currents, and taking these datas by fuzzy logic with expert knowledge into a fuzzy system. The parameters collected are computed by fuzzy logic, in engineering alghorithm, and the output shows to user if the customer researched may be consuming electrical energy without to pay for it, and these feedbacks have its own membership grades. The value of this solution is a need for reduce the losses that already sets more than twenty per cent. In such a way that it is an expert system that looks for decision make with assertivity, and it looks forward to find which problems there are on site and then it wont happen problems of relationship among the utility and the customer unit. The database of an electrical company was utilized and the datas from it were worked by the fuzzy proposal and algorithm developed and the result was confirmed

Lógica Fuzzy para Controle de pH em um Processo Petrolífero

This work proposes the design, the performance evaluation and a methodology for tuning the initial MFs parameters of output of a function based Takagi-Sugeno-Kang Fuzzy-PI controller to neutralize the pH in a stirred-tank reactor. The controller is designed to perform pH neutralization of industrial plants, mainly in units found in oil refineries where it is strongly required to mitigate uncertainties and nonlinearities. In addition, it adjusts the changes in pH regulating process, avoiding or reducing the need for retuning to maintain the desired performance. Based on the Hammerstein model, the system emulates a real plant that fits the changes in pH neutralization process of avoiding or reducing the need to retune. The controller performance is evaluated by overshoots, stabilization times, indices Integral of the Absolute Error (IAE) and Integral of the Absolute Value of the Error-weighted Time (ITAE), and using a metric developed by that takes into account both the error information and the control signal. The Fuzzy-PI controller is compared with PI and gain schedule PI controllers previously used in the testing plant, whose results can be found in the literature.

Sistema automatizado para o aproveitamento de água cinza e azul, com controle de PH utilizando lógica fuzzy

Every day, water scarcity becomes a more serious problem and, directly affects global society. Studies are directed in order to raise awareness of the rational use of this natural asset that is essential to our survival. Only 0.007% of the water available in the world have easy access and can be consumed by humans, it can be found in rivers, lakes, etc... To better take advantage of the water used in homes and small businesses, reuse projects are often implemented, resulting in savings for customers of water utilities. The reuse projects involve several areas of engineering, like Environmental, Chemical, Electrical and Computer Engineering. The last two are responsible for the control of the process, which aims to make gray water (soapy water), and clear blue water (rain water), ideal for consumption, or for use in watering gardens, flushing, among others applications. Water has several features that should be taken into consideration when it comes to working its reuse. Some of the features are, turbidity, temperature, electrical conductivity and, pH. In this document there is a proposal to control the pH (potential Hydrogen) through a microcontroller, using the fuzzy logic as strategy of control. The controller was developed in the fuzzy toolbox of Matlab®

Sistema para detecção e diagnóstico de falhas em motores elétricos de indução utilizando lógica fuzzy

Induction motors are one of the most important equipment of modern industry. However, in many situations, are subject to inadequate conditions as high temperatures and pressures, load variations and constant vibrations, for example. Such conditions, leaving them more susceptible to failures, either external or internal in nature, unwanted in the industrial process. In this context, predictive maintenance plays an important role, where the detection and diagnosis of faults in a timely manner enables the increase of time of the engine and the possibiity of reducing costs, caused mainly by stopping the production and corrective maintenance the motor itself. In this juncture, this work proposes the design of a system that is able to detect and diagnose faults in induction motors, from the collection of electrical line voltage and current, and also the measurement of engine speed. This information will use as input to a fuzzy inference system based on rules that find and classify a failure from the variation of thess quantities

Controle de Temperatura do Sistema de Refrigeração a água de uma tocha plasmática Indutiva Utilizando Lógica fuzzy

Este projeto propõe desenvolver e implementar um controlador para o sistema de refrigeração da tocha indutiva a plasma térmico. Este processo é feito a partir da medição da temperatura através de um sensor do sistema de refrigeração. O sinal produzido será enviado para uma entrada analógica do microcontrolador da família PIC, que utilizando os conceitos de lógica fuzzy, controla a velocidade de um motor bomba. Este é responsável por diminuir ou aumentar o fluxo circulante de água que passa pela bobina, pelo corpo da tocha e pelo flange de fixação, deixando-os na temperatura desejada. A velocidade desta bomba será controlada por um inversor de frequência. O microcontrolador, também, acionará um ventilador caso exceda a temperatura de referência. A proposta inicial foi o desenvolvimento do controle da temperatura da bobina de uma tocha indutiva a plasma, mas com algumas adequações, foi possível também aplicar no corpo da tocha. Essa tocha será utilizada em uma planta de tratamento de resíduos industriais e efluentes petroquímicos. O controle proposto visa garantir as condições físicas necessárias para tocha de plasma, mantendo a temperatura da água em um determinado nível que permita o resfriamento sem comprometer, no entanto, o rendimento do sistema. No projeto será utilizada uma tocha de plasma com acoplamento indutivo (ICPT), por ter a vantagem de não possuir eletrodos metálicos internos sendo erodidos pelo jato de plasma, evitando uma possível contaminação, e também devido à possibilidade do reaproveitamento energético através da cogeração de energia. O desenvolvimento da tecnologia a plasma na indústria de tratamento de resíduos vem obtendo bons resultados. Aplicações com essa tecnologia têm se tornado cada vez mais importantes por reduzir, em muitos casos, a produção de resíduos e o consumo de energia em vários processos industriais

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

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

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