Conservative translations

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complex category constituted by logics and translations. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Paraconsistent Autonomous Mobile Robot Emmy III

This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic ET. A discussion on navigation system is presented.

O intuitivo e o lógico no conhecimento matemático: análise de uma proposta pedagógica em relação a abordagens filosóficas atuais e ao contexto educacional da matemática

In this paper, we consider Meneghetti & Bicudo's proposal (2003) regarding the constitution of mathematical knowledge and analyze it with respect to the following two focuses: in relation to conceptions of mathematical knowledge following the fundamentalist crisis in mathematics; and in the educational context of mathematics. The investigation of the first focus is done analyzing new claims in mathematical philosophy. The investigation of the second focus is done firstly via a theoretical reflection followed by an examination of the implementation of the proposal in the process of development of didactic materials for teaching and learning Mathematics. Finally, we present the main results of the application of one of those materials.

Desafios na publicação científica.

We discuss the main problems which make a scientific text difficult to find, to be read or to be accepted by readers. A scientific text is considered a logical argument. Therefore, methods, results and data from literature are premises supporting the conclusions of the work; and in the Introduction session, the justification corroborates the objective of the study. This conception makes the text a hermetically coherent structure where only the necessary data should be included (some controversy is still pertinent). In a second step, we show formal mistakes in scientific writing which make texts less attractive. Thus, we give examples of errors or inadequacy of formal aspects of presenting titles, abstracts, results (figures and tables), and grammar mistakes in Portuguese (but also valid for English grammar). After that, we emphasize the need for writing in international language (English) and for publication in periodicals with international impact on the scientific community. Finally, considerations to improve the Brazilian periodicals in the biological area are presented.

Proposal of architecture for launcher systems of unguided sounding rockets

This work presents a proposal of systemic architecture, to make automatic actions in the positioning of launch rail of unguided sounding rockets, which are based on a supervision system, a programmable logical controller, a sensory and actuators, available in Brazilian national market. Copyright © 2006 Society of Automotive Engineers, Inc.

Neural network approach for surface roughness prediction in surface grinding

Several systems are currently tested in order to obtain a feasible and safe method for automation and control of grinding process. This work aims to predict the surface roughness of the parts of SAE 1020 steel ground in a surface grinding machine. Acoustic emission and electrical power signals were acquired by a commercial data acquisition system. The former from a fixed sensor placed near the workpiece and the latter from the electric induction motor that drives the grinding wheel. Both signals were digitally processed through known statistics, which with the depth of cut composed three data sets implemented to the artificial neural networks. The neural network through its mathematical logical system interpreted the signals and successful predicted the workpiece roughness. The results from the neural networks were compared to the roughness values taken from the worpieces, showing high efficiency and applicability on monitoring and controlling the grinding process. Also, a comparison among the three data sets was carried out.

Adjectival semantics and the legal domain: A study for ontology improvement

This paper carries out a descriptive study on Portuguese adjectives. Our aim is to describe the semantics of the legal domain adjectives in order to construct an ontology which may improve Information Retrieval Systems. For this, we present an approach based on valency and semantic relations. The ontology proposed here is a first step aiming to build a legal ontology based on top-level concepts. © AEPIA.

Fuzzy environmental quality index

This paper presents the construction of a fuzzy environmental quality index for decision support in municipal environmental management. Five groups of indicators were selected in order to obtain an equation that best represented reality in terms of environmental quality. The calculation was carried out using fuzzy mathematical concepts, with the aid of the package Fuzzy Logical Toolbox 2.1 for Matlab ® 6.1, which provides functions and some applications of the theory of fuzzy sets. The work seeks to create a method of inference concerning the nature of urban areas that are unsustainable with respect to the environment, an issue that is often relegated to the background during public policy discussions. The development of this index, together with its implementation and dissemination, could improve public awareness of environmental issues, and promote mobilization towards the use of best practices in local development. © 2010 IEEE.

Optimization of query results in peer-to-peer database supported by semantics

The development of new technologies that use peer-to-peer networks grows every day, with the object to supply the need of sharing information, resources and services of databases around the world. Among them are the peer-to-peer databases that take advantage of peer-to-peer networks to manage distributed knowledge bases, allowing the sharing of information semantically related but syntactically heterogeneous. However, it is a challenge to ensure the efficient search for information without compromising the autonomy of each node and network flexibility, given the structural characteristics of these networks. On the other hand, some studies propose the use of ontology semantics by assigning standardized categorization of information. The main original contribution of this work is the approach of this problem with a proposal for optimization of queries supported by the Ant Colony algorithm and classification though ontologies. The results show that this strategy enables the semantic support to the searches in peer-to-peer databases, aiming to expand the results without compromising network performance. © 2011 IEEE.

Managing object identity with less I/O operations

Non-conventional database management systems are used to achieve a better performance when dealing with complex data. One fundamental concept of these systems is object identity (OID). Two techniques can be used for the implementation of OIDs: physical or logical. A logical implementation of OIDs, based on an Indirection Table, is used by NuGeM, a multimedia data manager kernel which is described in this paper. NuGeM Indirection Table allows the relocation of all pages in a database. The proposed strategy modifies the workings of this table so that it is possible to reduce considerably the number of I/O operations during the request and release of pages containing objects and their OIDs. Tests show a reduction of 84% in reading operations and a 67% reduction in writing operations when pages are requested. Although no changes were observed in writing operations during the release of pages, a 100% of reduction in reading operations was obtained. © 2012 IEEE.

Metodologia e diretrizes para desenvolvimento de um ambiente computacional para ensino a distância

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

MATIW 1451 - monitoramento e acionamento de transdutores inteligentes através da Web (Padrão IEEE 1451)

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

LOGO2VHDL: modelos descritos em VHDL a partir da linguagem do LOGO!Soft Comfort da Siemens

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

Controle de qualidade de produtos cartográficos: uma proposta metodológica

Pós-graduação em Ciências Cartográficas - FCT