Navegando por Autor "Greati, Vitor Rodrigues"
Agora exibindo 1 - 3 de 3
- Resultados por página
- Opções de Ordenação
TCC Hilbert calculi for the main fragments of Classical Logic(Universidade Federal do Rio Grande do Norte, 2019-11-22) Greati, Vitor Rodrigues; Marcos, João; Rivieccio, Umberto; Pimentel, ElaineClassical logic, under a universal-algebraic consequence-theoretic perspective, can be defined as the logic induced by the complete clone over {0,1}. Up to isomorphism, any other 2-valued logic may then be seen as a sublogic or fragment of Classical Logic. In 1941, Emil Post studied the lattice of all the 2-valued clones ordered under inclusion [10]. In [11], Wolfgang Rautenberg explored this lattice in order to show that all fragments of Classical Logic are strongly finitely axiomatizable. Rautenberg used an unusual notation and overloaded it several times, causing confusion; in addition, he presented incomplete proofs and made lots of typographical errors, imprecisions and mistakes. In particular, the main fragments of Classical Logic — expression here that refers to those fragments related to the proofs presented by Rautenberg in the first part of his paper — deserve a more rigorous and accessible presentation, because they promote important discussions and results about the remaining fragments. Also, they give bases to the recursive procedures in the second part of the proof of the axiomatizability of all 2-valued fragments. This work proposes a rephrasing of the proofs for the main fragments, with a more modern notation, with more attention to the details and the writing, and with the inclusion of all axiomatizations of the clones under investigation. In addition, the involved proof systems will be specified in the language of the Lean theorem prover, and the derivations necessary for the completeness proofs will be verified with the aid of this tool. In this way, the presentation of the proof of the result given by Rautenberg will be more accessible, understandable and trustworthy to the community.Dissertação Hilbert-style formalism for two-dimensional notions of consequence(Universidade Federal do Rio Grande do Norte, 2022-02-21) Greati, Vitor Rodrigues; Almeida, João Marcos de; Marcelino, Sérgio Roseiro Teles; 00000000000; http://lattes.cnpq.br/3059324458238110; http://lattes.cnpq.br/0343448850800210; Rivieccio, Umberto; http://lattes.cnpq.br/0597230560325577O presente trabalho propõe um formalismo dedutivo bidimensional à Hilbert (H-formalismo) para relações de B-consequência, uma classe de lógicas bidimensionais que generalizam as noções usuais (tarskianas, unidimensionais) de lógica. Nós sustentamos que o ambiente bidimensional é apropriado para o estudo do bilateralismo em lógica, por permitir que julgamentos primitivos de asserção e rechaço (ou, como preferimos, as atitudes cognitivas de aceitação e rejeição) ajam em dimensões independentes e capazes de interagir entre si ao determinar as inferências válidas de uma lógica. Nessa perspectiva, o formalismo proposto constitui um aparato inferencial para raciocinar sobre julgamentos bilateralistas. Após uma descrição detalhada do funcionamento do formalismo proposto, o qual é inspirado nos sistemas de Hilbert simétricos, nós provemos um algoritmo de busca de demonstrações que executa em tempo exponencial, em geral, e em tempo polinomial quando apenas regras contendo no máximo uma fórmula no sucedente estão presentes no sistema em questão. Então, nós passamos a investigar semânticas não-determinísticas bidimensionais por meio de estruturas de matrizes contendo dois conjuntos de valores distinguidos, um qualificando alguns valores de verdade como aceitos, e o outro, alguns valores como rejeitados, constituindo um caminho semântico para o bilateralismo no ambiente bidimensional. Nós apresentamos também um algoritmo para a produção de sistemas de Hilbert bidimensionais para matrizes não-determinísticas bidimensionais suficientemente expressivas, bem como alguns procedimentos de simplificação que permitem reduzir consideravelmente o tamanho e a complexidade do sistema resultante. Para matrizes finitas, vale apontar, o procedimento resulta em sistemas finitos. Ao final, como estudo de caso, investigamos a lógica da inconsistência formal chamada mCi quanto à sua axiomatizabilidade por sistemas ao estilo de Hilbert. Demonstramos que não há sistemas de Hilbert finitos unidimensionais que capturem essa lógica, mas que ela habita uma relação de consequência bidimensional finitamente axiomatizável por um sistema de Hilbert bidimensional. A existência desse sistema segue diretamente do algoritmo de axiomatização proposto, em vista da semântica bidimensional 5-valorada não-determinística suficientemente expressiva que determina a relação de consequência bidimensional mencionada.TCC Técnicas de remoção de outliers na curva de potência de aerogeradores e parametrização da curva de operação normal(Universidade Federal do Rio Grande do Norte, 2022-12-15) Abrantes, Francisco Mateus de Oliveira; Oliveira, Luiz Affonso Henderson Guedes de; Greati, Vitor Rodrigues; Barros, Danilo Mikael CostaA curva de potência dos aerogeradores é uma importante forma de avaliar a produção de energia dos aerogeradores, sua composição se da entre a relação da potência ativa do aerogerador em função da velocidade do vento. Analisar essa curva possibilita avaliar o desempenho do aerogerador. Entretanto, valores anormais nessa curva impossibilitam analisar de forma eficaz o desempenho, além de provocam resultados inválidos nas análises. Esse trabalho se propõe a realizar em uma base de dados real a remoção desses pontos de anomalias com a utilização de métodos já muito difundidos no meio científico para remoção de outliers nas curvas de potência. Além disso, o trabalho propõe que, ao obter a curva sob condições normais, seja feita a parametrização dessa curva, de forma que se possa obter as funções que representam a forma da mesma. Esse processo se dará por meio de interpolações polinomiais das funções que expressam a curva, e com isso será possível obter os coeficientes que possibilitam o armazenamento dessas funções de forma simples. Por fim, com a parametrização dessa curva analisamos o desempenho dos aerogeradores.