O trabalho apresentado é composto por duas grandes partes, que tratam, respectivamente, 1) do modo como Henri Poincaré concebe o conhecimento científico e 2) do contexto histórico, da polêmica e das soluções relativas aos paradoxos da Teoria dos Conjuntos propostas por Poincaré e por Bertrand Russell. A primeira parte do texto possui sete capítulos, sendo que, dentre eles, os três primeiros têm a finalidade de esclarecer os princípios dos quais parte Poincaré, que constituem, de maneira geral, as suas bases epistemológicas. Os capítulos 04 a 07 abordam como esses princípios repercutem em cada um dos ramos do conhecimento citados pelo autor em Ciência e Hipótese. A segunda parte do texto, composta por três capítulos, se inicia com o capítulo que trata do contexto histórico no qual se dá a polêmica em tela. O capítulo nono trata do advento da Nova Lógica e, finalmente, o décimo capítulo aborda as tentativas de solução do problema. / This work has two sections. The first of them shows how Henri Poincaré thinks the principles of the scientific knowledge. The second section presents the historic context, the polemic and the solutions concerning the Set Theory’s Paradoxes, according to the ideas purposed by Henri Poincaré and Bertrand Russell. The text’s first part brings three chapters about the principles on Poincaré’s Epistemology, and other four chapters that show how these principles take consistence in each branch of science as presented by the author in Science and Hypothesis. The second section begins explicating the historic context between 1880 and 1905, when the paradoxes on Set Theory are introduced. The two least chapters treat on the advent of the New Mathematical Logic and the researching in order to find the solution of the problems correlated with the Set Theory’s Paradoxes.

Submitted by Manoela Silva (manoela.cte@gmail.com) on 2018-09-18T15:43:17Z No. of bitstreams: 4 Manoela Fuzzy.pdf: 2580791 bytes, checksum: fba4fd5090331bfa7b5e470a908a1d4d (MD5) carta de encaminhamento.pdf: 520063 bytes, checksum: 0612a3be7c8bb967e205589f878f8515 (MD5) Termo de autorizacao.pdf: 17462 bytes, checksum: ca3aba03e59de8eabcdcdc88966001fb (MD5) Ata de defesa publica.pdf: 690682 bytes, checksum: d0aa8ae8b2fa87abb67661643c54fc9e (MD5) / Approved for entry into archive by PPGM Matemática (ppgmufam@gmail.com) on 2018-09-18T18:11:39Z (GMT) No. of bitstreams: 4 Manoela Fuzzy.pdf: 2580791 bytes, checksum: fba4fd5090331bfa7b5e470a908a1d4d (MD5) carta de encaminhamento.pdf: 520063 bytes, checksum: 0612a3be7c8bb967e205589f878f8515 (MD5) Termo de autorizacao.pdf: 17462 bytes, checksum: ca3aba03e59de8eabcdcdc88966001fb (MD5) Ata de defesa publica.pdf: 690682 bytes, checksum: d0aa8ae8b2fa87abb67661643c54fc9e (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-09-19T12:40:47Z (GMT) No. of bitstreams: 4 Manoela Fuzzy.pdf: 2580791 bytes, checksum: fba4fd5090331bfa7b5e470a908a1d4d (MD5) carta de encaminhamento.pdf: 520063 bytes, checksum: 0612a3be7c8bb967e205589f878f8515 (MD5) Termo de autorizacao.pdf: 17462 bytes, checksum: ca3aba03e59de8eabcdcdc88966001fb (MD5) Ata de defesa publica.pdf: 690682 bytes, checksum: d0aa8ae8b2fa87abb67661643c54fc9e (MD5) / Made available in DSpace on 2018-09-19T12:40:47Z (GMT). No. of bitstreams: 4 Manoela Fuzzy.pdf: 2580791 bytes, checksum: fba4fd5090331bfa7b5e470a908a1d4d (MD5) carta de encaminhamento.pdf: 520063 bytes, checksum: 0612a3be7c8bb967e205589f878f8515 (MD5) Termo de autorizacao.pdf: 17462 bytes, checksum: ca3aba03e59de8eabcdcdc88966001fb (MD5) Ata de defesa publica.pdf: 690682 bytes, checksum: d0aa8ae8b2fa87abb67661643c54fc9e (MD5) Previous issue date: 2018-07-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The Fuzzy logic is about uncertainty in Math, whose representation can’t be done by crisp sets properties known. This representation, even uncertaintly can be interpretados by numbers. This job presents a proposta to use Fuzzy logic at high school based in analysis of problems that can be applied the Fuzzy sets theory from intuitive thinking. The theoretical framework is Barros and Bassanezi (2006) and in the results of Corcoll-Spina (2010) and Gayer (2017). The objective of this work is to make the students use the fuzzy logic in their daily life through applications that they must develop from the classical theory of sets, passing through the fuzzy logic and, through mathematical modeling, to model phenomena through subjectivity and to be able to interpret the applications of fuzzy logic in many situations. / A lógica fuzzy trabalha com termos imprecisos na matemática, cuja representação não pode ser feita através das propriedades dos conjuntos clássicos conhecidas. Esses termos, mesmo que imprecisos podem ser interpretados por números. O presente trabalho apresenta uma proposta para trabalhar lógica Fuzzy no ensino médio com base em análise de problemas em que se pode aplicar a teoria dos conjuntos Fuzzy a partir do pensamento intuitivo. O referencial teórico encontra-se em Barros e Bassanezi (2006) e nos resultados de Corcoll-Spina (2010) e Gayer (2017). O objetivo deste trabalho é fazer com que os alunos utilizem a lógica fuzzy no seu cotidiano através de aplicações que eles deverão desenvolver a partir da teoria clássica dos conjuntos, passando pela lógica fuzzy e, através da modelagem matemática, modelar fenômenos por meio da subjetividade e conseguir interpretar as aplicações da lógica fuzzy em variadas situações.

As técnicas que formam o campo da Descoberta de Conhecimento em Bases de Dados (DCBD) surgiram devido à necessidade de se tratar grandes volumes de dados. O processo completo de DCBD envolve um elevado grau de subjetividade e de trabalho não totalmente automatizado. Podemos dizer que a fase mais automatizada é a de Mineração de Dados (MD). Uma importante técnica para extração de conhecimentosa partir de dados é a Programação Lógica Indutiva (PLI), que se aplica a tarefas de classificação, induzindo conhecimento na forma da lógica de primeira ordem. A PLI tem demonstrado as vantagens de seu aparato de aprendizado em relação a outras abordagens, como por exemplo, aquelas baseadas em aprendizado proposicional Os seus algorítmos de aprendizado apresentam alta expressividade, porém sofrem com a grande complexidade de seus processos, principalmente o teste de corbertura das variáveis. Por outro lado, as Redes Neurais Artificiais (RNs) introduzem um ótimo desempenho devido à sua natureza paralela. às RNs é que geralmente são "caixas pretas", o que torna difícil a obtenção de um interpretação razoável da estrutura geral da rede na forma de construções lógicas de fácil compreensão Várias abordagens híbridas simbólico-conexionistas (por exemplo, o MNC MAC 890 , KBANN SHA 94 , TOW 94 e o sistema INSS OSO 98 têm sido apresentadas para lidar com este problema, permitindo o aprendizado de conhecimento simbólico através d euma RN. Entretanto, estas abordagens ainda lidam com representações atributo-valor. Neste trabalho é apresentado um modelo que combina a expressividade obtida pela PLI com o desempenho de uma rede neural: A FOLONET (First Order Neural Network).

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-01-13T17:27:04Z No. of bitstreams: 1 thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T13:56:24Z (GMT) No. of bitstreams: 1 thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T14:05:47Z (GMT) No. of bitstreams: 1 thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) / Made available in DSpace on 2017-02-07T14:05:47Z (GMT). No. of bitstreams: 1 thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) Previous issue date: 2016-07-18 / O uso da Lógica é de fundamental importância no desenvolvimento de teorias matemáticas modernas, que buscam deduzir de axiomas e conceitos primitivos todo seu corpo de teoremas e consequências. O objetivo desta dissertação é descrever as ferramentas da Lógica Formal que possam ter aplicações imediatas nas demonstrações de conjecturas e teoremas, trazendo justificativa e significado para as técnicas dedutivas e argumentos normalmente utilizados na Matemática. Além de temas introdutórios sobre argumentação e âmbito da lógica, o trabalho todo é apresentado por método sistemático em busca de um critério formal que possa separar os argumentos válidos dos inválidos. Conclui-se que com uma boa preparação inicial no campo da Lógica Formal, o matemático iniciante possa ter uma referência sobre como proceder estrategicamente nos processos de provas de conjecturas e um conhecimento mais profundo ao entender os motivos da validade dos teoremas que encontrará ao se dedicar a sua área de formação. / TheuseofLogicisoffundamentalimportanceinthedevelopmentofmodernmathematical theories that seek deduce from axioms and primitive concepts all your body of theorems and consequences. The aim of this work is to describe the tools of Formal Logic that may have immediate applications in the statements of theorems and conjectures, bringing justification and meaning to the deductive techniques and arguments commonly used in Mathematics. In addition to introductory topics on argumentation and scope of Logic, all the work is presented by systematic method in search of a formal criterion that can separate the valid arguments of the invalids. It follows that with a good initial preparation in the field of Formal Logic, the novice mathematician could have a reference on how to strategically proceed in conjectures evidence processes and a deeper knowledge to understand the reasons for the validity of theorems found on their training area.

Submitted by Almir Azevedo (barbio1313@gmail.com) on 2014-01-08T16:07:54Z No. of bitstreams: 1 dissertacao_mestrado_ien_2009_05.pdf: 1496500 bytes, checksum: 84d0c3aed109ed3cb59befb4de26aece (MD5) / Made available in DSpace on 2014-01-08T16:07:54Z (GMT). No. of bitstreams: 1 dissertacao_mestrado_ien_2009_05.pdf: 1496500 bytes, checksum: 84d0c3aed109ed3cb59befb4de26aece (MD5) Previous issue date: 2009 / A identificação de transientes numa central nuclear é freqüentemente uma tarefa muito difícil e, normalmente, depende, basicamente, da cognição humana. A identificação precoce dos desvios inesperados nos comportamentos com estado estacionário é um passo essencial para a operação, controle e gestão de acidentes em centrais nucleares. As bases para a identificação estão na percepção de que diferentes falhas e anomalias no sistema conduzem a distintos padrões evolutivos nas variáveis envolvidas no processo. Durante um evento anormal, o operador deve controlar uma grande quantidade de informação a partir dos instrumentos, próprios a cada tipo específico de evento. Contudo, diversos modelos baseados em sistemas especialistas, redes neurais e lógica fuzzy estão sendo desenvolvidos para a identificação de transientes. No presente trabalho, a investigação centra-se na possibilidade de se utilizar uma ferramenta de modelagem Neuro-Fuzzy para uma eficiente identificação de transientes, com o objetivo de auxiliar o operador a tomar decisões em relação ao procedimento a ser seguido em situações de acidentes / transientes em centrais nucleares. O sistema proposto utiliza redes neurais artificiais (RNA), como primeiro nível de diagnóstico. A partir da identificação de transientes preliminar desenvolvida pela RNA, o sistema de lógica fuzzy analisa os resultados, emitindo importante grau de confiabilidade. Uma avaliação preliminar do sistema desenvolvido foi feita no Laboratório de Interface Homem-Sistema (LABIHS). / Transient identification in Nuclear Power Plant (NPP) is often a very hard task and may involve a great amount of human cognition. The early identification of unexpected departures from steady state behavior is an essential step for the operation, control and accident management in NPPs. The bases for the transient identification relay on the evidence that different system faults and anomalies lead to different pattern evolution in the involved process variables. During an abnormal event, the operator must monitor a great amount of information from the instruments that represents a specific type of event. Several systems based on specialist systems, neural-networks, and fuzzy logic have been developed for transient identification. In the work, we investigate the possibility of using a Neuro-Fuzzy modeling tool for efficient transient identification, aiming to helping the operator crew to take decisions relative to the procedure to be followed in situations of accidents/transients at NPPs. The proposed system uses artificial neural networks (ANN) as first level transient diagnostic. After the ANN has done the preliminary transient type identification, a fuzzy-logic system analyzes the results emitting reliability degree of it. A preliminary evaluation of the developed system was made at the Human-System Interface Laboratory (LABIHS). The obtained results show that the system can help the operators to take decisions during transients/accidents in the plant.

Orientadores : Fernando Jose Von Zuben, Mauricio Fernandes Figueiredo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T05:04:30Z (GMT). No. of bitstreams: 1 CrestaniJunior_PauloRoberto_M.pdf: 1502466 bytes, checksum: ce5e0fcbce6475900a9fbe86f52ccbb0 (MD5) Previous issue date: 2001 / Mestrado

Orientadores : Armando Freitas da Rocha, Fernando Antonio Campos Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T18:10:34Z (GMT). No. of bitstreams: 1 Rodella_EdnilsonCesar_M.pdf: 5702239 bytes, checksum: 556fc4968529c5a9aca19efc3453199f (MD5) Previous issue date: 2002 / Mestrado

Orientador : Anna Regina Lanner de Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-02T05:27:02Z (GMT). No. of bitstreams: 1 Catalani_EricaMariaToledo_M.pdf: 14193268 bytes, checksum: 30b41e4ea51d54528cf5bee13caec94b (MD5) Previous issue date: 2002 / Mestrado

Orientador: Jose Oscar de Almeida Marques / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T16:40:09Z (GMT). No. of bitstreams: 1 Scherer_Fernando_M.pdf: 303198 bytes, checksum: 9c44a0bb353360595a0f592902a8630e (MD5) Previous issue date: 2003 / Resumo: Esta dissertação investiga em que sentido Wittgenstein considera que a ética é ¿transcendental¿ no Tractatus, conforme o aforismo 6.421. Para tal, realizamos neste trabalho um estudo da teoria figurativa da proposição no Tractatus, com ênfase na distinção entre o dizível e o indizível, seguido de um exame da noção de ¿sujeito metafísico¿ como aquilo que possibilita que as proposições da linguagem adquiram seu sentido pela projeção dos elementos da linguagem no mundo. Por fim, a partir da noção de ¿limites¿ do mundo e da linguagem, investigamos diversas interpretações da natureza desses limites e procuramos apresentar a unidade entre ética e lógica no Tractatus por meio de uma consideração da influência de Weininger no pensamento de Wittgenstein / Abstract: The subject of this work is the notion of ¿transcendental¿ as applied to ethics in Wittgenstein¿s Tractatus, according to the aphorism 6.421. We try to understand in which sense Wittgenstein can say there that ethics is ¿transcendental¿. To that end, we begin with a study of the ¿picture theory¿ of meaning in the Tractatus, stressing the distinction between what can and what cannot be said. After that, we examine the notion of ¿metaphysical subject¿ as what makes possible that propositions of language get their senses through the projection of the elements of the language in the world. Finally, we turn to the notion of ¿limits¿ of the world and the language, and investigate several interpretations of the nature of those limits, trying to show the unit between ethics and logic in the Tractatus by means of Weininger¿s influence in Wittgenstein¿s thought / Mestrado / Filosofia / Mestre em Filosofia

Orientadores: Rubens Maciel Filho, Wagner Caradori do Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-03T18:39:18Z (GMT). No. of bitstreams: 1 Mattedi_Alessandro_D.pdf: 3928919 bytes, checksum: 38050e85fdfb0132b8d5582679c7b0f3 (MD5) Previous issue date: 2003 / Resumo: Este trabalho apresenta o desenvolvimento de um controlador preditivo baseado em modelos fuzzy funcionais para o controle de processos de polimerização. Estes processos apresentam um comportamento dinâmico altamente não linear, dificultando assim o desenvolvimento de controladores baseados em modelo convencionais. Para tanto, consideram-se dois casos de estudo da literatura: processo de copolimerização (Congalidis et aI. 1989) e policondensação (Giudici et aI. 1999). O processo de copolimerização apresenta um sistema de reciclo que ocasiona algumas perturbações na entrada do reator do processo. Soluciona-se este problema através de um controlador feedforward apresentado por Congalidis et aI. 1989. Dessa forma, pode-se tratar o reator do processo como um sistema isolado no desenvolvimento do controlador. Para o caso do processo de policondensação, tomando-se como base o modelo estacionário do reator tubular desenvolvido por Giudici et aI. 1999, foi desenvolvido um modelo dinâmico através do seqüenciamento de dez reatores de tanque agitado contínuo (CSTR). Este modelo representa satisfatoriamente o comportamento dinâmico das principais variáveis no desenvolvimento do sistema de controle. Dessa forma, cada um desses dois casos de estudo são considerados como as plantas para aplicação dos sistemas de controle. A escolha de um controlador preditivo como base de desenvolvimento do controlador proposto deve-se ao fato do sucesso na implementação dos controladores preditivos em diversos processos químicos, pois tais controladores, além apresentarem bom desempenho nos controles regulatório e servo, apresentam a possibilidade de inclusão de restrições nas variáveis manipuladas e controladas. Assim sendo, procura-se neste trabalho apresentar o desenvolvimento de uma metodologia de projeto sistemático de controlador preditivo baseando-se em modelos dinâmicos fuzzy funcionais (Takagi e Sugeno 1985) . Estes modelos apresentam uma excelente capacidade de representação de dados dinâmicos. Além disso, apresentam a possibilidade de inclusão de informações qualitativas (ou operacionais) do processo. Tomando-se como base o modelo fuzzy de Takagi e Sugeno, a determinação do modelo (número de regras e parâmetros) é obtida a partir de um conjunto de dados provenientes do processo. O tratamento desses dados para a determinação do modelo fuzzy é realizado por meio de algoritmos matemáticos de agrupamento (clustering) e mínimos quadrados. Os modelos são validados utilizando-se uma parte dos dados de identificação, denominados de dados de teste. Os resultados dessa modelagem para os dois casos de estudo considerados são apresentados com excelentes resultados. Por fim, esses modelos fuzzy são inseridos na metodologia de controle preditivo; emprega-se o controlador preditivo baseado em coeficientes da resposta à entrada degrau (DMC) como base comparativa nos resultados de controle. Nas simulações realizadas os resultados de controle obtidos com o controlador proposto foram superiores aos oriundos do DMC convencional, demonstrando o potencial de utilização do novo algoritmo proposto para o controle de sistemas não lineares / Abstract: This work presents the development of a new predictive controller based in functional fuzzy models for polymerizatíon processes. These processes present a highly non-linear dynamic behavior, thus making difficult the development of controllers based on model as conventional predictive controllers. Two case studies were considered to analyse the performance of the proposed control/er, to know: process of copolimerization (Congalidis et al. 1989) and policondensation (Giudici et ai. 1999). The copolimerization process presents a recycle system that leads to some disturbances in the reactor input of the process. This problem is solved through a feedforward controller, developed by Congalidis et al. 1989. In this way, the reactor can be interpreted as an isolated process system for the control system design. For the polycondensation process, a dynamic model was developed through the sequence of ten reactors CSTR. This model satisfactorily represents the dynamic behavior of the main process variables for the development of the control system. Taking this into consideration the success of some applications of predictive controllers in chemical processes, and also its ability to consider the restrictions on the manipulated and control/ed variables. This type of controller was used as a basis for the development of new control algorithm coupling the fuzzy concepts together with the model predictive controllers. Thus, it explicated in this work the development of a methodology for the design the predictive control/er being based on functional dynamic models fuzzy (Takagi e Sugeno, 1985). These models present an excellent capacity to represent dynamic data. Moreover, they allow the inclusion of qualitative or operational information of the process. The fuzzy model determination (rules number and model parameters) is obtained from the process database. The treatment of these data for the fuzzy model determination is carried out by means of mathematical algorithms of clustering and least squares. The modeling by the fuzzy approach showed to have a good potential for representation. The fuzzy internal models were developed based on the functional dynamic fuzzy representation (Takagi e Sugeno, 1985). The proposed fuzzy based controller were compared to the dynamic matrix controller (DMC) and the obtained results showed that the proposed controller is robust and does not require step test as conventional controllers / Doutorado / Doutor em Engenharia Química