Made available in DSpace on 2014-06-12T17:40:11Z (GMT). No. of bitstreams: 2 arquivo7007_1.pdf: 2248002 bytes, checksum: 5ce192acd13346a46efb98ac29c28741 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Este trabalho apresenta um conjunto de métodos e ferramentas para análise de imagens em Patologia utilizando Morfologia Matemática e Lógica Nebulosa. Uma nova técnica de classificação de imagens baseada na geração de bandas espectrais sintéticas pelo emprego de transformações morfológicas na extração e expansão do espaço de atributos e de Lógica nebulosa na classificação final é proposta. São apresentadas também as bibliotecas de Morfologia Matemática MorphoMat e de classificação de imagens ImageIO, desenvolvidas na linguagem de programação Ox, e o sistemas de visualização ANIMED, construído utilizando a linguagem Object Pascal, todos desenvolvidos ao longo deste trabalho. Como estudo de caso, realizou-se a análise de imagens himuno-histoquímica de amostras de pulmão com doença da membrana hialina

Cuaderno de trabajo para el curso Introducción a la Lógica Formal (HU191), que el Área de Humanidades ofrece para los alumnos de la Facultad de Economía en UPC.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia / Made available in DSpace on 2012-10-22T14:39:59Z (GMT). No. of bitstreams: 1 238723.pdf: 467535 bytes, checksum: 427245c73eaf0020f1f0bbcdfea2860e (MD5) / Hume sustentou em suas investigações que não estamos autorizados pela razão a fazer infe-rências indutivas e muitos foram os que tentaram refutar esta posição (SALMON, 1979; BLACK, 1975). Não pretendemos neste trabalho oferecer uma resposta ao problema posto por Hume, mas tentar mostrar que, apesar de não serem inferências válidas, as induções nos trazem conclusões plausíveis quando partimos de premissas também plausíveis e obedecemos certas condições. Inicialmente, faremos uso da caracterização de da Costa que nos diz que uma lógica é "qualquer classe de cânones de inferência baseada num sistema de categorias" (DA COSTA, 1993, p.12), para tentar mostrar em que sentido é possível falarmos de lógicas indutivas. Para tanto, usaremos a caracterização desse autor para o conceito de indução como sendo uma inferência (relativa a uma dada lógica L ) que não é válida do ponto de vista de L .1 Como, em geral, não há como garantir a veracidade de conclusões obtidas indutivamente, mesmo sendo todas as premissas da inferência comprovadamente verdadeiras, associaremos as sentenças envolvidas no argumento indutivo com um tipo de probabilidade subjetiva, chamada probabilidade pragmática, desenvolvida por da Costa. Sem muitos detalhes, dizemos que a probabilidade pragmática de uma sentença é o grau de crença racional na quase-verdade desta sentença e que a quase-verdade é o quanto esta sentença se aproxima da "verdade absoluta". Serão estes dois conceitos de probabilidade pragmática e de quase-verdade que nos ajudarão a medir o grau de plausibilidade de uma inferência indutiva. Por ?m, usaremos estes conceitos para também tratarmos de sentenças vagas. Assim, podemos tratar de situações em que as premissas e a conclusão de certas regras possam comportar alguma incerteza, ou vagueza, mas que a elas se possa conferir algum grau de con?abilidade. Utilizaremos um tipo de lógica paraconsistente, chamada de lógica anotada, para tratar a questão e proporemos uma regra de inferência, além da Regra da Cautela, já proposta por da Costa e Krause em (DA COSTA; KRAUSE, 2002). Hume supported in his enquiry that we are not authorized by reason to make inductive inferences and many were those who tried to refute this statement (SALMON, 1979; BLACK, 1975). We do not intend to offer Hume an answer here, but we shall attempt to show that, although inductions are not valid inferences, they bring us plausible conclusions if we start with premises that are plausible as well and if we follow certain conditions. First, we will make use of da Costa's caracterization that says that a logic is "any class of canons of inference based on a system of categories" (DA COSTA, 1993, p.12) in order to try to show how it is possible to speak of inductive logics. To manage that, we will use this author's caracterization of induction as being an inference (relative to a give logic L ) that is not valid in L . Since, in general, there is no way to ensure the truth of the conclusions that are inductively gotten, even if each premise is known to be true, we shall associate the sentences envolved in the argument with a type of subjetivist probability, called pragmatic probability, that was developed by da Costa. Without going deep into details, we say that the pragmatic probability of a sentence is the degree of rational belief in the quasi-truth of this sentence and that its quasi-truth is how close the sentece gets to the "absolute truth". These two concepts, of pragmatic probability and of quasi-truth, will help us measure the degree of plausibility of an inductive inference. At last, we shall use these concepts to also deal with vague sentences. This way, we can deal with situations in which, although the premises and the conclusion of certain rules can bear some uncertainty, or vagueness, we can still assign them some degree of con?dence. We shall use a type of paraconsistent logic, called annotated logic, to deal with this matter and we shall offer an inference rule, besides the Warning Rule, already offered by da Costa and Krause in (DA COSTA; KRAUSE, 2002).

Resumo não disponível

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2017. / Made available in DSpace on 2018-02-06T03:16:45Z (GMT). No. of bitstreams: 1 349454.pdf: 1706673 bytes, checksum: cbce48e1713484e1f94f9a567d2bac6b (MD5) Previous issue date: 2017 / O objetivo desta pesquisa é investigar os tipos de conhecimento intuitivo e o problema do fatalismo da liberdade em Schopenhauer. Demonstraremos a existência de um terceiro tipo de intuição, a ético-mística,cuja expressão é manifestada na figura do conquistador de mundos e no asceta. Tomando ela por expressão máxima da liberdade, traçaremos os vários graus de manifestação da vontade, seja no âmbito afirmativo, seja no âmbito negativo, a fim de melhor expor a imagem da liberdade em Schopenhauer. Veremos, entretanto, como esses graus estão associados à disposição de caráter dos indivíduos e como por eles a liberdade se determina, conduzindo, assim, à ideia de fatalismo da liberdade em Schopenhauer. Esse fatalismo não manifesta um teor negativo da liberdade, mas nos possibilita visualizar a proximidade entre a ética e a mística em Schopenhauer. Por fim, o quadro dos diversos graus não somente revelará as formas e graus diversos da liberdade como também nos explicitará a possibilidade de se conceber a liberdade no âmbito da afirmação da vida. Desta feita, o conhecimento intuitivo do todo da vida mostra a possibilidade da liberdade, mesmo determinada, no âmbito da aparência. / Abstract : The aim of this research is to investigate the types of intuitive knowledge and the problem of the fatalism of freedom in Schopenhauer. We will demonstrate the existence of a third kind of intuition, the ethical-mystic, whose expression is manifested in the figure of the conqueror of worlds and the ascetic. Taking it as the ultimate expression of freedom, we will trace the various degrees of manifestation of the will, whether in the affirmative or in the negative, in order to better expose the image of freedom in Schopenhauer. We will see, however, how these degrees are associated with the character disposition of individuals and how freedom determines them, thus leading to the idea of the fatalism of freedom in Schopenhauer. This fatalism does not manifest a negative content of freedom, but it enables us to visualize the closeness between ethics and mysticism in Schopenhauer. Finally, the picture of the various degrees will not only reveal the different forms and degrees of freedom but will also make explicit the possibility of conceiving of freedom in the affirmation of life. This time, the intuitive knowledge of the whole of life shows the possibility of freedom, even determined, in the realm of appearance.

UCHOA, Elenilson Bezerra. Integração de dados multifonte com base em Lógica Fuzzy na modelagem prospectiva do depósito de ferro de Quiterianópolis/Ce. 2016. 116 f. Dissertação (Mestrado em Geologia)-Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Aline Mendes (alinemendes.ufc@gmail.com) on 2016-08-22T18:33:02Z No. of bitstreams: 1 2016_dis_ebuchoa.pdf: 22027047 bytes, checksum: 492132c2bb414a312928d7fbb7932977 (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2016-08-23T18:26:44Z (GMT) No. of bitstreams: 1 2016_dis_ebuchoa.pdf: 22027047 bytes, checksum: 492132c2bb414a312928d7fbb7932977 (MD5) / Made available in DSpace on 2016-08-23T18:26:44Z (GMT). No. of bitstreams: 1 2016_dis_ebuchoa.pdf: 22027047 bytes, checksum: 492132c2bb414a312928d7fbb7932977 (MD5) Previous issue date: 2016 / Recently the state of Ceara has been an important producer and exported of iron ore, by Bandarra mine in Quiterianopolis city. In this city there are five known iron occurences, Calixto, Bandarra, São Francisco, Olho D’água and Pintada. The Bandarra iron ore deposit produced and export from Brazil to China about 1.2 million tonnes of iron ore with 60% content. These iron ore is located in Northern Borborema Province, Ceara Central Domain, between Transbrasilian belt and Taua Shear Zone in Acarau Sudomain. There are predominantly gneisses of Canindé do Ceará Complex, metasedimentary rocks of the Novo Oriente Group, granitoids of Tamboril-Santa Quitéria Complex and cenozoic deposits. This research propose na integration by Fuzzy Logic Method (knowledge-driven) involving airborne geophysics and remote sensing Enhanced Thematic Mapper Plus (ETM+/Landsat), to make an iron prospectivity model to Quiterianópolis region. The Fuzzy Logic is the simplification of raster data through application of fuzzy membership functions and integration by fuzzy operators. The iron prospectivity model was created with The Total Horizontal Gradient (THDR), Analytic Signal Amplitude (ASA), %K, eTh, eU, total-count gamma radiation, CP1, CP3, CP5, CP6 and Ratio ETM 3/1, 4/1 e 5/7. The iron prospectivity image show three prospectivity classes, Low, Medium and High. Calixto, Bandarra, São Francisco and Pintada iron ore deposits are located on high propectivity classes, serving as a reference for prospectivity model validation. We concluded Fuzzy Logic Techniques is a powerful tool in the early stages of mineral exploration, mainly iron ore deposits. / Nos últimos anos o estado do Ceará revelou-se um importante produtor e exportador de minério de ferro, principalmente através de uma usina de beneficiamento da mina Bandarra localizada em Quiterianópolis/CE. Neste município são conhecidas cinco ocorrências de ferro, Calixto, Bandarra, São Francisco, Olho D’água e Pintada. A mina de ferro Bandarra produziu e exportou para China aproximadamente 1,2 milhões de toneladas de minério de ferro com teor de 60 %. Esses depósitos de ferro estão contextualizados na Província Borborema Setentrional, Domínio Ceará Central, entre o Lineamento Transbrasiliano e a zona de cisalhamento Tauá, no Subdomínio Acaraú. Predominam gnaisses do Complexo Canindé do Ceará, rochas metassedimentares do Grupo Novo Oriente, granitoides do Complexo Tamboril-Santa Quiteria e depósitos cenozoicos. A pesquisa propõe uma integração pelo método da Lógica Fuzzy (knowledge-driven), envolvendo dados aerogeofísicos (magnetometria e gamaespctrometria) e de sensoriamento remoto Enhanced Thematic Mapper Plus (ETM+/Landsat), para elaboração de um modelo de prospectividade ferrífera para região de Quiterianópolis/CE. A Lógica Fuzzy consiste na simplificação de dados raster por meio da aplicação de funções de pertinência Fuzzy e posterior integração pelos operadores Fuzzy. O modelo prospectivo foi gerado através das imagens Amplitude do Gradiente Horizontal Total (AGHT), Amplitude do Sinal Analítico (ASA), %K, eTh, eU, Contagem Total (CT), PC1, PC3, PC5, PC6 e Razão ETM 3/1, 4/1 e 5/7. A imagem do mapa de prospectividade ferrífera apresentou três classes de prospectividade, Baixa, Média e Alta prospectiviade. As ocorrências de ferro do Calixto, Bandarra, São Francisco e Pintada localizam-se sobre áreas de Alta prospectividade, servindo como referência para validação do modelo proposto. Através do modelo apresentado foi possível concluir que a Técnica Fuzzy é uma ferramenta poderosa nas etapas iniciais de uma pesquisa mineral, principalmente a ferrífera.

FELIX, Hudson de Souza. Princípio da indução matemática: fundamentação teórica e aplicações. 2015. 39 f. Dissertação (Mestrado em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-04-27T19:01:10Z No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-04-28T11:33:16Z (GMT) No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) / Made available in DSpace on 2015-04-28T11:33:16Z (GMT). No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) Previous issue date: 2015 / This paper presents properties and mathematics teaching issues that somehow show or can be resolved using the principle of mathematics induction. with this, we seek to awaken students to the importance of demonstration in mathematics , leaving the conformity to accept any intuitive formatting formula indexed to natural numbers and go for a more refined mathematical analysis of the concepts , properties and problems that arise in mathematics. / O presente trabalho apresenta propriedades e problemas do ensino da matemática que de alguma forma se demonstram ou podem ser resolvidas usando o princípio da indução matemática. Com isso, buscamos despertar o aluno para a importância da demonstração em matemática, saindo do conformismo de aceitar a qualquer fórmula de formatação intuitiva indexada ao números naturais e partir para uma análise matemática mais refinada dos conceitos, propriedades e problemas que se apresentam na matemática.

SILVA, A. V. Avaliação do risco de ruptura em análises de estabilidade de taludes de barragens de terra utilizando números fuzzy. 2015. 126 f. Dissertação (Mestrado em Engenharia Civil: Geotecnia) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2016-04-27T11:16:34Z No. of bitstreams: 1 2015_dis_avsilva.pdf: 9952849 bytes, checksum: 0fbf3d1448c718a1b05d76b25b4c2831 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2016-04-29T18:05:53Z (GMT) No. of bitstreams: 1 2015_dis_avsilva.pdf: 9952849 bytes, checksum: 0fbf3d1448c718a1b05d76b25b4c2831 (MD5) / Made available in DSpace on 2016-04-29T18:05:53Z (GMT). No. of bitstreams: 1 2015_dis_avsilva.pdf: 9952849 bytes, checksum: 0fbf3d1448c718a1b05d76b25b4c2831 (MD5) Previous issue date: 2015-11-30 / Slope stability analyzes can be performed based on: (a) the limit equilibrium; and (b) the stress-strain behavior of the soil mass. The evalua tion of the risk of slope failure can be performed through probabilistic approaches, generat ing random values and assuming specific probability distributions for the geotechnical para meters of interest. This research aims to develop and implement a methodology for assessing t he risk of slope failure in earth dams, through applying the rules of operation with fuzzy numbers to the expressions for the factor of safety of Fellenius (1936) and Bishop Simplified (1 955) methods, as an alternative to probabilistic methods. The case of Olho d'Água Dam, built in the city of Várzea Alegre, State of Ceará, was chosen for the application and valida tion of the proposed methodology, considering operation with steady-state flow and ma ximum hydraulic load. Compared with the results, for the same dam, obtained by Araújo ( 2013), who assumed probability distributions, gamma for cohesion and beta for the friction angle, the fuzzy models, which employed trapezoidal and triangular membership func tions, maintained the conservatism trend, peculiar to the deterministic approaches of both used methods of slope stability analysis. The fuzzy model for Bishop Simplified (19 55) reported failure rates of 1% and 8% for the dam downstream slope, indicating a real ris k of failure (confirmed by its field performance, unsatisfactory since the start of oper ation), scenario not revealed by probabilistic analyses, which pointed out a zero pr obability of failure. The fuzzy methodology presented herein does not require the adoption of p robability density functions for the geotechnical parameters of interest, and provides t he realization of slope stability analyses within a much smaller computational time, without q uality losses in the results, requiring only the data of some laboratory tests, the technical ju dgment of an expert, and a spreadsheet. This makes the fuzzy approach a simpler alternative and faster than the probabilistic one, and with a promising future in its application to the analys es performed in everyday Geotechnical practice. / Análises de estabilidade de taludes podem ser reali zadas com base: (a) no equilíbrio limite; e (b) no comportamento tensão-deformação de uma massa de solo. A avaliação do risco de falha de taludes pode ser feita através de abordage ns probabilísticas, gerando valores aleatórios e assumindo distribuições de probabilida de específicas para os parâmetros geotécnicos de interesse. Esta pesquisa tem como ob jetivo desenvolver e implementar uma metodologia de avaliação do risco de ruptura de tal udes de barragens de terra, através da aplicação dos conceitos de operações com números fuzzy às expressões de obtenção do fator de segurança à ruptura dos métodos de Fellenius (19 36) e de Bishop Simplificado (1955), como alternativa aos métodos probabilísticos. O cas o da Barragem Olho d'Água, construída no Município de Várzea Alegre, Estado do Ceará, foi o escolhido para a aplicação e validação do modelo proposto, considerando operação com fluxo estacionário e carga hidráulica atuante máxima. Tendo seus resultados comparados àqueles ob tidos para a mesma barragem por Araújo (2013), que assumiu distribuições de probabi lidade gama para a coesão e beta para o ângulo de atrito, os modelos fuzzy , que empregaram funções de pertinência trapezoidai s e triangular, mantiveram a tendência de conservadoris mo peculiar às vertentes determinísticas dos dois métodos de análise de estabilidade de talu des utilizados. O modelo fuzzy para Bishop Simplificado (1955) indicou índices de falha de 1% e 8% para o talude de jusante do barramento, sinalizando risco real de ruptura (conf irmado por seu desempenho de campo, insatisfatório desde o início da operação), cenário não revelado pelas análises probabilísticas, que apontaram probabilidade de falha nula. A metodo logia fuzzy ora apresentada não requer a adoção de funções de densidade de probabilidade par a os parâmetros geotécnicos de interesse, e propicia a realização de análises de estabilidade de taludes em um tempo computacional muito menor, sem perdas na qualidade nos resultados , necessitando apenas dos dados de alguns ensaios de laboratório, do julgamento técnic o de um especialista e de uma planilha de cálculo. Isto torna a abordagem fuzzy uma alternativa mais simples e rápida que a probabilística, e de futuro promissor na aplicação às análises feitas na prática cotidiana de Geotecnia.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015 / Made available in DSpace on 2016-04-15T13:16:45Z (GMT). No. of bitstreams: 1 337788.pdf: 1542322 bytes, checksum: fcadb9653b330c2c852a929a0bbbc352 (MD5) Previous issue date: 2015 / A Web e uma grande fonte de dados. Grandes quantidades de dados são inseridos diariamente e muitos desses dados estão na forma de tabelas HTML. Alguns trabalhos têm proposto formas de extrair e integrar o conteúdo dessas tabelas para torna-los mais acessíveis para o consumo humano. Porem, essa e uma tarefa complexa e um problema ainda em aberto visto que tabelas Web n~ao possuem um padrão de representação. Alem disso, o uso de sinônimos e abreviações torna difícil a comparação dos conteúdos dessas tabelas. Assim sendo, este trabalho propõe uma nova abordagem para determinar a similaridade entre tabelas Web capaz de lidar com suas diferentes estruturas e termos sinônimos. Trabalhos relacionados não lidam, ao mesmo tempo,com essas duas problemáticas. Experimentos realizados mostram que a abordagem e promissora.<br> / Abstract : The Web is a huge information source. Large amounts of data are publisheddaily and great part of them is available as HTML tables. Someworks have proposed approaches to extract and integrate Web tables'content in order to make it more accessible for human consumption.However, this is a complex task and still an open issue given that Webtables do not have a unique representation pattern. Besides, the useof synonyms and abbreviations become hard the comparison of tables'content. Given that, we propose a new approach to determine similaritybetween Web tables which is able to deal with distinct structuresand synonym terms. Related works do not deal, at the same time,with both problematics. Experimental evaluations had shown that theapproach is promising.

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2013-12-05T19:29:55Z (GMT). No. of bitstreams: 0 Previous issue date: 1982Bitstream added on 2016-01-08T14:22:50Z : No. of bitstreams: 1 108685.pdf: 26771678 bytes, checksum: c67e040d5ec4b9b4d53ddf1616794881 (MD5)