Submitted by Maike Costa (maiksebas@gmail.com) on 2017-09-20T12:52:54Z No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5) / Made available in DSpace on 2017-09-20T12:52:54Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5) Previous issue date: 2016-10-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In the thirties of the last century, several formal versions for the intuitive notion of algorithmic function were offered. Among them, the version of the recursive functions and the version of the Turing-computable functions. Posteriorly, such versions were extended in order to also include the partial algorithmic functions, giving rise, in this way, to the version of the partial recursive functions and to the version of the partially Turing-computable functions. In this context, this research, located into Computability Theory domain and built in the light of theoretical assumptions of Davis (1982), Mendelson (2009), Dias & Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), among others, is intended to rebuild the proof that the given formal versions referred to the intuitive notion of partial algorithmic function, despite being conceptually distinct, they are extensionally equivalents in the sense that they determine the same set of theoretical-numerical functions. As a part of this rebuilding, we shall prove, in na unprecedented way, using quintuples, that every partial recursive function is partially Turing-computable. In the literature, this theorem is proved by means of a set of quadruples. However, defining a lower cardinality set constructed by quintuples, it is possible to prove it in a smaller time interval, which representes a gain from the computational point of view. Besides presenting this alternative proof, posed by the Church-Turing thesis that the set of partial recursive functions includes all the partial algorithmic functions, we shall investigate if this set itself and its infinite subsets are or are not algorithmic. In this survey, we shall demonstrate, in arithmetical terms, with the aid of Rice‟s theorem, that although the set of partial recursive functions is algorithmic, all its subsets which are different from the empty set are not, among which are the set of recursive functions and the set of primitive recursive functions. / Na década de 30 do século passado, foram oferecidas várias versões formais para a noção intuitiva de função algorítmica. Dentre elas, a versão das funções recursivas e a versão das funções Turing-computáveis. Posteriormente, tais versões foram estendidas a fim de abranger também as funções parciais algorítmicas, dando origem, deste modo, à versão das funções parciais recursivas e à versão das funções parcialmente Turing-computáveis. Nesse contexto, esta pesquisa, situada dentro do domínio da Teoria da Computabilidade e construída à luz dos pressupostos teóricos de Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), entre outros, destina-se a reconstruir a prova de que as referidas versões formais dadas para a noção intuitiva de função parcial algorítmica, apesar de conceitualmente distintas, são extensionalmente equivalentes no sentido de que elas determinam o mesmo conjunto de funções numéricas. Como parte desta reconstrução, provaremos, de modo inédito, mediante o uso de quíntuplas, que toda função parcial recursiva é parcialmente Turing-computável. Na literatura especializada, esse teorema é provado por meio de um conjunto de quádruplas. Porém, definindo um conjunto de menor cardinalidade constituído por quíntuplas, é possível prová-lo em um intervalo menor de tempo, o que representa um ganho do ponto de vista computacional. Além de apresentar essa prova alternativa, posto pela Tese de Church-Turing que o conjunto das funções parciais recursivas contém todas as funções parciais algorítmicas, investigaremos se ele próprio e os seus infinitos subconjuntos são ou não algorítmicos. Nesta investigação, demonstraremos, em termos aritméticos, com o auxílio do Teorema de Rice, que embora o conjunto das funções parciais recursivas seja algorítmico, todos os seus subconjuntos diferentes do conjunto vazio não o são, dentre os quais estão o conjunto das funções recursivas e o conjunto das funções recursivas primitivas.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2018-06-29T19:22:20Z No. of bitstreams: 2 Tese- Alaciy José Gomes - 2016.pdf: 5745946 bytes, checksum: d980380f3722151dde3e85c3a179ecf8 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-07-03T15:20:24Z (GMT) No. of bitstreams: 2 Tese- Alaciy José Gomes - 2016.pdf: 5745946 bytes, checksum: d980380f3722151dde3e85c3a179ecf8 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-07-03T15:20:24Z (GMT). No. of bitstreams: 2 Tese- Alaciy José Gomes - 2016.pdf: 5745946 bytes, checksum: d980380f3722151dde3e85c3a179ecf8 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-05-13 / In this work we first consider regular vector fields : R3 􀀀! R3 and its orthogonal distribution of planes. We present a characterization of the normal curvature associated to and the system of implicit differential equations 2(D (dr); dr; ) + h rot( ); i hdr; dri = 0; hdr; i = 0; which define two one-dimensional singular and orthogonal foliations, which we call by principal foliations and whose leaves are the principal lines of the distribution . Next we describe the configurations of the principal foliations in a neighborhood of the generic singular points that constitutes a regular curve in R3, which are denoted by Darbouxian umbilic partially points and semi-Darbouxian. We proceed by studying the stability of the closed principal lines and we also present a Kupka- Smale genericity result. To conclude, we study the structure of the singularities of the principal foliations in a neighborhood of a singular hyperbolic point of the vector field . / Neste trabalho consideramos inicialmente campos de vetores regulares : R3 􀀀! R3 e sua distribuições ortogonais de planos . Apresentamos uma caracterização da curvatura normal associada a e do sistema de equações diferenciais implícitas, 2(D (dr); dr; ) + h rot( ); i hdr; dri = 0; hdr; i = 0; que definem duas folheações unidimensionais singulares e ortogonais, denominadas de folheações principais e cujas folhas são as linhas principais da distribuição . A seguir descrevemos as configurações das folheações principais, numa vizinhança dos pontos singulares genéricos que constituem uma curva regular em R3, denominados de pontos parcialmente umbílicos Darbouxianos e semi-Darbouxianos. Depois estudamos a estabilidade das linhas principais fechadas e apresentamos também um resultado de genericidade do tipo Kupka-Smale. Na parte final, estudamos a estrutura dos pontos singulares das folheações principais na vizinhança de um ponto singular hiperbólico do campo de vetores .

A Roteirização de Veículos desempenha papel fundamental nos processos modernos de distribuição de produtos e realização de serviços. A atual disseminação de recursos de tecnologia de informação e comunicação, de forma confiável e economicamente acessível, permite trabalhar com informações em tempo real e melhoram os padrões de nível de serviço associados. O presente trabalho apresenta uma solução para roteirização de veículos cujas equipes de bordo realizam serviços que justificam seu deslocamento, uma vez que as demandas estão geograficamente dispersas. Tais demandas são, em parte, conhecidas antes do despacho (permitem programação antecipada) dos veículos e suas equipes; outra parte surge durante a jornada de trabalho. Como exemplos podem-se citar os casos de serviços de montagem e manutenção de instalações, equipamentos, engenharia e inspeção de tráfego, policiamento etc. Trata-se da aplicação da roteirização parcialmente dinâmica, conforme Larsen (2000), cujas bases foram definidas por Psaraftis (1988,1995), Bertsimas et al (1993) no problema DTRP (Dynamic Travelling Repairman Problem). A função objetivo apresenta uma combinação de minimização dos custos de deslocamento, para os pedidos de serviços conhecidos antes da saída dos veículos e de minimização do tempo de resposta (chegada no local do cliente ou da ocorrência) para os casos de pedidos imediatos ou emergenciais. A solução do problema envolve um modelo computacional de testes e avaliação, heurística de Clarke e Wright (1964) para formação das rotas estáticas, no Método Húngaro (Kuhn, 1955) para designar o veículo que resulta no menor tempo de resposta no atendimento a um pedido emergencial e a heurística de Clarke e Wright modificada na otimização do restante dos pedidos quando o veículo voltar a sua rota original. O modelo computacional foi testado em uma empresa de manutenção de elevadores na cidade de São Paulo, Brasil, onde demonstrou resultados comparativamente melhores em relação ao sistema de roteirização utilizado atualmente pela empresa. / The Vehicle Routing Problem plays a critical role on modern processes related to physical distribution of goods and services. The present expansion of information and communication technology in a reliable, economic and accessible way allows real time information and requires the utilization of appropriate tools for real time decisions resulting in significant improvements in quality and service level related to dynamic vehicle routing. A dynamic routing problem is presented, in which vehicles serve geographic dispersed service demands that justify their movement in a fixed area. Such service demands are partially known before vehicles dispatching (allowing prior programming) whilst others are known during the work journey. As examples, one can mention cases concerning installation and maintenance of utilities, equipment, engineering and surveillance services that refer to applications of Partially Dynamic Routing according to Larsen (2000), the groundings of which were defined by Psaraftis (1988,1995), Bertsimas et al (1993) in the Dynamic Travelling Repairman Problem (DTRP). The objective function is a combination of the minimization of movement costs to serve the prior demands and the minimization of time to reach (time to response) Dynamic-or-emergency-demand sites. The proposed solution involves a computational model for testing and evaluating a set of heuristics and methods comprising the Clarke and Wright (1964) Heuristic to compose the static routes, the Hungarian Method (Kuhn, 1955) to assign vehicles to the dynamic demands that produces the lowest response time and, finally, a Clarke and Wright Modified Heuristic used to optimize the remainder of the route when each diverted vehicle returns to its static route. The Computational Model was applied to a lift maintenance company located in the city of São Paulo (Brazil) demonstrating better results as compared to the present routing system.

O pilar misto parcialmente revestido é fruto da associação de um perfil metálico e concreto trabalhando em conjunto. Nestes pilares o perfil metálico, normalmente perfil I ou H, não é totalmente envolvido por concreto, sendo apenas a região entre as mesas preenchida. No Brasil, a utilização de pilares mistos parcialmente revestidos é ainda incipiente. Contudo a introdução do dimensionamento de elementos mistos na ABNT NBR 8800:2008 e as vantagens construtivas inerentes aos elementos mistos tem viabilizado a utilização destes elementos em obras pelo país afora, especialmente naquelas de grande porte. Neste contexto, o objetivo principal do trabalho é analisar o comportamento estrutural destes pilares e avaliar a possibilidade de substituição das armaduras tradicionais compostas por vergalhões por alternativas como telas de aço soldadas ou adição de fibras de aço ao concreto (taxa de 1,5% de fibras de 25 mm de comprimento). Para isto, foram feitos ensaios experimentais de cinco modelos físicos de pilares mistos parcialmente revestidos solicitados por compressão centrada e de um modelo solicitado por compressão excêntrica. Os resultados demonstraram-se promissores no que tange à substituição da armadura, mesmo para a situação com excentricidade na força aplicada. Em complemento, foi desenvolvida uma simulação numérica dos modelos físicos ensaiados utilizando o pacote computacional DIANA®, fundamentado no método dos elementos finitos, com o pré e pós-processador FX+. Apesar da hipótese simplificadora de aderência perfeita entre o aço e o concreto, o modelo numérico representou adequadamente o comportamento dos pilares mistos. / Partially encased composite columns are the result of the association of a steel profile and concrete filling working together. The most commonly used steel profiles have I or H cross sections not completely covered by concrete, with filling only in the region between flanges. In Brazil, the use of partially encased composite columns is still incipient. However, the introduction of design procedures for these columns in Brazilian Code ABNT - NBR 8800:2008 and also their inherent constructive advantages have enabled the use of these elements in buildings across the country, especially for large constructions. In this context, the main objective of this work is to analyze the structural behavior of these columns and evaluate the possibility of replacing the traditional reinforcement using steel rebar for alternatives such as welded steel meshes or steel fibers added to the concrete (rate of 1.5% and 25 mm long). To achieve these goals, experimental tests on five models of partially encased composite columns submitted to axial loading and one model subjected to eccentric loading were performed. The results proved to be promising in terms of replacing the traditional reinforcement, even for the situation with eccentricity of the applied force. In addition, a numerical modeling of the studied columns was developed, using finite element based software DIANA® with FX +. Despite simplifying assumptions of perfect bond between steel and concrete, the numerical model adequately represented the behavior of the columns.

O objetivo principal deste trabalho é apresentar um modelo de análise probabilística do comportamento ao longo do tempo de estruturas de concreto. Para isso, é realizada a análise probabilística em conjunto com análise numérica. A análise numérica é realizada através de um programa computacional, baseado no método dos elementos finitos, que considera o comportamento não-linear e dependente do tempo dos materiais, assim como o processo evolutivo da construção. Para determinar o efeito das incertezas dos parâmetros é realizada uma análise probabilística, utilizando o método de amostragem por hipercubo latino. O modelo apresentado pode ser aplicado para a análise probabilística do comportamento ao longo do tempo das estruturas de concreto em geral. No entanto, foi aplicado na análise das flechas diferidas de lajes pré-moldadas formadas por vigotas com armação treliçada. Com esta análise, pôde-se propor um coeficiente multiplicador das flechas imediatas para a avaliação das flechas diferidas no tempo. O coeficiente multiplicador obtido para as lajes pré-moldadas formadas por vigotas com armação treliçada pode alcançar valores muito superiores ao fator 'alfa'f recomendado pela NBR 6118 (2003) para o caso de vigas de concreto armado. / The goal of this research is to present a probabilistic analysis model of the long-term behavior of concrete structures. For that, the probabilistic analysis is carried out together with numerical analysis. The numerical analysis is carried out using a software based on the finite element method that takes into account the nonlinear and time dependent behavior of the materials, as well as the evolutionary construction process. A probabilistic analysis is carried out in order to determine the effects of the uncertainties of the parameters, using latin hypercube sampling method. The presented model can be applied in the probabilistic analysis of the long-term behavior of concrete structures in general. However, it was applied in the analysis of the long-term deflections of precast slabs made by joist with lattice reinforcement. By this analysis, a multiplier coefficient of immediate deflections to evaluate long-term deflections could be proposed. The multiplier coefficient obtained for precast slabs made by joist with lattice reinforcement can reach values much higher than the factor 'alfa'f recommended by NBR 6118 (2003) for the case of reinforced concrete beams.

Os pilares mistos são elementos estruturais compostos por um perfil metálico e concreto trabalhando em conjunto. Entre estes destaca-se o pilar parcialmente revestido que apresenta vantagens como a possibilidade de pré-fabricação, redução no uso de formas e eficiência estrutural, porém seu processo executivo envolve uma trabalhosa tarefa que é a ancoragem das armaduras ao perfil metálico. Neste contexto, o presente trabalho tem por objetivo estudar o comportamento estrutural de pilares mistos parcialmente revestidos submetidos a compressão simples e flexo-compressão e avaliar a possibilidade de substituição da armadura convencional por alternativas que possibilitem uma execução mais simples. Para isto foi desenvolvido um programa experimental envolvendo 23 exemplares de pilares mistos fabricados com o perfil W 150 x 22,5 e três configurações de armadura: armadura convencional, telas de aço soldadas entre as mesas do perfil e concreto com adição de fibras. Além disso, foram realizadas simulações numéricas e um estudo paramétrico utilizando o pacote computacional FX + DIANA a fim de extrapolar os resultados experimentais. Observou-se que o comportamento estrutural de pilares submetidos a forças excêntricas depende do eixo de flexão, de modo que a ruptura ocorre de modo mais gradual quando o pilar é submetido a flexão em torno do eixo de maior inércia. Além disso, respostas similares foram obtidas para as três configurações de armadura avaliadas, sendo o valor de força máxima obtido para os exemplares com concreto com fibras ligeiramente inferior aos demais. A substituição da armadura convencional por telas de aço ou concreto com fibras de aço não altera significativamente os valores de força máxima nem o comportamento pós-pico, mostrando a viabilidade da solução proposta. / Composite columns are structural elements made with steel profiles and concrete working together. Among these, there is the partially encased composite columns that presents advantages, such as, the possibility of pre-fabrication, reduction in the use of formwork and structural efficiency, but its fabrication process involves a laborious task that is the anchoring of the reinforcements to the steel profiles. In this context, the present work has the objective of studying the structural behavior of partially encased composite columns subjected to axial compression and eccentric compression and to evaluate the possibility of replacing conventional reinforcement with alternatives that allow a simpler execution. For this, an experimental program was developed involving 23 specimens of composite columns made with W 150 x 22.5 shape and three reinforcement configurations: welded steel mesh and fiber-added concrete. In addition, numerical simulations and a parametric study were performed using the FX + DIANA computational package in order to extrapolate the experimental results. The results show the structural behavior of columns subjected to eccentric forces depends on the axis of flexure, so that the rupture occurs more gradually when subjected to bending about the major inertia axis. In addition, similar responses were obtained for the three reinforcement configurations evaluated, and the peak load obtained for the specimens with fiber concrete was slightly lower than the others. Therefore, it can be observed that the replacement of conventional reinforcement by steel meshes or fiber concrete does not significantly alter the peak load or post-peak behavior, showing potential to be considered as a new alternative.

Este trabalho tem por objetivo investigar a contribuição da armadura para a capacidade resistente de vigas mistas parcialmente revestidas, bem como sua eficiência para promover o comportamento conjunto aço-concreto, imprescindível para a obtenção de vigas mistas. O estudo engloba uma investigação experimental com ensaios de vigas sob flexão em quatro pontos e uma simulação numérica utilizando o pacote computacional DIANA®, visando obter dados do comportamento de vigas mistas parcialmente revestidas com armadura longitudinal. Foram ensaiados quatro modelos de viga mista parcialmente revestida e duas variáveis foram analisadas: taxa de armadura longitudinal no concreto e posição dos conectores tipo pino com cabeça. Os resultados experimentais mostraram a eficiência do conjunto armadura-conector para o aumento da capacidade resistente à flexão e para a promoção da interação aço-concreto. A simulação numérica teve concordância satisfatória com os resultados experimentais obtidos. / This study aims to investigate the contribution of the steel bars to the flexure capacity and to promote the composite behavior in partially encased composite beams. The study includes an experimental investigation of partially encased beams under bending in four points and a numerical simulation using the computer package DIANA® to collect data from the behavior of partially encased composite beams with longitudinal reinforcement. Four models of partially encased composite beams were tested and two variables were analyzed: rate of longitudinal reinforcement in concrete and position of stud bolts. The experimental results showed the efficiency of the junction between reinforcing bars and stud bolt to the increase the bending capacity of the partially encased beam and to obtain the steel-concrete interaction. The numerical simulation has good agreement with the experimental results.

Made available in DSpace on 2016-03-15T19:37:32Z (GMT). No. of bitstreams: 1 Rodrigo da Silva Freitas.pdf: 462625 bytes, checksum: 0a15a8db6ef05a12c27f5668822ef98c (MD5) Previous issue date: 2010-08-12 / Fundo Mackenzie de Pesquisa / Cellular automata have been studied as computer models in many different forms. Several of its properties have been widely explored, among which reversibility stands out. This property is able to provide a cellular automaton the possibility of having their temporal evolution regenerated backward in time, regardless of its initial configuration, through an inverse cellular automaton. Reversibility is such a well characterized concept that many fundamental results associated with it have been obtained, such as the development of algorithms to enumerate all reversible one-dimensional cellular automata and the undecidability of this property for cellular automata in dimensions larger than 1. The driving force for the present research is to introduce a new concept involving the reversibility ability of a cellular automaton, the concept of partial reversibility, which is analysed herein according to the pre-images of all initial configurations of a rule, up to a certain length. This new concept may be useful for evolutionary searches for reversible cellular automata, to allow the use of cellular automata in tasks related somehow to the reversibility degree of a rule, or in applications where reversible rules are demonstrably employed, such as in cryptography. To that end, some parameters presumably related to reversibility are studied and compared, and empirical measures (lexicographical and numerical) are addressed. The results involving these empirical measures, showed that is possible to refer to a more partially reversible rule than another, besides revealing properties, apparently unknown so far, involving the pre-images of elementary rules. / Os autômatos celulares têm sido estudados como modelos computacionais de diversas formas. Diversas de suas propriedades têm sido amplamente exploradas, entre elas destacando-se a reversibilidade. Esta propriedade é capaz de fornecer a um autômato celular a possibilidade de ter sua evolução temporal refeita para trás no tempo, independentemente de sua configuração inicial, através de um autômato celular inverso. A reversibilidade é um conceito tão bem caracterizado que muitos resultados fundamentais associados a ela têm sido obtidos, tais como o desenvolvimento de algoritmos para enumerar todos os autômatos celulares unidimensionais reversíveis e a indecidibilidade desta propriedade para autômatos celulares com dimensão maior que 1. A ideia principal deste trabalho é introduzir um novo conceito envolvendo a capacidade de reversibilidade de um autômato celular, o conceito de reversibilidade parcial, que é analisado com base nas pré- imagens de todas configurações iniciais de uma regra, até um determinado tamanho de reticulado. Este novo conceito pode ser útil em buscas evolutivas de autômatos celulares reversíveis, a fim de permitir a utilização de autômatos celulares em tarefas associadas de alguma forma ao grau de reversibilidade de uma regra, ou ainda, em aplicações onde as regras reversíveis são comprovadamente empregadas, tal como em criptografia. Para tanto, alguns parâmetros supostamente relacionados à reversibilidade são estudados e comparados, e medidas empíricas (lexicográficas e numéricas) são abordadas. Os resultados obtidos envolvendo essas medidas empíricas mostraram que é possível referir-se a uma regra mais parcialmente reversível do que outra, além de revelar propriedades, até então desconhecidas, envolvendo as pré-imagens das regras elementares.

Made available in DSpace on 2017-07-10T19:23:53Z (GMT). No. of bitstreams: 1 protegidoJacqueline_dissertacao.pdf: 3012964 bytes, checksum: 337f371fa8c665bb4fdfdc22709938da (MD5) Previous issue date: 2015-02-02 / The soil spatial variability s studies are based in geostatistics which appears as a method whose data comes from natural phenomena and consider the geographical location of the phenomenon. If in an area under study the researcher has interest in searching the variability of variables and has evidence that the steps which describe the spatial structure of this variables aren t independent a geostatistical bivariate model study can be proposed. This work concentrates on evaluating the variation s influence of the bivariate Gaussian common component model (BGCCM) parameters in calculating the Pearson correlation coefficient and analyzing the influence that sizes and sampling settings may present at the BGCCM s estimation and at spatial prediction variables in non-sampled locations. Moreover, for co-placed samples, crossed semivariograms were built and compared with univariate model and BGCCM, in relation to estimates of the model and the sizes associated with the spatial prediction. In order to do it, these methodologies were applied in simulated data sets and experimental data, from an agricultural property. The simulation study of the parameters variation influence s analysis of the bivariate model BGCCM in calculating the Pearson correlation coefficient between described variables of bivariate model BGCCM revealed that the Pearson s linear correlation coefficient can t be considered in decision-making about the presence of joint spatial dependence between pairs of variables. In the study with simulations, it was observed that the biggest differences of accuracy measures and the square sum of the spatial prediction s difference occurred when the univariate models and crossed semivariogram were compared to the BGCCM. Moreover, the simulation s study observed that for balanced data the regular and irregular meshes showed better efficiency as the spatial prediction. The study with real data showed that under the BGCCM approach, spatial dependence was observed, mainly between pH and Mn for co-placed and balanced data of the agriculture year 2010/2011; and between the variable inside of the next pairs: (Prod, RSP0-10), (Prod, RSP11-20), (Prod, RSP21-30) and (Prod, Mn) for co-placed and balanced data of the agriculture year 2013/2014; and (Prod, RSP11-20) and (Prod, RSP21-30) for co-placed and unbalanced data of the agriculture year 2013/2014. Still considering the real data study comparing the univariated models, crossed semivariogram and BGCCM, differences could be observed in the square sum of prediction s difference and in the accuracy measures, both for balanced and unbalanced data. However, considering the real data and the control sample, the spatial prediction s quality using the BGCCM model was inefficient when compared to the quality resulted from the spatial prediction using the univariate model. Nevertheless, this result may have been influenced by the choice of sample configuration. / Estudos da variabilidade espacial do solo estão baseados na geoestatística, que se apresenta como um método cujos dados provêm de fenômenos naturais e que consideram a localização geográfica do fenômeno. Se numa área em estudo o pesquisador tem interesse em pesquisar a variabilidade das variáveis e se há evidências que os passos que descrevem a estrutura espacial dessas variáveis não são independentes pode-se propor o estudo de um modelo geoestatístico bivariado. Este trabalho concentrou-se em avaliar a influência da variação dos parâmetros do modelo bivariado com componente de correlação parcialmente comum (bivariate Gaussian common component model BGCCM) no cálculo do coeficiente de correlação linear de Pearson e analisar a influência que tamanhos e configurações amostrais podem apresentar na estimação do modelo BGCCM e na predição espacial de variáveis em localizações não amostradas. Além disso, para amostras co-locadas, construíram-se os semivariogramas cruzados e comparou-se com o modelo univariado e BGCCM, em relação às estimativas do modelo e as medidas associadas à predição espacial. Para isso, essas metodologias foram aplicadas em conjuntos de dados simulados e dados experimentais, provenientes de uma propriedade agrícola. O estudo de simulação da análise da influência da variação dos parâmetros do modelo bivariado BGCCM no cálculo do coeficiente de correlação linear de Pearson entre as variáveis descritas do modelo bivariado BGCCM revelou que o coeficiente de correlação linear de Pearson não pode ser considerado na tomada de decisão quanto à presença de dependência espacial conjunta entre pares de variáveis. No estudo com simulações observou-se que as maiores diferenças das medidas de acurácia e da soma quadrada da diferença entre as predições espaciais ocorreram quando se comparou os modelos univariado e semivariograma cruzado com o BGCCM. Ainda no estudo de simulação observou-se que para os dados balanceados as malhas regular e irregular apresentaram melhor eficiência quanto à predição espacial. O estudo com dados reais mostrou que, sob a abordagem do modelo BGCCM, observou-se a presença de dependência espacial principalmente entre pH e Mn para dados co-locados e balanceados do ano agrícola 2010/2011; e entre as variáveis dentro dos seguintes pares: (Prod, RSP0-10), (Prod, RSP11-20), (Prod, RSP21-30) e (Prod, Mn) para dados co-locados e balanceados do ano agrícola 2013/2014; e (Prod, RSP11-20) e (Prod, RSP21-30) para dados co-locados e desbalanceados do ano agrícola 2013/2014. Ainda considerando o estudo com dados reais comparando os modelos univariado, semivariograma cruzado e BGCCM, mostraram diferenças na soma quadrada da diferença da predição e nas medidas acurácia, tanto para dados balanceados como para os desbalanceados. No entanto, considerando os dados reais e a amostra controle, a qualidade da predição espacial usando o modelo BGCCM se mostrou ineficiente quando comparada com a qualidade obtida na predição espacial usando o modelo univariado. Porém, esse resultado pode ter sido influenciado pela escolha da configuração amostral utilizada.

Neste trabalho estudamos relações entre expoente de Lyapunov e continuidade absoluta da folheação central para difeomorfismos parcialmente hiperbólicos conservativos de \'T POT. 3\'. Sobre tal tema, provamos que tipicamente (\'C POT. 1\' aberto e \'C POT. 2\' denso) os difeomorfismos parcialmente hiperbólicos, conservativos de classe \'C POT. 2\' , do toro \'T POT. 3\', apresentam folheação central não absolutamente contínua. Desta maneira, respondemos positivamente uma pergunta proposta em [20]. Também neste trabalho, estudamos entropia topológica para Sistema Iterado de Funções. Neste contexto, damos uma nova demonstração para uma conjectura proposta em [14] e provada primeiramente em [15]. Apresentamos um método geométrico que nos permite calcular entropia para transformações de \'S POT. 1\', como em [15]. Além de disso o método apresentado se verifica para casos mais gerais, como por exemplo: transformações não comutativas / In this work we study relations between Lyapunov exponents, absolute continuity of center foliation for conservative partially hyperbolic diffeomorphisms of \'T POT. 3\'. About this theme, (on a \'C POT. 1\' open and \'C POT. 2\'dense set) of conservative partially hyperbolic \'C POT. 2\' diffeomorphisms of the 3-torus presents non absolutely continuous center foliation. So, we answer positively a question proposed in [20]. Also in this work, we study topological entropy for Iterated Functions Systems. In this setting, we give a proof for a conjecture proposed in [14] and firstly proved in [15]. We present a geometrical method that allows us to calcule the entropy for transformations of \'S POT. 1\', like in [15]. Furthermore this method holds for more general cases, for example: non commutative transformations