461 |
KL-cut based remapping / Remapeamento baseado em cortes KLMachado, Lucas January 2013 (has links)
Este trabalho introduz o conceito de cortes k e cortes kl sobre um circuito mapeado, em uma representação netlist. Esta nova abordagem é derivada do conceito de cortes k e cortes kl sobre AIGs (and inverter graphs), respeitando as diferenças entre essas duas formas de representar um circuito. As principais diferenças são: (1) o número de entradas em um nodo do grafo, e (2) a presença de inversores e buffers de forma explícita no circuito mapeado. Um algoritmo para enumerar cortes k e cortes kl é proposto e implementado. A principal motivação de usar cortes kl sobre circuitos mapeados é para realizar otimizações locais na síntese lógica de circuitos digitais. A principal contribuição deste trabalho é uma abordagem nova de remapeamento iterativo, utilizando cortes kl, reduzindo a área do circuito e respeitando as restrições de temporização do circuito. O uso de portas lógicas complexas pode potencialmente reduzir a área total de um circuito, mas elas precisam ser escolhidas corretamente de forma a manter as restrições de temporização do circuito. Ferramentas comerciais de síntese lógica trabalham melhor com portas lógicas simples e não são capazes de explorar eventuais vantagens em utilizar portas lógicas complexas. A abordagem proposta de remapeamento iterativo utilizando cortes kl é capaz de explorar uma quantidade maior de portas lógicas com funções lógicas diferentes, reduzindo a área do circuito, e mantendo as restrições de temporização intactas ao fazer uma checagem STA (análise temporal estática). Resultados experimentais mostram uma redução de até 38% de área na parte combinacional de circuitos para um subconjunto de benchmarks IWLS 2005, quando comparados aos resultados de ferramentas comerciais de síntese lógica. Outra contribuição deste trabalho é um novo modelo de rendimento (yield) para fabricação de circuitos integrados (IC) digitais, considerando problemas de resolução da etapa de litografia como uma fonte de diminuição do yield. O uso de leiautes regulares pode melhorar bastante a resolução da etapa de litografia, mas existe um aumento de área significativo ao se introduzir a regularidade. Esta é a primeira abordagem que considera o compromisso (trade off) de portas lógicas com diferentes níveis de regularidade e diferentes áreas durante a síntese lógica, de forma a melhorar o yield do projeto. A ferramenta desenvolvida de remapeamento tecnológico utilizando cortes kl foi modificada de forma a utilizar esse modelo de yield como função custo, de forma a aumentar o número de boas amostras (dies) por lâmina de silício (wafer), com resultados promissores. / This work introduces the concept of k-cuts and kl-cuts on top of a mapped circuit in a netlist representation. Such new approach is derived from the concept of k-cuts and klcuts on top of AIGs (and inverter graphs), respecting the differences between these two circuit representations. The main differences are: (1) the number of allowed inputs for a logic node, and (2) the presence of explicit inverters and buffers in the netlist. Algorithms for enumerating k-cuts and kl-cuts on top of a mapped circuit are proposed and implemented. The main motivation to use kl-cuts on top mapped circuits is to perform local optimization in digital circuit logic synthesis. The main contribution of this work is a novel iterative remapping approach using klcuts, reducing area while keeping the timing constraints attained. The use of complex gates can potentially reduce the circuit area, but they have to be chosen wisely to preserve timing constraints. Logic synthesis commercial design tools work better with simple cells and are not capable of taking full advantage of complex cells. The proposed iterative remapping approach can exploit a larger amount of logic gates, reducing circuit area, and respecting global timing constraints by performing an STA (static timing analysis) check. Experimental results show that this approach is able to reduce up to 38% in area of the combinational portion of circuits for a subset of IWLS 2005 benchmarks, when compared to results obtained from logic synthesis commercial tools. Another contribution of this work is a novel yield model for digital integrated circuits (IC) manufacturing, considering lithography printability problems as a source of yield loss. The use of regular layouts can improve the lithography, but it results in a significant area overhead by introducing regularity. This is the first approach that considers the tradeoff of cells with different level of regularity and different area overhead during the logic synthesis, in order to improve overall design yield. The technology remapping tool based on kl-cuts developed was modified in order to use such yield model as cost function, improving the number of good dies per wafer, with promising interesting results.
|
462 |
Método UFRGS de previsão de capacidade de carga em estacas : análise de provas de carga estáticas instrumentadas / UFRGS method for pile bearing capacity prediction : static instrumented load testsLangone, Marcelo Júlio January 2012 (has links)
Recentemente foi desenvolvido na Universidade Federal do Rio Grande do Sul um método racional para previsão de capacidade de carga em fundações profundas. Denominado de método UFRGS, este procedimento considera conceitos de energias envolvidos durante o ensaio SPT. No presente trabalho, realizou-se estudo da precisão das estimativas fornecidas pela aplicação do método com intuito de compreender, averiguar, ajustar e validar seu uso na prática de engenharia. Para tal, foi gerado um banco de dados de provas de carga estáticas instrumentadas com base na bibliografia nacional e internacional, sendo este constituído de 25 casos em estacas metálicas, 42 em escavadas, 12 do tipo hélice contínua e 10 em prémoldadas. Considerando a resistência mobilizada por atrito lateral, ponta, resistência total e curvas de mobilização, foram gerados gráficos expressando os resultados obtidos pelo método e os resultados medidos nas provas de carga. Adicionalmente, apresenta-se uma comparação com resultados fornecidos por métodos consagrados de previsão de comportamento em estacas: os métodos de Aoki-Velloso, Décourt & Quaresma e interpretação teórica. De maneira geral, o método UFRGS apresentou subestimativas e baixa dispersão para o atrito lateral e uma superestimativa acompanhada de maior dispersão para a ponta das estacas. Da análise dos resultados, verifica-se que o método captura os mecanismos de mobilização de resistência desenvolvidos nas estacas, e reproduz resultados globais compatíveis com os métodos empregados na prática de engenharia. Além disso, apresenta destacada potencialidade haja vista à facilidade de melhoria dos resultados, que através da calibração da energia transferida pelo ensaio SPT, possibilita aplicação e compartilhamento entre diferentes práticas internacionais. Por fim, no âmbito de projeto, destaca-se que dentre todos os métodos empregados, o método estudado forneceu menor dispersão de atrito lateral. Em projetos que envolvem cálculos de risco e probabilidade de ruína, chama-se atenção de que melhorias discretas nos valores de dispersões geram ganho significativo na diminuição dos riscos. / Recently, a rational method for predicting the pile bearing capacity was developed at Federal University of Rio Grande do Sul in Brazil: the so called method UFRGS which considers the concepts of soil dynamics and principles of energy conservation in the interpretation of SPT test results. The present work analyses the accuracy of predicted bearing capacity values with the aim of understanding, verifying, and validating its application in engineering practice. Thus a database of static and instrumented load tests was built from national and international case studies; the data is composed by 25 load tests executed on steel piles, 42 on drilled piles, 12 on continuous flight auger piles and 10 on precast piles. The mobilized contributions of skin friction, tip resistance, and load mobilization curves of each pile were evaluated and compared to actual predictions using the results from UFRGS method. Furthermore, a series of charts were prepared showing comparisons between results of the UFRGS method and those obtained from other predictive methods of pile bearing capacity adopted in the Brazilian engineering practice: Aoki-Velloso and Décourt & Quaresma, as well as a method based on theoretical interpretation of pile response. In general, the UFRGS method underestimated the results for skin friction while slightly overestimate tip resistance and the scatter of predictions is generally lower than other methods. From these analyses, it was possible to conclude that the method captures the mobilization mechanisms developed around piles, and gives predictions which are in the same range as those produced by other methods adopted in Brazil. The UFRGS method has marked potential for being used in design practice given the fact that predictions can be improved by calibrating the SPT energy, which would allow to refine the predictions according to different practices of used worldwide. Finally it is important to stress that the UFRGS method showed the littlest scatter for skin friction assessment which may provide to be significant in risk analysis type of approach.
|
463 |
Otimização de um misturador estático para a produção de biodiesel / OPTIMIZATION OF A STATIC MIXER FOR BIODIESEL PRODUCTION.Sant anna, Mikele Cândida Sousa de 27 January 2012 (has links)
Conselho Nacional de Desenvolvimento Científico e Tecnológico / The computational fluid dynamics is a technique used for the analysis of fluid flow systems By this technique, it is possible to simulate new geometries of equipments as well as optimize one in use. In this research, we propose the development of new configurations for static mixers. Is proposed 27 simulations were conducted in a 24 factorial planning with 3 central points and 8 axial points, varying the thickness and the depth of the groove and the distance between the grooves, in order to obtain the velocity gradient as response. One could obtain two optimal settings were obtained. Once the machining of the optimal geometry was difficult, modifications were proposed to facilitate the construction of the mixer. So 16 configurations were obtained and the simplest one was built to be coupled to an experimental test system. The simulated and the experimental values of the velocity gradient were compared. One set up two tubular reactor systems with and without the static mixer were built for the experiments to obtain biodiesel. In these experiments, a 23 factorial planning was done, varying alcohol:oil ratio, catalyst concentration and temperature. The static mixer presented the value of the velocity gradients of 2288.93s-1, being 4,01% lower than the value found in the (2384.61s-1). A comparison of the experiments showed that the utilization of the mixer increased the ester conversion. The equation obtained from the empirical model of conversion to ester (Y) had an adjustment coefficient of 0.97 for the smooth tube reactor and 0.94 for the reactor with mixer. / A fluidodinâmica computacional é uma técnica que permite a análise de sistemas envolvendo o escoamento de fluidos. Através desta técnica é possível simular novas geometrias de equipamentos, bem como otimizar os já utilizados. Neste trabalho, propõe-se o desenvolvimento de novas configurações para misturadores estáticos. Foram realizadas 27 simulações de um planejamento fatorial 24 com 3 pontos centrais e 8 pontos axiais variando o comprimento equivalente, a espessura, a altura das saliências e a distância entre cada saliência para obtenção do gradiente de velocidade como resposta. Foram obtidas duas configurações ótimas. Com a dificuldade de usinagem da configuração ótima, foram propostas modificações para facilitar a construção do misturador; assim, 14 configurações foram obtidas e a mais simples foi construída, para ser acoplada a um sistema de testes experimentais. Foram comparados os valores do gradiente de velocidade simulado e experimental. Foram construídos dois sistemas de reatores tubulares com e sem o misturador estático construído para a realização dos experimentos de obtenção de biodiesel. Para estes experimentos foi realizado um planejamento fatorial 23, variando os seguintes parâmetros: razão álcool:óleo; concentração de catalisador e temperatura. O misturador construído apresentou o valor do gradiente de velocidade de 2288,93s-1, sendo 4,01% inferior ao valor encontrado na simulação (2384,61s-1). Após os experimentos foi constatado que com a utilização do misturador a conversão em ésteres é maior. A equação obtida para o modelo empírico da conversão em éster (Y) teve um coeficiente de ajuste de 0,97 para o reator com tubo liso e 0,94 para o reator com misturador.
|
464 |
Influência de carregamentos aerodinâmicos na estabilidade direcional de veículos rodoviários / Influence of aerodynamic loads on road vehicle directional stabilityGerson Luiz Brand 09 December 2010 (has links)
A busca por formas mais eficientes quanto ao arrasto aerodinâmico de veículos rodoviários resultou recentemente em uma maior quantidade de pesquisas para compreensão do escoamento sobre o veículo quando este apresenta um ângulo de escorregamento aerodinâmico diferente de zero. O presente trabalho apresenta o desenvolvimento de uma metodologia para análise linear de estabilidade do modelo dinâmico do veículo sob manobras de baixa severidade e considerando carregamentos aerodinâmicos. Um modelo dinâmico não-linear simplificado foi também desenvolvido utilizando dados de um veículo típico visando à comparação entre as metodologias. Ensaios experimentais em túnel de vento e simulações de fluidodinâmica computacional foram realizados utilizando-se uma geometria simplificada de um veículo visando à obtenção de valores dos carregamentos aerodinâmicos de força lateral e momento de guinada e à compreensão dos mecanismos de formação dos carregamentos aerodinâmicos. Os resultados obtidos mostram uma boa correlação entre os modelos linear e não-linear e relevante influência dos carregamentos aerodinâmicos de força lateral e momento de guinada na estabilidade estática do sistema. / The research for more efficient shapes regarding road vehicles aerodynamic drag resulted recently in an improved number of researches aiming at the understanding of the flow field over the vehicle when it has an aerodynamic slip angle different of zero. This work presents the development of a methodology for linear stability analysis of a vehicle dynamic model under low severity maneuvers and considering aerodynamic loads. A non-linear dynamic model has also been developed with information from a typical vehicle for comparison between the methodologies. Wind tunnel testing and computational fluid dynamics simulation have been carried out with simplified vehicle geometry in order to measure the aerodynamic side force and yawing moment and provide information for the understanding of the mechanisms generating the aerodynamic loads. The results show a good correlation between the linear and non-linear models and a relevant influence of the aerodynamic side force and yawing moment on the static stability of the system.
|
465 |
Análise da capacidade estática de armazenagem de grãos no Brasil no período de 1980 a 2015 / Analysis of static capacity grain storage in Brazil in the period 1980 to 2015Fernandes, Queli Silvério 26 September 2016 (has links)
Submitted by Jaqueline Silva (jtas29@gmail.com) on 2016-10-18T17:04:13Z
No. of bitstreams: 2
Dissertação - Queli Silvério Fernandes - 2016.pdf: 1375648 bytes, checksum: 2802e9c975aac50366bae452d23a7cc8 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-10-18T17:05:07Z (GMT) No. of bitstreams: 2
Dissertação - Queli Silvério Fernandes - 2016.pdf: 1375648 bytes, checksum: 2802e9c975aac50366bae452d23a7cc8 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-10-18T17:05:07Z (GMT). No. of bitstreams: 2
Dissertação - Queli Silvério Fernandes - 2016.pdf: 1375648 bytes, checksum: 2802e9c975aac50366bae452d23a7cc8 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2016-09-26 / This study has as objective analyze the evolution of the static capacity of grain storage in Brazil by region, compared to the production, from 1980 to 2015. This is a research exploratory in descriptive character, and the technical procedure used was documentary analysis of public reports National Supply Company - CONAB. Data were analyzed in statistical program Statistical Package for Social Sciences - SPSS, version 22.0. Firstly for to analyze the evolution of static storage capacity and of grain yield per region in Brazil, from 1980 to 2015, were performed polynomial regressions. In the second analysis we observed the correlation between the static capacity and the grain production by region, from 1980 to 2015, using the Spearman correlation test, and, to analyze the occurrence of deficit or surplus storage by region was accomplished calculating percentage. Lastly was it described the present situation of the location of warehouses and the predominant type of storage unit in each region. Is Significant the increased static storage capacity of concentrate grains in the last 15 years, however, in disproportion with the rhythm to the rate of growth presented in grain production, presenting static capacity below the production in four regions, being them the Midwest, South, Northeast and North. Already the Southeast region has a higher static capacity than the capacity productive current. In Brazil it was observed since 2002 the increase in the deficit of static capacity of storage which in 2015 presented a value of 26%. In Brazil only 14% of the static capacity of storage is located on farms and most of the static capacity concentrates on units collecting and intermediate. / Este estudo tem como objetivo analisar a evolução da capacidade estática de armazenagem de grãos no Brasil por região, comparando com a produção, no período de 1980 a 2015. Esta é uma pesquisa exploratória de caráter descritivo, e o procedimento técnico utilizado foi a análise documental dos relatórios públicos da Companhia Nacional de Abastecimento - CONAB. Os dados foram analisados no programa estatístico Statistical Package for Social Sciences - SPSS, versão 22.0. Primeiramente para análise da evolução da capacidade estática de
armazenagem e da produção de grãos por região do Brasil, no período de 1980 a 2015, foram realizadas regressões polinomiais. Em segunda análise observou-se a correlação entre a capacidade estática e a produção de grãos por região, no período de 1980 a 2015, com a utilização do teste de correlação de Spearman, e, para analisar a ocorrência de déficit ou superávit de armazenagem por região foi realizado cálculo em porcentagem. Por último foi descrita a atual situação da localização dos armazéns e do tipo de unidade armazenadora predominante em cada região. É significativo o aumento da capacidade estática de armazenagem de grãos concentrado nos últimos 15 anos, porém, em desproporção com o ritmo da taxa de crescimento apresentado na produção de grãos, estando com a capacidade estática de armazenagem inferior a produção em quatro regiões sendo Centro-Oeste, Sul, Nordeste e Norte. Já a região Sudeste apresenta maior capacidade estática que a atual capacidade produtiva. No Brasil observou-se desde 2002 o aumento do déficit da capacidade estática de armazenagem que em 2015 apresentou o valor de 26%. No Brasil somente 14% da capacidade estática de armazenagem está localizada nas fazendas e a maior parte da capacidade estática se concentra nas unidades coletoras e intermediárias.
|
466 |
Perdas gasosas de nitrogênio em sistema de produção de arroz irrigado em várzea tropical / Gaseosus nitrogen losses in rice production system in tropical lowlandCarvalho, Glaucilene Duarte 31 March 2015 (has links)
Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-04-13T13:44:36Z
No. of bitstreams: 2
Tese - Glaucilene Duarte Carvalho - 2015.pdf: 1802347 bytes, checksum: f9637cc5acb406196d502d1d9c90cffc (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-04-13T14:15:11Z (GMT) No. of bitstreams: 2
Tese - Glaucilene Duarte Carvalho - 2015.pdf: 1802347 bytes, checksum: f9637cc5acb406196d502d1d9c90cffc (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-04-13T14:15:11Z (GMT). No. of bitstreams: 2
Tese - Glaucilene Duarte Carvalho - 2015.pdf: 1802347 bytes, checksum: f9637cc5acb406196d502d1d9c90cffc (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2015-03-31 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The objective of this study was to characterize the dynamics of nitrous oxide flows
and estimate the loss of nitrogen in the form of nitrous oxide and ammonia derived from
nitrogen fertilization in rice cultivation in tropical lowland . The experiment was conducted in
the experimental area of Embrapa Rice and Beans, at Palmital Farm, in the municipality of
Goianira - Goiás, Brazil. The N2O flow soil alternated between positive (output) and negative
(inflow) ranging between -83,67 and 470,84 μg N-N2O m-2 h-1; -168,01 to 113, 46 μg N-N2O
m-2 h-1 and -103,54 to 290,08 μg N-N2O m-2 h-1 in the 2011/2012 season, off season and
2012/2013, respectively. N losses by volatilization from the use of nitrogen fertilizer, totaled
210 and 203 mg N-NH3 m-2, T1 and T2, respectively. In the off was, on average, 65,08 mg NNH3
m-2 and 2012/2013 amounted to 218,25; 244,80 e 233,78 mg N-NH3 m-2, at T0, T1 and
T2, respectively. Actual values for emission factor for NH3-N and N-N2O were below (max. EF
= 0.3%) than recommended by the IPCC. / O objetivo deste estudo foi caracterizar a dinâmica dos fluxos de óxido nitroso e
estimar a perda de nitrogênio, na forma de óxido nitroso e amônia, derivada da fertilização
nitrogenada em cultivo de arroz irrigado em várzea tropical. O experimento foi conduzido na
área experimental da Embrapa Arroz e Feijão, na Fazenda Palmital, no município de Goianira-
Goiás, Brasil. Os fluxos de N2O do solo alternaram entre positivos (emissão) e negativos
(influxo), variando entre -83,67 e 470,84 μg N-N2O m-2 h-1; -168,01 a 113, 46 μg N-N2O m-2 h-
1 e -103,54 a 290,08 μg N-N2O m-2 h-1 na safra 2011/2012, entressafra e 2012/2013,
respectivamente. As perdas de N por volatilização de amônia decorrentes da utilização de
fertilizante nitrogenado, totalizaram 210 mg m-2 e 203 mg m-2 de N-NH3, em T1 e T2,
respectivamente. Na entressafra foi, em média, 65,08 mg m-2 de N-NH3 e 2012/2013
totalizaram 218,25 mg m-2, 244,80 mg m-2 e 233,78 de N-NH3, em T0, T1 e T2,
respectivamente. Os valores encontrados de fator de emissão para N-NH3 e N-N2O foram
abaixo (max. FE = 0,3 %) do preconizado pelo IPCC.
|
467 |
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 livreAthos Coimbra Ribeiro 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.
|
468 |
A influência da escoliose idiopática do adolescente e do seu tratamento cirúrgico sobre o equilíbrio semi-estático / The influence of adolescent idiopathic scoliosis and its surgical treatment on the semi-static balanceHildemberg Agostinho Rocha de Santiago 15 December 2011 (has links)
A escoliose idiopática do adolescente (EIA) é uma deformidade da coluna vertebral que acomete indivíduos entre 10 e 19 anos de idade, caracteriza-se por desvios das curvas nos planos frontal e sagital, e rotação intervertebral no plano axial. Devido a sua natureza tridimensional apresenta alterações biomecânicas que geram adaptações em músculos e ligamentos da coluna vertebral, alterando suas funções no controle postural. O tratamento cirúrgico visa corrigir os desvios e manter as curvas no plano sagital, através de artrodeses. Com base nesses conceitos, o objetivo do estudo foi avaliar a influência da escoliose idiopática do adolescente, e da sua correção cirúrgica, sobre o equilíbrio semi-estático. Participaram do estudo 30 adolescentes divididas em dois grupos: Grupo Controle (GC) [n=15], idade média de 15,13 ± 1,59 anos, massa corporal de 51,22 ± 2,5Kg e estatura de 159 ± 3cm, e Grupo Escoliose (GE) [n=15] com média de idade de 15 ± 1,64 anos, massa corporal de 46,1 ± 3,26Kg e estatura de 156 ± 3cm; das quais foi mesurada a oscilação do centro de pressão a partir de uma plataforma de força avaliando as variáveis: desvio ântero-posterior (DAP); desvio médio-lateral (DML); velocidade ântero-posterior (VAP); velocidade médio-lateral (VML) e área (A²). O GC realizou a avaliação do equilíbrio semi-estático em um único momento, enquanto o GE realizou a avaliação do equilíbrio semi-estático no momento pré-operatório (PRÉ) e no 7°, 30°, 60° e 90° dia de pós-operatório (PO). Foi avaliado o grau de correção da curvatura e a relação entre número de vértebras artrodesadas e a oscilação corporal. O equilíbrio semi-estático foi avaliado nas 4 posições de Romberg (P1 - pés separados, P2 - pés unidos, P3 - série parcial e P4 - série completa) nas condições olhos abertos (AO) e olhos fechado (OF). Os resultados mostram que o GE apresentou uma redução média de 49,8° para a curva torácica e 18,14° para as lombares. O número de vértebras artrodesadas foi de 11,26 ± 1,7. O GE apresentou maior oscilação que o GC, com diferença significativa nas quatro variáveis estudadas (DAP, DML, VAP, VML e A²) e em todas as posições/condições. Com base nos resultados verificou-se que o GE oscila mais que o GC tanto no pré-operatório como nos momentos pós-operatório. Na comparação entre as posições, GE oscilou mais no sentido AP em P1 e no sentido ML em P4, também obteve maior valor para a A². Para a VAP P2 foi a mais desafiadora e para VML foi P4. Os dados apontam para uma diminuição gradativa da oscilação com o passar dos dias de PO, porém no 90° dia o GE ainda apresenta valores superiores ao momento PRÉ. Portanto, os resultados mostram que a escoliose afeta o controle postural e que no 90° dia pós-cirúrgico a oscilação postural ainda se apresenta superior ao período pré-operatório, e que pode estar associado a um comprometimento sensório-motor ou a um problema de integração sensorial pré-existente, também relacionado as alterações biomecânicas decorrentes da cirurgia e seu efeito agudo. / The adolescent idiopathic scoliosis (AIS) is a spinal deformity that affects individuals between 10 and 19 years of age, characterized by deviations of the curves in the frontal and sagittal planes, and intervertebral rotation in the axial plane. Due to its three-dimensional nature presents biomechanical changes that cause changes in muscles and ligaments of the spinal column, altering their functions in postural control. Surgical treatment aims to correct the deviations and maintain the curves in the sagittal plane through arthrodesis. Based on these concepts, the study aimed to evaluate the influence of adolescent idiopathic scoliosis and its surgical correction on the semi-static balance. The study included 30 adolescents divided into two groups: control group (CG) [n = 15], mean age 15.13 ± 1.59 years, body mass 51.22 ± 2.5kg and height 159 ± 3cm, and scoliotic group (SG) [n = 15] mean age 15 ± 1.64 years, body mass index of 46.1 ± 3.26kg and height 156 ± 3cm, which was gauged from the oscillation the center of pressure from a force platform to evaluate the variables: anteroposterior deviation (APD); average-lateral devitation (MLD); anteroposterior speed (APS); average-lateral speed (MLS) and area (A²). CG carried out the assessment of the semi-static balance in a single moment, while the SG was evaluated at the preoperative period (PRE) and at the 7th, 30th, 60th and 90th days post operative (PO). We assessed the degree of curvature correction and the relationship between number of vertebrae arthrodesed and body sway. The static balance was assessed in 4 Romberg\'s positions (P1 - feet apart, P2 - feet together, P3 - partial series P4 and - full series) in eyes open conditions (EO) and eyes closed (EC). The results show that the SG had an average reduction of 49.8 degrees for the thoracic curve and 18.14 degrees for the lumbar. The number of vertebrae arthrodesed was 11.26 ± 1.7. The SG showed greater sway than the CG, with a significant difference in the four variables (APD; MLD; APS; MLS and A²) and in all positions/conditions. Based on the results it was found that the SG oscillates more than the CG (preoperatively and postoperatively). Comparing the positions of the SG volunteers ranged more towards AP in P1 and P4 in the ML direction, which also had higher values for the A². For the APS P2 was the most challenging and MLS was P4. The data indicate a gradual decrease of the oscillation over the postoperative days, but in the 90th day the GE still has higher values when the PRE. Therefore, the results show that scoliosis affects postural control and at the 90th day after the surgery the postural oscillation still superior tham postsurgery period, and maybe it can be associated with an impaired sensorimotor or a sensory integration problem pre-existing, related to the biomechanical changes followed from the surgery and its acute effect.
|
469 |
Análise de provas de carga estática em estacas pré-moldadas cravadas na cidade de Curitiba e região metropolitana / Analysis of static loading tests in concrete drive pile carried out in Curitiba city and metropolitan areaAna Paula Fontana Vianna 29 June 2000 (has links)
Nesta dissertação são analisadas 34 provas de carga estática realizadas em estacas pré-moldadas de concreto, cravadas em diferentes locais da cidade de Curitiba e região metropolitana, sendo a maioria delas na Formação Guabirotuba. Três métodos de previsão da capacidade foram analisados: Aoki Velloso (1975), Décourt Quaresma (1978) e Amaral (1982, 1999). Para cada método foram propostos fatores de correção global e/ou parcial que tornam o valor da capacidade de carga mais próximo do valor da carga última obtida pelo critério de Van der Veen (1953). Com base em quatro provas de carga conduzidas até a ruptura, estudou-se a aplicabilidade do método de Van der Veen (1953) e determinou-se um critério para avaliar a extrapolação da curva carga x recalque em ensaios encerrados sem atingir a ruptura. Finalmente fez-se uma análise dos recalques comparando-se os valores medidos com os calculados, para três níveis de carregamento, além da comparação das curvas carga x recalque ajustadas com as experimentais. / This thesis presents the analysis of 34 static loading tests in concrete drive pile, located at different places of the Curitiba city and metropolitan area, in Guabirotuba Formation. Three methods of the bearing capacity prediction were assessed: Aoki Velloso (1975), Décourt Quaresma (1978) and Amaral (1982, 1999). For each method is proposed global correction factors and/or partial that turned the bearing capacity value close to the ultimate load obtained for the Van der Veen criteria (1953). Based on four static loading test carried out to failure, the applicability of the Van der Veen criteria was assessed and was determined a rule to evaluate the extrapolation of the load - settlement curve in tests stopped before of the failure. Finally, it was made an analysis of the settlements, where it was compared the observed values and the predicted values, for three loading level, and also a comparison between the experimental load-settlement curve and the predicted load-settlement curve.
|
470 |
Avaliação da superfície deformada de geomembrana de PEAD sob camadas de proteção por meio do ensaio de compressão estática / Evaluation of the deformed surface of PEAD geomembrane in protective layers by means of the static compression testGabriel Orquizas Mattielo Pedroso 12 April 2017 (has links)
Nos sistemas de revestimento de fundo de aterros sanitários e pilhas de rejeito de mineração, é comum utilizar geotêxtil não-tecido para a proteção ao puncionamento da geomembrana por objetos pontiagudos como a brita. Neste trabalho, realiza-se um estudo experimental a fim de avaliar a superfície deformada de geomembrana de PEAD, com 2 mm de espessura, em camada de proteção sujeita a carregamentos de 600 kPa e 1800 kPa ao longo de 100 h, com o objetivo de simular danos mecânico de operação. Para a leitura da superfície deformada da geomembrana utilizou-se um lençol de chumbo localizado sob a geomembrana e as suas deformações foram estimadas a partir de uma máquina de leitura por coordenadas, com grid de 4 mm. Além deste, foi estimada a superfície deformada da geomembrana para o grid de 1 mm, com a aplicação do método de interpolação chamado de triangulação. Ainda foram utilizados extensômetros elétricos para estimar deformações pontuais na geomembrana. A fim de prevenir o puncionamento da geomembrana e limitar a sua deformação, utilizou-se como camada de proteção quatro geotêxteis não tecidos do tipo PP com massa por unidade de área variando entre 550 e 1300 g/m2, e uma camada de 10 cm de argila. Para a carga de 600 kPa, todas as camadas de proteção foram eficientes para evitar o puncionamento da geomembrana e limitar a sua deformação em 6%. Na carga de 1800 kPa, para proteção de geotêxtil, as configurações duplas tiveram melhor desempenho com valores de deformações menores que 6%, e a camada de 10 cm de argila foi ainda mais eficaz. Por fim, o trabalho mostrou que a superfície deformada decorrente do tipo de proteção adotado também é influenciada pelo grau de compactação do solo, o tipo de brita, a carga aplicada e as propriedades físicas do elemento de proteção. / In landfill backfill systems and mining tailings piles, it is common to use nonwoven geotextiles to protect geomembrane punctures by sharp objects such as gravel. In this work, an experimental study was carried out to evaluate the deformed HDPE geomembrane surface, with a thickness of 2 mm, under a protective layer subjected to loads of 600 kPa and 1800 kPa over 100 h, with the objective of Simulate mechanical damage of operation. To read the deformed surface of the geomembrane was used a sheet of lead located under the geomembrane and its deformations were estimated from a machine of reading by coordinates, with grid of 4 mm. Also, the deformed surface of the geomembrane was estimated for the grid of 1 mm, with the application of the interpolation method called triangulation. Electrical extensometers were also used to estimate point deformations in the geomembrane. In order to prevent the puncture of the geomembrane and to limit its deformation, four non-woven PP-type geotextiles with a mass per unit area ranging from 550 to 1300 g/m2 and a layer of 10 cm of clay. At the load of 600 kPa, all the layers of protection were efficient to avoid the puncture of the geomembrane and to limit its deformation in 6%. In the vertical load of 1800 kPa, for geotextile protection, the double configurations had better performance with deformation values lower than 6%, and the 10 cm layer of clay was even more effective. Finally, the work showed that the deformed surface resulting from the type of protection adopted is also influenced by the degree of soil compaction, the type of gravel, the applied load and the physical properties of the protection element.
|
Page generated in 0.02 seconds