Neste trabalho apresentamos várias demonstrações do Teorema da Base Normal para certos tipos de extensões galoisianas de corpos, algumas existenciais e outras construtivas, destacando as diferenças e dificuldades de cada situação. Apresentamos também generalizações de tal teorema e mostramos que toda extensão galoisiana de grau ímpar de corpos admite uma base normal autodual com respeito µa forma bilinear traço / In this work we present several demonstrations of The Normal Basis Theorem for certain kinds of galoisian extensions of fields, some of them existential and others constructive, pointing the diffculties and differences in each situation. We also present generalizations of such theorem and show that every odd degree galoisian extension of fields admits a self-dual normal base with respect to the trace bilinear map

O objetivo deste estudo foi avaliar os resultados radiográficos obtidos pelas analises de subtração radiográfica digital e linear de implantes dentários com superfície SLA e SLActive submetidos a carga funcional e sobrecarga oclusal precoce restaurados com reconstruções em cantilever (pôntico suspenso). Cinco cães beagle tiveram seus pré-molares mandibulares extraídos bilateralmente. Após três meses, retalhos foram elevados e seis implantes (três SLA e três SLActive) foram instalados em um desenho de boca dividida e aleatorização por blocos. Após quatro semanas, os implantes foram restaurados em cada lado da mandíbula da seguinte forma: uma coroa unitária com contatos oclusais estáveis (OE), uma coroa e uma unidade de cantilever com contatos oclusais excessivos (SO), e um implante protegido pela unidade em cantilever que não recebeu carga funcional (NR). Os cães foram mantidos em um programa de controle de placa periódico, durante o período do experimento. Radiografias padronizadas foram tomadas utilizando-se guias radiográficas individualizadas e padronizadas em dois momentos: na instalação das próteses e 24 semanas após o carregamento. Análises de subtração radiográfica digital e medições lineares (entre um plano projetado entre os ombros do implante e o primeiro contato implante-osso) foram realizadas. As análises estatísticas, ANOVA para medidas repetidas, ANOVA para dados equilibrados e teste t de Bonferroni foram utilizados para identificar diferenças entre as médias, entre os seis grupos avaliados: SLA OE, SLA SO, SLA NR, SLActive OE, SLActive SO e SLActive NR. Achados gerais similares foram observados para os grupos SLA e SLActive (todos os grupos OE, NR e SO) em relação ao nível ósseo peri-implantar e as dimensões das áreas indicando alterações de densidade óssea ao redor dos implantes. As mensurações lineares variaram de 1,61 mm (grupo SLActive SO) a 1,94 mm (grupo SLA SO) no tempo 0 (antes da aplicação das cargas funcionais) e 2,00 mm (grupo SLA SO) a 2,99 mm (grupo SLActive NR) na avaliação após 24 semanas, sem diferenças estatisticamente significativas dentro ou entre-grupos (p = 0,672). Com relação à área de mudança de densidade óssea, esta variou de 0,91 mm2 (grupo SLA OE) para 1,40 mm2 (grupo SLA SO), mas sem diferenças significativas entre os grupos (p = 0,568). Por outro lado, um ganho de densidade óssea estatisticamente significativa foi encontrado para o grupo SLA com sobrecarga oclusal (p = 0,012). Nenhuma diferença significativa na alteração de densidade óssea foi detectada entre os outros cinco grupos (p> 0,05). Em conclusão, a sobrecarga oclusal precoce aplicada sobre implantes restaurados com reconstruções em cantilever, não levou a mudanças significativas na altura óssea peri-implantar após 24 semanas. No entanto, a densidade óssea ao redor de implantes SLA com sobrecarga oclusal, foi significativamente maior que nos outros grupos. / The objective of this study was to evaluate the radiographic outcomes of SLA and SLActive dental implants submitted to functional load and early occlusal overload restored with cantilever reconstructions. Five beagle dogs had their mandibular premolars extracted bilaterally. After three months, flaps were raised and six implants (three SLA and three SLActive) were installed in a block-randomized split-mouth design. After four weeks, implants were restored on each side of the mandible as follows: one single crown with stable occlusal contacts (OE), one crown and a cantilever unit with overt occlusal contacts (SO), and an implant protected by the cantilever unit not submitted to functional load (NR). The dogs were maintained in a strict and periodic plaque control program during the period of the experiment. Standardized radiographies were taken using standardized and individualized radiographic stents in two distinct moments: at prostheses installation and 24-weeks after loading. Digital subtraction radiography analyses and linear measurements were performed. Statistical analyses used repeated measures ANOVA and ANOVA for balanced data and the Bonferroni Student t test to identify differences between the means of the six evaluated groups: SLA OE, SLA SO, SLA NR, SLActive OE, SLActive SO and SLActive NR. Similar findings were found for SLA and SLActive groups regarding the peri-implant bone level and the area of bone density change around implants. Baseline linear measurements ranged from 1.61 mm (SLActive SO group) to 1.94 mm (SLA SO group) at baseline, and from 2.00 mm (SLA SO group) to 2.99 mm (SLActive NR group) at the 24-week evaluation, with no statistically significant differences within- or between-groups (p=0.672). With respect to the areas of bone density change, they ranged from 0.91 mm2 (SLA OE group) to 1.40 mm2 (SLA SO group), but without significant differences between groups (p=0.568). On the other hand, a statistically significant bone density gain was found for the overloaded SLA group (p=0.012). No significant differences in bone density change were detected between the other five groups (p>0.05). In conclusion, the early occlusal overload applied to implants restored with cantilever reconstructions did not lead to significant changes in the peri-implant bone height. However, bone density around overloaded SLA implants was significantly higher than in the other groups.

O objetivo deste estudo foi avaliar os resultados radiográficos obtidos pelas analises de subtração radiográfica digital e linear de implantes dentários com superfície SLA e SLActive submetidos a carga funcional e sobrecarga oclusal precoce restaurados com reconstruções em cantilever (pôntico suspenso). Cinco cães beagle tiveram seus pré-molares mandibulares extraídos bilateralmente. Após três meses, retalhos foram elevados e seis implantes (três SLA e três SLActive) foram instalados em um desenho de boca dividida e aleatorização por blocos. Após quatro semanas, os implantes foram restaurados em cada lado da mandíbula da seguinte forma: uma coroa unitária com contatos oclusais estáveis (OE), uma coroa e uma unidade de cantilever com contatos oclusais excessivos (SO), e um implante protegido pela unidade em cantilever que não recebeu carga funcional (NR). Os cães foram mantidos em um programa de controle de placa periódico, durante o período do experimento. Radiografias padronizadas foram tomadas utilizando-se guias radiográficas individualizadas e padronizadas em dois momentos: na instalação das próteses e 24 semanas após o carregamento. Análises de subtração radiográfica digital e medições lineares (entre um plano projetado entre os ombros do implante e o primeiro contato implante-osso) foram realizadas. As análises estatísticas, ANOVA para medidas repetidas, ANOVA para dados equilibrados e teste t de Bonferroni foram utilizados para identificar diferenças entre as médias, entre os seis grupos avaliados: SLA OE, SLA SO, SLA NR, SLActive OE, SLActive SO e SLActive NR. Achados gerais similares foram observados para os grupos SLA e SLActive (todos os grupos OE, NR e SO) em relação ao nível ósseo peri-implantar e as dimensões das áreas indicando alterações de densidade óssea ao redor dos implantes. As mensurações lineares variaram de 1,61 mm (grupo SLActive SO) a 1,94 mm (grupo SLA SO) no tempo 0 (antes da aplicação das cargas funcionais) e 2,00 mm (grupo SLA SO) a 2,99 mm (grupo SLActive NR) na avaliação após 24 semanas, sem diferenças estatisticamente significativas dentro ou entre-grupos (p = 0,672). Com relação à área de mudança de densidade óssea, esta variou de 0,91 mm2 (grupo SLA OE) para 1,40 mm2 (grupo SLA SO), mas sem diferenças significativas entre os grupos (p = 0,568). Por outro lado, um ganho de densidade óssea estatisticamente significativa foi encontrado para o grupo SLA com sobrecarga oclusal (p = 0,012). Nenhuma diferença significativa na alteração de densidade óssea foi detectada entre os outros cinco grupos (p> 0,05). Em conclusão, a sobrecarga oclusal precoce aplicada sobre implantes restaurados com reconstruções em cantilever, não levou a mudanças significativas na altura óssea peri-implantar após 24 semanas. No entanto, a densidade óssea ao redor de implantes SLA com sobrecarga oclusal, foi significativamente maior que nos outros grupos. / The objective of this study was to evaluate the radiographic outcomes of SLA and SLActive dental implants submitted to functional load and early occlusal overload restored with cantilever reconstructions. Five beagle dogs had their mandibular premolars extracted bilaterally. After three months, flaps were raised and six implants (three SLA and three SLActive) were installed in a block-randomized split-mouth design. After four weeks, implants were restored on each side of the mandible as follows: one single crown with stable occlusal contacts (OE), one crown and a cantilever unit with overt occlusal contacts (SO), and an implant protected by the cantilever unit not submitted to functional load (NR). The dogs were maintained in a strict and periodic plaque control program during the period of the experiment. Standardized radiographies were taken using standardized and individualized radiographic stents in two distinct moments: at prostheses installation and 24-weeks after loading. Digital subtraction radiography analyses and linear measurements were performed. Statistical analyses used repeated measures ANOVA and ANOVA for balanced data and the Bonferroni Student t test to identify differences between the means of the six evaluated groups: SLA OE, SLA SO, SLA NR, SLActive OE, SLActive SO and SLActive NR. Similar findings were found for SLA and SLActive groups regarding the peri-implant bone level and the area of bone density change around implants. Baseline linear measurements ranged from 1.61 mm (SLActive SO group) to 1.94 mm (SLA SO group) at baseline, and from 2.00 mm (SLA SO group) to 2.99 mm (SLActive NR group) at the 24-week evaluation, with no statistically significant differences within- or between-groups (p=0.672). With respect to the areas of bone density change, they ranged from 0.91 mm2 (SLA OE group) to 1.40 mm2 (SLA SO group), but without significant differences between groups (p=0.568). On the other hand, a statistically significant bone density gain was found for the overloaded SLA group (p=0.012). No significant differences in bone density change were detected between the other five groups (p>0.05). In conclusion, the early occlusal overload applied to implants restored with cantilever reconstructions did not lead to significant changes in the peri-implant bone height. However, bone density around overloaded SLA implants was significantly higher than in the other groups.

Esse trabalho trata um pouco da teoria de A-loops comutativos finitos. No primeiro captulo estudamos propriedades básicas de loops em geral e exi- bimos exemplos de loops não associativos. No captulo 2 falamos de A-loops em geral e mesmo sem assumirmos comutatividade obtivemos resultados importantes, um exemplo é que A-loop associa potências. Também determinamos quando um isótopo e K -holomorfo de um A-loop é um A-loop. No captulo 3, nossos únicos objetos de estudo foram os A-loops comutativos finitos. Vimos que tais estruturas têm proriedades muito interessantes, por exemplo, para um A-loop comutativo finito valem os teoremas de Lagrange, Cauchy. Também, um A-loop comutativo finito, Q, tem ordem potência de um primo p se e somente se todo elemento de Q tem ordem potência de p. Mais ainda, todo A-loop comutativo finito de ordem mpar é solúvel. No último captulo, apresentamos algumas maneira de se construir um A-loop. / In the first chapter we studied basic properties of general loops and we showed some examples of nonassociative loops. In chapter 2, we talked about general A-loops (without commutativity) and even that we obtained important results, for instance, that any A-loop is power-associative. We also determined when an isotope and a K -holomorph of an A-loop is an A-loop. In chapter 3 we dealt only with finite commutative A-loops. We saw that such structures have very interesting properties, for example, for a finite commutative A- loop, Lagrange, Cauchys theorems apply. Also a finite commutative A-loop, Q, has order a power of a prime p if and only if every element of Q has order a power of p. Moreover, finite commutative A-loops of odd order are solvable. In the last chapter we introduce some ways to construct a commutative A-loop

Made available in DSpace on 2016-06-02T19:06:20Z (GMT). No. of bitstreams: 1 6500.pdf: 5345644 bytes, checksum: e886844b4ba61e58d704a8babf113721 (MD5) Previous issue date: 2014-10-21 / Maintaining legacy systems is a complex and expensive activity for many companies. A recently proposal to solve this problem is Architecture-Driven Modernization (ADM), proposed by Object Management Group (OMG). The ADM consists of a set of concepts and standard metamodels that support systems modernization using models. The Knowledge Discovery Metamodel (KDM) is the main metamodel of ADM, it can represent many artifacts of a legacy system, such as source code, architecture, user interface, configuration files and business process. In general, legacy systems have crosscutting concerns, it can show source code problems like tangling and scattering, and it raises the maintenance costs. The aspect orientation is an alternative to improve crosscutting concerns modularization. Thus, in this dissertation is presented the term Aspect Oriented Modernization that uses the aspect oriented concepts in the ADM context. This modernization process consists in modularize legacy systems with aspects represented in model level. To achieve this goal, in this work were performed a lightweight and a heavyweight extension in the KDM metamodel, to analyze which one would present a better performance if used by Modernization Engineers. The evaluation of these extensions was performed by a case study that considered the modernization with aspects of a small-sized system. To evaluate the case study in both extensions, a set of comparison criteria were created to support the software engineers in choosing the best extension mechanism, according to their needs. In the context of this dissertation an experimental study were developed that aimed reproducing the scenarios that the modernization engineers had to perform maintenances and developing new refactorings in a aspect oriented KDM model. The experiment data considered the development time of the activities and the found number of errors. Finally, it was noticed that the extension mechanism to be choose will depend on the context that it will be applied, however, considering the approach studied here the best extension mechanism is the heavyweight one. / Manter sistemas legados é uma atividade complexa e onerosa para muitas empresas. Uma proposta recente para esse problema é a Modernização Dirigida à Arquitetura (Architecture-Driven Modernization - ADM), proposta pela OMG (Object Management Group). A ADM consiste em um conjunto de princípios e metamodelos padrões que apoiam a modernização de sistemas utilizando modelos. O Knowledge Discovery Metamodel (KDM) é o principal metamodelo da ADM, podendo representar diversos artefatos de um sistema, como código-fonte, arquitetura, interface de usuário, arquivos de configuração e processos de negócio. Em geral, sistemas legados possuem interesses transversais, apresentando problemas de entrelaçamento e espalhamento de código, o que eleva os custos de manutenção. A orientação a aspectos é uma alternativa para melhorar a modularização de interesses transversais. Mediante isso, neste trabalho é apresentado o termo Modernização Orientada a Aspectos que utiliza os conceitos da orientação a aspectos na ADM. Essa modernização consiste em remodularizar sistemas legados utilizando aspectos representados em nível de modelo. Para atingir esse objetivo, foi realizada uma extensão leve e outra pesada do metamodelo KDM, para analisar em qual das duas o desempenho dos engenheiros de modernização seria melhor. Para fazer a avaliação das extensões, foi realizado um estudo de caso levando em consideração a modernização com aspectos em um sistema de pequeno porte. Com o objetivo de avaliar o estudo de caso usando as duas extensões, foram desenvolvidos critérios de comparação que auxiliassem os engenheiros de software a escolher qual dos dois mecanismos de extensão utilizar em seu projeto. Foi feito também um estudo experimental que buscou reproduzir os cenários em que engenheiros de modernização tivessem que realizar manutenções e desenvolver novas refatorações em um modelo KDM orientado a aspectos. Os dados do experimento foram avaliados em relação ao tempo de desenvolvimento das atividades e quantidade de erros encontrados. Por fim, percebeu-se que o mecanismo de extensão a ser utilizado vai depender do contexto em que ele será aplicado, mas, para o domínio aqui estudado a extensão que melhor atendeu aos requisitos foi a pesada.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2017-08-09T11:18:45Z No. of bitstreams: 1 sebastiaomaurofilho.pdf: 637836 bytes, checksum: 0629945b7a9ce79385454dd5fb18c92f (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-09T13:36:52Z (GMT) No. of bitstreams: 1 sebastiaomaurofilho.pdf: 637836 bytes, checksum: 0629945b7a9ce79385454dd5fb18c92f (MD5) / Made available in DSpace on 2017-08-09T13:36:52Z (GMT). No. of bitstreams: 1 sebastiaomaurofilho.pdf: 637836 bytes, checksum: 0629945b7a9ce79385454dd5fb18c92f (MD5) Previous issue date: 2017-01-26 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta tese aplicamos o método perturbativo, em nível clássico, à Gravidade de Quarta Ordem e à Relatividade Geral estendida pelo Grupo de Renormalização (RGGR). Para explorar as perturbações métricas, na teoria da Gravidade de Quarta Ordem, nós usamos a formulação de campos auxiliares para uma métrica de fundo curva e arbitrária. O caso em que a métrica de fundo é Ricci-plano foi elaborada em detalhes. Notamos que o uso de campos auxiliares tornará a análise perturbativa mais simples e os resultados mais claros. Como uma aplicação, nós reconsideramos os resultados para a estabilidade do buraco negro de Schwarzschild e discutimos alguns avanços para o buraco negro de Kerr na Gravidade de Quarta Ordem. Nós também usamos o método perturbativo para explorar os limites newtoniano e pós-newtoniano de RGGR. No Sistema Solar, RGGR depende de um único parâmetro adimensional /9, e ele é tal que para /9 = 0 a Relatividade Geral é obtida. Para estudar o limite newtoniano fizemos uso da técnica de transformação conforme e da dinâmica do vetor de Laplace-Runge-Lenz (LRL). Isso nos permitiu estimar o limite superior de P dentro do Sistema Solar em dois casos: um quando é levado em conta o efeito de potencial externo e outro quando ele não é considerado. Anteriormente, foi encontrado que este parâmetro satisfaz o seguinte limite /9 < 10-21, quando o efeito de potencial externo é ignorado. Entretanto, como nós mostramos esse limite cresce cinco ordens de magnitude P < 10-16 quando tal efeito é considerado. Além disso, mostramos que para um certo limite, RGGR pode ser facilmente testada usando o formalismo parametrizado pós-newtoniano (PPN). / In this thesis we applied the perturbative method, on a classical level, to the fourth-order gravity and the Renormalization Group extended General Relativity (RGGR). We will consider auxiliary fields formulation for the general fourth-order gravity on an arbitrary curved back-ground to analyze the metric perturbations in this theory. The case of a Ricci-flat background was elaborated in detail. We noticed that the use of auxiliary fields helps to make the pertur-bative analysis easier and the results more clear. As an application we reconsider the stability problem of the Schwarzschild and Kerr black holes in the fourth-order gravity. We also used the perturbative method to develop the Newtonian and post-Newtonian limits of RGGR. In the Solar System, RGGR depends on a single dimensionless parameter 0, and this parameter is such that for 0 = 0 one fully recovers General Relativity in the Solar System. In order to study the Newtonian limit we used the conformal transformation technique and the dynamics of the Laplace-Runge-Lenz vector (LRL). In this way, we could estimate the upper bound for 0 within the Solar System in two case: the case where the external potential effect is considered and the another when it is not considered. Previously this parameter was constrained to be 0 < 10-21, without considering the external potential effect. However, as we showed, when such an effect is considered this bound increases by five orders of magnitude, O < 10-16. Moreover, we showed that under a certain approximation RGGR can be easily tested using the parametrized post-Newtonian (PPN) formalism.