Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica. / Made available in DSpace on 2012-10-19T13:49:13Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T02:45:11Z : No. of bitstreams: 1 186884.pdf: 4597921 bytes, checksum: 2272cd86b44aecb55daf630813ace8b3 (MD5)

Resumo: Os problemas ambientais vêm aumentando cada vez mais no país e a degradação de seus recursos naturais vem se acentuando drasticamente. Devido a esse quadro predatório é essencial buscar formas de estagnar essa situação ou minimizá-la através de conhecimento e quantificação do processo de degradação. As Ciências Geodésicas possui ferramentas que permitem quantificar e quantificar esses problemas. Este trabalho visa à verificação da criação de uma modelagem espacial para a determinação de índices de fragilidade ambiental. Verificou-se também a influencia de cada parâmetros na modelagem e a implementação de um protótipo de sistema especialista. Essa pesquisa galga através dos dados oriundos das Ciências Geodésicas em conjunto com outras ciências se gerasse subsídios para o planejamento e gerenciamento do território de maneira ambientalmente correta. A modelagem desenvolvida, denominada IFA, foi baseada nos critérios declividade do terreno, cobertura vegetal e uso do solo, áreas de preservação, ocupação humana, tipo de solo, litologia e clima. Para as avaliações propostas nessa pesquisa se definiu três bacias hidrográficas para teste com diferenças significativas, principalmente, com relação à cobertura vegetal e uso do solo, e ação antrópica, estas foram: Bacia do Rio Belém, Bacia do Rio Cotia e Bacia do Rio Iraí. A metodologia dessa pesquisa se baseou em inicialmente se validar o modelo através de visitas in loco de especialistas de áreas especificas para a geração de pareceres das áreas de fragilidade. Diante dos resultados promissores dessa primeira etapa passou-se a ampliar a validação através da utilização de questionários, que permitiram coletar um número maior de pareceres de especialistas experientes em avaliações ambientais. Sequencialmente comparou-se o modelo IFA com os modelos Ross e Crepani utilizando a correlação espacial entre eles. Percebeu-se que a modelagem desenvolvida não apresenta alta correlação com nenhum dos dois modelos, porém a modelagem é uma junção das duas anteriores e permite uma delimitação detalhada de áreas com índice de fragilidade ambiental muito alto e alto. Também se avaliou a contribuição de cada parâmetro na modelagem IFA através da geração de mapas de índices de fragilidade ambiental com parâmetros de entradas de dados diferentes. Outra discussão foi à verificação da influencia da variação da escala dos dados de entrada no modelo. E por fim examinou-se a possibilidade do desenvolvimento de um protótipo de sistema especialista, também denominado IFA, no qual se implementou a modelagem IFA, assim como, Ross e Crepani.

Made available in DSpace on 2014-06-11T19:29:06Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-02-04Bitstream added on 2014-06-13T19:58:41Z : No. of bitstreams: 1 utuni_vhs_me_araiq_prot.pdf: 1639587 bytes, checksum: f4bdaf4aa28d4643a9768c0498990096 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesse trabalho foi desenvolvida e implementada uma interface gráfica avançada para os programas de refinamento de estruturas cristalinas utilizando dados de difração de raios X ou neutrons,...

Made available in DSpace on 2014-06-11T19:29:41Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-11-30Bitstream added on 2014-06-13T19:39:00Z : No. of bitstreams: 1 jardini_t_me_sjrp.pdf: 3132731 bytes, checksum: f7d17c296de5c8631819f117979b411d (MD5) / Um dos grandes desa os e di culdades para se obter conhecimento de fontes de dados e garantir consistência e a não duplicidade das informações armazenadas. Diversas técnicas e algoritmos têm sido propostos para minimizar o custoso trabalho de permitir que os dados sejam analisados e corrigidos. Porém, ainda há outras vertentes essenciais para se obter sucesso no processo de limpeza de dados, e envolvem diversas areas tecnológicas: desempenho computacional, semântica e autonomia do processo. Diante desse cenário, foi desenvolvido um ambiente data cleaningque contempla uma coleção de ferramentas de suporte a análise e transformação de dados de forma automática, extensível, com suporte semântico e aprendizado, independente de idioma. O objetivo deste trabalho e propor um ambiente cujas contribuições cobrem problemas ainda pouco explorados pela comunidade científica area de limpeza de dados como semântica e autonomia na execução da limpeza e possui, dentre seus objetivos, diminuir a interação do usuário no processo de análise e correção de inconsistências e duplicidades. Dentre as contribuições do ambiente desenvolvido, a eficácia se mostras significativa, cobrindo aproximadamente 90% do total de inconsistências presentes na base de dados, com percentual de casos de falsos-positivos 0% sem necessidade da interação do usuário / One of the great challenges and di culties to obtain knowledge from data sources is to ensure consistency and non-duplication of stored data. Many techniques and algorithms have been proposed to minimize the hard work to allow data to be analyzed and corrected. However, there are still other essential aspects for the data cleaning process success which involve many technological areas: performance, semantic and process autonomy. Against this backdrop, an data cleaning environment has been developed which includes a collec-tion of tools for automatic data analysis and processing, extensible, with multi-language semantic and learning support. The objective of this work is to propose an environment whose contributions cover problems yet explored by data cleaning scienti c community as semantic and autonomy in data cleaning process and it has, among its objectives, to re-duce user interaction in the process of analyzing and correcting data inconsistencies and duplications. Among the contributions of the developed environment, e ciency is signi -cant exhibitions, covering approximately 90% of database inconsistencies, with the 0% of false positives cases without the user interaction need

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas Departamento de Ciência da Computação, 2012. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2012-06-25T12:46:32Z No. of bitstreams: 1 2012_LeonardoLuizBarbosaVieiraCruciol.pdf: 2964476 bytes, checksum: 25da7f711f3ebfafc53af32502047d12 (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2012-06-25T12:46:45Z (GMT) No. of bitstreams: 1 2012_LeonardoLuizBarbosaVieiraCruciol.pdf: 2964476 bytes, checksum: 25da7f711f3ebfafc53af32502047d12 (MD5) / Made available in DSpace on 2012-06-25T12:46:45Z (GMT). No. of bitstreams: 1 2012_LeonardoLuizBarbosaVieiraCruciol.pdf: 2964476 bytes, checksum: 25da7f711f3ebfafc53af32502047d12 (MD5) / No domínio de gerenciamento de trafego aéreo existe o problema de espera no ar, o qual acontece quando aeronaves precisam sofrer medidas restritivas enquanto estão em vôo. Pode ocorrer devido ao fechamento do aeroporto, reorganização do fluxo de tráfego ou setores do espaço aéreo congestionados. Logo, as aeronaves em rota precisam descer com o maior nível de segurança possível e, se possível, acarretando os menores impactos no ambiente. Essas atividades são realizadas por controladores de vôo, os quais são responsáveis por verificar o cenário aéreo, analisar possíveis situações de risco, verificar o impacto e aplicar as melhores medidas restritivas. Porém, por melhor que seja o especialista, atuar em um ambiente de tempo real, o que significa detectar, analisar e agir dentro de um intervalo de tempo extremamente reduzido, sem meios que possam efetivamente auxiliar o controlador de vôo no processo de tomada de decisão é um fator a mais de risco para o domínio. Esta pesquisa realizou a modelagem do problema de espera no ar, propôs uma solução e aplicou em dois estudos de casos, utilizando o espaço aéreo do Brasil. O primeiro na FIR-Brasília e FIR-Curitiba e o segundo na FIR-Brasília e FIR-Recife. O modelo, denominado como Air Holding Problem Module, utiliza Sistemas Multiagentes e Aprendizagem por Reforço, na qual foi utilizado o algoritmo Q-Learning para o processo de aprendizado. O sistema pode sugerir ações mais precisas e realistas, baseadas no passado e no conhecimento dos especialistas, prevê o impacto das medidas restritivas sob o cenário local e/ou global e, assim, aumentar o nível de segurança do cenário aéreo, pois ao agir os controladores de vôo já possuem uma previsão dos seus impactos. Os resultados alcançados se mostraram acima dos esperados inicialmente e obtiveram melhores resultados conforme os cenários se tornavam mais críticos. Avaliando os estudos de caso, o primeiro experimento alcançou entre 8% e 47% de melhoria nos cenários locais e entre 0% e 49% de melhoria no cenário global, ou seja, o pior resultado foi igual a abordagem tradicional; no segundo, foi alcançado entre 15% e 57% de melhoria nos cenários locais e entre 41% e 48% de melhoria no cenário global. Além da melhoria no processo de análise, previsão de impactos e sugestões de medidas restritivas, foi possível modelar uma solução computacional para apoiar, de forma efetiva, a tomada de decisão do controlador de vôo. _________________________________________________________________________________ ABSTRACT / In the air traffic management domain there is the air holding problem, which happens when restrictive measures have to be taken while in the flight. This problem may occur due to airport closure, traffic flow reorganization or congested airspace sectors. In this case, aircrafts in flight must land with the highest level of safety possible and, if possible, resulting in the lowest impacts in environment. These activities are performed by flight controllers, which are responsible to confirm airspace scenario and analyze possible risk situations. Therefore, even with a great specialist, take decision in a real time environment which means detect, analyze and act in a time interval extremely short, without any means to support effectively the flight controller in the decision making process is one more factor of risk for the domain. This research accomplished the modeling of air holding problem, offered a solution and applied it in two study cases in Brazil airspace. The first one in FIR-Brasilia and FIR-Curitiba and second one in FIR-Brasilia and FIR-Recife. The model defined as Air Holding Problem Module, uses Multiagent System and Reinforcement Learning with the Q-Learning algorithm for the learning process. The system can suggest more accurate and realistic actions, based on the past and knowledge of the specialists, predict the impact of restrictive measures under the local and global scenario, and then, increase the safety level in the airspace scenario. The results achieved were better as scenarios became more critical. Evaluating the study cases, the first one reached between 8% to 47% of improvement of the level of the local air traffic scenario and between 0% to 49% of improvement in the global scenario. The second one achieved between 15% and 57% improvement in local scenarios and between 41% and 48% improvement in global scenario. Besides the improvement of the analysis process, prediction of impacts and suggestions of restrictive measures, it was possible to create a computational solution to support, in an effective way, the process of decision making of the flight controller.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2008. / Submitted by Diogo Trindade Fóis (diogo_fois@hotmail.com) on 2009-10-09T13:26:48Z No. of bitstreams: 1 2008_RodrigoQueirozSouza_original.pdf: 7378254 bytes, checksum: 9501b8f4624ccee7491aabe538b36a08 (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2010-02-12T21:59:46Z (GMT) No. of bitstreams: 1 2008_RodrigoQueirozSouza_original.pdf: 7378254 bytes, checksum: 9501b8f4624ccee7491aabe538b36a08 (MD5) / Made available in DSpace on 2010-02-12T21:59:46Z (GMT). No. of bitstreams: 1 2008_RodrigoQueirozSouza_original.pdf: 7378254 bytes, checksum: 9501b8f4624ccee7491aabe538b36a08 (MD5) Previous issue date: 2008-08-29 / A reestruturação do setor elétrico no Brasil, o recente avanço tecnológico e as crescentes exigências do mercado consumidor impuseram às empresas de geração de energia elétrica padrões mais rigorosos de qualidade, continuidade e segurança. Tornou-se imperativo para a área de manutenção, principal responsável pela qualidade da energia e pela disponibilidade dos equipamentos, conhecer os recursos disponíveis, dominar técnicas avançadas, realizar o inter-relacionamento entre sistemas, utilizar sistemas informatizados para histórico e análise dos dados dos equipamentos e para o planejamento dos trabalhos de manutenção, e utilizar de índices para comparação e controle. O presente trabalho se propõe a apresentar uma solução neste contexto. Tem como objetivo desenvolver uma metodologia para construção de um sistema de manutenção baseada em condição visando dar suporte às atividades de manutenção de ativos de usinas hidrelétricas e melhorar a confiabilidade destes ativos. A metodologia proposta apresenta conceitos de manutenção centrada em confiabilidade e técnicas de sistemas especialistas reunidas num sistema inteligente de apoio à tomada de decisão. Esta metodologia baseia-se no modelo de referência OSA-CBM (Open System Architecture for Condition-Based Maintenance) adaptado a uma arquitetura computacional cliente/servidor. Para a validação da metodologia foi implementado um sistema computacional que ficou designado como SIMPREBAL. Realizou-se um estudo de caso do sistema SIMPREBAL na usina hidrelétrica de Balbina. Os resultados deste estudo sugerem que a metodologia proposta possui um enorme potencial na detecção de falhas e sugestões de ações de manutenção, mas a implementação computacional tem muito a evoluir. O prognóstico de falhas e a análise da confiabilidade dos equipamentos são propostos na metodologia, mas não conduziram a resultados completamente conclusivos no estudo de caso em função do pouco tempo em que o sistema SIMPREBAL esteve em funcionamento e das poucas variáveis que puderam ser monitoradas. _______________________________________________________________________________ ABSTRACT / The electric sector’s rearrangement in Brazil, the recent technological progress and the growing demands of the consuming market had imposed to the electric power generation companies more rigorous patterns of quality, continuity and safety. It became imperative for the maintenance area, main responsible for the energy quality and for the equipments availability, that it know the available resources, dominate advanced techniques, accomplish the inter-relationship among systems, use computerized systems to report and analyse the equipments’ data and to plan and program the maintenance works, and use indexes for comparison and control. The present work proposes to present a solution in this context. Its objective is to describe a methodology for development of a condition-based maintenance system aiming to give support to the maintenance activities of hydroelectric power stations assets and to improve the reliability of these assets. The proposed methodology presents concepts of reliabilitycentered maintenance and techniques of expert systems gathered in an intelligent decision support system. This methodology is based on the OSA-CBM (Open System Architecture for Condition-Based Maintenance) reference model adapted to a client/server computational architecture. For validation of this methodology a computational system was implemented, designated as SIMPREBAL. A case study was done on SIMPREBAL system in the Balbina hydroelectric power station. The results of this study suggest that the proposed methodology has a huge potential on detecting failures and suggesting maintenance actions, but the computational implementation has a lot to develop. Failures prognostic and equipments reliability analysis are proposed in the methodology, but they didn't lead to completely conclusive results in the case study, due to the little time in that the SIMPREBAL system was in operation and to the little variables that could be monitored.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2008. / Submitted by Loiana Noronha (loiaunb@hotmail.com) on 2010-03-17T17:11:16Z No. of bitstreams: 1 Rosimarci Tonaco.pdf: 77802321 bytes, checksum: 8b5ad106dd55bf55637f31e62404cdc1 (MD5) / Approved for entry into archive by Joanita Pereira(joanita) on 2010-03-23T16:19:51Z (GMT) No. of bitstreams: 1 Rosimarci Tonaco.pdf: 77802321 bytes, checksum: 8b5ad106dd55bf55637f31e62404cdc1 (MD5) / Made available in DSpace on 2010-03-23T16:19:51Z (GMT). No. of bitstreams: 1 Rosimarci Tonaco.pdf: 77802321 bytes, checksum: 8b5ad106dd55bf55637f31e62404cdc1 (MD5) Previous issue date: 2008-08 / Este trabalho apresenta uma metodologia para o desenvolvimento de bases de conhecimento aplicada à manutenção baseada em condição e implementação de um sistema inteligente de manutenção preditiva. A metodologia descreve um método detalhado que inclui desde a coleta dos dados até a implementação das regras. O trabalho começa com a coleta de dados, que resultou na catalogação das possíveis falhas e nas intervenções de manutenção adotadas para corrigir as falhas. Em seqüência foi definida a estrutura da base de conhecimento e finalmente a implementação das regras de produção. O sistema inteligente de manutenção preditiva foi projetado para usar a base de conhecimento como fonte de raciocínio, permitindo realizar manutenção preditiva de turbinas hidráulicas. A implementação permitiu: monitorar os dados dos sensores instalados nos equipamentos da usina; sugerir tomadas de decisão apontando intervenções de manutenção; aumentar a segurança do processo de geração de energia a partir da monitoração dos dados; e tratar e interpretar as informações adquiridas a partir dos sensores instalados nos equipamentos monitorados pelo sistema. _______________________________________________________________________________ ABSTRACT / This work presents a methodology for the development of knowledge bases applied to the condition based maintenance and implementation of an intelligent system. The methodology describes a detailed method that includes since the collection of the data until the implementation of the rules. The work starts with the data collection. The knowledge engineering identified possible failures and the actions adopted to correct those imperfections. After that the structure of the knowledge base was defined and finally the implementation of the production rules. The intelligent maintenance system was projected to use the knowledge base as a thinking source. This allowed the maintenance of hydraulic turbines using both ways, the specialist system and the knowledge base. The implementation of the system allowed to realize data evaluation from the sensors installed in the plant. With the system it is possible to suggest maintenance decision and increase the security of the process. The data aquired from the sensors can be processed and interpreted by the system.

Neste trabalho apresentamos o desenvolvimento e a implementação de diversas técnicas de segmentação de imagens em termos de detecção de bordas, com um destaque especial para a segmentação não-linear. Os métodos considerados foram: o Gradiente, o Laplaciano da Gaussiana, a Regularização linear, e a segmentação não-linear usando o algoritmo Graduated Non Convexity, baseado na minimização de um funcional de energia associado à imagem. O tratamento matemático do funcional foi realizada segundo o paradigma do cálculo variacional. A sua principal vantagem é evidenciada durante o tratamento de bordas e descontinuidades, pois como a segmentação atua de forma não uniforme na imagem, apenas as regiões mais uniformes são suavizadas, preservando as descontinuidades, o que possibilita a conservação mais precisa dos contornos. Nos capítulos destinados a introdução das técnicas computacionais, apresentamos alguns exemplos das segmentações obtidas, possibilitando uma avaliação comparativa e qualitativa dos resultados. Aplicações em micrografias de cristais de KBr e de minerais serviram como um ensaio para a investigação da validação da segmentação através do algoritmo graduated Non Convexity. / In this work we describe the development and implementation of several image segmentation techniques, with special attention focused on non linear segmentation. The considered edge detection methods are: Gradient, Laplacian of Gaussian, linear regularization, and the non-linear Graduate Non Convexity segmentation algorithm based on the minimization of the energy functional associated with the image contour. The mathematical treatment was done according to the variational calculus paradigm. The major advantage of such an approach is noted during the treatment of borders and discontinuities, since this method causes the segmentation to act non-uniformelly on the image, in such a way that just the homogeneus regions are smoothed, while preserving discontinuities and enabling more exact localization of the contours. Along the charpters dedicated to introducing the techniques, we present some examples of segmented images, enabling the qualitative and quantitative evaluation of the results. Applications to micrographies of KB4 crystals and minerals in soil provide a possibility to investigate and validate the Graduate Non Convexity segmentation methods.

Orientador: Rodolfo Jardim de Azevedo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-05T07:08:22Z (GMT). No. of bitstreams: 1 Moreira_RogeriodeRangel_M.pdf: 1401743 bytes, checksum: 922148e704936c726c75bd83df0559c6 (MD5) Previous issue date: 2004 / Resumo: Devido ao aumento da quantidade de sistemas embarcados no dia a dia das pessoas, faz-se necessário que tais sistemas tenham desempenho ótimo aliado a um baixo custo de produção. O Projeto Chameleon é um projeto direcionado para a área de arquiteturas embarcadas reconfiguráveis, voltado para a determinação de padrões de programas que devem ser implementados em hardware de forma a otimizar o desempenho de tais sistemas embarcados. Este trabalho apresenta a biblioteca para seleção de padrões de programas ¿ Pattern Matcher, que corresponde a um dos módulos do Projeto Chameleon. A sua principal característica é a habilidade de filtrar padrões de programas originados de uma massa de dados de grandes proporções, onde fica praticamente impossível uma análise manual de quais padrões devem ser selecionados para implementação no hardware. As principais contribuições deste projeto são: um conjunto de filtros que podem ser utilizados de forma individual ou conjugada de modo a determinar os padrões que atendem as necessidades dos projetistas, além de um conjunto de funções estatísticas que permitem analisar um conjunto de padrões de programas, juntamente com uma arquitetura de software modular capaz de suportar novas extensões de filtros e análises estatísticas / Abstract: Due to the ever increasing usage of embedded systems in our day lives, these systems are required to accomplish an optimal performance along with a low cost os production. The Chameleon Project focuses on embedded reconfigurable architectures, where it struggles to pin point which code patterns are elect able to be implemented in hardware in order to optimize the overall system performance. This theses presents the Pattern Matcher, a library that fits the Chameleon Project architecture. Its mains capabilities comprises the automatic code pattern filtering. Since these patterns belong to a huge data base, it would be virtually impossible to manually select the code patterns that may fit a developer's need among thousands of them. The main contributions of this theses are: a set of filters that can be used individually or chained in order to pick those code patterns that fit someone needs, along with a set of statistical functionalities that allow one to have an overview of an entire library of code patterns and an extensible software architecture that can be extended to support new filters and statistical functionalities / Mestrado / Engenharia de Computação / Mestre em Computação

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T14:31:03Z (GMT). No. of bitstreams: 1 Rezende_AlexandredeMelo_M.pdf: 2803701 bytes, checksum: 5ade89f6a0190e65bb4f8aa5e93783eb (MD5) Previous issue date: 1996 / Resumo: Nesta dissertação propõe-se uma extensão temporal à Teoria das Coberturas Parcimoniosas. Esta teoria provê um fundamento teórico ao processo de raciocínio diagnóstico, como um raciocínio abdutivo baseado nos modelos que associam causas à suas conseqüências (ou doenças com seus sinais e sintomas). A extensão temporal proposta para a Teoria das Coberturas Parcimoniosas possibilita associar a cada doença a evolução temporal dos seus sinais e sintomas. A eliminação de hipóteses temporalmente inconsistentes minimiza uma das maiores limitações da Teoria das Coberturas Parcimoniosas: a teoria pode incluir um grande número de hipóteses alternativas. Além do mais, a inclusão de aspectos temporais a uma extensão da teoria que inclua informações probabilísticas também elimina o problema de rejeições incorretas de hipóteses quando um sintoma necessário não estiver presente. A extensão temporal proposta é aplicada a um problema de diagnóstico médico em que o tempo é importante na diagnose. Os resultados obtidos foram bastante satisfatórios, como a construção rápida da base de conhecimento, a eliminação significativa do número de hipóteses e a redução do tempo gasto na obtenção da solução do problema. Finalmente, são apresentadas as contribuições, limitações e extensões futuras desta dissertação / Abstract: In this work we propose a temporal extension to the Parsimonious Covering Theory. This theory provides a theoretical foundation for the diagnostic reasoning process as an abdutive reasonig based on models that associate causes with their consequences (or diseases and their symptoms). Our temporal extension of the Parsimonious Covering Theory allows one to associate to a disease a temporal evolution of symptoms. The elimination of temporally inconsistent hypothesis minimizes one of the greatest limitation of the Parsimonious Covering Theory: the theory may include a large number of alternative hypothesis. Furthermore, the inclusion of temporal aspects to an extension of this theory that includes probabilistic information also eliminates the problem of incorrectly rejecting hypothesis if a necessary symptom has not yet ocurred. Finally, the limitations of the representation formalism and the problems with the temporal reasoning in a diagnostic system are also described / Mestrado / Mestre em Ciência da Computação