Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T06:23:01Z (GMT). No. of bitstreams: 1 Fantinato_Marcelo_M.pdf: 269097 bytes, checksum: 7f571e666b2b66b0c06a3a5b0e975969 (MD5) Previous issue date: 2002 / Mestrado

Orientadores : Jose Carlos Maldonado, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:47:18Z (GMT). No. of bitstreams: 1 VillasBoas_AndreLuizdeCastro_M.pdf: 1630941 bytes, checksum: 50bfe53cc75b0d42f3de616c790f1683 (MD5) Previous issue date: 2003 / Mestrado

Made available in DSpace on 2014-06-12T23:00:09Z (GMT). No. of bitstreams: 2 arquivo8980_1.pdf: 881457 bytes, checksum: 12b98a1fdd74a6f6a960b86ea5925dd3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / O objetivo do presente estudo foi traduzir, adaptar e validar uma prova de vocabulário receptivo o Test de Vocabulario en Imágenes Peabody (TVIP) e apontar as suas contribuições para a construção e validação de instrumentos de avaliação psicológica na língua portuguesa, instrumentalizando profissionais da fonoaudiologia no diagnóstico de crianças com distúrbios da comunicação verbal. O acesso ao desempenho em áreas específicas da linguagem, lexical, fonológica e morfológica, prover subsídios teóricos e empíricos que auxiliarão a desenvolver uma clara compreensão da linguagem oral e possíveis alterações. Sendo esta uma área de maior carência no desenvolvimento da psicologia, no Brasil, com claros reflexos negativos nas investigações e no exercício profissional, faz sentido que um maior número de acadêmicos se dedique a este tema desenvolvendo instrumentos de medidas confiáveis. Tais instrumentos auxiliarão no diagnóstico de distúrbios da comunicação verbal e posterior intervenção. Participaram deste estudo 203 crianças provenientes da Região Metropolitana do Recife, de ambos os sexos, entre 5 e 7 anos, contatadas através de escola particular, escolas públicas, creche, da Clínica Escola da Universidade Federal de Pernambuco, e comunidades de baixa renda. Estas crianças foram distribuídas da seguinte forma: 118 pertencentes à rede pública, 65 pertencentes à rede privada e 20 sem acesso a escolarização. Relevante mencionar que faz parte da amostra um grupo de 31 crianças, da rede pública e privada, com queixas de alteração de linguagem. Os dados foram coletados em três etapas. Na primeira etapa foi utilizado o Teste de Matrizes Progressivas Coloridas de Raven, e provas de consciência fonológica (categorização de sons e subtração de fonemas). Na segunda etapa foi realizado um teste de vocabulário receptivo o Test de Vocabulario en Imagenes Peabody (TVIP) e prova analogia de sentenças. Já a terceira etapa foi realizada, seis meses após a segunda etapa, com 37% da amostra total. Nesta etapa as crianças foram retestadas na prova de vocabulário receptivo a fim de analisarmos a precisão dos resultados. A fim de obter uma amostra de crianças com queixas de alteração de linguagem foi necessário realizar um questionário ou entrevista aos pais, com o objetivo de coletar dados relevantes sobre possíveis transtornos da linguagem. O processo de análise iniciouse por um delineamento das qualidades psicométricas da prova de vocabulário receptivo. Para a análise da validade dos resultados no teste, procedemos a uma serie de analises tanto de tipo paramétricos (correlações, regressões múltiplas e anovas) como não-paramétricos (SSA) visando estabelecer a relação entre o TVIP e as demais provas lingüísticas e cognitivas usadas neste nosso estudo. Observamos que as tarefas de analogia de sentenças e subtração de fonemas apresentam uma relação positiva e significativamente mais alta com o TVIP, e os resultados parecem sugerir uma maior contribuição destas tarefas para o aumento do vocabulário. Foi observado também que (a) as crianças com queixa de alteração apresentaram resultado inferior nas provas lingüísticas e que esses resultados do TVIP sugerem uma contribuição deste instrumento de avaliação para futuros diagnósticos de distúrbios da comunicação; (b) o conjunto de variáveis cognitivas e de linguagem se diferencia segundo a origem social e variáveis do desenvolvimento da criança. Enfim estes resultados são discutidos visando não somente melhor entender a aquisição e desenvolvimento do vocabulário, bem como a sua integração com outras dimensões da linguagem, como também subsidiar uma discussão psicológica acerca da necessidade da elaboração de instrumentos de medida que atendam ao rigor científico e com a qualidade necessária para subsidiar as decisões clínicas e ou acadêmicas na área de psicologia e fonoaudiologia

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T10:54:42Z (GMT). No. of bitstreams: 1 Bueno_PauloMarcosSiqueira_M.pdf: 9696615 bytes, checksum: cf1489b7486e810fb816a4449ac15e59 (MD5) Previous issue date: 1999 / Resumo: Este trabalho apresenta uma ferramenta e técnicas para automação da geração de dados e identificação de não executabilidade para a técnica estrutural de teste de software. A ferramenta baseia-se na Técnica Dinâmica; na busca utilizando Algoritmos Genéticos; e no reuso de soluções passadas através do Raciocínio Baseado em Casos. O objetivo é gerara automaticamente dados de entrada que executem caminhos completos no programa em teste e identificar a não executabilidade desses caminhos quando for o caso; o que é feito através da Heurística de Identificação Dinâmica de Potencial não Executabilidade proposta. Um experimento conduzido mostra a validade das soluções elaboradas e do benefício da utilização da ferramenta. Os resultados alcançados sugerem que, apesar da indecidibilidade geral desses problemas, soluções parciais podem ser úteis à prática do teste de software / Abstract: A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; using Genetic Algorithms; and reusing of solutions through Case Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program and identify path infeasibility when this is the case ; this is done through the Potential Infeasibility Dynamic Identification Heuristic proposed. An experiment shows the validity of the developed solutions and the benefit of using the tool. Results attained indicate that, despite the general undecidability of the problems, partial solutions may be useful to software testing practice / Mestrado / Mestre em Engenharia Elétrica

Made available in DSpace on 2014-06-12T23:15:31Z (GMT). No. of bitstreams: 2 arquivo6679_1.pdf: 1236124 bytes, checksum: b66911ca34edbc411f2703ce51e595e0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Este trabalho tem como escopo desenvolver uma técnica que permita utilizar o código computacional PARET/ANL para a análise de um bloqueio em um canal de refrigeração do núcleo de um reator de pesquisa do tipo piscina e que utilize combustível do tipo placa. Essa ideia surgiu da necessidade de se expandir o uso do código PARET/ANL para análise de transitórios para os quais ele não foi programado. O código PARET/ANL não possui mecanismos que permitam configurá-lo para se analisar diretamente os efeitos termoidráulicos decorrentes daqueles tipos de bloqueios. Para tal fim, foram utilizados alguns recursos disponíveis no código, tal como a perda de fluxo de massa do líquido refrigerante num canal, que pode ser obtido aplicando-se o regime de fluxo forçado ou pressão forçada. Este trabalho foi dividido em três etapas: na primeira, foi feita uma validação de uma cópia do código através de comparações entre os resultados obtidos e os apresentados no Benchmark (Problema-padrão) do TECDOC-643 e os obtidos por Qing Lu, Suizheng Qiu e G.H. Su com o RELAP. Na segunda, foi executado um FLOFA uma perda rápida de fluxo de massa do refrigerante num canal e analisados os efeitos termoidráulicos no referido canal. Na terceira, o código foi configurado para simular um bloqueio parcial de um canal refrigerante através do ajuste do coeficiente de perda abrupta de carga e do gradiente de pressão entre a entrada e a saída do canal obtido na etapa anterior. Por fim, os dados obtidos foram plotados em gráficos e feitas as análises dos resultados de um bloqueio de 50% no canal quente. Dessas análises, constataram-se resultados consistentes. A fase de validação ratificou a confiabilidade do código ao reproduzir, na íntegra e com precisão, os resultados disponíveis na literatura aberta

Submitted by Heitor Rapela Medeiros (heitor.rapela@ufpe.br) on 2015-03-04T12:36:58Z No. of bitstreams: 2 Dissertação_Luma_Gomes_dos_Santos.pdf: 1082463 bytes, checksum: a18a4596e37a6a3db1dc12c768bbd13e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-04T12:36:58Z (GMT). No. of bitstreams: 2 Dissertação_Luma_Gomes_dos_Santos.pdf: 1082463 bytes, checksum: a18a4596e37a6a3db1dc12c768bbd13e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-05-17 / CAPES / As plantas sempre foram utilizadas por suas propriedades terapêuticas observadas empiricamente através das gerações. Atualmente, sabe-se que essas propriedades são devidas a presença de metabolitos secundários, e isso tem despertado o interesse de pesquisadores que visam os vegetais como fonte promissora de novas moléculas úteis ao homem para o tratamento de uma ampla gama de doenças. Há uma grande variedade de metabólitos secundários, com diferentes estruturas químicas e diversas funções, dentre estes estão os taninos. Diversos tipos de ensaio têm sido utilizados para a quantificação de taninos. Os métodos mais apropriados para determinação de taninos são os ensaios com precipitação de proteínas, porem outros métodos também são utilizados, sendo os mais comuns os métodos de precipitação de metais e métodos colorimétricos. Apesar de serem amplamente utilizados para análise quantitativa de taninos de maneira geral, os métodos colorimétricos são específicos para algumas classes de taninos. A metodologia de doseamento desenvolvida por Hagerman tem como base a propriedade que os taninos possuem de se complexar com macromoléculas, neste caso, as proteínas. É bastante simples, rápida e econômica, muito útil em estudos que envolvem uma grande quantidade de amostras. Entretanto tem se mostrado um método pouco sensível uma vez que se utiliza uma grande quantidade de massa vegetal para extração. Este trabalho teve como objetivo realizar a otimização do processo de extração para doseamento de taninos através da difusão radial e realizar o estudo de validação do método. Para otimização da extração algumas variantes ao método original foram testadas, são elas: massa vegetal, solventes, tipo e tempo de extração. Observou-se que a redução da massa vegetal a metade pouco influenciou no valor final do teor de taninos da espécie testada, uma melhora significativa dos resultados quando da utilização de acetona 50% (v/v) em relação ao solvente original metanol 50% (v/v). Resposta positiva foi também obervada com a utilização de aparelho de ultrassom que aumentou consideravelmente o diâmetro do disco reduzindo a metade o tempo necessário para uma extração eficiente. Para o ensaio de validação todos os parâmetros obrigatórios foram avaliados. O método foi considerado linear e com alta sensibilidade de quantificação (27,72 μg/poço). Mostrou-se também robusto e com recuperação aceitável (85,96%). Os resultados obtidos para repetitividade (intra-corrida) e precisão intermediária (inter-corridas), certificaram a precisão do método, obtendo-se valores entre 1,89 e 7,03%. Para a exatidão valores entre 100,47 e 105,26% foram obtidos, que se encontra dentro dos limites preconizados pela ANVISA. Sendo assim o método foi considerado preciso, exato e reprodutível, além de ser de fácil execução e baixo custo.

Orientador: João Mauricio Rosario / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-19T21:04:57Z (GMT). No. of bitstreams: 1 Dal'Bo_RobsonFigueira_M.pdf: 14589416 bytes, checksum: dea2da4cf8408156ef9b00af0edbbf07 (MD5) Previous issue date: 1994 / Resumo: Nesta dissertação é elaborado e implementado um sistema para a simulação e validação da lógica utilizada para a automatização dos sistemas de produção. O sistema é baseado no GRAFCET, sendo a interface de entrada e saída de dados, além do processamento feitos segundo esta metodologia. O sistema foi elaborado seguindo a programação orientada à objeto, permitindo modularização e futuras ampliações. Ao final do trabalho, serão realizados testes para a validação do SIMGRAF / Abstract: This dissertation presents a simulation and validation system for the logics will be used on production automation systems. The simulation system is based on GRAFCET, all input and output data interface, as the processing of data are done by this methodology. The system was created using the object oriented programming, that could modulate and amplify it in the future. At the end of working, some tests are implemented to validate the SIMGRAF / Mestrado / Projeto Mecanico / Mestre em Engenharia Mecânica

Clustering plays an important role in the exploratory analysis of data. Its goal is to organize objects into a finite set of categories, i.e., clusters, in the hope that meaningful and previously unknown relationships will emerge from the process. Not every clustering result is meaningful, though. In fact, virtually all clustering algorithms will yield a result, even if the data under analysis has no true clusters. If clusters do exist, one still has to determine the best configuration of parameters for the clustering algorithm in hand, in order to avoid poor outcomes. This selection is usually performed with the aid of clustering validity criteria, which evaluate clustering results in a quantitative fashion. In this thesis we study the evaluation/validation of clustering results, proposing, in a broad context, measures and relative validity criteria ensembles. Regarding measures, we propose the use of the Area Under the Curve (AUC) of the Receiver Operating Characteristics (ROC) curve as a relative validity criterion for clustering. Besides providing an empirical evaluation of AUC, we theoretically explore some of its properties and its relation to another measure, known as Gamma. A relative criterion for the validation of density based clustering results, proposed with the participation of the author of this thesis, is also reviewed. In the case of ensembles, we propose their use as means to avoid the evaluation of clustering results based on a single, ad-hoc selected, measure. In this particular scope, we: (i) show that ensembles built on the basis of arbitrarily selected members have limited practical applicability; and (ii) devise a simple, yet effective heuristic approach to select ensemble members, based on their effectiveness and complementarity. Finally, we consider clustering evaluation in the specific context of gene expression data. In this particular case we evaluate the use of external information from the Geno Ontology for the evaluation of distance measures and clustering results / Técnicas de agrupamento desempenham um papel fundamental na análise exploratória de dados. Seu objetivo é a organização de objetos em um conjunto finito de categorias, i.e., grupos (clusters), na expectativa de que relações significativas entre objetos resultem do processo. Nem todos resultados de agrupamento são relevantes, entretanto. De fato, a vasta maioria dos algoritmos de agrupamento existentes produzirá um resultado (partição), mesmo em casos para os quais não existe uma estrutura real de grupos nos dados. Se grupos de fato existem, a determinação do melhor conjunto de parâmetros para estes algoritmos ainda é necessária, a fim de evitar a utilização de resultados espúrios. Tal determinação é usualmente feita por meio de critérios de validação, os quais avaliam os resultados de agrupamento de forma quantitativa. A avaliação/validação de resultados de agrupamentos é o foco desta tese. Em um contexto geral, critérios de validação relativos e a combinação dos mesmos (ensembles) são propostas. No que tange critérios, propõe-se o uso da área sob a curva (AUC Area Under the Curve) proveniente de avaliações ROC (Receiver Operating Characteristics) como um critério de validação relativo no contexto de agrupamento. Além de uma avaliação empírica da AUC, são exploradas algumas de suas propriedades teóricas, bem como a sua relação com outro critério relativo existente, conhecido como Gamma. Ainda com relação à critérios, um índice relativo para a validação de resultados de agrupamentos baseados em densidade, proposto com a participação do autor desta tese, é revisado. No que diz respeito à combinação de critérios, mostra-se que: (i) combinações baseadas em uma seleção arbitrária de índices possuem aplicação prática limitada; e (ii) com o uso de heurísticas para seleção de membros da combinação, melhores resultados podem ser obtidos. Finalmente, considera-se a avaliação/validação no contexto de dados de expressão gênica. Neste caso particular estuda-se o uso de informação da Gene Ontology, na forma de similaridades semânticas, na avaliação de medidas de dissimilaridade e resultados de agrupamentos de genes.

O quadro evolutivo da agricultura brasileira resulta em benefícios à população exigindo crescentes avanços tecnológicos no setor. Constantemente, novos agrotóxicos são introduzidos estimulando estudos científicos com a finalidade de determinar e avaliar os impactos na população e no meio ambiente. No presente trabalho, a matriz avaliada foi o lodo gerado no processo de tratamento de água para consumo humano, coletado na região do Vale do Ribeira, SP. A técnica empregada foi a cromatografia líquida de fase reversa acoplada à espectrometria de massas triploquadrupolar em tandem com ionização por electrospray. Os compostos foram extraídos previamente da matriz. O desenvolvimento da metodologia exigiu tratamento dos dados para que esses pudessem ser utilizados e transformados em informações confiáveis. Os processos envolvidos foram avaliados usando o conceito da validação de ensaios químicos. Os indicadores avaliados foram seletividade, linearidade, intervalo de trabalho, sensibilidade, exatidão, precisão, limite de detecção, limite de quantificação e robustez. Esses indicadores produziram valores quantitativos e qualitativos que foram estatisticamente evidenciados de forma objetiva. A metodologia desenvolvida e validade é simples. Como resultado, mesmo explorando a sensibilidade da técnica, os compostos estudados não foram encontrados no lodo da ETA de Registro. Isso leva a crer que esses compostos podem estar presentes em concentrações muito baixas, podem sofrer degradação durante o tratamento da água ou não são retidos completamente pela ETA. 7 / The evolving scenario of Brazilian agriculture brings benefits to the population and demands technological advances to this field. Constantly, new pesticides are introduced encouraging scientific studies with the aim of determine and evaluate impacts on the population and on environment. In this work, the evaluated sample was the sludge resulted from water treatment plant located in the Vale do Ribeira, São Paulo, Brazil. The technique used was the reversed phase liquid chromatography coupled to electrospray ionization tandem mass spectrometry. Compounds were previously liquid extracted from the matrix. The development of the methodology demanded data processing in order to be transformed into reliable information. The processes involved concepts of validation of chemical analysis. The evaluated parameters were selectivity, linearity, range, sensitivity, accuracy, precision, limit of detection, limit of quantification and robustness. The obtained qualitative and quantitative results were statistically treated and presented. The developed and validated methodology is simple. As results, even exploring the sensitivity of the analytical technique, the work compounds were not detected in the sludge of the WTP. One can explain that these compounds can be present in a very low concentration, can be degraded under the conditions of the water treatment process or are not completely retained by the WTP.

Em conseqüência do aumento da demanda de gás e petróleo no mercado nacional e internacional, as especificações e certificações dos resultados de analises químicas de tubos para gasodutos e oleodutos têm se tornados cada vez mais exigentes. Um contínuo desenvolvimento tem sido realizado para a melhoria de aços microligados da classe API (American Petroleum Institute). As propriedades do aço dependem do controle da composição química e parâmetros de processo durante sua fabricação. Neste trabalho, foi realizada comparação das incertezas de medição entre as técnicas de espectrometria de fluorescência de raios X por comprimento de onda (WDXRF) e de emissão óptica com fonte de arco voltaico (OES-spark) nas análises de acompanhamento de processo na produção de aços classe API. Usualmente, este tipo de análise requer menos de 40 segundos para completa caracterização química para ajuste nos parâmetros de processo de produção. As principais fontes de influência nas análises químicas foram avaliadas por planejamento de experimentos. Os elementos constituintes e traço como Al, Si, P, S, Ti, V, Cr, Mn, Co, Ni, Cu, As, Nb, Mo e Sn foram determinados utilizando as metodologias normalizadas pela ASTM E-322, E-415, E-1009 e E-1085. Os materiais de referência certificados 185A e 187A da CMI (Czech Metrology Institute) foram utilizados para avaliação dos métodos. As incertezas das medições de resultados e a validação com relação a repetitividade e reprodutibilidade das medições foram obtidas conforme os testes estatísticos, recomendados pela norma ISO/IEC 17025. A incerteza de medição para cada elemento é discutida para ambas as técnicas. / The increase of gas and petroleum demanding in the national and international markets, the specification and certification of the chemical analysis results of gas and oil pipe-line have became more and more challenging. A continuous development has been outlined to improve API grade alloy steels (American Petroleum Institute). The steel properties depend on the chemical composition control and process parameters during its manufacturing. In this work, a comparison of the measurement uncertainty between X-ray fluorescence (WD system) and Optical Emission (OES-spark) spectrometries, for API grade steel plant samples analysis, was outlined. Usually, this kind of analyze requires less than 40 seconds for full chemical characterization for adjustment in the process parameters production. The main influence source in the chemical analysis was evaluated for design of experiments. The constituents and trace elements such as Al, Si, P, S, Ti, V, Cr, Mn, Co, Ni, Cu, As, Nb, Mo and Sn were determined using the ASTM E-322, E-415, E-1009 and E-1085 standard methodologies. The 185A and 187A certified reference materials from CMI (Czech Metrology Institute) were used for evaluation of the methods. The uncertainty of the measurement, precision, accuracy, repeatability and reproducibility of the measurements were obtained applying statistic tests, recommended by ISO/IEC 17025. The uncertainty of measurement for each element is discussed for both techniques.