[pt] O objetivo deste trabalho é investigar a utilização de um Sistema de Inferência Fuzzy (Fuzzy Inference System) para projetar um sistema de controle semiautônomo adequado a veículos militares, a partir do qual serão definidos valores para o Nível de Intervenção de um controlador automático. São apresentados conceitos básicos sobre a aplicação de Sistemas de Infer ência Fuzzy para a concepção de um ponderador de sinais e sobre a teoria de Controladores Preditivos Baseados em Modelo (Model Predictive Controllers), utilizados na implementação do sistema proposto. A partir da modelagem matemática do sistema dinâmico veicular foram obtidos resultados de simulações do veículo militar enquanto operado em situações perigosas e em que se faça necessária a intervenção do controlador, por exemplo, na presença de ameaças inimigas hostis ou em manobras altamente desestabilizadoras. O comportamento da variável de intervenção do controlador é apresentado por meio de suas curvas de evolução, e indica o seu aumento de acordo com o crescimento do nível de ameaça à qual o veículo está exposto. Os resultados são analisados criticamente, e conclui-se que o uso do sistema proposto resulta em um aumento qualitativo na segurança do veículo, tornando-o um sistema militar mais eficiente, com maior capacidade operacional, além de melhorar as habilidades de seu condutor. / [en] The purpose of this work is to investigate the use of Fuzzy Inference Systems to design an appropriate semi-autonomous control system for military vehicles, from which the choice of the automatic controller intervention level would be achieved. Basic concepts about the application of Fuzzy Inference Systems for the design of a weighted signal generator and about the Model Predictive Controllers theory are presented. These concepts were used for the implementation of the proposed semiautonomous control system. From the mathematical model of the vehicular dynamic system, results were obtained through simulated tests where the military vehicle was being operated in hazardous situations and in which the intervention of the automatic controller was necessary, e.g., in the presence of hostile enemy threats or in highly destabilizing maneuvers. The behavior of the controller s intervention variable is presented through its evolution curves and indicates its increase accordingly to the growth of the threat level to which the vehicle is exposed. The results are criticyzed, and it is concluded that the use of the proposed system will result in a qualitative increase in vehicle s safety, making it a more efficient military system, with greater operational capacity and enhancing the skills of its driver.

[pt] Este trabalho apresenta a utilização de lógica fuzzy e de redes neurais no desenvolvimento de um controlador de semáforos - o FUNNCON. O trabalho realizado consiste em quatro etapas principais: estudo dos fundamentos de engenharia de tráfego; definição de uma metodologia para a avaliação de cruzamentos sinalizados; definição do modelo do controlador proposto; e implementação com dados reais em um estudo de caso.O estudo sobre os fundamentos de engenharia de tráfego aborda a definição de termos,os parâmetros utilizados na descrição dos fluxos de tráfego, os tipos de cruzamentos e seus semáforos, os sistemas de controle de tráfego mais utilizados e as diversas medidas de desempenho.Para se efetuar a análise dos resultados do FUNNCON, é definida uma metodologia para a avaliação de controladores. Apresenta-se, também, uma investigação sobre simuladores de tráfego existentes, de modo a permitir a escolha do mais adequado para o presente estudo. A definição do modelo do FUNNCON compreende uma descrição geral dos diversos módulos que o compõem. Em seguida, cada um destes módulos é estudado separadamente: o uso de redes neurais para a predição de tráfego futuro; a elaboração de um banco de cenários ótimos através de um otimizador; e a criação de regras fuzzy a partir deste banco.No estudo de caso, o FUNNCON é implementado com dados reais fornecidos pela CET-Rio em um cruzamento do Rio de Janeiro e comparado com o controlador existente.É constatado que redes neurais são capazes de fornecer bons resultados na predição do tráfego futuro. Também pode ser observado que as regras fuzzy criadas a partir do banco de cenários ótimos proporcionam um controle efetivo do tráfego no cruzamento estudado. Uma comparação entre o desempenho do FUNNCON e o do sistema atualmente em operação é amplamente favorável ao primeiro. / [en] This work presents the use of fuzzy logic and neural networks in the development of a traffic signal controller - FUNNCON. The work consists of four main sections: study of traffic engineering fundamentals; definition of a methodology for evaluation of traffic controls; definition of the proposed controller model; and implementation on a case study using real data.The study of traffic engineering fundamentals considers definitions of terms,parameters used for traffic flow description, types of intersections and their traffic signals,commonly used traffic control systems and performance measures.In order to analyse the results provided by FUNNCON, a methodology for the evaluation of controllers is defined. The existing traffic simulators are investigated, in order to select the best one for the present study.The definition of the FUNNCON model includes a brief description of its modules.Thereafter each module is studied separately: the use of neural networks for future traffic prediction; the setup of a best scenario database using an optimizer; and the extraction of fuzzy rules from this database.In the case study, FUNNCON is implemented with real data supplied by CET-Rio from an intersection in Rio de Janeiro; its performance is compared with that of the existing controller.It can be observed that neural networks can present good results in the prediction of future traffic and that the fuzzy rules created from the best scenario database lead to an effective traffic control at the considered intersection. When compared with the system in operation, FUNNCON reveals itself much superior.

[pt] O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Algumas discussões subsidiárias, igualmente importantes para o trabalho como um todo, dizem respeito à concepção dos conceitos de modelo e interpretação que se podem depreender dos artigos supracitados, e de como ela difere da assim chamada concepção standard em teoria de modelos. Nosso objetivo principal é mostrar o lugar ocupado pelo conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma visão ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas numa hierarquia de tipos. / [en] The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.

[pt] O atual trabalho teve como objetivo o desenvolvimento de um método multiresíduo e aplicação em testemunhos sedimentares para uma análise geocronológica da contaminação da Baía de Sepetiba por quatro classes de contaminantes orgânicos: (i) hidrocarbonetos policíclicos aromáticos (HPAs), (ii) bifenilos policlorados (PCBs); (iii) éteres difenílicos polibromados (PBDEs) e (iv) pesticidas organoclorados (OCPs). Além dos analitos contemplados no método desenvolvido, foram analisados outros parâmetros (HPAs alquilados, Biomarcadores de petróleo, Hidrocarbonetos Alifáticos, Carbono Orgânico Total e Nitrogênio Total) para que fosse possível uma análise mais aprofundada das fontes e da origem da MO e de compostos associados ao petróleo. Os testemunhos sedimentares foram coletados entre julho e outubro de 2016 e foram datados pela análise da atividade do decaimento de 210Pb e validado usando perfis de Zn e Cd. O método desenvolvido é baseado na extração ultrassônica com uma mistura de diclorometano:metanol (9:1 v/v) e cromatografia gasosa acoplada com análise de espectrometria de massa em tandem (GC-MS/MS) no modo de monitoramento de reações múltiplas (MRM). Um total de 89 compostos, dentre HPAs, PCBs, OCPs e PBDEs, foram identificados usando dois padrões de íon produto/precursor para cada analito. O limite de detecção do método (MDL; 0,001 – 0,055 ng g-1) e limite de quantificação do método (MQL; 0,002 – 0,184 ng g-1) estão abaixo dos níveis de poluição aceitáveis adotados pelas diretrizes internacionais de qualidade de sedimentos. O método, que foi publicado na revista Analytical and Bioanalytical Chemstry em maio de 2022, mostrou-se seletivo, sensível, preciso e linear, com a vantagem de reduzir o tempo de manuseio da amostra e a quantidade utilizada de materiais como solvente e adsorventes. A fim de analisar de forma mais aprofundada as fontes e origens dos HPAs nos testemunhos analisados, foi aplicado uma análise de dados baseada na Lógica Fuzzy, mais especificamente pelo algoritmo Fuzzy C-Means (FCM). Para que tivéssemos um melhor embasamento teórico da aplicação dessa ferramenta, um artigo foi publicado na revista Ocean and Coastal Research em fevereiro de 2022, com base na reavaliação estatística dos dados de dois trabalhos sobre contaminação do sedimento de baías costeiras por HPAs. Resultados obtido por meio de ferramentas de avaliação tradicionais foram comparadas com aqueles obtidos por FCM, que apresentaram maior detalhamento qualitativo. Embora a Lógica Fuzzy não produza interpretações quantitativas, sua aplicação gera dados adequados para que se evite uma inferência enviesada de fontes de contaminação de HPAs. A aplicação do método na análise dos testemunhos sedimentares foi bem-sucedida e a maioria das camadas apresentou valores de OCPs e PBDEs abaixo do MQL. Os valores de PCBs variaram de <MQL a 1,47 ng g-1 (média de 0,24 ± 0,38 ng g-1) em T18 e de 0,35 a 6,24 ng g-1 (média de 1,82 ± 1,37 ng g-1) em T26. Os HPAs variaram de 67,97 a 404,61 ng g-1 (média de 192,38 ± 98,48 ng g-1) em T18 e de 154,59 a 685,47 ng g-1 (média de 382,55 ± 168,45 ng g-1) em T26. / [en] The present work aimed at developing a multiresidue method and application in sedimentary testimonies for a geochronological analysis of the contamination of Sepetiba Bay by four classes of organic contaminants: (i) polycyclic aromatic hydrocarbons (PAHs), (ii) polychlorinated biphenyls (PCBs); (iii) polybrominated diphenyl ethers (PBDEs) and (iv) organochlorinated pesticides (OCPs). In addition to the analytes contemplated in the method developed, other parameters were analyzed (alkylated PAHs, petroleum biomarkers, aliphatic hydrocarbons, total organic carbon and total nitrogen) to allow a more in-depth analysis of the sources and origin of organic matter and compounds associated with petroleum. Sediment cores were collected between July and October 2016 by Gonçalvez et al. (2020) and were dated by analysis of 210Pb decay activity and validated using Zn and Cd profiles. The developed method is based on ultrasonic extraction with a mixture of dichloromethane:methanol (9:1 v/v) and gas chromatography coupled with tandem mass spectrometry analysis (GC-MS/MS) in multiple reaction monitoring (MRM) mode. A total of 89 compounds, among PAHs, PCBs, OCPs, and PBDEs, were identified using two product/precursor ion standards for each analyte. The method detection limit (MDL; 0.001 - 0.055 ng g-1) and method quantification limit (MQL; 0.002 - 0.184 ng g-1) are below acceptable pollution levels adopted by international sediment quality guidelines. The method, which was published in the journal Analytical and Bioanalytical Chemstry in May 2022, was shown to be selective, sensitive, accurate, and linear, with the advantage of reducing sample handling time and the amount used of materials such as solvent and adsorbents.In order to further analyze the sources and origins of PAHs in the analyzed core samples, we applied a data analysis based on Fuzzy Logic, more specifically the Fuzzy C-Means (FCM) algorithm. In order to have a better theoretical basis for the application of this tool, an article was published in the journal Ocean and Coastal Research in February 2022, based on the statistical re-evaluation of data from two studies on sediment contamination of coastal bays by PAHs. Results obtained through traditional assessment tools were compared with those obtained by FCM, which showed greater qualitative detail. Although Fuzzy Logic does not produce quantitative interpretations, its application generates adequate data to avoid biased inference of PAH contamination sources. The application of the method in the analysis of the sediment cores was successful and most layers showed OCPs and PBDEs values below the MQL. PCBs values ranged from <MQL to 1.47 ng g-1 (mean 0.24 ± 0.38 ng g-1) in T18 and from 0.35 to 6.24 ng g-1 (mean 1.82 ± 1.37 ng g-1) in T26. PAHs ranged from 67.97 to 404.61 ng g-1 (mean 192.38 ± 98.48 ng g-1) at T18 and from 154.59 to 685.47 ng g-1 (mean 382.55 ± 168.45 ng g-1) at T26.

[pt] O bairro de Deodoro, localizado na zona oeste da cidade do Rio de Janeiro, é caracterizado por ser um bairro de classe média baixa e por possuir características típicas dos bairros suburbanos da cidade do Rio de Janeiro, como, por exemplo, possuir suas origens muito ligada ao avanço da Estrada de Ferro (ABREU, 2011); Atualmente, o bairro de Deodoro está passando por profundas mudanças em seu espaço em decorrência dos investimentos realizados pelo poder público junto com o capital financeiro para a realização dos Jogos Olímpicos e Paraolímpicos de 2016; Partindo do pressuposto, desenvolvido por Lefebvre (2006) e trabalhado por Carlos (2007; 2011), de que o espaço deve ser compreendido como um produto histórico e social no qual uma sociedade em um determinado momento histórico, através das técnicas que desenvolve e das relações sociais e de produção que estabelece, o produz, esta dissertação se pauta nas múltiplas formas de apropriação e de produção do espaço através da introdução de novos vetores tecnológicos e de investimentos para os Jogos Olímpicos e Paraolímpicos de 2016 nos bairros de Deodoro e da Vila Militar na cidade do Rio de Janeiro e como estas intervenções irão afetar o cotidiano dos moradores do bairro de Deodoro e a sua relação com o bairro vizinho, a Vila Militar; Investigaremos, assim, como o bairro de Deodoro está inserido dentro do contexto da representação da Cidade Olímpica construída pelo poder público e reforçada pela ação da publicidade;. Além disso, chamamos a atenção para as intervenções no espaço destes bairros em decorrência da realização dos Jogos Olímpicos de 2016, como a construção das vias expressas e dos corredores expressos para a circulação do BRT além das arenas esportivas, como o Parque Olímpico de Deodoro, irão transformar a relação dos moradores do bairro de Deodoro com o bairro da Vila Militar. / [en] The Deodoro neighborhood, located in the west of the city of Rio de Janeiro, is characterized by being a lower middle class neighborhood and has characteristics typical of suburban neighborhoods in the city of Rio de Janeiro, for example, has its origins linked to the advancement of the Railroad (ABREU, 2011). Currently, the Deodoro neighborhood is undergoing profound changes in its space as a result of the investments made by the government along with financial capital for the Olympic and Paralympic Games in 2016; Assuming the assumption developed by Lefebvre (2006) and worked for Carlos (2007; 2011) that space must be understood as a historical and social product in which a society at a particular historical moment, through the techniques that develops and social relations and establishing production, produces it, this dissertation is guided in multiple forms of ownership and production of space by introducing new technological vectors and investment for the Olympic and Paralympic Games in 2016 in the districts of Deodoro and Vila Militar in the city of Rio de Janeiro and how these interventions will affect the daily lives of residents of the Deodoro neighborhood and its relationship with the surrounding neighborhood, the Vila Militar; We investigate, as well as the Deodoro neighborhood is inserted into the representation of context Olympic City built by the government and reinforced by action of advertising; In addition, we draw attention to the interventions within these neighborhoods as a result of the Olympic Games in 2016, as the construction of highways and corridors expressed for BRT circulation beyond the sports arenas such as the Olympic Park in Deodoro, will transform the relationship between the residents of the Deodoro neighborhood with the Vila Militar neighborhood.

[pt] Esta dissertação de mestrado apresenta um método para simular cenas de mar para TV/Cinema com um grande número de agentes de vários tipos (embarcações, portos, pessoas, ...) para produções com elevado grau de realismo de imagem e comportamento dos agentes. Este método usa modelagem em lógica nebulosa (fuzzy) e programação no sistema MASSIVE de maneira a integrar os resultados com sistemas de rendering e composição de imagens de alta resolução. Um objetivo importante desta dissertação é criar um sistema que facilita o trabalho de modeladores e designers envolvidos no pipeline de produção. / [en] This MSc dissertation presents a method to simulate sea scenes for TV / Film with a large number of agents of various types (vessels, ports, people ...) for productions with a high degree of realism in both image and agent s behavior. This method uses modeling in fuzzy logic and programming in the MASSIVE system as the main approach to integrate the results with rendering systems and high-resolution images composition. An important goal of this dissertation is to create a system that facilitates the work of modelers and designers involved in the production pipeline.

[pt] As gerações atuais (Y, Z, Me...) são conhecidas como as Gerações Silenciosas pois fazem uso extensivo de mecanismos de mídias sociais e serviços de mensagem (SMS e mais recentemente Whatsapp) em lugar de serviços de voz. Tais gerações, que começam a ser responsáveis por grande parte do mercado consumidor, se sentem mais à vontade com a troca de mensagens vis-à-vis as relações diretas que normalmente ocorrem na comercialização de serviços e suporte pós-venda, facilitando a ampliação do escopo de soluções de auto-serviço e auto-atendimento para esse público. Nesse prisma, torna-se interessante entender de que forma esses novos consumidores se comportam nas mídias sociais e as relações e questões que os levam a adotar novas tecnologias e consumir novos produtos e serviços que podem trazer implicações significativas tanto para a evolução da teoria acadêmica como para gestores de empresas. No presente estudo é proposto um modelo conceitual para avaliação da intenção de adoção de uma nova tecnologia, integrando relações de endosso nas mídias sociais aos efeitos moduladores que o Narcisismo Social (narcisismo nas mídias sociais) podem causar sobre a dimensão afetiva uma vez que o consumo em si não seja uma necessidade fim, mas sim um meio para se auto afirmar. Surveys online com consumidores de serviço de telefonia móvel foram analisados através de equações estruturais afim de se testar se as hipóteses criadas através de indícios de relações observados na revisão da literatura foram ou não confirmadas. / [en] Current generations (Y, Z, Me...) are known as the Silent Generation because they make extensive use of mechanisms of social media and messaging (SMS and more recently Whatsapp) rather than voice services. Such generations, which begin to be responsible for much of the consumer market, feel more comfortable with the message exchange instead of direct relations that normally occur in services commercialization and post-sales support, facilitating the expansion self-service solutions for this public. In this perspective, it is interesting to understand how these new consumers behave in social media and the relationships and issues that lead them to adopt new technologies and consume new products and services that can bring significant implications for the evolution of both academic theory and for managers. In the present study we propose a conceptual model to evaluate the intention to adopt a new technology, integrating the social relations of endorsement to the modulatory effects that social media Narcissism (Narcissism in social media) may have on the affective dimension since consumption itself is not an end but rather a means to assert themselves. Online surveys with mobile phone service consumers were analyzed through structures equation modeling in order to test if the hypotheses created by evidence of the relationships observed in the literature review were confirmed or not.

[pt] É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou provas de corte atômico, pois tais procedimento envolvem menos escolhas. Provas de algumas tautologias são conhecidamente grandes quanto realizadas sem a regra do corte e curtas quando a utilizam. Queremos com este trabalho apresentar procedimentos para reduzir o tamanho de provas proposicionais. Neste sentido, apresentamos dois métodos. O primeiro, denominado método vertical, faz uso de axiomas de extensão e alguns casos é possível uma redução considerável no tamanho da prova. Apresentamos um procedimento que gera tais axiomas de extensão. O segundo, denominado método horizontal, adiciona fórmulas máximas por meio de unificação via substituição de variáveis proposicionais. Também apresentamos um método que gera tal unificação durante o processo de construção da prova. O primeiro método é aplicado a dedução natural enquanto o segundo à Dedução Natural e Cálculo de Seqüentes. As provas produzidas correspondem de certo modo a provas não normais (com a regra do corte). / [en] It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut-free proofs and their respective non-normal proofs. The task of automatic theorem proving is, on the other hand, usually based on the construction of normal, cut-free or only-atomic-cuts proofs, since this procedure produces less alternative choices. There are familiar tautologies such that the cut-free proof is huge while the non-cut-free is small. The aim of this work is to reduce the weight of proposicional deductions. In this sense we present two methods. The fi first, namely vertical method, uses the extension axioms. We present a method that generates a such extension axiom. The second, namely horizontal method, adds suitable (propositional) unifi fications modulo variable substitutions.We also present a method that generates a such unifi fication during the proving process. The proofs produced correspond in a certain way to non normal proofs (non cut-free proofs).

[pt] A Epistemologia Pós-Darwiniana de Sir Karl Popper é uma tentativa de esclarecer um ponto específico da obra do filósofo austríaco Karl Popper: a função da teoria evolutiva de Charles Darwin na obra epistemológica tardia. Alguns críticos encontram na epistemologia evolucionária, núcleo da obra tardia de Popper, uma virada naturalista baseada na biologia. O principal objetivo dessa dissertação é negar tais interpretações. As bases de aproximação de Popper com o darwinismo em sua epistemologias são lógicas e não naturalísticas. De acordo com Popper, a estrutura lógica do darwinismo ( seus elementos a priori ) é a mesma do processo de conjecturas e refutações do raciocínio dedutivo. Isso explica porquê o darwinismo, que não é uma teoria científica, mas um programa metafísico de pesquisa, pode ser tão frutífero e útil para a ciência. Assim, se estivermos certos, o rótulo de naturalismo aplicado à obra epistemológica tardia de Karl Popper é um simples caso de má interpretação. / [en] The Sir Karl Popper`s PostDarwinian Epistemology intends to clarify an specific issue: the function of Evolutionary Theory by Charles Darwin in Sir Karl Popper`s late epistemological works. Some critics find a naturalistic turn based on biological grounds in the evolutionary epistemology, bulk of the late works of Popper. The main objective of this dissertation is to deny these interpretations. The basis of Popper`s approach to Darwinism in his epistemology is not naturalistic but logical. According to Popper, the logical structure (a priori elements) of Darwinism is the same of conjecture and refutation process of deductive reasoning. This explains why Darwinism, which is not a scientific theory but a metaphysical research program, is so fruitful and helpful to science. Hence, if we are right, the label of naturalism attributed to the late epistemological works of Karl Popper is a simple case of misunderstanding.

[pt] Este trabalho emprega conceitos e ferramentas de Teoria das Categorias e Teoria de Topoi para construir um modelo matemático de problemas, reduções entre problemas, espaços e estratégias de busca heurística. Mais precisamente, uma estratégia de construção de espaços de busca é representada por um funtor de uma certa categoria de problemas para uma certa categoria de florestas. A coleção de todos estes funtores forma um topos, um modelo específico equipado com uma lógica interna própria. Esta lógica interna é usada, então, para definir estratégias de busca e heurísticas em Teoria Local dos Conjuntos. Possíveis aplicações do trabalho incluem (1) a especificação lógica e a classificação de heurísticas e meta-heurísticas usadas na prática e (2) uma versão mais abstrata e geral de resultados específicos relacionando a estrutura de problemas com métodos de resolução adequados. / [en] This work employs concepts and tools from Category Theory and Topos Theory to construct a mathematical model for problems, reductions between problems, heuristic search spaces and strategies. More precisely, a search space construction strategy is represented by a functor from a certain category of problems to a certain category of forests. The collection of all such functors forms a topos, a specific model equipped with its own internal logic. This internal logic is then used to define search satrategies and heuristics in Local Set Theory. Possible applications of this work include (1) the logical specification and classification of heuristics and metaheuristics used in pratice and (2) a more abstract and general rendering of specific results relating the structure of problems to adequate problem-solving methods.