Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-17T23:47:38Z No. of bitstreams: 1 YuriSarmentoSilveira_DISSERT.pdf: 7722507 bytes, checksum: 6d1444bedd713386875e463932606d82 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-18T00:00:53Z (GMT) No. of bitstreams: 1 YuriSarmentoSilveira_DISSERT.pdf: 7722507 bytes, checksum: 6d1444bedd713386875e463932606d82 (MD5) / Made available in DSpace on 2017-10-18T00:00:53Z (GMT). No. of bitstreams: 1 YuriSarmentoSilveira_DISSERT.pdf: 7722507 bytes, checksum: 6d1444bedd713386875e463932606d82 (MD5) Previous issue date: 2016-12-16 / O processo de planejamento de caminho ? um problema bastante estudado na rob?tica. A capacidade de analisar o ambiente e definir a sequ?ncia de a??es que levam um rob? de uma localiza??o inicial at? uma localiza??o final desejada, sem colidir com os obst?culos presentes no ambiente, ? uma habilidade fundamental requerida para a cria??o de sistemas rob?ticos aut?nomos que possam executar diversas fun??es. Nesta disserta??o, apresenta-se um estudo sucinto do estado da arte na ?rea de planejamento de caminhos para sistemas rob?ticos aut?nomos, de forma a contextualizar o tema abordado neste trabalho. Cada m?todo de planejamento possui sua pr?pria estrat?gia de explora??o do ambiente e planejamento do caminho. Nesta disserta??o ? proposto um novo m?todo de planejamento de caminho para rob?s. No m?todo proposto, o espa?o livre do ambiente ? coberto de forma aproximada por um conjunto denominado Espuma Aleat?ria, a qual ? composta por subconjuntos convexos superpostos denominados Bolhas. A partir da localiza??o inicial, novas bolhas s?o criadas aleatoriamente na superf?cie da espuma, que se propaga pelo espa?o livre, com comportamento semelhante ? propaga??o de frentes de onda, gerando uma ?rvore de busca, at? atingir a localiza??o final. Desta forma, ? poss?vel encontrar uma sequ?ncia de bolhas concatenadas, denominada Ros?rio, que conecta a localiza??o final ? inicial. Um caminho v?lido pode ser facilmente obtido dentro do espa?o de manobra definido pelo ros?rio. O processo de busca no m?todo proposto ? determinado por apenas dois par?metros. Crit?rios para a sua sintonia s?o estudados e apresentados neste trabalho. De forma a validar o m?todo proposto, o seu desempenho foi avaliado atrav?s de simula??es computacionais para diferentes estudos de caso. / Path planning is a well studied problem in robotics. The capability of analyzing the environment and defining a sequence of actions that leads a robot from an initial location to a final desired location, without colliding with obstacles, is a fundamental ability when creating autonomous robotic systems that can perform various functions. In order to contextualize the theme addressed in this work, a succinct study of the state-of-the-art on path planning for autonomous robotic systems is presented. Each planning method has its own strategy to explore the ambient and plan the path. In this dissertation, a new robot path planning method is proposed. In the proposed method, the ambient free space is partially covered by a set called Random Foam, composed of the union of overlapping convex subsets called Bubbles. Starting from the initial robot localization, new bubbles are randomly created on the surface of the foam, that propagates through the free space, with a behavior similar to a wave front propagation, generating a search tree that grows until reaching the desired final robot localization. In this way, it is possible to find a sequence of concatenated bubbles, called Rosary, connecting the desired final localization to the initial localization of the robot. A valid path contained in the maneuvering space defined by the rosary can be easily found. In the proposed method, the search process is guided by only two parameters. Tuning criteria for these parameters are studied and presented in this work. In order to validate the proposed path planning method, its performance was evaluated through computer simulations of different case studies.

Introdução: A fibromialgia (FM) é uma síndrome de dor crônica musculoesquelética difusa, cuja etiologia não está totalmente conhecida. A síndrome cursa com dor, alterações do humor e sintomas de ruptura do ritmo circadiano. Sabe-se que seu processo fisiopatogênico envolve um desbalanço entre os sistemas de modulação excitatório e inibitório da dor. A capacidade do sistema modulatório inibitório está enfraquecida, com hiperativação de neurônios e da neuroglia, constituindo um quadro de sensibilização central. Portanto, estudos adicionais são necessários para compreender a relação entre possíveis marcadores séricos da hiperativação neuronal, tais como o Brain Derived Neurotrophic Factor (BDNF) e a proteína S100 beta (S100B). Além disso, estudos que busquem opções terapêuticas com efeito em vias neurobiológicas alternativas, tais como a melatonina, uma indolamina com efeitos ressincronizador, analgésico, anti-inflamatório e em sistemas moduladores da dor, como o gabaérgico, opioidérgico e glutamatérgico. Objetivos: 1) Primário: Avaliar se os níveis séricos de BDNF e S100B teriam associação com a FM e se ambos os mediadores sorológicos poderiam ser associados com o limiar de dor à pressão. 2) Secundário: Testar o tratamento com melatonina isolada ou em combinação com amitriptilina é melhor que amitriptilina isolada para modificar o sistema modulatório da dor. Assim, para provar tais hipóteses, neste estudo foram quantificados a modulação condicionada da dor e níveis de BDNF sérico em pacientes que receberam tratamento com melatonina isolada ou associada com amitriptilina. Foi também testado se melatonina melhoraria os sintomas clínicos como dor, limiar de dor à pressão e qualidade do sono relacionado à FM. Métodos: Foram selecionadas pacientes com diagnóstico de FM de acordo com o American College of Rheumatology (ACR) 2010. No primeiro estudo, de desenho transversal, foram incluídas 56 mulheres com FM, com idades entre 18 e 65 anos. Foram avaliados o limiar de dor à pressão e dosagem sérica de BDNF e S100B. No segundo estudo, foram incluídas 63 pacientes com os mesmos critérios de inclusão descritos no estudo transversal. As pacientes foram randomizadas e receberam, ao deitar, amitriptilina (25mg) (n=21), melatonina (10mg) (n=21) ou melatonina (10 mg) + amitriptilina (25mg) (n=21), durante seis semanas. O sistema modulatório descendente da dor foi acessado pela modulação condicionada da dor, através da mensuração da escala numérica de dor (NPS(0-10)) durante aferição do limiar de dor ao calor. Resultados: O resultado do estudo transversal mostrou que BDNF e S100B séricos foram correlacionados. BDNF e S100B foram inversamente correlacionados com limiar de dor à pressão. BDNF sérico foi associado com limiar de dor à pressão, idade e transtorno obsessivo compulsivo, enquanto que S100B sérica foi apenas associada com limiar de dor à pressão. O ensaio clínico randomizado demonstrou que a melatonina aumentou a potência do sistema modulatório da dor inibitório e que a modulação condicionada da dor foi negativamente correlacionada com BDNF sérico. Conclusões: Os estudos desta tese demonstram que S100B e BDNF, ambos mediadores chave no processo de sensibilização central, foram inversamente correlacionados com o limiar de dor à pressão. BDNF sérico foi, ainda, inversamente correlacionado com a redução da dor. Portanto, a avaliação sérica de BDNF e S100B merece estudos adicionais para determinar seu potencial papel sinalizador no espectro da sensibilização central nessa doença. / Introduction: Fibromyalgia (FM) is a syndrome of chronic diffuse musculoskeletal pain whose etiology is not fully known. This syndrome causes pain, mood swings and symptoms of rupture of the circadian rhythm. Its pathophysiological process involves an imbalance between excitatory and inhibitory pain modulatory systems. The ability of inhibitory systems is weakened, providing a framework of central sensitization, with dysfunction in the descending pain modulatory system, hyper-activation of neurons and neuroglia. Therefore, additional studies are needed to understand the possible relationship between serum markers of neuronal hyperactivity, such as Brain Derived Neurotrophic Factor (BDNF) and S100B. Particularly, studies seeking therapeutic options with effect in neurobiological alternative pathways such as melatonin, a indolamine with resynchronization, analgesic, and anti-inflammatory effects and actions on the modulatory pain systems such as GABAergic, opiodergic and glutamatergic. Objectives: 1) Primary: Evaluate whether the serum levels of BDNF and S100B have association with FM and if both serological mediators could be associated with pressure pain threshold. 2) Secondary: To test the hypothesis that treatment with melatonin alone or in combination with amitriptyline is better than amitriptyline alone to modify the endogenous pain modulatory system. Thus, to prove these hypothesis, it was quantified the conditioned pain modulation and serum BDNF levels in FM patients receiving treatment with melatonin alone or in combination with amitriptyline. Also, it was tested whether melatonin would improve clinical symptoms such as pain, pressure pain threshold and quality of sleep related to FM. Methods: Patients with FM according to the American College of Rheumatology (ACR) 2010 were selected. In the first study, a cross-sectional design, 56 women aging 18-65 years old, with FM were included. It was evaluated the pressure pain threshold, and serum levels of BDNF and S100B. In the second study, 63 patients were included with the same inclusion criteria described in the cross-sectional study. Patients were randomized and received at bedtime amitriptyline (25 mg) (n = 21), melatonin (10 mg) (n = 21) or melatonin (10 mg) + amitriptyline (25 mg) (n = 21) for six weeks. The descending pain modulatory system was accessed by the conditioned pain modulation, measuring the numerical pain scale [NPS (0-10)] during the heat pain threshold. Results: On the cross-sectional study serum BDNF and S100B were correlated. Serum BDNF and S100B were correlated with the pressure pain threshold. Serum BDNF was associated with pressure pain threshold, age and obsessive compulsive disorder, while serum S100B was associated with pressure pain threshold, only. The randomized clinical trial showed that melatonin increased the efficacy of inhibitory pain modulatory system and the conditioned pain modulation was negatively correlated with serum BDNF. Conclusions: The studies of this thesis show that both key mediators of the central sensitization process, BDNF and S100B, were inversely correlated with the pressure pain threshold. They also showed that melatonin increased the inhibitory pain modutalory system. Furthermore, it emphasizes that serum BDNF was inversely correlated with pain reduction. Therefore, assessment of serum BDNF and S100B deserve further studies to determine their potential as a proxy for the central sensitization spectrum in FM.

Submitted by Marcos Roberto Gomes (mrobertosg@gmail.com) on 2017-06-22T15:28:21Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Rodrigo_Farias_Araujo.pdf: 2432590 bytes, checksum: a0accf6a453257550a0ea9f75b50b687 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-06-23T14:38:14Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Rodrigo_Farias_Araujo.pdf: 2432590 bytes, checksum: a0accf6a453257550a0ea9f75b50b687 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-06-23T14:44:39Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Rodrigo_Farias_Araujo.pdf: 2432590 bytes, checksum: a0accf6a453257550a0ea9f75b50b687 (MD5) / Made available in DSpace on 2017-06-23T14:44:39Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Rodrigo_Farias_Araujo.pdf: 2432590 bytes, checksum: a0accf6a453257550a0ea9f75b50b687 (MD5) Previous issue date: 2017-03-30 / This work presents a new method of optimization applied to different classes of problems, such as non-convex and convex. The methodology consists in the use the counterexample generated from the model checking technique based on Boolean satisfiability theory (SAT) and satisfiability modulo theory (SMT), to guide the optimization process. Three algorithms of optimization are developed: Generic Algorithm, applied to any class of optimization problem, it will be used in the optimization of non-convex functions, Simplified Algorithm, used in the optimization of functions in which there is some previous knowledge, e. g., semi-defined or defined positive functions and Fast Algorithm, used to optimize convex functions. In addition, convergence proofs are provided for the respective algorithms. The algorithms are implemented using two model verifiers, CBMC which uses the SAT-based MiniSAT solver as back-end, and the ESBMC, which supports SMT-based solvers, such as Z3, Boolector and MathSAT. For perfomance evaluation, the algorithms are applied to a set of thirty functions taken from the literature and used to test optimization algorithms, they are also compared with traditional optimization algorithms usually used in solving non-convex optimization problems, such as genetic algorithm, particle swarm, pattern search, simulated annealing and nonlinear programming. Through the analysis of the results it can be concluded that the developed algorithms are suitable the classes of functions for which they were developed and have a higher rate of success in the search for the optimal value in comparison with the other algorithms. Finally, the developed methodology is applied to solve optimization problems in the context of the two-dimensional path planning for autonomous mobile robots. / Este trabalho apresenta um novo método de otimização aplicado a diferentes classes de problemas, como não-convexos e convexos. A metodologia consiste na utilização do contraexemplo gerado a partir da técnica de verificação de modelos, baseada na teoria de satisfatibilidade booleana (SAT) ou na teoria do módulo de satisfatibilidade (SMT), para guiar o processo de otimização. São desenvolvidos três algoritmos de otimização, são eles: Algoritmo Genérico, aplicado a qualquer classe de problema de otimização, neste será utilizado na otimização de funções não-convexas, Algoritmo Simplificado, empregado na otimização de funções nas quais tem-se algum conhecimento prévio, por exemplo, funções semi-definidas ou definidas positivas e Algoritmo Rápido, utilizado para otimização de funções convexas. Adicionalmente, são fornecidas as provas de convergência para os respectivos algoritmos. Os algoritmos são implementados utilizando dois verificadores de modelos, o CBMC que utiliza como back-end o solucionador MiniSAT baseado em SAT, e o ESBMC, que tem suporte aos solucionadores baseados em SMT, como: Z3, Boolector e MathSAT. Para avaliação de desempenho, os algoritmos são aplicados a um conjunto de trinta funções retiradas da literatura e utilizadas para teste de algoritmos de otimização, os mesmos também são comparados com algoritmos de otimização tradicionais usualmente empregados na resolução de problemas de otimização não-convexa, como: algoritmo genético, enxame de partícula, busca de padrões, recozimento simulado e programação não-linear. Através da análise dos resultados pode-se concluir que os algoritmos desenvolvidos são adequados as classes de funções para os quais foram desenvolvidos e possuem maior taxa de acerto na busca pelo valor ótimo em comparação com os outros algoritmos. Finalmente a metodologia desenvolvida é aplicada para resolver problemas de otimização no contexto de planejamento de caminhos bidimensionais para robô móveis autônomos.

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.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-09-06T20:17:47Z No. of bitstreams: 1 vanessalourencovazcosta.pdf: 20856020 bytes, checksum: 24457527ce60a438a26fc467fade27cc (MD5) / Approved for entry into archive by Diamantino Mayra (mayra.diamantino@ufjf.edu.br) on 2016-09-09T10:51:59Z (GMT) No. of bitstreams: 1 vanessalourencovazcosta.pdf: 20856020 bytes, checksum: 24457527ce60a438a26fc467fade27cc (MD5) / Made available in DSpace on 2016-09-09T10:51:59Z (GMT). No. of bitstreams: 1 vanessalourencovazcosta.pdf: 20856020 bytes, checksum: 24457527ce60a438a26fc467fade27cc (MD5) Previous issue date: 2013-04-17 / A ocupação do território atravessado pelo Caminho Novo iniciou-se simultaneamente à sua abertura, logo após a descoberta dos veios auríferos nas minas gerais. Este caminho tornou-se a principal via de trânsito de pessoas e de transporte do ouro e mercadorias entre as minas e o Rio de Janeiro. As primeiras pessoas a ocuparem essa área – correspondente às freguesias do Caminho Novo, ou Caminho Novo do Mato, e Simão Pereira – se dedicaram à lavoura e pecuária de abastecimento dos viajantes. Por essa razão, mantinham também ranchos e estalagens. Essa freguesia viu seus rendimentos agrícolas declinarem com a queda do ouro. Entretanto, com o avanço da fronteira agrícola para a Zona da Mata, em virtude do redirecionamento da sua produção, essa região conseguiu um crescimento espantoso. Isso se deu graças à expansão da lavoura do café, no período compreendido entre o final do século XVIII e início do século XIX. Este trabalho tem por objetivo investigar esse processo de transição, e busca identificar os personagens envolvidos nas transformações desse período. Para isso contamos com uma fonte até agora pouco explorada: os registros de dízimo. Eles constituem o núcleo mais importante por serem, até o momento, a melhor fonte de que dispomos para determinar as flutuações da produção agrária. Dispomos de séries completas de livros, pertencentes à Coleção da Casa dos Contos, que nos permite realizar o acompanhamento por períodos da ocupação de terras por freguesia. Basicamente, trabalhamos no intuito de direcionar holofotes sobre os principais contribuintes, ou seja, aqueles que contribuíam com as maiores quantias. Com isso, podemos estabelecer as continuidades e as rupturas que ocorreram na região que hoje constituí a cidade de Juiz de Fora. / The occupation of the territory crossed by the New Way started simultaneously with its own opening , right after the discovery of auriferous veins at the mines . This road became the foremost route traffic of people, and gold and commodities transport between the mines and Rio de Janeiro. The first people to occupy this area - corresponding to the parishes of the New Way or the Bush New Way, and Simon Pereira - were dedicated to farming and livestock supply to travelers. For this reason, they also maintained inns and ranches. This parish has seen its agricultural income decline with gold fall. However, with the expansion of agriculture for the ―Zona da Mata‖, due to the redirection of its production, this region achieved a astonishing growth. This happened thanks to the expansion of coffee plantations in the period between the late eighteenth and early nineteenth century. This paper aims to investigate this transition process, and seeks to identify the characters involved in the transformations of this period. For that, we rely on a source very little explored until now: the records of tithing. They are the most important core for being, so far, the best source that we have to determine the fluctuations of agricultural production. We assort a full series of books, belonging to the collection of House of Tales, which allows us to perform the monitoring by periods of land occupation by parish. Basically, we work in order to direct the spotlight on the major taxpayers, in other words, those that contributed with the largest amounts. With that, we can establish the continuities and ruptures that occurred in the region that now constitutes the city of ―Juiz de Fora.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-04-26T17:27:53Z No. of bitstreams: 1 monicacristinamelquiadesduque.pdf: 697556 bytes, checksum: bf32f50f1172cd3d5154fa9a1bbb5219 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-13T12:03:30Z (GMT) No. of bitstreams: 1 monicacristinamelquiadesduque.pdf: 697556 bytes, checksum: bf32f50f1172cd3d5154fa9a1bbb5219 (MD5) / Made available in DSpace on 2017-05-13T12:03:30Z (GMT). No. of bitstreams: 1 monicacristinamelquiadesduque.pdf: 697556 bytes, checksum: bf32f50f1172cd3d5154fa9a1bbb5219 (MD5) Previous issue date: 2013-02-20 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Apresenta-se aqui uma discussão sobre três métodos para o cálculo do propagador de Feynman para alguns modelos em mecânica quântica não relativística. O formalismo de Feynman é apenas um dos vários existentes para a abordagem de problemas na mecânica quântica. O primeiro método é um cálculo da integral de caminho, que é baseado em uma relação de recorrência para a produção de propagadores infinitesimais. Essa relação de recorrência não tem aparecido em discussões anteriores da integral de caminho do oscilador harmônico unidimensional, embora seja inspirada por uma relação similar em um sistema tridimensional. O segundo método foi desenvolvido por Schwinger em 1951 para tratar ações efetivas na eletrodinâmica quântica baseado na solução das equações de movimento do operador de Heisenberg. Com o uso adequado do operador ordenado e subordinadas as condições iniciais produz o propagador. Por fim, o terceiro método, que usa-se de técnicas algébricas baseadas na fatoração do operador evolução temporal usando a fórmula Baker-Campbell-Hausdorff. / Here we present a discussion of three methods to calculate the Feynman propagator for some models in non-relativistic quantum mechanics. The formalism of Feynman is just one of several available for addressing problems in quantum mechanics. The first method is a calculation of the integral path, which is based on a recurrence relation for the production of infinitesimal propagators. This recurrence relation has not appeared in previous discussions of the full path of the one-dimensional harmonic oscillator, although inspired by a similar relationship in a three-dimensional system. The second method was developed by Schwinger in 1951 for treating effective action in quantum electrodynamics based on the solution of the equations of motion of the Heisenberg operator. With the proper use of the operator ordained and subordinated the initial conditions produces the propagator. Finally, the third method, which uses the algebraic techniques are based on factorization of the time evolution operator using the formula Baker-Campbell-Hausdorff.

The stock market has been objective of many researches that seek to identify the presence of some previsibility degree in the return series. Inside of this context grew the Market Efficiency Theory divided in three forms: weak efficiency, semi-strong and strong. The random walk hypothesis was created to test, empirically, the Market Efficiency in the weak-form. Acceptance or rejection brings implications as the possibility of its to get to foresee, somehow, based in past returns, the future returns, removing advantage of that to gain extraordinary incomes. To test the random walk, specialists in this subject they created, along the years, methods and, among these, they stand out the variance ratio tests that, initially they were applied in developed markets and, nowadays, it has also been used at emerging markets. For the development of the present research, with the intention of testing the random walk hypothesis in an emerging market (Brazil) and in a developed market (United States), were implemented the following variance ratio tests: simple, multiple, based in the ranks and signs. The returns of IBOVESPA were used, as proxy of the Brazilian stock market, and of S&P 500, to the North American market, collected daily and weekly in the period of January 03, 2000 to April 25, 2008. The results demonstrated an acceptance of the random walk hypothesis in most of the made tests appearing for a weak form of market efficiency. / O mercado de ações tem sido alvo de muitas pesquisas que visam identificar a presença de algum grau de previsibilidade nas séries de retornos. Dentro deste contexto desenvolveu-se a Teoria de Eficiência de Mercado dividida em três formas: eficiência fraca, semiforte e forte. A hipótese do caminho aleatório foi criada para testar, empiricamente, a Eficiência de Mercado na forma fraca. Sua aceitação ou rejeição traz implicâncias quanto a possibilidade de se conseguir prever, de alguma maneira, com base em retornos passados, os retornos futuros, tirando proveito disso para auferir rendimentos extraordinários. A fim de testar a hipótese do caminho aleatório estudiosos do assunto criaram, ao longo dos anos, métodos e, dentre estes, destacam-se os testes de quociente de variâncias que, inicialmente foram aplicados em mercados desenvolvidos e, atualmente, também tem sido utilizados em mercados emergentes. Para o desenvolvimento da presente pesquisa, com o intuito de testar a hipótese do caminho aleatório em um mercado emergente (Brasil) e em um mercado desenvolvido (Estados Unidos), foram aplicados os seguintes testes de quociente de variâncias: simples, múltiplas, com base nos postos e com base nos sinais. Foram utilizados os retornos do IBOVESPA, como proxy do mercado acionário brasileiro, e do S&P 500, para o mercado norte-americano, coletados diariamente e semanalmente no período de 03 de janeiro de 2000 a 25 de abril de 2008. Os resultados demonstraram uma aceitação da hipótese do caminho aleatório na maioria dos testes efetuados apontando para uma forma fraca de eficiência de mercado.

Introdução: A fibromialgia (FM) é uma síndrome de dor crônica musculoesquelética difusa, cuja etiologia não está totalmente conhecida. A síndrome cursa com dor, alterações do humor e sintomas de ruptura do ritmo circadiano. Sabe-se que seu processo fisiopatogênico envolve um desbalanço entre os sistemas de modulação excitatório e inibitório da dor. A capacidade do sistema modulatório inibitório está enfraquecida, com hiperativação de neurônios e da neuroglia, constituindo um quadro de sensibilização central. Portanto, estudos adicionais são necessários para compreender a relação entre possíveis marcadores séricos da hiperativação neuronal, tais como o Brain Derived Neurotrophic Factor (BDNF) e a proteína S100 beta (S100B). Além disso, estudos que busquem opções terapêuticas com efeito em vias neurobiológicas alternativas, tais como a melatonina, uma indolamina com efeitos ressincronizador, analgésico, anti-inflamatório e em sistemas moduladores da dor, como o gabaérgico, opioidérgico e glutamatérgico. Objetivos: 1) Primário: Avaliar se os níveis séricos de BDNF e S100B teriam associação com a FM e se ambos os mediadores sorológicos poderiam ser associados com o limiar de dor à pressão. 2) Secundário: Testar o tratamento com melatonina isolada ou em combinação com amitriptilina é melhor que amitriptilina isolada para modificar o sistema modulatório da dor. Assim, para provar tais hipóteses, neste estudo foram quantificados a modulação condicionada da dor e níveis de BDNF sérico em pacientes que receberam tratamento com melatonina isolada ou associada com amitriptilina. Foi também testado se melatonina melhoraria os sintomas clínicos como dor, limiar de dor à pressão e qualidade do sono relacionado à FM. Métodos: Foram selecionadas pacientes com diagnóstico de FM de acordo com o American College of Rheumatology (ACR) 2010. No primeiro estudo, de desenho transversal, foram incluídas 56 mulheres com FM, com idades entre 18 e 65 anos. Foram avaliados o limiar de dor à pressão e dosagem sérica de BDNF e S100B. No segundo estudo, foram incluídas 63 pacientes com os mesmos critérios de inclusão descritos no estudo transversal. As pacientes foram randomizadas e receberam, ao deitar, amitriptilina (25mg) (n=21), melatonina (10mg) (n=21) ou melatonina (10 mg) + amitriptilina (25mg) (n=21), durante seis semanas. O sistema modulatório descendente da dor foi acessado pela modulação condicionada da dor, através da mensuração da escala numérica de dor (NPS(0-10)) durante aferição do limiar de dor ao calor. Resultados: O resultado do estudo transversal mostrou que BDNF e S100B séricos foram correlacionados. BDNF e S100B foram inversamente correlacionados com limiar de dor à pressão. BDNF sérico foi associado com limiar de dor à pressão, idade e transtorno obsessivo compulsivo, enquanto que S100B sérica foi apenas associada com limiar de dor à pressão. O ensaio clínico randomizado demonstrou que a melatonina aumentou a potência do sistema modulatório da dor inibitório e que a modulação condicionada da dor foi negativamente correlacionada com BDNF sérico. Conclusões: Os estudos desta tese demonstram que S100B e BDNF, ambos mediadores chave no processo de sensibilização central, foram inversamente correlacionados com o limiar de dor à pressão. BDNF sérico foi, ainda, inversamente correlacionado com a redução da dor. Portanto, a avaliação sérica de BDNF e S100B merece estudos adicionais para determinar seu potencial papel sinalizador no espectro da sensibilização central nessa doença. / Introduction: Fibromyalgia (FM) is a syndrome of chronic diffuse musculoskeletal pain whose etiology is not fully known. This syndrome causes pain, mood swings and symptoms of rupture of the circadian rhythm. Its pathophysiological process involves an imbalance between excitatory and inhibitory pain modulatory systems. The ability of inhibitory systems is weakened, providing a framework of central sensitization, with dysfunction in the descending pain modulatory system, hyper-activation of neurons and neuroglia. Therefore, additional studies are needed to understand the possible relationship between serum markers of neuronal hyperactivity, such as Brain Derived Neurotrophic Factor (BDNF) and S100B. Particularly, studies seeking therapeutic options with effect in neurobiological alternative pathways such as melatonin, a indolamine with resynchronization, analgesic, and anti-inflammatory effects and actions on the modulatory pain systems such as GABAergic, opiodergic and glutamatergic. Objectives: 1) Primary: Evaluate whether the serum levels of BDNF and S100B have association with FM and if both serological mediators could be associated with pressure pain threshold. 2) Secondary: To test the hypothesis that treatment with melatonin alone or in combination with amitriptyline is better than amitriptyline alone to modify the endogenous pain modulatory system. Thus, to prove these hypothesis, it was quantified the conditioned pain modulation and serum BDNF levels in FM patients receiving treatment with melatonin alone or in combination with amitriptyline. Also, it was tested whether melatonin would improve clinical symptoms such as pain, pressure pain threshold and quality of sleep related to FM. Methods: Patients with FM according to the American College of Rheumatology (ACR) 2010 were selected. In the first study, a cross-sectional design, 56 women aging 18-65 years old, with FM were included. It was evaluated the pressure pain threshold, and serum levels of BDNF and S100B. In the second study, 63 patients were included with the same inclusion criteria described in the cross-sectional study. Patients were randomized and received at bedtime amitriptyline (25 mg) (n = 21), melatonin (10 mg) (n = 21) or melatonin (10 mg) + amitriptyline (25 mg) (n = 21) for six weeks. The descending pain modulatory system was accessed by the conditioned pain modulation, measuring the numerical pain scale [NPS (0-10)] during the heat pain threshold. Results: On the cross-sectional study serum BDNF and S100B were correlated. Serum BDNF and S100B were correlated with the pressure pain threshold. Serum BDNF was associated with pressure pain threshold, age and obsessive compulsive disorder, while serum S100B was associated with pressure pain threshold, only. The randomized clinical trial showed that melatonin increased the efficacy of inhibitory pain modulatory system and the conditioned pain modulation was negatively correlated with serum BDNF. Conclusions: The studies of this thesis show that both key mediators of the central sensitization process, BDNF and S100B, were inversely correlated with the pressure pain threshold. They also showed that melatonin increased the inhibitory pain modutalory system. Furthermore, it emphasizes that serum BDNF was inversely correlated with pain reduction. Therefore, assessment of serum BDNF and S100B deserve further studies to determine their potential as a proxy for the central sensitization spectrum in FM.

[pt] A interpretação manual de um horizonte sísmico é um processo muito custoso em termos de tempo de trabalho do intérprete, o que incentiva a pesquisa de métodos automáticos, ou semi automáticos, de rastreamento. Dentre as propostas existentes baseadas em correlação, uma limitação conhecida é o uso de abordagens locais para definir as amostras pertencentes ao horizonte rastreado. Esse tipo de abordagem possui bom desempenho em dados onde não há a presença de falhas sísmicas, porém, nas regiões de baixa coerência, característica das regiões ruidosas ou de falhas, ao tomar uma decisão local o rastreador fica suscetível à propagação de erro. O objetivo deste trabalho é avaliar o uso de algoritmos de menor caminho em grafos para a solução do problema de rastreamento de horizontes sísmicos, afim de propor um método de caráter global que seja robusto a diferentes feições sísmicas. / [en] The manual interpretation of a seismic horizon is a time consuming process, which drives the research for automatic or semi automatic tracking methods. Among the known propositions that use correlation, there is a common limitation: the usage of local approaches to determine which samples belong to the horizon. This kind of approach performs well in data where there are no seismi faults. However, by using only local information, it is prone to error propagation in low coherency areas, which usualy corresponds to fault regions. The goal of this work is to evaluate the performance of shortest path algorithms as a solution for the horizont tracking problem. It intends to propose a global method that is robust to different seismic features.

O segmento de Consultoria em Engenharia, ao lado das Universidades e Centros de Pesquisas, é um dos pilares do desenvolvimento científico-tecnológico do país e é considerado um dos responsáveis pela otimização de investimentos, redução dos prazos e dos custos de implantação de empreendimentos públicos e privados, industrial ou de infra-estrutura. Atualmente, esses empreendimentos vêm passando por modificações significativas, exigindo cada vez um melhor desempenho de seus contratados, tanto nos aspectos de qualidade, desempenho, prazo e custos, quanto nos aspectos associados aos riscos contratuais, pois tornaram -se freqüentes contratações nas modalidades EPC (engineering, procurement, construction) e \"turn-key\". Neste novo cenário, as organizações precisam ser mais competitivas para sobreviverem às condições impostas pelo mercado, e, neste novo contexto, o gerenciamento de prazos tem-se tornado um fator crítico de sucesso. Esta dissertação desenvolve uma extensa revisão das técnicas de gerenciamento de prazos, com ênfase na etapa de programação, e uma análise comparativa das principais técnicas utilizadas no gerenciamento de projetos. Para isto, tomou-se como referência o caso de um projeto real, contratado mediante a modalidade EPC, em desenvolvimento por uma Empresa de Consultoria em Engenharia. Foi realizada a comparação entre os Métodos do Caminho Crítico, Corrente Crítica, Análises Probabilísticas e de Monte Carlo, abordando a aplicabilidade dessas técnicas neste caso. Ao final é feita uma síntese dos principais resultados alcançados, bem como dos requisitos demandados na aplicação de cada uma destas técnicas. / The segment of Consultancy in Engineering, as well as the Universities and the Research Centers are some of the pillars of the scientific -technological development in the country and they have been responsible for optimizing the investments, reducing the deadlines and the costs of project implementation in the public and private sectors, along with the industrial and infra-structure sectors. Nowadays, these projects have been going through major changes, which have demanded better performances from those who are contracted, in areas such as the quality control, performa nces, time and costs, as well as the contract risks, which more often than ever, have fallen into the EPC category (engineering, procurement, and construction) and the \'turn-key\' category. In this new scenario, companies need to be more competitive to live through the conditions imposed by the market, and, in this new context, time management has turned into a critical success factor. This dissertation develops an extensive review of the time management techniques focusing on scheduling and also a comparative analysis of the most important techniques used in Project Management. To do that, a real project was created as reference case in which the EPC category was defined and was developed by an Engineering Consultancy. A comparison among The Critical Path Method and The Critical Chain, Probability Analysis Method and The Monte Carlo Method was made, and it approached the applicability of these techniques in this case. At the end, there is a summary of the most important outcomes, as well as the necessary conditions to apply each of these techniques.