• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 272
  • 56
  • 27
  • 3
  • 1
  • Tagged with
  • 361
  • 166
  • 58
  • 56
  • 41
  • 32
  • 31
  • 28
  • 28
  • 25
  • 22
  • 21
  • 20
  • 20
  • 20
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

A cor como fonte luminosa e a inserção do receptor / Color as the luminous source and the insert of the receptor

Juliana Harrison Henno 26 November 2010 (has links)
No campo das Novas Tecnologias da Comunicação (NTC) se destacam determinadas obras que se caracterizam pela manipulação da cor materializada por fontes luminosas que, articulada poeticamente pelo artista, pode potencializar o diálogo entre obra e receptor. Esta dissertação pretende investigar o modo como a cor, proveniente de fonte luminosa, ao ser manipulada pelo artista, por meio de dispositivos tecnológicos das NTC, pode promover em sua obra um ambiente de sinergia e troca de informações com o receptor. Para contribuir com a compreensão do tema de modo eficaz serão abordados não somente os aspectos de ordem fisiológica, física, psíquica e cultural da cor, mas também, os seus aspectos históricos, investigando-se assim um cenário que propiciou o encontro entre a cor e a tecnologia, tornando compreensível a passagem gradual do uso da cor do objeto para a cor, como fonte de luz na arte. Serão abordados também os conceitos de obra aberta e interatividade nas NTC e sua relação com a cor como fonte luminosa. Uma vez clarificados os conceitos de cor, luz e obra aberta, serão realizadas leituras em obras visando identificar as várias formas como a cor proveniente de fonte luminosa pode ser manipulada pelo artista, tendo em vista a função da cor como peça fundamental e ativa no diálogo entre o receptor e obra. Espera-se que, com base em determinados conceitos, seja possível apreender como o artista utilizou poeticamente a cor como fonte de luz em instalações interativas produzidas pelas NTC visando seduzir o receptor para uma relação de troca com a obra. / In the field of New Technologies of Communication (NTC) some artworks stand out because of their characteristic way of handling materialized color by light sources. Such light sources are poetically articulated by the artist, and they can enhance the dialogue between artwork and receiver. The aim of this dissertation is to investigate how the light-sourced color manipulated by the artist using NTC technological devices can promote an environment of synergy and exchange of information with the receiver. To understand this issue in an effective way, both the physiological, physical, psychological and cultural aspects of the color and its historical aspects are dealt with, thus investigating a scenery that allowed the meeting between color and technology, which made it understandable the gradual shift from the use of the color in a object to the color as a source of light in art. The concepts of open work and interactivity in the NTC and its relation to color as a light source are also discussed. Once the concepts of color, light and open work are set, some artworks are analyzed in order to identify the several ways color from a light source can be manipulated by the artist, considering its active and fundamental role in the dialogue between receiver and artwork. Based on certain concepts, it is expected to be possible to apprehend how the artist used color poetically as a light source in interactive installations produced by NTC in order to seduce the receiver into an exchange relationship with the artwork.
52

Modelagem, análise de estabilidade e controle da tensão da malha Z em inversores fonte de impedância / Modeling, stability analysis and Z network voltage control for inverters impedance source

Quinalia, Mateus Siqueira 09 November 2018 (has links)
O uso crescente de fontes alternativas de energia exige conversores de energia capazes de aumentar sua tensão nos terminais e conectá-los ao sistema de distribuição. Neste contexto, o conversor step-up clássico (conversor de potência CC/CC) e o inversor de fonte de tensão (VSI) são as soluções mais aplicadas para processar o fluxo de energia da fonte para a rede. No entanto, apresentam um baixo rendimento devido ao duplo estágio de conversão, isto é, a energia flui também através dos conversores de energia CC/CC e CC/CA. Para evitar esse tipo de desvantagem, no início da última década, o Z-Source-Inverter (ZSI) foi introduzido. Nesta nova solução, o conversor de energia CC/CC responsável por elevar a tensão nos terminais do conversor foi removido e uma rede de impedância LCLC foi adicionada com duas tarefas, ou seja, aumentar a tensão do terminal e melhorar a eficiência do ZSI. Infelizmente, os trabalhos da literatura não apresentaram um modelo matemático generalizado para apoiar os projetistas de conversores de potência na análise de estabilidade, projeto de controladores ou avaliar o ganho de tensão do conversor. Neste sentido, esta dissertação propõe o desenvolvimento de um modelo matemático completo e a análise de estabilidade da planta. Para suportar todo o desenvolvimento teórico, foi realizado um conjunto de análises no domínio do tempo e da frequência. Por fim, verificou-se o controle da tensão do elo CC para suportar todas as afirmações apresentadas neste trabalho (controle da tensão no capacitor da rede Z). / The growing use of alternative energy sources require power converters able to boost their terminal voltage and connect them to the distribution system. In this context, the classical step-up converter (DC/DC power converter) and the voltage source inverter (VSI) are the most applied solutions to process the power flow from the source to the grid. However, they present a low efficient because of the double stage of conversion, i.e. the power flows through the DC/DC and DC/AC power converters as well. To avoid this type of drawback, in the beginning of the last decade the impedance source inverter (ZSI) was introduce. In this new solution, the DC/DC power converter responsible for boosting the voltage at the DC-source terminals was removed and a Z (LCLC-network) was added with two tasks, i.e. boost the DC-source terminal voltage and improve the ZSI efficiency. Unfortunately, the papers in the literature did not present a generalized mathematical model to support designers of power converters in the analysis of stability, design of controllers or evaluate the voltage gain of the converter. In this sense, this thesis proposes the development of a complete mathematical model and the stability analysis of the plant. To support all the theoretical development a set of analysis in the time and frequency-domain was performed. Finally, the control of DC-link voltage was verified to support all the statements presented in this thesis (control on the Z-network voltage capacitance).
53

Estudo e desenvolvimento de fonte de fósforo-32 imobilizado em matriz polimérica para tratamento de câncer paravertebral e intracranial / Study and development of phosphorus-32 source immobilized in polymer matrix for paraspinal and intracranial cancer treatment

Benega, Marcos Antonio Gimenes 24 March 2015 (has links)
As últimas estimativas da Organização Mundial da Saúde mostram a ocorrência de 14,1 milhões de novos casos de câncer em 2012. Sendo que desses casos, 8,2 milhões virão a óbito. Os tumores paravertebrais e intracraniais, também chamados de cânceres do Sistema Nervoso Central, tem origem no cérebro, nervos cranianos e meninges. Uma nova modalidade de braquiterapia começou a ser usada nesta última década. Neste procedimento, placas poliméricas flexíveis, carregando fósforo-32, são colocadas próximas ou em contato ao tumor para o tratamento. Este tratamento apresenta vantagens em relação aos demais porque aplica uma alta taxa de dose no tumor poupando tecidos sadios. A produção destas placas ainda é pouco estudada, embora já existam resultados satisfatórios no seu uso para o tratamento dos cânceres do sistema nervoso central. Neste trabalho foram realizados estudos iniciais para a produção deste tipo de placas poliméricas para braquiterapia. Foram avaliadas as propriedades mecânicas e a capacidade de imobilização de material radioativo de duas resinas comercias, uma poliuretânica e outra epoxídica, com e sem presença de substrato de policarbonato. Os testes iniciais apontaram o uso da resina epoxídica como melhor alternativa e com o uso dela foram feitos os primeiros protótipos e testes. O uso do policarbonato como substrato não foi necessário em uma das metodologias, facilitando o procedimento, mas oferecendo uma barreira menor de segurança. Os ensaios de tração mostraram que a adição de solução ácida à resina epóxi alterou suas características mecânicas, mas houve uma pequena melhora em sua flexibilidade. Os testes de adesão evidenciaram uma melhor adesão da resina à face texturizada do policarbonato. A termogravimetria mostrou que a solução ácida adicionada a resina fica presa à estrutura mesmo com elevações de temperatura acima de 100°C. A resina epoxídica utilizada teve a capacidade de incorporar o material radioativo em forma de solução ácida e manter-se estanque após testes de esfregaço e imersão em líquido quente. De acordo com os resultados obtidos, a produção destas placas com resina epoxídica é possível e atende às normas internacionais de segurança contra vazamento de material radioativo para fontes utilizadas em braquiterapia. / The latest estimates of the World Health Organization show the occurrence of 14.1 million new cases of cancer in 2012. From these cases, 8.2 million will come to death. The paraspinal and intracranial tumors, also called central nervous system cancers, are originated in the brain, cranial nerves and meninges. A new brachytherapy modality began to be used in the last decade. In this procedure, flexible, polymeric plaques carrying phosphorus-32 are placed in contact or close to the tumor for treatment. This treatment has advantages over others because it applies a high dose rate in the tumor sparing healthy tissues. The production of these plaques is not well known, although there are satisfactory results in its use for the treatment of central nervous system cancers. This work carried out initial studies for the production of this type of polymer plaques for brachytherapy. The mechanical properties and immobilization capacity of radioactive material, from two commercial resins, epoxy and polyurethane, with or without the presence of polycarbonate as substrate were evaluated. Initial tests showed the use epoxy resin as the best alternative and the first prototypes and tests with use of it were made. The use of polycarbonate as a substrate was not required on one of the methodologies, facilitating the procedure but offering a lower security barrier. The tensile tests showed that addition of acid to the epoxy resin solution changed its mechanical properties, but there was a small improvement in flexibility. Adhesion tests showed better adhesion of the resin to the textured surface of the polycarbonate. The thermogravimetric analysis showed that the acid solution added to the resin structure is sealed even with temperature rises above 100°C. The epoxy resin used has the ability to incorporate the radioactive material in the form of acid solution and remain tight after wiping and immersion in hot liquid tests. According to the results, the production of these plaques with epoxy resin is possible and meets international safety standards for leakage of radioactive material in radioactive sources used in brachytherapy.
54

Análise de técnicas de controle de Conversores conectados a redes Elétricas

Feliciano Dias Filho, Roberto 31 January 2009 (has links)
Made available in DSpace on 2014-06-12T17:38:50Z (GMT). No. of bitstreams: 2 arquivo6858_1.pdf: 6691710 bytes, checksum: f00645af07bcace9e7fe9ab89b57813c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Companhia Hidro Elétrica do São Francisco / O presente trabalho tem por objetivo principal apresentar uma análise do desempenho das principais técnicas de controle de conversores trifásicos, tipo fonte de tensão, conectados a redes elétricas durante transitórios em sistemas elétricos. Portanto, em todas as simulações realizadas neste trabalho o conversor foi conectado ao sub-sistema Leste da CHESF, representado no ATP por dezesseis barras interligadas através de linhas de transmissão modeladas a parâmetros distribuídos, transformadores de potência com suas curvas de magnetização implementadas, além de compensadores síncronos. Tudo isso visa reproduzir com maior fidelidade fenômenos transitórios comuns à rotina diária dos sistemas elétricos de potência. Todas as técnicas foram modeladas em linguagem MODELS, a fim de serem integradas ao ATP durante a simulação, e duas delas, baseadas em controle por modos deslizantes, são propostas com o objetivo de garantir robustez a variações paramétricas, característica desejável, mas ainda não presente nas técnicas atuais
55

AnÃlise da realidade da fonte Batateira no Cariri-CE: aspectos econÃmicos e legais do mercado de Ãguas / Analysis of the reality of the Batateira Fountain in the Cariri-Ce: economic and legal aspects mket of the water

Inah Abreu Hissa 16 September 2005 (has links)
nÃo hà / Na regiÃo do Cariri, no interior do Estado do CearÃ, vÃrias fontes de Ãgua nascem na Chapada do Araripe. Uma dessas, a Fonte Batateira, se converte no Rio Batateira, onde os produtores da cana-de-aÃÃcar desenvolveram em 1854 um sistema de direitos e alocaÃÃo de Ãgua baseado nas forÃas de Mercado de Ãguas. Esse modelo que ainda se encontra em operaÃÃo na atualidade permite a propriedade privada da Ãgua, bem como que respectivos proprietÃrios â possuidores de tÃtulos de direitos de uso da Ãgua - negociem referidos direitos, bem como, efetuem referidas transaÃÃes no CartÃrio PÃblico da Cidade do Crato. O mesmo nÃo ocorre no restante do Estado do Cearà e do Brasil que adota, na atualidade, o modelo de NegociaÃÃo (FrancÃs) que por sua vez reorganiza o ambiente institucional e define novos direitos de propriedade. Nessa perspectiva, e ainda considerando que o modelo adotado no Cariri-CE funciona hà mais de um sÃculo, ao final se visa concluir se ainda existe espaÃo legal institucional para continuar dentro de uma estrutura de mercado de direito de uso da Ãgua. Com esta pesquisa, busca-se contribuir com a gestÃo da Ãgua no Cariri haja vista que o presente momento de transiÃÃo à delicado e conflituoso, principalmente no aspecto da dominialidade do direito de uso da Ãgua. / In the area of Cariri, inside the State of CearÃ, several sources of water are born in the Araripe Plated. One of those, the Batateira fountain, turns into Batateira river, where the producing of the sugar-cane developed in 1854, a system of rights and allocation of water based on the forces of Market of Waters That model that still meets at the present time in operation it allows the private property of the water as well as that respective proprietorsâpossessors of titles of rights of use of the water - they negotiate referred rights, as well, make referred transactions in the Public Registry of the City of Crato. The same does not happen in the remaining of the State of Cearà and of Brazil that adopts, at the present time, the model of Negotiation (French) that reorganizes the institutional atmosphere for your time and it defines new property rights. In that perspective, and considering that the model adopted in Cariri - CE still works there is more than one century, at the end it is sought to conclude institutional legal space it still exists for Cariri - CE to continue inside of a structure of market of right of use of the water. With this research, it is looked for to contribute with the administration of the water in Cariri has seen that the present moment of transition is delicate and conflicting, mainly in the aspect of the dominium of the right of use of the water.
56

Estudo e desenvolvimento de fonte de fósforo-32 imobilizado em matriz polimérica para tratamento de câncer paravertebral e intracranial / Study and development of phosphorus-32 source immobilized in polymer matrix for paraspinal and intracranial cancer treatment

Marcos Antonio Gimenes Benega 24 March 2015 (has links)
As últimas estimativas da Organização Mundial da Saúde mostram a ocorrência de 14,1 milhões de novos casos de câncer em 2012. Sendo que desses casos, 8,2 milhões virão a óbito. Os tumores paravertebrais e intracraniais, também chamados de cânceres do Sistema Nervoso Central, tem origem no cérebro, nervos cranianos e meninges. Uma nova modalidade de braquiterapia começou a ser usada nesta última década. Neste procedimento, placas poliméricas flexíveis, carregando fósforo-32, são colocadas próximas ou em contato ao tumor para o tratamento. Este tratamento apresenta vantagens em relação aos demais porque aplica uma alta taxa de dose no tumor poupando tecidos sadios. A produção destas placas ainda é pouco estudada, embora já existam resultados satisfatórios no seu uso para o tratamento dos cânceres do sistema nervoso central. Neste trabalho foram realizados estudos iniciais para a produção deste tipo de placas poliméricas para braquiterapia. Foram avaliadas as propriedades mecânicas e a capacidade de imobilização de material radioativo de duas resinas comercias, uma poliuretânica e outra epoxídica, com e sem presença de substrato de policarbonato. Os testes iniciais apontaram o uso da resina epoxídica como melhor alternativa e com o uso dela foram feitos os primeiros protótipos e testes. O uso do policarbonato como substrato não foi necessário em uma das metodologias, facilitando o procedimento, mas oferecendo uma barreira menor de segurança. Os ensaios de tração mostraram que a adição de solução ácida à resina epóxi alterou suas características mecânicas, mas houve uma pequena melhora em sua flexibilidade. Os testes de adesão evidenciaram uma melhor adesão da resina à face texturizada do policarbonato. A termogravimetria mostrou que a solução ácida adicionada a resina fica presa à estrutura mesmo com elevações de temperatura acima de 100°C. A resina epoxídica utilizada teve a capacidade de incorporar o material radioativo em forma de solução ácida e manter-se estanque após testes de esfregaço e imersão em líquido quente. De acordo com os resultados obtidos, a produção destas placas com resina epoxídica é possível e atende às normas internacionais de segurança contra vazamento de material radioativo para fontes utilizadas em braquiterapia. / The latest estimates of the World Health Organization show the occurrence of 14.1 million new cases of cancer in 2012. From these cases, 8.2 million will come to death. The paraspinal and intracranial tumors, also called central nervous system cancers, are originated in the brain, cranial nerves and meninges. A new brachytherapy modality began to be used in the last decade. In this procedure, flexible, polymeric plaques carrying phosphorus-32 are placed in contact or close to the tumor for treatment. This treatment has advantages over others because it applies a high dose rate in the tumor sparing healthy tissues. The production of these plaques is not well known, although there are satisfactory results in its use for the treatment of central nervous system cancers. This work carried out initial studies for the production of this type of polymer plaques for brachytherapy. The mechanical properties and immobilization capacity of radioactive material, from two commercial resins, epoxy and polyurethane, with or without the presence of polycarbonate as substrate were evaluated. Initial tests showed the use epoxy resin as the best alternative and the first prototypes and tests with use of it were made. The use of polycarbonate as a substrate was not required on one of the methodologies, facilitating the procedure but offering a lower security barrier. The tensile tests showed that addition of acid to the epoxy resin solution changed its mechanical properties, but there was a small improvement in flexibility. Adhesion tests showed better adhesion of the resin to the textured surface of the polycarbonate. The thermogravimetric analysis showed that the acid solution added to the resin structure is sealed even with temperature rises above 100°C. The epoxy resin used has the ability to incorporate the radioactive material in the form of acid solution and remain tight after wiping and immersion in hot liquid tests. According to the results, the production of these plaques with epoxy resin is possible and meets international safety standards for leakage of radioactive material in radioactive sources used in brachytherapy.
57

Sistemas multiterminais de transmissão em corrente contínua: conversores tipo fonte de corrente. / Multiterminais direct current transmission systems: current source type converters.

Marcos Tiago Bassini 10 March 2014 (has links)
Este trabalho aborda os sistemas multiterminais para transmissão em corrente contínua baseados em conversores do tipo fonte de corrente (CSC - current source converters). São apresentados resultados de estudo em um sistema multiterminal em corrente contínua (MTDC) de quatro terminais em três estações inserido no sistema norte-nordeste brasileiro, tendo como enfoque principal a sua modelagem, simulação e desempenho em relação à estabilidade durante transitórios eletromecânicos. O sistema é modelado nos programas PSCAD/EMTDC e EMTP-RV, com detalhe para a topologia, os controles e requisitos do MTDC. São também descritos e modelados os conversores a tiristores, as linhas em corrente contínua, bancos capacitivos para compensação de fator de potência, bem como os geradores síncronos e seus reguladores. O desempenho do sistema é avaliado por meio de simulações de inicialização, de regime permanente e transitória diante de contingências. Com isso, esta pesquisa contribui para a compreensão do desempenho de sistemas MTDC e para a criação de modelos para inserção nos programas de transitórios eletromecânicos. / This work addresses the CSC-based, multiterminal solution for DC transmission. The focus of the study was to analyze a four-terminal three-station MTDC scheme inserted in the Brazilian north-northeast power system through modeling, simulation and evaluation of performance regarding stability during electromechanical transients. The system is modeled in PSCAD/EMTDC and EMTP-RV programs, with special detail in the MTDC topology, controls and technical/operative requirements. It is also described the thyristor-based converters, the DC lines, capacitor banks for power factor compensation, as well as the synchronous generators and their regulators. The system performance is evaluated through simulation of converter initialization, steady state response and transient response after contingencies. Thus, this research not only contributes to the understanding of the performance and operation of MTDC systems, but it also assists the development of MTDC models for electromechanical transient programs.
58

Identificação da procedência geográfica da erva mate (llex paraguariensis) mediante análise elementar, reflexão no infravermelho próximo e quimiometria

Marcelo, Marcelo Caetano Alexandre January 2013 (has links)
Neste trabalho foi desenvolvido um método de análise de erva mate mediante as técnicas de espectroscopia no infravermelho próximo (NIR), espectrometria de emissão óptica com plasma indutivamente acoplado (ICP OES) e espectrometria de massa com plasma indutivamente acoplado (ICP-MS), com o intuito de classificar a erva mate por país de origem da América do Sul. Para isto, foram utilizados métodos de análise multivariada supervisionada e não supervisionada, como a análise hierárquica por agrupamentos (HCA), a análise por componentes principais (PCA), o método do k-ésimo vizinho mais próximo (kNN), soft independent modeling class analogy (SIMCA), análise discriminante por mínimos quadrados parciais (PLS-DA) e análise discriminante por máquinas de vetor de suporte (SVM-DA). Foram analisadas 54 amostras de erva mate provenientes da América do Sul (Argentina, Brasil, Paraguai e Uruguai). As amostras foram cominuídas em moinho criogênico e diretamente analisadas para a obtenção dos espectros de reflexão no NIR. Para a determinação dos elementos Ca, K, Mg, Al, Fe, Mn, Ba, Cu, P, Sr e Zn por ICP OES e Li, Be, Ti, V, Cr, Ni, Co, As, Se, Rb, Mo, Ag, Cd, Sb, La, Ce, Pb, Bi e U por ICP-MS, foi realizada a decomposição das amostras por via úmida em bloco digestor em sistema fechado. A classificação da erva mate por país de origem foi possível, sendo que a melhor classificação para todos os métodos de análise multivariada foi obtida por NIR e para as concentrações dos elementos avaliados, a SVM-DA foi o melhor. Conclui-se que a erva mate pode ser avaliada por país de origem mediante a técnicas de ICP OES, ICP-MS e NIR. / A method of yerba mate analyzis using near infrared spectroscopy (NIR), inductively coupled plasma optical emission spectrometry ( ICP OES ) and inductively coupled plasma mass spectrometry (ICP-MS) was developed in order to classify yerba mate by country of origin in South America. To this end, principal components analysis (PCA), k-nearest neighbor (KNN), soft independent modeling class analogy (SIMCA), partial least square discriminant analysis (PLSDA), discriminant analysis by vector machine (SVM-DA) were used for multivariate analysis of the NIR spectra and element concentrations found in 54 samples of yerba mate from South America (Argentina, Brazil, Paraguay and Uruguay ). The samples were ground in cryogenic mill and directly analyzed in order to obtain the reflectance spectra in the NIR region. For elements determination (Ca, K, Mg, Al, Fe, Mn, Ba, Cu, P, Sr and Zn by ICP OES and Li, Be, Ti, V, Cr, Ni, Co, As, Se, Rb, Mo, Ag, Cd, Sb, La, Ce, Pb, Bi and U by ICP-MS), the samples were acid digested in closed vessel in digestion block. The classification of the yerba mate by country of origin was possible, whereas the best classification using all multivariate analysis methods was obtained for NIR. For the element concentrations, the best classification was obtained by SVM-DA. It was concluded that yerba mate classification by country of origin can be assessed through ICP OES, ICP-MS and NIR.
59

Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories / Ranqueamento de avisos de análise estática de código fonte para monitoramento de repositórios de software livre

Ribeiro, Athos Coimbra 22 June 2018 (has links)
While there is a wide variety of both open source and proprietary source code static analyzers available in the market, each of them usually performs better in a small set of problems, making it hard to choose one single tool to rely on when examining a program. Combining the analysis of different tools may reduce the number of false negatives, but yields a corresponding increase in the number of false positives (which is already high for many tools). An interesting solution, then, is to filter these results to identify the issues least likely to be false positives. This work presents kiskadee, a system to support the usage of static analysis during software development by providing carefully ranked static analysis reports. First, it runs multiple static analyzers on the source code. Then, using a classification model, the potential bugs detected by the static analyzers are ranked based on their importance, with critical flaws ranked first, and potential false positives ranked last. To train kiskadee\'s classification model, we post-analyze the reports generated by three tools on synthetic test cases provided by the US National Institute of Standards and Technology. To make our technique as general as possible, we limit our data to the reports themselves, excluding other information such as change histories or code metrics. The features extracted from these reports are used to train a set of decision trees using AdaBoost to create a stronger classifier, achieving 0.8 classification accuracy (the combined false positive rate from the used tools was 0.61). Finally, we use this classifier to rank static analyzer alarms based on the probability of a given alarm being an actual bug. Our experimental results show that, on average, when inspecting warnings ranked by kiskadee, one hits 5.2 times less false positives before each bug than when using a randomly sorted warning list. / Embora exista grande variedade de analisadores estáticos de código-fonte disponíveis no mercado, tanto com licenças proprietárias, quanto com licenças livres, cada uma dessas ferramentas mostra melhor desempenho em um pequeno conjunto de problemas distinto, dificultando a escolha de uma única ferramenta de análise estática para analisar um programa. A combinação das análises de diferentes ferramentas pode reduzir o número de falsos negativos, mas gera um aumento no número de falsos positivos (que já é alto para muitas dessas ferramentas). Uma solução interessante é filtrar esses resultados para identificar os problemas com menores probabilidades de serem falsos positivos. Este trabalho apresenta kiskadee, um sistema para promover o uso da análise estática de código fonte durante o ciclo de desenvolvimento de software provendo relatórios de análise estática ranqueados. Primeiramente, kiskadee roda diversos analisadores estáticos no código-fonte. Em seguida, utilizando um modelo de classificação, os potenciais bugs detectados pelos analisadores estáticos são ranqueados conforme sua importância, onde defeitos críticos são colocados no topo de uma lista, e potenciais falsos positivos, ao fim da mesma lista. Para treinar o modelo de classificação do kiskadee, realizamos uma pós-análise nos relatórios gerados por três analisadores estáticos ao analisarem casos de teste sintéticos disponibilizados pelo National Institute of Standards and Technology (NIST) dos Estados Unidos. Para tornar a técnica apresentada o mais genérica possível, limitamos nossos dados às informações contidas nos relatórios de análise estática das três ferramentas, não utilizando outras informações, como históricos de mudança ou métricas extraídas do código-fonte dos programas inspecionados. As características extraídas desses relatórios foram utilizadas para treinar um conjunto de árvores de decisão utilizando o algoritmo AdaBoost para gerar um classificador mais forte, atingindo uma acurácia de classificação de 0,8 (a taxa de falsos positivos das ferramentas utilizadas foi de 0,61, quando combinadas). Finalmente, utilizamos esse classificador para ranquear os alarmes dos analisadores estáticos nos baseando na probabilidade de um dado alarme ser de fato um bug no código-fonte. Resultados experimentais mostram que, em média, quando inspecionando alarmes ranqueados pelo kiskadee, encontram-se 5,2 vezes menos falsos positivos antes de se encontrar cada bug quando a mesma inspeção é realizada para uma lista ordenada de forma aleatória.
60

Um método de identificação de fontes de vibração em vigas. / A method of identification of sources of vibrations in beams.

Nunes, Luis Flávio Soares 22 November 2012 (has links)
Neste trabalho, procuramos resolver o problema direto da equação da viga de Euler- Bernoulli bi-engastada com condições iniciais nulas. Estudamos o problema inverso da viga, que consiste em identificar a fonte de vibração, modelada como um elemento em L2, usando como dado a velocidade de um ponto arbitrário da viga, durante um intervalo de tempo arbitrariamente pequeno. A relevância deste trabalho na Engenharia encontra-se, por exemplo, na identificação de danos estruturais em vigas. / In this work, we try to solve the direct problem of the clamped-clamped Euler- Bernoulli beam equation, with zero initial conditions. We study the inverse problem of the beam, consisting in the identification of the source of vibration, shaped as an element in L2, using as data the speed from an arbitrary point of the beam, during a time interval arbitrarily small. The relevance of this work in Engineering, for example, is in the identification of structural damage in beams.

Page generated in 0.158 seconds