19,039 research outputs found

    Curved Graphene Nanoribbons: Structure and Dynamics of Carbon Nanobelts

    Full text link
    Carbon nanoribbons (CNRs) are graphene (planar) structures with large aspect ratio. Carbon nanobelts (CNBs) are small graphene nanoribbons rolled up into spiral-like structures, i. e., carbon nanoscrolls (CNSs) with large aspect ratio. In this work we investigated the energetics and dynamical aspects of CNBs formed from rolling up CNRs. We have carried out molecular dynamics simulations using reactive empirical bond-order potentials. Our results show that similarly to CNSs, CNBs formation is dominated by two major energy contribution, the increase in the elastic energy due to the bending of the initial planar configuration (decreasing structural stability) and the energetic gain due to van der Waals interactions of the overlapping surface of the rolled layers (increasing structural stability). Beyond a critical diameter value these scrolled structures can be even more stable (in terms of energy) than their equivalent planar configurations. In contrast to CNSs that require energy assisted processes (sonication, chemical reactions, etc.) to be formed, CNBs can be spontaneously formed from low temperature driven processes. Long CNBs (length of \sim 30.0 nm) tend to exhibit self-folded racket-like conformations with formation dynamics very similar to the one observed for long carbon nanotubes. Shorter CNBs will be more likely to form perfect scrolled structures. Possible synthetic routes to fabricate CNBs from graphene membranes are also addressed

    Exploiting Resolution-based Representations for MaxSAT Solving

    Full text link
    Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of SAT solvers to identify unsatisfiable subformulas. Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early. However, this is not the case in many problem instances, since the whole formula is given to the SAT solver in each call. In this paper, we propose to partition the MaxSAT formula using a resolution-based graph representation. Partitions are then iteratively joined by using a proximity measure extracted from the graph representation of the formula. The algorithm ends when only one partition remains and the optimal solution is found. Experimental results show that this new approach further enhances a state of the art MaxSAT solver to optimally solve a larger set of industrial problem instances

    Tipos nomenclaturais de Myrtaceae depositados no Herbário IAN da Embrapa Amazônia Oriental, Belém, Pará, Brasil.

    Get PDF
    Tipos nomenclaturais são amostras botânicas utilizadas para descrever, pela primeira vez, um táxon para a ciência; sendo dessa forma, uma documentação muito importante para a Taxonomia. O Herbário IAN da Embrapa Amazônia Oriental, com o acervo de 190 mil exemplares, conta, atualmente, com cerca de 2 mil tipos nomenclaturais; esse número vêm aumentando à medida que as famílias são analisadas. O presente trabalho trata da organização, classificação e divulgação dos tipos de Myrtaceae depositados nesse Herbário. Essa família possui importância econômica, visto que apresenta espécies utilizadas como comestíveis, medicinais, ornamentais e madeireiras. Os exemplares de Myrtaceae foram analisados e para cada táxon, foi localizada a obra princeps através de consulta a sites especializados, busca em bibliotecas e COMUT. De posse das informações contidas na obra princeps, os tipos foram classificados segundo o Código Internacional de Nomenclatura para algas, fungos e plantas. Foram localizados 47 exemplares tipos de Myrtaceae distribuídos em cinco gêneros, 27 espécies, quatro variedades e uma forma. Esses resultados são apresentados em tabela contendo nome do táxon, registro no IAN, coletor e número e categoria. Este trabalho, além de aumentar o número de tipos no acervo do IAN, otimizará a localização dos mesmos durante as revisões taxonômicas

    Família Scenedesmaceae (Chlorophyceae, Chlorococcales) do lago água preta, municipio de Belém, Estado do Pará.

    Get PDF
    (Família Scenedesmaceae (Chlorophyceae, Chlorococcales) do lago Água Preta, Município de Belém, Estado do Pará). Trata-se do inventário florístico da família Scenedesmaceae do lago Água Preta, parte do complexo de abastecimento de água do município de Belém, PA, efetuado a partir de quatro coletas, no período de outubro de 1992 a agosto de 1993. Os resultados mostraram que a família Scenedesmaceae está representada por 15 táxons: Crueigeniafenestrata Schimidle, C. quadrata Morren, Dicloster aeuatus Jao, Wei & Hu, Dimorphoeoeeus lunatus Braun, Seenedesmus aeuminatus (Lagerheim) Chodat varo aeuminatus, S. aeuminatus (Lagerheim) Chodat varo bernardii (G.M. Smith) Dedussenko, S. armatus Chodat varo bieaudatus (Guglielmetti) Chodat, S. indieus Philipose, S. peiforatus Lemmerrnann varo peiforatus, S. quadrieauda (Turpin) Brébisson varo quadrieauda, Seenedesmus sp., Tetrallantos lagerheimii Teiling, Tetrastrum heteraeanthum (Nordstedt) Chodat, T punetatum (Schimidle) Ahlstrom & Tiffany e Westella botryoides (w. West) De Wildeman
    corecore