Dissertação (mestrado)–Universidade de Brasília, Universidade UnB de Planaltina, Programa de Pós-Graduação em Ciência de Materiais, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-15T17:59:17Z No. of bitstreams: 1 2015_LindomarJoséRocha.pdf: 1300687 bytes, checksum: f028dc5aba5d9f92f1b2ee949e3e3a3d (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-02-29T22:14:44Z (GMT) No. of bitstreams: 1 2015_LindomarJoséRocha.pdf: 1300687 bytes, checksum: f028dc5aba5d9f92f1b2ee949e3e3a3d (MD5) / Made available in DSpace on 2016-02-29T22:14:44Z (GMT). No. of bitstreams: 1 2015_LindomarJoséRocha.pdf: 1300687 bytes, checksum: f028dc5aba5d9f92f1b2ee949e3e3a3d (MD5) / Diversos ramos do conhecimento humano fazem uso de autovalores e autovetores, dentre eles têm-se Física, Engenharia, Economia, etc. A determinação desses autovalores e autovetores pode ser feita utilizando diversas rotinas computacionais, porém umas mais rápidas que outras nesse senário de ganho de velocidade aparece a opção de se usar a computação paralela de forma mais especifica a CUDA da Nvidia é uma opção que oferece um ganho de velocidade significativo, nesse modelo as rotinas são executadas na GPU onde se tem diversos núcleos de processamento. Dada a tamanha importância dos autovalores e autovetores o objetivo desse trabalho é determinar rotinas que possam efetuar o cálculos dos mesmos com matrizes tridiagonais simétricas reais de maneira mais rápida e segura, através de computação paralela com uso da CUDA. Objetivo esse alcançado através da combinação de alguns métodos numéricos para a obtenção dos autovalores e um alteração no método da iteração inversa utilizado na determinação dos autovetores. Temos feito uso de rotinas LAPACK para comparar com as nossas rotinas desenvolvidas em CUDA. De acordo com os resultados, a rotina desenvolvida em CUDA tem a vantagem clara de velocidade quer na precisão simples ou dupla, quando comparado com o estado da arte das rotinas de CPU a partir da biblioteca LAPACK. ______________________________________________________________________________________________ ABSTRACT / Severa branches of human knowledge make use of eigenvalues and eigenvectors, among them we have physics, engineering, economics, etc. The determination of these eigenvalues and eigenvectors can be using various computational routines, som faster than others in this speed increase scenario appears the option to use the parallel computing more specifically the Nvidia’s CUDA is an option that provides a gain of significant speed, this model the routines are performed on the GPU which has several processing cores. Given the great importance of the eigenvalues and eigenvectors the objective of this study is to determine routines that can perform the same calculations with real symmetric tridiagonal matrices more quickly and safely, through parallel computing with use of CUDA. Objective that achieved by some combination of numerical methods to obtain the eigenvalues and a change in the method of inverse iteration used to determine of the eigenvectors, which was used LAPACK routines to compare with routine developed in CUDA. According to the results of the routine developed in CUDA has marked superiority with single or double precision, in the question speed regarding the routines of LAPACK.

Made available in DSpace on 2014-06-12T18:28:27Z (GMT). No. of bitstreams: 2 arquivo581_1.pdf: 552963 bytes, checksum: 9eb5fcb8fb1b04a21127f2d0adb95818 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Universidade Federal de Sergipe / Neste trabalho, estudamos questões relacionadas à existência e multiplicidade de soluções do tipo estacionária para uma classe de sistemas de equações de Schrödinger com potenciais mudando de sinal e não-linearidades ilimitadas na variável x. Consideraremos diversos tipos de crescimento para o termo não-linear. Na obtenção de nossos resultados usamos métodos variacionais do tipo mini-max e teoria de regularidade de equações elípticas de segunda ordem

O artigo Weighted forms of Euler's theorem de William Y.C. Chen e Kathy Q. Ji, em resposta ao questionamento de George E. Andrews, matemático estadunidense, sobre encontrar demonstrações combinatórias de duas identidades no Caderno Perdido de Ramanujan, nos mostra algumas formas ponderadas do Teorema de Euler sobre partições com partes ímpares e partes distintas via a introdução do conceito de partição com raiz. A propositura deste trabalho é envolta à apresentação de resultados sobre partições com raiz de modo a posteriormente realizar formulações combinatórias das identidades de Ramanujan por meio deste conceito, procurando estabelecer conexões com formas ponderadas do Teorema de Euler. Em particular, a bijeção de Sylvester e a iteração de Pak da função de Dyson são elementos primordiais para obtê-las. / The article Weighted forms of Euler's theorem by William Y.C. Chen and Kathy Q. Ji in response to the questioning of George E. Andrews, American mathematician, about nding combinatorial proofs for two identities in Ramanujan's Lost Notebook shows us some weighted forms of Euler's Theorem on partitions with odd parts and distinct parts through the introduction of the concept of rooted partition. The purpose of this work involves the presentation of results on rooted partitions in order to make combinatorial formulations of Ramanujan's identities, seeking to establish connections with weighted forms of Euler's Theorem. In particular, the Sylvester's bijection and the Pak's iteration of the Dyson's map are primordial elements to obtain them.

O artigo Weighted forms of Euler's theorem de William Y.C. Chen e Kathy Q. Ji, em resposta ao questionamento de George E. Andrews, matemático estadunidense, sobre encontrar demonstrações combinatórias de duas identidades no Caderno Perdido de Ramanujan, nos mostra algumas formas ponderadas do Teorema de Euler sobre partições com partes ímpares e partes distintas via a introdução do conceito de partição com raiz. A propositura deste trabalho é envolta à apresentação de resultados sobre partições com raiz de modo a posteriormente realizar formulações combinatórias das identidades de Ramanujan por meio deste conceito, procurando estabelecer conexões com formas ponderadas do Teorema de Euler. Em particular, a bijeção de Sylvester e a iteração de Pak da função de Dyson são elementos primordiais para obtê-las. / The article Weighted forms of Euler's theorem by William Y.C. Chen and Kathy Q. Ji in response to the questioning of George E. Andrews, American mathematician, about nding combinatorial proofs for two identities in Ramanujan's Lost Notebook shows us some weighted forms of Euler's Theorem on partitions with odd parts and distinct parts through the introduction of the concept of rooted partition. The purpose of this work involves the presentation of results on rooted partitions in order to make combinatorial formulations of Ramanujan's identities, seeking to establish connections with weighted forms of Euler's Theorem. In particular, the Sylvester's bijection and the Pak's iteration of the Dyson's map are primordial elements to obtain them.

Made available in DSpace on 2016-06-02T20:27:41Z (GMT). No. of bitstreams: 1 5967.pdf: 689681 bytes, checksum: a9967726690acb5b17c1cb1b10fddbfe (MD5) Previous issue date: 2014-06-30 / Neste trabalho, estabelecemos a existência e multiplicidade de soluções para uma classe de equações de Schrodinger quase lineares com não linearidades subcrítica ou supercrítica. A fim de utilizarmos métodos variacionais, aplicamos uma mudança de variável para reduzirmos as equações quase lineares a equações semilineares, cujos funcionais associados estão bem definidos em um espaço de Banach reflexivo, e em alguns casos, eles estão bem definidos em espaços de Sobolev clássicos. Nosso principal foco e tratar não linearidades supercríticas, e nossa principal dificuldade e a perda das imersães de Sobolev tanto contínuas quanto compactas. Para contornar isso, no primeiro problema, inspirados por [4], impomos condições de integrabilidade que relacionam as não linearidades, as quais podem mudar de sinal e necessitamos também, nesse caso, de provar a existência do primeiro autovalor para o operador Lu = Au A(u2)u, usando para isso os métodos de bifurcação e sub e supersolução. No outro problema, nos baseamos num argumento de truncamento, introduzido por del Pino e Felmer em [27], assim o problema fica reduzido a um problema subcrítico. E seguimos com a prova dos resultados usando métodos variacionais combinados com a iteração de Moser. Estabelecemos também a existência de solução para um problema ressonante, cuja prova faremos usando uma variação do Teorema de Operadores Monítonos, encontrado em [29].

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O esquema iterativo de fonte de espalhamento (SI) é tradicionalmente aplicado para a convergência da solução numérica de malha fina para problemas de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas com fonte fixa. O esquema SI é muito simples de se implementar sob o ponto de vista computacional; porém, o esquema SI pode apresentar taxa de convergência muito lenta, principalmente para meios difusivos (baixa absorção) com vários livres caminhos médios de extensão. Nesta dissertação descrevemos uma técnica de aceleração baseada na melhoria da estimativa inicial para a distribuição da fonte de espalhamento no interior do domínio de solução. Em outras palavras, usamos como estimativa inicial para o fluxo escalar médio na grade de discretização de malha fina, presentes nos termos da fonte de espalhamento das equações discretizadas SN usadas nas varreduras de transporte, a solução numérica da equação da difusão de nêutrons em grade espacial de malha grossa com condições de contorno especiais, que aproximam as condições de contorno prescritas que são clássicas em cálculos SN, incluindo condições de contorno do tipo vácuo. Para aplicarmos esta solução gerada pela equação da difusão em grade de discretização de malha grossa nas equações discretizadas SN de transporte na grade de discretização de malha fina, primeiro implementamos uma reconstrução espacial dentro de cada nodo de discretização, e então determinamos o fluxo escalar médio em grade de discretização de malha fina para usá-lo nos termos da fonte de espalhamento. Consideramos um número de experimentos numéricos para ilustrar a eficiência oferecida pela presente técnica (DSA) de aceleração sintética de difusão. / The scattering source iterative (SI) scheme is traditionally applied to converge finemesh numerical solutions to fixed-source discrete ordinates neutron transport problems. The SI scheme is very simple to implement under a computational viewpoint. However, the SI scheme may show very slow convergence rate, mainly for diffusive media (low absorption) with several mean free paths in extent. In this work we describe an acceleration technique based on an improved initial guess for the scattering source distribution within the slab. In other words, we use as initial guess for the fine-mesh average scalar flux in the scattering source terms of the SN discretized equations used in the transport sweeps, the coarse-mesh solution of the neutron diffusion equation with special boundary conditions to account for the classical SN prescribed boundary conditions, including vacuum boundary conditions. To apply this coarse-mesh diffusion solution into the fine-mesh SN transport sweep discretized equations, we first perform within-node spatial reconstruction, and then we determine the fine-mesh average scalar flux for use in the scattering source terms. We consider a number of numerical experiments to illustrate the efficiency of the offered diffusion synthetic acceleration (DSA) technique.

Um Processo de Decisão Markoviano (MDP) pode ser usado para modelar problemas de decisão sequencial. No entanto, podem existir limitações na obtenção de probabilidades para modelagem da transição de estados ou falta de confiabilidade nas informações existentes sobre estas probabilidades. Um modelo menos restritivo e que pode resolver este problema é o Processo de Decisão Markoviano com Probabilidades Intervalares (BMDP), que permite a representação imprecisa das probabilidades de transição de estados e raciocínio sobre uma solução robusta. Para resolver BMDPs de horizonte infinito, existem os algoritmos síncronos de Iteração de Valor Intervalar e Iteração de Política Robusto, que são ineficientes quando o tamanho do espaço de estados é grande. Neste trabalho são propostos algoritmos assíncronos de Iteração de Política baseados no particionamento do espaço de estados em subconjuntos aleatórios (Robust Asynchronous Policy Iteration - RAPI) ou em componentes fortemente conexos (Robust Topological Policy Iteration - RTPI). Também são propostas formas de inicializar a função valor e a política dos algoritmos, de forma a melhorar a convergência destes. O desempenho dos algoritmos propostos é avaliado em comparação com o algoritmo de Iteração de Política Robusto para BMDPs para domínios de planejamento existentes e um novo domínio proposto. Os resultados dos experimentos realizados mostram que (i) quanto mais estruturado é o domínio, melhor é o desempenho do algoritmo RTPI; (ii) o uso de computação paralela no algoritmo RAPI possui um pequeno ganho computacional em relação à sua versão sequencial; e (iii) uma boa inicialização da função valor e política pode impactar positivamente o tempo de convergência dos algoritmos. / A Markov Decision Process (MDP) can be used to model sequential decision problems. However, there may be limitations in obtaining probabilities for state transition modeling or lack of reliability in existing information on these probabilities. A less restrictive model that can solve this problem is the Bounded-parameter Markov Decision Process (BMDP), which allows the imprecise representation of the transition probabilities and reasoning about a robust solution. To solve infinite horizon BMDPs, there are synchronous algorithms such as Interval Value Iteration and Robust Policy Iteration, which are inefficient for large state spaces. In this work, we propose new asynchronous Policy Iteration algorithms based on state space partitioning in random subsets (Robust Asynchronous Policy Iteration - RAPI) or in strongly connected components (Robust Topological Policy Iteration - RTPI). We also propose ways to initialize the value function and policy of the algorithms, in order to improve their convergence. The performance of the proposed algorithms is evaluated in comparison with the Robust Policy Iteration algorithm for BMDPs for existing planning domains and a proposed new domain. The results of the experiments show that (i) the more structured the domain, the better is the performance of the RTPI algorithm; (ii) the use of parallel computing in the RAPI algorithm has a small computational gain compared to its sequential version; and (iii) a good initialization of the value function and policy can positively impact the convergence time of the algorithms.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-25T17:20:25Z No. of bitstreams: 1 ANNAXSUEL ARAÚJO DE LIMA - DISSERTAÇÃO PPGMAT 2011..pdf: 581866 bytes, checksum: cc44cd422d4a48ddad0354f215805918 (MD5) / Made available in DSpace on 2018-07-25T17:20:25Z (GMT). No. of bitstreams: 1 ANNAXSUEL ARAÚJO DE LIMA - DISSERTAÇÃO PPGMAT 2011..pdf: 581866 bytes, checksum: cc44cd422d4a48ddad0354f215805918 (MD5) Previous issue date: 2011-04 / Neste trabalho, apresentamos métodos envolvendo sub e supersolução para estudar a existência de solução de certas equações elípticas. / In this work, we present methods involving sub and supersolution to study the existence of solution of certain elliptic equations.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O esquema iterativo de fonte de espalhamento (SI) é tradicionalmente aplicado para a convergência da solução numérica de malha fina para problemas de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas com fonte fixa. O esquema SI é muito simples de se implementar sob o ponto de vista computacional; porém, o esquema SI pode apresentar taxa de convergência muito lenta, principalmente para meios difusivos (baixa absorção) com vários livres caminhos médios de extensão. Nesta dissertação descrevemos uma técnica de aceleração baseada na melhoria da estimativa inicial para a distribuição da fonte de espalhamento no interior do domínio de solução. Em outras palavras, usamos como estimativa inicial para o fluxo escalar médio na grade de discretização de malha fina, presentes nos termos da fonte de espalhamento das equações discretizadas SN usadas nas varreduras de transporte, a solução numérica da equação da difusão de nêutrons em grade espacial de malha grossa com condições de contorno especiais, que aproximam as condições de contorno prescritas que são clássicas em cálculos SN, incluindo condições de contorno do tipo vácuo. Para aplicarmos esta solução gerada pela equação da difusão em grade de discretização de malha grossa nas equações discretizadas SN de transporte na grade de discretização de malha fina, primeiro implementamos uma reconstrução espacial dentro de cada nodo de discretização, e então determinamos o fluxo escalar médio em grade de discretização de malha fina para usá-lo nos termos da fonte de espalhamento. Consideramos um número de experimentos numéricos para ilustrar a eficiência oferecida pela presente técnica (DSA) de aceleração sintética de difusão. / The scattering source iterative (SI) scheme is traditionally applied to converge finemesh numerical solutions to fixed-source discrete ordinates neutron transport problems. The SI scheme is very simple to implement under a computational viewpoint. However, the SI scheme may show very slow convergence rate, mainly for diffusive media (low absorption) with several mean free paths in extent. In this work we describe an acceleration technique based on an improved initial guess for the scattering source distribution within the slab. In other words, we use as initial guess for the fine-mesh average scalar flux in the scattering source terms of the SN discretized equations used in the transport sweeps, the coarse-mesh solution of the neutron diffusion equation with special boundary conditions to account for the classical SN prescribed boundary conditions, including vacuum boundary conditions. To apply this coarse-mesh diffusion solution into the fine-mesh SN transport sweep discretized equations, we first perform within-node spatial reconstruction, and then we determine the fine-mesh average scalar flux for use in the scattering source terms. We consider a number of numerical experiments to illustrate the efficiency of the offered diffusion synthetic acceleration (DSA) technique.

Made available in DSpace on 2015-04-11T14:02:42Z (GMT). No. of bitstreams: 1 edna.pdf: 3673971 bytes, checksum: 89ecadfcc33fc87adf6e023ed082081a (MD5) Previous issue date: 2010-12-29 / In order to evaluate communicability in virtual environments developed using Moodle, also considering how novice students react when developing basic tasks through that software, this work describes how MIS and MAC two methods from Semiotic Engineering were used to evaluate designer-user interaction (under student profile) in this class of environment. From experiments with Moodle IFAM and ColabWeb, both environments currently used with distance learning courses offered by two Brazilian Federal Higher Education institutions, we describe how application of a successive refinement schema for the interface, based on the setting of elements available. / Com o objetivo de avaliar a comunicabilidade de ambientes virtuais desenvolvidos a partir da plataforma Moodle, verificando como alunos novatos reagem ao realizarem determinadas tarefas utilizando o sistema, este trabalho descreve como os métodos MIS e MAC da Engenharia Semiótica foram aplicados para a avaliação da interação designer-usuário (perfil aluno) em ambientes dessa categoria. A partir de experimentos com os ambientes Moodle IFAM e ColabWeb, ambos utilizados nas disciplinas a distância oferecidas atualmente por duas IFES, descrevemos a aplicação de um esquema de refinamentos sucessivos da interface a partir da modificação dos elementos de configuração disponíveis.