Propõe-se, nesta tese, o desenvolvimento de uma nova ferramenta baseada em conjuntos fuzzy gerais do tipo-2 para aplicação em processos de classificação digital de dados. O problema de classificação a ser considerado está relacionado à identificação de regiões de floresta em imagens de satélite com o objetivo de auxiliar em tarefas de monitoramento florestal. O classificador digital desenvolvido utiliza um mecanismo de inferência denominado de "inferência escalonada fuzzy geral do tipo-2" para classificar os pixels das imagens de satélite de acordo com sua cobertura vegetal. Tal classificador é inovador pois, além de utilizar conjuntos fuzzy tipo-2 gerais, pode utilizar tanto uma base de regras específica quanto uma base genérica (ambas de forma hierárquica) para reclassificar pontos que, do contrário, permaneceriam sem classificação. Isto permite a obtenção de uma base de regras compacta (composta de poucas regras). A justificativa para o uso de sistemas de inferência do tipo-2 é que estes, apesar do custo computacional maior, apresentam desempenho superior aos sistemas do tipo-1 equivalentes. Os testes realizados mostram que, de fato, o sistema proposto é melhor do que o classificador fuzzy convencional usualmente empregado em aplicações semelhantes e possui desempenho comparável ao classificador estatístico da máxima verossimilhança, sendo uma alternativa viável ao último. / This work proposes the development of a new tool based on general type-2 fuzzy sets to be applied to digital classification of data. The classification problem considered here regards the identification of areas of forest in satellite images. The goal is to assist users in tasks related to monitoring forest. The developed digital classifier employs an inference mechanism called "general type-2 scaled inference" to classify pixels in images according to their vegetation cover. Such classifier is innovative because, besides using general type-2 fuzzy sets, it can use specific and generic rules base (both in a hierarchical way) to reclassify pixels that remain unclassified. Such hierarquical reclassification leads to a compact rule base (with few rules). The reason why one should use type-2 fuzzy inference is that they present better performance than their type-1 counterparts, in spite of their bigger computational cost. The carried out tests showed, for sure, that the proposed system is better than the conventional fuzzy classifier usually employed in similar applications and its performance is comparable to the statistical likelihood classifier, proving to be an alternative choice to this last one.

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-16Bitstream added on 2014-06-13T20:08:10Z : No. of bitstreams: 1 000734174.pdf: 1301603 bytes, checksum: c022c2b4e049a701b1abb5a9e04fe8e9 (MD5) / Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas com o objetivo de tratarmos de sistemas baseados em regras fuzzy e algumas aplicações / In this paper are presented some basic concepts of Fuzzy Sets Theory: operation with fuzzy sets, Zadeh extension principle, fuzzy numbers and fuzzy logic. The fuzzy relations are presented for the purpose of treating systems based on fuzzy rules and some application

Orientador: Luciano Barbanti / Banca: Ernandes Rocha de Oliveira / Banca: antonio Carlos Tamarozzi / Resumo: Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às "fórmulas" e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática / Abstract: This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics / Mestre

O presente trabalho investiga a adequação, o desempenho e a respectiva importância, para os usuários dos espaços abertos comuns com fins de recreação em conjuntos habitacionais populares, e traz as principais conclusões da análise comparativa realizada, em dois desses conjuntos: Santo Tomé (Argentina) e São Borja (Brasil). Esta pesquisa de avaliação pós-ocupação utiliza, como indicadores, o comportamento e a satisfação dos seus usuários, para avaliar o desempenho desses espaços abertos comuns. É feita uma análise comparativa da percepção dos usuários de seus ambientes de recreação, nos dois conjuntos habitacionais, de modo a entender-se melhor como eles se apropriam, utilizam e avaliam os espaços abertos comuns, com o objetivo de identificar os principais fatores que afetam positiva ou negativamente o uso desses espaços e o seu nível de satisfação e, conseqüentemente o desempenho dos conjuntos habitacionais para a vida coletiva. Pretende produzir informações e reflexões que realimentem projetos futuros semelhantes. Igualmente este estudo, impulsionado pelo processo de integração do Mercosul, se propõe a tentar viabilizar a iniciação de estudos integrados entre países limítrofes, em temas de interesse comum, como o do planejamento urbano.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T20:27:48Z (GMT). No. of bitstreams: 1 244635.pdf: 643291 bytes, checksum: 10dddc5e96e73351f4f0a02ae3faee8b (MD5) / Neste trabalho estuda-se um Modelo para classificação de espécies, em função do risco de extinção. A IUCN (International Union for the Conservation Nature) classifica as espécies, quanto ao risco de extinção, em cinco categorias. A classificação leva em conta fatores como Declínio Populacional, Extensão de Ocorrência, Área de Ocupação etc. Nesta classificação são estabelecidos limites que fazem uma mudança brusca de uma categoria para outra. É muito difícil estimar, com exatidão, o número de indivíduos de uma espécie ou o seu Declínio Populacional nos últimos tempos, tornando difícil saber a qual categoria da IUCN que a mesma pertence, principalmente se os dados são valores próximos aos valores de fronteira entre duas categorias. Visando melhorar esta classificação, uma fronteira entre duas categorias será tratada, neste trabalho, de forma fuzzy, afim de evitar uma mudança brusca de uma categoria para outra. Desta forma, uma pequena variação nos dados não muda a classificação de uma espécie.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2012-10-16T05:36:33Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T18:12:19Z : No. of bitstreams: 1 91272.pdf: 1794535 bytes, checksum: e1a458cc3bfc94f8dcf4fbf8f68b26a0 (MD5) / Este trabalho apresenta como objetivo geral o desenvolvimento de um sistema especialista difuso para controle de estações de tratamento de esgotos pelo processo de lodos ativados. Os responsáveis pelo controle operacional dessas estações, encontram sérias dificuldades. Em vista disso, torna-se necessário a pesquisa e o desenvolvimento de novos métodos, com o intuito de descrever o mais corretamente possível a situação da operação. Inicialmente é feito um estudo das técnicas de inteligência artificial, da teoria do conjuntos difusos e do tratamento de esgotos, especificamente, pelo processo de lodos ativados. A seguir, é construído um modelo baseado em lógica difusa, no qual se determinam as relações difusas entre as variáveis de estado e de controle. Essas relações são implemantadas num base de conhecimento. Finalmente, é feita uma aplicação prática do modelo e sua implementação computacional, sendo verificada sua operacionalidade e avaliados os resultados obtidos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T06:23:52Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T18:53:11Z : No. of bitstreams: 1 94749.pdf: 3557625 bytes, checksum: 0c72fba1c05c9c7290ec051e0251e611 (MD5) / O Controle Estatístico de Processos (CEP) vem se mostrando uma importante ferramenta para a melhoria contínua da qualidade, através do monitoramento contínuo dos processos produtivos e do estudo da capabilidade dos mesmos. O CEP já se encontra bastante difundido entre empresas que adotam modelos de gestão mais "avançados", baseados no conceito de Qualidade Total ou correlatos. A proposta deste trabalho é o desenvolvimento de um sistema computacional que auxilie a prática do CEP, utilizando ferramentas de inteligência artificial no reconhecimento de padrões de gráfico de controle. Foi utilizada a abordagem sintática para o reconhecimento de padrões de gráficos de controle, tendo sido desenvolvido e implementado um sistema classificador de padrões deformados utilizando técnicas de reconhecimento sintático com correção de erro e de conjuntos difusos. O sistema ainda associa causas prováveis aos padrões não naturais detectados.

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T04:33:52Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T23:50:48Z : No. of bitstreams: 1 138275.pdf: 13252459 bytes, checksum: 3084f310694bfa5dc4c2d69c3acb2988 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T11:10:06Z (GMT). No. of bitstreams: 1 221454.pdf: 643291 bytes, checksum: 10dddc5e96e73351f4f0a02ae3faee8b (MD5) / Neste trabalho estuda-se um Modelo para classificação de espécies, em função do risco de extinção. A IUCN (International Union for the Conservation Nature) classifica as espécies, quanto ao risco de extinção, em cinco categorias. A classificação leva em conta fatores como Declínio Populacional, Extensão de Ocorrência, Área de Ocupação etc. Nesta classificação são estabelecidos limites que fazem uma mudança brusca de uma categoria

La tesis del Mercado + Vivienda multifamiliar de Magdalena del Mar se proyecta en donde se encuentra el actual mercado, mas toma la manzana completa de 100x100 metros (10 000 metros cuadrados), flanqueado por el Parque Túpac Amaru y la calle Bolognesi, Leoncio Prado, Castilla y el boulevard peatonal y comercial Valencia en el distrito de Magdalena del Mar, Lima, Perú. La propuesta de uso mixto consta de dos volúmenes reconocibles: el primero frente al parque Túpac Amaru que alberga en el zócalo (1) 15 tiendas, las cuales las 2 de los extremos cuenta con un segundo piso y (2) los halls de ingreso hacia cada una de las 4 torres de vivienda, que ocupan del tercer hasta el octavo piso, ya que el segundo aloja el food court (patio de comidas) del mercado, función del segundo volumen reconocible que se inmiscuye en el primero para obtener la vista hacia el Parque Túpac Amaru. El segundo volumen reconocible es el del mercado, que se sitúa hacia el boulevard Valencia y en el que se encuentran los puestos de venta que se diferencian por niveles dependiendo de sus actividades comerciales. Es en el techo del mercado en donde se hallan 4 canchas de fútbol (futsal) con una cobertura sinuosa que corona solo este volumen y sirve de protección contra el sol, igualmente de aislamiento visual y sonoro para la vivienda; es a este nivel que se accede únicamente desde las esquinas del boulevard Valencia con las calles Leoncio Prado y Castilla. / The thesis “Market + Multifamily housing of Magdalena del Mar” is projected where the current market is located, it also takes the complete block of 100x100 meters (10 000 square meters), flanked by Parque Túpac Amaru and Calle Bolognesi, Leoncio Prado, Castilla and the pedestrian and commercial Valencia boulevard in the district of Magdalena del Mar, Lima, Peru. The mixed use proposal consists of two recognizable volumes: the first one facing Parque Túpac Amaru that houses in its base (1) 15 stores, the 2 stores at the ends have a second floor and (2) the entrance halls to each of the 4 housing towers that occupy the third to the eighth floor, since the second floor houses the food court of the market, which is the function of the second recognizable volume that meddles into the first in order to get the view towards Parque Túpac Amaru. The second recognizable volume is the market itself, which is located towards Valencia boulevard, where the shopping stalls are located and are differentiated by levels depending on their commercial activities. It is on the roof of the market where 4 soccer fields are found (futsal) with a sinuous coverage that crowns only this volume and works as protection against the sun, as well as visual and sound isolation for the housing. This level is only accessible from the corners of the Valencia boulevard with Calle Leoncio Prado and Calle Castilla. / Tesis