Neste trabalho, procurei construir um ajuste fenomenológico que descrevesse o comportamento das oscilações acústicas de bárions (BAO) no espectro de potência da temperatura de brilho da linha de 21cm do átomo de hidrogênio neutro, na aproximação de Limber. O ajuste obtido demonstrou ser capaz de descrever o comportamento oscilatório do BAO nas faixas de redshift analisados, que foram de 0.127 à 0.479. Quando combinado com dados de supernova, restrições nos parâmetros cosmológicos tiveram resultados mais precisos. Contudo, restrições incluindo a medida do valor local da constante de Hubble piora os dados, devido a grandes divergências nos valores da constante de Hubble. / In this work, I searched for a phenomenological fit that describes the behavior of the baryon acoustic oscillation (BAO) in the angular power spectrum of brightness temperature of the 21cm line from the neutral hydrogen atom, under Limbers approximation. The fit obtained has shown to be capable of describe the oscillatory behaviour of the BAO in the redshift bands analyzed, that lies in the range from 0.127 to 0.479. When combined with supernova data, the constraints in the cosmological parameters produced more precise results. However, constraints including measuring the local value of the Hubble. constant worsen the data, due to great divergences in the values of the Hubble constant.

O foco central desta tese é o desenvolvimento de algoritmos para o problema de recoloração convexa de caminhos. Neste problema, é dado um caminho cujos vértices estão coloridos arbitrariamente, e o objetivo é recolorir o menor número possível de vértices de modo a obter uma coloração convexa. Dizemos que uma coloração de um grafo é convexa se, para cada cor, o subgrafo induzido pelos vértices dessa cor é conexo. Sabe-se que este problema é NP-difícil. Associamos a este problema um poliedro, e estudamos sua estrutura facial, com vistas ao desenvolvimento de um algoritmo. Mostramos várias inequações válidas para este poliedro, e provamos que várias delas definem facetas. Apresentamos um algoritmo de programação dinâmica que resolve em tempo polinomial o problema da separação para uma classe grande de inequações que definem facetas. Implementamos um algoritmo branch-and-cut baseado nesses resultados, e realizamos testes computacionais com instâncias geradas aleatoriamente. Apresentamos adicionalmente uma heurística baseada numa formulação linear que obtivemos. Estudamos também um caso especial deste problema, no qual as instâncias consistem em caminhos coloridos, onde cada cor ocorre no máximo duas vezes. Apresentamos um algoritmo de 3/2-aproximação para este caso, que é também NP-difícil. Para o caso geral, é conhecido na literatura um algoritmo de 2-aproximação. / The focus of this thesis is the design of algorithms for the convex recoloring problem on paths. In this problem, the instance consists of a path whose vertices are arbitrarily colored, and the objective is to recolor the least number of vertices so as to obtain a convex coloring.Acoloring of a graph is convex if, for each color, the subgraph induced by the vertices of this color is connected. This problem is known to be NP-hard. We associate a polyhedron to this problem and investigate its facial structure. We show various classes of valid inequalities for this polyhedron and prove that many of them define facets.We present a polynomial-time dynamic programming algorithm that solves, in polynomial time, the separation problem for a large class of facet-defining inequalities.We report on the computational experiments with a branch-and-cut algorithm that we propose for the problem. Additionally, we present a heuristic that is based on a linear formulation for the problem. We also study a special case of this problem, restricted to instances consisting of colored paths in which each color occurs at most twice. For this case, which is also NP-hard, we present a 3/2-approximation algorithm. For the general case, it is known a 2-approximation algorithm.

Esta tese apresenta uma metodologia de implementação de diversas funções matemáticas de ponto-flutuante de alto desempenho para o processador digital de sinais (DSP) de ponto-fixo Blackfin ADSP-BF533 da Analog Devices através de aproximação polinomial. Foram implementadas as funções trigonométricas seno, co-seno, tangente e suas funções inversas, assim como funções logarítmica e exponencial. Será apresentado um meio para manipular valores ponto-flutuante em arquiteturas ponto-fixo, junto com estratégias de alto desempenho para aproximar e resolver funções através de polinômios. Comparações de desempenho serão feitas com a biblioteca matemática ANSI-C do processador Blackfin. Os resultados deste trabalho chegam a uma redução máxima de 85% do tempo de execução em relação à biblioteca desta arquitetura.

Os processos de quebra e fusão que ocorrem em núcleos fracamente ligados tem apresentado grande interesse teórico e experimental recentemente. Para sistemas simples, como o dêuteron, essas reações tem sido estudado por décadas. O importante papel desempenhado pelo processo de quebra em reações induzidas por dêuterons, levou ao desenvolvimento da técnica CDCC que descreve simultaneamente o espalhamento elástico. Entretanto, quando os processos de quebra e fusão são consideradas separadamente, a aproximação DWBA provém razoável concordância com os dados experimentais para espectros e distribuições angulares. Nesse trabalho, usamos o potencial de alcance zero da aproximação DWBA na forma post para estimar as seções de choque total de quebra elástica e Coulomb-induzida como função da energia para diversos núcleos-alvo. Usamos o modelo de folding para estimar a seção de choque de absorção do dêuteron e comparamos as seções de choque de fusão completa e quebra elástica com a seção de choque de reação do dêuteron, com o objetivo de caracterizar a dependência da energia e da carga/massa dessas contribuições para a seção de choque de reação.

O tema central deste trabalho é o estudo de problemas sobre caminhos mais longos em grafos, de pontos de vista tanto estrutural como algorítmico. A primeira parte tem como foco o estudo de problemas motivados pela seguinte questão levantada por T. Gallai em 1966: é verdade que em todo grafo conexo existe um vértice comum a todos os seus caminhos mais longos? Hoje, já se conhecem diversos grafos conexos cuja intersecção de todos os seus caminhos mais longos é vazia. Entretanto, existem classes de grafos para as quais a resposta à pergunta de Gallai é afirmativa. Nessa linha, apresentamos alguns resultados da literatura e duas novas classes que obtivemos: os grafos exoplanares e as 2-árvores. Motivado por esse problema, nos anos 80, T. Zamfirescu formulou a seguinte pergunta que permanece em aberto: é verdade que em todo grafo conexo existe um vértice comum a quaisquer três de seus caminhos mais longos? Apresentamos, além de alguns resultados conhecidos, uma prova de que a resposta é afirmativa para grafos em que todo bloco não trivial é hamiltoniano. Notamos que esse último resultado e o acima mencionado para grafos exoplanares generalizam um teorema de M. Axenovich (2009) que afirma que quaisquer três caminhos mais longos em um grafo exoplanar têm um vértice em comum. Finalmente, mencionamos alguns outros resultados da literatura relacionados com o tema. Na segunda parte, investigamos o problema de encontrar um caminho mais longo em um grafo. Este problema é NP-difícil para grafos arbitrários. Isto motiva investigações em duas linhas a respeito da busca de tais caminhos. Pode-se procurar classes especiais de grafos para as quais existem algoritmos polinomiais, ou pode-se abrir mão da busca de um caminho mais longo, e projetar um algoritmo eficiente que encontra um caminho cujo comprimento esteja próximo do comprimento de um mais longo. Nesse trabalho estudamos ambas as abordagens e apresentamos alguns resultados da literatura. / The central theme of this thesis is the study of problems related to longest paths in graphs, both from a structural and an algorithmic point of view. The first part focuses on the study of problems motivated by the following question raised by T. Gallai in 1966: is it true that every connected graph has a vertex common to all its longest paths? Today, many connected graphs in which all longest paths have empty intersection are known. However, there are classes of graphs for which Gallais question has a positive answer. In this direction, we present some results from the literature, as well as two new classes we obtained: outerplanar graphs and 2-trees. Motivated by this problem, T. Zamfirescu, in the 80s, proposed the following question which remains open: is it true that every connected graph has a vertex common to any three of its longest paths? We present, in addition to some known results, a proof that the answer to this question is positive for graphs in which all non-trivial blocks are Hamiltonian. We note that this result and the one mentioned above for outerplanar graphs generalize a theorem of M. Axenovich (2009) that states that any three longest paths in an outerplanar graph have a common vertex. Finally, we mention some other related results from the literature. In the second part, we investigate the problem of finding a longest path in a graph. This problem is NP-hard for arbitrary graphs. This motivates investigations in two directions with respect to the search for such paths. We can look for special classes of graphs for which the problem is polynomially solvable, or we can relinquish the search for a longest path and design an efficient algorithm that finds a path whose length is close to that of a longest path. In this thesis we study both approaches and present some results from the literature.

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2016-08-08T14:35:33Z No. of bitstreams: 1 Claudia Bossay Assumpção Fassa.pdf: 1866750 bytes, checksum: 894d3b38f333456121ac5c289595a7de (MD5) / Made available in DSpace on 2016-08-08T14:35:33Z (GMT). No. of bitstreams: 1 Claudia Bossay Assumpção Fassa.pdf: 1866750 bytes, checksum: 894d3b38f333456121ac5c289595a7de (MD5) Previous issue date: 2016-03-10 / Independent regulatory agencies, functioning within the model developed in the 1990’s with their own purposes and normative power over multiple sectors of the economy as well as over the provision of public services, have assumed great importance in democracy and social order, ever since they have been charged with exercising the regulation of certain sectors of the economy, with the overwhelming objective of assuring the adequate provisioning of services and guaranteeing protection for the user, as prescribed in Article 175, subsections II and IV of the Federal Constitution. These objectives are public functions, obligations of the state which cannot be waived. The state, faced with the shrinkage of the welfare state, which has passed from being a service provider to being a regulator of these activities, has been charged with maintaining vigiliance so that these services can be provided to society in the best manner possible. This transition from state as contractor to state as guarantor has increased the demand for state provisions. The logical consequence of requiring this protection is the obligation for approximation between the regulating entities and the user. The regulatory agencies have the legal duty to approach and protect the users, as well as the responsibility to make effective the principle informants of the legally governed, social, democratic state and economic order, providing relief for the principles of human dignity. Allied with the role of user protection, which is conferred upon the regulatory agencies, it is essential that the safeguarding of citizens be reinforced by mechanisms of democratic participation so that they may guarantee the right to influence the management of services provided by regulated companies, the management of the very activities of the regulatory agencies, and the commitments and agendas that have been and should be adopted by the public authority. Regulatory acts should be responsive, that is to say transparent, contrained by adminstrative morality and wrapped in honesty, in order to meet the demands of society. The adminstered have the right to a public adminstration that is not only efficient but also effective. The level of approximation and protection for the user, which is a fundamental right, and the duty for efficiency and effectiveness of the regulatory acts within the scope of the regulatory agencies are perfected through institutionalized dialogue with the citizen (whether a user or not, a consumer or not) by way of instruments of democratic participation and within the exercise of the commitment of the agencies to responsibility and administrative responsiveness / As agências reguladoras independentes, no modelo elaborado a partir da década de 1990, com finalidades próprias e poder normativo sobre vários setores da economia e sobre a prestação de serviços públicos, assumiram grande importância na ordem social e democrática, uma vez que foram incumbidas de exercer o controle e a fiscalização das empresas reguladas, com o objetivo preponderante de assegurar a prestação adequada do serviço e de garantir a proteção do usuário, como preconiza o artigo 175, Incisos II e IV, da Constituição Federal. Tais objetivos são funções públicas;; tarefas irrenunciáveis do Estado. O Estado, diante do encolhimento do Estado Administrativo de Providência, que de prestador de serviços passou a regulador dessas atividades, ficou encarregado de manter vigilância para que elas sejam prestadas da melhor forma possível à sociedade. Essa passagem do Estado empresário para o Estado de garantia aumentou a exigência da prestação estatal. E a consequência lógica desse dever de proteção é o dever de aproximação dos entes reguladores com o usuário. As agências reguladoras têm o dever jurídico de se aproximar e de proteger os usuários, bem como a responsabilidade de dar efetividade aos princípios informadores do Estado Social e democrático de Direito e da ordem econômica, dando relevo ao princípio da dignidade humana. Aliado ao papel de proteção do usuário, que é conferido às agências reguladoras, é essencial que a tutela dos cidadãos seja reforçada pelos mecanismos de participação democrática, para que eles possam ter assegurado o direito de influenciar na gestão dos serviços prestados pelas empresas reguladas, na gestão da própria atividade das agências reguladoras e nos compromissos e pautas que foram e que deverão ser adotadas pelo Poder Público. Os atos regulatórios devem ser responsivos, isto é, transparentes, manietados à moralidade administrativa e revestidos de idoneidade para atender às demandas da sociedade. O administrado tem direito não só a uma Administração Pública eficiente, mas eficaz. O nível de aproximação e de proteção ao usuário, que é um direito fundamental, e o dever de eficiência e eficácia dos atos regulatórios no âmbito das agências reguladoras, se aperfeiçoam através do diálogo institucionalizado com o cidadão (usuário ou não, consumidor ou não), por meio dos instrumentos de participação democrática e com o exercício do compromisso das agências com a responsabilidade e com a responsividade administrativas

Nesta dissertação estudamos --- do ponto de vista algorítmico --- o seguinte problema, conhecido como problema da partição conexa balanceada. Dado um grafo conexo G com pesos atribuídos a seus vértices, e um inteiro q >= 2, encontrar uma partição dos vértices de G em q classes, de forma que cada classe da partição induza um grafo conexo e que, ao considerar as somas dos pesos dos vértices de cada classe, a menor das somas seja o maior possível. Em outras palavras, o objetivo é encontrar q classes cujos pesos sejam tão balanceados quanto possível. Sabe-se que este problema é NP-difícil. Mencionamos alguns resultados sobre complexidade computacional e algoritmos que são conhecidos para este problema. Apresentamos algumas heurísticas que desenvolvemos, todas elas baseadas no uso do algoritmo polinomial para árvores, devido a Perl e Schach, que apresentamos com detalhe. Implementamos quatro heurísticas e um algoritmo de 3/4-aproximação conhecido para o caso q=2. Exibimos os resultados obtidos com os vários testes computacionais conduzidos com instâncias aleatórias, com grafos de diferentes pesos e densidades. Os resultados computacionais indicam que o desempenho dessas heurísticas --- todas elas polinomiais --- é bem satisfatório. No caso especial em que q=2, observamos que a heurística mais onerosa sistematicamente produziu soluções melhores ou iguais às do algoritmo de aproximação / In this dissertation we study algorithmic aspects of the following problem, known as the balanced connected partition. Given a connected graph G with weights defined on its vertices, and an integer q >= 2, find a partition of the vertices of G into q classes such that each class induces a connected graph, and furthermore, when we consider the sum of the weights of the vertices in each class, the smallest sum is as large as possible. In other words, the q classes must have weights that are as balanced as possible. This problem is known to be NP-hard. We mention some computational complexity and algorithmic results that are known for this problem. We present some heuristics that we designed, all of them based on the use of the polynomial algorithm for trees, due to Perl and Schach, which we show in detail. We implemented four heuristics and a 3/4-approximation algorithm that is known for q=2. We run tests on many random instances, of graphs with different weights and densities. The computational results indicate that the performance of these heuristics --- all of polynomial time complexity --- are very satisfactory. For q=2, we observed that the most expensive heuristic produced solutions with values which are systematically better or equal to those produced by the approximation algorithm.

Esta tese apresenta uma análise qualitativa da tradução de marcadores culturais referenciais (extra-lingüísticos) e estilísticos (convenções lingüísticas) em dois corpora paralelos de documentos da área de direito privado, um com originais em português brasileiro e traduções em inglês e o outro com originais em inglês e traduções em português brasileiro. Os corpora não contêm traduções de aprendizes. Dividiu-se os marcadores em categorias temáticas para identificar tendências de abordagem. As análises incluíram classificação das soluções tradutórias através das modalidades de Aubert (2005), com modificações, e graus de aproximação do receptor ao texto original. Dois corpora comparáveis em inglês e português também foram coletados e utilizados para servir como uma referência para questões estilísticas / This dissertation is a qualitative analysis of the translation of referential (extra-linguistic) and stylistic cultural markers in two parallel corpora containing documents from the area of private law, one with originals in Brazilian Portuguese and translations in English and the other with originals in English and translations in Brazilian Portuguese. The corpora contain translations performed by professionals, not students of translation. The cultural markers were categorized thematically to allow identification of translation strategy trends. The analyses included classification of translation solutions using the modalities of Aubert (2005), with modifications, and degrees of approximation between the receptor and the original text. Two comparable corpora in English and Brazilian Portuguese were also compiled and used as a reference for stylistic questions

Orientador: João Carlos da Motta Ferreira / Dissertação (mestrado) - Universidade Federal do ABC. Programa de Mestrado Profissional em Matemática em Rede Nacional - PROFMAT, 2013

Esta tese apresenta uma análise qualitativa da tradução de marcadores culturais referenciais (extra-lingüísticos) e estilísticos (convenções lingüísticas) em dois corpora paralelos de documentos da área de direito privado, um com originais em português brasileiro e traduções em inglês e o outro com originais em inglês e traduções em português brasileiro. Os corpora não contêm traduções de aprendizes. Dividiu-se os marcadores em categorias temáticas para identificar tendências de abordagem. As análises incluíram classificação das soluções tradutórias através das modalidades de Aubert (2005), com modificações, e graus de aproximação do receptor ao texto original. Dois corpora comparáveis em inglês e português também foram coletados e utilizados para servir como uma referência para questões estilísticas / This dissertation is a qualitative analysis of the translation of referential (extra-linguistic) and stylistic cultural markers in two parallel corpora containing documents from the area of private law, one with originals in Brazilian Portuguese and translations in English and the other with originals in English and translations in Brazilian Portuguese. The corpora contain translations performed by professionals, not students of translation. The cultural markers were categorized thematically to allow identification of translation strategy trends. The analyses included classification of translation solutions using the modalities of Aubert (2005), with modifications, and degrees of approximation between the receptor and the original text. Two comparable corpora in English and Brazilian Portuguese were also compiled and used as a reference for stylistic questions