nÃo hà / Neste trabalho, apresenta-se o formalismo canÃnico de quantizaÃÃoo da gravidade, tanto em sua formulaÃÃo original, para a qual a mÃtrica à a variÃvel canÃnica, quanto na de Ashtekar, onde a conexÃo autodual assume o papel de variÃvel canÃnica. Nesta Ãltima formulaÃÃo, as equaÃÃes de vÃnculo do formalismo sÃo drasticamente simplificadas, e, fazendo uso da teoria de Chern-Simons, constrÃi-se um estado que satisfaz estas equaÃÃes no vÃcuo, constituindo uma importante soluÃÃo para a equaÃÃo de Wheeler-DeWitt. O estado de Chern-Simons tambÃm tem uma representaÃÃo em loops, que recebe este nome por ser formulada em termos dos loops de Wilson.

A Modernização Dirigida a Arquitetura (do inglês - Architecture-Driven Modernization (ADM)) é uma iniciativa do Object Management Group (OMG) no sentido de padronizar os tradicionais processos de reengenharia de software utilizando metamodelos. O metamodelo mais importante da ADM é o Knowledge Discovery Metamodel (KDM), cujo objetivo é representar todos artefatos de um determinado sistema, de forma independente de linguagem e plataforma. Um passo primordial durante processos de modernização de software é a aplicação de refatorações. No entanto, até o presente momento, há carência de abordagens que tratam das questões referentes a refatorações no contexto da ADM, desde a criação até a aplicação das mesmas. Além disso, atualmente, não existe uma forma sistemática e controlada de facilitar o reúso de refatorações que são específicas do KDM. Diante disso, são apresentados uma abordagem para criação e disponibilização de refatorações para o metamodelo KDM e um apoio ferramental que permite aplicá-las em diagramas de classe da UML. A abordagem possui dois passos: (i) o primeiro envolve passos que apoiam o engenheiro de modernização durante a criação de refatorações para o KDM; (ii) o segundo resume-se na especificação das refatorações por meio da criação de instâncias do metamodelo Structured Refactoring Metamodel (SRM) e posterior disponibilização delas em um repositório. O apoio ferramental, denominado KDM-RE, é composto por três plug-ins do Eclipse: (i) o primeiro consiste em um conjunto de Wizards que apoia o engenheiro de software na aplicação das refatorações em diagramas de classe UML; (ii) o segundo consiste em um módulo de propagação de mudanças, permitindo manter modelos internos do KDM sincronizados; (iii) o terceiro fornece apoio à importação e reúso de refatorações disponíveis no repositório. Além disso, o terceiro módulo também contém uma linguagem específica de domínio, a qual é utilizada para auxiliar o engenheiro de software a instanciar o metamodelo SRM. Foi realizado um experimento, buscando reproduzir os cenários em que engenheiros de software realizam refatorações em instâncias do metamodelo KDM. Os resultados mostraram que a abordagem, bem como o apoio ferramental podem trazer benefícios para o engenheiro de software durante a atividade de aplicação de refatorações em sistemas, representados pelo metamodelo KDM. / Architecture Driven Modernization (ADM) is an initiative of the Object Management Group (OMG) whose main purpose is to provide standard metamodels that enable the conduction of modernization activities as reverse engineering and software transformation. In this context, the most important metamodel is the Knowledge Discovery Metamodel (KDM), whose objective is to represent software artifacts in a language- and platform-agnostic fashion. A fundamental step during software modernization is refactoring. However, there is a lack of approaches that address how refactoring can be applied in conjunction with ADM. In addition, few efforts have investigated how refactorings can be reused and systematically applied within the context of KDM representations. We propose an approach for creating and cataloging refactorings tailored to KDM. Our approach is twofold: (i) the first part comprises steps that help the software modernization engineer create KDM-compliant refactorings; (ii) the second part has to do with turning these refactoring descriptions into Structured Refactoring Metamodel (SRM) and making them available to be reused. To automate these activities, we developed a tool that makes it possible to apply refactorings to Unified Modeling Language (UML) class diagrams. Our tool, named KDM-RE, comprises three Eclipse plug-ins, which can be briefly described as follows: (i) a set of Wizards aimed at supporting the software modernization engineer during refactoring activities; (ii) a change propagation module that keeps the internal metamodels synchronized; and (iii) a plug-in that supports the selection and reuse of the refactorings available in the repository. Moreover, we developed a domain specific language to minimize the effort required to instantiate SRMs. We carried out an evaluation that simulates how software modernization engineers would go about refactoring KDM instances. Our results would seem to suggest that our approach, when automated by our tool, provides several advantages to software modernization engineers refactoring systems represented by KDMs.

Durante a exploração de uma mina, vários impactos são causados no meio ambiente, entre eles a geração da drenagem ácida de minas (DAM), que consiste da exposição de minerais sulfetados ao ar, água e microorganismos do tipo ferroxidantes, apresentando reações de oxidação e formação de ácido sulfúrico solubilizando metais ali presentes contaminando o solo e as águas. O objetivo deste trabalho de pesquisa foi estudar uma solução tecnológica fazendo uso da oxidação avançada com ozônio de metais pesados presentes em efluentes contaminados, em mina de urânio, com especial foco na remoção do manganês. A mina de urânio das Indústrias Nucleares do Brasil INB, em Caldas, Minas Gerais, local de aplicação deste estudo, enfrenta o problema da DAM e tem como principais contaminantes de suas águas superficiais os elementos, alumínio (Al), manganês (Mn), zinco (Zn), ferro (Fe), sulfatos (SO4+2), fluoretos (F-), metais de terras raras, alem do urânio (U) e do tório (Th). Os testes com ozônio realizados em laboratório com os efluentes da INB e in situ, mostraram uma grande eficiência para remoção do ferro, manganês e cério em até 99%. A concentração total de manganês ficou abaixo dos limites estabelecidos pela resolução 430 e 357 do CONAMA. Elementos como neodímio (Nd), lantânio (La) e zinco (Zn) pouco se oxidam com O3. O Al se mantém praticamente inalterado, enquanto que o tório e o urânio decaem, mas com o passar do tempo de ozonização voltam a se concentrar, porém com um valor inferior ao inicial. O precipitado obtido após a ozonização consiste de até 85% de oxido de manganês. A fim de descartar, após a ozonização, o efluente líquido para o ambiente é necessário uma correção do pH, de modo a atender os parâmetros da legislação CONAMA, sendo utilizado 50 a 86% menos reagente (CaOH2), do que as quantidades utilizadas no processo adotado pela INB. / During a mine exploration the environment can be affected by different ways being one of them the mine acid drainage(DAM), that is formed by the exposition of sulpheted minerals to the atmospheric air, water and iron-oxidation microorganisms. This exposition results in oxidation reactions and formation of sulphuric acid that dissolves all kind of metals present at the mineral that will result in the contamination of the ground and waters. The object of this research work is to test a technological solution of the mine acid drainage problem applying ozone advanced oxidation of the heavy metals present at the mine drainage of a uranium mine with special focus in the manganese removal. This study is applied to the material from the uranium mine of the Brazilian Nuclear Industry INB, at Caldas- MG. The INB Industry has serious DAM contamination being the main contaminants of the superficial waters the elements, aluminium (Al), manganese (Mn), zinc (Zn), iron (Fe), sulfates(SO4+2), fluorides(F-), rare earth metals besides uranium (U) and thorium (Th). The Caldas unity is being used as research and testing field for the treatment of areas with environment degradation formed by the mining activity. The ozone testing showed a high efficiency for the removal of iron(Fe), manganese(Mn) and cerium (Ce) up to 99%. The manganese total concentration was reduced to values bellow the ones determined by CONAMA resolution. Elements as neodymium (Nd), zinc (Zn) and lanthamium (La) are also oxidated in presence of ozone but with lower efficiency. The aluminium remained unaffected by the ozone while Thorium and Uranium show an initial decay but at the end present only a concentration slight lower than the initial. The solid material formed after the ozone treatment consists mainly of manganese oxide (85%). In order to dispose, after the ozonization, the liquid efluente to the environment is necessary a pH correction in order to be within the CONAMA legislation, being used less reagent (CaOH2), 50 to 86% less, than the amounts used in the process adopted by INB.

<p>We consider complete asymptotically flat Riemannian manifolds that are the graphs of smooth functions over $\mathbb R^n$. By recognizing the scalar curvature of such manifolds as a divergence, we express the ADM mass as an integral of the product of the scalar curvature and a nonnegative potential function, thus proving the Riemannian positive mass theorem in this case. If the graph has convex horizons, we also prove the Riemannian Penrose inequality by giving a lower bound to the boundary integrals using the Aleksandrov-Fenchel inequality. We also prove the ZAS inequality for graphs in Minkowski space. Furthermore, we define a new quasi-local mass functional and show that it satisfies certain desirable properties.</p> / Dissertation

In this work, two particular orthogonal and conformal decompositions of the 3+1 dimensional Einstein equation and Arnowitt-Deser-Misner (ADM) formalism for general relativity are obtained. In order to do these, the 3+1 foliation of the four-dimensional spacetime, the fundamental conformal transformations and the Hamiltonian form of general relativity that leads to the ADM formalism, de

Unternehmen agieren heute in einer hochdynamischen Umwelt, wodurch die Anforderungen an Business Intelligence-Systeme (BI-Systeme) sich stetig verändern. Durch zügiges Reagieren darauf können sich Unternehmen Wettbewerbsvorteile verschaffen. Die dazu notwendige Wandlungsfähigkeit von BI-Systemen setzt voraus, dass bereits die BI-Architektur auf Flexibilität ausgelegt ist. Die Anwendung des Paradigmas der modellgetriebenen Softwareentwicklung auf die Domäne des Data Warehouse Engineerings (DWE) kommt diesem Bedarf nach. Zudem muss neben der Agilität von BI-Systemen auch der Faktor der Korrektheitsprüfung nach vorgenommenen Änderungen betrachtet werden. Es soll untersucht werden, inwieweit sich die im modellgetriebenen DWE anfallenden Metadaten zur Unterstützung und Automatisierung von Softwaretests zur Korrektheitsprüfung nutzen lassen. Die so erzielte Verringerung des Überprüfungsaufwandes führt zu einer verbesserten Wandlungsfähigkeit von BI-Architekturen und kommt somit dem Bedarf von effizienten agilen BI-Lösungen nach.

MORAES, Jason Roberto Alves de. Gravitação quântica canônica. 2016. 72 f. Dissertação (Mestrado em Física) - Programa de Pós-Graduação em Física, Departamento de Física, Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Edvander Pires (edvanderpires@gmail.com) on 2016-07-18T13:04:07Z No. of bitstreams: 1 2016_dis_jramoraes.pdf: 629993 bytes, checksum: 4192a98f10583b124eae37f6fd751afe (MD5) / Approved for entry into archive by Edvander Pires (edvanderpires@gmail.com) on 2016-07-18T13:04:46Z (GMT) No. of bitstreams: 1 2016_dis_jramoraes.pdf: 629993 bytes, checksum: 4192a98f10583b124eae37f6fd751afe (MD5) / Made available in DSpace on 2016-07-18T13:04:46Z (GMT). No. of bitstreams: 1 2016_dis_jramoraes.pdf: 629993 bytes, checksum: 4192a98f10583b124eae37f6fd751afe (MD5) Previous issue date: 2016 / Neste trabalho, apresenta-se o formalismo canônico de quantização da gravidade, tanto em sua formulação original, para a qual a métrica é a variável canônica, quanto na de Ashtekar, onde a conexão autodual assume o papel de variável canônica. Nesta última formulação, as equações de vínculo do formalismo são drasticamente simplificadas, e, fazendo uso da teoria de Chern-Simons, constrói-se um estado que satisfaz estas equações no vácuo, constituindo uma importante solução para a equação de Wheeler-DeWitt. O estado de Chern-Simons também tem uma representação em loops, que recebe este nome por ser formulada em termos dos loops de Wilson.

Durante a exploração de uma mina, vários impactos são causados no meio ambiente, entre eles a geração da drenagem ácida de minas (DAM), que consiste da exposição de minerais sulfetados ao ar, água e microorganismos do tipo ferroxidantes, apresentando reações de oxidação e formação de ácido sulfúrico solubilizando metais ali presentes contaminando o solo e as águas. O objetivo deste trabalho de pesquisa foi estudar uma solução tecnológica fazendo uso da oxidação avançada com ozônio de metais pesados presentes em efluentes contaminados, em mina de urânio, com especial foco na remoção do manganês. A mina de urânio das Indústrias Nucleares do Brasil INB, em Caldas, Minas Gerais, local de aplicação deste estudo, enfrenta o problema da DAM e tem como principais contaminantes de suas águas superficiais os elementos, alumínio (Al), manganês (Mn), zinco (Zn), ferro (Fe), sulfatos (SO4+2), fluoretos (F-), metais de terras raras, alem do urânio (U) e do tório (Th). Os testes com ozônio realizados em laboratório com os efluentes da INB e in situ, mostraram uma grande eficiência para remoção do ferro, manganês e cério em até 99%. A concentração total de manganês ficou abaixo dos limites estabelecidos pela resolução 430 e 357 do CONAMA. Elementos como neodímio (Nd), lantânio (La) e zinco (Zn) pouco se oxidam com O3. O Al se mantém praticamente inalterado, enquanto que o tório e o urânio decaem, mas com o passar do tempo de ozonização voltam a se concentrar, porém com um valor inferior ao inicial. O precipitado obtido após a ozonização consiste de até 85% de oxido de manganês. A fim de descartar, após a ozonização, o efluente líquido para o ambiente é necessário uma correção do pH, de modo a atender os parâmetros da legislação CONAMA, sendo utilizado 50 a 86% menos reagente (CaOH2), do que as quantidades utilizadas no processo adotado pela INB. / During a mine exploration the environment can be affected by different ways being one of them the mine acid drainage(DAM), that is formed by the exposition of sulpheted minerals to the atmospheric air, water and iron-oxidation microorganisms. This exposition results in oxidation reactions and formation of sulphuric acid that dissolves all kind of metals present at the mineral that will result in the contamination of the ground and waters. The object of this research work is to test a technological solution of the mine acid drainage problem applying ozone advanced oxidation of the heavy metals present at the mine drainage of a uranium mine with special focus in the manganese removal. This study is applied to the material from the uranium mine of the Brazilian Nuclear Industry INB, at Caldas- MG. The INB Industry has serious DAM contamination being the main contaminants of the superficial waters the elements, aluminium (Al), manganese (Mn), zinc (Zn), iron (Fe), sulfates(SO4+2), fluorides(F-), rare earth metals besides uranium (U) and thorium (Th). The Caldas unity is being used as research and testing field for the treatment of areas with environment degradation formed by the mining activity. The ozone testing showed a high efficiency for the removal of iron(Fe), manganese(Mn) and cerium (Ce) up to 99%. The manganese total concentration was reduced to values bellow the ones determined by CONAMA resolution. Elements as neodymium (Nd), zinc (Zn) and lanthamium (La) are also oxidated in presence of ozone but with lower efficiency. The aluminium remained unaffected by the ozone while Thorium and Uranium show an initial decay but at the end present only a concentration slight lower than the initial. The solid material formed after the ozone treatment consists mainly of manganese oxide (85%). In order to dispose, after the ozonization, the liquid efluente to the environment is necessary a pH correction in order to be within the CONAMA legislation, being used less reagent (CaOH2), 50 to 86% less, than the amounts used in the process adopted by INB.

No description available.

Made available in DSpace on 2016-06-02T19:06:19Z (GMT). No. of bitstreams: 1 6441.pdf: 3762020 bytes, checksum: cf0babba26cd55b52382a3a068029d68 (MD5) Previous issue date: 2014-10-13 / Universidade Federal de Sao Carlos / Maintaining legacy systems is a complex and expensive activity for many companies. An alternative to this problem is the Architecture-Driven Modernization (ADM), proposed by the OMG (Object Management Group). ADM is a set of principles that support the modernization of systems using models. The Knowledge Discovery Metamodel (KDM) is the main ADM metamodel and it is able to represent various characteristics of a system, such as source code, configuration files and GUI. Through a reverse engineering process supported by tools is possible to extract knowledge from legacy source code and store it in KDM metamodel instances. Another metamodel that is important to this project is the Structured Metrics Metamodel (SMM) that allows the specification of metrics and also the representation of the measurements results performed on KDM models. When we decide to modernize a legacy system, an alternative that aims to improve concerns modularization of a system is the Aspect-Oriented Programming. Considering this alternative, the main goal of this project is to present an approach to defining and computing concern metrics in instances of KDM metamodel. This kind of measurement needs a prior concern mining that make notes on system components indicating concerns which it implements. To achieve the project objective, a complete approach to measure concerns using ADM models was developed, this approached is composed by an extension of KDM metamodel for representing Aspect- Oriented Software (AO-KDM), a concern metrics library in SMM format (CCML) developed in order to be parameterized by the Modernization Engineer. Therefore, the metrics defined in this project can be reused in other projects. Furthermore, we have developed a tool (CMEE) capable of handling parameterization annotations (notes about concerns made by the mining tools) that allows that models annotated by different mining tools could be measured by SMM metrics. / Manter sistemas legados é uma atividade complexa e cara para muitas empresas. Uma alternativa para este problema é a Modernização Dirigida à Arquitetura (Architecture- Driven Modernization - ADM), proposta pelo OMG (Object Management Group). A ADM consiste em um conjunto de princípios que apoiam a modernização de sistemas utilizando modelos. O Knowledge Discovery Metamodel (KDM) é o principal metamodelo da ADM e é capaz de representar diversas características de um sistema, como código-fonte, arquivos de configuração e de interface gráfica. Por meio de um processo de engenharia reversa apoiado por ferramentas é possível extrair conhecimento do código-fonte legado e armazená-lo em instâncias do metamodelo KDM. Outro metamodelo da ADM pertinente a este projeto é o Structured Metrics Metamodel (SMM) que torna possível a especificação de métricas e também a representação dos resultados de medições realizadas em modelos KDM. Quando decide-se modernizar um sistema legado, uma alternativa que procura melhorar o nível de modularização dos interesses de um sistema é a orientação a aspetos. Considerando essa alternativa, o objetivo deste projeto é apresentar uma abordagem para definição e aplicação de métricas de interesse em instâncias do metamodelo KDM. Esse tipo de medição precisa de uma mineração de interesses prévia, que realiza anotações nos componentes do sistema indicando qual interesse ele implementa. Para alcançar o objetivo do projeto, foi desenvolvida uma abordagem completa de medição de interesses utilizando modelos da ADM, composta por uma extensão do KDM para a representação de software orientado a aspectos (AO-KDM), uma biblioteca de métricas de interesses no formato SMM (CCML) desenvolvida com o intuito de ser parametrizável pelo Engenheiro de Modernização. Portanto, as métricas definidas neste projeto podem ser reusadas em outros projetos. Além disso, foi desenvolvida uma ferramenta de apoio computacional (CMEE) capaz de lidar com parametrização de anotações (anotações de interesses realizadas por ferramentas de mineração) que permite que modelos anotados com diferentes ferramentas de mineração possam ser medidos por métricas SMM.