Feature-family-based reliability analysis of software product lines

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017.Contexto: Técnicas de verificação têm sido aplicadas para garantir que sistemas de software atinjam níveis de qualidade desejados e atenda a requisitos funcionais e nãofuncionais. Entretanto a aplicação dessas técnicas de verificação em linhas de produto de software é desafiador devido à explosão combinatorial do número de produtos que uma linha de produtos pode instanciar. As técnicas atuais de verificação de linhas de produtos utilizam model checking simbólico e informações sobre variabilidade para otimizar a análise, mas ainda apresentam limitações que as tornam onerosas ou inviáveis. Em particular, as técnicas de verificação do estado da arte para análise de confiabilidade em linhas de produto são enumerativas o que dificulta a aplicabilidade das mesmas devido à explosão combinatorial do espaço de configurações. Objetivo: Os objetivos dessa tese são os seguintes: (a) apresentar um método eficiente para calcular a confiabilidade de todas as configurações de uma linha de produtos de sotware composicional ou anotacional à partir de seus modelos comportamentais UML, (b) fornecer uma ferramenta que implemente o método proposto e, (c) relatar um estudo empírico comparando o desempenho de diferentes estratégias de análises de confiabilidade para linhas de produto de software. Método: Esse trabalho apresenta uma nova estratégia de análise feature-family-based para calcular a confiabilidade de todos os produtos de uma linha de produtos de software (composicional ou anotacional). O passo feature-based da estratégia divide os modelos comportamentais em unidades menores para que essas possam ser analisadas mais eficientemente. O passo family-based realiza o cálculo de confiabilidade para todas as configurações de uma só vez ao avaliar as expressões de confiabilidade em termos de uma estrutura de dados variacional adequada. Resultados: Os resulstados empíricos mostram que a estratégia feature-family-based para análise de confiabilidade supera, em termos de tempo e espaço, quatro outras estratéfias de análise do estado da arte (product-based, family-based, feature-product-based e family-product-based) para a mesma propriedade. No contexto da avaliação e em comparação com as outras estratégias, a estratégia feature-family-based foi a única capaz de escalar a um crescimento do espaço de configuração da ordem de 220. Conclusões: A estratégia feature-family-based utiliza e se beneficia das estratégias feature- e family- ao domar o crescimento dos tamanhos dos modelos a serem analizados e por evitar a enumeração de produtos inerentes a alguns métodos de análise do estado da arte.Context: Verification techniques are being applied to ensure that software systems achieve desired quality levels and fulfill functional and non-functional requirements. However, applying these techniques to software product lines is challenging, given the exponential blowup of the number of products. Current product-line verification techniques leverage symbolic model checking and variability information to optimize the analysis, but still face limitations that make them costly or infeasible. In particular, state-of-the-art verification techniques for product-line reliability analysis are enumerative which hinders their applicability, given the latent exponential blowup of the configuration space. Objective: The objectives of this thesis are the following: (a) we present a method to eciently compute the reliability of all configurations of a compositional or annotationbased software product line from its UML behavioral models, (b) we provide a tool that implements the proposed method, and (c) we report on an empirical study comparing the performance of dierent reliability analysis strategies for software product lines. Method: We present a novel feature-family-based analysis strategy to compute the reliability of all products of a (compositional or annotation-based) software product line. The feature-based step of our strategy divides the behavioral models into smaller units that can be analyzed more eciently. The family-based step performs the reliability computation for all configurations at once by evaluating reliability expressions in terms of a suitable variational data structure. Results: Our empirical results show that our feature-family-based strategy for reliability analysis outperforms, in terms of time and space, four state-of-the-art strategies (product-based, family-based, feature-product-based, and family-product-based) for the same property. In the evaluation’s context and in comparison with the other evaluation strategies, it is the only one that could be scaled to a 220-fold increase in the size of the configuration space. Conclusion: Our feature-family-based strategy leverages both feature- and familybased strategies by taming the size of the models to be analyzed and by avoiding the products enumeration inherent to some state-of-the-art analysis methods

A INSERÇÃO DO CIRURGIÃO – DENTISTA NO PSF: Revisão sobre as ações e os métodos de avaliação das equipes de saúde bucal

RESUMO: O Programa de Saúde da Família, instituído em 1994 pelo Ministério da Saúde, constitui uma estratégia de reorganização do sistema de atenção à saúde. No entanto, o cirurgião-dentista foi inserido nessa proposta somente em 2000, com a criação das Equipes de Saúde Bucal. O fato de a odontologia não estar presente desde o início possivelmente acarretou prejuízos no processo de integralização dos profissionais e pode ter determinado formas variadas no processo de implantação das ESB. Objetivo: realizar uma revisão critica sobre as ações e os métodos de avaliação realizados pela odontologia dentro do PSF, bem como de propor uma nova forma de avaliação das ações dos profissionais inseridos nesse contexto de trabalho. Para a realização desse estudo será realizada uma pesquisa nas bases de dados Medline, Scielo e BBO.PALAVRAS CHAVE: Odontologia. PSF. Cirurgião-dentista. SUS. Familia

A INSERÇÃO DO CIRURGIÃO – DENTISTA NO PSF: Revisão sobre as ações e os métodos de avaliação das equipes de saúde bucal

RESUMO: O Programa de Saúde da Família, instituído em 1994 pelo Ministério da Saúde, constitui uma estratégia de reorganização do sistema de atenção à saúde. No entanto, o cirurgião-dentista foi inserido nessa proposta somente em 2000, com a criação das Equipes de Saúde Bucal. O fato de a odontologia não estar presente desde o início possivelmente acarretou prejuízos no processo de integralização dos profissionais e pode ter determinado formas variadas no processo de implantação das ESB. Objetivo: realizar uma revisão critica sobre as ações e os métodos de avaliação realizados pela odontologia dentro do PSF, bem como de propor uma nova forma de avaliação das ações dos profissionais inseridos nesse contexto de trabalho. Para a realização desse estudo será realizada uma pesquisa nas bases de dados Medline, Scielo e BBO.PALAVRAS CHAVE: Odontologia. PSF. Cirurgião-dentista. SUS. Familia

Antipsicóticos atípicos e comportamento suicida em pacientes esquizofrênicos ou esquizoafetivos

BACKGROUND: The literature concerning the net effect of atypical antipsychotic medication on suicidality is not consistent. OBJECTIVES: The empirical literature relating to the efficacy of pharmacological intervention with atypical antipsychotics in esquizophrenic or schizo-affective patients is comprehensively reviewed. METHODS: MEDLINE, LILACS and Cochrane Library were used to search for articles from 1964 to 2009 using these key-words: "suicidal behavior" e/ou "suicide" e "atypical antipsychotics" e/ou "antipsychotics" e/ou "clozapine". RESULTS: The strongest and perhaps unique evidence has been shown for clozapine, which seems to have a clinically relevant advantage over other second-generation antipsychotics for reducing suicidality temptation. DISCUSSION: Clozapine is the unique medication that modulates suicidal behavior. Its action is unknown but is not related do clinical improvement. It is the unique drug approved by Food and Drug Administration (FDA) to prevent suicide in esquizophrenic patients but the criteria for his use is uncertain.CONTEXTO: Os estudos a respeito da ação dos antipsicóticos atípicos no comportamento suicida são controversos e pouco explorados. OBJETIVOS: Análise discursiva da ação dos antipsicóticos atípicos no comportamento suicida de pacientes esquizofrênicos ou esquizoafetivos. MÉTODOS: Revisão de artigos nas bases de dados MEDLINE, LILACS e da Biblioteca Cochrane, entre o período de 1964 e 2009, usando as palavras-chave: "suicidal behavior" e/ou "suicide" e "atypical antipsychotics" e/ou "antipsychotics" e/ou "clozapine". RESULTADOS: As únicas evidências significativas positivas apontam para a clozapina, que apresenta uma relevância superior aos outros antipsicóticos de segunda geração na redução das taxas de autoextermínio. CONCLUSÕES: A clozapina é o único fármaco que pode alterar o comportamento suicida. Esse efeito não está associado à melhora clínica dos pacientes. Ela é a única droga aprovada pelo Food and Drug Administration (FDA) para prevenir suicídio em pacientes esquizofrênicos, mas os critérios para esse fim são incertos

IMPERATRIZ, O POVO E A FAMA: a violência imaginária no jornal O Progresso (MA)

O artigo discute a violência no jornal maranhense O Progresso (OP ) a partir das teorias do imaginário (MAFFESOLI, 2001; 2003a; SILVA, 2012). Fundado em 1970, o veículo assume lugar de destaque na produção do discurso que fundamenta a modernização da cidade de Imperatriz. OP encena a violência ao relatar e opinar sobre os crimes, ao mesmo tempo em que procura negar que Imperatriz seja considerada violenta. O semanário reitera a mitologia profissional ao se colocar como instância neutra, mediadora dos fatos e o público. O corpus é composto por 79 ocorrências dos anos de 1970 e 1971. Compreendemos a violência imaginária como um constructo simbólico resultante da ação jornalística sobre a realidade.   PALAVRAS-CHAVE: jornalismo; imaginário; violência; O Progresso; Imperatriz.   ABSTRACT The article discusses the violence in the newspaper O Progresso (OP) from the theories of the imaginary (MAFFESOLI, 2001; 2003a; SILVA, 2012). Founded in 1970, the vehicle takes center stage in the production of the speech that underpins the modernization of the city of Imperatriz. OP enacts violence when reporting and opining about crimes, while at the same time trying to deny that Imperatriz is considered violent. The weekly magazine reiterates the professional mythology when it is placed like neutral instance, mediator of the facts and the public. The corpus is composed of 79 occurrences of the years 1970 and 1971. We understand imaginary violence as a symbolic construct resulting from the journalistic action on reality.   KEYWORDS: journalism; imaginary; violence; O Progresso; Imperatriz.   RESUMEN El artículo discute la violencia en el diario maranhense O Progresso (OP) a partir de las teorías del imaginario (MAFFESOLI, 2001; 2003a; SILVA, 2012). Fundado en 1970, el vehículo asume un lugar destacado en la producción del discurso que fundamenta la modernización de la ciudad de Imperatriz. OP encena la violencia al relatar y opinar sobre los crímenes, al mismo tiempo que busca negar que Imperatriz sea considerada violenta. El semanario reitera la mitología profesional al colocarse como instancia neutra, mediadora de los hechos y el público. El corpus se compone de 79 ocurrencias de los años 1970 y 1971. Comprendemos la violencia imaginaria como un constructo simbólico resultante de la acción periodística sobre la realidad.   PALABRAS CLAVE: Periodismo; imaginario; violencia; O Progresso; Imperatriz

Equipamentos, instalações e protocolos de mensuração de consumo de matéria seca em bovinos

Data of dry matter intake (DMI) individually measured in animals are critical to the feed efficiency (FE) indexes. This information guide the decisions made in breeding programs. Here, the objective was describes the technologies and protocols available to measure the DMI in cattle and the use of these information on genetic evaluations. The electronic identification by radio frequency when coupled with weighing bunks (plus storage of data) can be used for monitoring the DMI throughout the day. When performed at individual pens, the cattle feedlot may change the behavior, performance and, consequently, the FE. Thus, the relevance of data at these housing types can be questioned. Calan-gate is an alternative system for collective pens, however, dominant animals can get access to food of subordinates. In the GrowSafe System it is possible obtained data of DMI plus the time (duration) and frequency (bunk attendance). Studies indicate that changes in DMI are due to interactions and behavior of animals in collective pens. In the context of genetic evaluation, although individual pens (IP) are useful for measuring DMI, this condition is not representative. Data from IP can negatively impact on estimates of heritability for DMI and FE. Several studies have shown that there is moderate to strong genetic correlation between the DMI data and FE indexes, showing considerable variation exists among animals. Thus, genetic selection using these features greatly increase profitability in the beef cattle production system. Additionally, the accuracy and precision in the measurement of DMI are critical in this process.Dados de consumo de matéria seca (CMS) são fundamentais para o cálculo dos índices de eficiência alimentar, os quais norteiam as tomadas de decisões nos programas de seleção genética. Objetivou-se abordar as tecnologias disponíveis para medir o CMS em bovinos, os protocolos de mensuração de consumo, bem como a utilização destes nas avaliações genéticas. Entre as tecnologias, a identificação eletrônica por rádio frequência, acoplada a cochos com pesagem e armazenamento dos dados pode ser usada para o monitoramento do CMS ao longo do dia. Quando feito em baias individuais, o confinamento pode alterar o comportamento, desempenho e eficiência alimentar, e, consequentemente, a relevância dos dados nessas instalações pode ser questionada. O Calan-gate é um equipamento alternativo para baias coletivas, contudo animais dominantes podem conseguir acesso ao alimento dos subordinados. Já o GrowSafe, além de registrar o CMS de cada animal, efetua a medição do tempo (duração) e frequência (quantas vezes o animal frequenta o cocho). Visando qualidade dos dados de CMS e eficiência alimentar, os testes de desempenho devem ter duração mínima de 70 dias, contudo esse tempo pode variar de acordo com as diferenças biológicas entre os animais e variabilidade associada ao erro de medição. Vários trabalhos demonstram que existe de moderada a forte correlação genética entre os dados de CMS e os índices de eficiência alimentar, mostrando que considerável variação para esta característica existe entre os animais. Com isso, a seleção genética utilizando essas características aumentaria consideravelmente a rentabilidade no sistema de produção de bovinos de corte, sendo que a acurácia e precisão na mensuração do CMS são fundamentais nesse processo

Genomic structure and marker-derived gene networks for growth and meat quality traits of Brazilian Nelore beef cattle

Abstract\ud \ud Background\ud Nelore is the major beef cattle breed in Brazil with more than 130 million heads. Genome-wide association studies (GWAS) are often used to associate markers and genomic regions to growth and meat quality traits that can be used to assist selection programs. An alternative methodology to traditional GWAS that involves the construction of gene network interactions, derived from results of several GWAS is the AWM (Association Weight Matrices)/PCIT (Partial Correlation and Information Theory). With the aim of evaluating the genetic architecture of Brazilian Nelore cattle, we used high-density SNP genotyping data (~770,000 SNP) from 780 Nelore animals comprising 34 half-sibling families derived from highly disseminated and unrelated sires from across Brazil. The AWM/PCIT methodology was employed to evaluate the genes that participate in a series of eight phenotypes related to growth and meat quality obtained from this Nelore sample.\ud \ud \ud Results\ud Our results indicate a lack of structuring between the individuals studied since principal component analyses were not able to differentiate families by its sires or by its ancestral lineages. The application of the AWM/PCIT methodology revealed a trio of transcription factors (comprising VDR, LHX9 and ZEB1) which in combination connected 66 genes through 359 edges and whose biological functions were inspected, some revealing to participate in biological growth processes in literature searches.\ud \ud \ud Conclusions\ud The diversity of the Nelore sample studied is not high enough to differentiate among families neither by sires nor by using the available ancestral lineage information. The gene networks constructed from the AWM/PCIT methodology were a useful alternative in characterizing genes and gene networks that were allegedly influential in growth and meat quality traits in Nelore cattle.This study was conducted with funding from EMBRAPA (Macroprograma1,\ud 01/2005) and FAPESP (process number 2012/23638-8). GBM, LLC, LCAR and\ud MMA were granted CNPq fellowships. We thank Sean McWilliam, Marina R. S.\ud Fortes, Edilson Guimaraes, Robson Rodrigues Santiago, Roselito F. da Silva,\ud Fernando F. Cardoso, Flavia Aline Bressani, Wilson Malago Jr., Avelardo U. C.\ud Ferreira, Michel E. B. Yamaguishi and Fabio D. Vieira for the help and\ud technical assistance. The authors would like to acknowledge the\ud collaborative efforts among EMBRAPA, University of Sao Paulo and CSIRO

Pervasive gaps in Amazonian ecological research

Biodiversity loss is one of the main challenges of our time,1,2 and attempts to address it require a clear un derstanding of how ecological communities respond to environmental change across time and space.3,4 While the increasing availability of global databases on ecological communities has advanced our knowledge of biodiversity sensitivity to environmental changes,5–7 vast areas of the tropics remain understudied.8–11 In the American tropics, Amazonia stands out as the world’s most diverse rainforest and the primary source of Neotropical biodiversity,12 but it remains among the least known forests in America and is often underrepre sented in biodiversity databases.13–15 To worsen this situation, human-induced modifications16,17 may elim inate pieces of the Amazon’s biodiversity puzzle before we can use them to understand how ecological com munities are responding. To increase generalization and applicability of biodiversity knowledge,18,19 it is thus crucial to reduce biases in ecological research, particularly in regions projected to face the most pronounced environmental changes. We integrate ecological community metadata of 7,694 sampling sites for multiple or ganism groups in a machine learning model framework to map the research probability across the Brazilian Amazonia, while identifying the region’s vulnerability to environmental change. 15%–18% of the most ne glected areas in ecological research are expected to experience severe climate or land use changes by 2050. This means that unless we take immediate action, we will not be able to establish their current status, much less monitor how it is changing and what is being lostinfo:eu-repo/semantics/publishedVersio