In the last few years, the Web of data is being rapidly populated with biodiversity data. However, when researchers need to retrieve, integrate, and visualize these data, they need to rely on semi-manual approaches. That is due to the fact that biodiversity repositories, such as GBIF, offer data as just strings in CSV format spreadsheets. There is no machine readable metadata that could add meaning (semantics) to data. Without this metadata, automatic solutions are impossible and labor intensive semi-manual approaches for data integration and visualization are unavoidable. To reduce this problem, we present a novel architecture, called STBioData, to automatically link spatiotemporal biodiversity data, from heterogeneous data sources, to enable easier searching, visualization and downloading of relevant data. It supports the generation of interactive maps and mapping between biodiversity data and ontologies describing them (such as Darwin Core, DBpedia, GeoSPARQL, Time and PROV-O). A new biodiversity provenance model (BioProv), extending the W3C PROV Data Model, was proposed. BioProv enables applications that deal with biodiversity data to incorporate provenance data in their information. A web based prototype, based on this architecture, was implemented. It supports biodiversity domain experts in tasks, such as identifying a species conservation status, by automating most of the necessary tasks. It uses collection data, from important Brazilian biodiversity research institutions, and species geographic distributions and conservation status, from the IUCN Red List of Threatened Species. These data are converted to linked data, enriched and saved as RDF Triples. Users can access the system, using a web interface, and search for collection and species distribution records based on species names, time ranges and geographic location. After a data set is recovered, it can be displayed in an interactive map. The records contents are also shown (including provenance data) together with links to the original records at GBIF and IUCN. Users can export datasets, as a CSV or RDF file, or get a print out in PDF (including the visualizations). Choosing different time ranges, users can, for instance, verify the evolution of a species distribution. The STBioData prototype was tested using use cases. For the tests, 46,211 collection records, from SpeciesLink, and 38,589 conservation status records (including maps), from IUCN, for marine mammal were converted to 2,233,782. RDF triples and linked using well known ontologies. 90% of biodiversity experts, using the tool to determine conservation status, were able to find information about dolphin species, with a satisfactory recovery time, and were able to understand the interactive map. In an information retrieval experiment, when compared with SpeciesLink keyword based search, the prototypes semantic based search performed, on average, 24% better in precision and 22% in recall tests. And that does not takes into account cases where only the prototype returned search results. These results demonstrate the value of having public available linked biodiversity data with semantics. / Nos últimos anos, a Web de dados está sendo rapidamente preenchida com dados de biodiversidade. No entanto, quando pesquisadores precisam recuperar, integrar e visualizar esses dados, eles precisam confiar em abordagens semi-manuais. Isso ocorre devido ao fato de que repositórios sobre biodiversidade, como GBIF, oferecem dados como cadeias de caracteres em planilhas no formato CSV. Não há nenhum metadado legível por máquinas que poderia acrescentar significado (semântico) aos dados. Sem os metadados, soluções automáticas são impossíveis, sendo necessário para visualização e integração dos dados, a utilização de abordagens semi-manuais. Para reduzir esse problema, apresentamos uma arquitetura chamada STBioData. Com ela é possível vincular automaticamente dados de biodiversidade, com informações espaço-temporais provenientes de fontes heterogêneas, tornando mais fácil a pesquisa, visualização e download dos dados relevantes. Ele suporta a geração de mapas interativos e o mapeamento entre dados de biodiversidade e ontologias que os descrevem (como Darwin Core, DBpedia, GeoSPARQL, Time e PROV-O). Foi proposto um novo modelo de proveniência para biodiversidade (BioProv), que estende o modelo de dados PROV W3C. BioProv permite que aplicativos que lidam com dados de biodiversidade incorporem os dados de proveniência em suas informações. Foi implementado um protótipo Web baseado nesta arquitetura. Ele oferece suporte aos especialistas do domínio de biodiversidade em tarefas como, identificação do status de conservação da espécie, além de automatizar a maioria das tarefas necessária. Foi utilizado coleções de dados de importantes pesquisas brasileiras sobre biodiversidade, juntamente com dados de distribuição geográfica das espécies e seu estado de conservação, provenientes da lista de espécies ameaçadas da IUCN (Red List). Esses dados são convertidos em dados conectados, enriquecidos e salvados como triplas RDF. Os usuários podem acessar o sistema, usando uma interface web que permite procurar, utilizando os nomes das espécies, intervalos de tempo e localização geográfica. Os dados recuperados podem ser visualizados no mapa interativo. O conteúdo de registros também é mostrado (incluindo dados de proveniência), juntamente com links para os registros originais no GBIF e IUCN. Os usuários podem exportar o conjunto de dados, como um arquivo CSV ou RDF, ou salvar em PDF (incluindo as visualizações). Escolhendo diferentes intervalos de tempo, os usuários podem por exemplo, verificar a evolução da distribuição das espécies. O protótipo STBioData foi testado usando casos de uso. Para esses testes, 46.211 registros de coleção do SpeciesLink e 38.589 registros de estado de conservação da IUCN (incluindo mapas), sobre mamíferos marinhos, foram convertidos em 2.233.782 triplas RDF. Essas triplas reutilizam ontologias representativas da área . 90% dos especialistas em biodiversidade, usaram a ferramenta para determinar o estado de conservação, eles foram capaz de encontrar as informações sobre determinada espécie de golfinho, com um tempo de recuperação satisfatório e também foram capaz de entender o mapa interativo gerado. Em um experimento sobre recuperação de informações, quando comparado com o sistema de busca por palavra-chave utilizado pela base SpeciesLink, a busca semântica realizada pelo protótipo STBioData, em média, é 24% melhor em testes de precisão e 22% melhor em testes de revocação. Não são considerados os casos onde o protótipo somente retornou o resultado da busca. Esses resultados demonstram o valor de ter dados conectados sobre biodiversidade disponíveis publicamente em um formato semântico.

In the last few years, the Web of data is being rapidly populated with biodiversity data. However, when researchers need to retrieve, integrate, and visualize these data, they need to rely on semi-manual approaches. That is due to the fact that biodiversity repositories, such as GBIF, offer data as just strings in CSV format spreadsheets. There is no machine readable metadata that could add meaning (semantics) to data. Without this metadata, automatic solutions are impossible and labor intensive semi-manual approaches for data integration and visualization are unavoidable. To reduce this problem, we present a novel architecture, called STBioData, to automatically link spatiotemporal biodiversity data, from heterogeneous data sources, to enable easier searching, visualization and downloading of relevant data. It supports the generation of interactive maps and mapping between biodiversity data and ontologies describing them (such as Darwin Core, DBpedia, GeoSPARQL, Time and PROV-O). A new biodiversity provenance model (BioProv), extending the W3C PROV Data Model, was proposed. BioProv enables applications that deal with biodiversity data to incorporate provenance data in their information. A web based prototype, based on this architecture, was implemented. It supports biodiversity domain experts in tasks, such as identifying a species conservation status, by automating most of the necessary tasks. It uses collection data, from important Brazilian biodiversity research institutions, and species geographic distributions and conservation status, from the IUCN Red List of Threatened Species. These data are converted to linked data, enriched and saved as RDF Triples. Users can access the system, using a web interface, and search for collection and species distribution records based on species names, time ranges and geographic location. After a data set is recovered, it can be displayed in an interactive map. The records contents are also shown (including provenance data) together with links to the original records at GBIF and IUCN. Users can export datasets, as a CSV or RDF file, or get a print out in PDF (including the visualizations). Choosing different time ranges, users can, for instance, verify the evolution of a species distribution. The STBioData prototype was tested using use cases. For the tests, 46,211 collection records, from SpeciesLink, and 38,589 conservation status records (including maps), from IUCN, for marine mammal were converted to 2,233,782. RDF triples and linked using well known ontologies. 90% of biodiversity experts, using the tool to determine conservation status, were able to find information about dolphin species, with a satisfactory recovery time, and were able to understand the interactive map. In an information retrieval experiment, when compared with SpeciesLink keyword based search, the prototypes semantic based search performed, on average, 24% better in precision and 22% in recall tests. And that does not takes into account cases where only the prototype returned search results. These results demonstrate the value of having public available linked biodiversity data with semantics. / Nos últimos anos, a Web de dados está sendo rapidamente preenchida com dados de biodiversidade. No entanto, quando pesquisadores precisam recuperar, integrar e visualizar esses dados, eles precisam confiar em abordagens semi-manuais. Isso ocorre devido ao fato de que repositórios sobre biodiversidade, como GBIF, oferecem dados como cadeias de caracteres em planilhas no formato CSV. Não há nenhum metadado legível por máquinas que poderia acrescentar significado (semântico) aos dados. Sem os metadados, soluções automáticas são impossíveis, sendo necessário para visualização e integração dos dados, a utilização de abordagens semi-manuais. Para reduzir esse problema, apresentamos uma arquitetura chamada STBioData. Com ela é possível vincular automaticamente dados de biodiversidade, com informações espaço-temporais provenientes de fontes heterogêneas, tornando mais fácil a pesquisa, visualização e download dos dados relevantes. Ele suporta a geração de mapas interativos e o mapeamento entre dados de biodiversidade e ontologias que os descrevem (como Darwin Core, DBpedia, GeoSPARQL, Time e PROV-O). Foi proposto um novo modelo de proveniência para biodiversidade (BioProv), que estende o modelo de dados PROV W3C. BioProv permite que aplicativos que lidam com dados de biodiversidade incorporem os dados de proveniência em suas informações. Foi implementado um protótipo Web baseado nesta arquitetura. Ele oferece suporte aos especialistas do domínio de biodiversidade em tarefas como, identificação do status de conservação da espécie, além de automatizar a maioria das tarefas necessária. Foi utilizado coleções de dados de importantes pesquisas brasileiras sobre biodiversidade, juntamente com dados de distribuição geográfica das espécies e seu estado de conservação, provenientes da lista de espécies ameaçadas da IUCN (Red List). Esses dados são convertidos em dados conectados, enriquecidos e salvados como triplas RDF. Os usuários podem acessar o sistema, usando uma interface web que permite procurar, utilizando os nomes das espécies, intervalos de tempo e localização geográfica. Os dados recuperados podem ser visualizados no mapa interativo. O conteúdo de registros também é mostrado (incluindo dados de proveniência), juntamente com links para os registros originais no GBIF e IUCN. Os usuários podem exportar o conjunto de dados, como um arquivo CSV ou RDF, ou salvar em PDF (incluindo as visualizações). Escolhendo diferentes intervalos de tempo, os usuários podem por exemplo, verificar a evolução da distribuição das espécies. O protótipo STBioData foi testado usando casos de uso. Para esses testes, 46.211 registros de coleção do SpeciesLink e 38.589 registros de estado de conservação da IUCN (incluindo mapas), sobre mamíferos marinhos, foram convertidos em 2.233.782 triplas RDF. Essas triplas reutilizam ontologias representativas da área . 90% dos especialistas em biodiversidade, usaram a ferramenta para determinar o estado de conservação, eles foram capaz de encontrar as informações sobre determinada espécie de golfinho, com um tempo de recuperação satisfatório e também foram capaz de entender o mapa interativo gerado. Em um experimento sobre recuperação de informações, quando comparado com o sistema de busca por palavra-chave utilizado pela base SpeciesLink, a busca semântica realizada pelo protótipo STBioData, em média, é 24% melhor em testes de precisão e 22% melhor em testes de revocação. Não são considerados os casos onde o protótipo somente retornou o resultado da busca. Esses resultados demonstram o valor de ter dados conectados sobre biodiversidade disponíveis publicamente em um formato semântico.

Neste trabalho estudamos a dinâmica de partículas e cordas num campo gravitacional com métrica degenerada. Utilizamos o formalismo Hamiltoniano para determinar os vínculos da teoria e a dinâmica efetiva do sistema. Classificamos a estrutura dos vínculos de acordo com a forma de métrica e dimensão do espaço (-tempo). Obtemos também a representação das simetrias em termos de isometrias geradas por auto-vetores nulos da métrica. / In this work we stud the dynamics of particles and strings in a gravitational Field with degenerate metric. We use the Hamiltonian formalism to find out the constraints and the effective dynamics of the system. We classify the constraint structure according to the formo the me-tric and the space(time) dimension. We also obtain the representation of the symmetries in terms of the isometries generated by the null eigenvectors of the metric.

Neste trabalho estudamos a dinâmica de partículas e cordas num campo gravitacional com métrica degenerada. Utilizamos o formalismo Hamiltoniano para determinar os vínculos da teoria e a dinâmica efetiva do sistema. Classificamos a estrutura dos vínculos de acordo com a forma de métrica e dimensão do espaço (-tempo). Obtemos também a representação das simetrias em termos de isometrias geradas por auto-vetores nulos da métrica. / In this work we stud the dynamics of particles and strings in a gravitational Field with degenerate metric. We use the Hamiltonian formalism to find out the constraints and the effective dynamics of the system. We classify the constraint structure according to the formo the me-tric and the space(time) dimension. We also obtain the representation of the symmetries in terms of the isometries generated by the null eigenvectors of the metric.

Pesquisas na área de biodiversidade são, em geral, transdisciplinares por natureza. Essas pesquisas tentam responder problemas complexos que necessitam de conhecimento transdisciplinar e requerem a cooperação entre pesquisadores de diversas disciplinas. No entanto, é raro que duas ou mais disciplinas distintas tenham observações, dados e métodos em formatos que permitam a colaboração imediata sobre hipóteses complexas e transdisciplinares. Hoje, a velocidade com que qualquer disciplina obtêm avanços científicos depende de quão bem seus pesquisadores colaboram entre si e com tecnologistas das áreas de bancos de dados, gerenciamento de workflow, visualização e tecnologias, como computação em nuvem. Dentro desse cenário, a Web Semântica surge, não só como uma nova geração de ferramentas para a representação de informações, mais também para a automação, integração, interoperabilidade e reutilização de recursos. Neste trabalho, uma infraestrutura semântica é proposta para a integração de dados científicos sobre biodiversidade. Sua arquitetura é baseada na aplicação das tecnologias da Web Semântica para se desenvolver uma infraestrutura eficiente, robusta e escalável aplicada ao domínio da Biodiversidade. O componente central desse ambiente é a linguagem BioDSL, uma Linguagem de Domínio Especifico (DSL) para mapear dados tabulares para o modelo RDF, seguindo os princípios de Linked Open Data. Esse ambiente integrado também conta com uma interface Web, editores e outras facilidades para conversão/integração de conjuntos de dados sobre biodiversidade. Para o desenvolvimento desse ambiente, houve a participação de instituições de pesquisa parceiras que atuam na área de biodiversidade da Amazônia. A ajuda do Laboratório de Interoperabilidade Semântica do Instituto Nacional de Pesquisas da Amazônia (INPA) foi fundamental para a especificação e testes do ambiente. Foram pesquisados vários casos de uso com pesquisadores do INPA e realizados testes com o protótipo do sistema. Nesses testes, ele foi capaz de converter arquivos de dados reais sobre biodiversidade para RDF e interligar automaticamente entidades presentes nesses dados a entidades presentes na web (nuvem LOD). Num experimento envolvendo 1173 registros de espécies ameaçadas, o ambiente conseguiu recuperar automaticamente 967 (82,4%) entidades (URIs) da LOD referentes a essas espécies, com matching completo para o nome das espécies, 149 (12,7%) com matching parcial (apenas um dos nomes da espécie), 36 (3,1%) não tiveram correspondências (sem resultados nas buscas) e 21 (1,7%) sem registro das especies na LOD. / Research in the area of biodiversity is, in general, transdisciplinary in nature. This type of research attempts to answer complex problems that require transdisciplinary knowledge and require the cooperation between researchers of diverse disciplines. However, it is rare for two or more distinct disciplines to have observations, data, and methods in formats that allow immediate collaboration on complex and transdisciplinary hypotheses. Today, the speed which any discipline gets scientific advances depends on how well its researchers collaborate with each other and with technologists from the areas of databases, workflow management, visualization, and internet technologies. Within this scenario, the Semantic Web arises not only as a new generation of tools for information representation, but also for automation, integration, interoperability and resource reuse. In this work, a semantic infrastructure is proposed for the integration of scientific data on biodiversity. This architecture is based on the application of Semantic Web technologies to develop an efficient, robust and scalable infrastructure for use in the field of Biodiversity. The core component of this infrastructure is the BioDSL language, a Specific Domain Language (DSL) to map tabular data to the RDF model, following the principles of Linked Open Data. This integrated environment also has a Web interface, editors and other facilities for converting/integrating biodiversity datasets. For the development of this environment, we had the participation of partner research institutions that work with Amazon biodiversity. The help of the Laboratory of Semantic Interoperability of the National Institute of Amazonian Research (INPA) was fundamental for the specification and tests of this infrastructure. Several use cases were investigated with INPA researchers and tests were carried out with the system prototype. In these tests, the prototype was able to convert actual biodiversity data files to RDF and automatically interconnect entities present in these data to entities present on the web (LOD cloud). In an experiment involving 1173 records of endangered species, the environment was able to automatically retrieve 967 (82.4%) LOD entities (URIs) for these species, with complete matching for the species name, 149 (12.7%) with partial matching (only one of the species names), 36 (3,1%) with no matching and 21 (1,7%) no have records at LOD.

Pesquisas na área de biodiversidade são, em geral, transdisciplinares por natureza. Essas pesquisas tentam responder problemas complexos que necessitam de conhecimento transdisciplinar e requerem a cooperação entre pesquisadores de diversas disciplinas. No entanto, é raro que duas ou mais disciplinas distintas tenham observações, dados e métodos em formatos que permitam a colaboração imediata sobre hipóteses complexas e transdisciplinares. Hoje, a velocidade com que qualquer disciplina obtêm avanços científicos depende de quão bem seus pesquisadores colaboram entre si e com tecnologistas das áreas de bancos de dados, gerenciamento de workflow, visualização e tecnologias, como computação em nuvem. Dentro desse cenário, a Web Semântica surge, não só como uma nova geração de ferramentas para a representação de informações, mais também para a automação, integração, interoperabilidade e reutilização de recursos. Neste trabalho, uma infraestrutura semântica é proposta para a integração de dados científicos sobre biodiversidade. Sua arquitetura é baseada na aplicação das tecnologias da Web Semântica para se desenvolver uma infraestrutura eficiente, robusta e escalável aplicada ao domínio da Biodiversidade. O componente central desse ambiente é a linguagem BioDSL, uma Linguagem de Domínio Especifico (DSL) para mapear dados tabulares para o modelo RDF, seguindo os princípios de Linked Open Data. Esse ambiente integrado também conta com uma interface Web, editores e outras facilidades para conversão/integração de conjuntos de dados sobre biodiversidade. Para o desenvolvimento desse ambiente, houve a participação de instituições de pesquisa parceiras que atuam na área de biodiversidade da Amazônia. A ajuda do Laboratório de Interoperabilidade Semântica do Instituto Nacional de Pesquisas da Amazônia (INPA) foi fundamental para a especificação e testes do ambiente. Foram pesquisados vários casos de uso com pesquisadores do INPA e realizados testes com o protótipo do sistema. Nesses testes, ele foi capaz de converter arquivos de dados reais sobre biodiversidade para RDF e interligar automaticamente entidades presentes nesses dados a entidades presentes na web (nuvem LOD). Num experimento envolvendo 1173 registros de espécies ameaçadas, o ambiente conseguiu recuperar automaticamente 967 (82,4%) entidades (URIs) da LOD referentes a essas espécies, com matching completo para o nome das espécies, 149 (12,7%) com matching parcial (apenas um dos nomes da espécie), 36 (3,1%) não tiveram correspondências (sem resultados nas buscas) e 21 (1,7%) sem registro das especies na LOD. / Research in the area of biodiversity is, in general, transdisciplinary in nature. This type of research attempts to answer complex problems that require transdisciplinary knowledge and require the cooperation between researchers of diverse disciplines. However, it is rare for two or more distinct disciplines to have observations, data, and methods in formats that allow immediate collaboration on complex and transdisciplinary hypotheses. Today, the speed which any discipline gets scientific advances depends on how well its researchers collaborate with each other and with technologists from the areas of databases, workflow management, visualization, and internet technologies. Within this scenario, the Semantic Web arises not only as a new generation of tools for information representation, but also for automation, integration, interoperability and resource reuse. In this work, a semantic infrastructure is proposed for the integration of scientific data on biodiversity. This architecture is based on the application of Semantic Web technologies to develop an efficient, robust and scalable infrastructure for use in the field of Biodiversity. The core component of this infrastructure is the BioDSL language, a Specific Domain Language (DSL) to map tabular data to the RDF model, following the principles of Linked Open Data. This integrated environment also has a Web interface, editors and other facilities for converting/integrating biodiversity datasets. For the development of this environment, we had the participation of partner research institutions that work with Amazon biodiversity. The help of the Laboratory of Semantic Interoperability of the National Institute of Amazonian Research (INPA) was fundamental for the specification and tests of this infrastructure. Several use cases were investigated with INPA researchers and tests were carried out with the system prototype. In these tests, the prototype was able to convert actual biodiversity data files to RDF and automatically interconnect entities present in these data to entities present on the web (LOD cloud). In an experiment involving 1173 records of endangered species, the environment was able to automatically retrieve 967 (82.4%) LOD entities (URIs) for these species, with complete matching for the species name, 149 (12.7%) with partial matching (only one of the species names), 36 (3,1%) with no matching and 21 (1,7%) no have records at LOD.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-08T11:47:22Z No. of bitstreams: 1 gabrieldelimaesilva.pdf: 258088 bytes, checksum: bfc041ce4de1b43fe1a8880438b1efad (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-26T17:48:13Z (GMT) No. of bitstreams: 1 gabrieldelimaesilva.pdf: 258088 bytes, checksum: bfc041ce4de1b43fe1a8880438b1efad (MD5) / Made available in DSpace on 2017-06-26T17:48:13Z (GMT). No. of bitstreams: 1 gabrieldelimaesilva.pdf: 258088 bytes, checksum: bfc041ce4de1b43fe1a8880438b1efad (MD5) Previous issue date: 2012-08-21 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho discutimos o modelo de Heisenberg isotrópico bidimensional do ponto de vista de sistema vinculado. Nós apresentamos este sistema como uma teoria que não tem, a princípio, invariância de calibre. O conceito de invariância de calibre é muito útil em física teórica, uma vez que permite a compreensão profunda de sistemas físicos já que permite uma escolha arbitrária de um referencial a cada instante de tempo. Na verdade, todas as teorias que descrevem as interações fundamentais são teorias de calibre. No método de Dirac todos os vínculos obtidos para o modelo de Heisenberg isotrópico bidimensional são de segunda classe, isso significa que, em princípio, o modelo não apresenta invariância de calibre. Isto será verificado através da aplicação do método simplético. Neste contexto, o potencial simplético (hamiltoniana) será obtido e para uma escolha de fator-ordenação particular, a saber, que as funções dos campos devem ficar à esquerda do operador momento, nós escrevemos a equação de Schrõdinger funcional correspondente. Esta equação não será resolvida explicitamente aqui, no entanto, isso poderia ser feito aplicando o método do cálculo funcional assim seria obtido o espetro de energias do sistema. / In this work we discuss the two-dimensional isotropic Heisenberg model from the constrained systems point of view. We present this system as a theory which has not gauge invariance. The concept of gauge invariance is very useful in theoretical physics, since it allows a deep understanding of physical systems and an arbitrary choice of a reference at each instant of time. In fact, all theories describing the fundamental interactions are gauge theories. In the method of Dirac all constraints obtained for the two-dimensional isotropic Heisenberg model are second class, this means, at first, the model has no gauge invariance. This will be checked by applying the symplectic method. In this context, the symplectic potential (Hamiltonian) will be obtained and a choice of particular factor-ordering, namely that the functions of the fields should be left to the operators, we write the associated functional equation of Schrodinger. This equation will not be solved explicitly here, however, this could be done by applying the method of functional calculation, and so we should obtain the energy spectrum of the system.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-27T14:37:13Z No. of bitstreams: 1 danieloliveiradesouza.pdf: 460696 bytes, checksum: b38f7b2e07b00443eb2e4bf937e1f462 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-07T20:53:20Z (GMT) No. of bitstreams: 1 danieloliveiradesouza.pdf: 460696 bytes, checksum: b38f7b2e07b00443eb2e4bf937e1f462 (MD5) / Made available in DSpace on 2017-08-07T20:53:20Z (GMT). No. of bitstreams: 1 danieloliveiradesouza.pdf: 460696 bytes, checksum: b38f7b2e07b00443eb2e4bf937e1f462 (MD5) Previous issue date: 2010-08-24 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / As quatro forças fundamentais da natureza conhecidas são: a força gravitacional, a eletromagnética, a força fraca e a força forte. As três últimas são regidas por aspectos da chamada teoria quântica de campos. O grande interesse da teoria de cordas consiste no fato de que acredita-se que a mesma pode unificar a força gravitacional com a mecância quântica. Sendo portanto, uma candidata a formar a famigerada teoria da uni cação dessas forças fundamentais. Com essa motivação em mente, nessa dissertação abordamos as ações de cordas de Nambu-Goto, Born-Infeld-Nambu-Goto e Dirac-Born-Infeld-Nambu-Goto de cordas bosônicas como sistemas vinculados. O nosso principal caminho para estudar esse assunto fascinante da física teórica é o conhecido método de Dirac para a análise de vínculos. / The four fundamental forces of nature are known: the force gravitational, the electromagnetic, the weak force and strong force. The three latter aspects are governed by the so-called quantum field theory. The great interest in string theory is the fact that it is believed that it can unify the gravitational force with quantum mechanics. Being thus a candidate to form the notorious theory of uni cation these fundamental forces. With this motivation in mind, this dissertation discusses the actions of the Nambu-Goto strings, Born-Infeld-Nambu-Goto and Dirac-Born-Infeld-Nambu-Goto bosonic string as bound systems. Our main way to study this fascinating subject in physics is the known theoretical method for analysis of Dirac links.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-28T14:31:27Z No. of bitstreams: 1 lucianamirandavieiraxavier.pdf: 351536 bytes, checksum: f476ea35c3ced7fc7f8315f85d076f6e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-07T21:18:56Z (GMT) No. of bitstreams: 1 lucianamirandavieiraxavier.pdf: 351536 bytes, checksum: f476ea35c3ced7fc7f8315f85d076f6e (MD5) / Made available in DSpace on 2017-08-07T21:18:56Z (GMT). No. of bitstreams: 1 lucianamirandavieiraxavier.pdf: 351536 bytes, checksum: f476ea35c3ced7fc7f8315f85d076f6e (MD5) Previous issue date: 2009-02-27 / FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas Gerais / Nesta tese, revisa-se os principais métodos de quantização de sistemas vinculados a partir das técnicas Hamiltoniana de Dirac e Lagrangeana de Faddev-Jackiw ( sem vínculos) e sua extenção a de Barcelos Neto- Wotzasek (com vínculos), estes denominados simplesmente por Formalismo Simplético (FS). Em vista da correspondência entre os formalismos, eles serão aplicados ao Modelo de Skyrme SU(2) e ao Eletromagnetimo de Maxwell. Apresenta-se uma técnica contemporânea, que mergulha uma teoria de segunda classe em uma dual com invariância de calibre, a saber, o Formalismo Simplético de Imersão (FSI). Esse método baseia-se no FS e estende-se o espaço de configuração por meio das variáveis de Wess-Zumino. Para ilustrar esse FSI, constroi-se a eletrodinâmica de Maxwell como uma teoria de calibre, na qual as divergências clássicas não estejam presentes. Uma generalização relativística é a eletrodinâmica de Proca e de Chern-Simons, que consideram a possibilidade de existência de um fóton massivo e de um campo com alcance finito. A descrição dual reproduz o mesmo resultado encontrado na literatura através de outros métodos. Apesar da arbitrariedade dos geradores da simetria de calibre, os modos-zeros, mostram uma família de representações dinâmicas duais para o sistema em questão. / In this thesis, it will be revised the main quantization methods of constrained systems using the Dirac Hamiltonian method and Faddev-Jackiw Lagrangian techniques (without constrained), and its extension to the Barcelos Neto- Wotzasek Lagrangian method (with constrained), these known as Symplectic Formalism. Because of the correspondence among the formalisms, they will be applied of the Skyrme SU(2) model and Electromagnetism of Maxwell. It will be presented a contemporary technique that it embed a second class theory in a dual with gauge invariance, the Embedding Symplectic Formalism . This method is based on the Symplectic Formalism, it is extended the configuration space through Wess-Zumino variables. In order to illustrate this Embedding Symplectic Formalism, the Maxwell electrodynamics is built as a gauge theory, without the classic differences. A relativistic generalization is the Proca and Chern-Simons electrodynamics that consider the possibility of existence of a massive photon and a field with finite reach. The dual description reproduce the identic result reported in the literature using other methods. Although, the arbitrariness of the gauge symmetry generator, zero-mode, it reveals a family of dynamic dual representations to this system.