Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-07-31T13:38:32Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_OtimizacaoProcessoAprendizagem.pdf: 1776244 bytes, checksum: 70399c027bdcfb2e5676cb7cc2b4d049 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-09-05T12:32:05Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_OtimizacaoProcessoAprendizagem.pdf: 1776244 bytes, checksum: 70399c027bdcfb2e5676cb7cc2b4d049 (MD5) / Made available in DSpace on 2014-09-05T12:32:05Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_OtimizacaoProcessoAprendizagem.pdf: 1776244 bytes, checksum: 70399c027bdcfb2e5676cb7cc2b4d049 (MD5) Previous issue date: 2014 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A automação na gestão e análise de dados tem sido um fator crucial para as empresas que necessitam de soluções eficientes em um mundo corporativo cada vez mais competitivo. A explosão do volume de informações, que vem se mantendo crescente nos últimos anos, tem exigido cada vez mais empenho em buscar estratégias para gerenciar e, principalmente, extrair informações estratégicas valiosas a partir do uso de algoritmos de Mineração de Dados, que comumente necessitam realizar buscas exaustivas na base de dados a fim de obter estatísticas que solucionem ou otimizem os parâmetros do modelo de extração do conhecimento utilizado; processo que requer computação intensiva para a execução de cálculos e acesso frequente à base de dados. Dada a eficiência no tratamento de incerteza, Redes Bayesianas têm sido amplamente utilizadas neste processo, entretanto, à medida que o volume de dados (registros e/ou atributos) aumenta, torna-se ainda mais custoso e demorado extrair informações relevantes em uma base de conhecimento. O foco deste trabalho é propor uma nova abordagem para otimização do aprendizado da estrutura da Rede Bayesiana no contexto de BigData, por meio do uso do processo de MapReduce, com vista na melhora do tempo de processamento. Para tanto, foi gerada uma nova metodologia que inclui a criação de uma Base de Dados Intermediária contendo todas as probabilidades necessárias para a realização dos cálculos da estrutura da rede. Por meio das análises apresentadas neste estudo, mostra-se que a combinação da metodologia proposta com o processo de MapReduce é uma boa alternativa para resolver o problema de escalabilidade nas etapas de busca em frequência do algoritmo K2 e, consequentemente, reduzir o tempo de resposta na geração da rede. / Automation at data management and analysis has been a crucial factor for companies which need efficient solutions in an each more competitive corporate world. The explosion of the volume information, which has remained increasing in recent years, has demanded more and more commitment to seek strategies to manage and, especially, to extract valuable strategic informations from the use of data mining algorithms, which commonly need to perform exhausting queries at the database in order to obtain statistics that solve or optimize the parameters of the model of knowledge discovery selected; process which requires intensive computing to perform calculations and frequent access to the database. Given the effectiveness of uncertainty treatment, Bayesian networks have been widely used for this process, however, as the amount of data (records and/or attributes) increases, it becomes even more costly and time consuming to extract relevant information in a knowledge base. The goal of this work is to propose a new approach to optimization of the Bayesian Network structure learning in the context of BigData, by using the MapReduce process, in order to improve the processing time. To that end, it was generated a new methodology that includes the creation of an Intermediary Database, containing all the necessary probabilities to the calculations of the network structure. Through the analyzes presented at this work, it is shown that the combination of the proposed methodology with the MapReduce process is a good alternative to solve the scalability problem of the search frequency steps of K2 algorithm and, as a result, to reduce the response time generation of the network.

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-11-12T16:11:38Z No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_ModelagemDisponibilidadeUnidade.pdf: 2938493 bytes, checksum: c9fb17fbdb7f0bba297ede0cc1d161b5 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-11-13T11:48:58Z (GMT) No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_ModelagemDisponibilidadeUnidade.pdf: 2938493 bytes, checksum: c9fb17fbdb7f0bba297ede0cc1d161b5 (MD5) / Made available in DSpace on 2014-11-13T11:48:58Z (GMT). No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_ModelagemDisponibilidadeUnidade.pdf: 2938493 bytes, checksum: c9fb17fbdb7f0bba297ede0cc1d161b5 (MD5) Previous issue date: 2013 / Com o advindo do marco regulatório do Setor Elétrico Brasileiro, a partir de 2004, os agentes que atuam neste mercado têm experimentado um acirramento nas disputas por novos negócios, evidenciando um aumento de competitividade. A Disponibilidade dos Ativos Físicos e os Custos com Manutenção se apresentam como os pontos chave para a competitividade dos agentes. O presente trabalho tem por objetivo apresentar uma metodologia de Análise de Disponibilidade de Sistemas Reparáveis, durante as etapas de projeto ou de operação do sistema, contemplando a mensuração dos Custos com Manutenção versus o Desembolso com Aquisição para um nível esperado de desempenho. A metodologia para a Análise de Disponibilidade sugerida se utiliza da construção do Diagrama de Blocos do Sistema com respectivas descrições funcionais, exportação das informações para o formato de Árvore de Sucesso, composta de portas lógicas dos tipos "E" e "OU" as quais caracterizam um subsistema integrante do sistema principal. O analista pode reavaliar a topologia do sistema, agregando ou retirando redundâncias com a finalidade de ajustar o desempenho do projeto aos requisitos de Disponibilidade, Custo de Aquisição e Custos de Manutenção. Como resultados do trabalho foram identificadas lacunas normativas que definem a forma de controle do desempenho dos ativos, estabelecida uma sistemática de integração entre técnicas de modelagem de confiabilidade e disponibilidade, estabelecidos e incorporados indicadores de desempenho de Manutenção Programada em um agente do mercado, foram modelados e discutidos diferentes cenários para um Sistema de Circulação de Óleo de Mancal e foi aplicado o modelo a toda uma Unidade Geradora Hidráulica por meio da implementação computacional do modelo aos componentes críticos dos principais sistemas. / Since 2004, the regulatory rules in the Brazilian Electricity Sector has changed. The agents who act in this market have experienced a rise in new business disputes, showing an increase in competitiveness. The availability of physical assets and maintenance costs are presented as key points of these agents competitiveness. This work aims to present a methodology of Availability Analysis of Repairable Systems during the design or operational phases, covering the measurement of maintenance costs versus the acquisition costs to an expected performance level. The suggested methodology takes the System Block Diagram and exports to the Successful Tree Analysis format, composed by logic gates "AND" and "OR" where each represents a subsystem in the main system. The analyst may re-evaluate the system's topology, adding or removing redundancies in order to adjust the performance to the requirements of availability, acquisition and maintenance costs. As results of this work were identified gaps in the standards rules which defines how to control the assets performance, was established a systematic integration of modeling techniques for reliability and availability, performance indicators of Scheduled Maintenance were incorporated, different scenarios were modeled for an Oil Circulation System and was applied to an entire Hydraulic Generating Unit by modeling the critical components in the main systems.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2015-05-19T22:30:14Z No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Tese_OtimizacaoMultiobjetivoCompensacao.pdf: 1385522 bytes, checksum: f28192c0b6b8ec65f18eb07c8458c66f (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2015-05-20T14:36:25Z (GMT) No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Tese_OtimizacaoMultiobjetivoCompensacao.pdf: 1385522 bytes, checksum: f28192c0b6b8ec65f18eb07c8458c66f (MD5) / Made available in DSpace on 2015-05-20T14:36:25Z (GMT). No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Tese_OtimizacaoMultiobjetivoCompensacao.pdf: 1385522 bytes, checksum: f28192c0b6b8ec65f18eb07c8458c66f (MD5) Previous issue date: 2014 / A localização de bancos de capacitores nas redes de distribuição de energia elétrica, corretamente dimensionados, busca compensar eventuais excessos de circulação de potência reativa pelas linhas, o que implica a redução de custos operacionais pela redução das perdas de energia e um aumento da capacidade de transmissão de potência ativa assegurando os níveis estabelecidos de tensão e fator de potência simultaneamente. A proliferação das cargas não lineares provocou uma mudança nos cenários de estudo dos sistemas elétricos de potência devido aos efeitos nocivos que os harmônicos gerados por elas ocasionam sobre a qualidade da energia elétrica. Considerando este novo cenário, esta tese tem como objetivo geral desenvolver uma ferramenta computacional utilizando técnicas de inteligência computacional apoiada em algoritmos genéticos (AG), para a otimização multiobjetivo da compensação da potência reativa em redes elétricas de distribuição capaz de localizar e dimensionar de forma ótima as unidades de compensação necessárias para obter os melhores benefícios econômicos e a manutenção dos índices de qualidade da energia estabelecidos pelas normas brasileiras. Como Inovação Tecnológica do trabalho a ferramenta computacional desenvolvida permite otimizar a compensação da potência reativa para melhorar do fator de potência em redes de distribuição contaminadas com harmônicos que, diferentemente de métodos anteriores, não só emprega bancos de capacitores, mas também filtros de harmônicos com esse objetivo. Utiliza-se o algoritmo NSGA-II, que determina as soluções ótimas de Pareto para o problema e permite ao especialista determinar as soluções mais efetivas. A proposta para a solução do problema apresenta várias inovações podendo-se destacar que a solução obtida permite determinar a compensação de potência reativa com capacitores em sistemas com certa penetração harmônica, atendendo a normas de qualidade de energia pertinentes, com relação aos níveis de distorção harmônica tolerados. / The localization of capacitors banks in the electric power distribution networks, correctly sized, looks for to compensate eventual excesses of circulation of reactive power for transmission lines, what implies the reduction of operational costs for the reduction of the energy losses and an increase of the capacity of transmission of active power assuring the established levels of voltage and power factor simultaneously. The proliferation of the nonlinear loads produced a change in the scenarios of study of the electric power systems due to the degradation effects that the harmonic generated by them cause about the quality of the electric power. Considering this new scenario, this thesis has as general objective to develop a computational tool using computational intelligence supported in genetic algorithms (GA), for the multiobjective optimization of the reactive power compensation in distribution electric networks able to locate and size in a good way the necessary compensation units to achieve the best economic benefits and the maintenance of the indexes of quality of the energy settled down by the Brazilian norms. As technological innovation of the work, the developed computational tool allows to optimize the compensation of the reactive power to improve the power factor in polluted distribution networks with harmonics that, differently of previous methods, not alone it uses capacitors banks, but also harmonic filters with that objective. The NSGA-II algorithm is used to determine optimal solutions of Pareto for the problem and it allows the specialist to determine the most effective solutions. The formulation proposed in this thesis for the solution of the problem presents several novelties being able to highlight that the achieved solution allows to determine the compensation of reactive power in systems with certain harmonic penetration, complying with pertinent standards of power quality, with respect to the tolerated levels of harmonic distortion.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-01-10T17:04:54Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_AnaliseImpactoAlgoritmo.pdf: 2327444 bytes, checksum: 84976a0be1020a188706f1961c6e40ec (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-01-11T13:28:56Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_AnaliseImpactoAlgoritmo.pdf: 2327444 bytes, checksum: 84976a0be1020a188706f1961c6e40ec (MD5) / Made available in DSpace on 2017-01-11T13:28:56Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_AnaliseImpactoAlgoritmo.pdf: 2327444 bytes, checksum: 84976a0be1020a188706f1961c6e40ec (MD5) Previous issue date: 2016-08-11 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / Sistemas de Transporte Inteligentes são as diversas tecnologias de informação e comunicação aplicadas no domínio dos transportes veiculares. Tais sistemas são chamados inteligentes devido à sua capacidade de memória, sensoriamento, comunicação, tratamento de informação e comportamento adaptativo. Dentro deste universo, encontram-se as redes veiculares ad-hoc (VANET), que fornecem comunicação entre veículos, bem como a infraestrutura de telecomunicações ao longo das vias. Para fornececer conectividade contínua com altas taxas de dados e baixa latência, a integração de redes móveis veiculares com as redes LTE é apontada como potencial solução de acesso. Muitos são os desafios encontrados para atingir os requisitos de QoS característicos das aplicações de entretenimento, segurança nas estradas e eficiência do tráfego. Neste sentido, esta dissertação propõe uma metodologia para o estudo do impacto dos algoritmos de escalonamento de recursos de rádio em redes veiculares, utilizando o LTE como tecnologia de acesso. Este estudo utiliza uma abordagem de simulação discreta, com o uso das ferramentas NS-3 e SUMO para avaliar cinco algoritmos de escalonamento: RR, PF, TTA, CQA e PSS. Os critérios utilizados na avaliação são vazão, atraso, perda de pacotes, eficiência espectral, justiça e análise qualitativa da complexidade computacional. Os resultados apontam que, para redes veiculares, os algoritmos mais apropriados são aqueles que garantem um alto nível de justiça entre os veículos conectados. As análises também confirmam a necessidade de utilização de algoritmos mais específicos, baseados no padrão de geração de dados desses tipos de aplicação, a fim de garantir um melhor desempenho para a rede. / Intelligent Transport Systems are several information and communication technologies applied to vehicular transportation. It is called intelligent due to its memory capacity, sensing, communication, information processing and adaptive behavior. Within this universe, the Vehicular Ad-hoc Networks (VANET) provide communication between vehicles, as well as the telecommunications infrastructure over the roads. In order to achieve connectivity continues with high data rate and low latency, the integration of vehicular networks with LTE system is pointed as a potential access technology solution. There are many challenges found to reach the QoS requirements characteristic of entertainment applications, road safety and traffic efficiency. Therefore, this dissertation proposes a methodology for the study of the impact of radio resource scheduling algorithms for vehicular networks using LTE as the access technology. This study uses a discrete simulation approach, carried out with NS-3 and SUMO tools, to evaluate five scheduling algorithms: RR, PF, TTA, CQA and PSS. The criteria used in the analysis are throughput, delay, packet loss, spectral efficiency, fairness and qualitative analysis of computational complexity. The results indicate for vehicular networks is more appropriate to apply strategies that guarantee high level of fairness between connected vehicles. The evaluation also confirm the need to use algorithms more specific, taking into account the data generation pattern of these kind of application, with the aim to ensure the best performance for the network.

Submitted by Nathalya Silva (nathyjf033@gmail.com) on 2017-04-24T20:09:37Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_DesenvolvimentoModeloMEF.pdf: 7876999 bytes, checksum: 1862b30c80b0dbd1d9aa1c92a7802d8d (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-04-26T14:36:58Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_DesenvolvimentoModeloMEF.pdf: 7876999 bytes, checksum: 1862b30c80b0dbd1d9aa1c92a7802d8d (MD5) / Made available in DSpace on 2017-04-26T14:36:58Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_DesenvolvimentoModeloMEF.pdf: 7876999 bytes, checksum: 1862b30c80b0dbd1d9aa1c92a7802d8d (MD5) Previous issue date: 2012-03 / FAPESPA - Fundação Amazônia de Amparo a Estudos e Pesquisas / Água doce de boa qualidade é um pré-requisito para o desenvolvimento social e econômico de uma dada região. Paradoxalmente, este mesmo desenvolvimento é, normalmente, responsável pela poluição de suas fontes hídricas, através de despejo de resíduos domésticos ou industriais sem tratamento, ou através de atividades agrícolas. Desta forma, o monitoramento e o gerenciamento destas fontes são de extrema importância para o bem estar da população. Entre as possíveis ferramentas para auxiliar este gerenciamento, encontra-se a simulação computacional de transporte de poluentes nos meios hídricos. Neste contexto, o presente trabalho apresenta um procedimento para a solução computacional da equação de advecção-difusão-reação em 2D, a qual é a base para todos os modelos de transporte de massa. O processo consiste na união entre os métodos de elementos finitos e de diferenças finitas na discretização das componentes espaciais e temporal, respectivamente. Esta metodologia foi avaliada em testes com dados sintéticos e também reais. No primeiro considerou-se o caso de transporte de massa por advecção pura para certificar a estabilidade nos casos em que as formulações clássicas falham. No segundo simulou-se o transporte de um poluente hipotético em um trecho de rio e obtiveram-se os efeitos próprios do arraste devido à advecção e o espalhamento devido à difusão. O último teste examinou o transporte de fósforo total no lago Água Preta a partir das águas bombeadas do rio Guamá e de fontes pontuais localizadas nas margens deste reservatório. O resultado da simulação mostrou a potencialidade do algoritmo em tratar casos mais próximos da realidade. / Freshwater of good quality is a pre-requisite for social and economic development of a given region. Paradoxically, this same development is normally responsible for the pollution of their water sources, through domestic or industrial waste dumping without treatment, or through agricultural activities. In this way, the monitoring and the management of that sources are extremely important for the wellbeing of the people living in that region. Among the possible tools to auxiliary this management is the computational simulation of pollutant transport in the hydro medium. In this context, this work presents a computational procedure for the solution of the 2D advectiondiffusion- reaction equation, which is the basis for all the mass transport models. This process consists in the union of the finite elements and finite difference methods in the discretization of the spatial and temporal components, respectively. This methodology was evaluated with the help of tests with synthetic and real data. First one considered the case of mass transport by pure advection to ensure its stability in cases where the classical formulations fail. Second test simulated the transport of a hypothetical pollutant in a piece of a river and showed the correct effect of the drag due to advection and spreading due to diffusion. The last test evaluated the transport of total phosphorus in Agua Preta Lake from the pumped water of the Guama river and point sources located at the margins of the reservoir. The result of the simulation showed the potential of the algorithm to deal with cases closer to the reality.

Um dos desafios na operação de uma cadeia de suprimentos é a definição de uma política de controle dos estoques de forma a manter a estabilidade dos estoques, evitando a amplificação da demanda ao longo da cadeia e atendendo adequadamente o cliente. A política de controle do estoque determina o momento (ponto de pedido) e a quantidade (tamanho do lote) adequada de reposição dos estoques nos diferentes elos da cadeia. Esta tese propõe um novo procedimento de atualização do ponto de pedido e do lote de reposição para uma política Order-Up-To-Level (OUTL) de controle dinâmico de estoques em sistemas de revisão contínua. Este procedimento altera a política OUTL clássica ao introduzir o conceito de estoque de absorção, caracterizado pela demanda de mercado e pelo lead time de cada elo da cadeia, que ajusta o ponto de pedido e o tamanho do lote a partir da ocorrência de eventos. Para tanto, uma cadeia de suprimentos mono-produto composta de três níveis produtivos (varejista, distribuidor e manufatura) é simulada por eventos discretos considerando incerteza na demanda. O desempenho da cadeia de suprimentos é avaliado por métricas para o efeito chicote, nível de serviço ao cliente, responsividade, nível e ruptura do estoque, tamanho do lote e ponto de reposição. Os resultados mostram redução do efeito chicote, melhora no nível de serviço, redução da variabilidade dos lotes e melhor estabilidade dos estoques quando comparados com a política OUTL clássica. / The inventory control policy is a challenge in supply chain operation. It has to maintain inventory stability by avoiding amplification of the market demand in the supply chain levels while keeping good custom service. The inventory control policy determines the correct time (reorder point) and quantity (lot size) to fill inventories of the supply chain levels. This thesis proposes a new procedure to update both reorder points and lot sizes for an inventory control policy Order-Up-To-Level (OUTL) in continuous review systems. The new procedure modifies the classical OUTL policy by introducing the concept of absorption inventory characterized by the market demand and lead time in each chain level. This procedure updates order points and lot sizes when particular events have occurred. A mono-product supply chain composed by three levels (retailer, distribution, and manufacturing) is simulated by a discrete event simulation considering uncertainty in demand. The supply chain performance is evaluated by several metrics taking into account the bullwhip effect, customer service level, responsiveness, inventory level and stock out, and lot sizes and reorder points. The results show that the bullwhip effect and lot size variability are reduced, service level is improved, and inventories are stable when compared with the classical OUTL policy.

Made available in DSpace on 2014-12-17T15:47:50Z (GMT). No. of bitstreams: 1 JoseMS.pdf: 1057927 bytes, checksum: 2fb0b885cdff7c8f9e8f9d1d07d2627f (MD5) Previous issue date: 2001-07-17 / The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Aci?ly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras / A aritm?tica intervalar conhecida como aritm?tica de Moore, n?o possui as mesmas propriedades dos n?meros reais, e por este motivo, defrontase com um problema de natureza operat?ria, quando se deseja resolver equa??es intervalares como extens?o de equa??es reais atrav?s da igualdade usual e da aritm?tica intervalar, por esta n?o possuir o inverso aditivo, como tamb?m, a propriedade da distributividade da multiplica??o pela soma n?o ser v?lida para qualquer terno de intervalos. A falta dessas propriedades impossibilita a utiliza??o da l?gica equacional, tanto para a resolu??o de uma equa??o intervalar usando a mesma, como para uma representa??o de uma equa??o real, e ainda, para a verifica??o alg?brica de propriedades de um sistema computacional, cujos dados sejam n?meros reais representados atrav?s de intervalos. Entretanto, com a no??o de ordem de informa??o e de aproxima??o sobre intervalos, introduzida por Aci?ly[6] em 1991, surge a id?ia de uma equa??o intervalar representar satisfatoriamente uma equa??o real, j? que os termos da equa??o intervalar carregam a informa??o sobre a solu??o da equa??o real. Em 1999, Santiago prop?s a no??o de igualdade simples e, posteriormente, igualdade local para intervalos [8] e [33]. Baseado nessa id?ia, esta disserta??o estende os conjuntos locais de Santiago para ?lgebras locais, seguindo a id?ia de Σ-?lgebras contidas em (Hennessy[31], 1988) e (Santiago[7], 1995). Uma das contribui??es desta disserta??o ? o teorema 5.1.3.2 que garante que, ao se deduzir uma Σ-equa??o local ⊢ E t t no sistema SDedLoc(E) proposto, as interpreta??es de t e t ser?o localmente iguais em qualquer Σ-?lgebra local que satisfa?a o conjunto de equa??es locais E fixado, sempre que t e t tiverem significado em A. Isto garante um tipo de seguran?a entre a l?gica equacional local e as ?lgebras locais

Um dos mais freqüentes tumores existentes é o câncer de pele. Quando identificado precocemente este tipo de câncer apresenta altos percentuais de cura. Para isso é necessário o reconhecimento de suas características. As características analisadas fundamentam-se em identificadores como: Assimetria da lesão (A); Irregularidade das Bordas (B); Cor (C) e Diâmetro (D). Neste trabalho utiliza-se como ferramenta o Processamento de Imagens digitais para o pré-diagnóstico do câncer de pele. / Skin cancer is one of the most frequent tumors . When early diagnosticated this kind of cancer reachs high percentage of cure. But the identification of its characteristics is necessary. The characteristics to be analised are: Asymmetry (A); Irregularity border (B); Color (C) and diameter (D). The present work uses as tool for first diagnostic of skin cancer the digital images processing.

Esta tese apresenta um estudo sobre modelagem computacional onde são aplicadas meta-heurísticas de otimização na solução de problemas inversos de transferência radiativa em meios unidimensionais com albedo dependente da variável óptica, e meios unidimensionais de duas camadas onde o problema inverso é tratado como um problema de otimização. O trabalho aplica uma meta-heurística baseada em comportamentos da natureza conhecida como algoritmo dos vagalumes. Inicialmente, foram feitos estudos comparativos de desempenho com dois outros algoritmos estocásticos clássicos. Os resultados encontrados indicaram que a escolha do algoritmo dos vagalumes era apropriada. Em seguida, foram propostas outras estratégias que foram inseridas no algoritmo dos vagalumes canônico. Foi proposto um caso onde se testou e investigou todas as potenciais estratégias. As que apresentaram os melhores resultados foram, então, testadas em mais dois casos distintos. Todos os três casos testados foram em um ambiente de uma camada, com albedo de espalhamento dependente da posição espacial. As estratégias que apresentaram os resultados mais competitivos foram testadas em um meio de duas camadas. Para este novo cenário foram propostos cinco novos casos de testes. Os resultados obtidos, pelas novas variantes do algoritmo dos vagalumes, foram criticamente analisados. / This thesis presents a study on computational modeling where optimization metaheuristics are applied to the solution of inverse radiative transfer problems in heterogeneous media: in one-layer media with space-dependent single scattering albedo, and two-layer media, where the inverse problem is formulated as an optimization problem. It is applied a metaheuristic based on the natural behavior of fireflies, known as the firefly algorithm. Initially, comparative studies of performance were made with two other classic stochastic algorithms. The results indicated that the choice of the firefly algorithm was appropriate. Then, it was proposed other strategies that have been inserted into the original firefly algorithm. A first case was proposed where all the strategies were investigated and tested. The strategies with the best results were investigated in other two different cases. All the three proposed cases involved one-layer media with space-dependent scattering albedo. The strategies have been tested and evaluated, and those which presented the best competitive results were then implemented for radiative problems in two-layer media. For this new scenario five test cases were investigated, and the results obtained with the new strategies developed in this work were critically analyzed.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico do Paraná / O setor industrial têxtil gera em seu processo produtivo grande volume de efluentes líquidos, que possuem elevado potencial poluidor devido à presença de corantes. Esses são compostos potencialmente tóxicos e de difícil degradabilidade, dos quais destaca-se o Azul Reativo 5G. O tratamento desses efluentes é geralmente realizado por técnicas convencionais de coagulação e floculação, as quais utilizam grandes quantidades de sais de alumínio e ferro. A substituição de coagulantes químicos por tecnologias alternativas como a eletrofloculação pode trazer grandes vantagens. Este processo consiste na desestabilização de poluentes em meio aquoso por meio da produção in situ de íons coagulantes pela aplicação de corrente elétrica a eletrodos de sacrifício. Embora possua eficiência comprovada, inclusive para efluentes têxteis, a eletrofloculação ainda não é uma técnica consolidada, devido principalmente à ausência de metodologias sistemáticas para o projeto e dimensionamento de reatores, em especial os de fluxo contínuo. Diversas abordagens de modelagem e simulação na literatura buscam resolver esse problema, das quais destaca-se a Dinâmica de Fluidos Computacional (CFD) como a mais promissora, podendo ser acoplada a várias físicas, embora comumente seja acoplada apenas à eletroquímica. O objetivo deste trabalho foi acoplar a técnica de CFD a um modelo cinético ajustado experimentalmente para a remoção do corante Azul Reativo 5G de solução sintética por meio de eletrofloculação, visando predizer o perfil de concentração em um reator de fluxo contínuo. O reator contínuo estudado possui volume útil de 8,5 L, é do tipo monopolar, e possui quatro pares de eletrodos de ferro para o tratamento, dispostos como chicanas. Para obtenção do modelo para a cinética da reação, foram realizados experimentos com o sistema de eletrofloculação em batelada com eletrodos de ferro, em que as variáveis foram concentração inicial de corante (C0) e densidade de corrente (j) aplicada aos eletrodos. Testou-se o ajuste de três tipos de modelos cinéticos aos dados experimentais: modelo com base no balanço molar, modelos de adsorção e modelos sigmoidais, dos quais o modelo sigmoidal logístico, obteve melhor ajuste, com valores de R² acima de 90%. Como o modelo não inclui a espécie ferro, foram feitos ensaios preliminares no módulo de fluxo contínuo, para determinar a influência do fluxo na distribuição de ferro ao longo do reator, bem como o ponto no reator onde a reação tem início. Testou-se as vazões de 0,5 L.min-1 e de 2 L.min-1, e observou-se que para a vazão baixa, há retorno de ferro e acúmulo antes do primeiro eletrodo, o que não ocorre para a vazão mais alta. No modelo para o escoamento no reator considerou-se um fluido incompressível, fluxo laminar e estado estacionário, e desprezou-se a influência dos fenômenos eletroquímicos no fluxo e transporte de partículas, como a geração de bolhas de gás e migração iônica. A simulação para o reator de fluxo contínuo foi realizada no software COMSOL Multiphysics v.5.2®,que utiliza o Método dos Elementos Finitos para resolver as equações diferenciais parciais de escoamento da continuidade e de Navier-Stokes. As variáveis resposta consideradas foram a velocidade do fluido e a concentração de corante, e utilizou-se os módulos de CFD (interface de Fluxo Laminar) e de Transporte de Soluções Diluídas (TDS), com acoplamento fraco entre as físicas. Uma análise de convergência foi realizada para a escolha da malha. Foram realizadas três simulações do perfil de concentração no reator, com condição de densidade de corrente igual a 8,65 mA.cm-2, concentrações iniciais de corante respectivamente iguais a 45, 25 e 40 mg.L-1 e vazões 0,5 L.min-1 para os dois primeiros ensaios e 2 L.min-1 para o terceiro. Ensaios experimentais foram feitos com as mesmas condições, e comparou-se os resultados obtidos com uma malha de amostragem de 23 pontos. Verificou-se que o modelo proposto permitiu predizer o perfil de concentração do reator com razoável sucesso para uma faixa de trabalho de velocidades baixas de fluxo, levando em conta as limitações inerentes a ele, notadamente a ausência da influência das microbolhas. Assim, a metodologia proposta mostra-se muito promissora para que uma vez aperfeiçoado, o modelo possa vir a auxiliar no projeto de reatores caso a caso, bem como fornecer subsídios para preencher a lacuna acerca de uma metodologia sistemática de projeto e ampliação de escala. / The textile industry produces great amounts of wastewater as a byproduct of its productive process, which contain high pollutant potential, due to the presence of dyes. These are potentially toxic and high undegradable compounds, from which the Blue Reactive 5G is one of the most used. The treatment of such wastewaters is generally accomplished through conventional coagulation and flocculation techniques, which make use of great amounts of aluminum and iron salts. As such, the substitution of these chemical coagulants for alternative technologies such as electrocoagulation may bring great advantages. The process consists in the destabilization of pollutants in aqueous medium by means of the in situ production of coagulant ions by applying electrical current to sacrificial electrodes. Although the process' efficiency is proven, even for the treatment of textile wastewaters, electrocoagulation is still not a consolidated technique, due mainly to the lack of systematic methodologies for the project and scale up of reactors, especially continuous flow ones. Several approaches for modeling and simulation in scientific literature aim to solve this problem, the most promising of which being the Computational Fluid Dynamics (CFD), which may be coupled to several physics, although it is usually coupled only to electrochemistry. The goal of this study was to couple the CFD technique to a kinetic model, experimentally adjusted, for the removal of the Blue Reactive 5G dye from synthetic wastewater through the electrocoagulation technique, aiming to predict the concentration profile in a continuous flow reactor. The reactor is a 8,5 L tank with monopolar connections and four pairs of iron electrodes, which also work as baffles. In order to obtain the kinetic model of the reaction, experiments were carried out in a batch electrocoagulation system with iron electrodes, in which the variables were initial dye concentration (C0) and current density (j) applied to the electrodes. Three kinds of kinetic models were test for the adjust: model based on molar balance, adsorption models and sigmoidal models, from which the logistic sigmoidal model obtained the best adjustment, presenting R² above 90%. Since the model does not include the iron species, preliminary tests were made in the continuous flow reactor, in order to determine the flux influence on the iron distribution through the reactor, as well as the local, in the reactor, were the reaction starts. The flow rates of 0,5 L.min-1 and 2 L.min-1 were tested, and it was noted that, for the low flow rate, there is a reflux of iron, which accumulated before the first electrode, which does not happen for the higher flow rate. For the fluid flow model in the reactor, considerations were made for a incompressible laminar flow and stationary state, and the effect of electrochemical phenomena in the flow and transport of substances, such as gas bubbles and ironic migration, were not considered. The simulation for the continuous flow reactor was performed in the software COMSOL Multiphysics v.5.2®, which makes use of the Finite Elements Method to solve the partial differential equations of continuity and Navier-Stokes. The response variables considered were fluid velocity and dye concentration, and the modules CFD (laminar flow interface) and Transport of Diluted Species (TDS) were used, with weak coupling between the physics. A convergence study was carried out in order to choose the appropriate mesh for the simulation. Three simulations of the concentration profile in the reactor were carried out, with a current density of 8,65 mA.cm-2, respective initial dye concentrations of 45, 25 and 40 mg.L-1 and flow rates of 0,5 L.min-1 for the two first studies and 2 L.min-1 for the third. Experiments were performed with the same conditions as the simulations, samples were collected with mesh of 23 points in the reactor and the results of predicted and observed concentration were compared. The results showed that the proposed model allowed to predict the concentration profile in the reactor with reasonable success, within a low velocity flow range, taking into account the limitations inherent to the model. Therefore, the proposed methodology appears very promising for that, once perfected, the model may assist in the reactor design case to case, as well as aid filling the gap regarding a systematic methodology for reactor project and scale-up, which is the main barrier in expanding the technology.