Academic literature on the topic 'Conjuntos de teste completos'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Conjuntos de teste completos.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Conjuntos de teste completos"
1
Pompéia, Sabine, Ângela Tavares Paes, and Orlando Francisco Amodeo Bueno. "Teste de complementação de letras: estímulos para uso no Brasil." Psicologia: Teoria e Pesquisa 19, no. 1 (April 2003): 65–73. http://dx.doi.org/10.1590/s0102-37722003000100009.
Full textAbstract:
Testes de complementação de letras (em inglês ''stem-completion tests'') são amplamente utilizado na literatura internacional para avaliar memória. Não existem no Brasil, porém, trabalhos que propõem estímulos adequados para uso nesse tipo de teste. O objetivo do presente experimento foi selecionar conjuntos de três letras (tríades) que completam palavras em português do Brasil adequadas para maximizar a verificação de memória. Foram obtidos padrões de complementação ao acaso de 137 tríades que completam pelo menos 10 outras palavras comuns em nosso idioma e manipulados fatores que poderiam influenciar nas estimativas de memória usando essas tríades. Verificou-se que, dependendo da probabilidade de complementação das tríades com a palavra mais freqüentemente utilizada ao acaso, não é possível verificar efeitos de memória; ou seja, a taxa de complementação de estímulos familiares (previamente expostos) não é distinguível da linha de base. Foram propostas diretrizes para a seleção de tríades e estímulos adequados para maximizar a obtenção de índices de memória em testes indiretos de complementação.
2
Martins, Ana Paula Marques, Sebastião Do Amaral Machado, Afonso Figueiredo Filho, Ana Paula Dalla Corte, and Maurício Romero Gorenstein. "Efeito da idade na forma do fuste de Araucaria angustifolia na região Centro-Sul do Paraná." Pesquisa Florestal Brasileira 37, no. 90 (June 30, 2017): 109. http://dx.doi.org/10.4336/2017.pfb.37.90.1329.
Full textAbstract:
A evolução da forma do tronco de Araucaria angustifolia (Bertol.) Kuntze foi estudada por meio de funções de afilamento e fatores de forma. Os dados utilizados são objeto de análise de tronco e por filmação de árvores em pé em povoados estabelecidos na região Centro-Sul do Paraná, com uma amostra de 45 árvores. Foram ajustadas quatro funções de afilamento para o conjunto total de dados e para os dados estratificados em classes de idade, sendo construídas como curvas de afilamento para diferentes classes de idade. Foi realizado teste de identidade de modelos para comparar modelos completos com o modelo reduzido. Para avaliar um desenvolvimento dos fatores de forma naturais e artificiais, os mesmos foram calculados para o conjunto de dados em diferentes idades, iniciando aos 5 anos. Uma função de afiliação selecionada para o polinômio de Schöpfer. Foram observadas diferenças significativas entre o modelo reduzido e modelos de modelos, com ligeira vantagem com o uso de equações ajustadas por aulas de idade, além de expressiva na forma do tronco com o aumento da idade, também foi constatada pela estabilização dos valores de Fator de forma aos 22 anos.
3
Francisco, Paulo Roberto Megna, Valneli Da Silva Mello, Maria Marle Bandeira, Fabrício Lopes de Macedo, and Djail Santos. "Discriminação de Cenários Pluviométricos do Estado da Paraíba Utilizando Distribuição Gama Incompleta e Teste Kolmogorov-Smirnov." Revista Brasileira de Geografia Física 9, no. 1 (January 27, 2016): 047. http://dx.doi.org/10.26848/rbgf.v9.1.p047-061.
Full textAbstract:
A incorporação de cenários pluviométricos a estudos de aptidão agrícola é desejável, pois possibilita torná-los ajustados e adequados à variabilidade natural das precipitações e às expectativas pluviométricas dos modelos numéricos de previsão climatológica em uso no Brasil. Devido à importância de conhecer a distribuição das chuvas de uma determinada região, objetiva-se por este trabalho determinar cenários pluviométricos do Estado da Paraíba utilizando o modelo probabilístico distribuição Gama incompleta e o teste de Kolmogorov-Smirnov. Utilizaram-se os totais mensais de precipitações que possuem vinte ou mais anos de observações. Para cada posto pluviométrico, foi estabelecido o total de precipitação pluviométrica registrado nos três meses consecutivos mais chuvosos de cada ano hidrológico completo. Os conjuntos dos anos secos, regulares e chuvosos de cada posto foram utilizados para obter as correspondentes médias mensais dos totais pluviométricos, necessárias para caracterizar os cenários. Para a determinação dos níveis de 25, 50 e 75% de probabilidade de precipitação foi realizado com auxílio do modelo probabilístico de distribuição Gama incompleta e o ajuste das distribuições de foram avaliados pelo teste Kolmogorov-Smirnov a 95% de significância. Para o mapeamento foi utilizado a Krigeagem. Os resultados demonstraram que o uso do modelo probabilístico distribuição Gama incompleta e do teste de Kolmogorov-Smirnov responderam bem aos dados trabalhados apresentando boa coerência; com o uso do método geoestatístico de interpolação de dados pela Krigeagem foi possível mapear os resultados apresentando bons resultados na espacialização dos cenários pluviométricos; os cenários seco, regular e chuvoso apresentaram padrões de valores maiores de probabilidade de ocorrência de chuvas na região do Litoral, Agreste e Brejo, e menores valores na região do Cariri/Curimataú, voltando a aumentar na região do Sertão e Alto Sertão do Estado da Paraíba. A B S T R A C T The incorporation of rainfall scenarios of agricultural aptitude studies is desirable because it allows make them adjusted and appropriate to the natural variability of rainfall and rainfall expectations of numerical models of climatological forecast in use in Brazil. Due to the importance of knowing the distribution of rainfall in a given region, the objective is for this work to determine rainfall scenarios of the State of Paraíba using the probabilistic model incomplete distribution range and the Kolmogorov-Smirnov test. They used the monthly totals of precipitation that have twenty or more years of observations. For each rainfall station, it was established the total rainfall recorded in three consecutive months rainiest of each full hydrological year. The sets of dry, regular and rainy years each station were used to obtain the corresponding monthly average of total rainfall, needed to characterize the scenarios. To determine the levels of 25, 50 and 75% probability of precipitation was carried out with the help of probabilistic distribution model incomplete range and adjusting the distributions were evaluated by the Kolmogorov-Smirnov test at 95% significance level. For mapping was used to Kriging. The results showed that the use of probabilistic model incomplete distribution range and the Kolmogorov-Smirnov test responded well to raw data showing good consistency; using the Kriging geostatistical method for data interpolation was possible to map the results showing good results in the spatial distribution of rainfall scenarios; the dry scenarios, regular and rainy had higher standards of probability of rain in the Litoral region, Agreste and Brejo, and lower values in the Cariri/Curimataú region and to increase further in the Sertão region and Alto Sertão of the State Paraíba. Keywords: Climatology, statistics, adherence test, kriging.
4
Oliveira, Mauricio Pagy de Calais, Luiz Cláudio de Moura França, Marcelo Gonçalves Ruggani, Luiz Olímpio Garcia Pedrosa, Bruno Pinto Coelho Fontes, Rodrigo D'Alessandro de Macedo, Rafael Gonçalves Duarte, and Marcelo Gonçalves Pereira Duarte. "Estudo biomecânico comparativo da resistência a forças de compressão entre os parafusos pediculares poliaxiais com travamento tipo Dytech® e parafusos pediculares poliaxiais com travamento tipo Lock 1®." Coluna/Columna 9, no. 3 (September 2010): 265–70. http://dx.doi.org/10.1590/s1808-18512010000300003.
Full textAbstract:
OBJETIVO: Comparar a rigidez de um sistema de fixação pedicular composto por parafusos pediculares poliaxiais de travamento tipo Dytech® com outro composto por parafusos pediculares poliaxiais com travamento do tipo Lock 1®, submetidos a forças de compressão. MÉTODOS: A amostra utilizada para avaliar os sistemas de fixação respeitou as regras do padrão formulado pela American Society for Testing Materials (ASTM) no ensaio F1717-04. Os modelos foram divididos em: Grupo 1, composto pelos ensaios de parafusos poliaxiais com sistema Dytech® de travamento, e o Grupo 2, formado por parafusos poliaxiais com travamento tipo Lock 1®. Foram testados três conjuntos completos montados. Cada sistema foi testado uma única vez por ser esse um ensaio destrutivo. O instrumental implantado foi produzido com titânio de mesma origem. Os grupos experimentais foram submetidos a testes mecânicos na máquina universal de ensaios EMIC, modelo EMIC DL 10000®. RESULTADOS: Os resultados de compressão nas amostras do Grupo 1 tiveram uma carga máxima média de 967,17 N e carga de escoamento média de 804,71 N. Nas amostras do Grupo 2 tivemos uma carga máxima média de 906,04 N e carga de escoamento média de 834,56 N. A respeito da integridade dos instrumentais metálicos usados, não foi observado nenhum tipo de escorregamento ou soltura de porcas, parafusos ou outros componentes. CONCLUSÃO: O sistema de parafusos poliaxiais com travamento tipo Dytech® apresentou valores de rigidez maiores, enquanto o sistema de parafusos com travamento tipo Lock 1® mostrou deslocamento máximo maior.
5
Florindo, Alex Antonio, Maria do Rosário Dias de Oliveira Latorre, Tomoe Tanaka, Patrícia Constante Jaime, and Cristiano Augusto de Freitas Zerbini. "Fatores associados à prática de exercícios físicos em homens voluntários adultos e idosos residentes na Grande São Paulo, Brasil." Revista Brasileira de Epidemiologia 4, no. 2 (August 2001): 105–13. http://dx.doi.org/10.1590/s1415-790x2001000200005.
Full textAbstract:
O objetivo deste estudo foi verificar os fatores associados à prática de exercícios físicos em homens adultos e idosos residentes na grande São Paulo. O estudo foi transversal e a população constou de 326 homens voluntários, avaliados no Hospital Heliópolis em São Paulo. As variáveis de estudo foram a prática de exercícios físicos (PEF) dos últimos 12 meses (variável dependente), e idade, nível de escolaridade, prática de exercícios físicos no período de 10 a 30 anos, cor da pele, estado civil, tabagismo, ingestão de bebidas alcoólicas, ocupação e índice de massa corporal foram as variáveis independentes. A análise univariada foi realizada através do teste de chi2 e regressão logística simples e a análise conjunta através de regressão logística múltipla. A variável que melhor explicou a PEF foi o nível de escolaridade. Depois do ajuste por tabagismo, idade e IMC, os homens com ensino fundamental e médio completos mostraram maior chance de PEF (OR=4,56; IC95%=1,66-12,50), o mesmo acontecendo com homens com ensino superior (OR=8,39; IC95%=1,83-38,42), quando comparados com homens com escolaridade até ensino fundamental incompleto. Estes resultados são importantes para as políticas públicas de implantação e implementação de programas de exercícios físicos, mostrando ser de fundamental importância programas que objetivem atingir a população masculina de adultos e idosos com baixa escolaridade na grande São Paulo.
6
SILVA, Luciana da. "A Rouparia da casa e a manutenção de costumes ibéricos em São Paulo no século XVII." Varia Historia 37, no. 73 (April 2021): 53–83. http://dx.doi.org/10.1590/0104-87752021000100003.
Full textAbstract:
Resumo Neste artigo discutiremos a presença e a importância da rouparia da casa nos domicílios da vila de São Paulo e arredores, entre 1596 e 1640, com base no estudo de 130 inventários post mortem, a partir da perspectiva de análise da cultura material. O objetivo é compreender aspectos da relação entre a manutenção de costumes de matriz ibérica e esses artefatos têxteis numa região do Império e num período marcados por uma forte adesão à elementos culturais indígenas. Para tanto, o interior da casa será brevemente delineado, dando a conhecer traços relevantes dos conjuntos de objetos que o preenchiam, de acordo com diferentes níveis de fortuna. Composto esse breve panorama, os conjuntos de rouparia da casa serão analisados, quantitativa e qualitativamente. Os conjuntos mais ricos, por serem os mais diversificados e completos, serão apresentados como estudos de casos, a partir dos quais observaremos importantes aspectos de como os itens dessa categoria de artefatos em escrutínio eram compostos e usados e o que eles significavam no cotidiano do período em questão.
7
Pereira, Fabiane Da Silva, Grauben J. Osé Alves de Assis, Francisco Xavier Palheta Neto, and Ana Claudia Moreira Almeida Verdu. "Emergência de nomeação bidirecional em criança com implante coclear via Instrução com Múltiplos Exemplares (MEI)." Revista Brasileira de Terapia Comportamental e Cognitiva 20, no. 2 (September 4, 2018): 23–36. http://dx.doi.org/10.31505/rbtcc.v20i2.1178.
Full textAbstract:
Este estudo teve como objetivo verificar o número de exposições necessárias ao procedimento de Instrução com Múltiplos exemplares (MEI) para a emergência do repertório de nomeação bidirecional em uma menina de 13 anos com implante coclear há 1 ano. O estudo foi delineado com três conjuntos de cinco figuras como estímulos visuais e seus respectivos nomes como estímulos auditivos em quatro fases: 1) avaliação dos repertórios de falante e ouvinte; 2) treino de ouvinte e teste de nomeação bidirecional; 3) treino de MEI; 4) novo teste de nomeação bidirecional. Com os conjuntos de estímulos 1 e 2, o treino de ouvinte não garantiu a emergência de tato; o tato somente foi obtido após o MEI, que, ao longo de sucessivas sessões, sobrepôs as porcentagens de acertos de ouvinte (mais altas) com as de tato (mais baixas) após duas exposições. O treino de ouvinte foi suficiente para a emergência de tato com o conjunto 3 após a exposição ao MEI com dois conjuntos de estímulos. Discute-se que o MEI favoreceu o controle compartilhado de estímulos e a emergência da nomeação bidirecional (ouvir e apontar figura; nomear a figura com topografia vocal com correspondência pontual à ouvida).
8
Pérez, Carlos Andrés. "HERRAMIENTA BIOINFORMÁTICA BAJO PERL Y LINUX, PARA LA DETERMINACIÓN DE PATRONES DE ADN, IMPLICADOS EN LA REGULACIÓN TRANSCRIPCIONAL DE LOS GENES." Ingenium 4, no. 8 (February 28, 2009): 99. http://dx.doi.org/10.21774/ing.v4i8.133.
Full textAbstract:
El presente artículo expone un programa elaborado en PERL y ejecutado bajo Linux, que permite extraer secuencias flanqueadoras de genes de genomas completos de procariotas y compararlas entre sí, con el objetivo de encontrar posibles secuencias comunes de unión a factores de transcripción (proteínas que regulan la transcripción luego de una translocación nuclear debido a una interacción específica con ADN o por una interacción estequiométrica con una proteína que puede unirse al complejo secuencia- ADN específico-proteína1). Los conjuntos de genes se han organizado a partir de experimentos de micro arreglos de ADN.
9
Vargas Valadares, Fernanda, Laricia Olaria Emerick Silva, Rafael Nunes De Almeida, José Dias de Souza Neto, Ana Paula Candido Gabriel Berilli, and Monique Moreira Moulin. "DESEMPENHO AGRONÔMICO DE IRMÃOS COMPLETOS DE MILHO." Revista Univap 22, no. 40 (February 3, 2017): 460. http://dx.doi.org/10.18066/revistaunivap.v22i40.1039.
Full textAbstract:
A cultura do milho constitui-se em um dos produtos agrícolas de grande importância para o Brasil, sobretudo para o mercado interno. O objetivo da pesquisa foi realizar a caracterização morfoagronômica e estimar os parâmetros genéticos das famílias de irmãos completos de milho. A pesquisa foi realizada no Ifes Campus de Alegre, com 120 famílias de irmãos completos que foram avaliadas em delineamento em blocos ao acaso com arranjo em sets, com duas repetições. Foram avaliadas treze características morfoagronômicas e após foi realizada análise estatística dos dados. Os coeficientes de variação da maioria dos caracteres foram considerados baixos e médios, pelo teste F em 5% de probabilidade constatou-se a presença de variabilidade genética entre os genótipos. As famílias de irmãos completos apresentaram ampla variabilidade genética, podendo-se assim selecionar genótipos superiores para serem recombinados na próxima etapa da seleção recorrente.
10
Araújo, Sérgio Roberto, Fábio De Oliveira Sanches, and Ricardo Vicente Ferreira. "Metodologia para validação de dados trmm para Uberaba (MG)." ENTRE-LUGAR 8, no. 16 (December 13, 2017): 131–41. http://dx.doi.org/10.30612/el.v8i16.8084.
Full textAbstract:
Estimativas de chuvas feitas por satélites têm contribuído para ampliar a cobertura de dados climatológicos em países de dimensões continentais como o Brasil. No entanto, a precisão de seus dados ainda é questionável quando comparados aos dados coletados em superfície. O objetivo do trabalho foi avaliar a qualidade dos dados estimados pelo satélite TRMM para Uberaba (MG) a partir de dados observados em superfície. A aplicação da estatística descritiva (Média, Mediana, Amplitude, Desvio Padrão e Coeficiente de Variação) e análise Box Plot em ambos os conjuntos de dados demonstrou forte similaridade. A Correlação de Pearson demonstrou que ambos os conjuntos de dados apresentam elevado nível de similaridade (R²=0,994). O Teste t de Student demonstrou que ambos os conjuntos de dados são, estatisticamente, homogêneos. Sendo assim, os resultados demonstraram excelente qualidade dos dados estimados pelo TRMM para Uberaba (MG) quando comparados aos dados observados.
Dissertations / Theses on the topic "Conjuntos de teste completos"
1
Paiva, Sofia Larissa da Costa. "Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/.
Full textAbstract:
O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.
2
Torres, Rafael Siqueira. "Segmentação semiautomática de conjuntos completos de imagens do ventrículo esquerdo." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17112017-121645/.
Full textAbstract:
A área médica tem se beneficiado das ferramentas construídas pela Computação e, ao mesmo tempo, tem impulsionado o desenvolvimento de novas técnicas em diversas especialidades da Computação. Dentre estas técnicas a segmentação tem como objetivo separar em uma imagem objetos de interesse, podendo chamar a atenção do profissional de saúde para áreas de relevância ao diagnóstico. Além disso, os resultados da segmentação podem ser utilizados para a reconstrução de modelos tridimensionais, que podem ter características extraídas que auxiliem o médico em tomadas de decisão. No entanto, a segmentação de imagens médicas ainda é um desafio, por ser extremamente dependente da aplicação e das estruturas de interesse presentes na imagem. Esta dissertação apresenta uma técnica de segmentação semiautomática do endocárdio do ventrículo esquerdo em conjuntos de imagens cardíacas de Ressonância Magnética Nuclear. A principal contribuição é a segmentação considerando todas as imagens provenientes de um exame, por meio da propagação dos resultados obtidos em imagens anteriormente processadas. Os resultados da segmentação são avaliados usando-se métricas objetivas como overlap, entre outras, comparando com imagens fornecidas por especialistas na área de CardiologiaThe medical field has been benefited from the tools built by Computing and has promote the development of new techniques in diverse Computer specialties. Among these techniques, the segmentation aims to divide an image into interest objects, leading the attention of the specialist to areas that are relevant in diagnosys. In addition, segmentation results can be used for the reconstruction of three-dimensional models, which may have extracted features that assist the physician in decision making. However, the segmentation of medical images is still a challenge because it is extremely dependent on the application and structures of interest present in the image. This dissertation presents a semiautomatic segmentation technique of the left ventricular endocardium in sets of cardiac images of Nuclear Magnetic Resonance. The main contribution is the segmentation considering all the images coming from an examination, through the propagation of the results obtained in previously processed images. Segmentation results are evaluated using objective metrics such as overlap, among others, compared to images provided by specialists in the Cardiology field
3
Santos, Bruno Mendonça Rey dos. "Os sistemas completos de desigualdades propostos por Santaló." Universidade Federal de São Carlos, 2007. https://repositorio.ufscar.br/handle/ufscar/5845.
Full textAbstract:
Made available in DSpace on 2016-06-02T20:28:22Z (GMT). No. of bitstreams: 1
DissBMRS.pdf: 1154928 bytes, checksum: 924e6444b56d0ec4a8d35192450c515c (MD5)
Previous issue date: 2007-03-20Financiadora de Estudos e Projetos
In 1961, Santaló[21] suggested that, considering the family of the convex bodies in R2, it was found a complete system of inequalities for each pair and each triple of the functions area, perimeter, diameter, inradius, circunradius and minimal width. In this work, we applied the technique developed by Blaschke[2] to solve all problems suggested by Santaló, those are solved until now.
Santaló propôs (em [21]) que, fixada a família C dos corpos convexos de R2, fosse encontrado um sistema completo de desigualdades para cada par e cada tripla das funções área, perímetro, diâmetro, inraio, circunraio e largura mínima. Neste trabalho, estudamos a aplicação da técnica desenvolvida por Blaschke na resolução dos problemas propostos por Santaló que, até hoje, já se encontram solucionados.
4
Oliveira, Rommel Teodoro de. "Sobre conjuntos dominantes eficientes em grafos." Universidade Federal de Goiás, 2009. http://repositorio.bc.ufg.br/tede/handle/tde/2901.
Full textAbstract:
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-12T15:13:32Z
No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
dissertacao rommel cc.pdf: 1665635 bytes, checksum: 9f894f847272036c011387e2de71507f (MD5)Made available in DSpace on 2014-08-12T15:13:32Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) dissertacao rommel cc.pdf: 1665635 bytes, checksum: 9f894f847272036c011387e2de71507f (MD5) Previous issue date: 2009-03-12
Given a graph G = (V;E) and a set of vertices D V, a vertice v 2 V is dominated by D if jN[v] \ Dj 1. When jN(v) \ Dj = 1 for all v 2 V, G is efficiently dominable. A generalization of this concept is called efficient multiple domination, which requires all vertices must be dominated by a set D V exactly k times. The aim of this dissertation is to study these topics, describing the theoretical knowledge needed for advanced researches. For this reason, many of the theorems and its proofs are detailed. Furthermore, some results on the efficient multiple domination are presented, including bounds for the size of efficient k-dominating sets, the complement and iterated line graphs of efficiently (r + 1)-dominable r-regular graphs and a N P-completeness proof for the efficient multiple domination problem in arbitrary graphs. It is expected that this work contribute to the development of future researches on the efficient domination and in the resolution of some open problems.
Dado um grafo G = (V;E) e um subconjunto de vértices D V, define-se D como um conjunto dominante de G se todo vértice v 2 V que não estiver incluído no conjunto D for adjacente a pelo menos um vértice de D. Na situação em que, para todo v 2 V, jN[v]\Dj = 1, diz-se que o grafo G é eficientemente dominado. Uma generalização desse conceito consiste na múltipla dominação eficiente, em que é requerido que todo vértice do grafo seja dominado exatamente k vezes. O objetivo deste trabalho é realizar um estudo exploratório sobre esses temas, de modo a reunir o conhecimento teórico requerido para pesquisas avançadas. Para isso, buscou-se a apresentação e o detalhamento das demonstrações dos teoremas estudados. Além disso, foram fornecidos alguns resultados sobre a múltipla dominação eficiente no que se refere aos limites para o tamanho de um conjunto k-dominante eficiente, à relação da k-dominação eficiente entre grafos regulares, seu complemento e seus grafos linha iterados, bem como à caracterização da N P-completude para o problema da múltipla dominação eficiente em grafos arbitrários. Espera-se que esta dissertação forneça subsídios teóricos para estudos futuros voltados à dominação eficiente, bem como à resolução de algumas questões em aberto.
5
Neto, Lúcio Felippe de Mello. "Minimização de conjuntos de casos de teste para máquinas de estados finitos." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/.
Full textAbstract:
O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitosTHE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can be feasible. For practical reasons, the application of the generated test suite may not be possible. Therefore, a subset of test cases should be selected, i.e., a test suite minimization should be performed. However, it is important that the minimization reduces the test application cost, but keeps the effectiveness in revealing faults. In this work, an algorithm is proposed for the minimization of test suites generated from Finite State Machines. The algorithm is based on sufficient conditions, so that test suite completeness can be maintained. The algorithm was used in two different contexts. It was used with randomly generated test suites to verify the minimization obtained. The algorithm was also used to reduce the effort of obtaining a test suite with full fault coverage
6
Rodrigues, Andrigo. "Análise estatística na avaliação de teste de degradação acelerada de conjuntos cerâmicos em fachadas." reponame:Repositório Institucional da UNESC, 2015. http://repositorio.unesc.net/handle/1/4376.
Full textAbstract:
Dissertação de Mestrado apresentada ao Programa de Pós-Graduação em Ciência e Engenharia de Materiais, da Universidade do Extremo Sul Catarinense - UNESC, como requisito para a obtenção do título de Mestre em Ciência e Engenharia de Materiais.A produção e o consumo de revestimentos cerâmicos vêm aumentando nos últimos anos no Brasil, sendo sua aplicação, juntamente com a argamassa, os componentes do sistema de revestimento cerâmico mais utilizados no país. Uma das patologias mais graves e encontradas com frequência nos revestimentos cerâmicos de fachada é o destacamento, ocorrendo devido a sua exposição a vários fatores degradantes, como radiação, variações de temperatura e umidade. Desta forma, o presente estudo tem como objetivo estudar a variação média das resistências de aderência à tração da argamassa utilizada em conjuntos cerâmicos de fachadas, submetidos a condições saturadas de umidade e variação de temperatura. O estudo foi possível de ser realizado utilizando-se uma máquina de envelhecimento acelerado, desenvolvida pelo PPGCEM/UNESC. Os corpos de prova foram preparados com materiais padrão e disponíveis no mercado, sendo eles o substrato de cimento padronizado da ABCP, argamassa do tipo ACIII e placa cerâmica do tipo semi grés (classe BIIa). Ao todo, 16 corpos de prova foram preparados seguindo as normas ABNT NBR e em cada corpo de prova foram assentadas 8 peças cerâmicas. Dos 16 corpos de prova, 10 foram colocados dentro da máquina de envelhecimento acelerado e submetidos a cinco tempos de exposição aos ciclos que alternavam a umidade e a variação de temperatura a cada 65 minutos, simulando o tempo total de 40 anos de uso do sistema de fachada. Os 6 corpos de prova restantes não foram expostos à degradação acelerada. A variável resposta do estudo é a resistência de aderência à tração, medida com dinamômetro digital. Todos os testes estatísticos foram aplicados com um nível de significância () de 5%. Os resultados observados na Análise de Variância (ANOVA) demonstraram que o tempo de exposição das peças cerâmicas submetidas à variação de temperatura e umidade influenciou na variação dos valores de resistência de aderência à tração (p-valor = 0,000). Através do teste de Tukey foi possível observar diferenças significativas entre algumas resistências médias das peças expostas a 33, 66, 99, 132 e 165 dias de envelhecimento acelerado, quando comparadas ciclo a ciclo. Todos os resultados estão detalhados no estudo. Quando comparadas as resistências médias das peças cerâmicas expostas à degradação acelerada com as resistências médias das peças que não foram expostas à degradação, não houve diferença significativa, reforçando a recomendação da ABNT NBR 14081-1 (ABNT, 2012), de que a argamassa ACIII é a mais recomendada para aplicação em revestimentos cerâmicos de fachadas.
7
Cutigi, Jorge Francisco. "Uma estratégia para redução de conjuntos de sequências de teste para máquinas de estados finitos." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/.
Full textAbstract:
O teste baseado em modelos visa à derivação de casos de teste a partir de modelos produzidos ao longo do desenvolvimento de software. Nesse contexto, as Máquinas de Estados Finitos têm sido amplamente pesquisadas e utilizadas para derivação de seqüências de teste. Para isso, vários métodos de geração de seqüências de teste têm sido desenvolvidos há várias décadas. O objetivo desses métodos é a obtenção de um conjunto de teste que seja capaz de revelar os defeitos de uma implementação. Entretanto, muitas vezes os conjuntos gerados são muito grandes, o que torna sua aplicação inviável. Trabalhos recentes definiram condições que podem ser utilizadas para investigar mecanismos de redução de casos de teste. Este trabalho apresenta uma estratégia para a redução de conjuntos de seqüências de teste a partir de Máquinas de Estados Finitos com base em condições de suficiência. A estratégia baseia-se na combinação de seqüências de um conjunto de teste, de forma a reduzir o número de seqüências e o tamanho delas, mantendo a completude do conjunto. São apresentadas seis abordagens de redução baseadas na estratégia proposta, as quais foram implementadas em uma ferramenta. Para avaliar as abordagens foram conduzidos estudos experimentais, os quais também serviram para inferir sobre as características e propriedades de cada abordagem. Além disso, um estudo de caso com MEFs reais também foi realizadoModel-based testing aims at generating test cases from models produced along the software development process. In this context, Finite State Machines (FSM) have been largely investigated and used for generating test sequences. In the past decades, several test generation methods have been proposed to obtain test suites that are able to reveal implementation faults. Nevertheless, most of the generated test suites are huge, thus hindering their application in practice. Recent research has defined new sufficient conditions that can be employed in mechanisms for reducing the length of test sequences. This work presents a strategy based on sufficient conditions for reducing the length of test cases derived from FSMs. Our strategy is based on sequence combination of a test suite, aiming to reduce the number of sequences and their length, however still keeping full fault coverage. Six reduction approaches are presented based on the proposed strategy and implemented in a tool. In order to evaluate the strategy, we conducted experimental studies that identified characteristics and properties for each of the six proposed approaches. Moreover, a case study with real-world FSMs was performed
8
Bonifácio, Adilson Luiz. "Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275847.
Full textAbstract:
Orientador: Arnaldo Vieira MouraTese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-15T05:28:23Z (GMT). No. of bitstreams: 1 Bonifacio_AdilsonLuiz_D.pdf: 1228504 bytes, checksum: 62db4b0286cfd1c735336e429629b3de (MD5) Previous issue date: 2009
Resumo: O objetivo deste trabalho é prover métodos eficientes de geração de casos de teste para sistemas reativos críticos. Sistemas dessa natureza compreendem sistemas de tempo real e com transformações de contexto. Uma das técnicas mais usadas na geração de conjuntos de teste tem sido a abordagem baseada em modelos formais. Neste caso, os formalismos fornecem uma base sólida para que a atividade de teste seja efetuada de forma precisa e segura. Este trabalho propõe a construção de modelos formais, métodos e técnicas, bem como estratégias de teste, para dar suporte ao processo de geração automática de conjuntos de teste, aplicáveis a sistemas complexos. Porém, o processo de geração de testes baseado em modelos se torna, muitas vezes, impraticável em aplicações reais, devido ao problema da explosão combinatória de estados. Daí a necessidade de se encontrar modelos adequados que capturem o comportamento desejado dos sistemas a serem testados, bem como a importância de se construir métodos que contornem o problema da explosão do espaço de estado, de maneira razoável, permitindo que a geração de testes seja um processo aplicável a sistemas complexos. Entre os modelos abordados neste trabalho estão: (i) as tradicionais Máquinas de Estados Finito (FSM); (ii) uma extensão das FSMusando variáveis de contexto, as Máquinas de Estados Finito Estendida (EFSM); (iii) a extensão temporizada de EFSM (TEFSM), que possui, não apenas variáveis de contexto, mas também variáveis relógio; (iv) os modelos temporizados com entradas e saídas independentes, conhecidos como Timed I/O Automata (TIOA); e (v) uma extensão proposta para TIOA, denominado Timed I/O Context Automata (TIOCA), para compreender a evolução contínua de tempo e também as transformações de contexto. Com relação a geração de testes baseada em tais modelos, foi proposto, primeiramente, uma técnica de derivação de sequências de confirmação para TEFSM, usando model-checking. Em seguida, foi proposta uma generalização para um método de geração de conjuntos completos de teste usando FSM. Também foi desenvolvido um novo método de discretização do modelo TIOA, provendo a base necessária para a geração de casos de teste usando os conceitos de proposta de teste e produto síncrono. Por fim, foi desenvolvida uma extensão do método de discretização para TIOA também proposto neste trabalho, aplicado ao modelo TIOCA, permitindo a geração de testes em sistemas com evolução contínua de tempo e fluxo de dados, usando os conceitos de proposta de teste e produto de TIOCA
Abstract: This work aims to provide efficient test case generation methods for reactive and critical systems. In general, reactive and critical systems are real-time systems with context transformations. One of the most promising techniques for generating test suites is model-based testing. The formalisms supply the basis to perform a precise and dependable testing activity. In this scenery, our work proposes a construction of formal models, methods and techniques, as well as testing strategies, to support the process of automatically generating test suites for complex systems. However, the test generation process using formal models is usually infeasible in real applications, due to the state space explosion. Therefore, we need to find out suitable models to capture the system behaviors, and also to construct methods that can overcome the explosion problem, in a reasonable way, allowing the generation of test suites for complex systems. In this work we treat the following formal models: the conventional FSM; an extension of FSM using context variables (EFSM); the proposed extension of EFSM (TEFSM) to capture context variables and also clock variables; timed models, with disassociated input and output actions, called TIOA; and the proposed extension for TIOA, so-called TIOCA, to capture continuous time evolution and context transformations. In a first step of this work we proposed a technique to derive confirming sequences for TEFSM, using model-checking. Next, a classical method to generate complete test suites was generalized for FSM.We also proposed a new discretizationmethod for TIOA models, allowing the test case generation using test purpose and the synchronous product. Lastly, we extended the discretization method for TIOA to obtain more compact grid automata for TIOCA models, allowing the test case generation for systems with continuous time evolution and data flow transformations, using the notion of test purpose and the product of TIOCA
Doutorado
Teoria da Computação e Teste de Sistemas
Doutor em Ciência da Computação
9
RINCON, André Mesquita. "Qualidade de conjuntos de teste de software de código aberto: uma análise baseada em critérios estruturais." Universidade Federal de Goiás, 2011. http://repositorio.bc.ufg.br/tede/handle/tde/510.
Full textAbstract:
Made available in DSpace on 2014-07-29T14:57:48Z (GMT). No. of bitstreams: 1
Dissertacao Andre Mesquita Rincon.pdf: 2371244 bytes, checksum: 7b92b62de0f555c3a97f1a973bcf5601 (MD5)
Previous issue date: 2011-04-19The QualiPSo Project (Quality Platform for Open Source Software) has as goal to investigate Free/Libre/Open Source Software (FLOSS) products to define quality requirements that are important to set the products reliability. One of the QualiPSo Project activities is to evaluate the quality of the developed test sets by the FLOSS community. This work is part of the QualiPso Project and shows the results of the use of structural test criteria as a functional test sets quality measure to identify the state-of-the-practice of performed test activities by free software communities. Furthermore, this work contributes to establish an incremental test strategy to improve the test sets.
O projeto QualiPSo (Quality Platform for Open Source Software) tem por objetivo investigar produtos de software de código gratuito/livre/aberto (Free/Libre/Open Source Software FLOSS) para definir requisitos de qualidade que são importantes para se estabelecer a confiabilidade desses produtos. Uma das atividades do projeto QualiPSo visa avaliar a qualidade de conjuntos de teste desenvolvidos pelas comunidades de software livre. Esta dissertação de mestrado está inserida neste contexto e apresenta os resultados do emprego de critérios de teste estruturais como uma medida da qualidade de conjuntos de teste funcionais visando a identificar o estado-da-prática das atividades de teste desempenhadas pelas comunidades de software livre, bem como, a contribuir no estabelecimento de uma estratégia de teste incremental para evoluir os conjuntos de testes.
10
Lemos, Otávio Augusto Lazzarini. "Teste estrutural de integração de programas orientados a aspectos: uma abordagem baseada em conjuntos de junção para AspectJ." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20052009-095641/.
Full textAbstract:
A Programação Orientada a Aspectos (POA) é uma técnica de desenvolvimento que apoia a separação de interesses transversais. Na POA, adendos são aplicados a pontos de junção do sistema por meio de uma construção especial chamada descritor de conjuntos de junção (ou simplesmente conjunto de junção). Esse mecanismo apoia a modularização de comportamentos transversais, entretanto, como as interações adicionadas não ficam explícitas no código-fonte, é difícil assegurar que estão corretas. Para lidar com esse problema, nesta tese é proposta uma abordagem rigorosa de teste estrutural de integração para programas orientados a aspectos. É definido um modelo de fluxo de controle e de dados baseado no bytecode Java chamado Grafo Def-Uso baseado em conjuntos de junção (ou PointCut-based Def-Use graph, PCDU) que modela as regiões de execução de um programa escrito em AspectJ que são afetadas por um conjunto de junção. Sobre este modelo são definidos três critérios de teste: todos-nós-baseados-em-conjunto-de-junção, todas-arestas-baseadas-em-conjunto-de-junção e todos-usos-baseados-em-conjunto-de-junção, que requerem a cobertura de todos os comandos, condicionais e pares def-uso no contexto de cada ponto de junção selecionado. Para automatizar o uso do modelo e critérios propostos, é implementada uma ferramenta chamada JaBUTi/PC-AJ. Além disso, para validar a abordagem proposta, são conduzidos estudos teóricos e experimentais que procuram avaliar os critérios tanto do ponto de vista do custo de aplicação quanto do ponto de vista da eficácia em encontrar defeitos. Os estudos oferecem indícios da aplicabilidade e da eficácia dos critérios para encontrar defeitos diretamente relacionados com a POAAspect-Oriented Programming (AOP) is a promising development technique that supports separation of crosscutting concerns. In AOP, advice is applied to join points in the system through a special construct called pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this thesis proposes a rigorous structural testing approach for aspect-oriented programs. A control and data flow model based on Java bytecode the PointCut-based Def-Use Graph (PCDU) that models execution regions of a program affected by a pointcut is proposed. On top of this model three testing criteria are defined: all-pointcut-based-advice-nodes, all-pointcut-based-advice-edges, and all-pointcut-based-advice-uses, that require exercising all statements, branches and def-use pairs of each advice at the context of each affected join point. To automate the use of the proposed model and criteria, a tool named JaBUTi/PC-AJ is implemented. Moreover, to validate the proposed approach, both theoretical and experimental studies are presented. These studies provide evidence of the applicability and efficacy of the proposed criteria
Conference papers on the topic "Conjuntos de teste completos"
1
Norberto, Alexandr P., Luiz H. C. Merschmann, Amanda S. Nascimento, and Álvaro R. Pereira Jr. "Análise de Coocorrência de Itens Executados em Programações de Rádios." In XII Simpósio Brasileiro de Sistemas de Informação. Sociedade Brasileira de Computação, 2016. http://dx.doi.org/10.5753/sbsi.2016.5980.
Full textAbstract:
Sistemas de recomendação de músicas, como a Last.fm, utilizam bases de conhecimento coletivo, contendo classificações e históricos de uso, para recomendar itens (como artistas e músicas) considerados similares entre si. Tendo como referência esse conhecimento gerado pelos usuários da Last.fm, este trabalho investiga a coocorrência de itens nas programações de estações de rádio, isto é, se as listas de reprodução das rádios representam conjuntos coesos de faixas relacionadas. Nesse sentido, foi elaborada uma metodologia de análise, na qual são extraídos conjuntos de itens frequentes contendo artistas, músicas e gêneros musicais que coocorrem nas programações de rádios, analisando, em seguida, a similaridade entre os itens dos conjuntos gerados, utilizando como referência as listas de itens similares extraídas da Last.fm. Os resultados experimentais deste trabalho revelam que quanto mais rigorosos são os filtros aplicados para se definir os conjuntos de itens frequentes, mais itens presentes nas listas de similaridade da Last.fm são encontrados, através da correlação descoberta pela programação das rádios. No entanto, o estudo também revela que novas correlações entre itens, ainda não classificadas na Last.fm, podem ser descobertas através das programações das rádios, o que evidencia que até mesmo sistemas utilizados em larga escala e de forma colaborativa, como Last.fm, não são completos no que diz respeito à caracterização dos dados para abstração do conceito de similaridade.
2
E Silva, Lucas Fernando Alvarenga, and Jurandy Almeida. "Adaptação de Domínio usando Camadas de Alinhamento de Domínio com Várias Fontes." In Conference on Graphics, Patterns and Images. Sociedade Brasileira de Computação, 2020. http://dx.doi.org/10.5753/sibgrapi.est.2020.13011.
Full textAbstract:
Modelos profundos, frente a mudança de domínio que pode existir entre conjuntos de dados anotados de treinamento e conjuntos de dados não-anotados de teste, podem produzir resultados insatisfatórios. A mudança de domínio é objetivo das áreas de pesquisa denominadas adaptação de domínio não-supervisionada, quando adapta-se um domínio-fonte para um domínio-alvo; e a adaptação de domínio de várias fontes, a qual adapta múltiplos domínios-fonte para um único domínio-alvo. Este trabalho apresenta as camadas de alinhamento de domínio entre várias fontes (do inglês, Multi-Source DomaIn Aligment Layers – MS-DIAL), que reduzem a discrepância entre as distribuições dos domínios-fonte e do domínio-alvo a partir da inserção de camadas de alinhamento de domínio em diversos níveis da rede. Foram realizados experimentos em tarefas de reconhecimento de dígitos e de objetos, os quais obtiveram resultados promissores que superam métodos do estado da arte.
3
Oliveira, Miguel, and Tiago Melo. "Investigando Features de Sentenças para Classificação de Subjetividade e Polaridade em Português do Brasil." In Encontro Nacional de Inteligência Artificial e Computacional. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/eniac.2020.12135.
Full textAbstract:
Identificar sentenças subjetivas e calcular a polaridade destas sentenças são duas importantes tarefas de análise de sentimentos. Apesar de não serem problemas novos, a maioria das soluções são voltadas para o idioma inglês. Neste artigo, nós propusemos e avaliamos uma abordagem baseada em aprendizagem de máquina para lidar com as duas tarefas em português. Nós investigamos o uso de dois modelos de classificação e também propusemos um conjunto de características linguísticas do próprio texto. Nós experimentamos e avaliamos os métodos contra um representativo conjunto de baselines e em um conjunto diversificado de datasets. Nossa abordagem alcançou os melhores resultados nas duas tarefas e em todos os conjuntos de dados de teste.
4
Araújo, Mirelly Caetano, Joselane Izaquiel Marinho, Carolina Dias dos Santos Silva, Felipe de Almeida Costa, and Bruna Braga Dantas. "AVANÇOS NO DIAGNÓSTICO DE Trichomonas vaginalis E A INTERVENÇÃO MEDICAMENTOSA EM GESTANTES." In I Congresso Brasileiro de Parasitologia Humana On-line. Revista Multidisciplinar em Saúde, 2021. http://dx.doi.org/10.51161/rems/723.
Full textAbstract:
Introdução : Trichomonas vaginalis é o protozoário causador da tricomoníase ou tricomonose, uma das infecções sexualmente transmissíveis (IST), não viral e curável mais comum no mundo, associada ao aumento do risco de HIV. As mulheres infectadas pelo Trichomonas vaginalis podem apresentar sintomas como coceira, disúria, corrimento vaginal, patologia da trompa de Falópio e doença inflamatória pélvica. Em mulheres grávidas essa infecção causa maior probabilidade de parto prematuro, ruptura de membranas e pode ser transmitida ao recém-nascido no parto, desencadeando resultados adversos significativos. Objetivo : Identificar os avanços no diagnóstico de Trichomonas vaginalis e a intervenção medicamentosa em gestantes. Material e métodos : Realizou-se uma revisão bibliográfica exploratória nos bancos de dados PubMed e BVS, utilizando os descritores “Trichomonas vaginalis” e “gestação”. Obteve-se 35 artigos, sendo utilizados apenas 11. Os critérios de inclusão foram artigos com textos completos em inglês e publicados entre 2016-2021. Resultados : Não há recomendações de triagem em mulheres grávidas para Trichomonas vaginalis rotineiramente , originando um alto índice de mulheres grávidas assintomáticas infectadas por seus parceiros e sem recomendação de tratamento durante o atendimento pré-natal, ocasionando complicações. Com a modalidade de diagnóstico por amplificação de ácidos nucléicos (NAATs), o teste molecular para detecção de DNA de Trichomonas vaginalis tornou-se o diagnóstico preferencial, permitindo resultados mais rápidos e exatos para pacientes sintomáticas e assintomáticas, quando comparado com outros testes existentes. Assim, possibilitando uma intervenção medicamentosa imediata, com o uso mais comum de Metronidazol ou Tinidazol, usados em gestantes a depender do período gestacional. Conclusão : Com isso, a intervenção imediata requer a escolha de um diagnóstico rápido em equilíbrio com a necessidade de um teste altamente sensível. Além disso, há necessidade de mais estudos na administração de medicamentos quando utilizados em gestantes, uma vez que há o aumento do risco de parto prematuro. Exigindo histórico detalhado da paciente para avaliar a presença de infecção ou reinfecção e que o parceiro também receba tratamento para uma intervenção eficaz.
5
Zibetti dos Passos, Eduardo, Roman Kuiava, Gustavo Henrique da Costa Oliveira, and André Pedretti. "Aplicação de Diagramas de Estabilização para a Identificação de Dinâmicas Oscilatórias Eletromecânicas a partir da Estimação Modal em Sinais de μPMU’s." In Simpósio Brasileiro de Sistemas Elétricos - SBSE2020. sbabra, 2020. http://dx.doi.org/10.48011/sbse.v1i1.2451.
Full textAbstract:
O monitoramento dos modos eletromecânicos de baixa frequência em sistemas de geração e transmissão (G&T) por processamento de sinais com unidades de medição fasorial (PMUs) é uma realidade nos sistemas elétricos atuais. Sendo a maioria das PMUs em operação localizadas em redes de distribuição de baixa tensão, espera-se que as mesmas também sejam utilizadas para monitorar modos eletromecânicos associados à recursos energéticos distribuídos (RED) presentes nessa rede. Este artigo aplica o algoritmo N4SID para estimar modos eletromecânicos em dados ambiente. Uma necessidade na utilização desses métodos de estimação modal é a classificação entre modos reais (com significado eletromecânico) e modos espúrios (sem significado físico). Propõem-se aqui uma adaptação da técnica de Diagrama de Estabilização para essa tarefa, ainda pouco aplicada em sistemas de potência, porém, que fornece uma análise gráfica fácil e intuitiva dos modos reais presentes no sistema. Visando validar a técnica proposta, são utilizados dois conjuntos de dados, um proveniente de simulações computacionais de um sistema teste de distribuição com RED, e outro conjunto constituído por dados reais coletados de μPMU`s que monitoram uma minirrede localizada na Universidade Federal do Paraná (UFPR). O diagrama de estabilização se mostrou eficiente na classificação dos modos reais e espúrios, tanto para o monitoramento dos modos eletromecânicos de sistemas de G&T quanto para sistemas de distribuição com RED.
6
Silva, Eryck, Ricardo Caceffo, and Rodolfo Azevedo. "Análise Estática de Código em Conjunto com Autograders." In Anais Estendidos do Simpósio Brasileiro de Educação em Computação. Sociedade Brasileira de Computação, 2021. http://dx.doi.org/10.5753/educomp_estendido.2021.14858.
Full textAbstract:
Este trabalho tem como objetivo o estudo e desenvolvimento de técnicas que visam auxiliar alunos e professores de disciplinas de introdução à programação nas universidades (CS1). Estas disciplinas, em que estudos reportam altos índices de evasão, são cada vez mais relevantes no ambiente acadêmico, sendo oferecidas não apenas a alunos de computação, mas também no escopo de cursos de STEM (ciência, tecnologia, engenharia e matemática). Neste momento, deseja-se utilizar sistemas de correção automática de código (autograders) como forma de obter e mostrar feedback além do resultado se um determinado programa passa ou não nos conjuntos de casos de teste. Para isto, uma análise estática de código está sendo realizada com soluções de exercícios submetidos por alunos de uma disciplina de introdução à programação da UNICAMP buscando identificar problemas de compreensão simples por meio de métricas. Numa análise geral, existem submissões de alunos com até sete vezes mais estruturas condicionais que a solução oficial e a média da turma para o mesmo exercício. Esse tipo de feedback pode alertar o docente e o aluno de que este padrão de programação pode levar a problemas futuros. Além disso, a proposta desta pesquisa também objetiva aplicar esses feedbacks em conjunto com a Aprendizagem Ativa, de forma a estimular discussões, trazendo os alunos para um maior engajamento em sala de aula. Por fim, com a inclusão destas intervenções também deseja-se avaliar o impacto na carga de trabalho dos docentes, com a expectativa de que seja reduzida. Link para o vídeo da apresentação: https://youtu.be/ghBTMRN2jEQ
7
Silva, Jardell, Flavio Martins, Maria Silva, and Sérgio Souza. "Algoritmo Genético Aplicado à Solução do Problema p-hub Centro Não Capacitado de Múltiplas Alocações." In Encontro Nacional de Inteligência Artificial e Computacional. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/eniac.2019.9340.
Full textAbstract:
Este trabalho estuda a solução de uma variante do problema p-Hub Centro (pHCP), denominada problema p-Hub Centro não capacitado de múltipla alocação (UMApHCP), usando algoritmo genético híbrido. O problema consiste em definir p hubs em um grafo completo, de forma que o custo máximo de transporte do grafo seja minimizado. Para a geração da população inicial, usa-se a fase de construção da metaheurística GRASP. Além disso, para cada configuração de hub gerada pelo AG, um algoritmo de tempo polinomial é aplicado para determinar a alocação ótima dos nós do grafo. Para avaliar esta implementação, utilizou-se de 2 conjuntos de instâncias, disponíveis na literatura, com até 300 nós e até 40 hubs. Testes computacionais são realizados para comprovar a eficiência da proposta.
8
Pellicer, Lucas Francisco Amaral Orosco, and Felipe Miguel Pait. "BarySearch: Algoritmo de Tuning de Modelos de Machine Learning com o Metodo do Baricentro." In Brazilian e-Science Workshop. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/bresci.2020.11175.
Full textAbstract:
Em muitas aplicações de Machine Learning, é desejável obter o melhor conjunto de hiperparametros para otimizar o desempenho da aplicação. O problema de otimizar os hiperparametros é conhecido como tuning de modelos Machine Learning. Apesar de ser um problema de otimização, o tuning enfrenta dificuldades complexas, já que os modelos são vistos como caixas pretas sem formulação matemática bem definida. Além disso, há problemas com regioes de oscilações e regiões de grandes platôs. Nesse trabalho, nós apresentamos o BarySearch, um algoritmo que se utiliza da equação do baricentro sem necessidade de calcular derivadas da função objetivo. A técnica BarySearch demonstrou ter resultados promissores em testes praticos de tuning de modelos.
9
Braga, Maria Clara Biccas, Lívia Spinassé Peruchi, Sofia Cavalieri De Almeida, and Priscila Pinto E. Silva Santos. "A IMPORTÂNCIA DO DIAGNÓSTICO PRECOCE DE HIV COMO FORMA DE PREVENÇÃO DA TRANSMISSÃO VERTICAL DA DOENÇA." In I Congresso Brasileiro de Imunologia On-line. Revista Multidisciplinar em Saúde, 2021. http://dx.doi.org/10.51161/rems/2016.
Full textAbstract:
Introdução: A Síndrome da Imunodeficiência Adquirida é causada pelo vírus da imunodeficiência humana (HIV). Pode ser transmitido por meio da via sexual, parenteral ou vertical, resultando na supressão da imunidade mediada por células T e contribuindo para o agravo de infecções oportunistas. Como não há tratamento eficiente de combate ao vírus, faz-se imperativo a adoção de medidas com o intuito de mitigar os casos. Objetivo: Descrever e explicitar a importância do diagnóstico precoce do HIV como forma de reduzir os casos de transmissão vertical. Método: Revisão integrativa pelo cruzamento dos descritores “HIV”, “early diagnosis” e “vertical transmission” no PubMed em abril de 2021. Incluídos aqueles com textos completos gratuitos, publicados nos últimos 10 anos, em inglês ou português, e excluídos aqueles não condizentes com o enfoque da pesquisa. Foram adicionados 2 artigos provenientes de uma busca posterior, tendo sido usados 13 artigos no total. Resultados: A prevenção da transmissão vertical é fundamental para a redução da propagação do HIV, bem como da progressão da doença nos recém-nascidos. Isso pode ser feito por meio da terapia antirretroviral e da realização da PCR durante o pré-natal, promovendo um diagnóstico precoce. É primordial que esse teste seja feito nas primeiras semanas de vida, já que crianças que o fazem tardiamente têm maior propensão a desenvolver a doença. Os prematuros e abaixo do peso merecem atenção especial, devido a limitação dos possíveis medicamentos e imaturidade do trato gastrointestinal, que dificultam o tratamento. É evidente a necessidade de ações que visam mitigar a AIDS, ressaltando o papel dos profissionais da saúde como orientadores das mulheres, principalmente as jovens, quanto a importância da utilização de preservativos, reduzindo a incidência de infecções sexualmente transmissíveis. Conclusão: É imprescindível a capacitação dos profissionais de saúde, para que sejam capazes de identificar a infecção logo em seu início, por meio de testes pré e pós-parto, além do acompanhamento da criança. Isso, além da conscientização das mulheres com o perfil de risco de transmissão vertical sobre quais cuidados devem ser adotados. É preciso, também, considerar as características de cada localidade, de forma a adaptar as medidas aos locais que serão implantadas.
10
De Sousa, Alexander, Luiz Filipe Menezes Vieira, and Marcos Augusto Menezes Vieira. "Localização de Controladores em Redes Definidas por Software com Orientação Financeira." In XXXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/sbrc.2019.7419.
Full textAbstract:
Os problemas de localização de controladores buscam posicionar espacialmente os controladores de uma rede definida por software (SDN) e escolher os enlaces que atenderão os mesmos. Esses problemas são NP-Difícil. Neste trabalho, é proposta uma nova formulação focada em redes de longa distância baseada na minimização dos custos financeiros de manutenção da rede. Nossa modelagem ainda limita a latência dentro da rede e evita a sobrecarga dos controladores. É provada a versão de decisão da nossa formulação como NP-Completa. Foi criado um algoritmo exato para a estruturação offline da rede e um conjunto de heurísticas distribuídas para a adaptação da topologia em tempo de execução. Os resultados das heurísticas alcançam cerca de 5% de excedente em relação ao custo ótimo dentro dos casos de teste simulados. Portanto, a solução proposta pode levar a uma economia financeira para a manutenção de redes SDN de longa distância.