High Levels of Chromosomal Differentiation in Euchroma gigantea L. 1735 (Coleoptera, Buprestidae)

Euchroma giganteawas karyotypically studied using conventional staining, C-banding, silver nitrate staining and ribosomal fluorescent in situ hybridization (rDNA FISH). Broad wide autosomal polymorphism and a complex sex determination system were found in this beetle. Karyotype complements ranging from 2n = 32, X1X2X3Y1Y2Y3 to 2n = 36,X1X2X3Y1Y2Y3 were detected in the sample analyzed. Punctiform suernumerary chromosomes were present in the different karyotypes. The karyotypic evolution of Brazilian E. giganteamay have taken two directions, reduction in the diploid number of 2n = 36 to 24 through centric fusions or 2n = 24 to 36 due to chromosomal fissions. In addition, pericentric inversions were also involved. The complex multiple sex mechanism of this species seems to be old and well established since it is found in specimens from different populations. Small pericentromeric blocks of constitutive heterochromatin were located on the autosomes and terminal blocks were also found on some small pairs. The sex chromosomes showed larger constitutive heterochromatin blocks. Silver nitrate staining during prophase I of meiosis showed labeling of the sex chromosome chain. However, the rDNA sites could only be precisely determined by FISH, which permitted the identification of these ribosomal sites on chromosomes X1 and X2 of this species

Karyotypic; Characterization of representatives from Melolonthinae (Coleoptera: Scarabaeidae): karyotypic analysis, banding and fluorescent in siyu hybridization (FISH).

The aim study is to investigate the meiotic chromosomes of males of the species Phyllophage (Phytalus) vestita, Phyllophage aff capillata and Lyogenys fuscus using conventional stating, differential chromosome banding techniques and fluorescent in situ hybridization (FISH). the use of these techniques permitted a comparative analysis of the three Melolonthinae species studied

On Deciding Local Theory Extensions via E-matching

Satisfiability Modulo Theories (SMT) solvers incorporate decision procedures for theories of data types that commonly occur in software. This makes them important tools for automating verification problems. A limitation frequently encountered is that verification problems are often not fully expressible in the theories supported natively by the solvers. Many solvers allow the specification of application-specific theories as quantified axioms, but their handling is incomplete outside of narrow special cases. In this work, we show how SMT solvers can be used to obtain complete decision procedures for local theory extensions, an important class of theories that are decidable using finite instantiation of axioms. We present an algorithm that uses E-matching to generate instances incrementally during the search, significantly reducing the number of generated instances compared to eager instantiation strategies. We have used two SMT solvers to implement this algorithm and conducted an extensive experimental evaluation on benchmarks derived from verification conditions for heap-manipulating programs. We believe that our results are of interest to both the users of SMT solvers as well as their developers

Avaliação econômica de três rações utilizadas na alimentação ovinos em confinamento, em um sistema de pesquisa participativa, em Dormentes-PE.

Em função das demandas dos agricultores familiares, a Embrapa Semi-Árido, propôs avaliar três rações concentradas utilizadas na engorda de cordeiros por produtores, no município de Dormentes/PE, na forma de pesquisa participativa, onde o produtor é, também, um experimentador. Foram utilizados 45 machos mestiços da raça Santa Inês com nove meses de idade, distribuídos em três grupos de 15 animais. Os tratamentos consistiram em: Tratamento 1 (MT) = milho e torta de algodão, contendo (16,5% de proteína bruta - PB e 73, 9% de nutrientes digestíveis totais - NDT); Tratamento 2 (MTU) = milho, torta de algodão e uréia (18,1% PB e 77,5% NDT); Tratamento 3 (ST) = sorgo e torta de algodão (14,1% PB e 71,65% NDT) e custos de R$0,54/kg, R$ 0,56/kg e R$ 0,47/kg, respectivamente. Para realizar a análise econômica do experimento buscou-se comparar os tratamentos avaliados, apenas referentes aos custos/receitas (ganhos por animal) das rações concentradas dos três tratamentos. O tratamento 3 (ST), obteve melhor custo/benefício, promovendo receita líquida 26,38% maior que o tratamento 2 (MT), e 41,05% maior que o tratamento 1 (MT). A ração que apresentou melhor resultado custo/benefício foi a que continha sorgo e resíduo, por, na ocasião, apresentar-se mais barata e ter proporcionado um ganho satisfatório, atendendo a demanda de mercado. A escolha dos ingredientes da dieta com base nos preços vigentes é fator determinante na viabilidade econômica na engorda de ovinos para abate

Avaliação econômica e de desempenho de quatro rações utilizadas na engorda de ovinos para o semi-arido.

No eixo Petrolina Juazeiro tem se observado a expansão de restaurantes tipos “Bode Assado” cuja especialidade é a venda de carne ovina. Foi realizada avaliação econômica e desempenho de quatro rações concentradas utilizadas na engorda de ovinos jovens, no município de Dormentes/PE. As dietas foram compostas de fontes volumosas, iguais para todos os tratamentos, rolão de milho (MDPS) e palma forrageira e fontes concentradas variando os ingredientes e as proporções. As rações avaliadas foram “Do Agricultor”; “Do Gordo”; “Embrapa 1” e “Embrapa 2”, promovendo consideráveis ganhos em peso de 176 g, 191 g, 149 g e 164 g por dia, respectivamente, porem os ganhos econômicos diferiram de modo significativo, sendo que a ração “Do Agricultor” obteve receita líquida de R$125,81, para o lote, sendo superior ao “Do Gordo” com R$ 108,26. Com relação ao tratamento ”Embrapa 2”, sua receita líquida foi superior as demais rações, R$140,41 para o lote, sendo mais rentável 11,6$ 95,30, quando comparado com os demais (tabela 1). Considerando um planejamento adequado, as rações de baixo custo e rendimento adequado, tratamento “Embrapa 2”, são estratégias de aumento de rentabilidade. Os arranjos provenientes das experimentações em meio real, através dos agricultores, indicam pistas de grande valor na condução de novas pesquisas que atendam as demandas e realidad

Análise da precipitação e do número de dias de chuva no município de Petrolina - PE.

O objetivo desse estudo foi foi analisar a relação entre o número de dias de chuva e a precipitação no município de Petrolina - PE para gerar informações que possam servir de indicativo para uma utilização mais adequada da água da chuva. Os dados foram obtidos na Estação Meteorológica Convencional de Bebedouro no período de 1987 a 2004. As correlações entre os números de dias de chuva e precipitação foram verificadas pelo teste F ao nível de 5%. Os dados médios apresentaram precipitação anual igual a 520 mm ocorrida em 53 dias. Os meses que apresentaram os maiores valores totais de precipitação foram janeiro, fevereiro e março, cujo total pluviométrico foi 299,0 mm distribuídos em apenas 23 dias ao longo dos três meses. Já o trimestre julho, agosto e setembro é o menos chuvoso, com 13,8 mm em 6 dias. Nos anos de precipitação abaixo da média, existiu uma melhor distribuição temporal das chuvas, ao contrário de quando choveu acima da média, que a precipitação foi mais concentrada no tempo. Houve tendêcia significativa de incremento na precipitação e no número de dias com chuva no primeiro trimestre do ano; enquanto que no segundo e no quarto trimestres, essa tendência é inversa, ou seja, de redução tanto da precipitação como do número de dias de chuva, quando se considera o período de 1987 a 2004, em Bebedouro, Petrolina-PE