Neste trabalho, consideramos o problema de calcular o reticulado de subcorpos de uma extensão separável e de grau nito k( )/k. Isto e, queremos encontrar todos os corpos L tais que k L k( ). Até recentemente, o algoritmo utilizado pela maioria dos Sistemas Algébricos Computacionais baseava-se em um problema combinatorial nas raízes do polinômio minimal f de sobre k. Em 2013, um algoritmo foi apresentado para encontrar tais subcorpos. Este método calcula um pequeno conjunto de subcorpos, chamados de subcorpos principais, com a propriedade de que todo subcorpo de k( )/k e a interseção de alguns destes subcorpos. Assim, calcular o reticulado de subcorpos e dividido em duas etapas: 1) Encontrar os subcorpos principais de k( )/k e 2) Calcular todas as interseções destes subcorpos. A primeira etapa pode ser feita em tempo polinomial. Entretanto, a segunda etapa não pode e assim, domina a complexidade do algoritmo. Nosso objetivo e melhorar a segunda etapa, tanto em teoria quanto na prática. Para isso, mostramos como rapidamente calcular todas as interseções entre os subcorpos principais. Embora a complexidade continue não sendo limitada polinomialmente (e também não poderia ser, pois o número total de subcorpos não o é), conseguimos melhorar a complexidade do algoritmo. Também notamos um melhoramento na prática, principalmente quando o número de subcorpos e grande. Além disso, estudamos dois casos especiais: corpos numéricos e o corpo das funções racionais. Para corpos numéricos (i.e., quando k = Q), também apresentamos um melhoramento para a primeira etapa. No segundo caso, os subcorpos da extensão k(t)=k(f(t)), definida por f(t) 2 k(t), nos fornecem decomposições da função racional f(t). Nosso algoritmo tem uma performance melhor que algoritmos anteriores para calcular as decomposições de funções racionais. / In this work, we consider the problem of computing the sub eld lattice of a separable and nite degree eld extension k( )/k. That is, we wish to nd all elds L such that k L k( ). Until recently, the algorithm used by most Computer Algebraic Systems relied on a combinatorial problem on the roots of the minimal polynomial f of over k, which can be a computationally expensive task. In 2013, another algorithm was presented to nd the sub eld lattice of k( )/k. This method computes a small set of sub elds, called principal sub elds, with the property that any other sub eld of k( )/k is the intersection of some of these principal sub elds. Thus, the problem of computing the sub eld lattice can be split into 2 steps: 1) Find the principal sub elds of k( )/k and 2) Compute all intersections of these sub elds. The rst step can be executed in polynomial time however, the second step can not and thus, dominates the algorithm complexity.Our main goal is to improve the second step, both theoretically and practically. More speci cally, we develop a method to quickly compute all intersections of principal sub elds. While the complexity is still not polynomially bounded (in fact, it can not be for the total number of sub elds is not polynomially bounded), this new method helps to improve the non-polynomial part of the complexity. Practical performance is also improved when the number of intersections is large. We also focus on two special cases: number elds and rational function elds. For the number eld case (i.e., when k = Q), we also present an improvement for the rst step. For the rational function eld case, computing the sub eld lattice of the extension K(t)=K(f(t)) de ned by f(t) 2 K(t) yields all decompositions of the rational function f(t). Our algorithm outperforms previous algorithms for computing rational function decompositions.

Neste trabalho, consideramos o problema de calcular o reticulado de subcorpos de uma extensão separável e de grau nito k( )/k. Isto e, queremos encontrar todos os corpos L tais que k L k( ). Até recentemente, o algoritmo utilizado pela maioria dos Sistemas Algébricos Computacionais baseava-se em um problema combinatorial nas raízes do polinômio minimal f de sobre k. Em 2013, um algoritmo foi apresentado para encontrar tais subcorpos. Este método calcula um pequeno conjunto de subcorpos, chamados de subcorpos principais, com a propriedade de que todo subcorpo de k( )/k e a interseção de alguns destes subcorpos. Assim, calcular o reticulado de subcorpos e dividido em duas etapas: 1) Encontrar os subcorpos principais de k( )/k e 2) Calcular todas as interseções destes subcorpos. A primeira etapa pode ser feita em tempo polinomial. Entretanto, a segunda etapa não pode e assim, domina a complexidade do algoritmo. Nosso objetivo e melhorar a segunda etapa, tanto em teoria quanto na prática. Para isso, mostramos como rapidamente calcular todas as interseções entre os subcorpos principais. Embora a complexidade continue não sendo limitada polinomialmente (e também não poderia ser, pois o número total de subcorpos não o é), conseguimos melhorar a complexidade do algoritmo. Também notamos um melhoramento na prática, principalmente quando o número de subcorpos e grande. Além disso, estudamos dois casos especiais: corpos numéricos e o corpo das funções racionais. Para corpos numéricos (i.e., quando k = Q), também apresentamos um melhoramento para a primeira etapa. No segundo caso, os subcorpos da extensão k(t)=k(f(t)), definida por f(t) 2 k(t), nos fornecem decomposições da função racional f(t). Nosso algoritmo tem uma performance melhor que algoritmos anteriores para calcular as decomposições de funções racionais. / In this work, we consider the problem of computing the sub eld lattice of a separable and nite degree eld extension k( )/k. That is, we wish to nd all elds L such that k L k( ). Until recently, the algorithm used by most Computer Algebraic Systems relied on a combinatorial problem on the roots of the minimal polynomial f of over k, which can be a computationally expensive task. In 2013, another algorithm was presented to nd the sub eld lattice of k( )/k. This method computes a small set of sub elds, called principal sub elds, with the property that any other sub eld of k( )/k is the intersection of some of these principal sub elds. Thus, the problem of computing the sub eld lattice can be split into 2 steps: 1) Find the principal sub elds of k( )/k and 2) Compute all intersections of these sub elds. The rst step can be executed in polynomial time however, the second step can not and thus, dominates the algorithm complexity.Our main goal is to improve the second step, both theoretically and practically. More speci cally, we develop a method to quickly compute all intersections of principal sub elds. While the complexity is still not polynomially bounded (in fact, it can not be for the total number of sub elds is not polynomially bounded), this new method helps to improve the non-polynomial part of the complexity. Practical performance is also improved when the number of intersections is large. We also focus on two special cases: number elds and rational function elds. For the number eld case (i.e., when k = Q), we also present an improvement for the rst step. For the rational function eld case, computing the sub eld lattice of the extension K(t)=K(f(t)) de ned by f(t) 2 K(t) yields all decompositions of the rational function f(t). Our algorithm outperforms previous algorithms for computing rational function decompositions.

Neste trabalho, consideramos o problema de calcular o reticulado de subcorpos de uma extensão separável e de grau nito k( )/k. Isto e, queremos encontrar todos os corpos L tais que k L k( ). Até recentemente, o algoritmo utilizado pela maioria dos Sistemas Algébricos Computacionais baseava-se em um problema combinatorial nas raízes do polinômio minimal f de sobre k. Em 2013, um algoritmo foi apresentado para encontrar tais subcorpos. Este método calcula um pequeno conjunto de subcorpos, chamados de subcorpos principais, com a propriedade de que todo subcorpo de k( )/k e a interseção de alguns destes subcorpos. Assim, calcular o reticulado de subcorpos e dividido em duas etapas: 1) Encontrar os subcorpos principais de k( )/k e 2) Calcular todas as interseções destes subcorpos. A primeira etapa pode ser feita em tempo polinomial. Entretanto, a segunda etapa não pode e assim, domina a complexidade do algoritmo. Nosso objetivo e melhorar a segunda etapa, tanto em teoria quanto na prática. Para isso, mostramos como rapidamente calcular todas as interseções entre os subcorpos principais. Embora a complexidade continue não sendo limitada polinomialmente (e também não poderia ser, pois o número total de subcorpos não o é), conseguimos melhorar a complexidade do algoritmo. Também notamos um melhoramento na prática, principalmente quando o número de subcorpos e grande. Além disso, estudamos dois casos especiais: corpos numéricos e o corpo das funções racionais. Para corpos numéricos (i.e., quando k = Q), também apresentamos um melhoramento para a primeira etapa. No segundo caso, os subcorpos da extensão k(t)=k(f(t)), definida por f(t) 2 k(t), nos fornecem decomposições da função racional f(t). Nosso algoritmo tem uma performance melhor que algoritmos anteriores para calcular as decomposições de funções racionais. / In this work, we consider the problem of computing the sub eld lattice of a separable and nite degree eld extension k( )/k. That is, we wish to nd all elds L such that k L k( ). Until recently, the algorithm used by most Computer Algebraic Systems relied on a combinatorial problem on the roots of the minimal polynomial f of over k, which can be a computationally expensive task. In 2013, another algorithm was presented to nd the sub eld lattice of k( )/k. This method computes a small set of sub elds, called principal sub elds, with the property that any other sub eld of k( )/k is the intersection of some of these principal sub elds. Thus, the problem of computing the sub eld lattice can be split into 2 steps: 1) Find the principal sub elds of k( )/k and 2) Compute all intersections of these sub elds. The rst step can be executed in polynomial time however, the second step can not and thus, dominates the algorithm complexity.Our main goal is to improve the second step, both theoretically and practically. More speci cally, we develop a method to quickly compute all intersections of principal sub elds. While the complexity is still not polynomially bounded (in fact, it can not be for the total number of sub elds is not polynomially bounded), this new method helps to improve the non-polynomial part of the complexity. Practical performance is also improved when the number of intersections is large. We also focus on two special cases: number elds and rational function elds. For the number eld case (i.e., when k = Q), we also present an improvement for the rst step. For the rational function eld case, computing the sub eld lattice of the extension K(t)=K(f(t)) de ned by f(t) 2 K(t) yields all decompositions of the rational function f(t). Our algorithm outperforms previous algorithms for computing rational function decompositions.

Orientador: Douglas Domingues Bueno / Resumo: Os fenômenos associados aos sistemas aeroelásticos definem uma importante classe de problemas envolvida no projeto de aeronaves. Algumas análises podem ser realizadas utilizando a formulação no domínio da frequência, porém, para alguns problemas específicos a análise no domínio do tempo mostra-se mais conveniente, especialmente para projeto de controladores e inclusão de não linearidades. Em particular, forças aerodinâmicas não estacionárias são tipicamente obtidas no domínio da frequência reduzida. Tais formulações não permitem de maneira direta, através de uma transformada inversa, obter modelos matemáticos no domínio do tempo e, portanto, é necessário o uso de um método de aproximação, como o de Roger-Abel. No entanto, uso deste método de aproximação apresenta algumas lacunas com relação ao significado físico e escolha dos parâmetros de atraso. Desta forma, o presente texto explora a influência dos estados de atraso demonstrando que é responsável pela correção da fase entre o movimento e as forças aerodinâmicas resultantes e, também, propõe uma forma de avaliação da qualidade da aproximação obtida. A partir da aproximação das cargas aerodinâmicas se obtém o modelo matemático do sistema aeroelástico, e através de simulações numéricas computacionais, tem-se a resposta do sistema aeroelástico no domínio do tempo devido à cargas de rajada $1-cosseno$. A partir da análise da resposta à rajada é possível avaliar condições em que a rajada se apresenta de maneira mais crítica para... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The phenomena associated with the aeroelastic systems define an important class of problems involved in aircraft design. Some analyzes may be performed in the frequency domain, however, for some specific problems time domain analysis is more convenient, especially for controller design and the inclusion of nonlinearities. In particular, non-stationary aerodynamic forces are typically obtained in the reduced frequency domain. Such formulations do not allow, by means of an inverse transform, to obtain mathematical models in the time domain, and therefore it is necessary to use an approximation method, such as that of Roger-Abel. However, the use of this approximation method presents some gaps with respect to the physical meaning and choice of lag parameters. In this way, the present text explores the influence of the lag states demonstrating that it is responsible for the correction of the phase between the movement and the resulting aerodynamic forces and also proposes a method to evaluate the quality of the approximation achieved. From the approximation of the aerodynamic loads the mathematical model of the aeroelastic system is obtained, and through computational numerical simulations, has the response of the aeroelastic system in the time domain due to the 1-cosine gust load. From the analysis of the response to the gust, it is possible to evaluate conditions in which the gust is presented in a more critical way for the study system. / Mestre