Efeitos de interferência aerodinâmica por vizinhança ocorrem inevitavelmente em edificações imersas em contexto urbano. Com base nas características da vizinhança que envolve o entorno de uma edificação, estes efeitos consequentemente podem reduzir ou majorar as ações do vento sobre a mesma. Tendo em vista a complexidade do problema em estimar o real ambiente em que um edifício estará situado e sua influência no comportamento do vento, torna-se muito difícil a codificação destes efeitos em documentos normativos, específicos para cada situação de projeto. No entanto, fatores de redução e majoração das ações do vento sobre as edificações podem ser determinados de acordo com as características da vizinhança presente no ambiente em que estão inseridas. Neste trabalho são analisados quatro modelos reduzidos de edifícios altos e suas vizinhanças adjacentes. Os modelos foram testados em túnel de vento, no Laboratório de Aerodinâmica das Construções da Universidade Federal do Rio Grande do Sul, sob duas configurações de ensaios, uma com a edificação isolada e outra com a edificação na presença da vizinhança na qual estará imerso. A partir dos resultados obtidos no túnel, foram calculados coeficientes de força para cada modelo, em relação a dois eixos ortogonais com origem próxima ao centro de torção da secção transversal correspondente ao pavimento tipo. Dos quatro casos estudados, todos apresentaram variações significativas dos coeficientes de força quando na presença de edificações vizinhas. Para estes edifícios, foram calculados fatores de vizinhança respectivos aos ângulos de vento mais influentes ao dimensionamento estrutural dos mesmos. A respeito das análises, notou-se que sob vizinhança densa, houve uma grande redução das ações do vento, enquanto que brechas entre as estruturas de interferência, traduziram em aumentos das ações do vento sobre as edificações estudadas. / Neighborhood interference effects due to nearby strucutres, inevitably occur on buildings immersed in urban context. Based on the characteristics of the neighborhood surrounding the vicinity of a building, these effects therefore can reduce or increase wind actions. Given the complexity of the problem in estimating the real environment where a building is located and its influence on wind behavior, it is extreme hard to encode these effects in regulation codes by specifying situations for each proposed project. However, reduction and increase factors on the wind actions over buildings can be determined according to the caracteristics of its neighborhood at the environment in which they locate. This paper analyzes four scale models of tall buildings and its surrounding structures. The models were tested in the wind tunnel at the Laboratório de Aerodinâmica das Construções of the Universidade Federal do Rio Grande do Sul, in two configurations tests, one with the building in isolated situation and the other with the building in the corresponding vicinity. The results obtained in the wind tunnel tests were used to determine strength coefficients for each model in relation to the both orthogonal axes with its origin near the torsional center of the transversal section correspondent to the standard floor of the buildings. For the four cases studied, all the test results showed significant variations at force coefficients in the presence of neighboring structures. For each case studied, interference factors were calculated due to sorrounding structures for the most influential wind angles for the structural design. Regarding the analysis it was noticed that under dense neighborhood, there was a large reduction of the wind loads, while gaps between interference structures resulted in increases of wind actions over the studied buildings.

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.

Herein, we study the contact damage performance of two armour ceramics, alumina and silicon carbide, with varying microstructures and one particle-reinforced ceramic nanocomposite, alumina/silicon carbide, in an attempt to understand the microstructural mechanisms that affect plasticity and cracking under quasi-static and dynamic conditions. Quasi-static contact damage was imitated using Vickers indentation over a varying load regime. Numerical analysis of the indentation size effect, performed using the proportional specimen resistance model, allowed the contributions of plastic deformation and cracking to be separated into two individual values. In all three samples, higher levels of surface energy were found to correlate with increased amounts of cracking per unit area of indentation impression. Analytical modelling of crack initiation during Vickers indentation together with quantitative measurements of surface flaw populations revealed that such an increase in cracking damage was the result of higher densities of larger flaws. The hardness of the monolithic ceramics was found vary based on grain size and porosity levels, a smaller average grain size and lower porosity levels resulting in higher hardness values. In the nanocomposite materials, hardening was found to occur with further additions of silicon carbide nanoparticles. Such an effect has been attributed to the increased dislocation densities, as measured using Cr3+/Al2O3 fluorescence spectroscopy, and the impedance of dislocation movement within the lattice due to the presence of silicon carbide nanoparticles. In order to simulate dynamic contact damage, a low velocity, scaled-down drop-weight test was designed and developed. The dynamic contact damage resistance was determined based on the depth of penetration of a blunt indenter. In the monolithic ceramics, the indenter penetration was found to be shallower in materials of higher hardness. However, the nanocomposite materials displayed an opposing trend, the indenter penetration becoming deeper in the samples of higher hardness. The macro-scale fracture patterns produced during drop-weight impacts were seen to vary based on flaw populations and indenter penetration. In certain microstructures, extensive micro-cracking was also observed.

This study investigates the static behavior and dynamic behavior of the Stonecutters Cable-Stayed Bridge, which is the third longest cable-stayed bridge in the world, when a group of 8 cables is damaged by corrosion. In this thesis, the reduction in cable cross-section area is used to simulate the corrosion level. The corroded cables are divided into 2 groups of 4 cables, arranged in symmetric and asymmetric distributions on both decks. A finite element bridge model was employed to perform the analysis. The validation of the model was established by comparing numerical results to the published results of the bridge. The model was then subjected to gravity load only to check the effects of corrosion level, the distance of the corroded cables and the distribution of the damaged cables on the decks’ deflection and cable stresses change. In the dynamic analysis, the natural frequencies and mode shapes were compared with a reference case with no corrosion-damaged cables. A recorded wind load was applied on the deck to investigate the time-history response of the mid-span in the horizontal, vertical and torsional directions, and of the tower top in the horizontal direction. Moreover, frequency analysis was performed on the time-history response, and coupled motions at certain frequencies were observed. Numerical results as the ones presented in this thesis can complement information gathered from non-destructive testing technology in detecting corrosion-damaged stay-cables in cable-stayed bridges.

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.

O evento de previsões do comportamento carga-recalque de uma estaca executada em solo predominantemente arenoso foi apresentado no 8° Seminário de Engenharia de Fundações Especiais e Geotecnia (SEFE8). As previsões utilizaram sondagens CPT, DMT e SPT realizadas no campo experimental de Araquari, em Santa Catarina. A estaca utilizada para o evento foi do tipo escavada com polímero, diâmetro de 100cm e comprimento de 24m. Foram recebidos pelo comitê organizador 73 previsões provenientes de 20 países, com estimativas do comportamento carga-recalque da estaca, da capacidade de carga total, lateral e de ponta e a distribuição de carga ao longo do fuste até a ruptura, definida pelo recalque de 100 mm (w/D = 10%), com um resumo dos métodos e considerações. Os dados das previsões foram comparados aos resultados obtidos em campo pela prova de carga estática da estaca instrumentada. As previsões foram majoritariamente conservadoras e o ensaio mais utilizado para determinação dos parâmetros do solo foi o CPT, tanto no meio acadêmico quanto no prático Diversos métodos foram utilizados, porém mesmo previsões que utilizaram o mesmo método apresentaram variabilidades nos resultados. Baixos valores de desvio na capacidade de carga total não significaram pequenos desvios de lateral e de ponta, mas uma combinação de desvios positivos e negativos desses. A maioria das estimativas subestimou a capacidade lateral e superestimou a de ponta. O método de Verbrugge (1981) foi utilizado em duas das cinco previsões com menores desvios de capacidade total. As curvas carga-recalque e carga-profundidade foram avaliadas quanto aos desvios médios absolutos e formatos, dados pela variância. As curvas carga-recalque com médias de até 10% utilizaram Elementos Finitos e o software UniPile, e o menor valor de variância utilizou Verbrugge (1981). As curvas carga-profundidade com médias de até 10% utilizaram Verbrugge (1981), Randolph e Wroth (1978) e Gwizdala e Steczniewski (2003), e o menor valor de variância utilizou o software UniPile. / The prediction event of load-settlement behavior of a pile built in predominantly sandy soil was presented at the 8th Foundation Engineering Seminar and Special Geotechnical (SEFE8). The predictions used tests of CPT, DMT and SPT accomplished in Araquari experimental field, in Santa Catarina. A bored pile with polymer, diameter of 100cm and length of 24m was the subject of the event. The organizing committee received 73 predictions from 20 countries, with estimates of load-settlement behavior of the pile, the total, shaft and base load capacity and the load distribution along the shaft until failure, defined by settlement of 100 mm (W/D = 10%), with a brief description of methods and considerations. Data from the predictions were compared to the results obtained in the field by static load test of the instrumented pile. The predictions were mostly conservative and the test most used for soil parameters prediction was the CPT, both in academia as in practice. Several methods were used, but even predictions that used the same method showed variability in the results Low error values in the total load capacity not meant small shaft and base errors, but a combination of positive and negative errors of these. Most estimates underestimated the shaft capacity and overestimated the base. The Verbrugge (1981) method was used in two of five predictions with lower errors of total capacity. The curves were analyzed for absolute average deviation and formats, evaluated by the variance. The load-settlement distribution with average up to 10% used Finite Element and UniPile software, and the lowest value of variance used Verbrugge (1981). The load-depth distribution with average up to 10% used Verbrugge (1981), Randolph and Wroth (1978) and Gwizdala and Steczniewski (2003), and the lowest value of variance used the UniPile software.

Informação relacionada a concertos de bugs tem sido explorada na construção de preditores de bugs cuja função é o suporte para a verificação de sistemas de software identificando quais elementos, como arquivos, são mais propensos a bugs. Uma grande variedade de métricas estáticas de código e métricas de mudança já foi utilizada para construir tais preditores. Dos muitos preditores de bugs propostos, a grande maioria foca em sistemas orientados à objeto. Apesar de orientação a objetos ser o paradigma de escolha para a maioria das aplicações, o paradigma procedural ainda é usado em várias — muitas vezes cruciais — aplicações, como sistemas operacionais e sistemas embarcados. Portanto, eles também merecem atenção. Essa dissertação extende o trabalho na área de predição de bugs ao avaliar e aprimorar preditores de bugs para sistemas procedurais de software. Nós proporcionamos três principais contribuições: (i) comparação das abordagens existentes de predição de bugs no contexto de sistemas procedurais, (ii) proposta de uso dos atributos de qualidade de software como atributos de predição no contexto estudado e (iii) avaliação dos atributos propostos em conjunto com a melhor abordagem encontrada em (i). Nosso trabalho provê, portanto, fundamentos para melhorar a performance de preditores de bugs no contexto de sistemas procedurais. / Information regarding bug fixes has been explored to build bug predictors, which provide support for the verification of software systems, by identifying fault-prone elements, such as files. A wide range of static and change metrics have been used as features to build such predictors. Many bug predictors have been proposed, and their main target is objectoriented systems. Although object-orientation is currently the choice for most of the software applications, the procedural paradigm is still being used in many—sometimes crucial—applications, such as operating systems and embedded systems. Consequently, they also deserve attention. This dissertation extends work on bug prediction by evaluating and tailoring bug predictors to procedural software systems. We provide three key contributions: (i) comparison of bug prediction approaches in context of procedural software systems, (ii) proposal of the use of software quality features as prediction features in the studied context, and (iii) evaluation of the proposed features in association with the best approach found in (i). Our work thus provides foundations for improving the bug prediction performance in the context of procedural software systems.

A aplicação de modelos hidrológicos vem sendo bastante utilizada como apoio à tomada de decisão no planejamento dos recursos hídricos. Tendo em vista que os dados que servem de entrada para esses modelos estão sujeitos a erros diversos, o presente estudo teve o intuito de contribuir com o conhecimento do impacto desses erros no desempenho do modelo e na estimativa de seus parâmetros. O modelo analisado foi o IPH II fazendo uso do programa computacional WIN_IPH2. Entendendo que a avaliação da sensibilidade ainda é uma área que requer mais estudos, o presente trabalho é focado na utilização das análises de sensibilidade estática e dinâmica. Para isso foram geradas diversas séries temporais de dados de entradas do modelo hidrológico obtidas pela perturbação da série de dados observados. A perturbação foi representada por erros aleatórios (seguindo uma distribuição normal ou uniforme) ou sistemáticos incorporados ás séries temporais das variáveis: precipitação e evapotranspiração. Posteriormente, as análises de sensibilidade estática e dinâmica foram executadas. Para efetuar o acompanhamento da interferência dos erros, na eficiência do modelo, foi feita a avaliação dos resultados obtidos com a aplicação do modelo WIN_IPH2 para diferentes medidas de desempenho, e verificado o impacto dos erros nos dados de entrada no desempenho do modelo (sensibilidade estática) e no desempenho do modelo e na estimativa dos parâmetros (sensibilidade dinâmica). Na análise de sensibilidade estática verificou-se o decaimento mais acentuado da eficiência do modelo, em comparação com a análise de sensibilidade dinâmica, onde o modelo consegue contornar os erros nos dados de entrada com a alteração dos valores dos parâmetros. Por fim, o presente estudo confirmou as conclusões obtidas em estudos anteriores: Oudin et al. (2006), Andréassian et al. (2004), Kavetski et al. (2003). Além disso, o presente estudo apontou para outros fatores, na medida em que, observa-se junto à tendência do desempenho do modelo cair quando a intensidade do erro gerado é elevada, a importância de avaliar o possível comprometimento de dados em eventos extremos, uma vez que, nessa situação o desempenho do modelo passa a ser afetado de forma mais acentuada. / The hydrologic models had been used to support the decision making in water resources management. Since the input data of those models are subject to several kinds of errors, this study aimed to assess how this errors affect the model performance and the estimate of its parameters. The hydrologic model IPH II was used. Perceiving that the sensitivity analysis is still a field that requires further knowledge, this study was focused in the use of the dynamic and the static sensitivity procedures. In this sense, several time series of input data were obtained through the perturbations of an observed time serie. The perturbation was represented by the addition of random errors (with a normal or uniform distribution) or systematic errors to the observed time series of evapotranspiration and precipitation. Then, the static and dynamic sensibility analysis were performed. The effect of input data errors was assessed for several calibration processes of the IPH II using several performance measures. Thus, modification of the model performance (static sensitivity analysis) and model performance and parameter estimation (dynamic sensitivity analysis) were estimated. In the static sensitivity analysis it was found a most pronounced decay of the model efficiency in comparison with the dynamic sensitivity analysis, where the model can circumvent the errors in the input data with modification of the optimum parameter values. Finally, this study confirmed the conclusions of other previous studies as Oudin et al. (2006), Andréassian et al. (2004), Kavetski et al. (2003). In addition this study found other factors, as was observed that if the intensity of the error is high in an extreme event of precipitation, it reduced the model performance more than when it is low, in spite of the time series of errors have the same statistics.

O presente trabalho é uma proposta de leitura e investigação do teatro estático O Marinheiro, de Fernando Pessoa, cuja ideia é estabelecer uma reflexão acerca dos problemas intrínsecos a este teatro que recusa a ação em prol do falar errante das Veladoras. A proposta deste estudo é perceber de que modo a fala cumpre, no teatro estático, a tarefa de aperfeiçoamento da linguagem dramática a partir do pensamento do inexequível trazido pela concepção pessoana de sonho. Sob tal perspectiva, esta escrita abordará questões como a concentração da ação o mais possível na fala das Veladoras; o sonho como potência artística criadora na modernidade; e a linguagem como assombro e dúvida, cuja ironia latente se revela nas concepções de fala e sonho dentro da economia de O Marinheiro / This work presents the reading and investigation of the static theater O Marinheiro, by Fernando Pessoa, in which the idea is to establish a reflection of the problems that are intrinsic to this theater, which refuses the action towards the Veladoras wandering speech. The present study intends to perceive the ways through which speech achieves, in static theater, the task of improvement of the dramatic language through the thought of the unattainable brought by the Pessoan conception of dream. Under this perspective, this work will approach questions such as the concentration of the action the most possible on the Veladoras speech; the dream as artistic creative power in modernity; and the language as stupefaction and doubt, whose latent irony is revealed in the conceptions of speech and dream in O Marinheiros economy

Magister Scientiae - MSc (Earth Science) / The Orange basin is relatively underexplored with 1 well per every 4000km2 with only the Ububhesi gas field discovery. Block 1 is largely underexplored with only 3 wells drilled in the entire block and only well A?F1 inside the 1500km2 3?D seismic data cube, acquired in 2009. This study is a reservoir characterization of well A?F1, utilising the acquired 3?D seismic data and re?analysing and up scaling the well logs to create a static model to display petrophysical properties essential for reservoir characterization. For horizon 14Ht1, four reservoir zones were identified, petro?physically characterized and modelled using the up scaled logs. The overall reservoir displayed average volume of shale at 24%, good porosity values between 9.8% to 15.3% and permeability between 2.3mD to 9.5mD. However, high water saturation overall which exceeds 50% as per the water saturation model, results in water saturated sandstones with minor hydrocarbon shows and an uneconomical reservoir.