Classificação de anomalias e redução de falsos positivos em sistemas de detecção de intrusão baseados em rede utilizando métodos de agrupamento

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

Classificação automatizada do relevo a partir de parâmetros morfométricos

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

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

Procedimento para homologação de sistemas ecoeficientes para obtenção de créditos de carbono

This paper deals with the homologation process for obtaining carbon credits through the Clean Development Mechanism (CDM), that regulates the greenhouse gases reductions under the rules of the Kyoto Protocol. The CDM evaluates projects through a project cycle, which begins with the preparation of the Project Design Document (PDD) until the project certification to receive Certified Emission Reductions (CERs), popularly known as carbon credits. This study analyzed the implementation of the system Burner Recorder System for Low Flows of Biogas (QRBBV), developed by Marcelino Junior & Godoy (2009), in an eco-friendly wastewater treatment mini-plant (miniEETERA), built at the site of UNESP - Guaratinguetá SP. The QRBBV system is low cost and high reliability, developed to burn the methane generated at sites of low and variable production of biogas, which is not economically justified their energy recovery. Currently, almost all wastewater generated at the site of the campus is being treated by miniEETERA and, as a result, the biogas originated by this activity is being released into the atmosphere. Therefore, the project activity aims to capture and burn the biogas generated by miniEETERA, reducing the negative effects caused by the methane emissions into the atmosphere and, thus, claim to receive carbon credits. This work aimed to demonstrate the project applicability under CDM through the study and preparation of the PDD, as well as an analysis of the entire project cycle required for homologation. The result of the work obtained an estimate of only 20 CERs per year and proved to be economically unviable for approval through the CDM, since the spending with the approval process would not be compensated with the sale of CERs, mainly due the low carbon price in the world market. From an environmental standpoint, the project is perfectly... (Complete abstract click electronic access below)