Verified Compilation and the B Method: A Proposal and a First Appraisal

AbstractThis paper investigates the application of the B method beyond the classical algorithmic level provided by the B0 sub-language, and presents refinements of B models at a level of precision equivalent to assembly language. We claim and justify that this extension provides a more reliable software development process as it bypasses two of the less trustable steps in the application of the B method: code synthesis and compilation. The results presented in the paper have a value as a proof of concept and may be used as a basis to establish an agenda for the development of an approach to build verifying compilers [Hoare, C. A. R., The verifying compiler, a grand challenge for computing research, in: VMCAI, 2005, pp. 78–78] based on the B method

Vertebrados silvestres atropelados na rodovia BR-230, Paraíba, Brasil

Os atropelamentos de animais silvestres têm recebido especial atenção dos pesquisadores nos últimos anos por se tratar da causa primária de morte em estradas. Contudo, estudos que abordem o tema ainda são escassos e, geralmente, tratam apenas de mamíferos. Diante disso, este estudo teve o objetivo de monitorar a mortalidade de animais silvestres por atropelamentos no trecho Campina Grande – Patos da BR-230 entre novembro de 2010 e novembro de 2011. Foram realizadas viagens mensais com duração média de 2h, percorrendo-se o trecho de carro. Foi comparado o número de atropelamentos no período seco e chuvoso, geral e por grupo. Os animais atropelados foram identificados até o menor nível taxonômico possível, descartando-se os animais domésticos. Foram registrados 188 espécimes de vertebrados atropelados, sendo Mammalia o mais amostrado (n=108; 57,4%). A espécie mais representativa foi Cerdocyon thous (n=87; 46,5%). O maior número de atropelamentos ocorreu no período seco. Quando comparado por grupo, porém, aves e répteis apresentaram um maior número de atropelamentos durante o período chuvoso. Cerdocyon thous, apresentou taxas de atropelamento maiores que em outros levantamentos realizados no Brasil (87 indivíduos, 46,5%), o que parece ser uma realidade local. Dentre os répteis atropelados, 70% corresponderam a espécies de serpentes, que pode estar relacionado ao deslocamento lento e necessidade de termorregulação desses animais e pelo fato de serem considerados “animais perigosos”, levando ao extermínio intencional

Morfometria e craniometria de Tuim-de-asa-azul (Forpus xanthopterygius Spix, 1824)

O estudo Craniométrico e Prosoprométrico é de grande valia para se estabelecer dados que podem vir a tornar-se chave para identificação da espécie. São escassos na literatura dados morfométricos e descritivos de crânios de psitacídeos. O presente estudo buscou descrever os principais ossos e estabelecer medidas do crânio de “Tuim-de-asa-azul” (Forpus xanthopterygius). Foram utilizadas duas cabeças de exemplares adultos, um macho e uma fêmea, doados pelo Centro de Triagem de Animais Silvestres da Paraíba (CETAS – PB). Estas foram submetidas a maceração e à identificação, caracterização e medição das estruturas e dos ossos componentes de seus respectivos crânios. Apesar do processo natural de fusionamento dos ossos dificultar a identificação dos mesmos, foi possível identificar os ossos frontal, quadrado, arco jugal, maxilar e mandíbula. Estes ossos são característicos e facilmente identificados, servindo como base para localização e identificação dos demais. O comprimento máximo do crânio foi de 29,0 mm e a largura de 16,0 mm. Os dados obtidos servem de base para a caracterização taxonômica da espécie, já que não são encontrados dados na literatura

Infestação parasitária por Spirura sp. em Callithrix jacchus (Linnaeus, 1758): relato de caso

O conhecimento de parasitos gastrintestinais em primatas é importante para o manejo da população de macacos e para a manutenção da saúde das pessoas, pois são animais comuns em cativeiro. O estudo relata um caso de parasitismo por Spirura sp. em um sagui-de-tufos-brancos adulto encontrado na região da Zona da Mata no estado da Paraíba. Foram identificados Spirura sp.na porção final do esôfago de um cadáver de sagui que foi doado para estudo anatômico pelo Centro de Triagem de Animais Silvestres da Paraíba (CETAS- PB)