111 |
Compreensão de mudanças estruturais no código fonte usando análise dinâmica e estática / Understanding structural changes in source code using dynamic and static analysisSilva, Janio Rosa 17 December 2015 (has links)
A compreensão de sistemas é fundamental para a atividade de manutenção. Durante a manutenção e evolução dos sistemas, mudanças contínuas podem degradar o projeto modular do sistema, aumentando sua complexidade. Consequentemente, as empresas gastam muito tempo e recursos financeiros na compreensão e manutenção dos sistemas. Portanto, entender como o sistema evolui é uma etapa importante para o bom planejamento, desenvolvimento e gerenciamento de mudanças. Os desenvolvedores geralmente precisam entender rapidamente mudanças recentes antes de implementar novas mudanças. Mesmo
que já existam abordagens para a compreensão, elas ainda são limitadas para detectar componentes diferentes com tarefas similares, para localizar tarefas no código fonte e para medir o impacto de uma determinada mudança nas funcionalidades do sistema. Neste trabalho, é proposto um mecanismo para localizar impactos causados por uma mudança no projeto e quais mudanças estruturais ocorreram em um sistema de uma versão para outra. Dada uma funcionalidade específica, o objetivo é localizar mudanças estruturais e mudanças de relacionamento entre componentes entre duas versões. Cada mudança estrutural detectada na primeira etapa é checada no código fonte para ambas as versões. Depois, as mudanças são classificadas em cinco padrões: i) movimentação de classe; ii) movimentação de método; iii) adição de método; iv) remoção de método; e v) mudança no modificador de acesso (os três últimos que representam mudanças de interface nas classes). A abordagem proposta é avaliada com três sistemas de código aberto com o objetivo de validar a metodologia: jFreeChart, Tomcat e JHotDraw. Os resultados revelam mudanças estruturais como movimentação de método, movimentação de classe e mudança de relacionamento de pacotes. Além disso, também é feito um levantamento de mudanças estruturais que afetam múltiplas funcionalidades, o que é chamado de avaliação de impacto de mudanças; análises sobre mudanças de relacionamento de pacotes no jFreeChart
validado em termos de precisão e recall. Os resultados mostram que movimentações em métodos, em média, aparecem em 28,4% dos casos. Existem classes que afetam muitas funcionalidades, logo o desenvolvedor terá noção de quais funcionalidades serão afetadas com tais mudanças. As mudanças no jFreeChart mostram que a abordagem detecta os padrões de alterações em pacotes a uma precisão de 100% e revocação de 83%. Ao detectar
uma mudança considerável na relação de pacotes entre o jFreeChart versões 0.7.0 e 0.9.5, foi constatado que os novos pacotes possuem um menor acoplamento, conforme a métrica efferent coupling, podendo indicar uma melhor modularização. Portanto detectar estas mudanças nos pacotes pode ajudar o desenvolvedor a explicar a coesão, acoplamento e a modularidade do sistema em termo de pacotes. Um dos resultados importantes
da abordagem, a avaliação de impacto de mudanças, permite ao desenvolvedor avaliar o passado do sistema, e prever o impacto e abrangência de mudanças futuras em classes e funcionalidades. / Software system comprehension is a key maintenance activity. During the software maintenance and evolution, continuous changes may degrade the modular design overtime, thus, increasing its complexity. Consequently, companies spend a lot of time and resources trying to understand and implement changes on software. Therefore, understanding how system changes evolve is an important step towards future development planing and management. Developers usually need to rapidly understand recent changes before implementing a new feature. Despite of several approaches to improve software comprehension, they are still limited to different components with similar roles, to locate features in the source code and to measure the impact of an specific change in other features. In this work, we present an approach centered on dynamic and static analysis to reduce program comprehension effort. More specifically, we propose a mechanism to locate what structural changes have occurred in a program from one version to another. Given one specific functionality, we locate structural changes and component relationship changes between two versions. Each structural change previously detected in the first step, is then verified by a next step of static analysis to confirm if the method in the trace really exists in only one version or both versions. The candidate changes are classified in five patterns by parsing the source code of both analyzed version: i) Move Class, ii) Move Method, iii) Add Method, iv) Remove Method, and v) Access Modifier Change (where they represent Class Interface Change). We evaluated our approach with three open source-software systems: jFreeChart, Tomcat, and JHotDraw. Our results reveals structural changes such as, move method, move class, and package relationship changes. In this study, we further investigate the impact of structural changes over multiple functionalities. We also evaluated the package relationship change found in jFreeChart using precision and recall. The results show that the pattern Move Method dominates, in average, appearing in 28,4% of the changes. Also, there are changes in classes that affect many funcionalities. Also the results show that in jFreeChart there were changes in packages detected with a precision of 100% and a recall of 83%. After the approach detected many changes between versions 0.7.0 and 0.9.5 of jFreeChart, further analysis showed that the new package structure has less coupling measures, according to the Efferent Coupling metric. That can mean the package structure has a better modular structure. Then detecting those changes in the
package structure can be valuable to the developer evaluate the cohesion, coupling and package modular structure. One of the results presented by this approach, the impact analysis, allow the developer, by evaluating the past of the system, foresee the impact
and coverage of future changes that will be made in the system. / Dissertação (Mestrado)
|
112 |
Estudo numérico, implementação computacional e verificação experimental do fenômeno da fuga térmica em materiais viscoelásticos / A numerical study computational implementation and experimental verification of the thermal runaway phenomenon in viscoelastic materialsRodovalho, Luiz Fernando Ferreira 05 September 2014 (has links)
Fundação de Amparo a Pesquisa do Estado de Minas Gerais / This work is dedicated to the development of a strategy for numerical-computational modeling
and experimental verification of the self-heating phenomenon in viscoelastic materials with
emphasis on the thermal runaway phenomenon taking into account the combined effects of
dynamic loads and static preloads. The methodology of modeling by finite element allows us
to consider the influence of frequency, temperature and static preload on the self-heating
phenomenon of the linear viscoelastic materials. For this purpose, modifications are made that
allow thermomechanical analysis of more complex viscoelastic structures, in addition the
evaluation of introducing metal inserts in bulk material for reducing effects of self-heating. The
validation of the proposed model and the identification of the physical parameters of thermal
efficiency and heat transfer by natural convection, initially unknown, are obtained by
comparison of the results of numerical simulations with the corresponding obtained through
experimental tests for a specimen formed by a translational viscoelastic joint. The curve-fitting
procedure is formulated as an inverse optimization problem through use of the Firefly Algorithm
for minimizing the objective function defined as the square difference between the
temperatures obtained from the simulations and the corresponding generated by the tests for
each time instant. The accuracy and limitations of the model are evaluated by comparing the
experimental and simulated temperature profile, allowing to verify the numerical evidence and
the qualitative consistence of the results obtained with reported in the literature for the thermal
runaway phenomenon for simple devices without effect preload. / Este trabalho é dedicado ao desenvolvimento de uma estratégia de modelagem numéricocomputacional
e verificação experimental do fenômeno do autoaquecimento de materiais
viscoelásticos com ênfase no fenômeno da fuga térmica levando-se em conta os efeitos
combinados de cargas dinâmicas e pré-cargas estáticas. A metodologia de modelagem por
elementos finitos permite considerar a influência da frequência, da temperatura e da pré-carga
estática no fenômeno do autoaquecimento de materiais viscoelástico lineares. Para tanto, são
feitas modificações que permitem a análise termomecânica de estruturas viscoelásticas mais
complexas, além da avaliação da introdução de insertos metálicos no volume do material para
a redução dos efeitos do autoaquecimento. A validação do modelo proposto e a identificação
dos parâmetros físicos de rendimento térmico e de transferência de calor por convecção
natural incialmente desconhecidos, são obtidos através da confrontação dos resultados das
simulações numéricas com os correspondentes obtidos via ensaios experimentais para um
corpo de prova formado por uma junta viscoelástica translacional. O procedimento de ajuste
de curvas é formulado como um problema inverso de otimização via emprego da técnica
Colônia de Vagalumes para a minimização da função objetivo definida como sendo a
diferença quadrática entre as temperaturas obtidas das simulações e as correspondentes
geradas pelos ensaios para cada instante de tempo. A precisão e as limitações do modelo
são avaliadas pela comparação dos perfis simulados e experimentais de temperatura,
possibilitando confirmar as evidências numéricas e a consistência qualitativa dos resultados
obtidos com o reportado na literatura para o fenômeno da fuga térmica para dispositivos mais
simples e sem o efeito da pré-carga. / Mestre em Engenharia Mecânica
|
113 |
Estudo em Escala Piloto de Parâmetros de Monitoramento e Operação de Biopilhas no Tratamento de Solos Contaminados por Hidrocarbonetos de Petróleo / Operational parameters of biopiles sistems for the treatment of soils contaminated by petroleum hydrocarbonsJorge Antônio Lopes 12 December 2012 (has links)
O objetivo do trabalho foi identificar ferramentas e indicadores adequados ao monitoramento e à otimização de processos de biorremediação, incluindo parâmetros físicos, químicos e microbiológicos definidos em estudos de tratabilidade de solos contaminados por óleo cru em escala de laboratório e comparar estratégias de biorremediação, tais como bioestímulo e bioaumento conduzidas em simulações de biopilhas dinâmicas ou estáticas. Quando três métodos de extração de hidrocarbonetos de petróleo de solo arenoso e franco-argiloso para análise cromatográfica (Soxhlet-SOX, microondas-MARS e extração acelerada por solvente-ASE) foram comparados entre si, concluiu-se que a técnica que promove a melhor recuperação depende da fração de interesse (n-alcanos, HRP, MCNR, HPA), das características texturais do solo (teores de areia, silte e argila) e da idade da contaminação. Dentre os indicadores de densidade populacional microbiana (microrganismos heterotróficos totais-PHT, população de fungos-PF e população microbiana degradadora de óleo (PDO) passíveis de utilização para indicar a taxa de degradação de compostos orgânicos presentes no solo tais como os hidrocarbonetos de petróleo, o PDO mostrou-se o mais adequado em conjunto com a produção de CO2 aferida pelo método respirométrico. Quando a estratégia de biorremediação de solo franco-argiloso contaminado com óleo cru a 3% (m m-1) utilizando bioestímulo (ajuste de pH, umidade e taxa C:N:P) foi comparada ao bioaumento (bioestímulo e adição de inóculo de microrganismos extraídos, enriquecidos e aclimatizados ao óleo cru como fonte de carbono), em sistemas de bancada simulando biopilha dinâmica (microcosmo M) e biopilha estática com aeração forçada (reator B), o tratamento que apresentou melhor remoção (32%) de HTP após 121 dias foi o bioaumento em biopilha estática. Para HPA, o tratamento que alcançou a melhor remoção (33%) foi com bioestímulo também em biopilha estática. A avaliação da taxa de mortalidade (%) de Eisenia andrei exposta tanto a solos recém-contaminados por óleo cru e preparados para bioestímulo (BIOS) e bioaumento (BIOA) a serem tratados em biopilhas dinâmicas e estáticas em escala de laboratório mostrou que após 56 dias de exposição da E. andrei, todos os solos produziram letalidade de 100%, quer fossem os solos recém-contaminados e preparados para os diferentes tratamentos (BIOS M, BIOS B, BIOA M, BIOA B) ou após 121 dias de tratamento. Tal resultado confirma que a biorremediação foi incipiente também do ponto de vista de remoção da ecotoxicidade. Em linhas gerais, a biorremediação de solo franco-argiloso contaminado por óleo cru, contendo tanto contaminação antiga quanto recente, reúne os maiores desafios à biorremediação, tanto do ponto de vista da composição textural do solo quanto da natureza do contaminante. Os processos são aparentemente lentos e requerem ferramentas auxiliares para aceleração dos mesmos. Recomenda-se no futuro, condução de experimentos com o uso de diferentes surfactantes, com ênfase em biosurfactantes / The objective of this investigation was to identify tools and indicators suitable for monitoring and optimizing bioremediation processes, including physical, chemical and microbiological variables defined in treatability studies of crude oil contaminated clayey soils in lab-scale and to compare bioremediation strategies, such as biostimulation and bioaugmentation carried out in lab scale dynamics and static biopiles. When three methods for extraction of petroleum hydrocarbon for chromatography analysis (Soxhlet-SOX, microwaves-MARS and accelerated solvent extraction-ASE) were compared, it was concluded that the most appropriate extraction method depends on the hydrocarbon fraction of interest (n-alkanes, RPH, UCM or PAH), the textural soil characteristics (sand, silt and clay content) and the contamination age. Among the microbiological indicators investigated (total heterotrophic microorganisms-PHT, fungi population-PF and; oil-degrading microorganism population-PDO, the last one was the best indicator for degradation of organic carbon compounds such as petroleum hydrocarbon, together with CO2 generation measured through respirometric method. Bioremediation strategies for oil-contaminated clayey soil (3% m m-1) were compared, including biostimulation (adjustment of pH, C:N:P rate and moisture) and bioaugmentation (biostimulation plus a consortium inoculum extracted from the original aged-contaminated soil, enriched and acclimatized with the crude oil as carbon source) in lab scale system simulating dynamic (microcosms) and static (bioreactors with forced aeration). The treatment which presented the highest TPH removal (32%) after 121 days was the bioaugmented static biopile (BIOA B). For PAH, the most efficient treatment method that removed 33% of PAH was the biostimulated static biopile (BIOS B). The mortality rate (%) for Eisenia andrei exposed to newly contaminated soil prepared for biostimulation (BIOS) and bioaugmentation (BIOA) treatments at day 0 as well as the treated soil in static and dynamic biopiles at different treatment times (after 24, 59 and 121 days) revealed that after 56 of E. andreis exposition, all soils produced mortality of 100%, no matter if newly contaminated or treated (BIOS M, BIOS B, BIOA M, BIOA B). The ecotoxicity tests confirmed that bioremediation as such was incipient also from the toxicity removal viewpoint. In general terms, bioremediation of clayey soils with a complex contaminant such as crude oil raise considerable challenges, both from the soil characteristics as well as the nature of the contaminant. The processes are apparently slow and require auxiliary tools to speed up the process. In the future, it is recommended to test the use of different surfactants, particularly bio-surfactants.
|
114 |
Provas de cargas estáticas instrumentadas em profundidade em estacas escavadas de grande diâmetro (Estações). / Static loading tests instrumented in large diameter drilled piles.Danilo Costa de França 30 September 2011 (has links)
Objetivou-se estudar o comportamento de estacas escavadas de grande diâmetro em uma obra de um Shopping Center na cidade de São Paulo. As estacas foram submetidas a carregamentos axiais de compressão, sendo que as estacas foram instrumentadas em profundidade. Utilizou-se de teorias amplamente conhecidas no meio técnico com o propósito de interpretar as curvas carga vs recalque, obtendo-se resultados como os diagramas de transferência de carga ao longo do fuste e atrito lateral unitário, gráficos do produto ES das estacas ensaiadas, gráficos de rigidez das estacas e as duas relações modificadas de Cambefort. O presente trabalho visa conseguir parâmetros que pudessem proporcionar uma redução no comprimento das estacas em obra e apresentar resultados que auxiliem os projetistas no dimensionamento de fundações usando-se estacas escavadas de grande diâmetro, sempre tendo cuidado e critério na extrapolação dos resultados em solos diferentes dos apresentados aqui. / The objective of this Msc Thesis is to study the behavior of large diameter drilled pile in the construction of a shopping mall in Sao Paulo. The piles were subjected to axial compression loads and instrumented in depth. Widely known theories were used to interpret load vs settlement curves, obtaining such results as transfer loads diagrams along the shaft and lateral friction unit, ES product and stiffness grafics of tested piles and two modified Cambefort Laws. This paper aims to achieve parameters that will allow a reduction in pile lengths and to present results that will aid designers in the design of large diameter drilled pile, provided that the needed care is taken when extrapolating results to soils of different geological origins from those presented here.
|
115 |
Static analysis of implicit control flow: resolving Java reflection and Android intentsSILVA FILHO, Paulo de Barros e 04 March 2016 (has links)
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T12:21:17Z
No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
2016-pbsf-msc.pdf: 596422 bytes, checksum: be9375166fe6e850180863e08b7997d8 (MD5) / Made available in DSpace on 2016-08-08T12:21:17Z (GMT). No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
2016-pbsf-msc.pdf: 596422 bytes, checksum: be9375166fe6e850180863e08b7997d8 (MD5)
Previous issue date: 2016-03-04 / FACEPE / Implicit or indirect control flow allows a transfer of control to a procedure without having
to call the procedure explicitly in the program. Implicit control flow is a staple design pattern
that adds flexibility to system design. However, it is challenging for a static analysis to compute
or verify properties about a system that uses implicit control flow.
When a static analysis encounters a procedure call, the analysis usually approximates
the call’s behavior by a summary, which conservatively generalizes the effects of any target of
the call. In previous work, a static analysis that verifies security properties was developed for
Android apps, but failed to achieve high precision in the presence of implicit control flow.
This work presents static analyses for two types of implicit control flow that frequently
appear in Android apps: Java reflection and Android intents. In our analyses, the summary
of a method is the method’s signature. Our analyses help to resolve where control flows and
what data is passed. This information improves the precision of downstream analyses, which no
longer need to make conservative assumptions about implicit control flow, while maintaining the
soundness.
We have implemented our techniques for Java. We enhanced an existing security analysis
with a more precise treatment of reflection and intents. In a case study involving ten real-world
Android apps that use both intents and reflection, the precision of the security analysis was
increased on average by two orders of magnitude. The precision of two other downstream
analyses was also improved. / Fluxo de controle implícito, ou indireto, permite que haja uma transferência de controle para um procedimento sem que esse procedimento seja invocado de forma explícita pelo programa. Fluxo de controle implícito é um padrão de projeto comum e bastante utilizado na prática, que adiciona flexibilidade no design de um sistema. Porém, é um desafio para uma análise estática ter que computar e verificar propriedades sobre um sistema que usa fluxos de controle implícito. Quando uma análise estática encontra uma chamada a uma procedimento, geralmente a análise aproxima o comportamento da chamada de acordo com o sumário do método, generalizando de uma forma conservadora os efeitos da chamada ao procedimento. Em trabalho anterior, uma análise estática de segurança foi desenvolvida para aplicações Android, mas falhou em obter uma alta precisão na presença de fluxos de controle implícito. Este trabalho apresenta uma análise estática para dois tipos de fluxos de controle implícito que aparecem frequentemente em aplicações Android: Java reflection e Android intents. Nas nossas análises, o sumário de um método é a assinatura do método. Nossas análises ajudam a descobrir para onde o controle flui e que dados estão sendo passados. Essa informação melhora a precisão de outras análises estáticas, que não precisam mais tomar medidas conservadoras na presença de fluxo de controle implícito. Nós implementamos a nossa técnica em Java. Nós melhoramos uma análise de segurança existente através de um tratamento mais preciso em casos de reflection e intents. Em um estudo de caso envolvendo dez aplicações Android reais que usam reflection e intents, a precisão da análise de segurança aumentou em duas ordens de magnitude. A precisão de outras duas análises estáticas também foi melhorada.
|
116 |
Uma investigação da correspondência entre mutações e avisos relatados por ferramenta de análise estática / Investigating the correspondence between mutations and static warnings reported by static analysis toolAraújo, Claudio Antônio de 04 December 2015 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-04-18T13:33:01Z
No. of bitstreams: 2
Dissertação - Cláudio Antônio de Araújo - 2015.pdf: 6483664 bytes, checksum: bf12aa2fbdc30e9456d8036d9cc24fd1 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-04-18T13:34:40Z (GMT) No. of bitstreams: 2
Dissertação - Cláudio Antônio de Araújo - 2015.pdf: 6483664 bytes, checksum: bf12aa2fbdc30e9456d8036d9cc24fd1 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-04-18T13:34:40Z (GMT). No. of bitstreams: 2
Dissertação - Cláudio Antônio de Araújo - 2015.pdf: 6483664 bytes, checksum: bf12aa2fbdc30e9456d8036d9cc24fd1 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Previous issue date: 2015-12-04 / Traditionally, mutation testing is used for test set and/or test criteria evaluation
once it is considered a good fault model. Since static analyzers, in general, report a
substantial number of false positive warnings,
Objective: This paper uses mutation testing for evaluating an automated static analyzer.
The intention of this study is to define a prioritization approach of static warnings based
on their correspondence with mutations.
Method: We used mutation operators as a fault model to evaluate the direct correspondence
between mutations and static warnings. The main advantage of using mutation operators
is that they generate a large number of programs containing faults of different types,
which can be used to decide the ones most probable to be detected by static analyzers.
Results: The results obtained for a set of open-source programs indicate that: 1) correspondence
exists when considering specific mutation operators such that static warnings
may be prioritized based on their correspondence level with mutations; 2) correspondence
exists when considering specific warning categories such that, assuming we perform static
analysis considering these warning categories, mutation operators may be prioritized
based on their correspondence level with warnings.
Conclusion: It is possible to provide an incremental testing strategy aiming at reducing
the cost of both static analysis and mutation testing using the correspondence information.
On the other hand, knowing that Mutation Test has a high application cost, we identified
mutations of some specific mutation operators, which an automatic static analyzer is not
able to detect. Therefore, this information can used to prioritize the order of applying
mutation operators incrementally considering, firstly, those with no correspondence with
static warnings. / Considerando que: 1) analisadores estáticos automatizados são ferramentas
que emitem avisos, sem que seja necessário a execução do produto de software correspondente,
alertando sobre a presença de possíveis defeitos no código. Uma das críticas a
tais ferramentas é a grande quantidade de avisos falsos positivos emitidos, isto é, avisos
relatados que não correspondem a defeitos reais, mas demandam tempo de análise por
parte do desenvolvedor; 2) tradicionalmente, o Teste de Mutação tem sido utilizado para
avaliar (e melhorar) a qualidade de conjuntos de casos de teste e/ou de critérios de teste,
uma vez que é considerado um bom gerador de defeitos de software.
Objetivo: O objetivo do presente trabalho é investigar a correspondência entre avisos
estáticos e mutações e, com isso, verificar quais avisos estão mais relacionados a esses
possíveis defeitos (mutações) e, assim, possivelmente, serem avisos verdadeiros positivos.
Método: Os operadores de mutação são utilizados neste trabalho como um modelo de
defeitos para avaliar a correspondência entre mutações e avisos estáticos. A principal
vantagem da utilização de operadores de mutação é que eles geram um grande número de
programas com defeitos de diferentes tipos. Esses tipos de defeitos são usados em estudos
experimentais para investigar a capacidade dos analisadores estáticos em detectá-los.
Resultados: Os resultados obtidos com estudos experimentais para um conjunto de
sistemas de código aberto indicam que existe correspondência quando são considerados
alguns operadores de mutação da μJava e alguns tipos de avisos da FindBugs.
Conclusão: Os resultados obtidos podem ser utilizados de duas maneiras distintas:
Primeiro, é fornecida uma abordagem de análise incremental dos avisos, de acordo com
o grau de correspondência com mutações. Segundo, com o objetivo de reduzir o custo do
Teste de Mutação é fornecida uma abordagem de priorização incremental para análise dos
mutantes dos operadores cujas mutações são menos “percebidas” pela FindBugs.
|
117 |
Influência do acoplamento modal no comportamento estático não linear de painéis cilíndricos / Influence of modal coupling on static non-linear behavior of cylindrical panelsMorais, Jordana Lopes 29 June 2017 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-08-16T11:51:58Z
No. of bitstreams: 2
Dissertação - Jordana Lopes Morais - 2017.pdf: 10502975 bytes, checksum: eb09d5eefe42f47e2eed7a16b877ce9e (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-08-16T12:53:54Z (GMT) No. of bitstreams: 2
Dissertação - Jordana Lopes Morais - 2017.pdf: 10502975 bytes, checksum: eb09d5eefe42f47e2eed7a16b877ce9e (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-08-16T12:53:54Z (GMT). No. of bitstreams: 2
Dissertação - Jordana Lopes Morais - 2017.pdf: 10502975 bytes, checksum: eb09d5eefe42f47e2eed7a16b877ce9e (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2017-06-29 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / The objective of this work is the study of modal coupling in the field of transversal displacement and the search for the least amount of degrees of freedom possible to compose the modal expansion, in order to correctly represent the nonlinear behavior in cylindrical panels simply supported and submitted to a static axial loading. Nonlinear equations are deduced from their energy functionals, represented by the Airy stress function and the the strain field is based on the nonlinear Donnell shallow shell theory. The transverse displacement field is determined by the perturbation method, obtaining the non-linear modes that couple to the linear mode of vibration, then the non-linear equilibrium equations are discretized by the Galerkin method. Linear and non-linear analyzes were developed for many types of cylindrical panel geometries, varying values for radius, circumferential length and axial length. The linear analyzes aim to find the buckling modes with their respective buckling loads. In the nonlinear analysis the behavior of the cylindrical panels and the influences of the nonlinear couplings present in the transverse displacement field are studied in order to find a modal expansion that represents the correct behavior of the cylindrical panel with the least amount of possible coupled modes. The most appropriate modal solution is formed by a vibration mode described by sine-type harmonic functions, and a mode composed of harmonic functions of the cosine type. Then, from the modal expansion found, we study the static stability of the cylindrical panels by means of the equilibrium paths and the surfaces of total potential energy. In order to confirm the validity of the modal expansion that is presented as the most adequate, we investigate the static stability of cylindrical panels for two other models of modal solution. Also, the influence of initial geometric imperfections on the nonlinear behavior of cylindrical panels and the static stability of their equilibrium paths is verified. / O trabalho tem como objetivo o estudo do acoplamento modal no campo de deslocamento transversal e a busca pela menor quantidade de graus de liberdade possível para compor a expansão modal, de forma a representar corretamente o comportamento não linear em painéis cilíndricos simplesmente apoiados e submetidos à um carregamento axial estático. As equações não lineares de movimento são deduzidas a partir dos funcionais de energia, representadas pela
função de tensão de Airy e pelos campos de deformações que seguem a teoria não linear de Donnell para cascas abatidas. O campo de deslocamento transversal é determinado através do método da perturbação, obtendo os modos não lineares que se acoplam ao modo linear de vibração, então as equações não lineares de equilíbrio são discretizadas pelo método de Galerkin. Desenvolveu-se neste trabalho análises lineares e não lineares para vários tipos de geometrias de painéis cilíndricos, variando valores para o raio, o comprimento circunferencial e o comprimento axial. As análises lineares têm como finalidade encontrar os modos de flambagem com suas respectivas cargas de flambagem. Nas análises não lineares estuda-se o comportamento dos painéis cilíndricos avaliando-se as interferências geradas pelos acoplamentos não lineares, presentes no campo de deslocamento transversal, a fim de encontrar uma expansão modal que represente o comportamento correto do painel cilíndrico com a menor quantidade de modos acoplados possível. A solução modal que se apresenta mais adequada é formada por um modo de vibração descrito por funções harmônicas do tipo seno, e um modo composto por funções harmônicas do tipo cosseno. Então, a partir da expansão modal encontrada, estuda-se a estabilidade estática dos painéis cilíndricos por meio dos caminhos de equilíbrio e das superfícies de energia potencial total. A fim de confirmar a validade da expansão modal que se apresenta como a mais adequada, investiga-se a estabilidade estática de painéis cilíndricos para outros dois modelos de solução modal. Ainda, verifica-se a influência de imperfeições geométricas iniciais no comportamento não linear dos painéis cilíndricos e na estabilidade estática dos seus caminhos de equilíbrio.
|
118 |
Análise estrutural estática por elementos finitos de um chassi veicular tipo spaceframe / Structural analiysis by static finite elements of a vehicular chassis type spaceframePereira, Clezidan Núcio 25 August 2016 (has links)
Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-03-20T11:44:08Z
No. of bitstreams: 2
Dissertação - Clezidan Núcio Pereira - 2016.pdf: 15290209 bytes, checksum: d8d29db8f1bebf00177f3f9d2ffda3d6 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-20T13:56:14Z (GMT) No. of bitstreams: 2
Dissertação - Clezidan Núcio Pereira - 2016.pdf: 15290209 bytes, checksum: d8d29db8f1bebf00177f3f9d2ffda3d6 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-03-20T13:56:15Z (GMT). No. of bitstreams: 2
Dissertação - Clezidan Núcio Pereira - 2016.pdf: 15290209 bytes, checksum: d8d29db8f1bebf00177f3f9d2ffda3d6 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2016-08-25 / Regarded as the main subsystem of a vehicle, the chassis are the link between the other subsystems and must also support multiple static and dynamic loads with stiffness, reliability and security.
In this line, this paper presents the development and analysis of a vehicle three-dimensional structure spaceframe type, due to the complexity of the structure were used computational tooling in order to simulate the behavior of statically tubular structure, with the main objective to certify the reliability of the developed project, ensuring safety to drivers.
The structure, existing, was modeled in CAD through SOLIDWORKS software, and their simulations were performed using the finite element method via commercial software ANSYS®. The simulationmethodology had the precise definition of loads and displacement constraints to the model in order to make the most plausible model possible. Were then performed computational analysis of rollover and frontal impact in the model (80 km/h e 60 km/h). Through the simulations, it was possible analyze the displacements arising from the critical situations in which the vehicle was submitted are consistent with what is recommended by regulating rules and bibliographies, with this in view that the chassis developed empirically and computationally simulated showed satisfactory results as its reliability and safety, are not required increment bars or modifying the system geometry. / Tido como o principal subsistema de um veículo, os chassis são o elo entre os demais subsistemas e ainda devem suportar diversos carregamentos estáticos e dinâmicos com rigidez, confiabilidade e segurança.
Nesta linha, o presente trabalho apresenta o desenvolvimento e análise de uma estrutura veicular tridimensional do tipo spaceframe, na qual, devido a complexidade da estrutura foram utilizados ferramentais computacionais no intuito de simular estaticamente o comportamento da estrutura tubular, com o objetivo principal de certificar a confiabilidade do projeto desenvolvido, garantindo a segurança aos condutores.
A estrutura, já existente, foi então modelada em CAD, através do software SOLIDWORKS, e suas simulações foram realizadas através do método de elementos finitos via o software comercial ANSYS®. A metodologia de simulação contou com a definição precisa dos carregamentos e restrições de deslocamento impostas ao modelo, a fim de tornar o modelo o mais verossímil possível. Foram então realizadas análises computacionais de capotamento e impacto frontal no modelo (80 km/h e 60 km/h). Através das simulações realizadas, fora possível analisar, que os deslocamentos oriundos das situações críticas na qual o veículo foi
submetido, estão condizentes com o que se recomenda por normas regulamentadoras e bibliografias pertinentes, com isso, tendo em vista que o chassi desenvolvido empiricamente e simulado computacionalmente revelou resultados satisfatórios quanto sua confiabilidade e segurança, não são necessárias incremento de barras ou modificação da geometria do sistema.
|
119 |
Estudo, definição e implementação de um sistema de recomendação para priorizar os avisos gerados por ferramentas de análise estática / Study, definition and implementation a recommendation system to prioritize warnings generated by static analysis toolsMendonça, Vinícius Rafael Lobo de 19 November 2014 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-03-24T14:51:12Z
No. of bitstreams: 2
Dissertação - Vinícius Rafael Lobo de Mendonça - 2014.pdf: 4110263 bytes, checksum: 2e2be342a6c3301f64fa41a675b85ba9 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-03-24T14:55:54Z (GMT) No. of bitstreams: 2
Dissertação - Vinícius Rafael Lobo de Mendonça - 2014.pdf: 4110263 bytes, checksum: 2e2be342a6c3301f64fa41a675b85ba9 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-03-24T14:55:54Z (GMT). No. of bitstreams: 2
Dissertação - Vinícius Rafael Lobo de Mendonça - 2014.pdf: 4110263 bytes, checksum: 2e2be342a6c3301f64fa41a675b85ba9 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Previous issue date: 2014-11-19 / Recommendation systems try to guide the user carrying out a task providing him with
useful information about it. Considering the context of software development, programs
are ever increasing, making it difficult to carry out a detailed verification of warnings
generated by automatic static analyzers. In this work, we propose a recommendation
system, called WarningsFIX, which aims at helping developers on handling the high
number of warnings reported by automatic static analyzers. The back end of this system is
composed of seven open-source static analysis tools collecting data, which subsequently
are used for visualizing information through TreeMaps. The intention is to combine the
outcomes of different static analyzers such that WarningsFIX recommends the analysis
of warnings with highest chance to be a true positive. Therefore, the information related
to warnings are displayed in four levels of detail: program, package, class, and line. The
nodes may be classified in the first three levels: amount of warnings, number of tools and
suspicions rate. An exploratory study was carried out and the limitations, advantages and
disadvantages of the proposed approach were discussed. / O Sistema de Recomendação apoia um usuário na realização de uma tarefa. Considerando
o atual contexto do desenvolvimento de software, programas estão cada vez maiores,
tornando difícil a realização de uma avaliação detalhada dos avisos gerados pelos
analisadores estáticos. Nesse trabalho, propõe-se um sistema de recomendação, chamado
WarningsFIX, que tem objetivo de ajudar os desenvolvedores manipular o alto nível dos
avisos emitidos pelos analisadores estáticos. O back end desse sistema é composto de sete
ferramentas de análise estática de código aberto para coleta de dados, que são visualizados
por meio de TreeMap. O objetivo é combinar os resultados de diferentes analisadores
estáticos, assim recomendar a análise de avisos com alta chance de ser verdadeiro positivo.
Portanto, a informações relacionadas ao nó são visualizadas em quatro níveis de
visualização: programa, pacote, classe e linha. Além disso, os nós podem ser classificados
em três tipos: quantidade de avisos, quantidade de ferramentas e taxa de suspeição. Um
estudo exploratório foi realizado e as limitações, vantagens e desvantagens da abordagem
proposta foram discutidas.
|
120 |
Avaliando a dívida técnica em produtos de código aberto por meio de estudos experimentais / Assesing the technical debt in open source products through experimental studiesVieira, Igor Rodrigues 19 November 2014 (has links)
Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-03-25T18:00:07Z
No. of bitstreams: 3
Dissertação - Igor Rodrigues Vieira - 2014.pdf: 3955314 bytes, checksum: 10653cb9217fd4e5673366c0dec73383 (MD5)
Dissertação - Igor Rodrigues Vieira - 2014.zip: 294065 bytes, checksum: f01004b14dc2c0cec6bc6eb4898db980 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Rejected by Erika Demachki (erikademachki@gmail.com), reason: on 2015-03-25T18:01:43Z (GMT) / Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-03-25T18:03:23Z
No. of bitstreams: 3
Dissertação - Igor Rodrigues Vieira - 2014.pdf: 3955314 bytes, checksum: 10653cb9217fd4e5673366c0dec73383 (MD5)
Dissertação - Igor Rodrigues Vieira - 2014.zip: 294065 bytes, checksum: f01004b14dc2c0cec6bc6eb4898db980 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-03-25T18:04:48Z (GMT) No. of bitstreams: 3
Dissertação - Igor Rodrigues Vieira - 2014.pdf: 3955314 bytes, checksum: 10653cb9217fd4e5673366c0dec73383 (MD5)
Dissertação - Igor Rodrigues Vieira - 2014.zip: 294065 bytes, checksum: f01004b14dc2c0cec6bc6eb4898db980 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-03-25T18:04:48Z (GMT). No. of bitstreams: 3
Dissertação - Igor Rodrigues Vieira - 2014.pdf: 3955314 bytes, checksum: 10653cb9217fd4e5673366c0dec73383 (MD5)
Dissertação - Igor Rodrigues Vieira - 2014.zip: 294065 bytes, checksum: f01004b14dc2c0cec6bc6eb4898db980 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Previous issue date: 2014-11-19 / The metaphor of technical debt (TD) is very useful for Software Engineering, it is directly
related to the context of evolution and maintenance in the life cycle of a product. It can be
understood as a relation between costs and effects, of short and long term, associated with
project decisions during the software development process. Currently, large companies
and some government sectors still have restrictions in adopting open source products by
uncertainties related to its quality and reliability. In this context, this study aims to evaluate
the technical debt in open source products in order to demonstrate the feasibility of this
approach to evaluate the software quality. For this, were performed experimental studies,
contemplating the automated data collection for a significant set of products open source,
having as input its source code. These products were evaluated by SonarQube Platform,
which enables collect several metrics about the quality of the source code - including
the technical debt. The interpretation of the collected data allowed the analysis of the
TD evolution for these products, the classification of the projects and the verification of
the representativeness of the quality axis that make up the TD. The results suggest that
most of the projects evaluated have shown decreased TD along their versions and they
showed slightly elevated values of the metric. Another contribution is that the quality axis
Coverage, Violations and Complexity is presented as the main contributors to the TD’s
increase of from the set of product evaluated. It was also possible to verify the existence of
a correlation between the TD implementation and the SQALE methodology, with regard
assessing software quality evaluating. / A metáfora da dívida técnica (DT) apresenta-se muito útil para Engenharia de Software,
estando diretamente relacionada ao contexto de evolução e manutenção existentes no ciclo
de vida de um produto. Ela pode ser entendida como uma relação entre custos e
efeitos, de curto e longo prazos, associados a decisões de projeto durante o processo de
desenvolvimento de software. Atualmente, grandes empresas e alguns setores do governo
ainda possuem restrições quanto à adoção de produtos de código aberto por incertezas relacionadas
a sua qualidade e confiabilidade. Nesse contexto, o presente trabalho tem por
objetivo avaliar a dívida técnica em produtos de código aberto, no intuito de demonstrar
a possibilidade de utilização dessa abordagem para avaliação da qualidade de software.
Para tanto, foram realizados estudos experimentais, contemplando a coleta automatizada
de dados para um conjunto expressivo de produtos de código aberto, tendo como entrada
o respectivo código fonte. Esses produtos foram submetidos à avaliação da Plataforma
SonarQube, a qual possibilita coletar diversas métricas sobre a qualidade do código fonte
– entre elas a dívida técnica (technical debt). A interpretação dos dados coletados possibilitou
a análise da evolução da DT desses produtos, a classificação dos projetos e a
verificação da representatividade dos eixos de qualidade que compõem a DT. Os resultados
sugerem que a maioria dos projetos avaliados demonstrou diminuição da DT, ao longo
de suas versões, e apresentou valores pouco elevados para a métrica. Outra contribuição
consiste que os eixos de qualidade “Cobertura”, “Violações” e “Complexidade” foram
identificados como aqueles que mais contribuem para o incremento da DT do conjunto de
produtos avaliados. Foi possível, também, verificar a existência de uma correlação entre a
implementação da DT estudada e a metodologia SQALE, no que diz respeito à avaliação
da qualidade de software.
|
Page generated in 0.0456 seconds