Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are used for localizing faults. In this study, a new method for fault localization, in multi-threaded C programs, is proposed. It transforms a multi-threaded program into a corresponding sequential one and then uses a fault-diagnosis method suitable for this type of program, in order to localize faults. The code transformation is implemented with rules and context switch information from counterexamples, which are typically generated by bounded model checkers. Experimental results show that the proposed method is effective, in such a way that sequential fault-localization methods can be extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1

Estrutura genética populacional de bacurizeiros na região Meio-Norte do Brasil.

A região Meio-Norte caracteriza-se pela sua biodiversidade, com destaque para espécies frutíferas nativas, como, por exemplo, o bacurizeiro, cujos frutos são apreciados na alimentação pelas populações locais. A fragmentação e/ou desmatamento que ocorre nessa área causa danos para populações de plantas, afetando a estrutura genética destas. Assim esse estudo verificou a estruturação genética em cinco populações de bacurizeiro dos Estados do Maranhão e Piauí por meio de marcadores entre simples sequências repetidas (ISSR) e da análise de variância molecular. Da diversidade genética total, 28,88% foi dividido entre as populações e 77,16% dentro das populações, portanto há estruturação significativa entre as populações

Relação genética baseada em análises ISSR em bacurizeiros oriundos de Barras - PI.

A utilização do bacurizeiro, uma espécie frutífera, com finalidade madeireira começou a comprometer a variabilidade genética da espécie. Assim, marcadores entre simples sequências repetidas (ISSR) foram usados para caracterizar 15 genótipos de bacurizeiro que compõem à Coleção de Germoplasma da Embrapa Meio-Norte. O coeficiente de distância Euclidiana foi usado para a construção de uma matriz de distância genética e dendrograma. Foram amplificados 226 locos de DNA, utilizando-se 17 primers. Foi obtida uma média de 8,38 de distância entre os genótipos, o que indica uma alta diversidade genética. A maior dissimilaridade foi obtida entre os genótipos BGB 7 e BGB 19 e BGB 7 e BGB 70 (12,77) e podem constituir bons genitores em programas de melhoramento

Existence of solutions for a singular double phase problem involving a ψ\psi-Hilfer Fractional operator via Nehari Manifold

In this present paper, we investigate a new class of singular double phase $p$-Laplacian equation problems with a $\psi$-Hilfer fractional operator combined from a parametric term. Motivated by the fibering method using the Nehari manifold, we discuss the existence of at least two weak solutions to such problems when the parameter is small enough. Before attacking the main contribution, we discuss some results involving the energy functional and the Nehari manifold.Comment: 15 page

Forrageamento de operárias de mandaçaia (Melipona mandacaia): 1. Número de viagens.

Suplemento. Edição dos Resumos do II Seminário Brasileiro de Própolis e Pólen; V Congresso Baiano de Apicultura e Meliponicultura; VII Seminário de Própolis do Nordeste; II Feira da Cadeia Produtiva da Apicultura e Meliponicultura Ilhéus, maio, 2013

Avaliação do peso de ninhos de mandaçaia (Melipona mandacaia) usando dois modelos de colmeias em área de Caatinga, em Petrolina (PE).

A utilização de caixa racional adequada à espécie de abelha sem ferrão facilita o manejo e pode incrementar a produção. No polo Petrolina (PE) ? Juazeiro (BA) a abelha mais criada é a mandaçaia (Melipona mandacaia) e o modelo de colmeia mais usado é o modelo baiano alongado. Entretanto, em outros locais, o modelo preferido é o baiano quadrado. Portanto, o objetivo deste trabalho foi verificar qual formato de caixa é mais eficiente para a produção de mel na região. Foram usados os dois modelos baianos: quadrado e alongado, onde foram colocados ninhos de mandaçaia com características semelhantes. As caixas foram pesadas a cada 15 ou 30 dias, de 05/2012 a 07/2013. Os resultados mostraram que houve maior variação de peso nas caixas alongadas que nas quadradas. Ao se comparar as perdas de peso de cada modelo, o alongado apresentou maior queda (~23%) quando comparado ao quadrado (~4%) (P0,05, Chi-quadrado). Estes resultados ainda não permitem afirmar que o modelo quadrado seja o mais adequado, pois deve-se levar em consideração que o último ano foi extremamente seco o que causou a morte de muitas colônias, que embora tenham sido substituídas, podem ter afetado a análise geral do experimento. Além disso, seria relevante comparar ambos os modelos em boas condições de produção

Características quantitativas da carcaça de ovinos alimentados com dietas compostas por silagens com diferentes proporções de sorgo e girassol.

O objetivo deste experimento foi estudar características quantitativas da carcaça de ovinos terminados em confinamento, recebendo dietas compostas por silagens com diferentes proporções de sorgo e girassol. As dietas experimentais foram constituídas por 60% de volumoso e 40% de concentrado. Foram utilizados 30 cordeiros mestiços Santa Inês, machos não castrados, com média de peso inicial de 19,51 kg. Os animais foram abatidos após 56 dias de confinamento em baias individuais (4,0m2), alimentados com dietas contendo 0; 25; 50; 75 e 100% de silagem de girassol em substituição ao sorgo no volumoso. Não houve efeito significativo para as características de peso vivo ao abate (PVA), peso de corpo vazio (PCV), peso de carcaça quente (PCQ) e peso de carcaça fria (PCF), para os animais que receberam até 75% de silagem de girassol. As médias para as variáveis PVA, PCV, PCQ e PCF foram 33,59; 29,95; 16,14 e 14,83 kg, respectivamente. Os valores obtidos em relação aos rendimentos de carcaça quente e fria, não foram significativos para as dietas com até 100% de silagem de girassol, apresentando valores médios de 48,03 e 44,13%, respectivamente. O rendimento biológico médio foi de 54,24%. A silagem de girassol pode substituir a de sorgo em até 75% do volumoso, sem afetar de maneira significativa, as características quantitativas da carcaça de ovinos terminados em confinamento. Carcass quantitative characteristics of sheeps receiving diets containing different levels of sunflower silage in substitution of sorghum silage Abstract: The objective of this experiment was to study quantitative carcass traits of feedlot lambs fed diets with silages consisted of different proportions of sorghum and sunflower. The experimental diets consisted of 60% roughage and 40% concentrate. A total of 30 male lambs crossbred Santa Inês, non castrated, with initial average weight of 19.51 kg were evaluated. The animals were slaughtered after 56 days in feedlot in individual stalls (4,0m2), fed diets with 0; 25; 50; 75 and 100% of sunflower participation in silage mixed with sorghum. There was not an effect on the characteristics of live weight at slaughter (LWS), empty body weight (EBW), hot carcass weight (HCW) and cold carcass weight (CCW) for the animals that received silage with up to 75% of sunflower participation. The averages for the variables LWS, PCV, HCW and CCW were 33.59; 29.95; 16.14 and 14.83 kg, respectively. The values obtained for the hot and chilled yield were not significant for silages with up to 100% sunflower participation, with average values of 48.03 and 44.13% respectively. The biological average yield was 54.24%. Sunflower can substitute sorghum on silage composition up to 75%, without significantly affect the quantitative characteristics of feedlot lambs carcass