Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-06-25T19:50:01Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Jacinto Filipe Silva Reis.pdf: 3426697 bytes, checksum: 1785cceb1a3f11d1a46ed89506bff902 (MD5) / Made available in DSpace on 2018-06-25T19:50:01Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Jacinto Filipe Silva Reis.pdf: 3426697 bytes, checksum: 1785cceb1a3f11d1a46ed89506bff902 (MD5) Previous issue date: 2017-02-22 / Exploratory testing is a software testing approach that emphasizes the tester’s experience in the attempt to maximize the chances to find bugs and minimize the time effort applied on satisfying such a goal. It is naturally a GUI-oriented testing activity for GUI-based systems. However, inmost cases,exploratory testing strategies may not be accurate enough to reach changed code regions. To reduce this gap, in this work, we propose a way of aiding exploratory testing by providing a GUI model of the regions impacted by internal code changes (for example, as result of change requests to fix previous bugs as well as for software improvement). We create such a delimited GUI model by pruning an original GUI model, quickly built by static analysis, using a reachability relation between GUI elements (i.e., windows, buttons, text fields, etc.) and internal source code changes (classes and methods). To illustrate the idea we provide promising data from two experiments, one from the literature and another from our industrial partner. / Teste exploratório é uma abordagem de teste de software que enfatiza a experiência do testador na tentativa de maximizar as chances de encontrarbugs e minimizar o esforço de tempo aplicado na satisfação desse objetivo. É naturalmente uma atividade de testes orientada à GUI aplicada em sistemas que dispõem de GUI. No entanto, na maioria dos casos, as estratégias de testes exploratórios podem não ser suficientemente precisas para alcançar as regiões de código alteradas. Para reduzir esta lacuna, neste trabalho nós propomos uma forma de auxiliar os testes exploratórios, fornecendo um modelo de GUI das regiões impactadas pelas mudanças internas de código (por exemplo, como resultado de solicitações de mudanças para corrigirbugs anteriores, bem como, para realização de melhorias do software). Criamos um modelo de GUI delimitado, podando um modelo de GUI original, construído rapidamente através de análise estática, usando uma relação de alcançabilidade entre elementos de GUI (janelas, botões, campos de textos) e alterações de código interno (classes e métodos). Para ilustrar a ideia, nós fornecemos dados promissores de dois experimentos, um da literatura e outro de nosso parceiro industrial.

Orientador: Ricardo Magnus Osorio Galvão / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-07-15T07:23:33Z (GMT). No. of bitstreams: 1 Machado_WaltairVieira_M.pdf: 1976150 bytes, checksum: ebd557829c1a6a830acf6c25236b08e7 (MD5) Previous issue date: 1980 / Resumo: Até recentemente, os trabalhos sobre instabilidades resistivas têm sistematicamente considerado um sistema em equilíbrio estático no qual uma pequena perturbação é introduzida. Este modelo não é inteiramente auto-consistente, porque, em virtude da resistividade finita do plasma, o fluido tem uma velocidade de difusão resistiva de equilíbrio dada por VR = r0/tR (ou o que é equivalente, ¶B/¶t ¹ 0 no equilíbrio). O efeito de VR não se processa na escala de tempo tR, como se argumentava, e sim na escala de tempo necessária para o fluido atravessar a camada resistiva, ou seja, d/VR. Em outras palavras, VR pode ser desprezado somente para modos nos quais gd/VR >> 1. A inclusão de VR na análise de modos resistivos tais que g ~ VR/d - tende a estabilizar o modo. A análise do efeito de VR ¹ 0 na estabilidade de modos resistivos, tem sido até o presente somente restrita a modos, para os quais a perturbação está localizada no entorno da camada resistiva. O trabalho desenvolvido nesta tese estende esta análise para outros modos resistivos para os quais o efeito de VR ¹ 0 ainda não havia sido estudado. Em particular, analisaremos o modo Kink Interno Resistivo e o modo de Reconexão. Mostramos com este trabalho, que o Modo Kink Interno não é afetado pelo fluxo de difusão. No entanto o Modo de Reconexão é atenuado pela presença de um fluxo difusivo de velocidade. A razão de crescimento do modo de Reconexão, quando se considera VR ¹ 0 fica reduzida cerca de 35% em relação ao valor encontrado para a análise do modo, usando o modelo de equilíbrio estático / Abstract: Until recently works on resistive instabilities has systematically considered a system in static equilibrium on which a small perturbation is introduced. This model is not completely self-consistent, because, due to the finite plasma resitivity the fluid has an equilibrium resistive diffusion velocity given by VR = r0/tR (in another words ¶B/¶t ¹ 0 in equilibrium). The effect of VR does not occur in the time scale of tR, as usually given, but in the time scale necessary for the fluid to go through the resistive layer, i. e. , d/VR. In another words, VR can be neglected only for modes in which the growth rate g >> VR/d. An inclusion of VR in the analysis of resistive modes, such that g ~ VR/d, tends to stabilize the mode. Up to now, the analysis of the effect of VR ¹ 0 in the stability of resistive modes has been restricted to modes for which the perturbation is localized in the neighborhood of the resistive layer. In this work this analyze, is extended to other resistive modes for which the effect of VR ¹ 0 is not yet been studied. In particular, we will analyze the resistive internal kink mode and the reconnection mode. We show that the internal kink mode is not affected by the diffusion flux. However the reconnection mode is attenuated by the presence of a velocity flux diffusion. When we consider VR ¹ 0, the growth rate of the reconnection mode is reduced by about 35% relative to the static equilibrium case / Mestrado / Física / Mestre em Física

Orientador: Alcir Jose Monticelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-20T04:09:18Z (GMT). No. of bitstreams: 1 Garcia_AriovaldoVerandio_M.pdf: 4350447 bytes, checksum: b15ac0ff18e34cea7a5783b33af756da (MD5) Previous issue date: 1977 / Resumo: É apresentado um método rápido e desacoplado para estimação estática de estado em sistemas de alta tensão. São analisadas duas versões: desacoplamento de algoritmo; desacoplamento do modelo e algoritmo. A detecção de medidas com erros grosseiros é feita através de índice J. A identificação utiliza o método dos resíduos normalizados. Tanto a detecção como a identificação, são desacopladas. / Abstract: Not informed. / Mestrado / Mestre em Ciências

Tese de mestrado integrado. Engenharia Civil (especialização em Estruturas). Faculdade de Engenharia. Universidade do Porto. 2008

Este trabalho apresenta um modelo de análise estática de programas orientados a objetos, o qual se denomina DEPAnalyzer (DEPendencies Analyzer). O modelo realiza a análise das dependências entre as classes de um programa, ou seja, os relacionamentos estabelecidos entre estas. As classes representam as entidades estáticas, as quais em tempo de execução darão origem a conjuntos de objetos. Através da simulação do programa o modelo consegue obter as informações sobre quem se relaciona com quem e qual é a intensidade destes relacionamentos. Estas informações visam auxiliar no processo de escalonamento de um programa em uma arquitetura distribuída. Para expressar estes relacionamentos podem ser gerados dois grafos, o grafo de dependências e o grafo de invocações. A geração de um ou de ambos depende do propósito de utilização, ou seja, alocação inicial ou redistribuição dos objetos. O grafo de dependências apresenta uma versão resumida dos relacionamentos. Este adequa-se a auxiliar no processo de distribuição inicial por propiciar um panorama geral dos relacionamentos sem considerar a ordenação de ocorrência das ações. Por sua vez o grafo de invocações tem como propósito a discriminação da ordem de ocorrência das ações de uma aplicação. Viabilizando a utilização deste por parte do processo de redistribuição dos objetos.

Este trabalho apresenta um modelo de análise estática de programas orientados a objetos, o qual se denomina DEPAnalyzer (DEPendencies Analyzer). O modelo realiza a análise das dependências entre as classes de um programa, ou seja, os relacionamentos estabelecidos entre estas. As classes representam as entidades estáticas, as quais em tempo de execução darão origem a conjuntos de objetos. Através da simulação do programa o modelo consegue obter as informações sobre quem se relaciona com quem e qual é a intensidade destes relacionamentos. Estas informações visam auxiliar no processo de escalonamento de um programa em uma arquitetura distribuída. Para expressar estes relacionamentos podem ser gerados dois grafos, o grafo de dependências e o grafo de invocações. A geração de um ou de ambos depende do propósito de utilização, ou seja, alocação inicial ou redistribuição dos objetos. O grafo de dependências apresenta uma versão resumida dos relacionamentos. Este adequa-se a auxiliar no processo de distribuição inicial por propiciar um panorama geral dos relacionamentos sem considerar a ordenação de ocorrência das ações. Por sua vez o grafo de invocações tem como propósito a discriminação da ordem de ocorrência das ações de uma aplicação. Viabilizando a utilização deste por parte do processo de redistribuição dos objetos.

Este trabalho apresenta um modelo de análise estática de programas orientados a objetos, o qual se denomina DEPAnalyzer (DEPendencies Analyzer). O modelo realiza a análise das dependências entre as classes de um programa, ou seja, os relacionamentos estabelecidos entre estas. As classes representam as entidades estáticas, as quais em tempo de execução darão origem a conjuntos de objetos. Através da simulação do programa o modelo consegue obter as informações sobre quem se relaciona com quem e qual é a intensidade destes relacionamentos. Estas informações visam auxiliar no processo de escalonamento de um programa em uma arquitetura distribuída. Para expressar estes relacionamentos podem ser gerados dois grafos, o grafo de dependências e o grafo de invocações. A geração de um ou de ambos depende do propósito de utilização, ou seja, alocação inicial ou redistribuição dos objetos. O grafo de dependências apresenta uma versão resumida dos relacionamentos. Este adequa-se a auxiliar no processo de distribuição inicial por propiciar um panorama geral dos relacionamentos sem considerar a ordenação de ocorrência das ações. Por sua vez o grafo de invocações tem como propósito a discriminação da ordem de ocorrência das ações de uma aplicação. Viabilizando a utilização deste por parte do processo de redistribuição dos objetos.

Made available in DSpace on 2014-06-12T15:58:17Z (GMT). No. of bitstreams: 2 arquivo3360_1.pdf: 1861373 bytes, checksum: da4095d44ee2bf2199c241b47e6516e9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Com o advento de novas tecnologias de fabricação, a complexidade e a capacidade de processamento dos sistemas microeletrônicos tornaram-se cada vez maiores. Contudo devido às tendências de mercado atuais, dispositivos portáteis, alimentados à bateria, estão sendo cada vez mais procurados, de modo que uma demanda de produtos que tenham uma maior capacidade de prolongar a vida útil das baterias vem crescendo. Recentemente, a redução do tamanho do transistor propiciou uma mudança no comportamento das componentes de energia em transistores CMOS. A componente estática que antigamente era praticamente desprezada tem aumentado exponencialmente com alterações não proporcionais, tais como diminuição do canal e redução de tensão de alimentação dos circuitos. Atualmente, esta componente estática representa uma fração significante da potência total consumida em circuitos com tecnologias de fabricação abaixo de 90 nm, podendo passar de 50% da potência total. Este consumo torna-se cada vez mais expressivo à medida que as tensões de alimentação dos circuitos são reduzidas, devido à necessidade de se minimizar a tensão de threshold para manter o desempenho dos circuitos. O algoritmo desenvolvido para a redução de potência estática em circuitos integrados digitais pode ser inserido no fluxo de desenvolvimento, sem causar penalidades ao mesmo. Na abordagem proposta, baseada na técnica Dual-Threshold, parte das células do circuito é substituída por células com tensão de threshold mais alta sem que haja inserção de violações de tempo no circuito. A troca de cada célula é definida a partir de estimativas do comportamento do circuito caso a célula seja trocada, antes que ela seja de fato substituída. Ao contrário de abordagens baseadas em caminhos, a característica de não haver trocas a cada análise das células do circuito, permite uma redução significativa no tempo de execução do algoritmo. Os resultados obtidos, que apresentaram uma redução de potência estática de até 39%, resultaram da execução do algoritmo utilizando circuitos do benchmark ISCAS85

Hace aproximadamente 40 años Eli Robinsky propuso un método de depositación de relaves denominado “Disposición de Relaves Espesados” el que consta de la depositación en forma de cono debido a la reducción del contenido de agua. Los defensores del método argumentan la reutilización del agua recuperada de los relaves, la impermeabilización del depósito debido al gran contenido de partículas finas y el nulo potencial de presentar licuación debido a la consolidación por secamiento del material. Sin embargo, no se ha estudiado la respuesta tanto estática como cíclica del material en el caso que estos depósitos se sitúen en zonas lluviosas como por ejemplo la zona central de Chile, en que es posible que se generen zonas saturadas dentro del depósito. Por lo tanto, el principal objetivo y motivación es determinar las resistencias tanto estática como cíclica del relave en estado saturado. Se realizaron ensayos de caracterización geotécnica del material, clasificando como un limo de nula a muy baja plasticidad con un contenido de finos de 52%. Para determinar la resistencia estática en condiciones no drenadas, se realizaron ensayos triaxiales para tensiones de confinamiento efectivas de 1, 2, 3, 4, 5 y 6 kg/cm2. Para determinar la resistencia cíclica se realizaron ensayos triaxiales cíclicos en condiciones no drenadas paras tensiones efectivas de 1, 2, 3, 4 y 5 kg/cm2. Adicionalmente, se realizaron ensayos triaxiales cíclicos no drenados en probetas remoldeadas. En términos de resistencia estática, los resultados arrojaron una relación lineal entre la resistencia última y la presión de confinamiento de Su/0’ = 0,13, presentando un comportamiento contractivo. En términos de resistencia cíclica, se determinó un intervalo de 0,165 – 0,215 para un criterio de falla de un 100% de aumento de presión de poros, con niveles de solicitación cíclica para un sismo de aceleración máxima de 0,4g de aproximadamente 0,5, considerando el depósito totalmente saturado, y de 0,21 con sólo una capa de espesor un metro saturada en el fondo del depósito. A partir de los resultados, se concluye que el depósito es susceptible de presentar falla de flujo debido a la respuesta contractiva del material, pudiéndose evaluar con los resultados presentados en este trabajo de título. En términos de movilidad cíclica, para ambos casos analizados, el material es licuable.

Orientador: Alcir Jose Monticelli / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-16T09:56:49Z (GMT). No. of bitstreams: 1 Garcia_AriovaldoVerandio_D.pdf: 3815261 bytes, checksum: a58cd0a294f1d43d31d8f289d918958a (MD5) Previous issue date: 1981 / Resumo: Neste trabalho estudam-se diversos tópicos em estimação estática de estado. São apresentadas duas categorias de estimador por mínimos quadrados ponderados: clássico e desacoplado (4 versões). Os tópicos estudados são: processamento (detecção, identificação e supressão) de medidas com erros grosseiros; estimação dos taps (derivações de transformadores) controlados automaticamente; combinação de sistemas separadamente observáveis; processamento de informações exatas (determinísticas); compensação de ligações com baixas relações X/R (para. os estimadores desacoplados). São apresentados resultados obtidos com diversas redes-teste e com a rede FURNAS-66. / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica