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.

Este trabalho propõe a análise de curtos-circuitos trifásicos em geradores de indução duplamente alimentados (DFIG Doubly Fed Induction Generator). Os DFIGs voltam à pauta de hidrogeração devido aos recentes investimentos em usinas hidrelétricas reversíveis com velocidade variáveis empregando DFIGs. Esta configuração de geração, que permite velocidade do eixo diferente da frequência da rede, também é uma opção para usinas hidrelétricas convencionais, trazendo benefícios em termos de eficiência energética, estabilidade e otimização do sistema de potência. As pesquisas envolvendo este tipo de gerador tem se concentrado em aplicações para energia eólica. Os estudos são focados em aspectos de controle e otimização da geração não havendo muitos trabalhos voltados ao estudo de curto-circuito do ponto de vista da máquina principalmente relativos à solução analítica. Os trabalhos voltados a transitórios tratam em geral de afundamentos de tensão na linha de transmissão e metodologias para manter o gerador conectado ao sistema durante estes transitórios. Na área de hidrogeração, na maioria dos casos, os estudos tratam de aspectos de controle, de otimização da operação e de ganhos para o sistema de potência quando do uso do DFIG. Assim, faz-se necessário aumentar a gama de estudos do comportamento desses geradores frente a transientes elétricos, mais especificamente a curtos-circuitos. Para o estudo de transientes do curto-circuito trifásico foi desenvolvida a solução analítica e um modelo baseado no proposto por Krause (KRAUSE, 2002) para simulação em Simulink do Matlab para comparação de resultados. / This work proposes the analysis of three-phase short circuit on doubly fed induction generator, DFIG. This generator is again a subject of study for hydrogeneration as per recent investments on variable-speed Pumped Storage Power Plants. This configuration, which allows asynchronous shaft speed, is also an alternative for conventional hydro power plants, providing improvements on energy efficiency and stability and optimization of power system. Current studies on this subject are focused on wind power applications, covering mostly control and generation optimization aspects while there aren\'t so many studies on short-circuit especially with analytical solution. Electrical transient studies are usually covering voltage dips or sags on transmission line and associated methods to maintain power unit connected to power system during such. The researches on hydro power are also about control, operational optimization and power system improvements when DFIGs are installed. Thus, it is necessary to contribute to research regarding behavior of such generators under electrical transient conditions, more specifically under short circuits. The analytical equation for three-phase short circuit was developed as well the electric model based on the one proposed by Krause (KRAUSE, 2002) for simulations on Simulink of Matlab.

Muitas são as características quantitativas que são, significativamente, influenciadas por fatores genéticos, em geral, existem vários genes que colaboram para a variação de uma ou mais características quantitativas. As informações ausentes a respeito dos genótipos nos marcadores moleculares é um problema comum em estudo de mapeamento genético e, por conseguinte, no mapeamento dos locus que controlam estas características fenotípicas (QTL). Os dados que não foram observados ocorrem, principalmente, devido a erros de genotipagem e de marcadores não informativos. Para solucionar este problema foi utilizado o método do modelo oculto de Markov para inferir estes dados. Os métodos de acurácias evidenciaram o sucesso da aplicação desta técnica de imputa- ção. Uma vez imputado, na inferência bayesiana estes dados não serão mais tratados como uma variável aleatória resultando assim, numa redução no espaço paramétrico do modelo. Outra grande dificuldade no mapeamento de QTL se deve ao fato de que não se conhece ao certo a quantidade destes que influenciam uma dada característica, fazendo com que surjam diversos problemas, um deles é a dimensão do espaço paramétrico e, consequentemente, a obtenção da amostra a posteriori. Assim, com o objetivo de contornar este problema foi proposta a utilização do método Monte Carlo via cadeia de Markov com Saltos Reversíveis, uma vez que este permite flutuar, entre cada iteração, modelos com diferentes quantidades de parâmetros. A utilização da abordagem bayesiana permitiu detectar cinco QTL para a característica estudada. Todas as análises foram implementadas no programa estatístico R. / There are many quantitative characteristics which are significantly influenced by genetic factors, in general, there are several genes that contribute to the variation of one or more quantitative trait. The missing information about the genotypes in molecular markers is a common problem in studying genetic mapping and therefore the mapping of loci that control these phenotypic traits (QTL). The data were not observed occur mainly due to errors in genotyping and uninformative markers. To solve this problem the method of occult Markov model to infer this information was used. Techniques accuracies demonstrated the successful application of this technique of imputation. Once allocated, in the Bayesian inference this data will no longer be treated as a random variable thus resulting in a reduction in the parameter space of the model. Another great difficulty in mapping QTL is due to the fact that no one knows exactly the amount of these which influence a given characteristic, so that several problems arise, one of them is dimension of the parameter space and, consequently, obtaining the sample a posterior. Thus, in order to solve this problem using the method via Monte Carlo Markov chain Reversible Jump was proposed, since this allows fluctuate between each iteration, models with different numbers of parameters. The use of the Bayesian approach allowed five QTL detected for the studied trait. All analyzes were implemented in the statistical software R.

This systematic review consolidates and discusses all the advantages and disadvantages of each contraceptive method, organized by mammalian species, with emphasis on reversible immune-contraception, obtained from the international scientific literature. The objective is to deepen the knowledge and elucidate adequate solutions to a serious global problem of wildlife population control. Furthermore, serving as pre-project to the next stage of development of a contraceptive method, economically viable, with better attributes, high effectiveness of the action, better and safer techniques of application, and more importantly, ensure overall health and population genetics. Finalizing this review by offering in a brief and concise manner, an updated understanding of reversible contraceptive methods, organized by methods, taxon, drugs, and associated risks / Esta revisão sistemática, consolida e discuti todas as vantagens e desvantagens de cada método contraceptivo, organizada por espécies de mamíferos, com ênfase em imunocontracepção reversível, obtidos em literatura científica internacional. O objetivo é aprofundar os conhecimentos e elucidar soluções adequadas para o grande problema mundial do controle das populações de animais silvestres. Além disto, pode servir como pré-projeto para a próxima fase de desenvolvimento de um método contraceptivo economicamente viável, com melhores atributos, alta eficácia da ação, técnicas de aplicação melhores e mais seguras, e mais importante, garantir saúde geral e genética das populações. Finalizando, esta revisão oferecer de forma breve e concisa, uma atualização sobre o conhecimento de métodos contraceptivos reversíveis, organizada por métodos, táxon, fármacos, e riscos associados

Este trabalho propõe a análise de curtos-circuitos trifásicos em geradores de indução duplamente alimentados (DFIG Doubly Fed Induction Generator). Os DFIGs voltam à pauta de hidrogeração devido aos recentes investimentos em usinas hidrelétricas reversíveis com velocidade variáveis empregando DFIGs. Esta configuração de geração, que permite velocidade do eixo diferente da frequência da rede, também é uma opção para usinas hidrelétricas convencionais, trazendo benefícios em termos de eficiência energética, estabilidade e otimização do sistema de potência. As pesquisas envolvendo este tipo de gerador tem se concentrado em aplicações para energia eólica. Os estudos são focados em aspectos de controle e otimização da geração não havendo muitos trabalhos voltados ao estudo de curto-circuito do ponto de vista da máquina principalmente relativos à solução analítica. Os trabalhos voltados a transitórios tratam em geral de afundamentos de tensão na linha de transmissão e metodologias para manter o gerador conectado ao sistema durante estes transitórios. Na área de hidrogeração, na maioria dos casos, os estudos tratam de aspectos de controle, de otimização da operação e de ganhos para o sistema de potência quando do uso do DFIG. Assim, faz-se necessário aumentar a gama de estudos do comportamento desses geradores frente a transientes elétricos, mais especificamente a curtos-circuitos. Para o estudo de transientes do curto-circuito trifásico foi desenvolvida a solução analítica e um modelo baseado no proposto por Krause (KRAUSE, 2002) para simulação em Simulink do Matlab para comparação de resultados. / This work proposes the analysis of three-phase short circuit on doubly fed induction generator, DFIG. This generator is again a subject of study for hydrogeneration as per recent investments on variable-speed Pumped Storage Power Plants. This configuration, which allows asynchronous shaft speed, is also an alternative for conventional hydro power plants, providing improvements on energy efficiency and stability and optimization of power system. Current studies on this subject are focused on wind power applications, covering mostly control and generation optimization aspects while there aren\'t so many studies on short-circuit especially with analytical solution. Electrical transient studies are usually covering voltage dips or sags on transmission line and associated methods to maintain power unit connected to power system during such. The researches on hydro power are also about control, operational optimization and power system improvements when DFIGs are installed. Thus, it is necessary to contribute to research regarding behavior of such generators under electrical transient conditions, more specifically under short circuits. The analytical equation for three-phase short circuit was developed as well the electric model based on the one proposed by Krause (KRAUSE, 2002) for simulations on Simulink of Matlab.

O presente trabalho tem como objetivo explorar o instituto da reversão de bens no direito administrativo, realizando pesquisa teórica e legislativa para comparar o uso do instituto e pensar em suas possibilidades em outras áreas do direito administrativo. Para tanto serão adotados métodos de pesquisa qualitativa, dialética e crítica, de modo a obter uma reflexão sobre os usos e interpretações do instituto pelos mais diversos atores, assim como analisar a possibilidade ou impossibilidade de aplicação em outras áreas do direito administrativo. É necessário verificar se o conceito da reversão de bens está atualizado conforme a complexidade das relações jurídicas aplicáveis aos bens públicos e privados no Direito Administrativo na atualidade, pois assim será possível averiguar se o instituto atende aos princípios dessa área do direito, o que possibilitaria também o abarcamento de outras relações entre o setor público e o privado, especialmente aqueles identificados no \"Domínio Público Impróprio\" e se possível, pensar em uma teoria geral da reversão no direito administrativo. / The present work aims to explore the institute of reversal of assets in administrative law, carrying out theoretical and legislative research to compare the use of the institute and think about its possibilities in other areas of administrative law. For that, methods of qualitative, dialectical and critical research will be adopted, in order to obtain a reflection on the uses and interpretations of the institute by the most diverse actors, as well as to analyze the possibility or impossibility of application in other areas of administrative law. It is necessary to check whether the concept of reversal of assets is updated according to the complexity of the legal relations applicable to public and private assets in Administrative Law at the present time, since this will be possible to verify if the institute complies with the principles of this area of law, the coverage of other relations between the public and the private sector, especially those identified in the \"Inappropriate Public Domain\" and if possible, think of a general theory of reversion in administrative law.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-02Bitstream added on 2014-06-13T18:55:32Z : No. of bitstreams: 1 alves_mo_me_sjrp.pdf: 609574 bytes, checksum: 7280f95db92aacc87fc1116bf82914da (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho apresentamos um estudo dos campos de vetores lineares reversíveis e equivariantes. Tal estudo tem como base a Teoria de Representações de grupos de Lie compactos. Usaremos o fato de que a ascensão de um grupo de Lie compacto pode ser decomposta como soma direta de representações irredutíveis e de acordo com o Lema de Schur tais representações poderão ser de três tipos: R; C ou H. Daremos uma classificação das possíveis estruturas dos sistemas lineares reversíveis equivariantes baseado na teoria de representações citada acima e faremos um estudo dos autovalores para uma classe particular de funções Lreversíveis. Dessa forma temos um cenário bem claro da dinâmica de tais sistemas em cada uma dessas classes. / In this work we present a study of the linear equivariant reversible vector fields. This study is based on the Theory of Representation of compact Lie groups. We use the fact that an action of a compact Lie group can be decomposed as a direct sum of irreducible representations, and according to Schur's Lemma these representations can be only of three types: R; C ou H. We give a classification of the possible structures of the linear equivariant reversible systems based on the Theory of Representations mentioned above and we study of the eigenvalues for a particular classes of Lreversible maps. In this way we have a very clear scenario about the dynamics of such systems in each one of these classes.

Muitas são as características quantitativas que são, significativamente, influenciadas por fatores genéticos, em geral, existem vários genes que colaboram para a variação de uma ou mais características quantitativas. As informações ausentes a respeito dos genótipos nos marcadores moleculares é um problema comum em estudo de mapeamento genético e, por conseguinte, no mapeamento dos locus que controlam estas características fenotípicas (QTL). Os dados que não foram observados ocorrem, principalmente, devido a erros de genotipagem e de marcadores não informativos. Para solucionar este problema foi utilizado o método do modelo oculto de Markov para inferir estes dados. Os métodos de acurácias evidenciaram o sucesso da aplicação desta técnica de imputa- ção. Uma vez imputado, na inferência bayesiana estes dados não serão mais tratados como uma variável aleatória resultando assim, numa redução no espaço paramétrico do modelo. Outra grande dificuldade no mapeamento de QTL se deve ao fato de que não se conhece ao certo a quantidade destes que influenciam uma dada característica, fazendo com que surjam diversos problemas, um deles é a dimensão do espaço paramétrico e, consequentemente, a obtenção da amostra a posteriori. Assim, com o objetivo de contornar este problema foi proposta a utilização do método Monte Carlo via cadeia de Markov com Saltos Reversíveis, uma vez que este permite flutuar, entre cada iteração, modelos com diferentes quantidades de parâmetros. A utilização da abordagem bayesiana permitiu detectar cinco QTL para a característica estudada. Todas as análises foram implementadas no programa estatístico R. / There are many quantitative characteristics which are significantly influenced by genetic factors, in general, there are several genes that contribute to the variation of one or more quantitative trait. The missing information about the genotypes in molecular markers is a common problem in studying genetic mapping and therefore the mapping of loci that control these phenotypic traits (QTL). The data were not observed occur mainly due to errors in genotyping and uninformative markers. To solve this problem the method of occult Markov model to infer this information was used. Techniques accuracies demonstrated the successful application of this technique of imputation. Once allocated, in the Bayesian inference this data will no longer be treated as a random variable thus resulting in a reduction in the parameter space of the model. Another great difficulty in mapping QTL is due to the fact that no one knows exactly the amount of these which influence a given characteristic, so that several problems arise, one of them is dimension of the parameter space and, consequently, obtaining the sample a posterior. Thus, in order to solve this problem using the method via Monte Carlo Markov chain Reversible Jump was proposed, since this allows fluctuate between each iteration, models with different numbers of parameters. The use of the Bayesian approach allowed five QTL detected for the studied trait. All analyzes were implemented in the statistical software R.

This systematic review consolidates and discusses all the advantages and disadvantages of each contraceptive method, organized by mammalian species, with emphasis on reversible immune-contraception, obtained from the international scientific literature. The objective is to deepen the knowledge and elucidate adequate solutions to a serious global problem of wildlife population control. Furthermore, serving as pre-project to the next stage of development of a contraceptive method, economically viable, with better attributes, high effectiveness of the action, better and safer techniques of application, and more importantly, ensure overall health and population genetics. Finalizing this review by offering in a brief and concise manner, an updated understanding of reversible contraceptive methods, organized by methods, taxon, drugs, and associated risks / Esta revisão sistemática, consolida e discuti todas as vantagens e desvantagens de cada método contraceptivo, organizada por espécies de mamíferos, com ênfase em imunocontracepção reversível, obtidos em literatura científica internacional. O objetivo é aprofundar os conhecimentos e elucidar soluções adequadas para o grande problema mundial do controle das populações de animais silvestres. Além disto, pode servir como pré-projeto para a próxima fase de desenvolvimento de um método contraceptivo economicamente viável, com melhores atributos, alta eficácia da ação, técnicas de aplicação melhores e mais seguras, e mais importante, garantir saúde geral e genética das populações. Finalizando, esta revisão oferecer de forma breve e concisa, uma atualização sobre o conhecimento de métodos contraceptivos reversíveis, organizada por métodos, táxon, fármacos, e riscos associados

Na análise global e local de sistemas dinâmicos assumimos, em geral, que as equações estão numa forma normal. Em presença de simetrias, as equações e o domínio do problema são invariantes pelo grupo formado por estas simetrias; neste caso, o campo de vetores é equivariante pela ação deste grupo. Quando, além das simetrias, temos também ocorrência de anti-simetrias - ou reversibilidades - as equações e o domínio do problema são ainda invariantes pelo grupo formado pelo conjunto de todas as simetrias e anti-simetrias; neste caso, o campo de vetores é reversível-equivariante. Existem muitos modelos físicos onde simetrias e anti-simetrias aparecem naturalmente e cujo efeito pode ser estudado de uma forma sistemática através de teoria de representação de grupos de Lie. O primeiro passo deste processo é colocar a aplicação que modela tal sistema numa forma normal e isto é feito com a dedução a priori da forma geral dos campos de vetores. Esta forma geral depende de dois componentes: da base de Hilbert do anel das funções invariantes e dos geradores do módulo das aplicações reversíveis-equivariantes. Neste projeto, nos concentramos principalmente na aplicação de resultados recentes da literatura para a construção de uma lista de formas gerais de aplicações reversíveisequivariantes sob a ação de diferentes grupos. Além disso, adaptamos ferramentas algébricas da literatura existentes no contexto equivariante para o estudo sistemático de acoplamento de células idênticas no contexto reversível-equivariante / In the global and local analysis of dynamical systems, we assume, in general, that the equations are in a normal form. In presence of symmetries, the equations and the problem domain are invariant under the group formed by these symmetries; in that case, the vector field is equivariant by the action of this group. When, in addition to the symmetries, we have the occurrence of anti-symmetries - or reversibility - the equations and the problem domain are still invariant by the group formed by the set of all symmetries and anti-symmetries; in this case, the vector field is reversible-equivariant. There are many physical models where both symmetries and anti-symmetries occur naturally and whose effect can be studied in a systematic way through group representation theory. The first step of this process is to put the mapping that model the system in a normal form, and this is done with the deduction of the general form of the vector field. This general form depends on two components: the Hilbert basis of the invariant function ring and also the generators of the module of the revesible-equivariants. In this work, we mainly focus on the applications of recent results of the literature to build a list of general forms of reversible-equivariant mappings under the action of different groups. We also adapt algebraic tools of the existing literature in the equivariant context to the systematic study of coupling of identical cells in the reversible-equivariant context