In this thesis we will discuss the well-posedness and long-time dynamics of curved beam and thermoelastic plates. First, we considered the Bresse system with nonlinear damping and forcing terms. For this model we show the Timoshenko system as a singular limit of the Bresse system as the arch curvature l goes to 0 and under suitable assumptions on the nonlinearity we prove the existence of a smooth global attractor with finite fractal dimension and exponential attractors as well. We also compare the Bresse system with the Timoshenko system, in the sense of upper-semicontinuity of their attractors as l → 0. Second, we study a full von Karman system, this model accounts for vertical and in plane displacements. For this system we add a nonlinear thermal coupling and free boundary conditions. It is shown that the system, without any mechanical dissipation imposed on vertical displacements, admits a global attractor which is also smooth and of finite fractal dimension. / Neste trabalho iremos discutir a existência, unicidade, dependência contínua e a dinâmica a longo prazo das soluções de um sistema de equações que modela a vibração de vigas curvas e um modelo de placas termoelásticas. Primeiro consideramos o modelo de Bresse com dissipação não linear e forças externas. Provamos que o sistema de Timoshenko pode ser obtido como limite do sistema de Bresse quando o arco de curvatura l tende para zero e sob algumas hipóteses, mostramos a existência de um atrator global com dimensão fractal finita. Também comparamos o sistema de Bresse com o sistema de Timoshenko no sentido da semicontinuidade de seus atratores quando o parâmetro l → 0. Na segunda parte estudamos o sistema de full Von Karmam. Neste modelo adicionamos efeitos térmicos e condições de fronteira do tipo livre. Mostramos que esse problema, sem dissipação mecânica no deslocamento vertical, também possui um atrator global regular com dimensão infinita.

Questões centrais em diversas áreas do conhecimento como ciências ambientais, geologia, agronomia, dentre outras, envolvem a compreensão da distribuição espacial de processos a partir de dados espacialmente referenciados. Os interesses de pesquisa podem estar na descrição espacial de duas ou mais variáveis e, desta forma, tem-se dois ou mais atributos para modelar. Modelos multivariados são propostos para o estudo se há evidências e/ou explicações contextuais de que os processos não são independentes. Diferentes modelos propostos na literatura foram avaliados e comparados ao modelo Matérn multivariado, recentemente proposto na literatura. Foram considerados o modelo linear de corregionalização, o modelo bivariado gaussiano de componente comum e um modelo bayesiano de regressão espacial. Estes modelos foram ajustados e utilizados para predição espacial geoestatística (krigagem) em um conjunto de dados com duas variáveis climáticas no qual uma parte dos dados foi separada para avaliação das predições. Além disso, foi realizado um estudo de simulação para avaliar a estimação e predição sob o modelo Matérn multivariado. / Key issues in a diversity of subject areas such as environmental sciences, geology, agronomy, among other, require the understanding of the spatial distribution of natural processes from spatially referenced data. Research interests may include the spatial description of two or more variables and therefore, there are tow or more attributes to be modeled. Multivariate models are adopted when there is evidence and/or contextual explanations the two processes are not independent. Different models presented in the literature are assessed and compared to the recently introduced multivariate Matérn model. The linear model of corregionalization, the bivariate Gaussian common component model and a bayesian spatial reression model were considered. The models were fitted and used for geostatistical spatial prediction (kriging) for a pair of weather related variables with part of the data used only for comparing the predicions. Additionally a simulation study assessed estimation and prediction under the multivariate Matérn model.

Neste trabalho estudamos existência, multiplicidade e não existência de soluções não triviais para o seguinte problema elíptico: { - \'DELTA\' = f(x, u), em \'OMEGA\' u = 0, sobre \'\\PARTIAL\' \'OMEGA\', onde \'OMEGA\' é um conjunto limitado de \'R POT. 2\' com fronteira suave e a função f possui crescimento exponencial. Para a existência de soluções são aplicados métodos variacionais combinados com as desigualdades de Trudinger-Moser. O resultado de não-existência é restrito ao caso de soluções radiais positivas e \'OMEGA\' = \'B IND.1\'(0). A prova usa técnicas de equações diferenciais ordinárias / In this work we study the existence, multiplicity and non-existence of non-trivial solutions to the following elliptic problem: { - \'DELTA\' u = f(x; u); in \'OMEGA\', ; u = 0; on \'\\PARTIAL\' \'OMEGA\' where \"OMEGA\' is a bounded and smooth domain in \'R POT. 2\' and f possesses exponential growth. The existence results are proved by using variational methods and the Trudinger- Moser inequalities. The non-existence result is restricted to the case of positive radial solutions and \'OMEGA\' = \'B IND. 1\'(0). The proof uses techniques of the theory of ordinary differential equations.

Esta pesquisa teve por objetivo verificar como é que o aluno consegue por si próprio manipular os recursos, tais como gráficos disponibilizados pelo software GeoGebra, para auxiliar nas práticas diárias de sala de aula, mais especificamente no que tange a construir a conexão entre as progressões aritméticas e as funções afins, bem como entre as progressões geométricas e as funções exponenciais. Este software possibilita fazer análises a partir de diferentes registros tais como: gráficos, tabelas e registros algébricos, seguindo a teoria dos registros semióticos de Duval. Como metodologia, desenvolvemos roteiros de atividades com duas turmas do 2º ano do Ensino Médio do Colégio Estadual Visconde de Bom Retiro. Os alunos foram convidados a construir, verificar e interpretar seus próprios resultados, refletindo e analisando estratégias para responder à questão: Quais relações os alunos conseguem evidenciar, através da comparação entre gráficos (obtidos com o GeoGebra) de funções afins e exponenciais, com progressões aritméticas e geométricas, respectivamente? Ao final da pesquisa, os registros coletados possibilitaram a validação qualitativa da proposta, mostrando que os alunos avançaram na compreensão dos conteúdos abordados. / The aim of this research was to verify how the student can himself manipulate the resources, such as plots made available by the GeoGebra software, to aid in the daily classroom practices, specifically in the construction of the connection between arithmetic progressions and linear functions, as well as between geometric progressions and exponential functions. This software makes possible to analyze from different registers such as: plots, tables and algebraic records, following the theory of semiotic records of Duval. Our methodology consisted in developing activity scripts with students of two classes of the 2nd year of the High School of Visconde de Bom Retiro State College. More specifically, they were asked to build, verify and interpret their own results, speculating and analyzing strategies to answer the question: What relations are the students able to highlight through comparing plots (obtained with GeoGebra) of linear and exponential functions, with arithmetic progressions and geometric, respectively? At the end of the research, the collected records made possible the qualitative validation of the proposal, showing that the students improved their understanding of the focused contents.

[pt] Esta dissertação tem como objetivo principal a proposição de modelos para previsão, em um curto prazo, do número de processos que são ajuizados em desfavor de uma empresa do setor elétrico. A metodologia utilizada consiste em, a partir de uma análise exploratória dos dados, construir modelos usando uma estratégia bottom-up, ou seja, parte-se de um modelo simples e processa-se seu refinamento até encontrar um modelo apropriado que mais se adeque à realidade. Partiu-se então de um modelo auto projetivo indo até uma formulação de um modelo de regressão dinâmica. Os modelos são então comparados segundo alguns critérios, basicamente no que tange à sua eficiência preditiva. Conclui-se ao final sobre a eficiência de se utilizar modelos de regressão dinâmica para este tipo de previsão tendo em vista a presença de correlação serial dos resíduos, comumente presentes nas séries econômicas. Propõe-se, ao final, uma ferramenta para, a partir dos valores estimados, analisar a viabilidade econômica de estimular ou desestimular as medidas responsáveis pela geração de processos contra a empresa. / [en] The aim of this dissertation is to develop short term models to forecast the number of judicial process in electric sector companies. From the methodology point of view, data is analyzed and models using bottom-up strategy is developed. In other words, a simple model is improved step by step until a proper model that fits well the reality is found. From a univariate model it ends up in a dynamic regression model. The models obtained in this study are compared according to some criterion, mainly forecast accuracy. In the end the conclusion is about the efficiency of dynamic regression models for this kind of forecast, which one presents data with serial correlation of residues, commonly present in economic series. In the end, from the estimated values, it´s proposed a mechanism to analyze the economic viability, to encourage or not, actions which are responsible for instigating judicial processes against the company.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-25T20:38:33Z No. of bitstreams: 1 ThiagoRafaelDaSilvaMoura_TESE.pdf: 12432375 bytes, checksum: febda1c72d0a41b9c13988a5c4ef03f4 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-26T00:23:22Z (GMT) No. of bitstreams: 1 ThiagoRafaelDaSilvaMoura_TESE.pdf: 12432375 bytes, checksum: febda1c72d0a41b9c13988a5c4ef03f4 (MD5) / Made available in DSpace on 2016-08-26T00:23:22Z (GMT). No. of bitstreams: 1 ThiagoRafaelDaSilvaMoura_TESE.pdf: 12432375 bytes, checksum: febda1c72d0a41b9c13988a5c4ef03f4 (MD5) Previous issue date: 2016-05-02 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Propomos nesta pesquisa um modelo de caminhada aleat?ria com perfil de decaimento q-exponencial. A fun??o q-exponencial ? uma generaliza??o da fun??o exponencial ordin?ria. No limite q?1, a fun??o q-exponencial torna-se a fun??o exponencial ordin?ria. Nosso modelo apresenta um comportamento difusivo Markoviano, onde se sabe que o Teorema Central do Limite proibe superdifus?o neste caso. Apesar de neste problema n?o ser esperado o surgimento de uma transi??o superdifusiva no limite assint?tico conseguimos observar tais transi??es para caminhadas de tamanho finito.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-06-05T23:00:29Z No. of bitstreams: 1 EduardoLeandroPeresNogueira_DISSERT.pdf: 1184770 bytes, checksum: 8e017e4e51244b11d253a36bde8dccfb (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-06-12T21:58:33Z (GMT) No. of bitstreams: 1 EduardoLeandroPeresNogueira_DISSERT.pdf: 1184770 bytes, checksum: 8e017e4e51244b11d253a36bde8dccfb (MD5) / Made available in DSpace on 2018-06-12T21:58:33Z (GMT). No. of bitstreams: 1 EduardoLeandroPeresNogueira_DISSERT.pdf: 1184770 bytes, checksum: 8e017e4e51244b11d253a36bde8dccfb (MD5) Previous issue date: 2018-04-27 / Este trabalho tem como objetivo analisar o uso da Calculadora Gráfica GeoGebra no Smartphone para o ensino das Funções Exponencial e Logarítmica, verificando a capacidade do aplicativo em conduzir o aluno às definições e algumas propriedades dessas funções e a reflexão, translação vertical e função inversa através da visualização do comportamento dos seus gráficos. Para analisar o aplicativo, foram elaboradas duas atividades com questões discursivas que verificavam a influência de cada parâmetro nos gráficos das funções Exponencial e Logarítmica e foram aplicadas à cinco turmas de 1º ano do Ensino Médio da Escola Estadual Prof. Anísio Teixeira. As respostas obtidas nas atividades e as opiniões dos alunos nos levaram a verificar que a Calculadora Gráfica GeoGebra realmente foi capaz de facilitar a compreensão do conteúdo trabalhado, além de aumentar o interesse dos alunos, sendo uma ferramenta de grande potencial que serve de benefício para o trabalho do docente e para o aprendizado do aluno. / This work aims to analyze the use of the Graphing Calculator GeoGebra on Smartphone in the teaching the Exponential and Logarithmic Functions, verifying the application's ability to lead the student to the definitions of these functions and to the idea of reflection, vertical translation and inverse function by viewing the behavior of their graphs. In order to analyze the application, two activities were elaborated with discursive questions that verified the influence of each parameter on the Exponential and Logarithmic function graphs and were applied to the five classes of the 1st year of High School of the Escola Estudal Prof. Anísio Teixeira. The answers obtained in the activities and the opinions of the students led us to verify that the GeoGebra Graphing Calculator was really able to facilitate the students' comprehension of the worked content, besides increasing the interest of the students, being a tool of great potential that benefits the work of the teacher and the student's learning.

FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2010. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T12:35:52Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T12:43:24Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-07-15T12:43:24Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP). / Em Complexidade Descritiva investigamos o uso de l ogicas para caracterizar classes problemas pelo vi es da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela l ogica existencial de segunda-ordem, considerado o primeiro resultado da area, outras rela c~oes entre l ogicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem l ogica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espa co. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP).

Esta pesquisa teve por objetivo verificar como é que o aluno consegue por si próprio manipular os recursos, tais como gráficos disponibilizados pelo software GeoGebra, para auxiliar nas práticas diárias de sala de aula, mais especificamente no que tange a construir a conexão entre as progressões aritméticas e as funções afins, bem como entre as progressões geométricas e as funções exponenciais. Este software possibilita fazer análises a partir de diferentes registros tais como: gráficos, tabelas e registros algébricos, seguindo a teoria dos registros semióticos de Duval. Como metodologia, desenvolvemos roteiros de atividades com duas turmas do 2º ano do Ensino Médio do Colégio Estadual Visconde de Bom Retiro. Os alunos foram convidados a construir, verificar e interpretar seus próprios resultados, refletindo e analisando estratégias para responder à questão: Quais relações os alunos conseguem evidenciar, através da comparação entre gráficos (obtidos com o GeoGebra) de funções afins e exponenciais, com progressões aritméticas e geométricas, respectivamente? Ao final da pesquisa, os registros coletados possibilitaram a validação qualitativa da proposta, mostrando que os alunos avançaram na compreensão dos conteúdos abordados. / The aim of this research was to verify how the student can himself manipulate the resources, such as plots made available by the GeoGebra software, to aid in the daily classroom practices, specifically in the construction of the connection between arithmetic progressions and linear functions, as well as between geometric progressions and exponential functions. This software makes possible to analyze from different registers such as: plots, tables and algebraic records, following the theory of semiotic records of Duval. Our methodology consisted in developing activity scripts with students of two classes of the 2nd year of the High School of Visconde de Bom Retiro State College. More specifically, they were asked to build, verify and interpret their own results, speculating and analyzing strategies to answer the question: What relations are the students able to highlight through comparing plots (obtained with GeoGebra) of linear and exponential functions, with arithmetic progressions and geometric, respectively? At the end of the research, the collected records made possible the qualitative validation of the proposal, showing that the students improved their understanding of the focused contents.

Made available in DSpace on 2016-06-02T20:04:52Z (GMT). No. of bitstreams: 1 5104.pdf: 2493280 bytes, checksum: 296329e73498a367b56e93dcbe6f0aaa (MD5) Previous issue date: 2013-04-08 / Financiadora de Estudos e Projetos / In this thesis new families of survival distributions are proposed. Those distributions are derived by assuming a latent activation structure to explain the occurrence of the event of interest. In general, the competitive causes may have different activation mechanisms. Here we assume three different ones, namely, fisrt, random and last actvation mechanisms. The presence of cure fraction are also addressed in two contexts. The models assumed that the number of causes follows a Geometric distribution and the lifetime for these causes follows an Exponential distribution, and a Gamma Generalized distribution. The properties of the proposed distributions are discussed, including a formal proof of its probability density function and explicit algebraic formulas for its reliability and failure rate functions, moments, order statistics and modal value. Inferetial procedure is based on frequentist and Bayesian perspectives. Moreover, Bayesian case influence diagnostics based in -divergence, with include Kulback Leibler divergence measure as a particular case, are developed. Simulation studies are performed and experimental results are illustrated based in real datasets. / Nesta tese, novas famílias de distribuições são propostas para modelar dados de tempo de vida. Essas distribuições são obtidas assumindo que a ocorrência do evento de interesse é explicada por uma estrutura latente de ativação. Em geral, as causas competitivas podem ter diferentes mecanismos de ativação, consideramos os casos: primeiro, último e aleatório. A presença de fração de curados é considerada nestes contextos. Os modelos assumem que o número de causas de risco tem distribuição de probabilidade Geométrica; e o tempo de ativação desses fatores segue distribuição Exponencial ou Gama Generalizada. Propriedades das distribuições propostas são discutidas, incluindo obtenção da função densidade de probabilidade e fórmulas explícitas da função de risco, momentos, estatística de ordem e valor modal. Outro objetivo deste trabalho é o desenvolvimento de processos inferenciais nas perspectivas clássica e bayesiana. Além disso, as medidas bayesianas de diagnóstico baseadas na divergência, que incluem a divergência de Kulback Leibler como caso particular, são consideradas para detectar observações influentes. Estudos de simulação são realizados e resultados experimentais são obtidos para conjuntos de dados reais.