Biologia da polinização da castanheira-do-brasil (Bertholletia excelsa Bonpl., LECYTHIDACEAE) em Tomé-Açu, Pará.

A castanheira-do-brasil (Bertholletia excelsa Bonpl.) é uma espécie arbórea nativa da Amazônia. Este estudo teve como objetivo investigar a biologia floral e os requerimentos de polinização dessa espécie em um Sistema Agroflorestal (SAF), em Tomé-Açu/PA, nos anos de 2010 e 2011. Chegou-se às flores através de torres de observação de 12 a 20 metros de altura. Caracterizou-se: a antese; duração da floração; receptividade de estigma; viabilidade de pólen; localização dos osmóforos; volume e % de açúcar do néctar; comportamento e identificação de visitantes florais; e o sistema reprodutivo, através de testes de polinização controlada: autopolinização espontânea (AE, n=540/1.672) e induzida (AI, n=657/1.566); xenogamia (XE, n=880/1.716) e geitonogamia (GE, n=742/1.443). O controle foi realizado por polinização livre (PL, n=564/2.343), dados de 2010/2011, respectivamente. A floração ocorreu nos meses de outubro a janeiro. A antese variou entre as árvores entre 01:00h e 05:30h. De 07:00h às 11:00h o estigma está receptivo e o pólen viável. O néctar tem maior concentração de açúcares às 8:30h e volume crescente de 06:30 às 12:30h. Registrou-se a formação de 29 frutos em 2010: AE=9; AI=7; XE=10; GE=2 e PL=1. Em 2011, apenas dois frutos: XE=1 e PL=1. Nas flores, coletou-se 64 insetos entre as ordens Hymenoptera; Hemiptera; e Coleoptera. O polinizador efetivo foi Xylocopa frontalis

Biomonitoramento de abelhas com Pan Traps em um sistema agroflorestal em Tomé-Açu, Pará.

A castanheira-do-brasil, Bertholletia excelsa Humb. (Lecythidaceae) é uma planta de importante interesse econômico na Amazônia que depende da polinização por abelhas nativas e vem sendo usada em sistemas agroflorestais (SAFs) no nordeste paraense há mais de cinco décadas. O presente trabalho teve como objetivo estimar a fauna de abelhas em um SAF com castanheira e comparar com outros sistemas de cultivo da propriedade. Para isso, foi realizado um inventário mensal de abelhas utilizando-se pratos armadilhas ou pan-traps (recipientes de diferentes cores contendo água e gotas de detergente), conhecidos por atraírem alta diversidade desses insetos. Esse trabalho foi realizado na Fazenda Sasahara, localidade Quatro-Bocas, município Tomé-Açu/PA, nos meses de Agosto/2010 a Janeiro/2011. Foram capturados 109 indivíduos distribuídos em 17 espécimes. Com relação à atratividade das cores dos pan-traps, os de coloração azul foram mais eficientes, capturando 88 abelhas, seguido dos amarelos com 16 e dos brancos com cinco indivíduos.Editores técnicos: Roberto Porro, Milton Kanashiro, Maria do Socorro Gonçalves Ferreira, Leila Sobral Sampaio e Gladys Ferreira de Sousa

Differential mesenteric fat deposition in bovines fed on silage or concentrate is independent of glycerol membrane permeability

© The Animal Consortium 2011In the meat industry, the manipulation of fat deposition in cattle is of pivotal importance to improve production efficiency, carcass composition and ultimately meat quality. There is an increasing interest in the identification of key factors and molecular mechanisms responsible for the development of specific fat depots. This study aimed at elucidating the influence of breed and diet on adipose tissue membrane permeability and fluidity and their interplay on fat deposition in bovines. Two Portuguese autochthonous breeds, Alentejana and Barrosã, recognized as late- and early-maturing breeds, respectively, were chosen to examine the effects of breed and diet on fat deposition and on adipose membrane composition and permeability. Twenty-four male bovines from these breeds were fed on silage-based or concentrate-based diets for 11 months. Animals were slaughtered to determine their live slaughter and hot carcass weights, as well as weights of subcutaneous and visceral adipose depots. Mesenteric fat depots were excised and used to isolate adipocyte membrane vesicles where cholesterol content, fatty acid profile as well as permeability and fluidity were determined. Total accumulation of neither subcutaneous nor visceral fat was influenced by breed. In contrast, mesenteric and omental fat depots weights were higher in concentrate-fed bulls relative to silage-fed animals. Membrane fluidity and permeability to water and glycerol in mesenteric adipose tissue were found to be independent of breed and diet. Moreover, the deposition of cholesterol and unsaturated fatty acids, which may influence membrane properties, were unchanged among experimental groups. Adipose membrane lipids from the mesenteric fat depot of ruminants were rich in saturated fatty acids, and unaffected by polyunsaturated fatty acids dietary levels. Our results provide evidence against the involvement of cellular membrane permeability to glycerol on fat accumulation in mesenteric fat tissue of concentrate-fed bovines, which is consistent with the unchanged membrane lipid profile found among experimental groups.This study was supported by Fundação para a Ciência e a Tecnologia (FCT) through grant PTDC/CVT/2006/66114 and individual fellowships to Ana P. Martins (SFRH/BD/2009/65046), Ana S. H. Costa (SFRH/BD/2009/61068) and Susana V. Martins (SFRH/BPD/2009/63019). Paula A. Lopes is a researcher from the program ‘‘Ciência 2008’’ from FC

Biomonitoramento de abelhas com pan traps em plantios de castanheira-do-brasil (Bertholletia excelsa Bonpl., Lecythidaceae) em Tomé-Açu, Pará.

A castanheira-do-brasil, Bertholletia excelsa Humb. (Lecythidaceae), é uma planta cultivada de importante interesse econômico. Suas árvores atingem grandes alturas e possuem ampla distribuição na Floresta Amazônica. O presente trabalho teve como objetivos estimar a fauna de abelhas em um cultivo de castanheira-do-brasil, verificar sua variação durante o ano ou entre anos e constatar se essa difere regionalmente na mesma cultura. As abelhas foram coletadas mensalmente utilizando-se pratos armadilhas ou pan traps (recipientes de diferentes cores contendo água e gotas de detergente), conhecidos por atraírem alta diversidade desses insetos. A pesquisa foi realizada na área da Fazenda Sasahara, localidade Quatro-Bocas, município Tomé-Açu/PA, nos meses de Agosto/2010 a Janeiro/2011. Foram capturados 109 indivíduos distribuídos em 17 espécimes. Com relação à atratividade das cores dos pan traps, os de coloração azul apresentaram maior representatividade com 88 exemplares, seguido dos amarelos com 16 e dos brancos com cinco indivíduos.PIBIC-2011

Biomonitoramento de abelhas euglossina (Apidae, Hymenoptera) em um SAF com castanheira-do-brasil (Bertholletia excelsa Bonpl., Lecythidaceae) em Tomé-Açu, Pará.

A castanha-do-brasil (Bertholletia excelsa) é uma planta nativa da Amazônia e uma das mais importantes espécies de exploração extrativista do Brasil. É uma espécie melitófila, polinizada por abelhas de grande porte, como os Euglossina dos gêneros Eulaema e Eufriesea. O presente trabalho propõe estimar a fauna das abelhas-das-orquídeas (Apidae, Euglossina) em um plantio com castanheira-do-brasil no município de Tomé-Açu, Pará; verificar a variação da apifauna durante o ano e avaliar se essa difere regionalmente na mesma cultura. O estudo foi realizado em um sistema agroflorestal na área da Fazenda Sasahara, Tomé-Açu, Estado do Pará, no período de Agosto/2010 a Março/2011. O monitoramento das abelhas foi realizado com armadilhas aromáticas atrativas aos machos euglossíneos, sendo utilizadas cinco substâncias odoríferas (salicilato de metila, eugenol, eucaliptol, cinamato de metila e vanilina). Foram coletadas 23 espécies e cinco morfoespécies de Euglossina (N=933) pertencentes aos gêneros Euglossa, Eulaema, Eufriesea e Exaerete, e 16 exemplares de Trigona sp. (Meliponina, Apidae). As armadilhas com cineol capturaram maior número de abelhas. O monitoramento demonstrou-se satisfatório, uma vez que as espécies mais frequentes, Eulaema meriana e Eulaema cingulata, atuam como polinizadores da castanha-do-brasil.PIBIC-2011

Requerimentos de polinização e biologia floral da castanheira-do-brasil (Bertholletia excelsa Bonpl., Lecythidaceae) em um SAF em Tomé-Açu, Pará.

A castanheira-do-brasil (Bertholletia excelsa Bonpl.) pertence à família Lecythidaceae predominantemente alógama. Estudos prévios mostram que os polinizadores são abelhas da família Apidae (Bombus, Xylocopa, Eulaema, Epicharis, Centris). Este trabalho teve por objetivo investigar a biologia floral e os requerimentos de polinização dessa espécie em uma propriedade privada em Tomé-Açu/PA, onde predomina o sistema agroflorestal. De setembro/2010 a junho/2011 foi feito o monitoramento fenológico mensal (presença de botões florais, flores, frutos, disseminação de frutos, lançamento de folhas novas e maduras, perda parcial e total de folhas) em 21 árvores, das quais quatro foram usadas nos testes de polinização controlada. Torres de observação de 12 a 20 metros de altura foram montadas para acesso às flores. Quatro tratamentos foram aplicados nos testes de polinização: autopolinização espontânea (AE) autopolinização induzida (AI), xenogamia (XE) e geitonogamia (GE). O controle foi feito com flores deixadas para polinização livre (PL). Todas as inflorescências foram identificadas, mensuradas e protegidas (exceto as de PL). A floração ocorreu de novembro a fevereiro, e a disseminação de frutos de janeiro a fevereiro. A antese aconteceu à 01:00h e a liberação do pólen a partir das 06:30. O néctar é ofertado das 06:30 às 11:30h. Apesar de ser considerada uma planta alógama, houve formação de frutos por autopolinização, como mostraram os resultados de AE (1,6%) e AI (1,06%), bem como nos testes de GE (0,3%). A polinização cruzada (XE) resultou em 1,13% e a PL foi de 0,2%. O polinizador principal foi Xylocopa frontalis.Editores técnicos: Roberto Porro, Milton Kanashiro, Maria do Socorro Gonçalves Ferreira, Leila Sobral Sampaio e Gladys Ferreira de Sousa

SMT-based Model Checking for Recursive Programs

We present an SMT-based symbolic model checking algorithm for safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other SMT-based approaches, it maintains both "over-" and "under-approximations" of procedure summaries. Under-approximations are used to analyze procedure calls without inlining. Over-approximations are used to block infeasible counterexamples and detect convergence to a proof. We show that for programs and properties over a decidable theory, the algorithm is guaranteed to find a counterexample, if one exists. However, efficiency depends on an oracle for quantifier elimination (QE). For Boolean Programs, the algorithm is a polynomial decision procedure, matching the worst-case bounds of the best BDD-based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation of the algorithm by applying QE "lazily". We use existing interpolation techniques to over-approximate QE and introduce "Model Based Projection" to under-approximate QE. Empirical evaluation on SV-COMP benchmarks shows that our algorithm improves significantly on the state-of-the-art.Comment: originally published as part of the proceedings of CAV 2014; fixed typos, better wording at some place