O jitter de fase é um fenômeno inerente nos sistemas elétricos. O crescente interesse pelo jitter deve-se à degradação que causa em sistemas de transmissão de alta velocidade. Seus efeitos fazem-se sentir ao afetar o processo de recuperação de dados, causando aumento na taxa de erros por bit. Neste trabalho, o jitter é modelado como uma perturbação periódica e seu efeito na operação de PLLs é analisado. Deduzimos uma fórmula para o cálculo da amplitude do jitter envolvendo somente os parâmetros do PLL e do jitter e identificamos as regiões do espaço de parâmetros com os comportamentos dinâmicos do PLL. / Phase jitter or timing jitter is an inherent phenomenum on electrical systems. Jitter growing interest is due to degradation it causes in high-speed transmission systems. It affects the data recovering process and it causes an increase in the bit error rate. In this work, jitter is modelled as a periodic perturbation and its effects in the operation of a PLL are analysed. We deduce a formula that measures jitter amplitude by PLL and jitter parameters and we identify the regions of parameter space according to the system dynamical behaviour.

Sincronismo é um comportamento dinâmico que pode ser detectado na atividade dos neurônios que formam estruturas corticais, e essa atividade parece ser fundamental para a realização de processos relacionados a aprendizado, compreensão e reconhecimento. Estruturas corticais podem ser modeladas por redes de mapas acoplados. Nessas redes, a existência de solução síncrona é determinada pela equação que governa a atividade de cada mapa, pela topologia de acoplamento entre os mapas e pelos valores dos parâmetros. O enfoque deste trabalho é empregar redes de mapas acoplados voltados à detecção de simetria, e segmentação de imagens, via sincronismo. / Synchronism is a dynamical behavior that can be found in the neural activity of cortical structures, and this behavior seems to be fundamental in learning, understanding and recognition processes. Cortical structures can be modeled by using coupled map lattices. In such lattices, the existence of synchronous solution is determined by the equation that rules the activity of each map, by the coupling topology among the maps, and by the parameter values. The goal of this work is to employ coupled map lattices in symmetry detection and image segmentation, via synchronism.

A importância do planejamento de sistemas hidrotérmicos é largamente reconhecida. A questão constitui-se em um complicado problema de otimização que envolve aspectos não-lineares e estocásticos, e que se torna mais complexo quando várias usinas são consideradas em conjunto, em virtude da ocorrência de interações. Apesar de se conhecerem formalizações teóricas do problema e da solução, a complexidade acarreta sérios entraves computacionais e muitas vezes consideram-se apenas cenários simplificados, como o determinístico ou estocástico com um modelo de reservatório equivalente. Este trabalho tem como objetivo conciliar a facilidade numérica de problemas determinísticos com a consideração indireta da natureza estocástica do problema. Com esta finalidade, propõe-se o uso de um funcional de custo que reflete o risco de vertimento a cada período. Outra linha estudada neste trabalho foi a de rastreamento de alvo utilizando a técnica de controle Linear Quadrático (LQ). A eficácia das estratégias propostas é avaliada através de diversos casos de estudo, incluindo comparação com o planejamento determinístico usual / The scheduling of hydrothermal systems is an important and challenging problem. In fact, the problem is complex since it involves the optimization of a cost functional related to a nonlinear and stochastic system. Although mathematical formulations of the problem are available, there are computational issues (as the course of dimensionality in dynamical programming) that make difficult to obtain the solution. In this situation, some simplifyied equivalent models or deterministic formulations were considered in the literature, which are simpler to deal with. The aim of this work is to obtain a solution thet presents the ease of computaion of deterministic models and, simultaneously, it reflects the stochastic nature of the problem, at some extension. The strategy consists of taking into account a cost functional that is related to the risk of spillage at each period. Another strategy considered here is the linear quadratic control with a target. Several case estudies are presented, which employ different models for the stochastic inflow, allwing us to evaluate the effectiveness of the strategies and to compare them with the usual deterministic control

Esta dissertação apresenta o framework DynamicML para o desenvolvimento de aplicações (sistemas supervisórios) dinâmicas para telefones celulares. A proposta é que o aplicativo seja criado usando a linguagem DynamicML; assim, através deste arquivo, que é enviado ao dispositivo móvel (com o framework previamente instalado), este é então interpretado e, finalmente, a aplicação gerada. Além disso, a qualquer momento o arquivo de configuração pode ser alterado e isso se refletirá imediatamente na aplicação. Assim, torna-se possível a adaptação/evolução de aplicações na plataforma Java ME em tempo de execução, além de proporcionar uma maneira de desenvolver aplicações de forma rápida, e com qualidade; abstraindo do desenvolvedor a maior parte da complexidade de programação. A fim de permitir maior portabilidade nos celulares atuais, a proposta é implementada usando Java ME (Java Micro Edition) tendo como principal alvo a configuração CLDC (a mais difundida nos aparelhos atuais), mas que também é suportada na configuração CDC. Existem vários esforços para permitir o carregamento de componentes em tempo de execução na plataforma Java ME: alguns têm como alvo a configuração CDC, e consequentemente exigem hardware avançado e/ou específico; outros têm propostas que exigem um enorme esforço de desenvolvimento, exigindo uma implementação para cada plataforma alvo. A principal vantagem deste trabalho está no uso da DynamicML como uma metalinguagem para a descrição de aplicações, o que torna possível gerar a aplicação dinamicamente. Dessa forma, não é necessária nenhuma biblioteca extra (indisponível na maioria dos aparelhos) e nem o desenvolvimento de uma solução para cada plataforma alvo. A validação da proposta foi realizada através do desenvolvimento de um protótipo aplicado a três casos de uso nas áreas de automação residencial e supervisão industrial. O protótipo consiste num sistema para celulares usando o framework, e uma arquitetura web para interagir com os sistemas supervisionados e simular o funcionamento do conjunto para demonstração. / This dissertation presents the DynamicML, a framework for developing dynamic applications (supervisory systems) for mobile phones. The proposal is that the application is created using the DynamicML language, so through this file, which is sent to the mobile device (pre-installed with the framework), is then interpreted and, finally, the application is generated. Also, the configuration file may be changed at any time and this will immediately reflect on the application. Thus, it becomes possible adaptation/evolution of applications at runtime on the Java ME platform, while providing a way to quickly develop applications, with quality; and abstracting most of the complexity of programming from the developer. In order to allow greater portability in the today cell phones, the proposal is implemented using the Java ME (Java Micro Edition) having as the primary target the CLDC configuration (the most widespread in the current devices), but that is also supported in the CDC configuration. There are several efforts to allow the loading of components at runtime in Java ME platform: some are targeted to the CDC configuration, and consequently require advanced and/or specific hardware, others have proposals requiring a huge development effort, requiring one implementation for each target platform. The main advantage of this research is the use of DynamicML as a metalanguage for describing applications, which makes it possible to dynamically build the application. Thus, there is no need for extra library (not available on most devices) and even the development of a solution for each target platform. The validation of the proposal was done by developing a prototype applied to three use cases in the fields of residential automation and industrial supervision. The prototype consists of a system for mobile phones using the framework, and a web architecture to interact with the supervised systems and simulate the operation of the set for demonstration.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-02T22:51:47Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Kudlowiez Franch.pdf: 1140156 bytes, checksum: c02b1b4ca33f8165be5960ba5a212730 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-07T21:11:31Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Kudlowiez Franch.pdf: 1140156 bytes, checksum: c02b1b4ca33f8165be5960ba5a212730 (MD5) / Made available in DSpace on 2018-08-07T21:11:31Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Kudlowiez Franch.pdf: 1140156 bytes, checksum: c02b1b4ca33f8165be5960ba5a212730 (MD5) Previous issue date: 2017-03-10 / FACEPE / Discrete dynamical systems are widely used in a variety of scientific and engineering applications, such as electrical circuits, machine learning, meteorology and neurobiology. Modeling these systems involves performing statistical analysis of the system output to estimate the parameters of a model so it can behave similarly to the original system. These models can be used for simulation, performance analysis, fault detection, among other applications. The current work presents two new algorithms to model discrete dynamical systems from two categories (synchronizable and non-synchronizable) using Probabilistic Finite State Automata (PFSA) by analyzing discrete symbolic sequences generated by the original system and applying statistical methods and inference, machine learning algorithms and graph minimization techniques to obtain compact, precise and efficient PFSA models. Their performance and time complexity are compared with other algorithms present in literature that aim to achieve the same goal by applying the algorithms to a series of common examples. / Sistemas dinâmicos discretos são amplamente usados em uma variedade de aplicações cientifícas e de engenharia, por exemplo, circuitos elétricos, aprendizado de máquina, meteorologia e neurobiologia. O modelamento destes sistemas envolve realizar uma análise estatística de sequências de saída do sistema para estimar parâmetros de um modelo para que este se comporte de maneira similar ao sistema original. Esses modelos podem ser usados para simulação, referência ou detecção de falhas. Este trabalho apresenta dois novos algoritmos para modelar sistemas dinâmicos discretos de duas categorias (sincronizáveis e não-sincronizáveis) por meio de Autômatos Finitos Probabilísticos (PFSA, Probabilistic Finite State Automata) analisando sequências geradas pelo sistema original e aplicando métodos estatísticos, algoritmos de aprendizado de máquina e técnicas de minimização de grafos para obter modelos PFSA compactos e eficientes. Sua performance e complexidade temporal são comparadas com algoritmos presentes na literatura que buscam atingir o mesmo objetivo aplicando os algoritmos a uma série de exemplos.

Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-16T23:30:55Z (GMT). No. of bitstreams: 1 Alves_LucianaAparecida_D.pdf: 1178366 bytes, checksum: 5ebc7f21a1a3cb0e5f3a743c8cc377a7 (MD5) Previous issue date: 2010 / Resumo: Nesta tese, estuda-se o crescimento exponencial de cociclos contínuos, a valores vetoriais, sobre o fibrado flag maximal. Tais cociclos estão intimamente ligados com os expoentes de Lyapunov clássicos e, assim, o teorema ergódigo multiplicativo de Oseledets é provado em um contexto de teoria de Lie semi-simples. Com isto, estabelece-se uma conexão entre a decomposição de Oseledets e a decomposição de Morse em fibrados flag. Alem disso, para uma classe de transformações de calibre no fibrado, compara-se a decomposição de Morse obtida em cada fibra com a mais fina, obtida anteriormente por Braga e San Martin / Abstract: In this thesis, we study the exponential growth of continuous cocycles wich take vector values on the maximal ag bundle. Such cocycles are intimately connected with the classic Lyapunov exponents, and thus the Oseledets's multiplicative ergodic theorem is proved in the context of semi-simple Lie theory. With this, it is established a connection between the Oseledets decomposition and Morse decomposition in ag bundles. In addition, considering a class of gauge transformations in the bundle, we compare the Morse decomposition obtained in each fiber with the finest Morse decomposition, obtained by Braga and San Martin / Doutorado / Teoria de Sistemas Dinâmicos / Doutor em Matemática

Orientador: Rodney Carlos Bassanezi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T00:52:59Z (GMT). No. of bitstreams: 1 Cecconello_MoiseisdosSantos_M.pdf: 5857057 bytes, checksum: 8dbb12018838608241de19781b99d3c2 (MD5) Previous issue date: 2006 / Resumo: Neste trabalho utilizamos a teoria dos conjuntos fuzzy de duas maneiras distintas para a modelagem de dinâmica populacional como alternativa para a modelagem determinística: problema de valor inicial fuzzy e sistemas baseados em regras fuzzy. Apresentamos algumas das principais propriedades da solução de um problema de valor inicial fuzzy obtida por extensão de Zadeh do campo variacional determinístico ou do fluxo derterminístico. Elaboramos bases de regras para dinâmica populacional de espécies isoladas com crescimento inibido e espécies em interação do tipo competição, presa-predador e mutualismo. Além disso, estabelecemos alguns resultados sobre a existência e unicidade de estados de equilíbrio para sistemas p-fuzzy unidimensionais e bidimensionais. Experimentos computacionais são feitos para a validação dos resultados encontrados e modelos aqui propostos / Mestrado / Biomatematica / Mestre em Matemática Aplicada

Orientador: Luiz Antonio Barreira San Martin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-08-08T04:52:24Z (GMT). No. of bitstreams: 1 Alves_LucianaAparecida_M.pdf: 720915 bytes, checksum: 31e0287aff59267244e774856c7d82af (MD5) Previous issue date: 2007 / Resumo: O principal objetivo desta dissertação é fornecer condições para garantirmos a existencia dos expoentes de Lyapunov. Inicialmente, introduzimos o conceito de expoente de Lyapunov associado a sistemas de equaçoes diferenciais lineares não autonomas e discutimos algumas propriedades que surgem com a introduçao deste conceito. Em seguida, damos duas versoes para a demonstraçao do Teorema Ergodico Multiplicativo de Oseledec para fluxos em tempo discreto associados a cociclos definidos sobre fibrados vetoriais triviais. A partir disto, estendemos este teorema para sistemas em tempo continuo, usando a extensao do Teorema Ergodico Subaditivo de Kingman. Finalmente, apresentamos uma noçao de fluxos em fibrados mais gerais do que fibrados triviais e obtemos, sob determinadas condiçoes, um caso particular do Teorema de Oseledec em cada fibra de um fibrado vetorial nao-trivial / Abstract: The main result of this work provides conditions to assure the existence of Lyapunov exponents. First of all, we introduce the concept of Lyapunov exponents associated to nonautonomous linear differential equations and we discuss some properties which appear with the introduction of this concept. We give two versions for the proof of Oseledec¿s Multiplicative Ergodic Theorem for discrete time flows associated to cocycles which are defined in trivial vector bundles. From this, we extend this theorem for continuos time systems, using an extension of Kingman¿s Subadditive Ergodic Theorem. Finally, we present a notion of flows in fiber bundles more general than the trivial vector bundles and we obtain, given some conditions, a particular case of the Oseledec¿s Theorem in each fiber of a non trivial vector bundle / Mestrado / Sistemas Dinamicos / Mestre em Matemática

Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T09:09:07Z (GMT). No. of bitstreams: 1 Ferreira_LucasConqueSeco_D.pdf: 1131500 bytes, checksum: 66cc2aa6d04a5d822ddfaf164072cebd (MD5) Previous issue date: 2007 / Resumo: Essa tese estabelece um procedimento intrínseco que generaliza a decomposição esférica/radial clássica de semifluxos lineares para uma classe mais ampla de semifluxos de endomorfismos de fibrados G-principais, cujo grupo estrutural G é um grupo de Lie mais geral que o grupo linear geral G1(n,R). Nesse contexto mais geral essa tese estabelece uma relação estreita entre os comportamentos assintóticos esférico e radial generalizados do semifluxo de endomorfismos com respeito µa recorrência por cadeias por meio do conceito de expoentes de Morse vetoriais. / Abstract: This thesis establishes an intrinsic procedure which generalizes the classical spherical/radial decomposition of linear semiflows to a broader class of semiflows of endomorphisms of G- principal fiber bundles, whose structural group G is a Lie group that is more general than the general linear group G1 (n,R). In this more general context this thesis establishes an intimate relationship between the generalized spherical and radial asymptotic behavior of the semiflow of endomorphisms with respect to chain recurrence through the concept of vector valued Morse exponents. / Doutorado / Doutor em Matemática

Orientador: Marco Antonio Teixeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-09T05:28:16Z (GMT). No. of bitstreams: 1 Miranda_GlauciaAparecidaSoares_M.pdf: 1745270 bytes, checksum: f9cec9af97101d88c3c220f69a4313cb (MD5) Previous issue date: 2007 / Resumo: Neste trabalho tratamos da dinâmica de uma família genérica a l-parâmetro 'INT¿. IND. 'mu,' 'PERTENCE¿ (-e, e), de campos vetoriais reversíveis definidos em 'R POT. 4¿. Mais especificamente, assumimos que 'INT IND. o' (0) = 0, que os autovalores de D 'INT IND. o¿ (0) são reais e dados por '+ ou ¿' 1, '+ ou ¿' 'gama¿ com 'gama¿ > 1 e que a variedade instável de 0, 'WU POT. 'ipsilon¿ (0), é tangente ao eixo de simetria num ponto M 'DIFERENTE¿ 0. O nosso principal objetivo nesta dissertação é exibir condições para a persistência de órbitas homoclínicas de parâmetro 'INT¿. IND. 'mu,' 'mu' 'PERTENCE¿ (-e, e) / Abstract: In this work we deal with the dynamics of a generic one-parameter family 'INT¿. IND. 'mu,' 'PERTENCE¿ (-e, e), of reversible vector fields defined in 'R POT. 4¿. More specifically, we assume that 'INT IND. o¿(0) = 0, the eigenvalues of D 'INT IND. o¿(0) are real and given by '+ ou ¿' 1, '+ ou ¿' 'gama¿ with 'gama¿ > 1 and the unstable manifolds of 0, 'WU POT. 'ipsilon¿ (0) possesses a tangency with symmetry axis at a point M 'DIFFERENT¿ 0. The main purpose of this dissertation is to exhibit conditions for the persistence of homoclinic orbits for 'INT¿. IND. 'mu,' with 'um¿ PERTENCE¿ (-e, e) / Mestrado / Sistemas Dinamicos / Mestre em Matemática