Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia. Programa de Pós-Gradução em Filosofia, 2011. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2012-04-17T11:00:14Z No. of bitstreams: 1 2011_TomásRibeiroCardoso.pdf: 2836683 bytes, checksum: 4dafbeb250d6a16659b669c71dd4f666 (MD5) / Approved for entry into archive by Leila Fernandes (leilabiblio@yahoo.com.br) on 2012-04-17T11:29:40Z (GMT) No. of bitstreams: 1 2011_TomásRibeiroCardoso.pdf: 2836683 bytes, checksum: 4dafbeb250d6a16659b669c71dd4f666 (MD5) / Made available in DSpace on 2012-04-17T11:29:40Z (GMT). No. of bitstreams: 1 2011_TomásRibeiroCardoso.pdf: 2836683 bytes, checksum: 4dafbeb250d6a16659b669c71dd4f666 (MD5) / Este trabalho é um estudo sobre o problema dos nomes vazios. No primeiro capítulo, apresento a teoria tradicional da predicação como concebida por Alexius Meinong, Gottlob Frege e Bertrand Russell, em termos da qual o problema aparece em sua forma contemporânea. Mostro que uma teoria da predicação é sujeita ao problema quando mantém (ao menos) cinco princípios que estão presentes nessa tradição. Chamo a teoria composta com esses princípios de teoria modelo. O segundo capítulo é dedicado a expor o problema nos termos da semântica da lógica clássica de primeira ordem. Aplicada a fragmentos de linguagens naturais, ela constitui o ambiente natural para manifestação e estudo do problema. Para isso, apresento a lógica no início do capítulo e interpreto sua semântica de modo a trazer à superfície as cinco teses da teoria modelo. No terceiro e último capítulo, exploro cinco tipos de soluções para o problema, cada um habilitado pela revisão de um dos enunciados da teoria modelo e exemplificado por um pensador que pertenceu àquela tradição ou que, de algum modo, a rejeitou, como W. V. O. Quine e Rudolf Carnap. Concluo sem decidir por um tipo de solução, sugerindo que não há um critério de decisão que não seja fundamentalmente relativo aos paradigmas subjacentes a cada uma. ______________________________________________________________________________ ABSTRACT / This work is a study on the problem of empty names. In the first chapter, I explain the traditional theory of predication, as conceived by Alexius Meinong, Gottlob Frege and Bertrand Russell, in which terms the problem appears in its contemporary form. I show that a theory of predication is subject to the problem when maintaining at least five principles that are present in that tradition. I name the theory composed with these principles the standard theory. The second chapter is dedicated to bring out the problem in the terms of the standard semantics of first order predicate calculus. Applied to natural language fragments, this semantics shows itself to be the proper context of manifestation and studying of the problem. I present the logic in the beginning of the chapter and interpret its semantics in order to expose the five theses that constitutes the standard theory. In the third and last chapter, I explore five kinds of solution to the problem, each enabled by the revision of the standard theory, by means of denying one of its theses, and exemplified by some philosopher which pertains to that tradition or which have rejected it somehow, e.g. W. V. Quine and Rudolf Carnap. I conclude without deciding in favor of one kind of solution in spite of the others, suggesting that there is no criteria for decision that is not fundamentally relative to the paradigms of each solution.

Dissertação (Mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2011. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2012-04-23T16:08:04Z No. of bitstreams: 1 2011_CarlosHenriqueMoniwaTada.pdf: 2952433 bytes, checksum: 91b18ba833451abfc1ffa95e1cde139e (MD5) / Approved for entry into archive by Leila Fernandes (leilabiblio@yahoo.com.br) on 2012-04-24T11:31:32Z (GMT) No. of bitstreams: 1 2011_CarlosHenriqueMoniwaTada.pdf: 2952433 bytes, checksum: 91b18ba833451abfc1ffa95e1cde139e (MD5) / Made available in DSpace on 2012-04-24T11:31:33Z (GMT). No. of bitstreams: 1 2011_CarlosHenriqueMoniwaTada.pdf: 2952433 bytes, checksum: 91b18ba833451abfc1ffa95e1cde139e (MD5) / A qualidade da imagem de impressões digitais influencia o desempenho de sistemas automáticos de reconhecimento de impressões digitais, tais como o AFIS. Este trabalho propõe um esquema híbrido para estimativa de qualidade de imagens de impressão digital usando medidas de características locais (contraste, curvatura, fluxo de cristas papilares) e globais (área e espectro de potência no domínio da frequência). Sistemas de inferência fuzzy são usados para combinação dessas medidas e obtenção de uma pontuação de qualidade. São feitos testes usando imagens de impressões digitais das bases de dados DB2-A e DB4-A do Fingerprint Verification Competition 2006 (FVC 2006) e o programa de identificação de digitais BOZORTH3 do NIST Biometric Image Software (NBIS). É feita uma comparação do desempenho do método proposto com o programa NFIQ. Com a remoção de 5%, 10% e 15% das impressões digitais de pior qualidade da base DB2-A, obteve-se uma melhora no EER (equal error rate) de 14,4%, 29,4% e 46,6%, respectivamente. Para a DB4-A, a melhora no EER foi de 21,7%, 26% e 27,6% após a remoção de 5%, 10% e 15% das impressões digitais de pior qualidade. ______________________________________________________________________________ ABSTRACT / Fingerprint image quality affects the performance of automatic fingerprint recognition systems, such as AFIS. This work proposes a hybrid scheme for the fingerprint image quality estimation using local (contrast, curvature, ridge flow) and global (area, power spectrum in the frequency domain) measures. Fuzzy inference systems are used to combine these measures and to obtain a quality score. Tests are made with fingerprint images from the Fingerprint Verification Competition 2006 (FVC 2006) DB2-A and DB4-A databases and fingerprint matching software BOZORTH3 from NIST Biometric Image Software (NBIS). A performance comparison between the proposed method and the software NFIQ is made. After the removal of 5%, 10% and 15% of the poor quality fingerprints from the DB2-A, we obtained an improvement in EER (equal error rate) of 14.4%, 29.4% e 46.6%, respectively. For DB4-A, the improvement in EER was 21.7%, 26% and 27.6%, after removing 5%, 10% and 15% of the poor quality fingerprints.

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2016. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2017-01-16T13:02:31Z No. of bitstreams: 1 2016_MylaneVianaHortegal.pdf: 8645521 bytes, checksum: d4df760872e1135fd37f02abc927644e (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-02-16T21:52:07Z (GMT) No. of bitstreams: 1 2016_MylaneVianaHortegal.pdf: 8645521 bytes, checksum: d4df760872e1135fd37f02abc927644e (MD5) / Made available in DSpace on 2017-02-16T21:52:07Z (GMT). No. of bitstreams: 1 2016_MylaneVianaHortegal.pdf: 8645521 bytes, checksum: d4df760872e1135fd37f02abc927644e (MD5) / Atualmente, a grande maioria das obras de fundações utilizam estacas hélice contínuas em sua execução devido à agilidade e alta produtividade. Devido a tais benefícios, estas se tornaram o principal tipo de fundação profunda utilizada. Contudo, este tipo de fundação ainda apresenta variáveis subjetivas que necessitam ser melhor estudadas a fim de garantir a confiabilidade na execução e na qualidade dos estaqueamentos. Desta forma, faz-se necessário atentar para a metodologia executiva desse tipo de estaqueamento e, principalmente, para os parâmetros obtidos durante a execução das estacas hélice contínua, pois a falta de controle pode acarretar problemas no desempenho das estacas, além da perda da capacidade de carga dessas estacas. Assim, a lógica fuzzy no controle dos estaqueamentos se apresenta como um elemento importante na automação de processos, permitindo a criação de sistemas especialistas em controles inteligentes. Para isso, propõe-se neste trabalho um estudo analítico a partir do modelo proposto por Perko, em 2009, e adaptado nesta tese, através da utilização de um sistema computacional que combina manipulação simbólica, cálculo numérico, cálculo gráfico e uma sofisticada linguagem de programação, através do programa Wolfram Mathematica®. Também se propõe o desenvolvimento de um sistema inteligente baseado em Lógica fuzzy, desenvolvido com a utilização do software MATLAB®, com a finalidade de controlar o desempenho de estacas hélices contínua. Com a utilização de variáveis tais como a energia de instalação da estaca, a velocidade de perfuração, torque de execução, resistência do solo e superconsumo de concreto, combinados ou não com dados biométricos como a variação de pressão arterial média do operador, foram definidos os dados de entrada e saída com suas respectivas regras. Os dados para o presente trabalho foram obtidos a partir de três casos de obras em que os maquinários dispunham de instrumentação e total controle dos parâmetros executivos. As regras foram portanto, elaboradas a partir das leituras obtidas em campo através de entrevistas com os operadores das perfuratrizes e, a partir da experiência de engenheiros executores de EHC. A partir do sistema inteligente desenvolvido com base na técnica da lógica fuzzy e do modelo analítico proposto, foi possível entender o comportamento do estaqueamento quando da análise de cada parâmetro de entrada junto ao de saída de modo isolado, visando garantir a eficácia no controle do estaqueamento realizado, além de perceber a influencia do operador durante o processo executivo da EHC. / Currently, the vast majority of foundations works using continuous flight auger in implementation due to the agility and high productivity. Because of these benefits, these have become the main type of deep foundation used. However, this type of foundation still has subjective variables that need to be better studied in order to ensure reliability in the performance and quality of piling. Thus, it’s necessary to consider the executive methodology of this type of pile and especially the parameters obtained during the execution of continuous flight auger, because the lack of control eventually leads to problems in the performance piles, beyond the carrying capacity loss these piles. Thus, fuzzy logic in control of piling presents itself as an important element in the process automation, enabling the creation of expert systems in intelligent controls. For this, it’s proposed in this work an analytical study from the model proposed by Perko, in 2009, and adapted in this thesis, throught use of a a computer system that combines symbolic manipulation, numerical calculation, chart calculation and a sophisticated programming language, by Wolfram Mathematica® program. It also propose the development of an intelligent system based on fuzzy logic, using the software MATLAB®, in order to control the performance of continuous flight auger. From the use of variables such as the installation energy of pile, as drilling speed, running torque, soil resistance and concrete overconsumption, combined or not with biometric data such as the change in average blood pressure of the operator, the input and output data with the respective rules were defined. The data for this study were obtained from three cases of works in which the machinery had instrumentation and full control of the executive parameters. The rules were therefore drawn from the readings obtained in the field through interviews with operators of drills, and from the experience of performers engineers in EHC. From the intelligent system developed based on fuzzy logic technique and the proposed analytical model, it was possible to understand the pile behavior when analyzing each input parameter together when output isolation, to ensure effective in controlling performed pile, and realize the influence operator during the executive process of EHC.

Orientador: Hércules de Araújo Feitosa / Co-orientador: Luiz Henrique da Cruz Silvestrini / Banca: Edélcio Gonçalves de Souza / Banca: Marcelo Reicher Soares / Resumo: Este trabalho está inserido no contexto da Filosofia da Lógica e no tópi-co teorias da verdade. As reflexões das teorias da verdade colocam em evi-dência a seguinte questão de interesse no ambiente filosófico, científico e ló-gico: "O que é a verdade?". Esta tradição é bem longa, com reflexões que remontam à Antiguidade e ainda hoje são bastante pertinentes no mundo acadêmico, como podemos observar pela recente literatura sobre o assunto. Aristóteles foi um precursor desta busca ao propor que a verdade pode-ria ser caracterizada segundo sua máxima: "Dizer do que é, que ele não é, ou do que não é, que ele é, é falso; enquanto dizer do que é, que ele é, ou do que não é, que ele não é, é verdadeiro". Posteriormente, essa questão referente à verdade foi minuciosamente tratada por muitos autores, que elaboraram teorias e/ou buscaram princípios para determinar o que é verdade ou o que torna algo verdadeiro (critério de verdade). Entre as teorias da verdade usualmente discu-tidas encontramos as teorias correspondencial, coerencial, pragmática, da re-dundância e a concepção semântica de Tarski. Dedicaremos um capítulo inicial a estas teorias da verdade, quando elencamos as suas características essenciais. Recentemente, a teoria da qua-se verdade tem conquistado importância nas reflexões sobre a verdade, que tem como um precursor o professor Newton da Costa, expoente brasileiro no âmbito da Lógica. Em 1986, Mikenberg, da Costa e Chuaqui introduziram a teoria da quase verdade no ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This work is inserted in the context of the Philosophy of Logic and in the topic theories of truth. Reflections of theories of truth put in evidence questions of interest in the philosophical, scientific and logical environment: "What is the truth?". This tradition is very long, with reflections that go back to antiquity and are still very relevant in the academic world, as can be seen by the recent litera-ture about this issue. Aristotle was a precursor of this search by proposing that the truth could be characterized according to their maximum: "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true". Posteriorly, this question of the truth was carefully treated by many authors who have developed theories and/or principles to de-termine what is true or what makes something true (criteria of truth). Among the theories of truth usually discussed, we find the theories: correspondence, co-herence, pragmatic, redundancy and semantic conception of Tarski. We dedicate an initial chapter to these theories of truth, when we list their essential characteristics. Recently, the theory of quasi-truth has gained importance in the reflections about the truth, which has as a precursor Profes-sor Newton da Costa, Brazilian exponent in the context of Logic. In 1986, Mikenberg, Costa and Chuaqui introduced the theory of quasi-truth in the arti-cle Pragmatic truth and approximation to truth, p... (Complete abstract click electronic access below) / Mestre

O trabalho apresenta o desenvolvimento de um sistema inteligente, baseado em lógica fuzzy, o qual controla a velocidade de uma esteira ergométrica com a finalidade de minimizar os riscos da atividade cardíaca do usuário, permitindo ainda maximizar os benefícios que a atividade física pode proporcionar ao usuário deste equipamento. O controlador inteligente desenvolvido foi baseado na técnica de controle fuzzy, possuindo por isso um software simplificado. Além disto o hardware desenvolvido foi baseado em circuitos eletrônicos simples e de baixo custo, o que permite sua instalação nos mais diversos tipos de esteiras existentes no mercado. A contribuição técnico cientifica do equipamento desenvolvido é um controlador adaptativo que é gerado de acordo com o perfil do usuário, isto é, para um conjunto de características tais como: idade, condicionamento físico, índice de massa corporal e zona de treinamento desejada. O sistema constrói automaticamente um controlador fuzzy capaz de manter a atividade cardíaca do usuário dentro da faixa de segurança indicada pelos médicos e / ou fisioterapeutas, de acordo com as características fornecidas. O equipamento desenvolvido, hardware e software, são descritos detalhadamente e os resultados dos testes realizados com diversos usuários são comparados a valores simulados por um software dedicado a controle industrial, apresentando uma discrepância inferior a 10%. O sistema também apresentou resultados de maneira a garantir a integridade física de quem fez uso do equipamento, não tendo, em momento algum, ultrapassado o valor de freqüência cardíaca máxima permitida para o usuário. E ainda, manteve a freqüência cardíaca numa faixa entre 60 a 85% da freqüência cardíaca máxima, constatando a eficiência do controlador. / The aim of this work is to develop an intelligent system to speed control of a treadmill. The intelligent control system minimizes the risks of the user’s cardiac activity, allowing the maximization of the benefits that the physical activity can grant the user of this equipment. The developed intelligent controller is based on fuzzy control techniques, and has a simplified software. Besides, the developed hardware is based on cheaper and simpler electronic circuits, which allows its installation on driver kinds of treadmills existing in the market. The main characteristic of the developed equipment and that a controller adaptable is generated in agreement with the user`s profile, that is, for a group of such characteristics lite age, physical conditioning, index of corporal mass and training area recommended. The system builds a controller fuzzy automatically inside capable of maintaining the user`s heart activity of suitable safety´s strip for the doctors and / or physiotherapists, in agreement with the supplied characteristics. The developed equipment, its hardware and software, is described in full detail and the results of the tests accomplished with several users are compared to simulated values by a software dedicated to industrial control, presenting an inferior discrepancy of 10%. The system also presents way results that guarantee the physical integrity of who made use of the equipment, it doesn't tend, at any time, outdated the value of maximum heart frequency allowed for the user. It is still, maintained the heart frequency in a strip among 60 to 85% of the maximum heart frequency, verifying the controller's efficiency.

Las traducciones no presentan resumen.

El artículo ofrece una reflexión hermenéutica sobre el sentido aparentementeparadójico de la combinación de los términos ciencia y lógica en laCiencia de la lógica de Hegel. Se muestran las raíces metafísicas de estaempresa, presentes en la transformación kantiana de la secular concepciónaristotélica, con la finalidad de hacer más comprensible la transformaciónhegeliana de la metafísica en lógica.

Orientador: N. C. A. da Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-26T20:43:56Z (GMT). No. of bitstreams: 1 Sette_AntonioMarioAntunes_M.pdf: 488103 bytes, checksum: 577546d79fd7b23dca3238824b3b15b6 (MD5) Previous issue date: 1971 / Resumo: Nesta tese, apresentamos, de modo sistemático, alguns resultados referentes à teoria das álgebras Cw, muitos dos quais foram por nós obtidos e publicados anteriormente. Os conceitos básicos, as notações etc., utilizados neste trabalho estão descritos nas "Observações sobre a notação". No Capítulo I, introduzimos os conceitos de Álgebra Cw, de Filtro, de Ideais e de Morfismos de uma álgebra Cw; obtemos alguns resultados relativos a tais noções e, em seguida, empregamos alguns destes resultados na obtenção de informações a respeito do cálculo Cw. No Capítulo II, propomos uma nova algebrização do cálculo Cw e demonstramos um teorema que Liga este novo tipo de estrutura às álgebras Cw. Agradecemos ao Prof. N.C.A. da Costa a dedicação com que nos orientou durante estes dois anos que estivemos com ele trabalhando e, sobretudo, a sua sempre renovada paciência para conosco. Queremos agradecer também ao Prof. Mario Tourasse Teixeira por ter assistido as exposições que fizemos de alguns dos itens aqui abordados. Ainda que tenha sido indireta a colaboração do referido professor neste trabalho, vemo-nos na obrigação de agradecer ao Prof. Tourasse o incentivo que nos tem dado e, sobretudo, o excepcional exemplo que tem sido para todos aqueles de seu convívio. Por fim, agradecemos, também, ao Prof. Rubens M. Marques, que tornou possível, do ponto de vista material, a realização deste trabalho / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T12:43:36Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_D.pdf: 1773917 bytes, checksum: da2d2a1b1ecf8da6e26e419dee4888c5 (MD5) Previous issue date: 2014 / Resumo: Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal. Separamos nossa análise em dois casos: matrizes determinísticas e não-determinísticas. No primeiro caso, generalizamos o Teorema de Incompletude de Dugundji, garantindo que uma vasta família de lógicas modais não pode ser caracterizada por matrizes determinísticas finitas. No segundo caso, ampliamos a semântica de matrizes não- determinísticas para lógica modal proposta independentemente por Kearns e Ivlev. Essa ampliação engloba sistemas modais que, de acordo com nossa generalização, não podem ser caracterizados por matrizes determinísticas finitas / Abstract: This is a study on the feasibility of finite matrices as semantics for modal logics. We separate our analysis into two cases: deterministic and non-deterministic matrices. In the first case, we generalize Dugundji's Incompleteness Theorem, ensuring that a wide family of modal logic cannot be characterized by deterministic finite matrices. In the second, we extend the non-deterministic matrices semantics to modal logics proposed independently by Kearns and Ivlev. This extension embraces modal systems that, according to our generalization, cannot be characterized by finite deterministic matrices / Doutorado / Filosofia / Doutor em Filosofia

Orientador : Marcio Luiz de Andrade Neto / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:15:58Z (GMT). No. of bitstreams: 1 Buck_ThomasdeAraujo_M.pdf: 14858382 bytes, checksum: 7afc9e4988a7045055efe5bba094ca5d (MD5) Previous issue date: 1990 / Resumo: o problema de Reconhecimento de Padrões é dividido em classificação e descrição dos padrões, nos quais são utilizadas técnicas de Lógica Nebulosa, de modo a permitir maior flexibilidade no processo de reconhecimento, dando capacidade de tolerância mais elevada para o sistema. Dentre as várias técnicas matemáticas distintas usadas na solução do problema do reconhecimento de padrões, existe a chamada aproximação lingufstica, onde os padrões são representados como uma cadeia, árvore ou grafo de suas primitivas e relações, e o processo de decisão é geralmente um procedimento de análise gramatical. Com ênfase na descrição estrutural dos padrões, a aproximação sintática tenta estabelecer uma analogia entre a análise da estrutura das imagens e a sintaxe de uma linguagem formal. Os padrões são vistos como sentenças em uma Teoria de Linguagens Formais para Visão por intermédio de uma gramática / formal. Uma das principais necessidades no projeto de um sistema estrutural de reconhecimento de padrões é o desenvolvimento experimental de uma gramática, capaz de representar a análise sintática necessária para se efetuar a classificação de forma automática. Ainda que não exista um conjunto universal de primitivas para o reconhecimento lingutstico de padrões, as expressões PDL de Alan Shaw são utilizadas para diversas aplicações, dentre as quais o reconhecimento de caracteres alfanuméricos / Abstract: The Pattern Recognition problem is divided into classification and description of the patterns, in which are used Fuzzy Logic techniques, giving flexibility 1n the recogn1t1on process and a tolerance capability to the system. From the var10us dist1ncts mathematical techniques used in the solution of the pattern recogn1t10n problem, there 1s the so called linguistic approach, where the patterns are represented as a string, tree or graph of its primitives and relations, and the decision process is in general a gramatical analysis procedure. With emphasis in the structural description of patterns, the syntactic approach try to establish an analogy between the structural analysis of the images and the syntax of a formal language. The patterns are seen as sentences in a Formal Theory of Vision Language by a formal grammar. One of the most important necessity in the project of a structural pattern recognition system is the experimental development of a grammar, capable of representing the needed syntactic analysis for doing the automatic classification. Even if a universal primitive set for the linguistic recognition of patterns does not exist yet, the PDL expressions of Alan Shaw can be utilized for various applications, from among the recognition of alphanumeric characters / Mestrado / Titulação