A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.

Enzymatic Logic Gates with Noise-Reducing Sigmoid Response

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in biochemical computing, and summarize the experimental realization of an and logic gate with sigmoid response in one of the inputs. The logic gate is realized with electrode-immobilized glucose-6-phosphate dehydrogenase enzyme that catalyzes a reaction corresponding to the Boolean and functions. A kinetic model is also developed and used to evaluate the extent to which the performance of the experimentally realized logic gate is close to optimal.

Simulation of active control using fuzzy logic applied to a pulse combustor

This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180° out of phase.

Fuzzy logic to predict thermal damages of ground parts

One of the critical problems in implementing an intelligent grinding process is the automatic detection of workpiece surface burn. This work uses fuzzy logic as a tool to classify and predict burn levels in the grinding process. Based on acoustic emission signals, cutting power, and the mean-value deviance (MVD), linguistic rules were established for the various burn situations (slight, intermediate, severe) by applying fuzzy logic using the Matlab Toolbox. Three practical fuzzy system models were developed. The first model with two inputs resulted only in a simple analysis process. The second and third models have an additional MVD statistic input, associating information and precision. These two models differ from each other in terms of the rule base developed. The three developed models presented valid responses, proving effective, accurate, reliable and easy to use for the determination of ground workpiece burn. In this analysis, fuzzy logic translates the operator's human experience associated with powerful computational methods.

Development of a water quality index using a fuzzy logic: A case study for the sorocaba river

Due to growing urbanization and industrialization, the environment is suffering from pollution of rivers, degradation of soils and deteriorated air quality. Quality indices appear to be useful to evaluate the conditions of these media. The aim of this study was the development of a water quality index using a fuzzy inference system, since such an approach has proved advantageous in addressing problems that are subjective by nature or for which the data are uncertain. The methodology employed was based on this inference system, and considered the nine water quality parameters employed by CETESB (Companhia de Tecnologia de Saneamento Ambiental, São Paulo, Brazil) to evaluate water quality. After assessment of the data using the index, a comparison was made with the WQI (Water Quality Index), which is used for the monitoring of various water bodies, including in the study region. The results obtained using the index developed on the basis of fuzzy inference were found to be more useful than those derived from the method currently used by CETESB, since losses and/or omissions concerning individual parameters were minimized. © 2010 IEEE.

The peasant economy: internal logic, articulation and persistence

Includes bibliography

Peircean semiotics and subject indexing: Contributions of speculative grammar and pure logic

The semiotics of C S. Peirce presents fundamental concepts to discover aspects of the indexing process, including representation and classes of signs. However, we still know little of its theoretical potential for subject indexing. We believe that the main difficulty in the proposals to understand the process of subject indexing based on Peircean semiotics stems from an incomplete interpretation of his semiotic system. This paper attempts to describe the contributions of Peircean semiotics to subject indexing. First, we analyze some of the concepts of the branches of semiotics, after which, we discuss strategies for conceptual approximation. Secondly, and aiming to raise the level of interlocution between the areas, we intend to argue that subject indexing is an inferential process, as explained by the second branch of semiotics. Thus, we seek to go beyond the level of speculative grammar, the first branch of semiotics, to forge a closer link with pure or critical logic, the second branch. We conclude that the indexer's work does not produce a mere reflection of what already exists in documents, but involves an instigating action to discover, through the inferential matrix, the meaning of a text in order to find the subject and the most appropriate subject added entry to the information system.

Caribbean and its incomplete class structure: essay on the logic of its negotiations with the metropolitan countries

Publicado también con el símbolo E/CEPAL/SEM.10/R.11

A hidrovia Tietê-Paraná e a intermodalidade no Estado de São Paulo

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

Meio ambiente e ética: entrecruzando olhares no ensino de ciências

Meio ambiente e Ética são temas recorrentes nas pautas de discussões sobre os desafios da educação brasileira. O mundo está imerso em uma crise ambiental e ética que nos convida ao movimento dialético da ação-reflexão-ação. O objetivo deste trabalho foi investigar as concepções e as relações entre os Temas Transversais Meio Ambiente e Ética dos professores de Ciências, técnicos educacionais e alunos de 5ª a 8ª série do Ensino Fundamental, de uma escola da rede particular de Belém. O estudo apoiou-se em Sauvé, Reigota, Sánchez Vásquez, Leff, Grün, Valls, Bardin, Zabala, Freire, Lüdke, André, entre outros. O caminho metodológico foi o da abordagem qualitativa. Para mergulhar nos diálogos intersubjetivos, que são as práticas pedagógicas, foram utilizadas as técnicas de pesquisa de campo e pesquisa documental. A primeira consistiu na realização de entrevistas semiestruturadas com 16 estudantes, 3 professores e 2 técnicos da Escola - “Alfa”; a segunda envolveu os Parâmetros Curriculares Nacionais, os livros didáticos de Ciências e os documentos entregues aos alunos e professores, em 2008, na Escola. A interpretação dos dados se baseou na análise de conteúdo, em sua modalidade temática. Foram trabalhados dois temas: Concepções de Meio Ambiente e Concepções de Ética. A unidade de contexto, o ―pano de fundo‖ do estudo, foi uma escola da rede particular de ensino, dotada de boa infraestrutura, cuja clientela é formada, em sua maioria, por alunos da classe média alta. Para definição das categorias, foi preparado um caderno com as entrevistas, o que facilitou o agrupamento, a classificação e a análise interpretativa dos dados. Isso resultou na síntese em sete categorias de análise: Concepção de Meio Ambiente como natureza; Concepção de Meio Ambiente como o local onde se vive; Concepção de Meio Ambiente como relação dos seres entre si e deles com o ambiente; Concepção de Meio Ambiente como sustentabilidade; Concepção de Ética como respeito; Concepção associada a princípios e valores e Concepção relacionada ao meio ambiente e ao respeito às pessoas. Os resultados revelam, contraditoriamente, a prevalência da lógica disciplinar nos PCN e na Escola ―Alfa‖; os livros adotados pela Escola não se limitam aos conteúdos factuais e conceituais; em relação às concepções de Meio Ambiente e Ética, os entendimentos do que vem a ser ambiente e ética são reducionistas. Os sujeitos, de uma maneira geral, não estabelecem conexão necessária entre Ambiente e Ética. Nas turmas de 5ª a 8ª série, a Escola não trabalha os Temas de forma efetiva. As reflexões finais pontificam um convite à Escola para refletir e buscar alternativas que revertam o quadro de suas ações educacionais relativas ao Meio Ambiente e à Ética. As escolas precisam se sentir desafiadas a inserir a Educação Ambiental em seu cotidiano, com o fito de colaborar na construção de uma educação cidadã.

Vila da Barca, das palafitas ao conjunto habitacional: análise sobre a (im)permanência dos moradores na área

Este trabalho apresenta uma reflexão sobre a atual orientação da política habitacional brasileira de intervir em áreas de assentamentos precários, sem a remoção dos moradores, de modo a garantir sua permanência nos locais infraestruturados. O eixo da investigação gira em torno da seguinte questão: em que medida a atual orientação da política habitacional brasileira de intervir em áreas de assentamentos precários, sem a remoção da população, garante efetivamente a permanência dos moradores nos referidos locais, particularmente no Projeto de Urbanização e Habitação da Vila da Barca. O estudo apóia-se em referenciais teóricos sobre a produção da cidade capitalista e a desigualdade de apropriação do solo urbano, processos estes que impactam diretamente na constituição dos assentamentos precários como espaço de moradia para as frações da classe trabalhadora brasileira, que não conseguem acessar o mercado privado da habitação, dado os mecanismos de formação de preços da terra urbanizada. A pesquisa foi desenvolvida com base no método dialético, tendo como procedimento metodológico o levantamento bibliográfico, documental e de campo, sendo entrevistados 35 moradores que foram remanejados pelo projeto urbanístico da Vila da Barca. Os resultados apontam que as formas precárias de moradia popular constituídas em áreas insalubres e inadequadas, como os cortiços, as favelas, e, no caso de Belém, as baixadas, historicamente, foram removidas de forma repressiva pelo poder público. Entende-se que os projetos urbanísticos padronizados desenvolvidos na atualidade e voltados para o atendimento da necessidade de moradia dos trabalhadores, ainda que apresentem em sua configuração o tema da permanência, preservam os interesses da produção da cidade capitalista e evidenciam a lógica de segregação sócio-espacial, pois não imprimem mudanças substantivas na realidade das famílias. Além disso, ao contrário do que é propagado pelo discurso estatal, a pesquisa realizada na Vila da Barca, demonstra que tais projetos não conseguem garantir a fixação dos moradores nos locais de intervenção, uma vez que desarticulam as estratégias de sobrevivência das famílias, que sem condições financeiras e impossibilitadas de arcarem com os custos da nova moradia (taxas de serviços urbanos), tendem a vender os imóveis que lhes foram destinados, reproduzindo em outros assentamentos precários as condições anteriores de vida. Desta forma, o Projeto da Vila da Barca, concebido para resolver a situação de moradia das famílias da área, gerou graves consequências para as mesmas, em especial, a desestruturação das atividades ocupacionais, demonstrando os limites da intervenção estatal de acordo com a lógica de produção da cidade capitalista.

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Estimating outcomes in newborn infants using fuzzy logic

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

Logic TK: algebric notions from Tarski's consequence operator

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