Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-06-19T12:02:08Z No. of bitstreams: 1 CAROLINE_QUEIROZ_SANTOS_TES.pdf: 16112949 bytes, checksum: fe22f5c9acd1d52e51f0dcfb05c80e68 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-06-27T11:19:29Z (GMT) No. of bitstreams: 1 CAROLINE_QUEIROZ_SANTOS_TES.pdf: 16112949 bytes, checksum: fe22f5c9acd1d52e51f0dcfb05c80e68 (MD5) / Made available in DSpace on 2018-06-27T11:39:56Z (GMT). No. of bitstreams: 1 CAROLINE_QUEIROZ_SANTOS_TES.pdf: 16112949 bytes, checksum: fe22f5c9acd1d52e51f0dcfb05c80e68 (MD5) Previous issue date: 2018-04-12 / The analysis of data from social media has been a growing practice, making data visualization an important aspect in the context of presenting the large volumes of data typically extracted from these media. One of the challenges in this area is the efficient presentation of these large volumes of data, providing techniques that support the design processes, analysis and understanding of these data. Moving forward in this direction, this thesis presents CIViS, a customizable interface design model to support the construction of interactive narrative visualizations of data extracted from social media. It is a descriptive model, based on the theory of Semiotic Engineering and its view on End-user Development, as well as on narrative visualization concepts. The model considers that the social-media data analyst has interest in organizing his/her data presentation in such a way to tell a story with them. Thus, CIViS proposes a set of components that structure the design space, with the purpose of assisting designers and data analysts as co-designers to reflect on different aspects that influence the construction of customizable interactive narrative visualizations. We carried out four studies and, based on the results triangulation, we obtained the bases for consolidating the idea of the model, continuing with its creation. After conceiving the CIViS model, we conducted a study focusing on the use of the model by social-media data analysts. With the conclusion of the study of use of the CIViS, we obtained results that indicate pertinent ways of representing relevant narrative aspects. We have also verified that the model is satisfactorily descriptive to assist in the design of visualizations, whether narrative or not. Finally, we present the potential epistemic value of the CIViS, considering that its use can instigate important discussions and reflections during the process of designing customizable interactive narrative visualizations, assisting both designers and co designers in its epistemic character. / A an?lise de dados de m?dias sociais tem sido uma pr?tica crescente, tornando a visualiza??o de dados um aspecto importante no contexto de apresenta??o dos grandes volumes de dados tipicamente extra?dos dessas m?dias. Um dos desafios nesta ?rea est? na apresenta??o eficiente desses grandes volumes de dados, provendo t?cnicas que apoiem os processos de design, an?lise e compreens?o destes dados. Avan?ando neste sentido, esta tese apresenta o CIViS, um modelo de design de interface customiz?vel para apoiar a constru??o de visualiza??es narrativas interativas de dados extra?dos de m?dias sociais. Trata-se de um modelo descritivo, fundamentado na teoria da Engenharia Semi?tica e sua vis?o sobre End-user Development, assim como em conceitos de visualiza??o narrativas. O modelo considera que o analista de dados de m?dias sociais tem interesse em organizar a apresenta??o de seus dados de forma a contar uma hist?ria com eles. Assim, o CIViS prop?e um conjunto de componentes que estruturam o espa?o de design, tendo o prop?sito de auxiliar designers e analistas de dados co-designers a refletirem sobre diferentes aspectos que influenciam a constru??o de visualiza??es narrativas interativas customiz?veis. Realizamos quatro estudos e, a partir da triangula??o dos resultados, obtivemos subs?dios para a consolida??o da ideia do modelo, dando prosseguimento ? sua cria??o. Ap?s a concep??o do modelo CIViS, realizamos um estudo com foco no uso do modelo por analistas de dados de m?dias sociais. Com a conclus?o do estudo de uso do CIViS, obtivemos resultados que sinalizam formas pertinentes de representar aspectos relevantes de narrativas. Tamb?m verificamos que o modelo ? satisfatoriamente descritivo para auxiliar no design de visualiza??es, sejam elas narrativas ou n?o. Por fim, apresentamos o potencial valor epist?mico do CIViS, considerando que seu uso pode instigar discuss?es e reflex?es importantes durante o processo de design de visualiza??es narrativas interativas customiz?veis, atendendo tanto designers quanto co-designers em seu car?ter epist?mico.

Made available in DSpace on 2015-03-04T18:50:20Z (GMT). No. of bitstreams: 1 Dissertacao_MiriaSCC.pdf: 3267159 bytes, checksum: f201a630eab8fd18b0da112537958c44 (MD5) Previous issue date: 2010-03-04 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / AGUIA is a web application front-end originally developed to manage clinical, demographic and biomolecular patient data collected during gastrointestinal clinical trials at MD Anderson Cancer Center. The diversity of methodologies involved in patient screening and sample processing, brings corresponding heterogeneity of data types. Thus, this data must be based on a Resource Oriented Architecture that transforms heterogeneous data in semantic data, most specifically in RDF (Resource Description Framework). The database chosen was a S3DB, because it met the necessary requirements of transforming heterogeneous data from different sources in RDF, explicitly distinguishing the description of the domain from its instantiation, while allowing for continuous editing of both. Furthermore, it uses a REST protocol, and is open source and in the public domain which facilitates development and dissemination. Nevertheless, comprehensive and flexible a semantic web format may be, it does not by itself address the issue of representing content in a form that makes sense for domain experts. Accordingly, the goal of the work described here was to identify an additional set of descriptors that provide specifications for the graphic user interface. That goal was pursued by identifying a formalism that makes use of the RDF schema to enable automatic assembly of graphic user interfaces in a meaningful manner. A generalized RDF model was therefore defined such that changes in the graphic descriptors are automatically and immediately reflected into the configuration of the client web browser interface application, which is also made available with this report. Although the design patterns identified reflect, and benefit, from the specific requirements of interacting with data generated by clinical trials, the expectation is that they contain clues for a general purpose solution. In particular, it is suggested that the most useful patterns identified by the users of this system are susceptible to being reusable for other data sources, or at least for other clinical trial semantic web data stores. / AGUIA é uma aplicação web front-end, desenvolvida para gerenciar dados clínicos, demográficos e biomoleculares de pacientes coletados durante os ensaios clínicos gastrointestinais no MD Anderson Cancer Center. A diversidade de metodologias envolvidas na triagem de pacientes e no processamento da amostra traz uma heterogeneidade dos tipos de dados correspondentes. Sendo assim, estes devem ser baseados em uma arquitetura orientada a recurso que transforma dados heterogêneos em dados semânticos, mais especificamente em RDF (Resource Description Framework - Estrutura para a descrição de recursos). O banco de dados escolhido foi o S3DB, por este ter cumprido os requisitos necessários de transformação dos dados heterogêneos de diferentes fontes em RDF, distinguindo explicitamente a descrição do domínio e sua instanciação, permitindo simultaneamente a contínua edição de ambos. Além disso, ele usa um protocolo REST, e é de código aberto e domínio público o que facilita o desenvolvimento e divulgação. Contudo, por mais abrangente e flexível, um formato de web semântica pode por si só, não abordar a questão de representar o conteúdo de uma forma que faça sentido para especialistas do domínio. Assim, o objetivo do trabalho aqui descrito foi identificar um conjunto adicional de descritores que forneceu as especificações para a interface gráfica do usuário. Esse objetivo foi perseguido através da identificação de um formalismo que faz uso do esquema RDF para permitir a montagem automática de interfaces gráficas de uma forma significativa. Um modelo RDF generalizado foi, portanto, definido de tal forma que as mudanças nos descritores gráficos sejam automaticamente e imediatamente refletidas na configuração da aplicação web do cliente, que também está disponível neste trabalho. Embora os padrões de design identificados reflitam e beneficiem os requisitos específicos de interagir com os dados gerados pelos ensaios clínicos, a expectativa é que eles contenham pistas para uma solução de propósito geral. Em particular, sugere-se que os padrões mais úteis identificados pelos utilizadores deste sistema sejam suscetíveis de serem reutilizáveis para outras fontes de dados, ou pelo menos para outros bancos de dados semânticos de ensaios clínicos.

Made available in DSpace on 2015-03-04T18:50:44Z (GMT). No. of bitstreams: 1 Introducao.pdf: 140805 bytes, checksum: fc7ea84f193f6d764fa24f41af40d07f (MD5) Previous issue date: 2007-03-09 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Este trabalho trata do problema de controle H-infinito de uma classe de sistemas lineares com saltos Markovianos (MJLS) a tempo contínuo, onde a cadeia de Markov toma valores em um conjunto infinito enumerável. Um bounded real lemma (que chamamos JBRL) é desenvolvido, estabelecendo que a factibilidade de um conjunto infinito de desigualdades matriciais lineares (LMIs) interconectadas é necessária e suficiente para que um dado sistema seja estocasticamente estável (SS) e atenda a um desempenho H-infinito prescrito. O problema H-infinito estudado consiste na atenuação do efeito que perturbações estocásticas de energia finita causam na saída de um sistema, no pior caso. Neste problema, conhecido na literatura como "disturbance attenuation" (DA), assumimos ainda que o controlador somente tem acesso ao processo de saltos e a uma saída do sistema. Os controladores de interesse devem garantir que tanto a estabilidade (SS) quanto um desempenho H-infinito sejam observados no sistema em malha fechada - donde as condições impostas pelo JBRL são determinantes para a existência de soluções. Um importante aspecto dessa nova abordagem é que ferramentas tão fundamentais quanto o Complemento de Schur ou o Lema da Projeção, p.ex., não podem mais ser usados para manipular os conjuntos de LMIs infinitamente acopladas - tal dificuldade é contornada pela introdução de versões estendidas desses resultados, no início do trabalho. Um dos principais resultados deste trabalho caracteriza a existência de soluções através de dois problemas LMI complementares, um dos quais torna possível o design computacional de controladores. Por fim, são apresentados algoritmos para a construção prática de controladores, ótimos ou sub-ótimos, dando origem a um conjunto de ferramentas que, especialmente no caso em que a cadeia de Markov é finita, podem ser implementadas computacionalmente de maneira imediata. Mesmo no caso finito, os resultados da tese são mais fortes do que aqueles atualmente encontrados na literatura.

Made available in DSpace on 2015-03-04T18:50:49Z (GMT). No. of bitstreams: 1 tese.pdf: 5590910 bytes, checksum: a89ccd96ade2b696f0e5b9163dc31bf5 (MD5) Previous issue date: 2006-11-13 / Lagrangian stochastic models are a largely used tool in the study of passive substances dispersion inside the Atmospheric Boundary Layer. Its application is related to the trajectory computation of thousands of particles, that numerically simulate the dispersion of suspense substances in the atmosphere. In this study, the basic concepts related to the Lagrangian stochastic modelling are presented and discussed together with its main characteristics and its computational implementation, to the study of particles dispersion in the atmosphere. In a computational experiment, the obtained results are compared with observational data from the TRACT experiment, that took place in Europe in 1992. The input data needed for the dispersion model are extracted from simulations with the numerical weather forecast model RAMS. Dispersion over Rio de Janeiro region is also tested in a second experiment. / Modelos Lagrangianos estocásticos constituem ferramenta muito utilizada no estudo da dispersão de substâncias passivas na Camada Limite Atmosférica. Sua aplicação consiste em calcular a trajetória de milhares de partículas, que simulam numericamente a dispersão de uma substância em suspensão na atmosfera. Nesta tese, são apresentados e discutidos os conceitos básicos relacionados à Modelagem Lagrangiana Estocástica de Partículas, bem como suas principais características e sua implementação computacional, para o estudo da dispersão de partículas na atmosfera. Numa experimentação computacional, comparam-se os resultados obtidos com dados observacionais provenientes do experimento TRACT, realizado na Europa em 1992. Os dados de entrada necessários ao modelo de dispersão são extraídos de simulações do modelo de previsão numérica do tempo RAMS. A dispersão sobre o Estado do Rio de Janeiro é também testada em um segundo experimento.

Made available in DSpace on 2015-03-04T18:50:54Z (GMT). No. of bitstreams: 1 Dissertacao Marcelo Barros.pdf: 906132 bytes, checksum: 67f089fdd05da5a2f2ab6d807fbbf51b (MD5) Previous issue date: 2007-03-23 / Several areas of knowledge use fractal geometry to help to understand natural objects and phenomena. Irregular self-similar - in which parts resemble the whole - objects may be better understood through fractal dimensions which provide how a property varies with resolution or scale. We present a new approach to calculate fractal dimensions that, instead of the frequently used methods based on covering, seeks geometry information from physical characteristics. Here, we treat the element of a fractal sequence as structures. Imposing constraints on the structures, we build simple harmonic oscillators. The variation of the period of these oscillators with respect to a determined measure of length provides a fractal dimension. This techinique was tested for a family of continuous self-similar plane curves, including the classical Koch triadic. We show that this dynamical dimension may be related to Hausdorff-Besicovitch dimension. With random geometry, the techinique besides providing a fractal dimension, identifies randomness. A new kind of fractal is also presented. The ideia is to use more than one generator in the generation process of a fractal to obtain mixed fractals. / Diversas áreas do conhecimento têm utilizado a geometria fractal para melhor entender muitos objetos e fenômenos naturais. Objetos irregulares com padrão auto-similar onde as partes se assemelham ao todo podem ser melhor compreendidos através de dimensões fractais que fornecem como o valor de uma propriedade varia dependendo da resolução, ou escala, em que o objeto é observado ou medido. Apresentamos uma nova abordagem para calcular dimensões fractais através de características físicas. Neste trabalho busca-se uma caracterização da dinâmica de estruturas lineares com geometria fractal. Trata-se os elementos de uma sequência geradora de um fractal como estruturas. Osciladores harmônicos simples são construídos com tais estruturas. A variação do período de vibração desses osciladores com uma determinada medida de comprimento nos fornece uma dimensão fractal. A técnica foi testada para a família de curvas contínuas e auto-similares no plano, onde está incluída a clássica triádica de Koch. Mostramos que essa dimensão dinâmica pode ser relacionada à dimensão de Hausdorff-Besicovitch. Com geometria aleatória, a técnica além de fornecer a dimensão fractal, identifica a aleatoriedade. Um novo tipo de fractal é apresentado. A idéia é usar mais de um gerador no processo de geração de um fractal para obter os fractais mistos.

Made available in DSpace on 2015-03-04T18:50:57Z (GMT). No. of bitstreams: 1 Tese-Carlos-Magno1.pdf: 616333 bytes, checksum: 65e51c95902afd18d11a1d7366653fc0 (MD5) Previous issue date: 2008-03-13 / Conselho Nacional de Desenvolvimento Cientifico e Tecnologico / We present an efficient quantum algorithm for the Hidden Subgroup Problem (HSP) on the semidirect product of the cyclic groups and , where is any odd prime number, and are positives integers and the homomorphism which defines the group is given by the root such that . As a consequence we can solve efficiently de HSP on the semidirect product of the groups by , where has a special prime factorization. / Neste trabalho apresentamos um algoritmo quântico eficiente para o Problema do Subgrupos Oculto (PSO) no produto semidireto dos grupos cíclicos e , onde é qualquer número primo ímpar, e são inteiros positivos e o homomorfismo que define o grupo é dado por uma raiz para a qual . Como conseqüência, podemos resolver eficientemente o PSO também no produto semidireto dos grupos por , onde o inteiro possui uma especial fatoração prima.

Made available in DSpace on 2015-03-04T18:51:11Z (GMT). No. of bitstreams: 1 Dissertacao_LNCC_2009_Sicilia_Judice.pdf: 24029440 bytes, checksum: aa6b5db9b8745db2d37133d63a7521ce (MD5) Previous issue date: 2009-08-10 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Physically-based techniques for the animation of fluids (gas or liquids) have taken the attention of the computer graphics community. The traditional fluid animation methods rely on a top down viewpoint that uses 2D/3D mesh based approaches motivated by the Eulerian methods of Finite Element (FE) and Finite Difference (FD), in conjunction with Navier-Stokes equations of fluids. Alternatively, lattice methods comprised by the Lattice Gas Cellular Automata (LGCA) and Lattice Boltzmann (LBM) can be used. The basic idea behind these methods is that the macroscopic dynamics of a fluid is the result of the collective behavior of many microscopic particles. Such bottom-up approaches need low computational resources for both the memory allocation and the computation itself. In this work, we consider animation of fluids for computer graphics applications, using a LGCA method called FHP, and a LBM method called D2Q9, both bidimensional models. We propose 3D fluid animation techniques based on the FHP and D2Q9 as well as interpolation methods. Then, we present two animating frameworks based on the mentioned lattice methods, one for a real time implementation and the other for an off-line implementation. In the experimental results we emphasize the simplicity and power of the presented models when combined with efficient techniques for rendering and compare their efficiency. / Técnicas baseadas em física têm chamado a atenção da comunidade de computação gráfica, em especial para animação de fluidos (gás ou líquidos). As técnicas tradicionais para animação de fluidos são metodologias top-down baseadas em malhas 2D/3D, tais como Diferenças Finitas e Elementos Finitos, em conjunto com equações de fluidos Navier-Stokes. Entretanto, tais métodos têm um custo computacional alto. Uma alternativa é o uso de técnicas baseadas em Autômatos Celulares do tipo Lattice Gas (LGCA) e o Método de Lattice Boltzmann (LBM). A idéia básica desses métodos consiste em obter a dinâmica macroscópica de um fluido a partir do comportamento coletivo de diversas partículas microscópicas. Em geral, tais metodologias bottom-up são eficientes do ponto de vista computacional. Neste trabalho, são estudados os aspectos teóricos e práticos da animação computacional de fluidos bidimensionais para computação gráfica, usando um método LGCA chamado FHP, e um método LBM chamado D2Q9. É proposto um modelo de fluido 3D baseado nos modelos bidimensionais FHP e D2Q9, bem como em métodos de interpolação. Em seguida, são apresentadas duas aplicações para animação de fluidos através dos métodos mencionados, uma para execução em tempo real e outra para execução off-line. Nos resultados dos experimentos computacionais são enfatizados a simplicidade e o potencial dos modelos propostos quando combinados com técnicas eficientes de rendering.

Made available in DSpace on 2015-03-04T18:51:11Z (GMT). No. of bitstreams: 1 tese_erasmo_digital.pdf: 2003361 bytes, checksum: 220a10261604ff1d47174ccfbcec41a9 (MD5) Previous issue date: 2009-04-03 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / The element helium, found mainly in natural gas reserves, condenses at temperature of 4.2K, and is the unique known substance that remains in liquid to absolute zero. In the liquid phase, the helium presents still another phase change in 2.19K, where passes of common liquid to superfluous liquid, with almost zero viscosity. These properties give the helium important applications. One of the major applications is as a coolant in superconductors, such as in the particle accelerator LHC, which is being built in the French border with Switzerland, in magnetic resonance devices, artificial satellites, etc.. In this paper, we present two mathematical models for heat transfer in liquid helium. The first model, considering only macroscopic movements, is derived based on constitutive laws of Fourier and Gorter-Mellink. The second model, based on techniques of Fremond, includes microscopic movements and can be seen as a regularization of the first model. Both models are governed by highly nonlinear differential equations resulting from the nonlinearity of the law of Gorter-Mellink and change of phase. Both models can be considered special cases of the Stefan problem in two phases, with phase one of the heat flux is governed by non-linear equation of the problem known as p-Laplacian, with p = 4/3. We also presented techniques to efficiently solve the problem of p-Laplacian, both for large values of p, p>> 2, and for values of p close to 1, which are major numerical challenges. Are proposed two simple iterative methods, one based on the method of quasi-Newton, with the relaxation term and the other by the Helmholtz decomposition, creating a system of equations whose matrices are constant, which reduces significantly the computational cost. Numerical experiments are conducted to test the efficiency of numerical models proposed and the algorithms developed for solving systems of nonlinear algebraic equations arising from approximations by finite elements. Are also presented results of studies of convergence, showing rates of optimal or near optimal convergence, comparable to that of interpolates. For the problem with phase change, due to the discontinuity of the gradient of temperature on the interface separating the two phases of liquid helium, the rate of convergence is not optimal. Using adaptive mesh, it is also great rates to the problem with change of phase. Using experimental data found in literature, for the parameters of thermal conductivity, density and specific heat, temperature dependent, are also presented for validation testing of the model and examples of possible applications. In tests for validating the model, compared to the numerical solution of the mathematical model with experimental results for the temperature found in literature. / O elemento hélio, encontrado principalmente em reservas de gás natural, entra em condensação à temperatura de 4,2K, e é a única substância conhecida que permanece no estado líquido até o zero absoluto. Na fase liquida, o hélio apresenta ainda, em K, outra mudança de fase, onde passa de líquido comum à superfluido, com viscosidade praticamente nula. Estas propriedades conferem ao hélio importantes aplicações. Uma hdas principais aplicações é como agente refrigerante em supercondutores, como por exemplo, no acelerador de partículas LHC, que está sendo construído na fronteira da França com a Suíça, em aparelhos de ressonância magnética, satélites artificiais, etc. Neste trabalho, são apresentados dois modelos matemáticos para a transferência de calor no hélio líquido. O primeiro modelo, considerando apenas movimentos macroscópicos, é derivado com base nas leis constitutivas de Fourier e de Gorter-Mellink. O segundo modelo, baseado nas técnicas de Fremond, inclui movimentos microscópicos e pode ser visto como uma regularização do primeiro modelo. Os dois modelos são governados por equações diferenciais fortemente não lineares resultantes da não linearidade da lei de Gorter-Mellink e da mudança de fase. Ambos os modelos podem ser considerados casos particulares do problema de Stefan de duas fases, sendo que em uma das fases o fluxo de calor é governado pela equação não-linear do problema conhecido como p-laplaciano, com p=4/3. São também apresentadas técnicas para resolver de forma eficiente o problema do p-laplaciano, tanto para valores grandes de p, p>>2, quanto para valores de p próximos à 1, que constituem importantes desafios numéricos. Para tanto são propostos dois métodos iterativos simples, um baseado no método de quase-Newton, com termo de relaxação e, outro através da decomposição de Helmholtz, gerando um sistema de equações cujas matrizes são constantes, o que diminui significativamente o custo computacional. Experimentos numéricos são realizados para testar a eficiência dos modelos numéricos propostos bem como dos algoritmos desenvolvidos para resolver os sistemas de equações algébricas não lineares resultantes das aproximações por elementos finitos. São apresentados resultados de estudos de convergência, mostrando taxas de convergência ótimas ou quase ótimas, comparáveis às das interpolantes. Para o problema com mudança de fase, devido à descontinuidade do gradiente da temperatura sobre a interface que separa as duas fases do hélio líquido, as taxas de convergência não são ótimas. Usando malhas adaptativas, consegue-se taxas ótimas também para o problema com mudança de fase. Usando dados experimentais, encontrados na literatura, para os parâmetros de condutividade térmica, densidade e calor específico, dependentes da temperatura, são também apresentados testes de validação do modelo e exemplos de possíveis aplicações. Nos testes de validação do modelo, compara-se a solução numérica do modelo matemático com resultados experimentais para a temperatura, encontrados na literatura.

Made available in DSpace on 2015-03-04T18:51:14Z (GMT). No. of bitstreams: 1 thesis.pdf: 2079516 bytes, checksum: 3232c130f07c34bec216c5c6008d6256 (MD5) Previous issue date: 2009-07-09 / Conselho Nacional de Desenvolvimento Cientifico e Tecnologico / In this dissertation, a hypothetical aquifer that has been contaminated by the dumping of toxic substances is modeled. The remediation strategy considered is based on withdrawal, which requires the removal of contaminated groundwater from the aquifer by pumping. The design of such a system involves the choice of the number of extracting wells to be installed, their locations and pumping rates,with the goal of maximizing the amount of contaminant extracted, while minimizing the cost of the system. To find the optimal solution, a numerical simulation optimization parallel system is used, which is composed by three subsystems: (a) numerical simulator - numerically solves the mathematical model ofthe contaminated aquifer; (b) optimizer - implements the genetic algorithm method to search for optimal locations and pumping rates for the extracting wells; (c)distributed computing system - manages the distribuition and parallel execution of the numerical simulations. Experiments were done in many different computational environments: homogeneous, heterogeneous, in large scale, using non dedicated computers, connected via local network, and computational grids, and their results demonstrate the methodology s applicability. / Neste trabalho, modela-se a ocorrência de contaminação de um aquífero hipotético por derramamento de substância tóxica e analisa-se a solução de descontaminação baseada na retirada do contaminante através de bombeamento feito por poços de extração. O projeto do sistema de remediação envolve a escolha do número de poços a serem instalados, suas localizações e vazões de modo a maximizar a quantidade de poluente extraída e ao mesmo tempo minimizar o custo total do sistema. A busca da solução ótima é feita de forma automática, através de um sistema paralelo de otimização por simulação numérica, composto por três subsistemas: (a) simulador numérico - resolve numericamente o modelo matemático do aquífero contaminado; (b) otimizador automático - implementa o método dos algoritmos genéticos para busca das localizações e vazões ótimas dos poços de extração; (c)sistema computacional distribuído - gerencia a distribuição e a execução paralela das simulações numéricas. Foram feitos experimentos em vários ambientes computacionais: homogêneo, heterogêneo, em grande escala, usando máquinas não dedicadas, interligadas por rede local e ambiente de grade, e seus resultados demonstram a aplicabilidade da metodologia.

Made available in DSpace on 2015-03-04T18:51:16Z (GMT). No. of bitstreams: 1 Tese Demerson.pdf: 742439 bytes, checksum: 534128a7d9b5cfc57f84985cd77ac16d (MD5) Previous issue date: 2009-08-28 / We present a new polynomial-time quantum algorithm that solves the hidden subgroup problem (HSP) for a special class of metacyclic groups, namely Z_{p} \rtimes \Z_{q^s}, with q \mid (p-1) and p/q= \up{poly}(\log p), where p, q are any odd prime numbers and s is any positive integer. This solution generalizes previous algorithms presented in the literature. In a more general setting, without imposing a relation between p and q, we obtain a quantum algorithm with time and query complexity 2^{O(\sqrt{\log p})}. In any case, those results improve the classical algorithm, which needs {\Omega}(\sqrt{p}) queries. We also present quantum algorithms for the HSP over non-abelian groups of order 2^{n+1} which have a cyclic subgroup of index 2 and for some semidirect product \Z_N^m \rtimes \Z_p, where N has a special prime factorization. / Neste trabalho apresentamos um novo algoritmo quântico eficiente para o Problema do Subgrupo Oculto (PSO) sobre uma classe especial de grupos metacíclicos, Z_p \rtimes Z_q^s, com q | (p-1) e p/q= poli(log p), onde p, q são números primos ímpares distintos e s um inteiro positivo qualquer. Em um contexto mais geral, sem impor uma relação entre p e q obtemos um algoritmo quântico com complexidade de tempo 2^{O(\sqrt{log p})}. Em qualquer caso, esses resultados são melhores que qualquer algoritmo clássico para o mesmo fim, cuja complexidade é \Omega(\sqrt{p}). Apresentamos também, algoritmos quânticos para o PSO sobre grupos não abelianos de ordem 2^{n+1} que possuem subgrupos cíclicos de índice 2 e para certos produtos semidiretos de grupos Z_N^m \rtimes Z_p, com m, N inteiros positivos e N fatorado de forma especial.