In this work we present a proof that the Hilbert s Tenth Problem is unsolvable. This problem is to give a computing algorithm which will tell of a given polynomial Diophantine equation with integer coefficients whether or not it has a solution in integers. We start developing some topics of basic number theory, that will be useful at some time. In this part we prove only main results. After that, we study Diophantine equation as well as Diophantine functions. Then, we prove a serie of lemas that will be useful to proof that the exponential function is Diophantine. From there, we define the concept of recursive function and prove that a function is Diophantine if and only if it is recursive. Finally we prove the Universality Theorem. We use this last theorem to proof that the Hilbert s Problem is unsolvable. / Neste trabalho apresentamos uma demonstração da insolubilidade do Décimo Problema de Hilbert, que investiga a existência de um método para determinar se dada uma equação Diofantina qualquer podemos determinar se esta tem ou não uma solução. Começamos desenvolvendo alguns tópicos de teoria de números, que serão úteis em vários momentos, nesta parte demonstramos apenas os resultados principais. Em um segundo momento, passamos ao estudo das equações Diofantinas bem como das funções Diofantinas, que permeiam nossos resultados. Em seguida, demonstramos uma série de lemas que servem de base para mostrarmos que a função exponencial é Diofantina. A partir daı, passamos a definição do importante conceito de função recursiva e então demonstramos que uma função ser recursiva é equivalente a ser Diofantina. Finalmente, demonstramos o Teorema da Universalidade que servirá de base para a demonstração o da insolubilidade do Décimo Problema de Hilbert. / Mestre em Matemática

Made available in DSpace on 2015-05-15T11:46:12Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1062540 bytes, checksum: 59af76713b0f39a5f68815eb132bc18e (MD5) Previous issue date: 2013-03-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we study existence, multiplicity and nonexistence of positive solutions, with respect to a positive parameter , for a class of quasilinear elliptic problems in bounded domains of RN, N 2, involving the N-laplacian operator and a nonlinearity f(t) which behaves as t, for some 2 (0;N1), when t ! 0+ and has critical exponential growth of Trudinger-Moser type at +1. In order to obtain the results, we have used minimax theorems, sub and supersolution methods and a refinement of the Trudinger- Moser inequality due to P.-L. Lions. / Neste trabalho, estudamos existência, multiplicidade e não-existência de soluções positivas, com respeito a um parâmetro positivo , para uma classe de problemas elípticos quasilineares em domínios limitados de RN, N 2, envolvendo o operador N-laplaciano e uma não-linearidade f(t) que se comporta como tá, para algum 2 (0;N 1), quando t ! 0+ e possui crescimento crítico exponencial do tipo Trudinger-Moser em +1. Na obtenção dos resultados, podemos destacar a utilização de teoremas do tipo minimax, métodos de sub e supersolução e um refinamento da Desigualdade de Trudinger-Moser devido a P.-L. Lions.

Este trabalho investiga a influência da quantização em sistemas de controle em rede. São tratados problemas de estabilidade e estabilização de sistemas lineares de tempo discreto envolvendo quantização finita nas entradas da planta controlada, considerando dois tipos de quantizadores: os uniformes e os logarítmicos. Como consequência da quantização finita, ocorrem também efeitos de saturação e zonamorta dos sinais de entrada. Tais comportamentos não-lineares são considerados explicitamente na análise. Para plantas instáveis, o objetivo é estimar a região onde os estados estarão confinados em regime permanente. Esta região, denominada atrator dos estados, é estimada por meio de um conjunto elipsoidal. Ao mesmo tempo, determina-se um conjunto elipsoidal de condições iniciais admissíveis, para o qual se garante a convergência das trajetórias para o atrator em tempo finito. Primeiramente, esses conjuntos são determinados para o caso de um controlador dado e, posteriormente, sintetiza-se um controlador que minimiza o atrator. Em se tratando de plantas estáveis, investiga-se como o desempenho dinâmico é afetado pela quantização. Para tanto, utiliza-se como critério o coeficiente de decaimento exponencial que é garantido para o sistema. Nesta parte, excluem-se os comportamentos na região de saturação e na região da zona-morta. Primeiramente, o coeficiente de decaimento garantido é estimado para um sistema com controlador dado. Neste caso, faz-se uma análise de degradação de desempenho induzida pela quantização com relação ao comportamento do sistema em malha fechada sem quantização. Posteriormente, sintetiza-se um controlador que minimiza este coeficiente na presença da quantização. Na obtenção dos resultados, utilizam-se condições de setor respeitadas pelas não linearidades e formulam-se os problemas na forma de inequações matriciais que podem ser resolvidas a partir de problemas de otimização baseados em LMIs. / This work investigates the in uence of quantization over networked control systems. At rst, we tackle stability and stabilization problems of discrete-time linear systems involving nite quantization on the input of the controlled plant, considering two kinds of quantizers: uniform and logarithmic. As a consequence of the nite quantization, saturation and dead-zone e ects on the input signals are also present. These non-linear behaviors are explictly considered in the analysis. For unstable plants, the objective is to estimate the region where the states will be ultimately bounded. This region, which we call the attractor of the states, is estimated through an ellipsoidal set. Simultaneously, we determine an ellipsoidal set of admissible initial conditions, for which the trajectories will converge to the attractor in nite time. At rst, the sets are determined for the case where the controller is given and, in the sequel, a controller that minimizes the attractor is designed. When dealing with stable plants, we investigate how the dynamic performance is a ected by the quantization. To do that, we use as criterion the exponential decay rate which is guaranteed for the system. At this point, we exclude the behaviour in the saturation and deadzone regions. At rst, the guaranteed decay rate is estimated for a system where the controller is given. In this case, we analyze the deterioration of the performance in uenced by the quantization, compared to the behavior of the closed-loop system without quantization. In the sequel, a controller that minimizes that rate in the presence of quantization is designed. To obtain the results, we use sector conditions which are respected by the nonlinearities and we state the problems as matrix inequalities which can be solved using LMI-based optimization problems.

Cette thèse se structure en 2 parties, le marché physique et le marché financier des matières premières agricoles et prend 3 thèmes intéressants à étudier. D'une part, si les interventions sur les marchés des matières premières sont limitées, une autre option toujours ouverte est de tenter d'atténuer les impacts négatifs des comportements extrêmes des prix. Ce thème fait le point sur la gestion efficace des risques. D'autre part, à ce jour aucun consensus n'a pu être trouvé concernant l'impact des nouveaux produits dérivés (ex : fonds indiciels). Cette question peut en fait être abordée directement dans l'impact des fonds indiciels sur le stockage des matières premières. Enfin, parmi les régulateurs sur les marchés des matières premières, le rôle des banques centrales est souvent ignoré. Pourtant, elles peuvent aussi être un régulateur efficace sur ces marchés. / This thesis provides an overview on the evolution of commodity markets and focuses on the price behaviour in both the commodity physical and the financial derivatives markets. Instead of directly analysing regulation in the commodity markets, this thesis highlights the market changes and specific market behaviour, which gives potential implications for market regulation.Main results of thesis. This research on regulation of commodity markets has been conducted within two different markets: commodity physical markets and commodity derivatives markets. Results in physical markets confirm the evidence of jump in agricultural commodity prices. Price volatility varies with time and is not constant. Commodity markets’ –at least agricultural markets’- prices oscillated during the period 2007/2008, which coincided with financial crisis. Relatively high frequent and small jumps in commodity prices are probably due to financial market factors instead of market fundamentals.The implication of these results in risk management of agricultural cooperatives is that, although taking into account jump in risk measure, such as VaR does not out-perform traditional VaR with normal distribution. Considering this kind of extreme price variation can be complementary for risk managers when facing a highly volatile commodity market. Findings for financial derivatives markets lead to two conclusions.Firstly, commodity index funds are confirmed again as having a short-term impact on futures prices in most products. Based on the theoretical conclusion about the intermediary role of inventory on the impact of speculation on the commodity market, we have found that commodity index can influence commodity futures prices without necessarily passing through inventory changes, which is probably due to price-inelasticity. Secondly, in relation to the impact of central bank announcements on commodity prices, the study shows that the central bank can be an alternative regulator to influence the commodity market. Additionally, it shows that commodity prices include the information from macroeconomic factors, such as currency rate and inflation rate.

La présente thèse a été fortement influencée par deux conjectures, l'une de Gelfond et l'autre de Sarnak.En 1968, Gelfond a prouvé que la somme des chiffres modulo m est asymtotiquement équirépartie dans des progressions arithmétiques, et il a formulé trois problèmes nouveaux.Le deuxième et le troisième problèmes traitent des sommes des chiffres pour les nombres premiers et les suites polynomiales.En ce qui concerne les nombres premiers et les carrés, Mauduit et Rivat ont résolu ces problèmes en 2010 et 2009, respectivement.Drmota, Mauduit et Rivat ont réussi généraliser le résultat concernant la suite des sommes des chiffres des carrés.Ils ont démontré que chaque bloc apparaît asymptotiquement avec la même fréquence.Selon la conjecture de Sarnak, il n'y a pas de corrélation entre la fonction de Möbius et des fonctions simples.La présente thèse traite de la répartition de suites automatiques le long de sous-suites particulières ainsi que d'autres propriétés de suites automatiques.Selon l'un des résultats principaux du présent travail, toutes les suites automatiques vérifient la conjecture de Sarnak.Moyennant une approche légèrement modifiée, nous traitons également la répartition de suites automatiques le long de la suite des nombres premiers.Dans le cadre du traitement de suites automatiques générales, nous avons mis au point une nouvelle structure destinée aux automates finisdéterministes ouvrant une vision nouvelle pour les automates et/ou les suites automatiques.Nous étendons les résultat de Drmota, Mauduit et Rivat concernant les suites digitales.Cette approche peut également être considérée comme une généralisation du troisième problème de Gelfond. / The present dissertation was inspired by two conjectures, one by Gelfond and one of Sarnak.In 1968 Gelfond proved that the sum of digits modulo m is asymptotically equally distributed along arithmetic progressions.Furthermore, he stated three problems which are nowadays called Gelfond problems.The second and third questions are concerned with the sum of digits of prime numbers and polynomial subsequences.Mauduit and Rivat were able to solve these problems for primes and squares in 2010 and 2009 respectively.Drmota, Mauduit and Rivat generalized the result concerning the sequence of the sum of digits of squares.They showed that each block appears asymptotically equally frequently.Sarnak conjectured in 2010 that the Mobius function does not correlate with deterministic functions.This dissertation deals with the distribution of automatic sequences along special subsequences and other properties of automatic sequences.A main result of this thesis is that all automatic sequences satisfy the Sarnak conjecture.Through a slightly modified approach, we also deal with the distribution of automatic sequences along the subsequence of primes.In the course of the treatment of general automatic sequences, a new structure for deterministic finite automata is developed,which allows a new view for automata or automatic sequences.We extend the result of Drmota, Mauduit and Rivat to digital sequences.This is also a generalization of the third Gelfond problem.

Utilizou-se neste trabalho um sistema de filas contendo três servidores exponenciais, heterogêneos, operando em paralelo. Trocas entre filas são permitidas após o usuário analisar dois aspectos: a diferença entre o tamanho das filas envolvidas na troca e o grau de vizinhança entre elas. O jockeying não é obrigatório, podendo os usuários optar por ele com uma probabilidade de ocorrência de acordo com os aspectos citados. Como resultado deste estudo foi obtida uma equação geral que representa o sistema. O sistema M/(M/1)3 com jockeying probabilístico tem uma ociosidade bem menor que o tradiconal M/Mi/3, alimentado por fila única. Outras características foram analisadas. / We consider a parallel queueing system with three exponential heterogeneous servers where is allowed jockey among queues with no obligation and the customers may choose for it with an occurrence probability after they have been analyzed two aspects: the difference between involved lines lenght in jockeying and the neighborhood degree among them. The effect of this study is a general equation which represents the system. The M/(M/1)3 system with probabilistc jockeying has a smaller idleness than the traditional M/Mi/3 fed from a single queue. We also analysed other characteristics.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-04-25T14:30:32Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Lelio_Alejandro_Arias_Vizcaino.pdf: 1217481 bytes, checksum: 3e169ccf7afc8c3a244b8cc4a07c9cbf (MD5) / Made available in DSpace on 2017-04-25T14:30:32Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Lelio_Alejandro_Arias_Vizcaino.pdf: 1217481 bytes, checksum: 3e169ccf7afc8c3a244b8cc4a07c9cbf (MD5) Previous issue date: 2016-12-05 / FACEPE / entre as principais metodologias estatísticas, a análise de regressão é uma das formas mais efetivas para modelar dados. Neste sentido, a análise de diagnóstico é imprescindível para determinar o que poder ter acontecido no processo gerador dos dados caso os pressupostos impostos a este não sejam plausíveis. Uma das ferramentas mais úteis em diagnóstico é a avaliação dos resíduos. Neste trabalho, propomos um novo resíduo para as classes de modelos de regressão linear e não linear baseados na família exponencial com dispersão variável (Smyth (1989)). A proposta permite incorporar de forma simultânea informações relativas aos submodelos da média e da dispersão sem fazer uso de matrizes de projeção para sua padronização. Resultados de simulação e de aplicações a dados reais mostram que o novo resíduo é altamente competitivo em relação ao resíduos amplamente usados e consolidados na literatura. / In statistical methodologies, regression analysis can be a very effective way to model data. In this sense, the diagnostic analysis is needed to try to determine what might happened in the data generating process if the conditions imposed to it are not true. One of the most useful techniques to detect the goodness of fit to the model is the evaluation of residuals. In this work, we propose a new residual to the class of linear and nonlinear regression models based on exponential family with variable dispersion (Smyth (1989)). The proposal incorporates simultaneously information from the sub-models of the mean and the dispersion without using projection matrices for its standardization. Simulation resultsandapplicationsinrealdatashowthatthenewresidualishighlycompetitivewith respect to residuals widely used and established in the literature.

Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-01-17T11:13:15Z No. of bitstreams: 1 samuelbelinidefilippo.pdf: 2610291 bytes, checksum: 6c4f48d00a0649b56977f6c8a7ada4e0 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-01-22T16:33:53Z (GMT) No. of bitstreams: 1 samuelbelinidefilippo.pdf: 2610291 bytes, checksum: 6c4f48d00a0649b56977f6c8a7ada4e0 (MD5) / Made available in DSpace on 2018-01-22T16:33:53Z (GMT). No. of bitstreams: 1 samuelbelinidefilippo.pdf: 2610291 bytes, checksum: 6c4f48d00a0649b56977f6c8a7ada4e0 (MD5) Previous issue date: 2017-09-20 / Todo a produção, transmissão e distribuição de energia elétrica ocorre concomitantemente com o consumo da energia. Isso é necessário porque ainda não existe hoje uma maneira viável de se estocar energia em grandes quantidades. Dessa forma, a energia gerada precisa ser consumida quase que instantaneamente. Isso faz com que as previsões de demanda sejam fundamentais para uma boa gestão dos sistemas de energia. Esse trabalho focaliza métodos de previsão de demanda a curto prazo, até um dia à frente. Nos métodos mais simples, as previsões são feitas por modelos lineares que utilizam dados históricos da demanda de energia. Contudo, modelos baseados em inteligência computacional têm sido estudados para este fim, por explorarem a relação não-linear entre a demanda de energia e as variáveis climáticas. Em geral, estes modelos conseguem melhores previsões do que os métodos lineares. Seus resultados, porém, são instáveis e sensíveis a erros de medição, gerando erros de previsão discrepantes, que podem ter graves consequências para o processo de produção. Neste estudo, empregamos redes neurais artificiais e algoritmos genéticos para modelar dados históricos de carga e de clima, e combinamos estes modelos com métodos lineares tradicionais. O objetivo é conseguir previsões que não apenas sejam mais acuradas em termos médios, mas que também menos sensíveis aos erros de medição. / The production, transmission and distribution of electric energy occurs concomitantly with its consumption. This is necessary because there is yet no feasible way to store energy in large quantities. Therefore, the energy generated must be consumed almost instantaneously. This makes forecasting essential for the proper management of energy systems. This thesis focuses on short-term demand forecasting methods up to one day ahead. In simpler methods, the forecasts are made by linear models, which use of historical data on energy demand. However, computer intelligence-based models have been studied for this end, exploring the nonlinear relationship between energy demand and climatic variables. In general, these models achieve better forecasts than linear methods. Their results, however, are unstable and sensitive to measurement errors, leading to outliers in forecasting errors, which can have serious consequences for the production process. In this thesis, we use artificial neural networks and genetic algorithms for modelling historical load and climate data, and combined these models with traditional linear methods. The aim is to achieve forecasts that are not only more accurate in mean terms, but also less sensitive to measurement errors.

Made available in DSpace on 2017-07-10T17:40:55Z (GMT). No. of bitstreams: 1 Deisinara Giane Schulz.pdf: 1843429 bytes, checksum: 3701106cd1118653678baf4a26281b6d (MD5) Previous issue date: 2015-05-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The formation of the changes is a phase of extreme importance for the success of any forest stand, for a change malformed, weakened, threaten the overall development, causing loss of production, and therefore any production process aimed at higher quality seedlings produced. Fertilization and acclimation to the end of the production cycle, are extremely important to promote morphological and physiological changes that enhance the growth and minimize stress damage after field planting. This study aimed to evaluate nitrogen fertilization during the production of whips-horse seedlings (Luehea divaricata Mart.) and eucalyptus (Eucalyptus grandis Hill ex Maiden) and quantify changes in morphogenesis after the application of ethylene in plants during hardening. The experiment was conducted in a greenhouse at the State University of Paraná West - UNIOESTE, campus Marechal Cândido Rondon-PR, latitude 24 ° 33 'S, longitude 54 ° 04' W. The work was carried out in a randomized block design in factorial with Additional Witness (3 x 4+1), being used three forms of fertilization (100 mg L-1 conventional N x 100 mg L-1 exponential N x N zero) applied for three months (nine applications) and five treatments with different application rates ethylene, with 6 replicates of five plants per plot. The measured variables were increase of height (IH) and stem diameter (DC), leaf area (LA), dry weight of shoots (MSA), dry weight of roots (MSR), Dickson quality index (IQD) and the activity of peroxidase and lignin content. The results were submitted to analysis of variance and Tukey test at 5% probability using the Genes program. The exponential and conventional fertilization sustain growth induction hypothesis L. divaricata seedlings and E. grandis for fertilization without nitrogen application in the growth phase, these same effects can be observed in the hardening phase with ethylene spray. The weekly sprays of ethylene induce changes in growth in the hardening phase in L. divaricata seedlings and E. grandis with two gas applications, mainly by reducing the aerial growth, reducing the leaf area and increasing stem size / A formação da muda é uma fase de extrema importância para o sucesso de qualquer povoamento florestal. Uma muda mal formada, debilitada, compromete o desenvolvimento, ocasionando perda da produção. Portanto, qualquer processo de produção visa utilizar mudas de boa qualidade. A fertilização e a rustificação ao final do ciclo de produção apresentam grande importância para promoção de alterações morfofisiológicas que potencializam o crescimento e minimizam os danos por estresse após o plantio a campo. Este trabalho objetivou avaliar a fertilização nitrogenada durante a produção de mudas de açoita-cavalo (Luehea divaricata Mart.) e eucalipto (Eucalyptus grandis Hill ex Maiden) e quantificar alterações na morfogênese após a aplicação de etileno durante a rustificação. O experimento foi conduzido em casa de vegetação na Universidade Estadual do Oeste do Paraná UNIOESTE, campus de Marechal Cândido Rondon-PR, latitude 24° 33‟ S, longitude 54° 04‟ O. O trabalho foi desenvolvido em delineamento de blocos casualizados em esquema fatorial com testemunha adicional (3 x 4 + 1), sendo utilizadas três formas de fertilização (ausência de N x 100 mg L-1 de N convencional x 100 mg L-1 de N exponencial) aplicadas durante três meses totalizando nove aplicações, adicionadas a um tratamento sem aplicação de etileno e quatro tratamentos de aplicações semanais de etileno na dose de 300 mg L-1 em mudas de L. divaricata e 1.000 mg L-1 em mudas de E. grandis, com 6 repetições de cinco mudas. As variáveis mensuradas foram os incrementos em altura (H) e em diâmetro de colo (DC), área foliar (AF), massa de matéria seca da parte aérea (MSA), massa de matéria seca da parte radicular (MSR), N, P, K, Índice de qualidade de Dickson (IQD), a atividade da enzima peroxidase e a concentração de lignina. Os resultados foram submetidos a análise de variância e as médias comparadas com o Teste Tukey a 5% de probabilidade de erro. As fertilizações exponencial e convencional sustentaram a hipótese de indução de crescimento em mudas de L. divaricata e E. grandis em relação a ausência da adição de nitrogênio na fase de crescimento. Aqueles mesmos efeitos poderam ser observados na rustificação com pulverização de etileno. As pulverizações semanais induziram alterações na fase de rustificação em mudas de L. divaricata e E. grandis submetidas a duas aplicações de etileno, principalmente reduzindo a área foliar e aumentando as dimensões caulinares

As doenças respiratórias e a poluição do ar são temas de muitos trabalhos científicos, porém a relação entre doenças respiratórias e queimadas de cana-de-açúcar ainda é pouco estudada. A queima da palha da cana-de-açúcar é uma prática comum em grande parte do Estado de São Paulo, com especial destaque para os dados da região de Ribeirão Preto. Os focos de queimadas são detectados por satélites do CPTEC/INPE (Centro de Previsão de Tempo e Estudos Climáticos do Instituto Nacional de Pesquisas Espaciais) e neste trabalho consideramos o tempo entre dias de extrapolação do número de internações diárias. Neste trabalho introduzimos diferentes modelos estatísticos para analisar dados de focos de queimadas e suas relações com as internações por doenças respiratórias. Propomos novos modelos para analisar estes dados, na presença ou não da covariável, que representa o número de queimadas. Sob o enfoque Bayesiano, usando os diferentes modelos propostos, encontramos os sumários a posteriori de interesse utilizando métodos de simulação de Monte Carlo em Cadeias de Markov. Também usamos técnicas Bayesianas para discriminar os diferentes modelos. Para os dados da região de Ribeirão Preto, encontramos modelos que levam à obtenção das inferências a posteriori com grande precisão e vericamos que a presença da covariável nos traz um grande ganho na qualidade dos dados ajustados. Os resultados a posteriori nos sugerem evidências de uma relação entre as queimadas e o tempo entre as extrapolações do número de internações, ou seja, de que quando observamos um maior número de queimadas anteriores à extrapolação, também observamos que o tempo entre as extrapolações é menor. / Relations between respiratory diseases and air pollution has been the goals of many scientic works, but the relation between respiratory diseases and sugar cane burning still is not well studied in the literature. Pre-harvest burning of sugarcane elds used primarily to get rid of the dried leaves is common in most of São Paulo state, Southeast Brazil, especially in the Ribeirão Preto region. The locals of pre-harvest sugar cane burning are detected by surveillance satellites of the CPTEC/INPE (Center of Climate Prediction of the Space Research National Institute). In this work, we consider as our data of interest, the time in days, between peaks numbers of hospitalizations due to respiratory diseases. Dierent statistical models are assumed to analyze the data of pre-harvest burning of sugar cane elds and their relations with hospitalizations due to respiratory diseases. These new models are considered to analyze data sets in presence or not of covariates, representing the numbers of pre-harvest burning of sugar cane elds. Under a Bayesian approach, we get the posterior summaries of interest using MCMC (Markov Chain Monte Carlo) methods. We also use dierent existing Bayesian discrimination methods to choose the best model. In our case, considering the data of Ribeirão Preto region, we observed that the models in presence of covariates give accurate inferences and good t for the data. We concluded that there is evidence of a relationship between respiratory diseases and sugar cane burning, that is, larger numbers of pre-harvest sugar cane burning, implies in larger numbers of hospitalizations due to respiratory diseases. In this case, we also observe small times (days) between extra numbers of hospitalizations.